Whitehead Theorem
In homotopy theory (a branch of mathematics), the Whitehead theorem states that if a continuous mapping ''f'' between CW complexes ''X'' and ''Y'' induces isomorphisms on all homotopy groups, then ''f'' is a homotopy equivalence. This result was proved by J. H. C. Whitehead in two landmark papers from 1949, and provides a justification for working with the concept of a CW complex that he introduced there. It is a model result of algebraic topology, in which the behavior of certain algebraic invariants (in this case, homotopy groups) determines a topological property of a mapping. Statement In more detail, let ''X'' and ''Y'' be topological spaces. Given a continuous mapping :f\colon X \to Y and a point ''x'' in ''X'', consider for any ''n'' ≥ 1 the induced homomorphism :f_*\colon \pi_n(X,x) \to \pi_n(Y,f(x)), where π''n''(''X'',''x'') denotes the ''n''-th homotopy group of ''X'' with base point ''x''. (For ''n'' = 0, π0(''X'') just means the set of path components o ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Homotopy Theory
In mathematics, homotopy theory is a systematic study of situations in which maps can come with homotopies between them. It originated as a topic in algebraic topology but nowadays is studied as an independent discipline. Besides algebraic topology, the theory has also been used in other areas of mathematics such as algebraic geometry (e.g., A1 homotopy theory) and category theory (specifically the study of higher categories). Concepts Spaces and maps In homotopy theory and algebraic topology, the word "space" denotes a topological space. In order to avoid pathologies, one rarely works with arbitrary spaces; instead, one requires spaces to meet extra constraints, such as being compactly generated, or Hausdorff, or a CW complex. In the same vein as above, a "map" is a continuous function, possibly with some extra constraints. Often, one works with a pointed space -- that is, a space with a "distinguished point", called a basepoint. A pointed map is then a map which preserv ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Hurewicz Theorem
In mathematics, the Hurewicz theorem is a basic result of algebraic topology, connecting homotopy theory with homology theory via a map known as the Hurewicz homomorphism. The theorem is named after Witold Hurewicz, and generalizes earlier results of Henri Poincaré. Statement of the theorems The Hurewicz theorems are a key link between homotopy groups and homology groups. Absolute version For any path-connected space ''X'' and positive integer ''n'' there exists a group homomorphism :h_* \colon \pi_n(X) \to H_n(X), called the Hurewicz homomorphism, from the ''n''-th homotopy group to the ''n''-th homology group (with integer coefficients). It is given in the following way: choose a canonical generator u_n \in H_n(S^n), then a homotopy class of maps f \in \pi_n(X) is taken to f_*(u_n) \in H_n(X). The Hurewicz theorem states cases in which the Hurewitz homomorphism is an isomorphism. * For n\ge 2, if ''X'' is (n-1)-connected (that is: \pi_i(X)= 0 for all ''i''2 there exists ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Shape Theory (mathematics)
Shape theory is a branch of topology that provides a more global view of the topological spaces than homotopy theory. The two coincide on compacta dominated homotopically by finite polyhedra. Shape theory associates with the Čech homology theory while homotopy theory associates with the singular homology theory. Background Shape theory was reinvented, further developed and promoted by the Polish mathematician Karol Borsuk in 1968. Actually, the name ''shape theory'' was coined by Borsuk. Warsaw Circle Borsuk lived and worked in Warsaw, hence the name of one of the fundamental examples of the area, the Warsaw circle. It is a compact subset of the plane produced by "closing up" a topologist's sine curve with an arc. The homotopy groups of the Warsaw circle are all trivial, just like those of a point, and so any map between the Warsaw circle and a point induces a weak homotopy equivalence. However these two spaces are not homotopy equivalent. So by the Whitehead theorem, the Warsa ... [...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 by making precise the idea of a space having no "punctures" or "missing endpoints", i.e. that the space not exclude any ''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 topologic ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Warsaw Circle
Shape theory is a branch of topology that provides a more global view of the topological spaces than homotopy theory. The two coincide on compacta dominated homotopically by finite polyhedra. Shape theory associates with the Čech homology theory while homotopy theory associates with the singular homology theory. Background Shape theory was reinvented, further developed and promoted by the Polish mathematician Karol Borsuk in 1968. Actually, the name ''shape theory'' was coined by Borsuk. Warsaw Circle Borsuk lived and worked in Warsaw, hence the name of one of the fundamental examples of the area, the Warsaw circle. It is a compact subset of the plane produced by "closing up" a topologist's sine curve with an arc. The homotopy groups of the Warsaw circle are all trivial, just like those of a point, and so any map between the Warsaw circle and a point induces a weak homotopy equivalence. However these two spaces are not homotopy equivalent. So by the Whitehead theorem, the War ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Künneth Theorem
In mathematics, especially in homological algebra and algebraic topology, a Künneth theorem, also called a Künneth formula, is a statement relating the homology of two objects to the homology of their product. The classical statement of the Künneth theorem relates the singular homology of two topological spaces ''X'' and ''Y'' and their product space X \times Y. In the simplest possible case the relationship is that of a tensor product, but for applications it is very often necessary to apply certain tools of homological algebra to express the answer. A Künneth theorem or Künneth formula is true in many different homology and cohomology theories, and the name has become generic. These many results are named for the German mathematician Hermann Künneth. Singular homology with coefficients in a field Let ''X'' and ''Y'' be two topological spaces. In general one uses singular homology; but if ''X'' and ''Y'' happen to be CW complexes, then this can be replaced by cellular hom ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Cyclic Group
In group theory, a branch of abstract algebra in pure mathematics, a cyclic group or monogenous group is a group, denoted C''n'', that is generated by a single element. That is, it is a set of invertible elements with a single associative binary operation, and it contains an element ''g'' such that every other element of the group may be obtained by repeatedly applying the group operation to ''g'' or its inverse. Each element can be written as an integer power of ''g'' in multiplicative notation, or as an integer multiple of ''g'' in additive notation. This element ''g'' is called a ''generator'' of the group. Every infinite cyclic group is isomorphic to the additive group of Z, the integers. Every finite cyclic group of order ''n'' is isomorphic to the additive group of Z/''n''Z, the integers modulo ''n''. Every cyclic group is an abelian group (meaning that its group operation is commutative), and every finitely generated abelian group ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Fundamental Group
In the mathematical field of algebraic topology, the fundamental group of a topological space is the group of the equivalence classes under homotopy of the loops contained in the space. It records information about the basic shape, or holes, of the topological space. The fundamental group is the first and simplest homotopy group. The fundamental group is a homotopy invariant—topological spaces that are homotopy equivalent (or the stronger case of homeomorphic) have isomorphic fundamental groups. The fundamental group of a topological space X is denoted by \pi_1(X). Intuition Start with a space (for example, a surface), and some point in it, and all the loops both starting and ending at this point— paths that start at this point, wander around and eventually return to the starting point. Two loops can be combined in an obvious way: travel along the first loop, then along the second. Two loops are considered equivalent if one can be deformed into the other without breakin ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Real Projective Space
In mathematics, real projective space, denoted or is the topological space of lines passing through the origin 0 in It is a compact, smooth manifold of dimension , and is a special case of a Grassmannian space. Basic properties Construction As with all projective spaces, RP''n'' is formed by taking the quotient of under the equivalence relation for all real numbers . For all ''x'' in one can always find a ''λ'' such that ''λx'' has norm 1. There are precisely two such ''λ'' differing by sign. Thus RP''n'' can also be formed by identifying antipodal points of the unit ''n''-sphere, ''S''''n'', in R''n''+1. One can further restrict to the upper hemisphere of ''S''''n'' and merely identify antipodal points on the bounding equator. This shows that RP''n'' is also equivalent to the closed ''n''-dimensional disk, ''D''''n'', with antipodal points on the boundary, , identified. Low-dimensional examples * RP1 is called the real projective line, which is topologically equ ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Hypersphere
In mathematics, an -sphere or a hypersphere is a topological space that is homeomorphic to a ''standard'' -''sphere'', which is the set of points in -dimensional Euclidean space that are situated at a constant distance from a fixed point, called the ''center''. It is the generalization of an ordinary sphere in the ordinary three-dimensional space. The "radius" of a sphere is the constant distance of its points to the center. When the sphere has unit radius, it is usual to call it the unit -sphere or simply the -sphere for brevity. In terms of the standard norm, the -sphere is defined as : S^n = \left\ , and an -sphere of radius can be defined as : S^n(r) = \left\ . The dimension of -sphere is , and must not be confused with the dimension of the Euclidean space in which it is naturally embedded. An -sphere is the surface or boundary of an -dimensional ball. In particular: *the pair of points at the ends of a (one-dimensional) line segment is a 0-sphere, *a circle, which i ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Singular Homology
In algebraic topology, singular homology refers to the study of a certain set of algebraic invariants of a topological space ''X'', the so-called homology groups H_n(X). Intuitively, singular homology counts, for each dimension ''n'', the ''n''-dimensional holes of a space. Singular homology is a particular example of a homology theory, which has now grown to be a rather broad collection of theories. Of the various theories, it is perhaps one of the simpler ones to understand, being built on fairly concrete constructions (see also the related theory simplicial homology). In brief, singular homology is constructed by taking maps of the standard ''n''-simplex to a topological space, and composing them into formal sums, called singular chains. The boundary operation – mapping each ''n''-dimensional simplex to its (''n''−1)-dimensional boundary – induces the singular chain complex. The singular homology is then the homology of the chain complex. The resulting ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Simply Connected
In topology, a topological space is called simply connected (or 1-connected, or 1-simply connected) if it is path-connected and every path between two points can be continuously transformed (intuitively for embedded spaces, staying within the space) into any other such path while preserving the two endpoints in question. The fundamental group of a topological space is an indicator of the failure for the space to be simply connected: a path-connected topological space is simply connected if and only if its fundamental group is trivial. Definition and equivalent formulations A topological space X is called if it is path-connected and any loop in X defined by f : S^1 \to X can be contracted to a point: there exists a continuous map F : D^2 \to X such that F restricted to S^1 is f. Here, S^1 and D^2 denotes the unit circle and closed unit disk in the Euclidean plane respectively. An equivalent formulation is this: X is simply connected if and only if it is path-connected, and whenev ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |