|
Excision Theorem
In algebraic topology, a branch of 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 ar ..., the excision theorem is a theorem about relative homology and one of the Eilenberg–Steenrod axioms. Given a topological space X and subspaces A and U such that U is also a subspace of A, the theorem says that under certain circumstances, we can cut out (excise) U from both spaces such that the relative homologies of the pairs (X \setminus U,A \setminus U ) into (X, A) are isomorphic. This assists in computation of singular homology groups, as sometimes after excising an appropriately chosen subspace we obtain something easier to compute. Theorem Statement If U\subseteq A \subseteq X are as above, we say that U can be excised if the inclusion map of the pair (X \setminus U,A ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebraic Topology
Algebraic topology is a branch of mathematics that uses tools from abstract algebra to study topological spaces. The basic goal is to find algebraic invariant (mathematics), invariants that classification theorem, classify topological spaces up to homeomorphism, though usually most classify up to Homotopy#Homotopy equivalence and null-homotopy, homotopy equivalence. Although algebraic topology primarily uses algebra to study topological problems, using topology to solve algebraic problems is sometimes also possible. Algebraic topology, for example, allows for a convenient proof that any subgroup of a free group is again a free group. Main branches Below are some of the main areas studied in algebraic topology: Homotopy groups In mathematics, homotopy groups are used in algebraic topology to classify topological spaces. The first and simplest homotopy group is the fundamental group, which records information about loops in a space. Intuitively, homotopy groups record information ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Compact Space
In mathematics, specifically general topology, compactness is a property that seeks to generalize the notion of a closed and bounded subset of Euclidean space. The idea is that a compact space has no "punctures" or "missing endpoints", i.e., it includes all ''limiting values'' of points. For example, the open interval (0,1) would not be compact because it excludes the limiting values of 0 and 1, whereas the closed interval ,1would be compact. Similarly, the space of rational numbers \mathbb is not compact, because it has infinitely many "punctures" corresponding to the irrational numbers, and the space of real numbers \mathbb is not compact either, because it excludes the two limiting values +\infty and -\infty. However, the ''extended'' real number line ''would'' be compact, since it contains both infinities. There are many ways to make this heuristic notion precise. These ways usually agree in a metric space, but may not be equivalent in other topological spaces. One suc ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Allen Hatcher
Allen Edward Hatcher (born October 23, 1944) is an American mathematician specializing in geometric topology. Biography Hatcher was born in Indianapolis, Indiana. After obtaining his Bachelor of Arts, B.A. and Bachelor of Music, B.Mus. from Oberlin College in 1966, he went for his graduate studies to Stanford University, where he received his Doctor of Philosophy, Ph.D. in 1971. His thesis, ''A K2 Obstruction for Pseudo-Isotopies'', was written under the supervision of Hans Samelson. Afterwards, Hatcher went to Princeton University, where he was an National Science Foundation, NSF postdoc for a year, then a lecturer for another year, and then Assistant Professor from 1973 to 1979. He was also a member of the Institute for Advanced Study in 1975–76 and 1979–80. Hatcher moved to the University of California, Los Angeles as an assistant professor in 1977. From 1983 he has been a professor at Cornell University; he is now a emeritus, professor emeritus. In 1978 Hatcher was an Li ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Joseph J
Joseph is a common male name, derived from the Hebrew (). "Joseph" is used, along with " Josef", mostly in English, French and partially German languages. This spelling is also found as a variant in the languages of the modern-day Nordic countries. In Portuguese and Spanish, the name is "José". In Arabic, including in the Quran, the name is spelled , . In Kurdish (''Kurdî''), the name is , Persian, the name is , and in Turkish it is . In Pashto the name is spelled ''Esaf'' (ايسپ) and in Malayalam it is spelled ''Ousep'' (ഔസേപ്പ്). In Tamil, it is spelled as ''Yosepu'' (யோசேப்பு). The name has enjoyed significant popularity in its many forms in numerous countries, and ''Joseph'' was one of the two names, along with ''Robert'', to have remained in the top 10 boys' names list in the US from 1925 to 1972. It is especially common in contemporary Israel, as either "Yossi" or "Yossef", and in Italy, where the name "Giuseppe" was the most com ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Homotopy Excision Theorem
In algebraic topology, the homotopy excision theorem offers a substitute for the absence of excision in homotopy theory. More precisely, let (X; A, B) be an excisive triad with C = A \cap B nonempty, and suppose the pair (A, C) is (m-1)-connected, m \ge 2, and the pair (B, C) is (n-1)-connected, n \ge 1. Then the map induced by the inclusion i\colon (A, C) \to (X, B), :i_*\colon \pi_q(A, C) \to \pi_q(X, B), is bijective for q < m+n-2 and is surjective for . A geometric proof is given in a book by . This result should also be seen as a consequence of the most general form of the , which deals with the non-simply-connected case. T ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Suspension (topology)
In topology, a branch of mathematics, the suspension of a topological space ''X'' is intuitively obtained by stretching ''X'' into a cylinder and then collapsing both end faces to points. One views ''X'' as "suspended" between these end points. The suspension of ''X'' is denoted by ''SX'' or susp(''X''). There is a variant of the suspension for a pointed space, which is called the reduced suspension and denoted by Σ''X''. The "usual" suspension ''SX'' is sometimes called the unreduced suspension, unbased suspension, or free suspension of ''X'', to distinguish it from Σ''X.'' Free suspension The (free) suspension SX of a topological space X can be defined in several ways. 1. SX is the quotient space (X \times ,1/(X\times \)\big/ ( X\times \). In other words, it can be constructed as follows: * Construct the cylinder X \times ,1/math>. * Consider the entire set X\times \ as a single point ("glue" all its points together). * Consider the entire set X\times \ as a single p ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mayer–Vietoris Sequence
In mathematics, particularly algebraic topology and homology theory, the Mayer–Vietoris sequence is an algebraic tool to help compute algebraic invariants of topological spaces. The result is due to two Austrian mathematicians, Walther Mayer and Leopold Vietoris. The method consists of splitting a space into subspaces, for which the homology or cohomology groups may be easier to compute. The sequence relates the (co)homology groups of the space to the (co)homology groups of the subspaces. It is a natural long exact sequence, whose entries are the (co)homology groups of the whole space, the direct sum of the (co)homology groups of the subspaces, and the (co)homology groups of the intersection of the subspaces. The Mayer–Vietoris sequence holds for a variety of cohomology and homology theories, including simplicial homology and singular cohomology. In general, the sequence holds for those theories satisfying the Eilenberg–Steenrod axioms, and it has variations for both ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Chain Homotopy
A chain is a serial assembly of connected pieces, called links, typically made of metal, with an overall character similar to that of a rope in that it is flexible and curved in compression but linear, rigid, and load-bearing in tension. A chain may consist of two or more links. Chains can be classified by their design, which can be dictated by their use: * Those designed for lifting, such as when used with a hoist; for pulling; or for securing, such as with a bicycle lock, have links that are torus-shaped, which make the chain flexible in two dimensions (the fixed third dimension being a chain's length). Small chains serving as jewellery are a mostly decorative analogue of such types. * Those designed for transferring power in machines have links designed to mesh with the teeth of the sprockets of the machine, and are flexible in only one dimension. They are known as roller chains, though there are also non-roller chains such as block chains. Two distinct chains can ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Barycentric Subdivision
In mathematics, the barycentric subdivision is a standard way to subdivide a given simplex into smaller ones. Its extension to simplicial complexes is a canonical method to refining them. Therefore, the barycentric subdivision is an important tool in algebraic topology. Motivation The barycentric subdivision is an operation on simplicial complexes. In algebraic topology it is sometimes useful to replace the original spaces with simplicial complexes via triangulations: This substitution allows one to assign combinatorial invariants such as the Euler characteristic to the spaces. One can ask whether there is an analogous way to replace the continuous functions defined on the topological spaces with functions that are linear on the simplices and homotopic to the original maps (see also simplicial approximation). In general, such an assignment requires a refinement of the given complex, meaning that one replaces larger simplices with a union of smaller simplices. A standard way to c ... [...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] |
Deformation Retract
In topology, a retraction is a continuous mapping from a topological space into a subspace that preserves the position of all points in that subspace. The subspace is then called a retract of the original space. A deformation retraction is a mapping that captures the idea of ''continuously shrinking'' a space into a subspace. An absolute neighborhood retract (ANR) is a particularly well-behaved type of topological space. For example, every topological manifold is an ANR. Every ANR has the homotopy type of a very simple topological space, a CW complex. Definitions Retract Let ''X'' be a topological space and ''A'' a subspace of ''X''. Then a continuous map :r\colon X \to A is a retraction if the restriction of ''r'' to ''A'' is the identity map on ''A''; that is, r(a) = a for all ''a'' in ''A''. Equivalently, denoting by :\iota\colon A \hookrightarrow X the inclusion, a retraction is a continuous map ''r'' such that :r \circ \iota = \operatorname_A, that is, the composition ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Interior (topology)
In mathematics, specifically in topology, the interior of a subset of a topological space is the union of all subsets of that are open in . A point that is in the interior of is an interior point of . The interior of is the complement of the closure of the complement of . In this sense interior and closure are dual notions. The exterior of a set is the complement of the closure of ; it consists of the points that are in neither the set nor its boundary. The interior, boundary, and exterior of a subset together partition the whole space into three blocks (or fewer when one or more of these is empty). The interior and exterior of a closed curve are a slightly different concept; see the Jordan curve theorem. Definitions Interior point If S is a subset of a Euclidean space, then x is an interior point of S if there exists an open ball centered at x which is completely contained in S. (This is illustrated in the introductory section to this article.) This definitio ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
