TheoremBase

Convergence in Euclidean Space is Coordinatewise Convergence

Statement

Let nn be a natural number, let [n][n] be the initial segment of N\mathbb{N} determined by nn, and let Rn\mathbb{R}^n be Euclidean space equipped with the Euclidean distance dEd_E, which is a metric by Euclidean Distance is a Metric on Rn\mathbb{R}^n. Let (R,dR)(\mathbb{R},d_{\mathbb{R}}) be the real line.

Let (x(m))m∈N(x^{(m)})_{m\in\mathbb{N}} be a sequence in Rn\mathbb{R}^n and let x∈Rnx\in\mathbb{R}^n, with coordinates written x(m)=(x1(m),…,xn(m))x^{(m)}=(x^{(m)}_1,\dots,x^{(m)}_n) and x=(x1,…,xn)x=(x_1,\dots,x_n).

Then (x(m))m∈N(x^{(m)})_{m\in\mathbb{N}} converges to xx in (Rn,dE)(\mathbb{R}^n,d_E) if and only if, for every i∈[n]i\in[n], the sequence (xi(m))m∈N(x^{(m)}_i)_{m\in\mathbb{N}} converges to xix_i in (R,dR)(\mathbb{R},d_{\mathbb{R}}).

Proofs

Log in to submit a proof.

Loading...

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…