Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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

share|cite|improve this question
Thank you, i corrected it. – Đức Anh Sep 5 '12 at 12:44
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)$. – tomasz Sep 5 '12 at 12:46
Thank you, and how to prove your equality? I know the Axiom of choice. – Đức Anh Sep 5 '12 at 12:48
@tomasz: for any two infinite cardinals. – Henning Makholm Sep 5 '12 at 12:49
@HenningMakholm: any two cardinals, at least one of which is infinite, if we're being picky. ;) – tomasz Sep 5 '12 at 12:59
up vote 2 down vote accepted

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.

share|cite|improve this answer
Thanks, i'm trying to understand your proof. I will ask you later :D – Đức Anh Sep 5 '12 at 13:08
@tomasz Thanks, I have edited. – Davide Giraudo Sep 5 '12 at 13:18
This assumes we that already know that $|2\times X|=|X|$, right? Or how do you conclude that a maximal element has $B=X$? – Henning Makholm Sep 5 '12 at 13:29
@HenningMakholm Yes, I think we need this intermediate step (which also uses Zorn lemma if I'm not wrong). – Davide Giraudo Sep 5 '12 at 13:31
Thank you for the answer, I have found a proof in Hewitt, Stromberg, Real and Abstract Analysis. – Đức Anh Sep 5 '12 at 20:08

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$.

share|cite|improve this answer
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. – Đức Anh Sep 5 '12 at 18:38
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. – Henning Makholm Sep 5 '12 at 19:12
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$ ? – Đức Anh Sep 5 '12 at 20:20
$\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$. – Henning Makholm Sep 5 '12 at 20:22
Ah, I think I have understood your solution. Thank you very much. – Đức Anh Sep 5 '12 at 20:27

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.