2
$\begingroup$

Good evening,

I want to show that all bases of a vector space have the same cardinality, and it needs the following equality : Let $\aleph_0$ be the cardinality of $\mathbb{N}$ and $X$ an infinite set, then $$\aleph_0 \operatorname{card}(X) = \operatorname{card}(X).$$

Does anyone know where there is a proof for this equality?

Thanks in advance,

Duc Anh

  • 0
    Thank you, i corrected it.2012-09-05
  • 3
    I'm not sure how low-level you expect the proof to be. Assuming axiom of choice, any infinite cardinality is at least $\aleph_0$, and for any two cardinals $\kappa,\lambda$, $\kappa\cdot\lambda=\max(\kappa,\lambda)$.2012-09-05
  • 0
    Thank you, and how to prove your equality? I know the Axiom of choice.2012-09-05
  • 0
    @tomasz: for any two _infinite_ cardinals.2012-09-05
  • 1
    @HenningMakholm: any two cardinals, at least one of which is infinite, if we're being picky. ;)2012-09-05

2 Answers 2

2

We use the fact that $|X\times X|=|X|$, applying Zorn lemma to $S:=\{(B,f), B\subset X, f\colon B\times B\to B,f\mbox{ bijective}\}$ with the partial order $(B_1,f_1)\leq (B_2,f_2)$ if $B_1\subset B_2$ and $f_{2\mid B_1}=f_1$. Then we conclude by Cantor-Bernstein theorem.

  • 0
    Thanks, i'm trying to understand your proof. I will ask you later :D2012-09-05
  • 0
    @tomasz Thanks, I have edited.2012-09-05
  • 0
    This assumes we that already know that $|2\times X|=|X|$, right? Or how do you conclude that a maximal element has $B=X$?2012-09-05
  • 0
    @HenningMakholm Yes, I think we need this intermediate step (which also uses Zorn lemma if I'm not wrong).2012-09-05
  • 0
    @Davide Giraudo : I have not understood yet your proof. I don't know how to prove that a maximal $(B,f)$ has to be X or some subset of the same cardinality as $X.$2012-09-05
  • 1
    Thank you for the answer, I have found a proof in Hewitt, Stromberg, Real and Abstract Analysis.2012-09-05
4

Here's a more direct approach; I think something like this must be hidden in the intermediate step of Davide's proof anyway:

First, we need to assume the Axiom of Choice. So $X$ can be well-ordered, and without loss of generality we can assume that $X$ is an initial ordinal. In particular, then, $X$ is a limit ordinal.

One can easily prove that every ordinal can be uniquely written as $\alpha+n$ where $\alpha$ is zero or a limit ordinal and $n$ is finite.

Fix a bijection $f:\mathbb N\times\mathbb N\to \mathbb N$. Then $$ \langle n,\alpha+m\rangle \mapsto \alpha+f(n,m) $$ is a bijection $\mathbb N\times X \to X$.

  • 0
    Thank you, it seems to me that your proof will work well, but I have to learn the notion of ordinal (so this is a very good chance to do it). I will ask you later.2012-09-05
  • 1
    If you want to do anything serious in set theory -- beyond memorizing some facts about cardinality and knowing how to formalize other mathematics within set theory as a background framework -- then you will need to learn about ordinals, yes. They are the scaffolding everything else hangs from.2012-09-05
  • 0
    Thank you for the advice. I have read the notion of ordinal numbers. But I don't understand your formula : what is $\alpha + m$ and how can $\alpha + m $ be considered as an element of $X$ ?2012-09-05
  • 1
    $\alpha+m$ is the ordinal sum of $\alpha$ and $m$. An ordinal is the set of all ordinals smaller than it. Since I'm assuming that $X$ is an ordinal, its members are other, smaller, ordinals, and so they can be written as $\alpha+m$.2012-09-05
  • 0
    Ah, I think I have understood your solution. Thank you very much.2012-09-05