Banach Spaces vs. Closed Spaces: What's the Difference?

  • Context: Graduate 
  • Thread starter Thread starter hooker27
  • Start date Start date
  • Tags Tags
    Banach Closed Space
Click For Summary

Discussion Overview

The discussion centers on the differences between Banach spaces and closed spaces within the context of normed vector spaces. Participants explore definitions, properties, and examples related to completeness and closure in mathematical spaces.

Discussion Character

  • Conceptual clarification
  • Debate/contested
  • Mathematical reasoning

Main Points Raised

  • One participant asks for clarification on the difference between Banach spaces (complete spaces) and closed spaces, questioning if there are normed vector spaces that are complete but not closed or vice versa.
  • Another participant asserts that completeness is an absolute property while closure is relative, depending on the surrounding space.
  • A participant provides definitions: a subspace is Banach if every Cauchy sequence in it converges to a point in the subspace, and it is closed if every convergent sequence in the larger space converges to a point in the subspace.
  • Further, a participant suggests proving two observations regarding the relationship between closed and Banach spaces to understand their distinction better.
  • A later reply summarizes the proofs for the observations, indicating that a Cauchy sequence in a closed subspace converges within that subspace and that a Banach subspace must be closed.
  • Another participant expresses satisfaction with the understanding of the differences and confirms the correctness of the proofs presented.

Areas of Agreement / Disagreement

Participants generally agree on the definitions and properties of Banach and closed spaces, but there are nuances in understanding the implications of these properties that remain open for further exploration.

Contextual Notes

Some assumptions about the definitions of completeness and closure are present, and the discussion does not resolve whether there are specific examples of normed spaces that fit the initial query about completeness and closure.

hooker27
Messages
15
Reaction score
0
Hi to all
What exactly is the difference between Banach(=complete, as far as I understand) (sub)space and closed (sub)space. Is there a normed vector space that is complete but not closed or normed vectore space that is closed but not complete?
Thanks in advance for explanation and/or examples.
 
Physics news on Phys.org
Is this homework?
 
No, it is not. While studying some proofs I relized that I know two different definitions for the two different things but I can't really put my finger on the differences, if there are any.
But I do not see the purpose of your question, except that you would 'educate' me that I posted in a wrong forum in case this were homework.
 
complete is an absolute term, i.e. either a space is complete or it isn't.

closed is a relative term, i.e. a subspace is closed in some other space, or not.

but the same space can be closed in one space and non closed in another.

i.e. closed is a property of a pair of spaces.

this is obviously not homework as it is too basic. no professor would dream of asking this since they would just assume it is understood.
 
Given a normed space X, a subspace E of X is

1) Banach(=complete) if every Cauchy sequence in E converge to a point of E.

2) Closed if every sequence in E that converge in X, converge to a point of E.

If you want to make sure you understand the distinction and relation between the two, prove these two elementary observations: "If X is Banach and E is closed, then E is Banach" and this: "If E is Banach, then is it closed."
 
Thanks to you both, I think I do understand the difference now. As for the observations, the proofs could be as follows:

1) Since X is Banach, a given Cauchy sequence in E (which must then also be in X) converges to a point in X and since E is closed, every sequence from E that converges in X has a limit in E - and so has our Cauchy sequence. Summary: any given Cauchy sequence in E has limit in E which is the definition of completness.

2) Since E is Banach, every Cauchy seq. from E has limit in E. Also every convergent (with limit in X, generally) sequence in E must be Cauchy sequence -> these two together imply that every convergent sequence from E must have limit in E which is what I want to prove.

Correct me if I am wrong, H.
 
Flawless. :)
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 0 ·
Replies
0
Views
628
  • · Replies 13 ·
Replies
13
Views
8K
  • · Replies 21 ·
Replies
21
Views
3K
  • · Replies 31 ·
2
Replies
31
Views
3K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 15 ·
Replies
15
Views
2K
  • · Replies 13 ·
Replies
13
Views
3K