-4
$\begingroup$

Possible Duplicate:
Finite dimensional subspaces of a linear space

I know that "every vector space has a basis" is equivalent to the "Axiom of Choice".

My question: Can I prove that $\mathbb{R}^k$ has a basis (where $k\in \mathbb{N}$) only with ZF? If so, how?

  • 0
    Okay, sure. When I say "no choice" I mean "no use of the axiom of choice."2012-07-14

1 Answers 1

6

For $\mathbb R^k$ you can exhibit a basis, namely the vectors $(1,0,0,0,\ldots,0), (0,1,0,0,\ldots,0), (0,0,1,0,\ldots,0),\ldots ,(0,0,0,0,\ldots,1)$.

  • 0
    You're right.. More precisely, i just proved it by induction thanks2012-07-14