So I heard of the following way to define naturals in real numbers.
Let's call a subset $A$ of reals to be inductive if and only if:
1)it contains $0$.
2)it contains $k+1$ whenever it contains $k$.
Than, we define real number to be natural if it is contained in every inductive set.
Now, can we show that set of all natural real numbers is closed under addition and multiplication, and that $0$ is least element (with real number ordering) ? Or maybe it is possible to prove this properties with other definition of naturals in reals ?
Answer
Let $\mathbb N$ denote the set of elements that are contained in every inductive subset of $\mathbb R$.
It is immediate that $0\in\mathbb N$ and further the set $[0,\infty)$ is inductive so that $\mathbb N\subseteq[0,\infty)$, showing that $0$ serves as least element of $\mathbb N$.
Now define: $$K:=\{n\in\mathbb N\mid \forall k\in\mathbb N[n+k,nk\in\mathbb N]\}$$and prove that $K$ is inductive.
Then $\mathbb N\subseteq K\subseteq\mathbb N$ so that $\mathbb N=K$, and you are ready.
No comments:
Post a Comment