|
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 orienta ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Isometry
In mathematics, an isometry (or congruence, or congruent transformation) is a distance-preserving transformation between metric spaces, usually assumed to be bijective. The word isometry is derived from the Ancient Greek: ἴσος ''isos'' meaning "equal", and μέτρον ''metron'' meaning "measure". Introduction Given a metric space (loosely, a set and a scheme for assigning distances between elements of the set), an isometry is a transformation which maps elements to the same or another metric space such that the distance between the image elements in the new metric space is equal to the distance between the elements in the original metric space. In a two-dimensional or three-dimensional Euclidean space, two geometric figures are congruent if they are related by an isometry; the isometry that relates them is either a rigid motion (translation or rotation), or a composition of a rigid motion and a reflection. Isometries are often used in constructions where one space i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Limit Set
In mathematics, especially in the study of dynamical systems, a limit set is the state a dynamical system reaches after an infinite amount of time has passed, by either going forward or backwards in time. Limit sets are important because they can be used to understand the long term behavior of a dynamical system. Types * fixed points * periodic orbits * limit cycles * attractors In general, limits sets can be very complicated as in the case of strange attractors, but for 2-dimensional dynamical systems the Poincaré–Bendixson theorem provides a simple characterization of all nonempty, compact \omega-limit sets that contain at most finitely many fixed points as a fixed point, a periodic orbit, or a union of fixed points and homoclinic or heteroclinic orbits connecting those fixed points. Definition for iterated functions Let X be a metric space, and let f:X\rightarrow X be a continuous function. The \omega-limit set of x\in X, denoted by \omega(x,f), is the set of cluster ... [...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 in th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Geometrization Conjecture
In mathematics, Thurston's geometrization conjecture 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 , 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 announced a proof in the 1980s and since then sever ... [...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 Ha ... [...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 (up to iso ... [...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 Lickori ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
3-manifold
In mathematics, a 3-manifold is a space that locally looks like Euclidean 3-dimensional 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. Introduction Definition A topological space ''X'' is a 3-manifold if it is a second-countable Hausdorff space and if every point in ''X'' has a neighbourhood that is homeomorphic to Euclidean 3-space. Mathematical theory of 3-manifolds The topological, 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 dimensions, and so there is a prevalence of very specialized techniques that do not generalize to dimensions g ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mapping Torus
In mathematics, the mapping torus in topology 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 deep res ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Geometrization Conjecture
In mathematics, Thurston's geometrization conjecture 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 , 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 announced a proof in the 1980s and since then sever ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
