Hilbert space question; show Y is complete iff closed

Click For Summary
SUMMARY

The discussion centers on proving that a non-empty subspace Y of a complete normed linear space (X, ||.||) is complete if and only if it is closed. The proof utilizes the definitions of convergent and Cauchy sequences, establishing that if Y is closed, any Cauchy sequence in Y converges to a limit in Y, thus proving completeness. Conversely, if Y is complete, any convergent sequence in Y is also Cauchy, leading to the conclusion that Y must be closed. The proof is confirmed to be correct by participants in the discussion.

PREREQUISITES
  • Understanding of complete normed linear spaces
  • Knowledge of Cauchy sequences and their properties
  • Familiarity with convergent sequences and their definitions
  • Basic concepts of closed sets in metric spaces
NEXT STEPS
  • Study the properties of complete normed linear spaces in detail
  • Explore the implications of Cauchy sequences in various mathematical contexts
  • Investigate closed sets and their significance in topology
  • Learn about the relationship between convergence and completeness in functional analysis
USEFUL FOR

Mathematics students, particularly those studying functional analysis, topology, or advanced calculus, will benefit from this discussion. It is also useful for educators seeking to clarify concepts related to completeness and closed sets in normed spaces.

mathplease
Messages
25
Reaction score
0
I would like a second opinion on my answer to this question as I'm confusing myself thinking about my proof. Any input is appreciated

Homework Statement



"Let (X, ||.||) be a complete normed linear space and Y \subsetX be a non-empty subspace of X. Then (Y, ||.||) is a normed linear space. Show that Y is complete if and only if it is closed."

Homework Equations



convergent sequence: http://mathworld.wolfram.com/ConvergentSequence.html"

cauchy sequence: http://mathworld.wolfram.com/CauchySequence.html"

complete: a normed linear space in which every cauchy seq is convergent is complete

closed: (X,||.||) is a normed linear space. A is closed if {xn} \subseteq A \subseteq X and xn-> x then x \inA.

The Attempt at a Solution



Let {yn} be a Cauchy sequence in Y. Since (X,||.||) is complete, yn converges to y\inX. Assuming Y is closed: y\inY.
Hence, Y is complete.

Conversely,
assume Y is complete. Let {yn} be a convergent sequence in Y. Since convergent sequences are Cauchy, {yn} is a Cauchy sequence.
Since Y is a complete normed linear space yn\rightarrowy \inY (Cauchy sequences converge).
Hence Y is closed.

Therefore Y is complete if and only if it is closed.
 
Last edited by a moderator:
Physics news on Phys.org
Looks OK!
 
micromass said:
Looks OK!

thanks for checking
 

Similar threads

  • · Replies 43 ·
2
Replies
43
Views
5K
  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 11 ·
Replies
11
Views
3K
Replies
9
Views
3K
  • · Replies 12 ·
Replies
12
Views
2K
Replies
2
Views
2K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K