|
Dold–Thom Theorem
In algebraic topology, the Dold-Thom theorem states that the homotopy groups of the infinite symmetric product of a connected CW complex are the same as its reduced homology groups. The most common version of its proof consists of showing that the composition of the homotopy group functors with the infinite symmetric product defines a reduced homology theory. One of the main tools used in doing so are quasifibrations. The theorem has been generalised in various ways, for example by the Almgren isomorphism theorem. There are several other theorems constituting relations between homotopy and homology, for example the Hurewicz theorem. Another approach is given by stable homotopy theory. Thanks to the Freudenthal suspension theorem, one can see that the latter actually defines a homology theory. Nevertheless, none of these allow one to directly reduce homology to homotopy. This advantage of the Dold-Thom theorem makes it particularly interesting for algebraic geometry. The theorem ... [...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 of algebraic topology 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 gro ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Homology Theory
In mathematics, homology is a general way of associating a sequence of algebraic objects, such as abelian groups or modules, with other mathematical objects such as topological spaces. Homology groups were originally defined in algebraic topology. Similar constructions are available in a wide variety of other contexts, such as abstract algebra, groups, Lie algebras, Galois theory, and algebraic geometry. The original motivation for defining homology groups was the observation that two shapes can be distinguished by examining their holes. For instance, a circle is not a disk because the circle has a hole through it while the disk is solid, and the ordinary sphere is not a circle because the sphere encloses a two-dimensional hole while the circle encloses a one-dimensional hole. However, because a hole is "not there", it is not immediately obvious how to define a hole or how to distinguish different kinds of holes. Homology was originally a rigorous mathematical method for defi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mayer-Vietoris Sequence
Mayer-Vietoris may refer to: * Mayer–Vietoris axiom * 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, known as their homology and cohomology groups. The result is due to ... {{mathdab ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hurewicz2 (corrected)
Witold Hurewicz (June 29, 1904 – September 6, 1956) was a Polish mathematician. Early life and education Witold Hurewicz was born in Łódź, at the time one of the main Polish industrial hubs with economy focused on the textile industry. His father, Mieczysław Hurewicz, was an industrialist born in Wilno, which until 1939 was mainly populated by Poles and Jews. His mother was Katarzyna Finkelsztain who hailed from Biała Cerkiew, a town that belonged to the Kingdom of Poland until the Second Partition of Poland (1793) when it was taken by Russia. Hurewicz attended school in a German-controlled Poland but with World War I beginning before he had begun secondary school, major changes occurred in Poland. In August 1915 the Russian forces that had held Poland for many years withdrew. Germany and Austria-Hungary took control of most of the country and the University of Warsaw was refounded and it began operating as a Polish university. Rapidly, a strong school of mathematics gr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Simplicial Set
In mathematics, a simplicial set is an object composed of ''simplices'' in a specific way. Simplicial sets are higher-dimensional generalizations of directed graphs, partially ordered sets and categories. Formally, a simplicial set may be defined as a contravariant functor from the simplex category to the category of sets. Simplicial sets were introduced in 1950 by Samuel Eilenberg and Joseph A. Zilber. Every simplicial set gives rise to a "nice" topological space, known as its geometric realization. This realization consists of geometric simplices, glued together according to the rules of the simplicial set. Indeed, one may view a simplicial set as a purely combinatorial construction designed to capture the essence of a "well-behaved" topological space for the purposes of homotopy theory. Specifically, the category of simplicial sets carries a natural model structure, and the corresponding homotopy category is equivalent to the familiar homotopy category of topological spaces. S ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Factorization Homology
In algebraic topology and category theory, factorization homology is a variant of topological chiral homology, motivated by an application to topological quantum field theory In gauge theory and mathematical physics, a topological quantum field theory (or topological field theory or TQFT) is a quantum field theory which computes topological invariants. Although TQFTs were invented by physicists, they are also of mathem ... and cobordism hypothesis in particular. It was introduced by David Ayala, John Francis, and Nick Rozenblyum. References * External links * Homological algebra {{topology-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Homotopy Lifting Property
In mathematics, in particular in homotopy theory within algebraic topology, the homotopy lifting property (also known as an instance of the right lifting property or the covering homotopy axiom) is a technical condition on a continuous function from a topological space ''E'' to another one, ''B''. It is designed to support the picture of ''E'' "above" ''B'' by allowing a homotopy taking place in ''B'' to be moved "upstairs" to ''E''. For example, a covering map has a property of ''unique'' local lifting of paths to a given sheet; the uniqueness is because the fibers of a covering map are discrete spaces. The homotopy lifting property will hold in many situations, such as the projection in a vector bundle, fiber bundle or fibration, where there need be no unique way of lifting. Formal definition Assume from now on all maps are continuous functions from one topological space to another. Given a map \pi\colon E \to B, and a space X\,, one says that (X, \pi) has the homotopy lifting pro ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mapping Cylinder
In mathematics, specifically algebraic topology, the mapping cylinder of a continuous function f between topological spaces X and Y is the quotient :M_f = (( ,1times X) \amalg Y)\,/\,\sim where the \amalg denotes the disjoint union, and ∼ is the equivalence relation generated by :(0,x)\sim f(x)\quad\textx\in X. That is, the mapping cylinder M_f is obtained by gluing one end of X\times ,1/math> to Y via the map f. Notice that the "top" of the cylinder \\times X is homeomorphic to X, while the "bottom" is the space f(X)\subset Y. It is common to write Mf for M_f, and to use the notation \sqcup_f or \cup_f for the mapping cylinder construction. That is, one writes :Mf = ( ,1times X) \cup_f Y with the subscripted cup symbol denoting the equivalence. The mapping cylinder is commonly used to construct the mapping cone Cf, obtained by collapsing one end of the cylinder to a point. Mapping cylinders are central to the definition of cofibrations. Basic properties The bottom ''Y'' is a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Simplicial Complexes
In mathematics, a simplicial complex is a set composed of points, line segments, triangles, and their ''n''-dimensional counterparts (see illustration). Simplicial complexes should not be confused with the more abstract notion of a simplicial set appearing in modern simplicial homotopy theory. The purely combinatorial counterpart to a simplicial complex is an abstract simplicial complex. To distinguish a simplicial from an abstract simplicial complex, the former is often called a geometric simplicial complex.'', Section 4.3'' Definitions A simplicial complex \mathcal is a set of simplices that satisfies the following conditions: :1. Every face of a simplex from \mathcal is also in \mathcal. :2. The non-empty intersection of any two simplices \sigma_1, \sigma_2 \in \mathcal is a face of both \sigma_1 and \sigma_2. See also the definition of an abstract simplicial complex, which loosely speaking is a simplicial complex without an associated geometry. A simplicial ''k''-complex \ma ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Direct System
In mathematics, the ind-completion or ind-construction is the process of freely adding filtered colimits to a given category ''C''. The objects in this ind-completed category, denoted Ind(''C''), are known as direct systems, they are functors from a small filtered category ''I'' to ''C''. The dual concept is the pro-completion, Pro(''C''). Definitions Filtered categories Direct systems depend on the notion of ''filtered categories''. For example, the category N, whose objects are natural numbers, and with exactly one morphism from ''n'' to ''m'' whenever n \le m, is a filtered category. Direct systems A ''direct system'' or an ''ind-object'' in a category ''C'' is defined to be a functor :F : I \to C from a small filtered category ''I'' to ''C''. For example, if ''I'' is the category N mentioned above, this datum is equivalent to a sequence :X_0 \to X_1 \to \cdots of objects in ''C'' together with morphisms as displayed. The ind-completion Ind-objects in ''C'' form a c ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Homotopy Equivalence
In topology, a branch of mathematics, two continuous functions from one topological space to another are called homotopic (from grc, ὁμός "same, similar" and "place") if one can be "continuously deformed" into the other, such a deformation being called a homotopy (, ; , ) between the two functions. A notable use of homotopy is the definition of homotopy groups and cohomotopy groups, important invariants in algebraic topology. In practice, there are technical difficulties in using homotopies with certain spaces. Algebraic topologists work with compactly generated spaces, CW complexes, or spectra. Formal definition Formally, a homotopy between two continuous functions ''f'' and ''g'' from a topological space ''X'' to a topological space ''Y'' is defined to be a continuous function H: X \times ,1\to Y from the product of the space ''X'' with the unit interval , 1to ''Y'' such that H(x,0) = f(x) and H(x,1) = g(x) for all x \in X. If we think of the second p ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Abelian Groups
In mathematics, an abelian group, also called a commutative group, is a group in which the result of applying the group operation to two group elements does not depend on the order in which they are written. That is, the group operation is commutative. With addition as an operation, the integers and the real numbers form abelian groups, and the concept of an abelian group may be viewed as a generalization of these examples. Abelian groups are named after early 19th century mathematician Niels Henrik Abel. The concept of an abelian group underlies many fundamental algebraic structures, such as fields, rings, vector spaces, and algebras. The theory of abelian groups is generally simpler than that of their non-abelian counterparts, and finite abelian groups are very well understood and fully classified. Definition An abelian group is a set A, together with an operation \cdot that combines any two elements a and b of A to form another element of A, denoted a \cdot b. The symbo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
