|
Elliptization Conjecture
William Thurston's elliptization conjecture states that a closed 3-manifold with finite fundamental group is spherical, i.e. has a Riemannian metric of constant positive sectional curvature. Relation to other conjectures A 3-manifold with a Riemannian metric of constant positive sectional curvature is covered by the 3-sphere, moreover the group of covering transformations are isometries of the 3-sphere. If the original 3-manifold had in fact a trivial fundamental group, then it is homeomorphic to the 3-sphere (via the covering map). Thus, proving the elliptization conjecture would prove the Poincaré conjecture as a corollary. In fact, the elliptization conjecture is logically equivalent to two simpler conjectures: the Poincaré conjecture and the spherical space form conjecture. The elliptization conjecture is a special case of Thurston's geometrization conjecture, which was proved in 2003 by G. Perelman. References For the proof of the conjectures, see the references in the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Geometric Topology
In mathematics, geometric topology is the study of manifolds and Map (mathematics)#Maps as functions, 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, ''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. Dimensio ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Homeomorphic
In mathematics and more specifically in topology, a homeomorphism ( from Greek roots meaning "similar shape", named by Henri Poincaré), also called topological isomorphism, or bicontinuous function, is a bijective and continuous function between topological spaces that has a continuous inverse function. Homeomorphisms are the isomorphisms in the category of topological spaces—that is, they are the mappings that preserve all the topological properties of a given space. Two spaces with a homeomorphism between them are called homeomorphic, and from a topological viewpoint they are the same. Very roughly speaking, a topological space is a geometric object, and a homeomorphism results from a continuous deformation of the object into a new shape. Thus, a square and a circle are homeomorphic to each other, but a sphere and a torus are not. However, this description can be misleading. Some continuous deformations do not produce homeomorphisms, such as the deformation of a li ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Riemannian Geometry
Riemannian geometry is the branch of differential geometry that studies Riemannian manifolds, defined as manifold, smooth manifolds with a ''Riemannian metric'' (an inner product on the tangent space at each point that varies smooth function, smoothly from point to point). This gives, in particular, local notions of angle, arc length, length of curves, surface area and volume. From those, some other global quantities can be derived by integral, integrating local contributions. Riemannian geometry originated with the vision of Bernhard Riemann expressed in his inaugural lecture "" ("On the Hypotheses on which Geometry is Based"). It is a very broad and abstract generalization of the differential geometry of surfaces in Three-dimensional space, R3. Development of Riemannian geometry resulted in synthesis of diverse results concerning the geometry of surfaces and the behavior of geodesics on them, with techniques that can be applied to the study of differentiable manifolds of higher ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Geometrization Conjecture
In mathematics, Thurston's geometrization conjecture (now a theorem) states that each of certain three-dimensional topological spaces has a unique geometric structure that can be associated with it. It is an analogue of the uniformization theorem for two-dimensional surfaces, which states that every simply connected Riemann surface can be given one of three geometries ( Euclidean, spherical, or hyperbolic). In three dimensions, it is not always possible to assign a single geometry to a whole topological space. Instead, the geometrization conjecture states that every closed 3-manifold can be decomposed in a canonical way into pieces that each have one of eight types of geometric structure. The conjecture was proposed by as part of his 24 questions, and implies several other conjectures, such as the Poincaré conjecture and Thurston's elliptization conjecture. Thurston's hyperbolization theorem implies that Haken manifolds satisfy the geometrization conjecture. Thurston ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Spherical Space Form Conjecture
In geometric topology, the spherical space form conjecture (now a theorem) states that a finite group acting on the 3-sphere is conjugate to a group of isometries of the 3-sphere. History The conjecture was posed by Heinz Hopf in 1926 after determining the fundamental groups of three-dimensional spherical space forms as a generalization of the Poincaré conjecture to the non-simply connected case. Status The conjecture is implied by Thurston's geometrization conjecture, which was proven by Grigori Perelman in 2003. The conjecture was independently proven for groups whose actions have fixed points—this special case is known as the Smith conjecture. It is also proven for various groups acting without fixed points, such as cyclic group In abstract algebra, a cyclic group or monogenous group is a Group (mathematics), group, denoted C_n (also frequently \Z_n or Z_n, not to be confused with the commutative ring of P-adic number, -adic numbers), that is Generating set of a group, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Logical Equivalence
In logic and mathematics, statements p and q are said to be logically equivalent if they have the same truth value in every model. The logical equivalence of p and q is sometimes expressed as p \equiv q, p :: q, \textsfpq, or p \iff q, depending on the notation being used. However, these symbols are also used for material equivalence, so proper interpretation would depend on the context. Logical equivalence is different from material equivalence, although the two concepts are intrinsically related. Logical equivalences In logic, many common logical equivalences exist and are often listed as laws or properties. The following tables illustrate some of these. General logical equivalences Logical equivalences involving conditional statements :#p \rightarrow q \equiv \neg p \vee q :#p \rightarrow q \equiv \neg q \rightarrow \neg p :#p \vee q \equiv \neg p \rightarrow q :#p \wedge q \equiv \neg (p \rightarrow \neg q) :#\neg (p \rightarrow q) \equiv p \wedge \neg q :#(p \righta ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Covering Map
In topology, a covering or covering projection is a map between topological spaces that, intuitively, locally acts like a projection of multiple copies of a space onto itself. In particular, coverings are special types of local homeomorphisms. If p : \tilde X \to X is a covering, (\tilde X, p) is said to be a covering space or cover of X, and X is said to be the base of the covering, or simply the base. By abuse of terminology, \tilde X and p may sometimes be called covering spaces as well. Since coverings are local homeomorphisms, a covering space is a special kind of étalé space. Covering spaces first arose in the context of complex analysis (specifically, the technique of analytic continuation), where they were introduced by Riemann as domains on which naturally multivalued complex functions become single-valued. These spaces are now called Riemann surfaces. Covering spaces are an important tool in several areas of mathematics. In modern geometry, covering spaces (o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
3-sphere
In mathematics, a hypersphere or 3-sphere is a 4-dimensional analogue of a sphere, and is the 3-dimensional n-sphere, ''n''-sphere. In 4-dimensional Euclidean space, it is the set of points equidistant from a fixed central point. The interior of a 3-sphere is a 4-ball. It is called a 3-sphere because topologically, the surface itself is 3-dimensional, even though it is curved into the 4th dimension. For example, when traveling on a 3-sphere, you can go north and south, east and west, or along a 3rd set of cardinal directions. This means that a 3-sphere is an example of a 3-manifold. Definition In coordinates, a 3-sphere with center and radius is the set of all points in real, Four-dimensional space, 4-dimensional space () such that :\sum_^3(x_i - C_i)^2 = ( x_0 - C_0 )^2 + ( x_1 - C_1 )^2 + ( x_2 - C_2 )^2+ ( x_3 - C_3 )^2 = r^2. The 3-sphere centered at the origin with radius 1 is called the unit 3-sphere and is usually denoted : :S^3 = \left\. It is often convenient to r ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Riemannian Metric
In differential geometry, a Riemannian manifold is a geometric space on which many geometric notions such as distance, angles, length, volume, and curvature are defined. Euclidean space, the N-sphere, n-sphere, hyperbolic space, and smooth surfaces in three-dimensional space, such as ellipsoids and paraboloids, are all examples of Riemannian manifold, manifolds. Riemannian manifolds are named after German mathematician Bernhard Riemann, who first conceptualized them. Formally, a Riemannian metric (or just a metric) on a smooth manifold is a choice of inner product for each tangent space of the manifold. A Riemannian manifold is a smooth manifold together with a Riemannian metric. The techniques of differential and integral calculus are used to pull geometric data out of the Riemannian metric. For example, integration leads to the Riemannian distance function, whereas differentiation is used to define curvature and parallel transport. Any smooth surface in three-dimensional Eucl ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
William Thurston
William Paul Thurston (October 30, 1946August 21, 2012) was an American mathematician. He was a pioneer in the field of low-dimensional topology and was awarded the Fields Medal in 1982 for his contributions to the study of 3-manifolds. Thurston was a professor of mathematics at Princeton University, University of California, Davis, and Cornell University. He was also a director of the Mathematical Sciences Research Institute. Early life and education William Thurston was born in Washington, D.C., to Margaret Thurston (), a seamstress, and Paul Thurston, an aeronautical engineer. William Thurston suffered from congenital strabismus as a child, causing issues with depth perception. His mother worked with him as a toddler to reconstruct three-dimensional images from two-dimensional ones. He received his bachelor's degree from New College in 1967 as part of its inaugural class. For his undergraduate thesis, he developed an intuitionist foundation for topology. Following th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Spherical 3-manifold
In mathematics, a spherical 3-manifold ''M'' is a 3-manifold of the form :M=S^3/\Gamma where \Gamma is a finite subgroup of O(4) acting freely by rotations on the 3-sphere S^3. All such manifolds are prime, orientable, and closed. Spherical 3-manifolds are sometimes called elliptic 3-manifolds. Properties A special case of the Bonnet–Myers theorem says that every smooth manifold which has a smooth Riemannian metric which is both geodesically complete and of constant positive curvature must be closed and have finite fundamental group. William Thurston's elliptization conjecture, proven by Grigori Perelman using Richard Hamilton's Ricci flow, states a converse: every closed three-dimensional manifold with finite fundamental group has a smooth Riemannian metric of constant positive curvature. (This converse is special to three dimensions.) As such, the spherical three-manifolds are precisely the closed 3-manifolds with finite fundamental group. According to Synge's theorem, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fundamental Group
In the mathematics, mathematical field of algebraic topology, the fundamental group of a topological space is the group (mathematics), group of the equivalence classes under homotopy of the Loop (topology), loops contained in the space. It records information about the basic shape, or holes, of the topological space. The fundamental group is the first and simplest homotopy group. The fundamental group is a homotopy invariant—topological spaces that are homotopy equivalent (or the stronger case of homeomorphic) have Group isomorphism, isomorphic fundamental groups. The fundamental group of a topological space X is denoted by \pi_1(X). Intuition Start with a space (for example, a surface (mathematics), surface), and some point in it, and all the loops both starting and ending at this point—path (topology), paths that start at this point, wander around and eventually return to the starting point. Two loops can be combined in an obvious way: travel along the first loop, then alo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
