A simple question of finite number of basis Let $V$ be a vector space. Define 
" A set $\beta$ is a basis of  $V $" as "(1) $\beta$ is linearly independent set, and (2) $\beta$ spans $V$ "
On this definition, I want to show that "if $V$ has a basis (call it $\beta$) then $\beta$ is a finite set."
In my definition, I have no assumption of the finiteness of the set $\beta$. But Can I show this statement by using some properties of a vector space?

I take it $V$ is finite-dimensional? For instance, the (real) vector space of polynomials over $\mathbb{R}$ is infinite-dimensional $-$ in this space, no basis is finite. And for finite-dimensional spaces, it's worth noting that the dimension of a vector space $V$ is defined as being the size of a basis of $V$, so if $V$ is finite-dimensional then any basis for $V$ is automatically finite, by definition!
