Cartesian Products of Metric Spaces

From Department of Mathematics at UTSA
Revision as of 13:14, 23 January 2022 by Khanh (talk | contribs) (Created page with "In mathematics, a '''product metric''' is a metric on the Cartesian product of finitely many metric spaces <math>(X_1,d_{X_1}),\ldots,(X_n,d_{X_n})</math> which metrizes the p...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

In mathematics, a product metric is a metric on the Cartesian product of finitely many metric spaces which metrizes the product topology. The most prominent product metrics are the p product metrics for a fixed  : It is defined as the p norm of the n-vector of the distances measured in n subspaces:

For this metric is also called the sup metric:

Choice of norm

For Euclidean spaces, using the L2 norm gives rise to the Euclidean metric in the product space; however, any other choice of p will lead to a topologically equivalent metric space. In the category of metric spaces (with Lipschitz maps having Lipschitz constant 1), the product (in the category theory sense) uses the sup metric.

The case of Riemannian manifolds

For Riemannian manifolds and , the product metric on is defined by

for under the natural identification .

Licensing

Content obtained and/or adapted from: