Analysis

Real & Complex Analysis, Calculus & Multivariate Calculus, Functional Analysis,
Post Reply
Asis ghosh
Posts: 9
Joined: Mon Feb 05, 2018 4:22 am

Analysis

#1

Post by Asis ghosh »

prove that (0,1) is uncountable
User avatar
Tolaso J Kos
Administrator
Administrator
Posts: 867
Joined: Sat Nov 07, 2015 6:12 pm
Location: Larisa
Contact:

Re: Analysis

#2

Post by Tolaso J Kos »

Asis ghosh wrote:prove that $(0,1)$ is uncountable
Assume that $(0,1)$ is countable. Then you can write $[0,1]=(x_n)_{n \geq 0}$. Do the following steps:

- split $[0,1]$ into three equal parts $[0,1/3],[1/3,2/3],[2/3,1]$. Then $x_0$ is not in one of the given intervals. Denote it by $[a_0,b_0]$.
- split $[a_0,b_0]$ into three equal parts $I_1,I_2,I_3$. Then $x_1$ is not in one of the given intervals. Denote it by $[a_1,b_1]$.
- inductively construct an interval $[a_{n+1},b_{n+1}]\subset [a_n,b_n]$ such that $x_{n+1} \notin [a_{n+1},b_{n+1}]$ and $b_{n+1}-a_{n+1}=\frac{1}{3}(b_n-a_n)$.

Since $[a_n,b_n]$ is a decreasing sequence of compact intervals with $b_n-a_n \to 0$ their intersection is a point $C \in [0,1]$. If $[0,1]=(x_n)$ then there exists $m$ such that $x_m=C$. But then $x_m \notin [a_m,b_m]$ and therefore it cannot be in the intersection of all intervals. Contradiction.
Imagination is much more important than knowledge.
User avatar
Tolaso J Kos
Administrator
Administrator
Posts: 867
Joined: Sat Nov 07, 2015 6:12 pm
Location: Larisa
Contact:

Re: Analysis

#3

Post by Tolaso J Kos »

Also worth noting Cantor's diagonal argument
Imagination is much more important than knowledge.
Post Reply

Create an account or sign in to join the discussion

You need to be a member in order to post a reply

Create an account

Not a member? register to join our community
Members can start their own topics & subscribe to topics
It’s free and only takes a minute

Register

Sign in

Who is online

Users browsing this forum: No registered users and 11 guests