TheoremBase

The Diagonal Subsequence Lemma for Bounded Real Arrays

For a doubly indexed array of real numbers whose columns are bounded sequences, a single strictly increasing sequence of row indices makes every column converge.

Statement

In the setting of The Real Numbers, with the Natural Numbers, Integers and Rationals Identified with Subsets of the Reals, and Completeness, let a:N×N→Ra:\mathbb{N}\times\mathbb{N}\to\mathbb{R}, with values am,k=a(m,k)a_{m,k}=a(m,k), be such that for every k∈Nk\in\mathbb{N} the sequence (am,k)m∈N(a_{m,k})_{m\in\mathbb{N}} is bounded.

There is a strictly increasing sequence (nj)(n_{j}) in N\mathbb{N} such that for every k∈Nk\in\mathbb{N} the sequence (anj,k)j∈N(a_{n_{j},k})_{j\in\mathbb{N}}, a subsequence of (am,k)m∈N(a_{m,k})_{m\in\mathbb{N}}, is convergent.

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…