MathsGee Answers is Zero-Rated (You do not need data to access) on: Telkom | Dimension Data | Rain | MWEB
First time here? Checkout the FAQs!
x
MathsGee is Zero-Rated (You do not need data to access) on: Telkom |Dimension Data | Rain | MWEB

0 like 0 dislike
10 views
(i) Define the Cantor set.
Let
$$
E_{n}=\bigcup_{k=1 \atop 3|k, 3|(k-2)}^{3^{n}-1}\left[\frac{k}{3^{n}}, \frac{k+1}{3^{n}}\right]
$$
The Cantor set, E, is defined to be
$$
E=\bigcap_{n=1}^{\infty} E_{n}
$$
(ii) Show that the Cantor set is perfect.
in Mathematics by Bronze Status (8,688 points) | 10 views

1 Answer

0 like 0 dislike
Best answer
Proof. Each $E_{n}$ is a finite union of closed intervals and hence closed. $E$ is an intersection of closed sets and hence is also closed. If $x \in E$, then $x \in E_{n}$ for all $n$. Therefore, let $I_{n}$ be the closed interval of $E_{n}$ such that $x \in I_{n}$ and let $x_{n}$ be the endpoint of $I_{n}$ with $x_{n} \neq x$. Note that $I_{n}$ is an interval of length $3^{-n}$. Hence we have
$$
\left|x-x_{n}\right|<\frac{1}{3^{n}}
$$
We certainly have $x_{n} \neq x$ and the size of their difference can be make smaller than any $\epsilon>0$ by taking $n$ large enough, larger than $-\log _{3}\left(\min \left\{\varepsilon, \frac{1}{2}\right\}\right)$.
by Bronze Status (8,688 points)

MathsGee provides answers to subject-specific educational questions for improved outcomes.



On MathsGee Answers, you can:


1. Ask questions
2. Answer questions
3. Comment on Answers
4. Vote on Questions and Answers
5. Donate to your favourite users

MathsGee Tools

Math Worksheet Generator

Math Algebra Solver

Trigonometry Simulations

Vectors Simulations

Matrix Arithmetic Simulations

Matrix Transformations Simulations

Quadratic Equations Simulations

Probability & Statistics Simulations

PHET Simulations

Visual Statistics

ZeroEd Search Engine

Other Tools

MathsGee ZOOM | eBook