|
Lantern Relation
In geometric topology, a branch of mathematics, the lantern relation is a relation that appears between certain Dehn twists in the mapping class group of a surface. The most general version of the relation involves seven Dehn twists. The relation was discovered by Dennis Johnson in 1979. General form The general form of the lantern relation involves seven Dehn twists in the mapping class group of a disk with three holes, as shown in the figure on the right. According to the relation, : where , , and are the right-handed Dehn twists around the blue curves , , and , and , , , are the right-handed Dehn twists around the four red curves. Note that the Dehn twists , , , on the right-hand side all commute (since the curves are disjoint, so the order in which they appear does not matter. However, the cyclic order of the three Dehn twists on the left does matter: : Also, note that the equalities written above are actually equality up to homotopy In topology, a branch of ma ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Geometric Topology
In mathematics, geometric topology is the study of manifolds and 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 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. Dimension 4 is special, in that in some respects (topologica ... [...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] |
Relation (group Theory)
In mathematics, a presentation is one method of specifying a group. A presentation of a group ''G'' comprises a set ''S'' of generators—so that every element of the group can be written as a product of powers of some of these generators—and a set ''R'' of relations among those generators. We then say ''G'' has presentation :\langle S \mid R\rangle. Informally, ''G'' has the above presentation if it is the "freest group" generated by ''S'' subject only to the relations ''R''. Formally, the group ''G'' is said to have the above presentation if it is isomorphic to the quotient of a free group on ''S'' by the normal subgroup generated by the relations ''R''. As a simple example, the cyclic group of order ''n'' has the presentation :\langle a \mid a^n = 1\rangle, where 1 is the group identity. This may be written equivalently as :\langle a \mid a^n\rangle, thanks to the convention that terms that do not include an equals sign are taken to be equal to the group identity. S ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dehn Twist
In geometric topology, a branch of mathematics, a Dehn twist is a certain type of self-homeomorphism of a surface (two-dimensional manifold). Definition Suppose that ''c'' is a simple closed curve in a closed, orientable surface ''S''. Let ''A'' be a tubular neighborhood of ''c''. Then ''A'' is an annulus, homeomorphic to the Cartesian product of a circle and a unit interval ''I'': :c \subset A \cong S^1 \times I. Give ''A'' coordinates (''s'', ''t'') where ''s'' is a complex number of the form e^ with \theta \in , 2\pi and . Let ''f'' be the map from ''S'' to itself which is the identity outside of ''A'' and inside ''A'' we have :f(s, t) = \left(se^, t\right). Then ''f'' is a Dehn twist about the curve ''c''. Dehn twists can also be defined on a non-orientable surface ''S'', provided one starts with a 2-sided simple closed curve ''c'' on ''S''. Example Consider the torus represented by a fundamental polygon with edges ''a'' and ''b'' :\mathbb^2 \cong \mat ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mapping Class Group
In mathematics, in the subfield of geometric topology, the mapping class group is an important algebraic invariant of a topological space. Briefly, the mapping class group is a certain discrete group corresponding to symmetries of the space. Motivation Consider a topological space, that is, a space with some notion of closeness between points in the space. We can consider the set of homeomorphisms from the space into itself, that is, continuous maps with continuous inverses: functions which stretch and deform the space continuously without breaking or gluing the space. This set of homeomorphisms can be thought of as a space itself. It forms a group under functional composition. We can also define a topology on this new space of homeomorphisms. The open sets of this new function space will be made up of sets of functions that map compact subsets ''K'' into open subsets ''U'' as ''K'' and ''U'' range throughout our original topological space, completed with their finite intersect ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Surface (topology)
In the part of mathematics referred to as topology, a surface is a two-dimensional manifold. Some surfaces arise as the boundaries of three-dimensional solids; for example, the sphere is the boundary of the solid ball. Other surfaces arise as graphs of functions of two variables; see the figure at right. However, surfaces can also be defined abstractly, without reference to any ambient space. For example, the Klein bottle is a surface that cannot be embedded in three-dimensional Euclidean space. Topological surfaces are sometimes equipped with additional information, such as a Riemannian metric or a complex structure, that connects them to other disciplines within mathematics, such as differential geometry and complex analysis. The various mathematical notions of surface can be used to model surfaces in the physical world. In general In mathematics, a surface is a geometrical shape that resembles a deformed plane. The most familiar examples arise as boundaries of solid ob ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Proceedings Of The American Mathematical Society
''Proceedings of the American Mathematical Society'' is a monthly peer-reviewed scientific journal of mathematics published by the American Mathematical Society. As a requirement, all articles must be at most 15 printed pages. According to the ''Journal Citation Reports'', the journal has a 2018 impact factor of 0.813. Scope ''Proceedings of the American Mathematical Society'' publishes articles from all areas of pure and applied mathematics, including topology, geometry, analysis, algebra, number theory, combinatorics, logic, probability and statistics. Abstracting and indexing This journal is indexed in the following databases: 2011. American Mathematical Society. * |
Disk (mathematics)
In geometry, a disk (also spelled disc). is the region in a plane bounded by a circle. A disk is said to be ''closed'' if it contains the circle that constitutes its boundary, and ''open'' if it does not. For a radius, r, an open disk is usually denoted as D_r and a closed disk is \overline. However in the field of topology the closed disk is usually denoted as D^2 while the open disk is \operatorname D^2. Formulas In Cartesian coordinates, the ''open disk'' of center (a, b) and radius ''R'' is given by the formula :D=\ while the ''closed disk'' of the same center and radius is given by :\overline=\. The area of a closed or open disk of radius ''R'' is π''R''2 (see area of a disk). Properties The disk has circular symmetry. The open disk and the closed disk are not topologically equivalent (that is, they are not homeomorphic), as they have different topological properties from each other. For instance, every closed disk is compact whereas every open disk is not compact ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Commutativity
In mathematics, a binary operation is commutative if changing the order of the operands does not change the result. It is a fundamental property of many binary operations, and many mathematical proofs depend on it. Most familiar as the name of the property that says something like or , the property can also be used in more advanced settings. The name is needed because there are operations, such as division and subtraction, that do not have it (for example, ); such operations are ''not'' commutative, and so are referred to as ''noncommutative operations''. The idea that simple operations, such as the multiplication and addition of numbers, are commutative was for many years implicitly assumed. Thus, this property was not named until the 19th century, when mathematics started to become formalized. A similar property exists for binary relations; a binary relation is said to be symmetric if the relation applies regardless of the order of its operands; for example, equality is s ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Disjoint Sets
In mathematics, two sets are said to be disjoint sets if they have no element in common. Equivalently, two disjoint sets are sets whose intersection is the empty set.. For example, and are ''disjoint sets,'' while and are not disjoint. A collection of two or more sets is called disjoint if any two distinct sets of the collection are disjoint. Generalizations This definition of disjoint sets can be extended to a family of sets \left(A_i\right)_: the family is pairwise disjoint, or mutually disjoint if A_i \cap A_j = \varnothing whenever i \neq j. Alternatively, some authors use the term disjoint to refer to this notion as well. For families the notion of pairwise disjoint or mutually disjoint is sometimes defined in a subtly different manner, in that repeated identical members are allowed: the family is pairwise disjoint if A_i \cap A_j = \varnothing whenever A_i \neq A_j (every two ''distinct'' sets in the family are disjoint).. For example, the collection of sets is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cyclic Order
In mathematics, a cyclic order is a way to arrange a set of objects in a circle. Unlike most structures in order theory, a cyclic order is not modeled as a binary relation, such as "". One does not say that east is "more clockwise" than west. Instead, a cyclic order is defined as a ternary relation , meaning "after , one reaches before ". For example, une, October, February but not une, February, October cf. picture. A ternary relation is called a cyclic order if it is cyclic, asymmetric, transitive, and connected. Dropping the "connected" requirement results in a partial cyclic order. A set with a cyclic order is called a cyclically ordered set or simply a cycle. Some familiar cycles are discrete, having only a finite number of elements: there are seven days of the week, four cardinal directions, twelve notes in the chromatic scale, and three plays in rock-paper-scissors. In a finite cycle, each element has a "next element" and a "previous element". There are also continu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
