Hilbert space question; show Y is complete iff closed

In summary, a complete normed linear space (X, ||.||) with a non-empty subspace Y \subset X is also a normed linear space (Y, ||.||). Y is complete if and only if it is closed, meaning that if a Cauchy sequence yn in Y converges to a point y in X, then y must also be in Y. Conversely, if Y is complete, any convergent sequence in Y is also a Cauchy sequence and Y is closed.
  • #1
mathplease
26
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 [tex]\subset[/tex]X 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} [tex]\subseteq[/tex] A [tex]\subseteq[/tex] X and xn-> x then x [tex]\in[/tex]A.

The Attempt at a Solution



Let {yn} be a Cauchy sequence in Y. Since (X,||.||) is complete, yn converges to y[tex]\in[/tex]X. Assuming Y is closed: y[tex]\in[/tex]Y.
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[tex]\rightarrow[/tex]y [tex]\in[/tex]Y (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
  • #3
micromass said:
Looks OK!

thanks for checking
 

Related to Hilbert space question; show Y is complete iff closed

What is a Hilbert space?

A Hilbert space is a mathematical concept used in functional analysis, which is a branch of mathematics that studies functions and their properties. It is a vector space equipped with an inner product, which measures the angle between two vectors and their lengths. It is named after the German mathematician David Hilbert.

What does it mean for a Hilbert space to be complete?

A Hilbert space is said to be complete if every Cauchy sequence in the space converges to a point in the space. In simpler terms, this means that there are no "missing" points in the space and it is able to capture all possible values of a given function.

Why is completeness important in Hilbert spaces?

Completeness is important because it ensures that the space is able to fully capture the behavior of a given function. This is especially useful in applications where precise and accurate calculations are necessary, such as in quantum mechanics.

What is the relationship between completeness and closedness in Hilbert spaces?

The statement "Y is complete iff closed" means that a Hilbert space Y is complete if and only if it is closed. In other words, a Hilbert space is complete if all of its Cauchy sequences converge to a point in the space, and it is closed if it contains all of its limit points.

How can one prove that Y is complete iff closed in Hilbert spaces?

To prove that Y is complete iff closed, one can use the Bolzano-Weierstrass theorem, which states that every bounded sequence in a complete metric space has a convergent subsequence. Using this theorem, one can show that a Hilbert space is complete if and only if it is closed.

Similar threads

  • Calculus and Beyond Homework Help
2
Replies
43
Views
3K
Replies
11
Views
401
  • Calculus and Beyond Homework Help
Replies
5
Views
2K
  • Calculus and Beyond Homework Help
Replies
12
Views
2K
  • Calculus and Beyond Homework Help
Replies
9
Views
2K
  • Calculus and Beyond Homework Help
Replies
5
Views
1K
  • Calculus and Beyond Homework Help
Replies
2
Views
2K
  • Calculus and Beyond Homework Help
Replies
1
Views
1K
  • Calculus and Beyond Homework Help
Replies
5
Views
3K
  • Linear and Abstract Algebra
Replies
2
Views
1K
Back
Top