Product metric

In mathematics, a product metric is a metric on the Cartesian product of finitely many metric spaces ( X 1 , d X 1 ) , … , ( X n , d X n ) {displaystyle (X_{1},d_{X_{1}}),ldots ,(X_{n},d_{X_{n}})} which metrizes the product topology. The most prominent product metrics are the p product metrics for a fixed p ∈ [ 1 , ∞ ] {displaystyle pin }  :It is defined as the p norm of the n-vector of the distances measured in n subspaces: In mathematics, a product metric is a metric on the Cartesian product of finitely many metric spaces ( X 1 , d X 1 ) , … , ( X n , d X n ) {displaystyle (X_{1},d_{X_{1}}),ldots ,(X_{n},d_{X_{n}})} which metrizes the product topology. The most prominent product metrics are the p product metrics for a fixed p ∈ [ 1 , ∞ ] {displaystyle pin }  :It is defined as the p norm of the n-vector of the distances measured in n subspaces: For p = ∞ {displaystyle p=infty } this metric is also called the sup metric: 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. For Riemannian manifolds ( M 1 , g 1 ) {displaystyle (M_{1},g_{1})} and ( M 2 , g 2 ) {displaystyle (M_{2},g_{2})} , the product metric g = g 1 ⊕ g 2 {displaystyle g=g_{1}oplus g_{2}} on M 1 × M 2 {displaystyle M_{1} imes M_{2}} is defined by for X i , Y i ∈ T p i M i {displaystyle X_{i},Y_{i}in T_{p_{i}}M_{i}} under the natural identification T ( p 1 , p 2 ) ( M 1 × M 2 ) = T p 1 M 1 ⊕ T p 2 M 2 {displaystyle T_{(p_{1},p_{2})}(M_{1} imes M_{2})=T_{p_{1}}M_{1}oplus T_{p_{2}}M_{2}} .