Cellular Decomposition
In geometric topology, a cellular decomposition ''G'' of a manifold ''M'' is a decomposition of ''M'' as the disjoint union of cells (spaces homeomorphic to ''n''-balls ''Bn''). The quotient space ''M''/''G'' has points that correspond to the cells of the decomposition. There is a natural map from ''M'' to ''M''/''G'', which is given the quotient topology. A fundamental question is whether ''M'' is homeomorphic to ''M''/''G''. Bing's dogbone space is an example with ''M'' (equal to R3) not homeomorphic to ''M''/''G''. Definition Cellular decomposition of X is an open cover \mathcal with a function \text:\mathcal\to \mathbb for which: * Cells are disjoint: for any distinct e,e'\in\mathcal, e\cap e' = \varnothing. * No set gets mapped to a negative number: \text^(\) = \varnothing. * Cells look like balls: For any n\in\mathbb N_0 and for any e\in \text^(n) there exists a continuous map \phi:B^n\to X that is an isomorphism \textB^n\cong e and also \phi(\partial B^n) \subseteq \cup \t ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Geometric Topology
In mathematics, geometric topology is the study of manifolds and maps between them, particularly embeddings of one manifold into another. History Geometric topology as an area distinct from algebraic topology may be said to have originated in the 1935 classification of lens spaces by Reidemeister torsion, which required distinguishing spaces that are homotopy equivalent but not homeomorphic. This was the origin of ''simple'' homotopy theory. The use of the term geometric topology to describe these seems to have originated rather recently. Differences between low-dimensional and high-dimensional topology Manifolds differ radically in behavior in high and low dimension. High-dimensional topology refers to manifolds of dimension 5 and above, or in relative terms, embeddings in codimension 3 and above. Low-dimensional topology is concerned with questions in dimensions up to 4, or embeddings in codimension up to 2. Dimension 4 is special, in that in some respects (topologica ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Manifold
In mathematics, a manifold is a topological space that locally resembles Euclidean space near each point. More precisely, an n-dimensional manifold, or ''n-manifold'' for short, is a topological space with the property that each point has a neighborhood that is homeomorphic to an open subset of n-dimensional Euclidean space. One-dimensional manifolds include lines and circles, but not lemniscates. Two-dimensional manifolds are also called surfaces. Examples include the plane, the sphere, and the torus, and also the Klein bottle and real projective plane. The concept of a manifold is central to many parts of geometry and modern mathematical physics because it allows complicated structures to be described in terms of well-understood topological properties of simpler spaces. Manifolds naturally arise as solution sets of systems of equations and as graphs of functions. The concept has applications in computer-graphics given the need to associate pictures with coordinates (e.g ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Quotient Space (topology)
In topology and related areas of mathematics, the quotient space of a topological space under a given equivalence relation is a new topological space constructed by endowing the quotient set of the original topological space with the quotient topology, that is, with the finest topology that makes continuous the canonical projection map (the function that maps points to their equivalence classes). In other words, a subset of a quotient space is open if and only if its preimage under the canonical projection map is open in the original topological space. Intuitively speaking, the points of each equivalence class are or "glued together" for forming a new topological space. For example, identifying the points of a sphere that belong to the same diameter produces the projective plane as a quotient space. Definition Let \left(X, \tau_X\right) be a topological space, and let \,\sim\, be an equivalence relation on X. The quotient set, Y = X / \sim\, is the set of equivalence classes o ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Quotient Topology
In topology and related areas of mathematics, the quotient space of a topological space under a given equivalence relation is a new topological space constructed by endowing the quotient set of the original topological space with the quotient topology, that is, with the finest topology that makes continuous the canonical projection map (the function that maps points to their equivalence classes). In other words, a subset of a quotient space is open if and only if its preimage under the canonical projection map is open in the original topological space. Intuitively speaking, the points of each equivalence class are or "glued together" for forming a new topological space. For example, identifying the points of a sphere that belong to the same diameter produces the projective plane as a quotient space. Definition Let \left(X, \tau_X\right) be a topological space, and let \,\sim\, be an equivalence relation on X. The quotient set, Y = X / \sim\, is the set of equivalence clas ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Dogbone Space
In geometric topology, the dogbone space, constructed by , is a quotient space of three-dimensional Euclidean space \R^3 such that all inverse images of points are points or tame arcs, yet it is not homeomorphic to \R^3. The name "dogbone space" refers to a fanciful resemblance between some of the diagrams of genus 2 surfaces in R. H. Bing's paper and a dog bone. showed that the product of the dogbone space with \R^1 is homeomorphic to \R^4. Although the dogbone space is not a manifold, it is a generalized homological manifold and a homotopy manifold. See also * List of topologies * Whitehead manifold, a contractible 3-manifold not homeomorphic to \R^3. References * * *{{Citation , last1=Bing , first1=R. H. , authorlink = R. H. Bing , title=The cartesian product of a certain nonmanifold and a line is E4 , jstor=1970322 , mr=0107228 , year=1959 , journal=Annals of Mathematics The ''Annals of Mathematics'' is a mathematical journal published every two months by ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
CW Complex
A CW complex (also called cellular complex or cell complex) is a kind of a topological space that is particularly important in algebraic topology. It was introduced by J. H. C. Whitehead (open access) 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 (often with a much smaller complex). The ''C'' stands for "closure-finite", and the ''W'' for "weak" topology. Definition CW complex A CW complex is constructed by taking the union of a sequence of topological spaces\emptyset = X_ \subset X_0 \subset X_1 \subset \cdotssuch that each X_k is obtained from X_ by gluing copies of k-cells (e^k_\alpha)_\alpha, each homeomorphic to D^k, to X_ by continuous gluing maps g^k_\alpha: \partial e^k_\alpha \to X_. The maps are also called attaching maps. Each X_k is called the k-skeleton of the complex. The topology of X = \cup_ X_ ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |