53
$\begingroup$

What is the "standard basis" for fields of complex numbers?

For example, what is the standard basis for $\Bbb C^2$ (two-tuples of the form: $(a + bi, c + di)$)? I know the standard for $\Bbb R^2$ is $((1, 0), (0, 1))$. Is the standard basis exactly the same for complex numbers?

P.S. - I realize this question is very simplistic, but I couldn't find an authoritative answer online.

$\endgroup$
  • 1
    $\begingroup$ @Sid: I don't see what that has to do with anything. I assume $\mathbb{C}^2$ is to be understood as a complex vector space. $\endgroup$ – Qiaochu Yuan Mar 22 '12 at 22:05
  • $\begingroup$ @QiaochuYuan, yes, sorry, that wasn't a particularly relevant response! $\endgroup$ – Sid Raval Mar 22 '12 at 22:11
  • $\begingroup$ The title still sounds vague. Will someone please edit it? $\endgroup$ – user21436 Mar 23 '12 at 5:09
  • $\begingroup$ @QiaochuYuan Your answer very helpful. Can $C^2$ with $C$ as the field have such a basis vector that contains $i$ as a possible component in place of the 1's, 0's Or not.. $\endgroup$ – Shashaank Aug 2 at 19:44
29
$\begingroup$

The "most standard" basis is also $\left\lbrace(1,0),\, (0,1)\right\rbrace$. You just take complex combinations of these vectors. Simple :)

| cite | improve this answer | |
$\endgroup$
  • $\begingroup$ Makes good sense, just didn't realize if that was considered the "standard". $\endgroup$ – Casey Patton Mar 22 '12 at 22:07
  • 10
    $\begingroup$ Yes. In fact, that is "the standard basis" for $\mathbb{F}^2$ where $\mathbb{F}$ is any field: $\mathbb{F}=\mathbb{R},\mathbb{C},\mathbb{Q},\mathbb{Z}_p,$ etc. $\endgroup$ – Bill Cook Mar 22 '12 at 22:11
  • $\begingroup$ @JuanBermejoVega How is the set ${(1,0), (0,1)}$ a basis for $\mathbb{C}$? It only spans the real part of each of the complex plane. $\endgroup$ – krismath Oct 9 '14 at 16:30
  • 5
    $\begingroup$ @krismath Are you only taking real combinations of those vectors? In a complex vector space you should take complex combinations. Does this answer your question? $\endgroup$ – Juan Bermejo Vega Oct 10 '14 at 20:18
  • $\begingroup$ @JuanBermejoVega Oh I see. Thanks. $\endgroup$ – krismath Oct 11 '14 at 0:23
72
$\begingroup$

Just to be clear, by definition, a vector space always comes along with a field of scalars $F$. It's common just to talk about a "vector space" and a "basis"; but if there is possible doubt about the field of scalars, it's better to talk about a "vector space over $F$" and a "basis over $F$" (or an "$F$-vector space" and an "$F$-basis").

Your example, $\mathbb{C}^2$, is a 2-dimensional vector space over $\mathbb{C}$, and the simplest choice of a $\mathbb{C}$-basis is $\{ (1,0), (0,1) \}$.

However, $\mathbb{C}^2$ is also a vector space over $\mathbb{R}$. When we view $\mathbb{C}^2$ as an $\mathbb{R}$-vector space, it has dimension 4, and the simplest choice of an $\mathbb{R}$-basis is $\{(1,0), (i,0), (0,1), (0,i)\}$.

Here's another intersting example, though I'm pretty sure it's not what you were asking about:

We can view $\mathbb{C}^2$ as a vector space over $\mathbb{Q}$. (You can work through the definition of a vector space to prove this is true.) As a $\mathbb{Q}$-vector space, $\mathbb{C}^2$ is infinite-dimensional, and you can't write down any nice basis. (The existence of the $\mathbb{Q}$-basis depends on the axiom of choice.)

| cite | improve this answer | |
$\endgroup$
  • $\begingroup$ Your answer very helpful. Can $C^2$ with $C$ as the field have such a basis vector that contains $i$ as a possible component in place of the 1's, 0's Or not.. $\endgroup$ – Shashaank Aug 2 at 19:42
8
$\begingroup$

I'm not sure that this is what you want, but under the usual Argand-Gauss identification $\Bbb C=\Bbb R^2$ the standard basis of $\Bbb C$ would be $\{1,i\}$, the standard basis of $\Bbb C^2$ would be $\{(1,0),(i,0),(0,1),(0,i)\}$ and so on.

| cite | improve this answer | |
$\endgroup$
  • $\begingroup$ This is a little confusing, because the previous answer gave me a basis of dimension 2 and this answer gives me a basis of dimension 4. How can this be possible? $\endgroup$ – Casey Patton Mar 22 '12 at 22:28
  • 11
    $\begingroup$ What is not clear (to me, at least) from your question is that you consider $\Bbb C^2$ as a real or complex vector space. As a complex vector space it has dimension $2$, as a real vector space it has dimension $4$. $\endgroup$ – Andrea Mori Mar 22 '12 at 22:37
  • 1
    $\begingroup$ Ah gotcha. Well....being a student in an introductory Linear Algebra class, I haven't actually learned what those terms mean yet! Hence the confusing question. $\endgroup$ – Casey Patton Mar 23 '12 at 23:04
  • 1
    $\begingroup$ Doesn't $\Bbb C^2$ shows complex vector space always ? How can it shows real vector space? $\endgroup$ – Pranita Gupta Dec 19 '18 at 13:17
  • 1
    $\begingroup$ Complex vector space refers to vector space over the complex field, similarly real vector space is over the real field. See Jonas' answer. $\endgroup$ – Chris Wang Apr 8 at 17:08

Not the answer you're looking for? Browse other questions tagged or ask your own question.