Thursday, 7 July 2016

Is it possible to show that this subset of reals has properties of natural numbers?



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

real analysis - How to find $lim_{hrightarrow 0}frac{sin(ha)}{h}$

How to find $\lim_{h\rightarrow 0}\frac{\sin(ha)}{h}$ without lhopital rule? I know when I use lhopital I easy get $$ \lim_{h\rightarrow 0}...