Zeeman Conjecture
In mathematics, the Zeeman conjecture or Zeeman's collapsibility conjecture asks whether given a finite contractible 2-dimensional CW complex K, the space K\times ,1/math> is collapsible. The conjecture, due to Christopher Zeeman, implies the Poincaré conjecture 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. Originally conjectured ... and the Andrews–Curtis conjecture. References * Conjectures Unsolved problems in geometry Geometric topology {{topology-stub ...
[...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  

Contractible
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. Properties A contractible space is precisely one with the homotopy type of a point. It follows that all the homotopy groups of a contractible space are trivial. Therefore any space with a nontrivial homotopy group cannot be contractible. Similarly, since singular homology is a homotopy invariant, the reduced homology groups of a contractible space are all trivial. For a topological space ''X'' the following are all equivalent: *''X'' is contractible (i.e. the identity map is null-homotopic). *''X'' is homotopy equivalent to a one-point space. *''X'' deformation retracts onto a point. (However, there exist contractible spaces which do not ''strongly'' deformation retract to a point.) *For any space ''Y'', any two maps ''f'',''g' ...
[...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]  

Collapse (topology)
In topology, a branch of mathematics, a collapse reduces a simplicial complex (or more generally, a CW complex) to a homotopy-equivalent subcomplex. Collapses, like CW complexes themselves, were invented by J. H. C. Whitehead. Collapses find applications in computational homology. Definition Let K be an abstract simplicial complex. Suppose that \tau, \sigma are two simplices of K such that the following two conditions are satisfied: # \tau \subseteq \sigma, in particular \dim \tau < \dim \sigma; # $\backslash sigma$ is a maximal face of $K$ and no other maximal face of $K$ contains $\backslash tau,$ then $\backslash tau$ is called a free face. A simplicial collapse of $K$ is the removal of all simplices $\backslash gamma$ such that $\backslash tau\; \backslash subseteq\; \backslash gamma\; \backslash subseteq\; \backslash sigma,$ where $\backslash tau$ is a free face. If additionally we have $\backslash dim\; \backslash tau\; =\; \backslash dim\; \backslash sigma\; -\; 1,$ then this is called an elementary collaps ...
[...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  

Christopher Zeeman
Sir Erik Christopher Zeeman FRS (4 February 1925 – 13 February 2016), was a British mathematician, known for his work in geometric topology and singularity theory. Overview Zeeman's main contributions to mathematics were in topology, particularly in knot theory, the piecewise linear category, and dynamical systems. His 1955 thesis at the University of Cambridge described a new theory termed "dihomology", an algebraic structure associated to a topological space, containing both homology and cohomology, introducing what is now known as the Zeeman spectral sequence. This was studied by Clint McCrory in his 1972 Brandeis thesis following a suggestion of Dennis Sullivan that one make "a general study of the Zeeman spectral sequence to see how singularities in a space perturb Poincaré duality". This in turn led to the discovery of intersection homology by Robert MacPherson and Mark Goresky at Brown University where McCrory was appointed in 1974. From 1976 to 1977 he was ...
[...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  

Poincaré Conjecture
In the mathematics, mathematical field of geometric topology, the Poincaré conjecture (, , ) is a theorem about the Characterization (mathematics), characterization of the 3-sphere, which is the hypersphere that bounds the unit ball in four-dimensional space. Originally conjectured by Henri Poincaré in 1904, the Grigori Perelman's theorem concerns spaces that locally look like ordinary Euclidean space, three-dimensional space but which are finite in extent. Poincaré hypothesized that if such a space has the additional property that each path (topology), loop in the space can be continuously tightened to a point, then it is necessarily a 3-sphere, three-dimensional sphere. Attempts to resolve the conjecture drove much progress in the field of geometric topology during the 20th century. The Perelman's proof built upon Richard S. Hamilton's ideas of using the Ricci flow to solve the problem. By developing a number of breakthrough new techniques and results in the theory of Ricci ...
[...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  

Andrews–Curtis Conjecture
In mathematics, the Andrews–Curtis conjecture states that every balanced presentation of the trivial group can be transformed into a trivial presentation by a sequence of Nielsen transformations on the relators together with conjugations of relators, named after James J. Andrews and Morton L. Curtis who proposed it in 1965. It is difficult to verify whether the conjecture holds for a given balanced presentation or not. It is widely believed that the Andrews–Curtis conjecture is false. While there are no counterexamples known, there are numerous potential counterexamples. It is known that the Zeeman conjecture on collapsibility In topology, a branch of mathematics, a collapse reduces a simplicial complex (or more generally, a CW complex) to a homotopy-equivalent subcomplex. Collapses, like CW complexes themselves, were invented by J. H. C. Whitehead. Collapses find appli ... implies the Andrews–Curtis conjecture. References * * Combinatorial group theory Conjectures ...
[...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  

Conjectures
In mathematics, a conjecture is a conclusion or a proposition that is proffered on a tentative basis without proof. Some conjectures, such as the Riemann hypothesis (still a conjecture) or Fermat's Last Theorem (a conjecture until proven in 1995 by Andrew Wiles), have shaped much of mathematical history as new areas of mathematics are developed in order to prove them. Important examples Fermat's Last Theorem In number theory, Fermat's Last Theorem (sometimes called Fermat's conjecture, especially in older texts) states that no three positive integers a, ''b'', and ''c'' can satisfy the equation ''a^n + b^n = c^n'' for any integer value of ''n'' greater than two. This theorem was first conjectured by Pierre de Fermat in 1637 in the margin of a copy of '' Arithmetica'', where he claimed that he had a proof that was too large to fit in the margin. The first successful proof was released in 1994 by Andrew Wiles, and formally published in 1995, after 358 years of effort by mathe ...
[...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  

Unsolved Problems In Geometry
Unsolved may refer to: * ''Unsolved'' (album), a 2000 album by the American band Karate * ''Unsolved'' (UK TV programme), a 2004–2006 British crime documentary television programme that aired on STV in Scotland * ''Unsolved'' (South Korean TV series), a 2010 South Korean television series * ''Unsolved'' (U.S. TV series), a 2018 American television series *'' Unsolved: The Boy Who Disappeared'', a 2016 online series by BBC Three *''The Unsolved'', a 1997 Japanese video game *''BuzzFeed Unsolved'', a show by BuzzFeed discussing unsolved crimes and haunted places See also *Solved (other) *''Unsolved Mysteries ''Unsolved Mysteries'' is an American mystery documentary television show, created by John Cosgrove and Terry Dunn Meurer. Documenting cold cases and paranormal phenomena, it began as a series of seven specials, presented by Raymond Burr, Ka ...