|
Boundary Parallel
In mathematics, a boundary parallel, ∂-parallel, or peripheral closed ''n''-manifold ''N'' embedded in an (''n'' + 1)-manifold ''M'' is one for which there is an isotopy of ''N'' onto a boundary component of ''M''.Definition 3.4.7 in 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, then ''S'' is not boundary parallel. (Again, the converse is not true.) Image:Annulus.circle.pi 1-injective.png, An example in which is not bijective on ''S'', but ''S'' is ∂-parallel anyway. Image:Annulus.circle.bijective-projection.png, An example in which is bijective on ''S''. Image:Annulus.circle.nulhomotopic.png, A ... [...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] |
Bijection
In mathematics, a bijection, bijective function, or one-to-one correspondence is a function between two sets such that each element of the second set (the codomain) is the image of exactly one element of the first set (the domain). Equivalently, a bijection is a relation between two sets such that each element of either set is paired with exactly one element of the other set. A function is bijective if it is invertible; that is, a function f:X\to Y is bijective if and only if there is a function g:Y\to X, the ''inverse'' of , such that each of the two ways for composing the two functions produces an identity function: g(f(x)) = x for each x in X and f(g(y)) = y for each y in Y. For example, the ''multiplication by two'' defines a bijection from the integers to the even numbers, which has the ''division by two'' as its inverse function. A function is bijective if and only if it is both injective (or ''one-to-one'')—meaning that each element in the codomain is mappe ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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. * use ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Inventiones Mathematicae
''Inventiones Mathematicae'' is a mathematical journal published monthly by Springer Science+Business Media. It was established in 1966 and is regarded as one of the most prestigious mathematics journals in the world. The current (2023) managing editors are Jean-Benoît Bost (University of Paris-Sud) and Wilhelm Schlag (Yale University Yale University is a Private university, private Ivy League research university in New Haven, Connecticut, United States. Founded in 1701, Yale is the List of Colonial Colleges, third-oldest institution of higher education in the United Stat ...). Abstracting and indexing The journal is abstracted and indexed in: References External links *{{Official website, https://www.springer.com/journal/222 Mathematics journals Academic journals established in 1966 English-language journals Springer Science+Business Media academic journals Monthly journals ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Peter Shalen
Peter B. Shalen (born c. 1946) is an American mathematician, working primarily in low-dimensional topology. He is the "S" in JSJ decomposition. Life He graduated from Stuyvesant High School in 1962, and went on to earn a B.A. from Harvard College in 1966 and his Ph.D. from Harvard University in 1972. After posts at Columbia University, Rice University, and the Courant Institute, he joined the faculty of the University of Illinois at Chicago. Shalen was a Sloan Foundation Research Fellow in mathematics (1977—1979). In 1986 he was an invited speaker at the International Congress of Mathematicians in Berkeley, California. He was elected as a member of the 2017 class of Fellows of the American Mathematical Society "for contributions to three-dimensional topology and for exposition". ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Marc Culler
Marc Edward Culler (born November 22, 1953) is an American mathematician who works in geometric group theory and low-dimensional topology. A native Californian, Culler did his undergraduate work at the University of California at Santa Barbara and his graduate work at Berkeley where he graduated in 1978. He is now at the University of Illinois at Chicago. Culler is the son of Glen Jacob Culler who was an important early innovator in the development of the Internet. Work Culler specializes in group theory, low dimensional topology, 3-manifolds, and hyperbolic geometry. Culler frequently collaborates with Peter Shalen and they have co-authored many papers. Culler and Shalen did joint work that related properties of representation varieties of hyperbolic 3-manifold groups to decompositions of 3-manifolds. In particular, Culler and Shalen used the Bass–Serre theory, applied to the function field of the SL(2,C)- Character variety of a 3-manifold, to obtain information about in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Surjection
In mathematics, a surjective function (also known as surjection, or onto function ) is a function such that, for every element of the function's codomain, there exists one element in the function's domain such that . In other words, for a function , the codomain is the image of the function's domain . It is not required that be unique; the function may map one or more elements of to the same element of . The term ''surjective'' and the related terms ''injective'' and ''bijective'' were introduced by Nicolas Bourbaki, a group of mainly French 20th-century mathematicians who, under this pseudonym, wrote a series of books presenting an exposition of modern advanced mathematics, beginning in 1935. The French word '' sur'' means ''over'' or ''above'', and relates to the fact that the image of the domain of a surjective function completely covers the function's codomain. Any function induces a surjection by restricting its codomain to the image of its domain. Every surject ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Converse (logic)
In logic and mathematics, the converse of a categorical or implicational statement is the result of reversing its two constituent statements. For the Material conditional, implication ''P'' → ''Q'', the converse is ''Q'' → ''P''. For the categorical proposition ''All S are P'', the converse is ''All P are S''. Either way, the truth of the converse is generally independent from that of the original statement.Robert Audi, ed. (1999), ''The Cambridge Dictionary of Philosophy'', 2nd ed., Cambridge University Press: "converse". Implicational converse Let ''S'' be a statement of the form ''P implies Q'' (''P'' → ''Q''). Then the ''converse'' of ''S'' is the statement ''Q implies P'' (''Q'' → ''P''). In general, the truth of ''S'' says nothing about the truth of its converse, unless the Antecedent (logic), antecedent ''P'' and the consequent ''Q'' are logically equivalent. For example, consider the true statement "If I am a human, then I am mortal." The converse of that stateme ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Restriction (mathematics)
In mathematics, the restriction of a function f is a new function, denoted f\vert_A or f , obtained by choosing a smaller domain A for the original function f. The function f is then said to extend f\vert_A. Formal definition Let f : E \to F be a function from a set E to a set F. If a set A is a subset of E, then the restriction of f to A is the function _A : A \to F given by _A(x) = f(x) for x \in A. Informally, the restriction of f to A is the same function as f, but is only defined on A. If the function f is thought of as a relation (x,f(x)) on the Cartesian product E \times F, then the restriction of f to A can be represented by its graph, :G(_A) = \ = G(f)\cap (A\times F), where the pairs (x,f(x)) represent ordered pairs in the graph G. Extensions A function F is said to be an ' of another function f if whenever x is in the domain of f then x is also in the domain of F and f(x) = F(x). That is, if \operatorname f \subseteq \operatorname F and F\big\vert_ = f. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Closed Manifold
In mathematics, a closed manifold is a manifold Manifold with boundary, without boundary that is Compact space, compact. In comparison, an open manifold is a manifold without boundary that has only ''non-compact'' components. Examples The only Connected space, connected one-dimensional example is a circle. The sphere, torus, and the Klein bottle are all closed two-dimensional manifolds. The real projective space RP''n'' is a closed ''n''-dimensional manifold. The complex projective space CP''n'' is a closed 2''n''-dimensional manifold. A Real line, line is not closed because it is not compact. A closed disk is a compact two-dimensional manifold, but it is not closed because it has a boundary. Properties Every closed manifold is a Euclidean neighborhood retract and thus has finitely generated homology groups. If M is a closed connected n-manifold, the n-th homology group H_(M;\mathbb) is \mathbb or 0 depending on whether M is Orientability, orientable or not. Moreover, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Annulus (mathematics)
In mathematics, an annulus (: annuli or annuluses) is the region between two concentric circles. Informally, it is shaped like a ring or a hardware washer. The word "annulus" is borrowed from the Latin word ''anulus'' or ''annulus'' meaning 'little ring'. The adjectival form is ''annular'' (as in annular eclipse). The open annulus is topologically equivalent to both the open cylinder and the punctured plane. Area The area of an annulus is the difference in the areas of the larger circle of radius and the smaller one of radius : :A = \pi R^2 - \pi r^2 = \pi\left(R^2 - r^2\right) = \pi (R+r)(R-r) . The area of an annulus is determined by the length of the longest line segment within the annulus, which is the chord tangent to the inner circle, in the accompanying diagram. That can be shown using the Pythagorean theorem since this line is tangent to the smaller circle and perpendicular to its radius at that point, so and are sides of a right-angled triangle with hyp ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Connected Space
In topology and related branches of mathematics, a connected space is a topological space that cannot be represented as the union (set theory), union of two or more disjoint set, disjoint Empty set, non-empty open (topology), open subsets. Connectedness is one of the principal topological properties that distinguish topological spaces. A subset of a topological space X is a if it is a connected space when viewed as a Subspace topology, subspace of X. Some related but stronger conditions are #Path connectedness, path connected, Simply connected space, simply connected, and N-connected space, n-connected. Another related notion is Locally connected space, locally connected, which neither implies nor follows from connectedness. Formal definition A topological space X is said to be if it is the union of two disjoint non-empty open sets. Otherwise, X is said to be connected. A subset of a topological space is said to be connected if it is connected under its subspace topology. So ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
