Cantor set

From Citizendium
Revision as of 12:34, 4 January 2009 by imported>Richard Pinch (→‎Metric properties: update link)
Jump to navigation Jump to search
This article is a stub and thus not approved.
Main Article
Discussion
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
 
This editable Main Article is under development and subject to a disclaimer.

The Cantor set is a topological space which may be obtained as a fractal generated by removing the middle third of a line segment on each iteration: as such it has a Hausdorff dimension of ln(2)/ln(3), which is approximately 0.63.

Topological properties

The Cantor set is homeomorphic to a product of countably many copies of a two-point space with the discrete metric. It is thus compact. It may be realised as the space of binary sequences

in which the open sets are generated by the cylinders, of the form

where s is a given binary sequence of length k.

The Cantor set is uncountable, compact, second countable, dense-in-itself, totally disconnected.

Metric properties

The topology on the countable product of the two-point space D is induced by the metric

where is the discrete metric on D.

The Cantor set is a complete metric space with respect to d.

Embedding in the unit interval

The Cantor set may be embedded in the unit interval by the map

which is a homeomorphism onto the subset of the unit interval obtained by iteratively deleting the middle third of each interval.