Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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|improve this question
10  
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
7  
As an ordered set, $\omega +1$ has a largest element, while $\omega$ doesn't. –  André Nicolas Jan 12 '12 at 8:24
add comment

4 Answers 4

up vote 13 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|improve this answer
3  
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
2  
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
5  
@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
2  
@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? –  Matt N. Jan 14 '12 at 13:10
2  
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
show 6 more comments

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:

omega

omega+1

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|improve this answer
    
Now it is very clear for me. Thanks tomcuchta. –  Paul Jan 12 '12 at 9:22
add comment

$\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|improve this answer
add comment

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

share|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
1  
@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
add comment

Your Answer

 
discard

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.