Questions tagged [cantor-set]

For questions concerning the Cantor set, which consists of those real numbers in $ [0,1]$ that remain after repeatedly removing the open middle third of every interval; it contains those numbers which may be written in ternary without using 1. Also, for questions about other topological spaces that are homeomorphic to the Cantor set.

The Cantor set, also known as Cantor's "middle thirds" set, consists of those real numbers that remain when one starts with the range [0,1] and repeatedly removes the open middle third of every remaining interval; it contains those numbers which may be expressed in ternary without using 1, ee.g. $0$, $1/3 = 0.1 = 0.0\dot{2}$, $2/3 = 0.2$, $1 = 0.\dot{2}$.

The Cantor set is a closed subset of $[0,1]$ and is a compact topological space. It has Lebesgue measure $0$, is nowhere dense, yet it is uncountable. It displays fractal self-similarity.

The construction can be generalized to "fat" Cantor sets whose Lebesgue measure is positive (and can be any possible value in the interval $(0,1)$). Fat Cantor sets are still nowhere dense, witnessing that a nowhere dense set can have positive Lebesgue measure.

Topological spaces homeomorphic to Cantor's middle thirds set are known simply as "Cantor sets" or "Cantor spaces". An important example is the product $\lbrace 0,1\rbrace^\mathbb{Z}$ of countably many copies of the discrete space $\lbrace 0,1\rbrace$. Cantor spaces can be characterized as the nonempty, compact, totally disconnected, metrizable spaces having no isolated points.

688 questions
10
votes
3 answers

Non-end points of Cantor ternary set

I have studied the Cantor Ternary Set $C$ . We know that the Cantor ternary set is uncountable. Take the set $A$ as the set of all end points of the open removed segments. That is, $A=\{0,\frac{1}{3},\frac{2 }{3},\frac{1}{9},\frac{2}{9}....\}$. Now…
6
votes
0 answers

$\{0,1\}$-valued continuous functions on the Cantor set

Let $P$ be the ternary Cantor set. I need to determine all continuous functions $f:P\to \mathbb{F}_2$ where $\mathbb{F}_2=\{0,1\}$ is the finite field with two elements. We know that $P$ is homeomorphic to the infinite product…
Qurultay
  • 5,224
4
votes
1 answer

Show that the Cantor set is self-similar

Let $A,B\in\mathbb{R}$ be two sets and $\lambda \in\mathbb{R}$ a scalar. We define the following operations: $$A+B\triangleq \{a+b \mid a\in A, b\in B\}$$ $$\lambda A \triangleq \{\lambda a \mid a\in A \}$$ We define a sets sequence $C_0 ,…
Yes
  • 556
3
votes
3 answers

Definition of the Cantor Set

The Cantor set is usually defined in the following way: Let $A_1 = [0, 1]$ and \begin{equation} A_n = A_{n-1} \setminus \bigcup_{k=1}^\infty \left( \frac{1 + 3k}{3^n}, \frac{2 + 3k}{3^n} \right) \textrm{for}\ n > 1 \textrm{.} \end{equation} Then,…
groupoid
  • 362
3
votes
2 answers

How to derive closed formulas of Cantor set?

The Cantor set $\mathcal{C}$ is defined as follows: $$\mathcal{C}:=\bigcap_{n=0}^{\infty}C_n$$ where $C_0=[0,1]$ and $C_{n+1} = \dfrac{C_n}{3} \bigcup\left(\dfrac{2}{3}+\dfrac{C_n}{3}\right)$. From Wikiwand's page, The explicit formulas of Cantor…
Akira
  • 17,367
3
votes
0 answers

Function on Cantor set

Let $C$ is a classical Cantor set. Can we find a number $\alpha>1$ and non-constant function $f: C\to \mathbb{R}$, such that $$|f(x)-f(y)|\le 2000|x-y|^\alpha, \ \forall x,y\in C.$$. It will be great if someone give me a tip.
2
votes
2 answers

Is $π/9$ an element of Cantor set on $[0,1]$?

I know how to show that, for example $1/4$ is an element of the Cantor set using tertiary expansion but how do you use this method for an irrational number?
2
votes
1 answer

Proof that the set Gamma is the Cantor Middle-thirds Set

Let $g : \mathbb{R} \rightarrow \mathbb{R}$ be defined by $ g(x) = \left\{ \begin{array}{ll} 3x & \mbox{if } x \leq\frac{1}{2} \\ 3-3x & \mbox{if } x>\frac{1}{2} \end{array} \right. $ Show that the set $\Gamma=\{x\in[0,1] \mid g^n(x)\in[0,1]…
1
vote
2 answers

Cantor theorem use

I decided to use Cantor's theorem to demonstrate by contradiction but I'm not entirely sure if what I did is correct (since I had a lot of trouble understanding it). Can you tell me if what I did is correct? My answer is the following: "Assume it…
1
vote
1 answer

Cantor Function

Hello I have an exercise to do but I’m stuck on a few questions. The statement is as follows : Consider the Cantor function f: [0,1] —> [0,1] With $f(x) = \sum_{j=1}^{N(x)} \frac{1}{2^j} 1(x_j \ge 1) $. a) Calculate the derivative f’(x) of the…
1
vote
1 answer

Generalized Cantor set vrs Smith–Volterra–Cantor set Folland

In Folland 1.5, the conversation on Cantor sets comes up. He then describes the generalized Cantor set: Given $\{a_j\}\subset (0,1)$ let $K_0=[0,1]$, $K_1$ be $K_0$ minus the middle $a_1$th interval, and let $K_j$ be $K_{j-1}$ minus the middle…
1
vote
0 answers

Irrational numbers in the set of real numbers: Cantor set

I am writing my thesis on quasi-periodic oscillations, which are signals containing two frequencies (let's leave it by that for now) with an incommensurable (irrational) ratio. However, I am a trained engineer and need a mathematical sharpening of…
SimonB
  • 11
1
vote
1 answer

Why is the Cantor set not defined by a limit?

The Cantor set, as showed in books and Wikipedia, is defined in terms of $C_k$, the finite Cantor set of level $k$: $$ \mathcal{C} = \bigcap_{k=1}^\infty C_k $$ But after intersection only the "last" remains, so, why not to define it by a limit? …
Peter Krauss
  • 163
  • 8
1
vote
2 answers

How to prove this closed formula for Cantor set?

Let $C_0=[0,1]$ and $C_{n+1} = \dfrac{C_n}{3} \bigcup\left(\dfrac{2}{3}+\dfrac{C_n}{3}\right)$. Theorem: $$C_n=\bigcap_{m=0}^{n}\bigcup_{k=0}^{\left\lfloor \frac{3^{m}}{2}\right\rfloor}\left[\frac{2k}{3^m},\frac{2k+1}{3^m}\right]$$ I have tried to…
Akira
  • 17,367
1
vote
2 answers

$1/5^n$ middle Cantor set

Form a sequence $(En)_{n\ge0}$ of subsets of $R$ as follows: $E_{0} = [0, 1]$; $E_{1}$ is obtained from $E_{0}$ by removing the open middle interval of length $1/5$, i.e. $E_{1} = [0,2/5]∪[3/5, 1]$; $E_2$ is obtained by removing the open middle…
1
2 3