Results 1 to 4 of 4

Math Help - Vector space and maximal proper subspace

  1. #1
    Senior Member vincisonfire's Avatar
    Joined
    Oct 2008
    From
    Sainte-Flavie
    Posts
    469
    Thanks
    2
    Awards
    1

    Vector space and maximal proper subspace

    Suppose that V is a vector space over F and  \vec{v} \in V is any nonzero vector.
    Show that there is a subspace W of V maximal subject to the condition
    that  \vec{v} \notin W ; show that any such W is a maximal proper subspace of V .
    (Do NOT assume that V is finite-dimensional.)
    For the first part I thought that I could say :
    1. Prove that we can exchange one of the vector in basis of V by  \vec{v}.
    2. Prove that the basis (B) is still one.
    3.Let W = B \backslash \vec{v} .
    4.  B \backslash \vec{v} is a basis and thus a maximal independant subset that doesn't contain  \vec{v} .
    5. W is a subspace of V.
    Is it correct?
    For the second part I don't have a good idea of what to do.
    Any hint would be great. Thanks!
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor

    Joined
    May 2008
    Posts
    2,295
    Thanks
    7
    Quote Originally Posted by vincisonfire View Post
    Suppose that V is a vector space over F and  \vec{v} \in V is any nonzero vector.
    Show that there is a subspace W of V maximal subject to the condition
    that  \vec{v} \notin W ; show that any such W is a maximal proper subspace of V .
    (Do NOT assume that V is finite-dimensional.)
    the first part is a quick result of Zorn's lemma: let C be the set of all subspaces W of V such that v \notin W. since v \neq 0, the set C contains the 0 subspace and hence it's not empty.

    choose any chain (totally ordered collection) of elements of (C, \subseteq). then the union of those elements is still in C. thus C has a maximal element by Zorn's lemma.

    for the second part, suppose W is a maximal element of C and W \subsetneq W_1, for some subspace W_1 of V. the claim is that W_1=V: by maximality of W in C, we must have v \in W_1.

    thus W+<v> \subseteq W_1. so we only need to show that W+<v>=V. suppose W+<v> \neq V, and let v_1 \notin W + <v>. then v \notin W + <v_1> and thus W + <v_1> \in C, which

    contradicts maximality of W in C. \ \Box
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Senior Member vincisonfire's Avatar
    Joined
    Oct 2008
    From
    Sainte-Flavie
    Posts
    469
    Thanks
    2
    Awards
    1
    The version of Zorn's lemma I know says that <br /> <br />
C<br />
needs to be closed under union of chains.
    Here it is
    Let U be any set, and B any nonempty collection of subsets of U. Suppose tnat B is closed under unions of chains, then B has a maximal element.

    How is define the union of these chains?
    Follow Math Help Forum on Facebook and Google+

  4. #4
    MHF Contributor

    Joined
    May 2008
    Posts
    2,295
    Thanks
    7
    Quote Originally Posted by vincisonfire View Post

    How is define the union of these chains?
    if \{W_{\alpha}: \ \alpha \in I \} is a chain of subspaces (under inclusion), then \bigcup_{\alpha \in I} W_{\alpha} is again a subspace. if \forall \alpha \in I: \ W_{\alpha} \in C, as defined in my solution, then \bigcup_{\alpha \in I} W_{\alpha} \in C.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Subspace of a vector space
    Posted in the Advanced Algebra Forum
    Replies: 2
    Last Post: December 15th 2011, 09:57 AM
  2. Subspace of a vector space
    Posted in the Advanced Algebra Forum
    Replies: 4
    Last Post: December 1st 2011, 01:16 PM
  3. Vector space and its subspace
    Posted in the Advanced Algebra Forum
    Replies: 4
    Last Post: November 8th 2011, 04:01 AM
  4. Let Z be a proper subspace of an n-dimensional vector space X
    Posted in the Differential Geometry Forum
    Replies: 3
    Last Post: March 29th 2011, 11:56 AM
  5. [SOLVED] Subspace of a Vector space: Why not the other way around?
    Posted in the Advanced Algebra Forum
    Replies: 4
    Last Post: March 27th 2011, 02:17 PM

Search Tags


/mathhelpforum @mathhelpforum