|
Pontryagin-Thom Construction
In mathematics, the Thom space, Thom complex, or Pontryagin–Thom construction (named after René Thom and Lev Pontryagin) of algebraic topology and differential topology is a topological space associated to a vector bundle, over any paracompact space. Construction of the Thom space One way to construct this space is as follows. Let :p: E \to B be a rank ''n'' real vector bundle over the paracompact space ''B''. Then for each point ''b'' in ''B'', the fiber E_b is an n-dimensional real vector space. Choose an orthogonal structure on E, a smoothly varying inner product on the fibers; we can do this using partitions of unity. Let D(E) be the unit ball bundle with respect to our orthogonal structure, and let S(E) be the unit sphere bundle, then the Thom space T(E) is the quotient T(E) := D(E)/S(E) of topological spaces. T(E) is a pointed space with the image of S(E) in the quotient as basepoint. If ''B'' is compact, then T(E) is the one-point compactification of ''E''. For example ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Coefficients
In mathematics, a coefficient is a multiplicative factor in some term of a polynomial, a series, or an expression; it is usually a number, but may be any expression (including variables such as , and ). When the coefficients are themselves variables, they may also be called parameters. For example, the polynomial 2x^2-x+3 has coefficients 2, −1, and 3, and the powers of the variable x in the polynomial ax^2+bx+c have coefficient parameters a, b, and c. The constant coefficient is the coefficient not attached to variables in an expression. For example, the constant coefficients of the expressions above are the number 3 and the parameter ''c'', respectively. The coefficient attached to the highest degree of the variable in a polynomial is referred to as the leading coefficient. For example, in the expressions above, the leading coefficients are 2 and ''a'', respectively. Terminology and definition In mathematics, a coefficient is a multiplicative factor in some term of a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Transversality (mathematics)
In mathematics, transversality is a notion that describes how spaces can intersect; transversality can be seen as the "opposite" of tangency, and plays a role in general position. It formalizes the idea of a generic intersection in differential topology. It is defined by considering the linearizations of the intersecting spaces at the points of intersection. Definition Two submanifolds of a given finite-dimensional smooth manifold are said to intersect transversally if at every point of intersection, their separate tangent spaces at that point together generate the tangent space of the ambient manifold at that point. Manifolds that do not intersect are vacuously transverse. If the manifolds are of complementary dimension (i.e., their dimensions add up to the dimension of the ambient space), the condition means that the tangent space to the ambient manifold is the direct sum of the two smaller tangent spaces. If an intersection is transverse, then the intersection will be a su ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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, denoted \pi_1(X), which records information about loops in a space. Intuitively, homotopy groups record information about the basic shape, or ''holes'', of a topological space. To define the ''n''-th homotopy group, the base-point-preserving maps from an ''n''-dimensional sphere (with base point) into a given space (with base point) are collected into equivalence classes, called homotopy classes. Two mappings are homotopic if one can be continuously deformed into the other. These homotopy classes form a group, called the ''n''-th homotopy group, \pi_n(X), of the given space ''X'' with base point. Topological spaces with differing homotopy groups are never equivalent (homeomorphic), but topological spaces that homeomorphic have the same homotopy groups. The notion of homotopy of paths was introduced by Camille Jordan. In ... [...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] |
Steenrod Operation
In algebraic topology, a Steenrod algebra was defined by to be the algebra of stable cohomology operations for mod p cohomology. For a given prime number p, the Steenrod algebra A_p is the graded Hopf algebra over the field \mathbb_p of order p, consisting of all stable cohomology operations for mod p cohomology. It is generated by the Steenrod squares introduced by for p=2, and by the Steenrod reduced pth powers introduced in and the Bockstein homomorphism for p>2. The term "Steenrod algebra" is also sometimes used for the algebra of cohomology operations of a generalized cohomology theory. Cohomology operations A cohomology operation is a natural transformation between cohomology functors. For example, if we take cohomology with coefficients in a ring R, the cup product squaring operation yields a family of cohomology operations: :H^n(X;R) \to H^(X;R) :x \mapsto x \smile x. Cohomology operations need not be homomorphisms of graded rings; see the Cartan formula below. Th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Stiefel–Whitney Class
In mathematics, in particular in algebraic topology and differential geometry, the Stiefel–Whitney classes are a set of topological invariants of a real vector bundle that describe the obstructions to constructing everywhere independent sets of sections of the vector bundle. Stiefel–Whitney classes are indexed from 0 to ''n'', where ''n'' is the rank of the vector bundle. If the Stiefel–Whitney class of index ''i'' is nonzero, then there cannot exist (n-i+1) everywhere linearly independent sections of the vector bundle. A nonzero ''n''th Stiefel–Whitney class indicates that every section of the bundle must vanish at some point. A nonzero first Stiefel–Whitney class indicates that the vector bundle is not orientable. For example, the first Stiefel–Whitney class of the Möbius strip, as a line bundle over the circle, is not zero, whereas the first Stiefel–Whitney class of the trivial line bundle over the circle, S^1 \times\R, is zero. The Stiefel–Whitney class was ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Identity (mathematics)
In mathematics, an identity is an equality relating one mathematical expression ''A'' to another mathematical expression ''B'', such that ''A'' and ''B'' (which might contain some variables) produce the same value for all values of the variables within a certain range of validity. In other words, ''A'' = ''B'' is an identity if ''A'' and ''B'' define the same functions, and an identity is an equality between functions that are differently defined. For example, (a+b)^2 = a^2 + 2ab + b^2 and \cos^2\theta + \sin^2\theta =1 are identities. Identities are sometimes indicated by the triple bar symbol instead of , the equals sign. Common identities Algebraic identities Certain identities, such as a+0=a and a+(-a)=0, form the basis of algebra, while other identities, such as (a+b)^2 = a^2 + 2ab +b^2 and a^2 - b^2 = (a+b)(a-b), can be useful in simplifying algebraic expressions and expanding them. Trigonometric identities Geometrically, trigonometric ide ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ring Isomorphism
In ring theory, a branch of abstract algebra, a ring homomorphism is a structure-preserving function between two rings. More explicitly, if ''R'' and ''S'' are rings, then a ring homomorphism is a function such that ''f'' is: :addition preserving: ::f(a+b)=f(a)+f(b) for all ''a'' and ''b'' in ''R'', :multiplication preserving: ::f(ab)=f(a)f(b) for all ''a'' and ''b'' in ''R'', :and unit (multiplicative identity) preserving: ::f(1_R)=1_S. Additive inverses and the additive identity are part of the structure too, but it is not necessary to require explicitly that they too are respected, because these conditions are consequences of the three conditions above. If in addition ''f'' is a bijection, then its inverse ''f''−1 is also a ring homomorphism. In this case, ''f'' is called a ring isomorphism, and the rings ''R'' and ''S'' are called ''isomorphic''. From the standpoint of ring theory, isomorphic rings cannot be distinguished. If ''R'' and ''S'' are rngs, then the corr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Oriented Bundle
In mathematics, an orientation of a real vector bundle is a generalization of an orientation of a vector space; thus, given a real vector bundle π: ''E'' →''B'', an orientation of ''E'' means: for each fiber ''E''''x'', there is an orientation of the vector space ''E''''x'' and one demands that each trivialization map (which is a bundle map) :\phi_U : \pi^(U) \to U \times \mathbf^n is fiberwise orientation-preserving, where R''n'' is given the standard orientation. In more concise terms, this says that the structure group of the frame bundle of ''E'', which is the real general linear group ''GL''n(R), can be reduced to the subgroup consisting of those with positive determinant. If ''E'' is a real vector bundle of rank ''n'', then a choice of metric on ''E'' amounts to a reduction of the structure group to the orthogonal group ''O''(''n''). In that situation, an orientation of ''E'' amounts to a reduction from ''O''(''n'') to the special orthogonal group ''SO''(''n''). A vec ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Construction Of The Thom Space
Construction is a general term meaning the art and science to form objects, systems, or organizations,"Construction" def. 1.a. 1.b. and 1.c. ''Oxford English Dictionary'' Second Edition on CD-ROM (v. 4.0) Oxford University Press 2009 and comes from Latin ''constructio'' (from ''com-'' "together" and ''struere'' "to pile up") and Old French ''construction''. To construct is the verb: the act of building, and the noun is construction: how something is built, the nature of its structure. In its most widely used context, construction covers the processes involved in delivering buildings, infrastructure, industrial facilities and associated activities through to the end of their life. It typically starts with planning, financing, and design, and continues until the asset is built and ready for use; construction also covers repairs and maintenance work, any works to expand, extend and improve the asset, and its eventual demolition, dismantling or decommissioning. The construction i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Reduced Cohomology
In mathematics, reduced homology is a minor modification made to homology theory in algebraic topology, motivated by the intuition that all of the homology groups of a single point should be equal to zero. This modification allows more concise statements to be made (as in Alexander duality) and eliminates many exceptional cases (as in the homology groups of spheres). If ''P'' is a single-point space, then with the usual definitions the integral homology group :''H''0(''P'') is isomorphic to \mathbb (an infinite cyclic group), while for ''i'' ≥ 1 we have :''H''''i''(''P'') = . More generally if ''X'' is a simplicial complex or finite CW complex, then the group ''H''0(''X'') is the free abelian group with the connected components of ''X'' as generators. The reduced homology should replace this group, of rank ''r'' say, by one of rank ''r'' − 1. Otherwise the homology groups should remain unchanged. An ''ad hoc'' way to do this is to think of a 0-th homology class not a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
