7
$\begingroup$

I was wondering if someone could please shed some light on how the following two vector spaces are different. The examples are from Paul Halmos's "Finite Dimensional vector spaces" book and the author asks the reader to verify that they are different, but i am not so sure if i understand the two examples well enough to spot all the differences.

(1) Let $\mathbb C^1$ be the set of all complex numbers; if we interpret "$x + y$" and "$ax$" as ordinary complex numerical addition and multiplication, $\mathbb C^1$ becomes a complex vector space.

(2) If, in the set $\mathbb C$ of all complex numbers, addition is defined as usual and multiplication of a complex number by a real number is defined as usual, then $\mathbb C$ becomes a real vector space.

Is the difference between these two vector spaces examples only that in the first the scalar field is also the set $\mathbb C$ and in the second one the scalar field is $\mathbb R$ and hence only the multiplication and distributive properties would behave differently? What about dimensions of the two examples?

Any Help would be highly appreciated.

Cheers Hardy

3 Answers 3

10

They are vector spaces over different fields. The first is a one-dimensional vector space over $\mathbb{C}$ ($\{ 1 \}$ is a basis) and the second is a two-dimensional vector space over $\mathbb{R}$ ($\{ 1, i \}$ is a basis).

This might have you wondering what exactly the difference is between the two perspectives. The point is that when you only consider real vector spaces, "multiplication by $i$" is not a well-defined operation. In other words, a complex vector space is precisely a real vector space together with a "multiplication by $i$" operation or, more formally, with a (real-)linear operator $J : V \to V$ such that $J^2 = -I$ (where $I$ is the identity).

  • 0
    @Zev: no, I think that was already a problem.2012-01-28
  • 0
    Hm, I thought I remembered a single backslash working correctly before. Perhaps it was just wishful thinking though.2012-01-28
  • 0
    so to clarify as an example 2 + i belongs to the first vector space where as (2, 3i) is an example of the second ? Thank you i really appreciate your help. Although i am still a little confused as the multiplication of scalars in R would required for the second coordinate in second example. for instance in the axiom a(bx) = (ab)x if x was (2, 3i) in the second example do n't we get (2ab, 3abi) ?2012-01-28
  • 0
    @Hardy: what elements belong to the two spaces are irrelevant; one can identify them as sets if one desires. The point is the _structures_ that exist on each, which is extra data that one specifies.2012-01-28
  • 0
    How did u determine the basis for these vector spaces ? I know the definition of basis, and the 2 properties, linear independence and that all vectors can be expressed as sum of the basis vectors, though i am struggling at finding basis ? Any help would be highly appreciated.2012-01-28
  • 0
    @Hardy: it comes from experience and familiarity with the standard examples, I suppose.2012-01-28
  • 0
    I C thanks bud. I appreciate your help.2012-01-28
  • 0
    Hi Guys, I have a follow up question ? Since the dimension of the above vector spaces are 1 and 2 respectively ? Why is then the set R of all real numbers not a finite-dimensional vector space over the field of Q ? Now in the 1st example we discarded product of a reals and i but in the second example should n't we worry about cardinal numbers argument ?2012-01-28
  • 0
    @Hardy: $\mathbb{R}$ is uncountable, but any finite-dimensional vector space over $\mathbb{Q}$ is countable (exercise).2012-01-28
2

As you mention they are vector spaces over different fields. For example, $\mathbb C^1$ is $1$-dimensional as a vector space over $\mathbb C$ while $\mathbb C^1$ is a two-dimensional vector space over $\mathbb R$.

2

In the comments on Qiaochu's answer, OP asks how one finds a basis for a given (finite dimensional) vector space. Here's one approach.

You pick a nonzero vector. You look at all the multiples of that vector. If that gives you the entire vector space, you're done: that one vector form a basis.

If the multiples of that vector don't give you the entire vector space, pick some vector you don't get as a multiple of the first one, and look at all the linear combinations of the two vectors you have selected - the "span" of the two vectors. If that span is the entire vector space, you're done: that pair of vectors forms a basis.

If the span of the two vectors isn't the whole vector space, pick a vector that isn't in the span, and look at the span of the three vectors you have selected. I could write out a few more iterations of this procedure, but I hope by now the idea is clear; just keep picking vectors not yet in the span until the span is everything, at which point you have a basis.

