Set of natural numbers

Question

Let $A$ be a nonempty subset of $\omega$, the set of natural numbers. If $\bigcup A=A$ then $A=\omega$.

I have proved '$\bigcup n^+ = n$ for any $n\in\omega$' and '$\bigcup\omega = \omega$' I think this question should be proved with the above results..

Help please

You should really learn some LaTeX. – Asaf Karagila Apr 25 '12 at 08:09 — Asaf Karagila, Apr 25 '12 at 08:09
You may also want to read why and how to accept an answer. – Asaf Karagila Apr 25 '12 at 08:18 — Asaf Karagila, Apr 25 '12 at 08:18

score 6 · Accepted Answer · edited Apr 13 '17 at 12:21

6

Lemma: If $A$ is a set of ordinals, then $\bigcup A$ is an ordinal.

The proof appears here.

Suppose that $A\subseteq\omega$ then $\bigcup A$ is an ordinal. If $A=\bigcup A$ then $A$ was an ordinal, that is either $n\in\omega$ or $\omega$ itself.

However you know that for $n\neq 0$, $\bigcup n\neq n$, so you are only left with the option $A=\omega$.

To prove this directly in this case you can argue that if $n\in A$ then $n\subseteq\bigcup A$. From this follows that if $A$ is non-empty and $\bigcup A=A$ for every $k\in\omega$ such there is $n\in A$ and $k<n$ we have $k\in\bigcup A$, and therefore $k\in A$. So if $A$ is unbounded $A=\omega$; if $A$ is bounded then $A=n$ but we know that $\bigcup n\neq n$ which is a contradiction.

edited Apr 13 '17 at 12:21

Community

1

answered Apr 25 '12 at 08:15

Asaf Karagila

405,794

Its good but i want to prove this by showing that a set satisfying above condition is a successor set. – Katlus Apr 25 '12 at 13:41
I have proved that empty set is an element of A. Can you help me how to show that if n is an element of A, successor of n is an element of A? – Katlus Apr 25 '12 at 13:44

Set of natural numbers

1 Answers1

Linked