Results 1 to 2 of 2

Math Help - A subspace of Banach space is complete if and only if it is closed.

  1. #1
    Newbie
    Joined
    Nov 2012
    From
    indonesia
    Posts
    2

    A subspace of Banach space is complete if and only if it is closed.

    I have a problem to proof this theorem, Anyone can help for detail.

    "A subspace Y of Banach space X is complete if and only if Y is closed in X"

    I have an idea to prove this theorem, but I am not sure about this and I can't wrote it for detail.
    Please correct my answer,

    from left to right "let X is Banach space, Y\subset X. so, Y is Banach space. consider of Banach space definition, every Cauchy sequence of Y is converge to x\in X then Y is closed on X".
    right to left "I am still totally confuse..."
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Super Member Rebesques's Avatar
    Joined
    Jul 2005
    From
    My house.
    Posts
    615
    Thanks
    34

    Re: A subspace of Banach space is complete if and only if it is closed.

    For the forward implication, suppose Y is complete. You want to show it is closed.
    Suppose that a sequence in Y converges in X. We will show that its limit belongs to Y.
    This is somewhat obvious, since a convergent sequence is a Cauchy sequence, and all Cauchy sequences in Y converge in Y.

    For the inverse implication, suppose Y is closed in X. We show that Y is complete.
    Consider a Cauchy sequence in Y. Since this also belongs to X and X is a Banach space, the sequence converges.
    But Y is closed in X, and so the limit of the sequence must belong to Y. This means Y is complete.



    Note that the assumption that Y is a subspace is not necessary.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Banach space & Hilbert space
    Posted in the Differential Geometry Forum
    Replies: 2
    Last Post: May 24th 2011, 01:06 PM
  2. Banach space with infinite vector space basis?
    Posted in the Differential Geometry Forum
    Replies: 2
    Last Post: March 24th 2011, 06:23 PM
  3. Replies: 2
    Last Post: September 30th 2010, 04:13 PM
  4. closed in dual space E* implies closed in product space F^E
    Posted in the Differential Geometry Forum
    Replies: 1
    Last Post: May 21st 2010, 04:58 AM
  5. Closed set in Banach?
    Posted in the Differential Geometry Forum
    Replies: 1
    Last Post: April 15th 2010, 02:45 AM

Search Tags


/mathhelpforum @mathhelpforum