Two infinite bases for a vector space have equal cardinality Let $V$ be a vector space over a field $\mathbb{K}$, such that $V$ admits an infinite linearly independent set. Let $B$ and $B'$ be two bases for $V$. Then $|B|=|B'|$.
My approach:
Let $\mathcal{F}(B)$ and $\mathcal{F}(B')$ be the collections of all finite subsets of $B$ and $B'$. The idea is to conclude that $|\mathcal{F}(B)|=|\mathcal{F}(B')|$, from which we can deduce that $|B|=|B'|$ (since $|\mathcal{F}(B)|=|B|$).
There is a theorem which says that if there is a countable-to-one function $\phi: X\to Y$ between two sets $X$ and $Y$ then $|X|\le \aleph_0 |Y|$.
To this end, suppose, without loss of generality, that $|\mathcal{F}(B)|\le \mathcal{F}(B')$. Then there is a surjective function $\phi$ from $\mathcal{F}(B')$ to $\mathcal{F}(B)$. Thus for $x\in \mathcal{F}(B)$, $\phi^{-1}(\{x\})$ exists and is countable (since $\mathcal{F}(B')$ is countable). Hence, $|\mathcal{F}(B')|\le \aleph_0 |\mathcal{F}(B)|=|\mathcal{F}(B)|$. So that $|B|=|\mathcal{F}(B)|=|\mathcal{F}(B')|=|B'|$, as required.
Please let me know whether my proof is fine. I'm not very confident in this field yet.
 A: First prove the following lemma.

Let $A$ be a set, $\eta$ be a cardinal number, and $(B_a)_{a\in A}$ be a family of sets satisfying $|B_a|\le\eta$ for all $a\in A$. Then
  $$
\left| \cup_{a\in A}B_a \right| \le |A|\eta.
$$

Sketch of proof in spoiler below:

 Without loss of generality, suppose $(B_a)_{a\in A}$ are pairwise disjoint. Choose an injection $g_a:B_a\to E$ for each $a\in A$, where $E$ is set of cardinality $\eta$. Define an injection from $\cup_{a\in A}B_a\to A\times E$ by mapping $x$ in the union to the element $(a,g_a(x))$ in $A\times E$, where $a\in A$ is such that $x\in B_a$. Prove this is a well-defined injection.

Now suppose $A$ and $B$ are infinite bases of a vector space. For each $a\in A$ find a finite subset $B_a$ of $B$ such that $a$ is in the span of $B_a$. Then $B=\cup_{a\in A}B_a$. Use this and the lemma to obtain $|B|\le|A|$. More details are in the spoiler below:

 We obtain $B=\cup_{a\in A}B_a$ since $B$ is linearly independent and $A$ is spanning. Using the lemma, we have $$ |B|=|\cup_{a\in A}B_a|\le|A|\aleph_0=|A|, $$ because $|B_a|<\aleph_0$ for each $a\in A$. Then repeat the same argument to get $|A|\le|B|$, and conclude using the Cantor-Schröder-Bernstein theorem.

