Density of [0,1]-C on Thick Cantor Set Construction | Sequence {a_n}

  • Context: Graduate 
  • Thread starter Thread starter hj2000
  • Start date Start date
  • Tags Tags
    Cantor Set
Click For Summary
SUMMARY

The discussion focuses on demonstrating the density of the set [0,1]-C, where C represents the thick Cantor set. The construction of the thick Cantor set involves removing the middle a_n portion of each interval at the n-th stage, contrasting with the traditional middle third removal. A key point raised is the necessity to show that C is nowhere dense, which is essential for proving the density of [0,1]-C. The discussion also touches on the identification of points in Cantor's set using binary sequences.

PREREQUISITES
  • Understanding of Cantor set constructions, specifically thick Cantor sets
  • Familiarity with concepts of density and nowhere dense sets in topology
  • Knowledge of sequences and convergence in real analysis
  • Ability to interpret binary sequences and their relation to Cantor sets
NEXT STEPS
  • Research the properties of nowhere dense sets in topology
  • Study the construction and properties of thick Cantor sets
  • Learn about the relationship between binary sequences and Cantor sets
  • Explore proofs of density in various mathematical contexts
USEFUL FOR

Mathematicians, students of real analysis, and anyone interested in advanced set theory and topology, particularly those studying Cantor sets and their properties.

hj2000
Messages
4
Reaction score
0
Let C be the thick Cantor set. let {a_n} be a sequence of positive numbers.
In the construction of the thick Cantor set, at the n-th stage we remove the middle a_n part of each interval (instead of the middle third as in the ordinary Cantor set).

I actually wanted to show that [0,1]-C is dense (where C is the thick Cantor set). How do I show it?
 
Physics news on Phys.org
I would prove the following. Let [itex]x\in C[/itex] be arbitrary. It suffices to find a sequence [itex]x_n\in [0,1]-C[/itex] so that [itex]x_n\to x[/itex]. Do you know how to identify points of Cantor's set with sequences of 0 and 1? I mean sequences like 0011... 1010... 1101... and so on.
 

Similar threads

  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 9 ·
Replies
9
Views
2K
Replies
6
Views
7K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 1 ·
Replies
1
Views
3K
Replies
3
Views
5K
  • · Replies 23 ·
Replies
23
Views
8K
  • · Replies 1 ·
Replies
1
Views
4K
  • · Replies 2 ·
Replies
2
Views
8K