For practice, find a basis for the complex numbers as a vector space over the real numbers. Then throw that basis away, and find an entirely different one. Repeat until you're confident that you have no more to learn from this exercise.

  • 0
    Cool Thanks for that bud, I suppose for the exercise in your comment. I think there maybe infinite basis of dimension 2 as one could pick (1, i), (2, i).....(3, 10i) any possible combination of (R, Ri) as basis. I think i get the point. I am also starting to think a vector space formed by vectors in R or C with the field Q has finite dimensions as originally i thought the denominators of the rationals can only come from scalars, but of course Q is a subset of R and C,hence we would have basis {1} and {1, i} for R and C cases respectively. please let me know if i have it wrong. Cheers2012-01-28
  • 1
    Yes, there are infinitely many different 2-element bases for $\bf C$ as a vector space over $\bf R$. They don't all look like the ones you mention, e.g., $\\{2+3i,4+5i\\}$ is another such. But both $\bf R$ and $\bf C$ are infinite-dimensional as vector spaces over the rationals. Using the rationals as scalars, the only multiples of 1 you get are the rationals, so you don't get $\sqrt2$, $\pi$, etc.2012-01-28
  • 0
    i am a little confused now i agree yes the irrational coefficients are not present in the rationals and we would need them to traverse the complex vector space with the basis (1, i) but the book defines dimension as "The dimension of a finite-dimensional vector spaces V is the number of elements in a basis of V". Now in what u were saying there are infinite 2 element basis but the vector space is still called infinite-dimensional vector space ?2012-01-29
  • 1
    $\bf C$ is a 2-dimensional space over $\bf R$ and it has a 2-element basis as a vector space over $\bf R$. $\bf C$ is an infinite-dimensional vector space over $\bf Q$, and it doesn't have a 2-element basis, or any finite basis, over $\bf Q$. A vector space has two things, a set $V$ of vectors and a field $F$, and you can't say what the dimension of $V$ is unless you know which field $F$ is intended. The same set (e.g., $\bf C$) can be a vector space over many different fields, and the dimension can depend on which field you have in mind.2012-01-29
  • 0
    Thanks Gerry that was very help full based on your comment i am concluding that an infinite-dimensional vector space has infinite dimension, even if it has only finite different basis, and a finite-dimensional vector space has a finite dimension even though there maybe infinite basis for it. I was kind of getting confused with that.2012-01-29
  • 1
    You will continue to be confused, as long as you express yourself so carelessly. Don't say "there maybe infinite basis for it" when what you really mean is "there may be infinitely many bases for it." Also, an infinite-dimensional vector space is guaranteed to have infinitely many different bases.2012-01-29
  • 0
    Hi Gerry i think you have got it right i am usually quite careless with words, English is not my first language so i need to work on that. I would be very greatfull if you could please point out the difference in two statements as they appear to imply the same to me, this way i would know better in future to not make that mistake "there maybe infinite basis for it" and "there may be infinitely many bases for it." ?2012-01-29
  • 0
    I agree with you yes an infinite-dimensional vector space has infinitely many different bases atleast in the case of C Vectors over Q field example. One basis would be {1, i, R-Q, (R-Q)i} where R-Q represents all irrationals. Now I can get all rationals from Q and traverse the whole C vector space. Similarly i could pick {2, 2i, R-Q, (R-Q)i} and so on and so forth.2012-01-29
  • 1
    "there maybe infinite basis for it" simply isn't English, so it's hard to tell what it means, but the juxtaposition of "infinite" and "basis" suggests you are talking about a single basis with infinitely many elements. "there may be infinitely many bases for it" says nothing about how big any one basis might be, just that there are infinitely many of them. $R-Q$ has no place in a basis, as the set of all irrationals is not linearly independent over the rationals - indeed, the subset $\lbrace\pi,-\pi\rbrace$ is not linearly independent over the rationals.2012-01-30
  • 0
    Wow, you are totally correct on that one, I suppose an improved version would be all positive R-Q and (R-Q)i irrational values. Right ?2012-01-30
  • 0
    Sorry, there's more to it than that. $\lbrace\pi,2\pi\rbrace$ is linearly dependent. $\lbrace\sqrt2,\sqrt3,\sqrt2+\sqrt3\rbrace$ is linearly dependent. Constructing a basis for, say, the reals over the rationals takes one into deep logical waters, involving the Axiom of Choice and similar advanced topics.2012-01-30
  • 0
    Thanks mate. i appreciate your help it has been very educational.2012-01-30