|
Atoroidal
In mathematics, an atoroidal 3-manifold is one that does not contain an essential torus. There are two major variations in this terminology: an essential torus may be defined geometrically, as an embedded, non- boundary parallel, incompressible torus, or it may be defined algebraically, as a subgroup \Z\times\Z of its fundamental group that is not conjugate to a peripheral subgroup (i.e., the image of the map on fundamental group induced by an inclusion of a boundary component). The terminology is not standardized, and different authors require atoroidal 3-manifolds to satisfy certain additional restrictions. For instance: * gives a definition of atoroidality that combines both geometric and algebraic aspects, in terms of maps from a torus to the manifold and the induced maps on the fundamental group. He then notes that for irreducible boundary-incompressible 3-manifolds this gives the algebraic definition. * uses the algebraic definition without additional restrictions. * uses ... [...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] |
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] |
Torus
In geometry, a torus (plural tori, colloquially donut or doughnut) is a surface of revolution generated by revolving a circle in three-dimensional space about an axis that is coplanar with the circle. If the axis of revolution does not touch the circle, the surface has a ring shape and is called a torus of revolution. If the axis of revolution is tangent to the circle, the surface is a horn torus. If the axis of revolution passes twice through the circle, the surface is a spindle torus. If the axis of revolution passes through the center of the circle, the surface is a degenerate torus, a double-covered sphere. If the revolved curve is not a circle, the surface is called a ''toroid'', as in a square toroid. Real-world objects that approximate a torus of revolution include swim rings, inner tubes and ringette rings. Eyeglass lenses that combine spherical and cylindrical correction are toric lenses. A torus should not be confused with a '' solid torus'', which is formed by r ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Embedding
In mathematics, an embedding (or imbedding) is one instance of some mathematical structure contained within another instance, such as a group that is a subgroup. When some object X is said to be embedded in another object Y, the embedding is given by some injective and structure-preserving map f:X\rightarrow Y. The precise meaning of "structure-preserving" depends on the kind of mathematical structure of which X and Y are instances. In the terminology of category theory, a structure-preserving map is called a morphism. The fact that a map f:X\rightarrow Y is an embedding is often indicated by the use of a "hooked arrow" (); thus: f : X \hookrightarrow Y. (On the other hand, this notation is sometimes reserved for inclusion maps.) Given X and Y, several different embeddings of X in Y may be possible. In many cases of interest there is a standard (or "canonical") embedding, like those of the natural numbers in the integers, the integers in the rational numbers, the rational n ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Boundary Parallel
In mathematics, a closed ''n''-manifold ''N'' embedded in an (''n'' + 1)-manifold ''M'' is boundary parallel (or ∂-parallel, or peripheral) if there is an isotopy of ''N'' onto a boundary component of ''M''. An example Consider the annulus I \times S^1. Let π denote the projection map :\pi\colon I \times S^1 \rightarrow S^1,\quad (x, z) \mapsto z. If a circle ''S'' is embedded into the annulus so that π restricted to ''S'' is a bijection, then ''S'' is boundary parallel. (The converse is not true.) If, on the other hand, a circle ''S'' is embedded into the annulus so that π restricted to ''S'' is not surjective In mathematics, a surjective function (also known as surjection, or onto function) is a function that every element can be mapped from element so that . In other words, every element of the function's codomain is the image of one element o ..., then ''S'' is not boundary parallel. (Again, the converse is not true.) Image:Annulus.circle.pi 1-injective.pn ... [...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] |
Subgroup
In group theory, a branch of mathematics, given a group ''G'' under a binary operation ∗, a subset ''H'' of ''G'' is called a subgroup of ''G'' if ''H'' also forms a group under the operation ∗. More precisely, ''H'' is a subgroup of ''G'' if the restriction of ∗ to is a group operation on ''H''. This is often denoted , read as "''H'' is a subgroup of ''G''". The trivial subgroup of any group is the subgroup consisting of just the identity element. A proper subgroup of a group ''G'' is a subgroup ''H'' which is a proper subset of ''G'' (that is, ). This is often represented notationally by , read as "''H'' is a proper subgroup of ''G''". Some authors also exclude the trivial group from being proper (that is, ). If ''H'' is a subgroup of ''G'', then ''G'' is sometimes called an overgroup of ''H''. The same definitions apply more generally when ''G'' is an arbitrary semigroup, but this article will only deal with subgroups of groups. Subgroup tests Suppose th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fundamental Group
In the mathematical field of algebraic topology, the fundamental group of a topological space is the group of the equivalence classes under homotopy of the 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 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), and some point in it, and all the loops both starting and ending at this point— 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 along the second. Two loops are considered equivalent if one can be deformed into the other without breakin ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Conjugacy Class
In mathematics, especially group theory, two elements a and b of a group are conjugate if there is an element g in the group such that b = gag^. This is an equivalence relation whose equivalence classes are called conjugacy classes. In other words, each conjugacy class is closed under b = gag^. for all elements g in the group. Members of the same conjugacy class cannot be distinguished by using only the group structure, and therefore share many properties. The study of conjugacy classes of non-abelian groups is fundamental for the study of their structure. For an abelian group, each conjugacy class is a set containing one element (singleton set). Functions that are constant for members of the same conjugacy class are called class functions. Definition Let G be a group. Two elements a, b \in G are conjugate if there exists an element g \in G such that gag^ = b, in which case b is called of a and a is called a conjugate of b. In the case of the general linear group \operatorna ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Prime Decomposition (3-manifold)
In mathematics, the prime decomposition theorem for 3-manifolds states that every compact, orientable 3-manifold is the connected sum of a unique (up to homeomorphism) finite collection of prime 3-manifolds. A manifold is ''prime'' if it cannot be presented as a connected sum of more than one manifold, none of which is the sphere of the same dimension. This condition is necessary since for any manifold M of dimension n it is true that M = M \# S^n. (where M \# S^n means the connected sum of M and S^n). If P is a prime 3-manifold then either it is S^2 \times S^1 or the non-orientable S^2 bundle over S^1, or it is irreducible, which means that any embedded 2-sphere bounds a ball. So the theorem can be restated to say that there is a unique connected sum decomposition into irreducible 3-manifolds and fiber bundles of S^2 over S^1. The prime decomposition holds also for non-orientable 3-manifolds, but the uniqueness statement must be modified slightly: every compact, non-orientable 3 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Boundary-incompressible Surface
In low-dimensional topology, a boundary-incompressible surface is a two-dimensional surface within a three-dimensional manifold whose topology cannot be made simpler by a certain type of operation known as boundary compression. Suppose ''M'' is a 3-manifold with boundary. Suppose also that ''S'' is a compact surface with boundary that is properly embedded in ''M'', meaning that the boundary of ''S'' is a subset of the boundary of ''M'' and the interior points of ''S'' are a subset of the interior points of ''M''. A boundary-compressing disk for ''S'' in ''M'' is defined to be a disk ''D'' in ''M'' such that D \cap S = \alpha and D \cap \partial M = \beta are arcs in \partial D , with \alpha \cup \beta = \partial D , \alpha \cap \beta = \partial \alpha = \partial \beta , and \alpha is an essential arc in ''S'' ( \alpha does not cobound a disk in ''S'' with another arc in \partial S ). The surface ''S'' is said to be boundary-compressible if either ''S'' is a disk that c ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Walter De Gruyter
Walter de Gruyter GmbH, known as De Gruyter (), is a German scholarly publishing house specializing in academic literature. History The roots of the company go back to 1749 when Frederick the Great granted the Königliche Realschule in Berlin the royal privilege to open a bookstore and "to publish good and useful books". In 1800, the store was taken over by Georg Reimer (1776–1842), operating as the ''Reimer'sche Buchhandlung'' from 1817, while the school’s press eventually became the ''Georg Reimer Verlag''. From 1816, Reimer used the representative Sacken'sche Palace on Berlin's Wilhelmstraße for his family and the publishing house, whereby the wings contained his print shop and press. The building became a meeting point for Berlin salon life and later served as the official residence of the president of Germany. Born in Ruhrort in 1862, Walter de Gruyter took a position with Reimer Verlag in 1894. By 1897, at the age of 35, he had become sole proprietor of the h ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
