Results 1 to 7 of 7

Math Help - A infinite dimensional linear space

  1. #1
    Member
    Joined
    Mar 2010
    From
    usa
    Posts
    90

    A infinite dimensional linear space

    Let B = \left\{ \sqrt{x} \; | \; x = 1\text{ or } x\text{ is prime}\right\},\; S = \left\{ \sum_{k=1}^n a_k b_k \;|\; n\in N, \;a_k \in Q,\; b_k \in B \right\}
    Prove that S is a linear space over Q with a basis B
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor Swlabr's Avatar
    Joined
    May 2009
    Posts
    1,176
    Quote Originally Posted by elim View Post
    Let B = \left\{ \sqrt{x} \; | \; x = 1\text{ or } x\text{ is prime}\right\},\; S = \left\{ \sum_{k=1}^n a_k b_k \;|\; n\in N, \;a_k \in Q,\; b_k \in B \right\}
    Prove that S is a linear space over Q with a basis B
    Where is it you are stuck on this problem?

    I believe proving that B is a basis is the hard bit;

    Note that B forms a spanning set for your space by it's very definition. Then, \sqrt{p} \in \mathbb{R}\setminus \mathbb{Q} (this is quite a nice proof to do) and so your basis intersects trivially with the rationals. This gives you the fact that your spanning set is linearly independent (why?).

    To prove that it is a linear space, you can either hit it with a stick (go through the axioms in a boring way), or you should note that the real numbers form a vector space with the rationals as the field. Here you are just taking a subset of the reals as your basis, and so everything is nice.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Member
    Joined
    Mar 2010
    From
    usa
    Posts
    90
    we need to prove that 1,\sqrt{2},\sqrt{3},\sqrt{5},\cdots are linear independent over \mathbb{Q}.
    Which is much more difficult than prove that \sqrt{p} \in \mathbb{R} \setminus \mathbb{Q}
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Member
    Joined
    Apr 2010
    Posts
    78
    Suffices to show any finite subset of B is l.i. Do an induction on the size of the finite subset.
    Follow Math Help Forum on Facebook and Google+

  5. #5
    Member
    Joined
    Mar 2010
    From
    usa
    Posts
    90
    Using induction is easier to think of, but it's not that easy for this problem.

    Need induction + prove by contradiction + some sort of field expansion...
    Follow Math Help Forum on Facebook and Google+

  6. #6
    MHF Contributor Swlabr's Avatar
    Joined
    May 2009
    Posts
    1,176
    Quote Originally Posted by elim View Post
    Using induction is easier to think of, but it's not that easy for this problem.

    Need induction + prove by contradiction + some sort of field expansion...
    Are you familiar with field automorphisms?

    Look at the field \mathbb{Q}(\sqrt{p_1}, \ldots, \sqrt{p_n}). Then let \phi_i be the automorphism such that \sqrt{p_i}\mapsto -\sqrt{p_i} and \sqrt{p_j} \mapsto \sqrt{p_j} for j \neq i. As this is an Automorphism it preserves everything. So, if these square roots are linearly dependent then what happens if you hit your sum \alpha_1 \sqrt{p_n} + \ldots + \alpha_n \sqrt{p_n} = 0 with one of these automorphisms?
    Follow Math Help Forum on Facebook and Google+

  7. #7
    Member
    Joined
    Mar 2010
    From
    usa
    Posts
    90
    please use firefox to view
    here
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. [SOLVED] Compact set in metric space (finite and infinite dimensional)
    Posted in the Differential Geometry Forum
    Replies: 4
    Last Post: May 30th 2011, 01:38 PM
  2. Stochastic PDE, infinite dimensional Hilbert Space [HARD]
    Posted in the Advanced Applied Math Forum
    Replies: 0
    Last Post: May 10th 2011, 08:54 AM
  3. Infinite Dimensional Vector Space.
    Posted in the Advanced Algebra Forum
    Replies: 3
    Last Post: February 15th 2010, 06:59 PM
  4. Infinite dimensional vector Space
    Posted in the Algebra Forum
    Replies: 4
    Last Post: September 8th 2009, 02:32 AM
  5. unit sphere in an infinite dimensional Banach space
    Posted in the Differential Geometry Forum
    Replies: 1
    Last Post: May 3rd 2009, 01:15 AM

Search Tags


/mathhelpforum @mathhelpforum