Dunce hat (topology)

Last updated
To get a dunce hat, take a solid triangle and successively glue together all three sides with the indicated orientation. DunceHatSpace.png
To get a dunce hat, take a solid triangle and successively glue together all three sides with the indicated orientation.

In topology, the dunce hat is a compact topological space formed by taking a solid triangle and gluing all three sides together, with the orientation of one side reversed. Simply gluing two sides oriented in the opposite direction would yield a cone much like the dunce cap, but the gluing of the third side results in identifying the base of the cap with a line joining the base to the point.

Contents

Name

The name is due to E. C. Zeeman, who observed that any contractible 2-complex (such as the dunce hat) after taking the Cartesian product with the closed unit interval seemed to be collapsible. This observation became known as the Zeeman conjecture and was shown by Zeeman to imply the Poincaré conjecture.

Properties

The dunce hat is contractible, but not collapsible. Contractibility can be easily seen by noting that the dunce hat embeds in the 3-ball and the 3-ball deformation retracts onto the dunce hat. Alternatively, note that the dunce hat is the CW-complex obtained by gluing the boundary of a 2-cell onto the circle. The gluing map is homotopic to the identity map on the circle and so the complex is homotopy equivalent to the disc. By contrast, it is not collapsible because it does not have a free face.

Dunce hat Folding. The blue hole is only for better view: it may be filled by a spherical cap. The (green) triangle border folds on a circle. Dunce hat animated.gif
Dunce hat Folding. The blue hole is only for better view: it may be filled by a spherical cap. The (green) triangle border folds on a circle.

See also

Related Research Articles

In the mathematical field of geometric topology, the Poincaré conjecture is a theorem about the characterization of the 3-sphere, which is the hypersphere that bounds the unit ball in four-dimensional space.

<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.

<span class="mw-page-title-main">3-sphere</span> Mathematical object

In mathematics, a 3-sphere, glome or hypersphere is a higher-dimensional analogue of a sphere. It may be embedded in 4-dimensional Euclidean space as the set of points equidistant from a fixed central point. Analogous to how the boundary of a ball in three dimensions is an ordinary sphere, the boundary of a ball in four dimensions is a 3-sphere. A 3-sphere is an example of a 3-manifold and an n-sphere.

In mathematics, homology is a general way of associating a sequence of algebraic objects, such as abelian groups or modules, with other mathematical objects such as topological spaces. Homology groups were originally defined in algebraic topology. Similar constructions are available in a wide variety of other contexts, such as abstract algebra, groups, Lie algebras, Galois theory, and algebraic geometry.

A CW complex is a kind of a topological space that is particularly important in algebraic topology. It was introduced by J. H. C. Whitehead to meet the needs of homotopy theory. This class of spaces is broader and has some better categorical properties than simplicial complexes, but still retains a combinatorial nature that allows for computation. The C stands for "closure-finite", and the W for "weak" topology.

<span class="mw-page-title-main">Discrete geometry</span> Branch of geometry that studies combinatorial properties and constructive methods

Discrete geometry and combinatorial geometry are branches of geometry that study combinatorial properties and constructive methods of discrete geometric objects. Most questions in discrete geometry involve finite or discrete sets of basic geometric objects, such as points, lines, planes, circles, spheres, polygons, and so forth. The subject focuses on the combinatorial properties of these objects, such as how they intersect one another, or how they may be arranged to cover a larger object.

<span class="mw-page-title-main">Christopher Zeeman</span> British mathematician (1925–2016)

Sir Erik Christopher Zeeman FRS, was a British mathematician, known for his work in geometric topology and singularity theory.

R. H. Bing was an American mathematician who worked mainly in the areas of geometric topology and continuum theory. His father was named Rupert Henry, but Bing's mother thought that "Rupert Henry" was too British for Texas. She compromised by abbreviating it to R. H. Consequently, R. H. does not stand for a first or middle name.

<span class="mw-page-title-main">3-manifold</span> Mathematical space

In mathematics, a 3-manifold is a topological space that locally looks like a three-dimensional Euclidean space. A 3-manifold can be thought of as a possible shape of the universe. Just as a sphere looks like a plane to a small enough observer, all 3-manifolds look like our universe does to a small enough observer. This is made more precise in the definition below.

In mathematics, more precisely in topology and differential geometry, a hyperbolic 3-manifold is a manifold of dimension 3 equipped with a hyperbolic metric, that is a Riemannian metric which has all its sectional curvatures equal to −1. It is generally required that this metric be also complete: in this case the manifold can be realised as a quotient of the 3-dimensional hyperbolic space by a discrete group of isometries.

In mathematics, an adjunction space (or attaching space) is a common construction in topology where one topological space is attached or "glued" onto another. Specifically, let X and Y be topological spaces, and let A be a subspace of Y. Let f : AX be a continuous map (called the attaching map). One forms the adjunction space XfY (sometimes also written as X +fY) by taking the disjoint union of X and Y and identifying a with f(a) for all a in A. Formally,

<span class="mw-page-title-main">Suspension (topology)</span>

In topology, a branch of mathematics, the suspension of a topological space X is intuitively obtained by stretching X into a cylinder and then collapsing both end faces to points. One views X as "suspended" between these end points. The suspension of X is denoted by SX or susp(X).

<span class="mw-page-title-main">Contractible space</span>

In mathematics, a topological space X is contractible if the identity map on X is null-homotopic, i.e. if it is homotopic to some constant map. Intuitively, a contractible space is one that can be continuously shrunk to a point within that space.

<span class="mw-page-title-main">Manifold</span> Topological space that locally resembles Euclidean space

In mathematics, a manifold is a topological space that locally resembles Euclidean space near each point. More precisely, an -dimensional manifold, or -manifold for short, is a topological space with the property that each point has a neighborhood that is homeomorphic to an open subset of -dimensional Euclidean space.

<span class="mw-page-title-main">House with two rooms</span>

House with two rooms or Bing's house is a particular contractible, 2-dimensional simplicial complex that is not collapsible. The name was given by R. H. Bing.

<span class="mw-page-title-main">Spacetime topology</span>

Spacetime topology is the topological structure of spacetime, a topic studied primarily in general relativity. This physical theory models gravitation as the curvature of a four dimensional Lorentzian manifold and the concepts of topology thus become important in analysing local as well as global aspects of spacetime. The study of spacetime topology is especially important in physical cosmology.

In topology, a branch of mathematics, a collapse reduces a simplicial complex to a homotopy-equivalent subcomplex. Collapses, like CW complexes themselves, were invented by J. H. C. Whitehead. Collapses find applications in computational homology.

In mathematics, the Zeeman conjecture or Zeeman's collapsibility conjecture asks whether given a finite contractible 2-dimensional CW complex , the space is collapsible.

This is a glossary of properties and concepts in algebraic topology in mathematics.

References