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

In Kunen's book, Set Theory,chapter I.7, he said: $1+\omega=\omega \neq \omega+1$. I want to know why $\omega \neq \omega+1$.

share|cite|improve this question
What have you tried? Did you write out the definitions? Note that $\omega+1$ has a ... element. – t.b. Jan 12 '12 at 8:23
As an ordered set, $\omega +1$ has a largest element, while $\omega$ doesn't. – André Nicolas Jan 12 '12 at 8:24
up vote 16 down vote accepted

There is an easy way to see this. You need to apply the definition of ordinal addition:
$$\omega + 1 = \omega \times \{0\} \cup \{1\} \times \{1\} = \{0, 1, 2, \dots 1^\prime\}$$

So $\omega + 1$ has an element at the end that is not a successor of anything while $\omega$ does not.

On the other hand, $$1 + \omega = \{1\} \times \{0\} \cup \omega \times \{1\} = \{1 ^\prime, 0, 1, 2, \dots\} \cong \omega$$

so you see that addition doesn't commute.

There is some more information about this here on Wikipedia. Hope this helps.

share|cite|improve this answer
Nice. The $\omega+1$ being seen as the set $\{ 0, 1, 2, \dots 1^\prime \}$ help me a lot. – Paul Jan 12 '12 at 8:40
I have to say that on the basis of this response, I would agree with Lmn6 so far. How do { 0,1,2,…1′} and { 1′,0,1,2,…} denote different sets? Looking around, I found this sentence "For example, 1+ω is not the same as ω+1; i.e., ω+1 = ord({0,1,2,...; 0}) but 1+ω is ord({0,0,1,2,3,...})=ω." But, I don't see this either. As I understand we could denote 0, 1, 2, ... by say N. Then we have {0, N} and {N, 0} both of which equal N. So, ord({0,1,2,...; 0})=ord({0,0,1,2,3,...}). So, how do the sets here differ? – Doug Spoonwood Jan 14 '12 at 12:57
@Doug: In this answer, the notation $\{a,b,c,...\}$ is being used to represent an ordered list. Indeed, as sets $1+\omega$ and $\omega+1$ are equivalent, but it is the order that distinguishes them. – Grumpy Parsnip Jan 14 '12 at 13:03
@JimConant Thanks Jim, that's right, it's a totally ordered set. Maybe you could suggest a better notation -- how are ordered lists usually denoted? – Rudy the Reindeer Jan 14 '12 at 13:10
To all those fiddling notational issues, in the case of the natural numbers in the context of set theory $0\in1\in2\in\ldots\in\omega\in\ldots$, even as an unordered set there is still a natural order. – Asaf Karagila Jan 15 '12 at 7:43

I find pictures to help. The idea here is that $\omega$ is a limit ordinal and tacking on the ordinal $1$ after it is fundamentally different:



The picture for $\omega$ has a curved edge which indicates that it is a limit ordinal opposed to being a successor ordinal. When we tack on $1$ to the right of $\omega$ we have this ordinal $\omega+1$ that contains a limit ordinal which is not something that occurs in $\omega$. This means that $\omega$ and $\omega+1$ can't be isomorphic.

Can you use see why $1+\omega$ and $\omega+1$ aren't equal? Do you see why $1+\omega = \omega$?

share|cite|improve this answer
Now it is very clear for me. Thanks tomcuchta. – Paul Jan 12 '12 at 9:22

$\omega + 1$ has a limit point (i.e. $\omega$ — using the von Neumann definition $\omega + 1 = \omega \cup \lbrace\omega\rbrace$) in the order topology while $\omega$ is discrete in the order topology.

share|cite|improve this answer

Because the elements of $\omega$ are all finite, whereas $\omega + 1$ has one infinite element.

share|cite|improve this answer
Use $\omega$ or $\omega + 1$ to produce $\omega$ or $\omega + 1$ and similarly with other $\LaTeX$ expressions – Henry Jan 12 '12 at 8:43
@Henry use $\mathrm{\LaTeX}$ (\mathrm{\LaTeX} - \text doesn't work) to get upright LaTeX with MathJax. – kahen Jan 12 '12 at 9:37
Thanks for the formatting advice. I see somebody has already edited my w into $\omega$. – user22805 Jan 12 '12 at 10:21

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.