Cantor tree surface

Last updated

The bark of a fractal tree, splitting in two directions at each branch point, forms a Cantor tree surface. Drilling a hole through the tree at each branch point would produce a blooming Cantor tree. Fractal-tree.png
The bark of a fractal tree, splitting in two directions at each branch point, forms a Cantor tree surface. Drilling a hole through the tree at each branch point would produce a blooming Cantor tree.
An Alexander horned sphere. Its non-singular points form a Cantor tree surface. Alexander horned sphere.png
An Alexander horned sphere. Its non-singular points form a Cantor tree surface.

In dynamical systems, the Cantor tree is an infinite-genus surface homeomorphic to a sphere with a Cantor set removed. The blooming Cantor tree is a Cantor tree with an infinite number of handles added in such a way that every end is a limit of handles. [1] [2]

See also

Related Research Articles

In mathematics, specifically set theory, the continuum hypothesis is a hypothesis about the possible sizes of infinite sets. It states:

"There is no set whose cardinality is strictly between that of the integers and the real numbers."

In mathematics, the Cantor set is a set of points lying on a single line segment that has a number of unintuitive properties. It was discovered in 1874 by Henry John Stephen Smith and mentioned by German mathematician Georg Cantor in 1883.

<span class="mw-page-title-main">Cardinality</span> Definition of the number of elements in a set

In mathematics, the cardinality of a set is a measure of the number of elements of the set. For example, the set contains 3 elements, and therefore has a cardinality of 3. Beginning in the late 19th century, this concept was generalized to infinite sets, which allows one to distinguish between different types of infinity, and to perform arithmetic on them. There are two approaches to cardinality: one which compares sets directly using bijections and injections, and another which uses cardinal numbers. The cardinality of a set may also be called its size, when no confusion with other notions of size is possible.

<span class="mw-page-title-main">Discrete mathematics</span> Study of discrete mathematical structures

Discrete mathematics is the study of mathematical structures that can be considered "discrete" rather than "continuous". Objects studied in discrete mathematics include integers, graphs, and statements in logic. By contrast, discrete mathematics excludes topics in "continuous mathematics" such as real numbers, calculus or Euclidean geometry. Discrete objects can often be enumerated by integers; more formally, discrete mathematics has been characterized as the branch of mathematics dealing with countable sets. However, there is no exact definition of the term "discrete mathematics".

<span class="mw-page-title-main">Georg Cantor</span> German mathematician (1845–1918)

Georg Ferdinand Ludwig Philipp Cantor was a mathematician who played a pivotal role in the creation of set theory, which has become a fundamental theory in mathematics. Cantor established the importance of one-to-one correspondence between the members of two sets, defined infinite and well-ordered sets, and proved that the real numbers are more numerous than the natural numbers. Cantor's method of proof of this theorem implies the existence of an infinity of infinities. He defined the cardinal and ordinal numbers and their arithmetic. Cantor's work is of great philosophical interest, a fact he was well aware of.

<span class="mw-page-title-main">Surface (topology)</span> Two-dimensional manifold

In the part of mathematics referred to as topology, a surface is a two-dimensional manifold. Some surfaces arise as the boundaries of three-dimensional solid figures; for example, the sphere is the boundary of the solid ball. Other surfaces arise as graphs of functions of two variables; see the figure at right. However, surfaces can also be defined abstractly, without reference to any ambient space. For example, the Klein bottle is a surface that cannot be embedded in three-dimensional Euclidean space.

In the philosophy of mathematics, the abstraction of actual infinity, also called completed infinity, involves the acceptance of infinite entities as given, actual and completed objects. These might include the set of natural numbers, extended real numbers, transfinite numbers, or even an infinite sequence of rational numbers. Actual infinity is to be contrasted with potential infinity, in which a non-terminating process produces a sequence with no last element, and where each individual result is finite and is achieved in a finite number of steps. This type of process occurs in mathematics, for instance, in standard formalizations of the notions of an infinite series, infinite product, or limit.

<span class="mw-page-title-main">Cantor's diagonal argument</span> Proof in set theory

Cantor's diagonal argument is a mathematical proof that there are infinite sets which cannot be put into one-to-one correspondence with the infinite set of natural numbers – informally, that there are sets which in some sense contain more elements than there are positive integers. Such sets are now called uncountable sets, and the size of infinite sets is treated by the theory of cardinal numbers, which Cantor began.

<span class="mw-page-title-main">Infinite set</span> Set that is not a finite set

In set theory, an infinite set is a set that is not a finite set. Infinite sets may be countable or uncountable.

Finitism is a philosophy of mathematics that accepts the existence only of finite mathematical objects. It is best understood in comparison to the mainstream philosophy of mathematics where infinite mathematical objects are accepted as legitimate.

