|
Stratifold
In differential topology, a branch of mathematics, a stratifold is a generalization of a differentiable manifold where certain kinds of singularities are allowed. More specifically a stratifold is stratified into differentiable manifolds of (possibly) different dimensions. Stratifolds can be used to construct new homology theories. For example, they provide a new geometric model for ordinary homology. The concept of stratifolds was invented by Matthias Kreck. The basic idea is similar to that of a topologically stratified space, but adapted to differential topology. Definitions Before we come to stratifolds, we define a preliminary notion, which captures the minimal notion for a smooth structure on a space: A ''differential space'' (in the sense of Sikorski) is a pair (X, C), where ''X'' is a topological space and ''C'' is a subalgebra of the continuous functions X \to \R such that a function is in ''C'' if it is locally in ''C'' and g \circ \left(f_1, \ldots, f_n\right) : X \to \R ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Differential Topology
In mathematics, differential topology is the field dealing with the topological properties and smooth properties of smooth manifolds. In this sense differential topology is distinct from the closely related field of differential geometry, which concerns the ''geometric'' properties of smooth manifolds, including notions of size, distance, and rigid shape. By comparison differential topology is concerned with coarser properties, such as the number of holes in a manifold, its homotopy type, or the structure of its diffeomorphism group. Because many of these coarser properties may be captured algebraically, differential topology has strong links to algebraic topology. The central goal of the field of differential topology is the classification of all smooth manifolds up to diffeomorphism. Since dimension is an invariant of smooth manifolds up to diffeomorphism type, this classification is often studied by classifying the (connected) manifolds in each dimension separately: * In di ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Collar (topology)
Collar may refer to: Human neckwear *Clerical collar (informally ''dog collar''), a distinctive collar used by the clergy of some Christian religious denominations *Collar (clothing), the part of a garment that fastens around or frames the neck * Collar (jewelry), an ornament for the neck * Collar (order), a symbol of membership in various chivalric orders *Designation of workers by collar color *Livery collar, including Collar of Esses, worn around the neck and shoulders as a mark of office *Ruff (clothing), a type of collar worn in Western Europe from the mid-sixteenth century to the mid-seventeenth century *Slave collar *Collar (BDSM), a device of any material placed around the neck of the submissive partner in BDSM Animal collars * Collar (animal), a strap around an animal's neck to which a leash or tag may be attached * Dog collar, a piece of material put around the neck of a dog *Cat collar, a piece of material put around the neck of a cat *Elizabethan collar, a protective ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Genus Of A Multiplicative Sequence
In mathematics, a genus of a multiplicative sequence is a ring homomorphism from the ring of smooth compact manifolds up to the equivalence of bounding a smooth manifold with boundary (i.e., up to suitable cobordism) to another ring, usually the rational numbers, having the property that they are constructed from a sequence of polynomials in characteristic classes that arise as coefficients in formal power series with good multiplicative properties. Definition A genus \varphi assigns a number \Phi(X) to each manifold ''X'' such that # \Phi(X \sqcup Y) = \Phi(X) + \Phi(Y) (where \sqcup is the disjoint union); # \Phi(X \times Y) = \Phi(X)\Phi(Y); # \Phi(X) = 0 if ''X'' is the boundary of a manifold with boundary. The manifolds and manifolds with boundary may be required to have additional structure; for example, they might be oriented, spin, stably complex, and so on (see list of cobordism theories for many more examples). The value \Phi(X) is in some ring, often the ring of ratio ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lie Group
In mathematics, a Lie group (pronounced ) is a group that is also a differentiable manifold. A manifold is a space that locally resembles Euclidean space, whereas groups define the abstract concept of a binary operation along with the additional properties it must have to be thought of as a "transformation" in the abstract sense, for instance multiplication and the taking of inverses (division), or equivalently, the concept of addition and the taking of inverses (subtraction). Combining these two ideas, one obtains a continuous group where multiplying points and their inverses are continuous. If the multiplication and taking of inverses are smooth (differentiable) as well, one obtains a Lie group. Lie groups provide a natural model for the concept of continuous symmetry, a celebrated example of which is the rotational symmetry in three dimensions (given by the special orthogonal group \text(3)). Lie groups are widely used in many parts of modern mathematics and physics. Lie ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Equivariant Homology Theory
In mathematics, equivariant cohomology (or ''Borel cohomology'') is a cohomology theory from algebraic topology which applies to topological spaces with a '' group action''. It can be viewed as a common generalization of group cohomology and an ordinary cohomology theory. Specifically, the equivariant cohomology ring of a space X with action of a topological group G is defined as the ordinary cohomology ring with coefficient ring \Lambda of the homotopy quotient EG \times_G X: :H_G^*(X; \Lambda) = H^*(EG \times_G X; \Lambda). If G is the trivial group, this is the ordinary cohomology ring of X, whereas if X is contractible, it reduces to the cohomology ring of the classifying space BG (that is, the group cohomology of G when ''G'' is finite.) If ''G'' acts freely on ''X'', then the canonical map EG \times_G X \to X/G is a homotopy equivalence and so one gets: H_G^*(X; \Lambda) = H^*(X/G; \Lambda). Definitions It is also possible to define the equivariant cohomology H_G^*(X;A) of ... [...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] |
CW-complex
A CW complex (also called cellular complex or cell complex) is a kind of a topological space that is particularly important in algebraic topology. It was introduced by J. H. C. Whitehead (open access) to meet the needs of homotopy theory. This class of spaces is broader and has some better categorical properties than simplicial complexes, but still retains a combinatorial nature that allows for computation (often with a much smaller complex). The ''C'' stands for "closure-finite", and the ''W'' for "weak" topology. Definition CW complex A CW complex is constructed by taking the union of a sequence of topological spaces\emptyset = X_ \subset X_0 \subset X_1 \subset \cdotssuch that each X_k is obtained from X_ by gluing copies of k-cells (e^k_\alpha)_\alpha, each homeomorphic to D^k, to X_ by continuous gluing maps g^k_\alpha: \partial e^k_\alpha \to X_. The maps are also called attaching maps. Each X_k is called the k-skeleton of the complex. The topology of X = \cup_ X_ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Eilenberg–Steenrod Axioms
In mathematics, specifically in algebraic topology, the Eilenberg–Steenrod axioms are properties that homology theories of topological spaces have in common. The quintessential example of a homology theory satisfying the axioms is singular homology, developed by Samuel Eilenberg and Norman Steenrod. One can define a homology theory as a sequence of functors satisfying the Eilenberg–Steenrod axioms. The axiomatic approach, which was developed in 1945, allows one to prove results, such as the Mayer–Vietoris sequence, that are common to all homology theories satisfying the axioms.http://www.math.uiuc.edu/K-theory/0245/survey.pdf If one omits the dimension axiom (described below), then the remaining axioms define what is called an extraordinary homology theory. Extraordinary cohomology theories first arose in K-theory and cobordism. Formal definition The Eilenberg–Steenrod axioms apply to a sequence of functors H_n from the category of pairs (X,A) of topological spac ... [...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] |
Cobordism
In mathematics, cobordism is a fundamental equivalence relation on the class of compact manifolds of the same dimension, set up using the concept of the boundary (French '' bord'', giving ''cobordism'') of a manifold. Two manifolds of the same dimension are ''cobordant'' if their disjoint union is the ''boundary'' of a compact manifold one dimension higher. The boundary of an (''n'' + 1)-dimensional manifold ''W'' is an ''n''-dimensional manifold ∂''W'' that is closed, i.e., with empty boundary. In general, a closed manifold need not be a boundary: cobordism theory is the study of the difference between all closed manifolds and those that are boundaries. The theory was originally developed by René Thom for smooth manifolds (i.e., differentiable), but there are now also versions for piecewise linear and topological manifolds. A ''cobordism'' between manifolds ''M'' and ''N'' is a compact manifold ''W'' whose boundary is the disjoint union of ''M'' and ''N'', \partial ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Pair Of Pants Cobordism (pantslike)
Pair or PAIR or Pairing may refer to: Government and politics * Pair (parliamentary convention), matching of members unable to attend, so as not to change the voting margin * ''Pair'', a member of the Prussian House of Lords * ''Pair'', the French equivalent of peer, holder of a French Pairie, a French high title roughly equivalent to a member of the British peerage Mathematics * 2 (number), two of something, a pair * 2-tuple, in mathematics and set theory * Ordered pair, in mathematics and set theory * Pairing, in mathematics, an R-bilinear map of modules, where R is the underlying ring * Pair type, in programming languages and type theory, a product type with two component types * Topological pair, an inclusion of topological spaces Science and technology * Couple (app), formerly Pair, a mobile application for two people * PAIR (puncture-aspiration-injection-reaspiration), in medicine * Pairing, a handshaking process in Bluetooth communications * Pair programming, an agile soft ... [...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 variation of the suspension for 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 \, 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 point ("g ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
.svg "Click for more on -> Cobordism")