I am preparing a lecture note for a primary course on Vector Spaces and I am developing basis and linearly independent sets. There I took the following path:
- Define the linear span $L(S)$ of a subset $S$ of a vector space;
- Both the sets $ S_1=\{(1,0),(0,1)\} $ and $ S_2=\{(x,x+1),x\in\mathbb{R}\} $ have the same span $\mathbb{R}^2$;
- We can delete infinitely many elements from $ S_2 $ and still retain the same span but no point can be deleted from $ S_1 $ in order to retain the same span;
- Define a basis by: $S$ is a basis if $S$ spans the space $V$ and no proper subset of $S$ spans $V$;
- Assume the existence of a basis for any vector space;
- Define a linearly independent set by: $S$ is linearly independent if $\forall \alpha\in S$, $\alpha\notin L(S\setminus\{\alpha\})$;
- Define a maximal linearly independent set by: $S$ is a maximal linearly independent set if for every superset $S'\supset S$, $S'$ is not linearly independent;
- Show that $S$ is a basis iff $S$ is a maximal linearly independent set;
- Existence of a maximal linearly independent set is guaranteed by the assumed existence of a basis.
After this, I want to define the dimension of a vector space. For that, I need to show that every basis or every maximal linearly independent set in $V$ has the same cardinality. And I am stuck to prove this.
A few things to mention:
- This is a primary course on vector spaces and the existence theorem for a basis (and the Zorn's lemma) is not there in their syllabus.
- I am eventually going to move to finite dimensional spaces, but only after defining dimension in the general set up.
I have not found this approach anywhere. So if you know about this approach discussed in any book, please mention it. Otherwise, please help me to establish that any two bases of a vector space have the same cardinality.