|
Nielsen–Thurston Classification
In mathematics, Thurston's classification theorem characterizes homeomorphisms of a compact orientable surface. William Thurston's theorem completes the work initiated by . Given a homeomorphism ''f'' : ''S'' → ''S'', there is a map ''g'' isotopic to ''f'' such that at least one of the following holds: * ''g'' is periodic, i.e. some power of ''g'' is the identity; * ''g'' preserves some finite union of disjoint simple closed curves on ''S'' (in this case, ''g'' is called ''reducible''); or * ''g'' is pseudo-Anosov. The case where ''S'' is a torus (i.e., a surface whose genus is one) is handled separately (see torus bundle) and was known before Thurston's work. If the genus of ''S'' is two or greater, then ''S'' is naturally hyperbolic, and the tools of Teichmüller theory become useful. In what follows, we assume ''S'' has genus at least two, as this is the case Thurston considered. (Note, however, that the cases where ''S'' has boundary or is not orie ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many areas of mathematics, which include number theory (the study of numbers), algebra (the study of formulas and related structures), geometry (the study of shapes and spaces that contain them), Mathematical analysis, analysis (the study of continuous changes), and set theory (presently used as a foundation for all mathematics). Mathematics involves the description and manipulation of mathematical object, abstract objects that consist of either abstraction (mathematics), abstractions from nature orin modern mathematicspurely abstract entities that are stipulated to have certain properties, called axioms. Mathematics uses pure reason to proof (mathematics), prove properties of objects, a ''proof'' consisting of a succession of applications of in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Canonical Form
In mathematics and computer science, a canonical, normal, or standard form of a mathematical object is a standard way of presenting that object as a mathematical expression. Often, it is one which provides the simplest representation of an object and allows it to be identified in a unique way. The distinction between "canonical" and "normal" forms varies from subfield to subfield. In most fields, a canonical form specifies a ''unique'' representation for every object, while a normal form simply specifies its form, without the requirement of uniqueness. The canonical form of a positive integer in decimal representation is a finite sequence of digits that does not begin with zero. More generally, for a class of objects on which an equivalence relation is defined, a canonical form consists in the choice of a specific object in each class. For example: *Jordan normal form is a canonical form for matrix similarity. *The row echelon form is a canonical form, when one considers as equ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Kleinian Group
In mathematics, a Kleinian group is a discrete subgroup of the group (mathematics), group of orientation-preserving Isometry, isometries of hyperbolic 3-space . The latter, identifiable with PSL(2,C), , is the quotient group of the 2 by 2 complex number, complex matrix (mathematics), matrices of determinant 1 by their center (group theory), center, which consists of the identity matrix and its product by . has a natural representation as orientation-preserving conformal transformations of the Riemann sphere, and as orientation-preserving conformal transformations of the open unit ball in . The group of Möbius transformation, Möbius transformations is also related as the non-orientation-preserving isometry group of , . So, a Kleinian group can be regarded as a discrete subgroup group action, acting on one of these spaces. History The theory of general Kleinian groups was founded by and , who named them after Felix Klein. The special case of Schottky groups had been studied a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Haken Manifold
In mathematics, a Haken manifold is a compact, P²-irreducible 3-manifold that is sufficiently large, meaning that it contains a properly embedded two-sided incompressible surface. Sometimes one considers only orientable Haken manifolds, in which case a Haken manifold is a compact, orientable, irreducible 3-manifold that contains an orientable, incompressible surface. A 3-manifold finitely covered by a Haken manifold is said to be virtually Haken. The Virtually Haken conjecture asserts that every compact, irreducible 3-manifold with infinite fundamental group is virtually Haken. This conjecture was proven by Ian Agol. Haken manifolds were introduced by . proved that Haken manifolds have a hierarchy, where they can be split up into 3-balls along incompressible surfaces. Haken also showed that there was a finite procedure to find an incompressible surface if the 3-manifold had one. gave an algorithm to determine if a 3-manifold was Haken. Normal surfaces are ubiquitous ... [...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] |
Surface Bundle Over The Circle
In mathematics, a surface bundle over the circle is a fiber bundle with base space a circle, and with fiber space a surface. Therefore the total space has dimension 2 + 1 = 3. In general, fiber bundles over the circle are a special case of mapping tori. Here is the construction: take the Cartesian product of a surface with the unit interval. Glue the two copies of the surface, on the boundary, by some homeomorphism. This homeomorphism is called the monodromy of the surface bundle. It is possible to show that the homeomorphism type of the bundle obtained depends only on the conjugacy class, in the mapping class group, of the gluing homeomorphism chosen. This construction is an important source of examples both in the field of low-dimensional topology as well as in geometric group theory. In the former we find that the geometry of the three-manifold is determined by the dynamics of the homeomorphism. This is the fibered part of William Thurston's geometrization theorem for H ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
JSJ Decomposition
In mathematics, the JSJ decomposition, also known as the toral decomposition, is a topological construct given by the following theorem: : Irreducible orientable closed (i.e., compact and without boundary) 3-manifolds have a unique (up to isotopy) minimal collection of disjointly embedded incompressible tori such that each component of the 3-manifold obtained by cutting along the tori is either atoroidal or Seifert-fibered. The acronym JSJ is for William Jaco, Peter Shalen, and Klaus Johannson. The first two worked together, and the third worked independently. The characteristic submanifold An alternative version of the JSJ decomposition states: :A closed irreducible orientable 3-manifold ''M'' has a submanifold Σ that is a Seifert manifold (possibly disconnected and with boundary) whose complement is atoroidal (and possibly disconnected). The submanifold Σ with the smallest number of boundary tori is called the characteristic submanifold of ''M''; it is unique (u ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Incompressible Surface
In mathematics, an incompressible surface is a surface properly embedded in a 3-manifold, which, in intuitive terms, is a "nontrivial" surface that cannot be simplified. In non-mathematical terms, the surface of a suitcase is compressible, because we could cut the handle and shrink it into the surface. But a Conway sphere (a sphere with four holes) is incompressible, because there are essential parts of a knot or link both inside and out, so there is no way to move the entire knot or link to one side of the punctured sphere. The mathematical definition is as follows. There are two cases to consider. A sphere is incompressible if both inside and outside the sphere there are some obstructions that prevent the sphere from shrinking to a point and also prevent the sphere from expanding to encompass all of space. A surface other than a sphere is incompressible if any disk with its boundary on the surface spans a disk in the surface."An Introduction to Knot Theory", W. B. Raymond Lickoris ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
3-manifold
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 (geometry), plane (a tangent plane) to a small and close enough observer, all 3-manifolds look like our universe does to a small enough observer. This is made more precise in the definition below. Principles Definition A topological space M is a 3-manifold if it is a second-countable Hausdorff space and if every point in M has a neighbourhood (mathematics), neighbourhood that is homeomorphic to Euclidean 3-space. Mathematical theory of 3-manifolds The topological, Piecewise linear manifold, piecewise-linear, and smooth categories are all equivalent in three dimensions, so little distinction is made in whether we are dealing with say, topological 3-manifolds, or smooth 3-manifolds. Phenomena in three dimensions can be strikingly different from phenomena in other dim ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mapping Torus
In mathematics, specifically in topology, the mapping torus of a homeomorphism ''f'' of some topological space ''X'' to itself is a particular geometric construction with ''f''. Take the cartesian product of ''X'' with a closed interval ''I'', and glue the boundary components together by the static homeomorphism: :M_f =\frac The result is a fiber bundle whose base is a circle and whose fiber is the original space ''X''. If ''X'' is a manifold, ''Mf'' will be a manifold of dimension one higher, and it is said to "fiber over the circle". As a simple example, let X be the circle, and f be the inversion e^ \mapsto e^ , then the mapping torus is the Klein bottle. Mapping tori of surface homeomorphisms play a key role in the theory of 3-manifolds and have been intensely studied. If ''S'' is a closed surface of genus ''g'' ≥ 2 and if ''f'' is a self-homeomorphism of ''S'', the mapping torus ''Mf'' is a closed 3-manifold that fibers over the circle with fiber ''S''. A ... [...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] |
Foliation
In mathematics (differential geometry), a foliation is an equivalence relation on an topological manifold, ''n''-manifold, the equivalence classes being connected, injective function, injectively immersed submanifolds, all of the same dimension ''p'', modeled on the manifold decomposition, decomposition of the real coordinate space R''n'' into the cosets ''x'' + R''p'' of the standardly embedding, embedded subspace topology, subspace R''p''. The equivalence classes are called the leaves of the foliation. If the manifold and/or the submanifolds are required to have a piecewise-linear manifold, piecewise-linear, differentiable manifold, differentiable (of class ''Cr''), or analytic manifold, analytic structure then one defines piecewise-linear, differentiable, or analytic foliations, respectively. In the most important case of differentiable foliation of class ''Cr'' it is usually understood that ''r'' ≥ 1 (otherwise, ''C''0 is a topological foliation). The number ''p'' (the dime ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
