Operations on convergent sequences of real numbers
- make sure links on If a real series converges then its terms tend to zero agree
The message provided is:
Contents
Statement
Let [ilmath](a_n)_{n\in\mathbb{N} }\subset\mathbb{R} [/ilmath] and [ilmath](b_n)_{n\in\mathbb{N} }\subset\mathbb{R} [/ilmath] be real sequences (and are thus considered convergent with respect to the metric [ilmath]d(x,y):\eq\vert x-y\vert[/ilmath]). Suppose that [ilmath]\lim_{n\rightarrow\infty}(a_n)\eq a[/ilmath] and [ilmath]\lim_{n\rightarrow\infty}(b_n)\eq b[/ilmath] then:
- [math]\lim_{n\rightarrow\infty}(a_n+b_n)\eq \lim_{n\rightarrow\infty}(a_n)+\lim_{n\rightarrow\infty}(b_n)\eq a+b[/math],
- [math]\lim_{n\rightarrow\infty}(a_nb_n)\eq \lim_{n\rightarrow\infty}(a_n)\cdot\lim_{n\rightarrow\infty}(b_n)\eq ab[/math], and
- [math]\lim_{n\rightarrow\infty}\left(\frac{1}{a_n}\right)\eq \frac{1}{\lim_{n\rightarrow\infty}(a_n)}\eq\frac{1}{a} [/math] - Caveat:under certain conditions TODO: what conditions
- We can define this safely given: [ilmath]\exists M\in\mathbb{N}\ \forall m\in\mathbb{N}[m>M\implies a_n\neq 0][/ilmath] I would have thought
- That is to say: eventually [ilmath](a_n)_{n\in\mathbb{N} } [/ilmath] becomes non-zero.
- We can define this safely given: [ilmath]\exists M\in\mathbb{N}\ \forall m\in\mathbb{N}[m>M\implies a_n\neq 0][/ilmath] I would have thought
Corollaries
Let [ilmath]c\in\mathbb{R} [/ilmath] be any real number. Immediately we have the following results:
- [ilmath]\lim_{n\rightarrow\infty}(ca_n)\eq c\cdot\lim_{n\rightarrow\infty}(a_n)\eq ca[/ilmath]
- [ilmath]\lim_{n\rightarrow\infty}(a_n-b_n)\eq \lim_{n\rightarrow\infty}(a_n)-\lim_{n\rightarrow\infty}(b_n)\eq a-b[/ilmath] and
- [ilmath]\lim_{n\rightarrow\infty}(a_n/b_n)\eq \frac{\lim_{n\rightarrow\infty}(a_n)}{\lim_{n\rightarrow\infty}(b_n)}\eq \frac{a}{b} [/ilmath] - Caveat:under certain conditions TODO: what conditions
- We can define this safely given: [ilmath]\exists M\in\mathbb{N}\ \forall m\in\mathbb{N}[m>M\implies b_n\neq 0][/ilmath] I would have thought
- That is to say: eventually [ilmath](b_n)_{n\in\mathbb{N} } [/ilmath] becomes non-zero.
- We can define this safely given: [ilmath]\exists M\in\mathbb{N}\ \forall m\in\mathbb{N}[m>M\implies b_n\neq 0][/ilmath] I would have thought
Proof of claims
Claim 1
The message provided is:
- Let [ilmath]\epsilon>0[/ilmath] be given. Then
- By hypothesis: [ilmath]\forall\epsilon'>0\exists N'\in\mathbb{N}\forall n'\in\mathbb{N}[n'>N'\implies d(a_{n'},a)<\epsilon'][/ilmath] and [ilmath]\forall\epsilon'>0\exists N'\in\mathbb{N}\forall n'\in\mathbb{N}[n'>N'\implies d(b_{n'},b)<\epsilon'][/ilmath]
- Choose [ilmath]\epsilon':\eq\frac{1}{2}\epsilon[/ilmath] in both cases, then you get two [ilmath]N'[/ilmath]
- Define: [ilmath]N:\eq\text{max}(N_a',N_b')[/ilmath]
- Let [ilmath]n\in\mathbb{N} [/ilmath] be given
- If [ilmath]n>N[/ilmath]
- then we know [ilmath]n>N_a'[/ilmath] and [ilmath]n>N_b'[/ilmath] so in either case we have:
- [ilmath]d(a_n,a)<\frac{1}{2}\epsilon[/ilmath] and [ilmath]d(b_n,b)<\frac{1}{2}\epsilon[/ilmath] too
- Noting that [ilmath]d(x,y):\eq \vert x-y\vert[/ilmath] we see
- [ilmath]a_n+b_n-a-b[/ilmath] blah blah blah [ilmath]\le \vert a_n-a\vert + \vert b_n - b\vert < \frac{1}{2}\epsilon+\frac{1}{2}\epsilon \eq \epsilon[/ilmath]
- then we know [ilmath]n>N_a'[/ilmath] and [ilmath]n>N_b'[/ilmath] so in either case we have:
- If [ilmath]n>N[/ilmath]
- Let [ilmath]n\in\mathbb{N} [/ilmath] be given
- By hypothesis: [ilmath]\forall\epsilon'>0\exists N'\in\mathbb{N}\forall n'\in\mathbb{N}[n'>N'\implies d(a_{n'},a)<\epsilon'][/ilmath] and [ilmath]\forall\epsilon'>0\exists N'\in\mathbb{N}\forall n'\in\mathbb{N}[n'>N'\implies d(b_{n'},b)<\epsilon'][/ilmath]
Claim 2
The message provided is:
- Noting that eventually [ilmath]a_n[/ilmath] is within [ilmath]\pm\epsilon_a[/ilmath] of [ilmath]a[/ilmath]
- Then you just have to find a bound for [ilmath]b_n[/ilmath] such that whenever [ilmath]x\in (b_n\pm\epsilon_b)[/ilmath] and [ilmath]y\in(a_n\pm\epsilon_a)[/ilmath] we have [ilmath]xy\in(ab\pm\epsilon)[/ilmath]
Claim 3
Corollaries
Corollary 1
Let [ilmath]c\in\mathbb{R} [/ilmath] be given. Then the sequence: [ilmath](c_n)_{n\in\mathbb{N} } [/ilmath] defined by: [ilmath]\forall n\in\mathbb{N}[c_n:\eq c][/ilmath] obviously converges to [ilmath]c[/ilmath] (that is: [ilmath]\lim_{n\rightarrow\infty}(c_n)\eq c[/ilmath])
Then note that, by claim 2:
- [math]\lim_{n\rightarrow\infty}(c_na_n)=\lim_{n\rightarrow\infty}(c_n)\cdot\lim_{n\rightarrow\infty}(a_n)\eq c\cdot\lim_{n\rightarrow\infty}(a_n)=ca[/math]
Corollary 2
Consider the sequence [ilmath](-b_n)_{n\in\mathbb{N} } [/ilmath] given by multiplying each term in [ilmath](b_n)[/ilmath] by [ilmath]-1[/ilmath]. We see from corollary 1:
- [math]\lim_{n\rightarrow\infty}(-b_n)\eq -b[/math].
Now we use the first claim, that [ilmath]\lim_{n\rightarrow\infty}(a_n+b_n)\eq a+b[/ilmath] but with [ilmath](a_n)[/ilmath] and [ilmath](-b_n)[/ilmath] as the sequences.
We see:
- [math]\lim_{n\rightarrow\infty}(a_n+-b_n)=\lim_{n\rightarrow\infty}(a_n)+\lim_{n\rightarrow\infty}(-b_n)\eq a+(-b)\eq a-b[/math]
Corollary 3
The message provided is:
- Using claim 3, note that [math]\lim_{n\rightarrow\infty}\left(\frac{1}{b_n}\right)\eq\frac{1}{b} [/math], then:
- Using claim 2, note that [math]\lim_{n\rightarrow\infty}\left(a_n\cdot\frac{1}{b_n}\right)\eq a\frac{1}{b}\eq \frac{a}{b} [/math]
References
The message provided is:
- Stub pages
- Pages requiring work
- XXX Todo
- Pages requiring proofs
- Pages requiring references
- Theorems
- Theorems, lemmas and corollaries
- Real Analysis Theorems
- Real Analysis Theorems, lemmas and corollaries
- Real Analysis
- Analysis Theorems
- Analysis Theorems, lemmas and corollaries
- Analysis
- Functional Analysis Theorems
- Functional Analysis Theorems, lemmas and corollaries
- Functional Analysis
- Metric Space Theorems
- Metric Space Theorems, lemmas and corollaries
- Metric Space