# Cantor Set - Perfect and Totally Disconnected

• The5ifthColumn
In summary, the Cantor set is a subset of the real numbers that is both perfect and totally disconnected.
The5ifthColumn
I am getting ready for grad school in the fall, and re-teaching myself a bunch of undergraduate subjects. Right now I am reading up on the topology of the real number line. I have come across a fact that is really difficult for me to wrap my head around:

The Cantor set is both perfect, and totally disconnected.

I am aware that this is the only set (up to homeomorphism) that has both of these properties simultaneously. I guess my question is:

Can someone explain to me how it is possible for a set to be both Perfect and totally-disconnected?

I am not looking for a proof. I read and understand the proofs, I just can't believe what the logic is telling me. Instead, I am looking for more of a informal explanation. How can a set be closed with no isolation points, but at the same time be totally disconnected!?

The5ifthColumn said:
[ How can a set be closed with no isolation points, but at the same time be totally disconnected!?

Not sure what intuition you are looking for.

The Cantor set is the complement of an open set and so it closed. Since it has measure zero it can not contain any connected subsets other than points since all of the connected subsets of the line are intervals.I guess the hard part is visualizing why every point in it is a limit point.

What about the Cantor sets of positive measure? For instance, instead of removing successive middle thirds, remove middle fifths.

Last edited:
lavinia said:
it can not contain any connected subsets other than points

Wouldn't this mean that the points are isolated?

lavinia said:
I guess the hard part is visualizing why every point in it is a limit point.

This is exactly what I mean! The problem seems to be if you assume it is totally disconnected, and you assume it's closed, it's hard to imagine it has no isolation points. (Which is the point you were making)

On the other hand, if you assume it is totally disconnected, and then assume each point is a limit point, then it is hard to imagine that it is closed. Given two points in the Cantor set, wouldn't there need to be some point in between that is not in the Cantor set in order to write it as the union of two disconnected sets!? But then, if each point is limit point, then there are limit points that are not contained the set, so it can't be closed!

Take the rational numbers for example. It is easy enough to see they are totally disconnected, and each point is a limit point, but the set is certainly not closed, since each irrational number is a limit point as well.

The5ifthColumn said:
Wouldn't this mean that the points are isolated?

No for instance the sequence n-1/n together with the number, 1 is totally disconnected but 1 is not isolated.

lavinia said:
No for instance the sequence n-1/n together with the number, 1 is totally disconnected but 1 is not isolated.

But each of the numbers here is not a limit point, so there is always an irrational number you can use as the endpoints of the separated sets.

I appreciate the explanations, I guess I am still confused though. Hopefully, I can wrap my head around this once I become more familiar with other properties of the real numbers. The Cantor set is definitely a very interesting and counter-intuitive subset of the real numbers.

The5ifthColumn said:
But each of the numbers here is not a limit point, so there is always an irrational number you can use as the endpoints of the separated sets.

I appreciate the explanations, I guess I am still confused though. Hopefully, I can wrap my head around this once I become more familiar with other properties of the real numbers. The Cantor set is definitely a very interesting and counter-intuitive subset of the real numbers.

All I was pointing out is that the number 1 is no isolated from the other points in the sequence. Any open interval around it contains points in the sequence. It does not matter how narrow the interval is. The other points are isolated.

But the example of the number 1 in this sequence is exactly what happens for every point in the Cantor set. each point in the Cantor set is like the number 1 in this example.

lavinia said:
But the example of the number 1 in this sequence is exactly what happens for every point in the Cantor set. each point in the Cantor set is like the number 1 in this example.

OK, that makes it a little more accessible. Thanks!

here are some examples of points in the Cantor set that are not isolated.

Write the Cantor set in base 3. Any trecimal consisting completely of zeros and twos is in the Cantor set. Further any trecimal with a 1 but all zeros afterwards is in the Cantor set.

Examples .1000000000 This is the left end point of the first middle third

Any interval around this point contains infinitely many points in the sequence .02 .022

... .0222222222222 n times. All of the points in the sequence lie in the Cantor set.

- take any point that has a trecimal expansion with infinitely many 2's in it. Then any neighborhood of it contains infinitely many points in the sequence that takes the first n digits of the number and is all zero afterwards.

That's a great way to visualize the Cantor set. I would have never thought of writing in in base 3 - but it makes so much sense to do so once you pointed it out

## 1. What is a Cantor Set?

A Cantor Set is a mathematical set that is created by repeatedly removing the middle third of line segments. It is named after German mathematician Georg Cantor.

## 2. What makes the Cantor Set perfect?

The Cantor Set is considered perfect because it is uncountable, meaning it contains an infinite number of points, and it is also nowhere dense, meaning there are no intervals within the set. It is also self-similar, as each removed segment creates smaller copies of the original set.

## 3. How is the Cantor Set totally disconnected?

The Cantor Set is considered totally disconnected because it contains no intervals, or connected subsets. This means that every point in the set is isolated and has no connection to any other point, making it impossible to draw a line segment between any two points.

## 4. What are some real-world applications of the Cantor Set?

The Cantor Set has been used in various fields such as physics, computer science, and engineering. It has been used to model fractal structures, create self-similar networks, and analyze the behavior of chaotic systems.

## 5. How is the Cantor Set related to fractals?

Fractals are geometric objects that exhibit self-similarity at various scales. The Cantor Set is a classic example of a fractal, as it contains smaller copies of itself as it is repeatedly divided. It has also been used to demonstrate the concept of fractal dimension, which measures the complexity of a fractal structure.

Replies
23
Views
7K
Replies
2
Views
1K
Replies
1
Views
2K
Replies
1
Views
3K
Replies
9
Views
5K
Replies
1
Views
2K
Replies
2
Views
1K
Replies
4
Views
2K
Replies
4
Views
2K
Replies
5
Views
2K