You have 3 free guides left 😟
Unlock your guides
You have 3 free guides left 😟
Unlock your guides

1.2 Convergence and completeness in normed spaces

2 min readjuly 22, 2024

in normed linear spaces is a key concept in functional analysis. It defines how sequences of elements approach a , using the norm to measure between elements.

and Cauchy sequences are crucial ideas in this context. These concepts help us understand , which ensures that every converges within the space, leaving no "gaps."

Convergence in normed linear spaces

Convergence in normed linear spaces

Top images from around the web for Convergence in normed linear spaces
Top images from around the web for Convergence in normed linear spaces
  • Defines convergence of a sequence (xn)(x_n) in a (X,)(X, \|\cdot\|) as limnxnx=0\lim_{n \to \infty} \|x_n - x\| = 0 for some xXx \in X
  • Denotes convergence as xnxx_n \to x or limnxn=x\lim_{n \to \infty} x_n = x
  • Illustrates convergence using the space of C[0,1]C[0,1] with the f=supx[0,1]f(x)\|f\|_\infty = \sup_{x \in [0,1]} |f(x)|
    • Defines a sequence of functions (fn)(f_n) by fn(x)=xnf_n(x) = x^n for x[0,1]x \in [0,1]
    • Shows (fn)(f_n) converges to the function f(x)=0f(x) = 0 for x[0,1)x \in [0,1) and f(1)=1f(1) = 1

Uniqueness of limits

  • Assumes (xn)(x_n) converges to both xx and yy in a normed space (X,)(X, \|\cdot\|)
  • Applies the to obtain xyxxn+xny\|x - y\| \leq \|x - x_n\| + \|x_n - y\|
  • Takes the as nn \to \infty, yielding limnxxn=0\lim_{n \to \infty} \|x - x_n\| = 0 and limnxny=0\lim_{n \to \infty} \|x_n - y\| = 0
  • Concludes xy0+0=0\|x - y\| \leq 0 + 0 = 0, implying x=yx = y
  • Proves the uniqueness of limits in normed spaces

Cauchy sequences and completeness

  • Defines a (xn)(x_n) in a normed space (X,)(X, \|\cdot\|) as one where for every ε>0\varepsilon > 0, there exists NNN \in \mathbb{N} such that xmxn<ε\|x_m - x_n\| < \varepsilon for all m,nNm, n \geq N
  • Explains intuitively that the terms of a Cauchy sequence become to each other as the sequence progresses
  • Relates Cauchy sequences to completeness by stating a normed space (X,)(X, \|\cdot\|) is complete if every Cauchy sequence in XX converges to an element of XX
  • Emphasizes completeness ensures there are no "gaps" in the space, and every Cauchy sequence has a limit within the space

Completeness via Cauchy criterion

  • Outlines proving a normed space (X,)(X, \|\cdot\|) is complete by showing every Cauchy sequence in XX converges to an element of XX
  • Demonstrates completeness of (R,)(\mathbb{R}, |\cdot|) as an example
    1. Lets (xn)(x_n) be a Cauchy sequence in R\mathbb{R}
    2. Applies the to obtain for every ε>0\varepsilon > 0, there exists NNN \in \mathbb{N} such that xmxn<ε|x_m - x_n| < \varepsilon for all m,nNm, n \geq N
    3. Uses the completeness of R\mathbb{R} as an ordered field to show (xn)(x_n) converges to a xx
  • Concludes (R,)(\mathbb{R}, |\cdot|) is complete
© 2024 Fiveable Inc. All rights reserved.
AP® and SAT® are trademarks registered by the College Board, which is not affiliated with, and does not endorse this website.


© 2024 Fiveable Inc. All rights reserved.
AP® and SAT® are trademarks registered by the College Board, which is not affiliated with, and does not endorse this website.

© 2024 Fiveable Inc. All rights reserved.
AP® and SAT® are trademarks registered by the College Board, which is not affiliated with, and does not endorse this website.
Glossary
Glossary