ThmDex – An index of mathematical definitions, results, and conjectures.
Result R3289 on D65: Cauchy sequence
Sequence in product space is Cauchy iff each component sequence is Cauchy
Formulation 0
Let $M_1 = (X_1, d_1), \ldots, M_N = (X_N, d_N)$ each be a D1107: Metric space such that
(i) $M = (X, d)$ is the D2509: Product metric space with respect to $M_1, \ldots, M_N$
(ii) $x : \mathbb{N} \to X$ is a D62: Sequence in $X$
Then $x$ is a D65: Cauchy sequence in $M$ if and only if $\pi_1 x, \dots, \pi_N x$ are each a D65: Cauchy sequence in $M_1, \dots, M_N$, respectively.