|
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 or isotopy, as is usual in the map ... [...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] |
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] |
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 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 topo ..., a branch of mathematics, a Dehn twist is a certain type of homeomorphism, self-homeomorphism of a Surface (topology), surface (two-dimensional manifold). Definition Suppose that ''c'' is a curve, simple closed curve in a closed, Orientability, orientable surface ''S''. Let ''A'' be a tubular neighborhood of ''c''. Then ''A'' is an Annulus (mathematics), 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 [0, 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) ... [...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 inters ... [...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 solid figures; 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 ... [...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. The journal is devoted to shorter research articles. 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. * [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Disk (mathematics)
In geometry, a disk (Spelling of disc, also spelled disc) is the region in a plane (geometry), 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'' with center (a, b) and radius ''R'' is given by the formula D = \, while the ''closed disk'' with the same center and radius is given by \overline = \. The area (geometry), 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 homeomorphism, homeomorphic), as they have different topological properties from each other. For ... [...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. Perhaps most familiar as a property of arithmetic, e.g. 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 centuries implicitly assumed. Thus, this property was not named until the 19th century, when new algebraic structures started to be studied. Definition A binary operation * on a set ''S'' is ''commutative'' if x * y = y * x for all x,y \in S. An operation that is not commutative is said to be ''noncommutative''. One says ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Disjoint Sets
In set theory in mathematics and Logic#Formal logic, formal logic, two Set (mathematics), sets are said to be disjoint sets if they have no element (mathematics), element in common. Equivalently, two disjoint sets are sets whose intersection (set theory), 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 family of sets, families of sets and to indexed family, indexed families of sets. By definition, a collection of sets is called a ''family of sets'' (such as the power set, for example). In some sources this is a set of sets, while other sources allow it to be a multiset of sets, with some sets repeated. An \left(A_i\right)_, is by definition a set-valued Function (mathematics), function (that is, it is a function that assigns a set A_i to every ele ... [...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, [June, October, February], but not [June, February, October], cf. picture. A ternary relation is called a cyclic order if it is #The ternary relation, cyclic, asymmetric, transitive, and connected. Dropping the "connected" requirement results in a partial cyclic order. A set (mathematics), set with a cyclic order is called a cyclically ordered set or simply a cycle. Some familiar cycles are discrete, having only a Finite set, finite number of element (mathematics), 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 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