In mathematics, transfinite numbers or infinite numbers are numbers that are "infinite" in the sense that they are larger than all finite numbers. These include the transfinite cardinals, which are cardinal numbers used to quantify the size of infinite sets, and the transfinite ordinals, which are ordinal numbers used to provide an ordering of infinite sets. The term transfinite was coined in 1895 by Georg Cantor, who wished to avoid some of the implications of the word infinite in connection with these objects, which were, nevertheless, not finite. Few contemporary writers share these qualms; it is now accepted usage to refer to transfinite cardinals and ordinals as infinite numbers. Nevertheless, the term transfinite also remains in use.

<span class="mw-page-title-main">Aleph number</span> Infinite cardinal number

In mathematics, particularly in set theory, the aleph numbers are a sequence of numbers used to represent the cardinality of infinite sets that can be well-ordered. They were introduced by the mathematician Georg Cantor and are named after the symbol he used to denote them, the Hebrew letter aleph (ℵ).

In mathematical logic, the theory of infinite sets was first developed by Georg Cantor. Although this work has become a thoroughly standard fixture of classical set theory, it has been criticized in several areas by mathematicians and philosophers.

In set theory, Cantor's paradox states that there is no set of all cardinalities. This is derived from the theorem that there is no greatest cardinal number. In informal terms, the paradox is that the collection of all possible "infinite sizes" is not only infinite, but so infinitely large that its own infinite size cannot be any of the infinite sizes in the collection. The difficulty is handled in axiomatic set theory by declaring that this collection is not a set but a proper class; in von Neumann–Bernays–Gödel set theory it follows from this and the axiom of limitation of size that this proper class must be in bijection with the class of all sets. Thus, not only are there infinitely many infinities, but this infinity is larger than any of the infinities it enumerates.

In 4-dimensional topology, a branch of mathematics, a Casson handle is a 4-dimensional topological 2-handle constructed by an infinite procedure. They are named for Andrew Casson, who introduced them in about 1973. They were originally called "flexible handles" by Casson himself, and Michael Freedman introduced the name "Casson handle" by which they are known today. In that work he showed that Casson handles are topological 2-handles, and used this to classify simply connected compact topological 4-manifolds.

<i>The Story of Maths</i> British TV series or programme

The Story of Maths is a four-part British television series outlining aspects of the history of mathematics. It was a co-production between the Open University and the BBC and aired in October 2008 on BBC Four. The material was written and presented by University of Oxford professor Marcus du Sautoy. The consultants were the Open University academics Robin Wilson, professor Jeremy Gray and June Barrow-Green. Kim Duke is credited as series producer.

<span class="mw-page-title-main">Infinity</span> Mathematical concept

Infinity is something which is boundless, endless, or larger than any natural number. It is often denoted by the infinity symbol .

<span class="mw-page-title-main">Cantor's first set theory article</span> First article on transfinite set theory

Cantor's first set theory article contains Georg Cantor's first theorems of transfinite set theory, which studies infinite sets and their properties. One of these theorems is his "revolutionary discovery" that the set of all real numbers is uncountably, rather than countably, infinite. This theorem is proved using Cantor's first uncountability proof, which differs from the more familiar proof using his diagonal argument. The title of the article, "On a Property of the Collection of All Real Algebraic Numbers", refers to its first theorem: the set of real algebraic numbers is countable. Cantor's article was published in 1874. In 1879, he modified his uncountability proof by using the topological notion of a set being dense in an interval.

<span class="mw-page-title-main">Loch Ness monster surface</span> Infinite manifold

In mathematics, the Loch Ness monster is a surface with infinite genus but only one end. It appeared named this way already in a 1981 article by Sullivan & Phillips (1981). The surface can be constructed by starting with a plane and adding an infinite number of handles.

<span class="mw-page-title-main">Jacob's ladder surface</span> Infinite mathematical manifold

In mathematics, Jacob's ladder is a surface with infinite genus and two ends. It was named after Jacob's ladder by Étienne Ghys, because the surface can be constructed as the boundary of a ladder that is infinitely long in both directions.

References

  1. Ghys, Étienne (1995), "Topologie des feuilles génériques", Annals of Mathematics , Second Series (in French), 141 (2): 387–422, doi:10.2307/2118526, ISSN   0003-486X, MR   1324140
  2. Walczak, Paweł (2004), Dynamics of foliations, groups and pseudogroups, Instytut Matematyczny Polskiej Akademii Nauk. Monografie Matematyczne (New Series) [Mathematics Institute of the Polish Academy of Sciences. Mathematical Monographs (New Series)], vol. 64, Birkhäuser Verlag, p.  210, ISBN   978-3-7643-7091-6, MR   2056374