|
Cohomology Theory
In mathematics, specifically in homology theory and algebraic topology, cohomology is a general term for a sequence of abelian groups, usually one associated with a topological space, often defined from a cochain complex. Cohomology can be viewed as a method of assigning richer algebraic invariants to a space than homology. Some versions of cohomology arise by dualizing the construction of homology. In other words, cochains are functions on the group of chains in homology theory. From its start in topology, this idea became a dominant method in the mathematics of the second half of the twentieth century. From the initial idea of homology as a method of constructing algebraic invariants of topological spaces, the range of applications of homology and cohomology theories has spread throughout geometry and algebra. The terminology tends to hide the fact that cohomology, a contravariant theory, is more natural than homology in many applications. At a basic level, this has to do with ... [...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] |
Continuous Map
In mathematics, a continuous function is a function such that a small variation of the argument induces a small variation of the value of the function. This implies there are no abrupt changes in value, known as '' discontinuities''. More precisely, a function is continuous if arbitrarily small changes in its value can be assured by restricting to sufficiently small changes of its argument. A discontinuous function is a function that is . Until the 19th century, mathematicians largely relied on intuitive notions of continuity and considered only continuous functions. The epsilon–delta definition of a limit was introduced to formalize the definition of continuity. Continuity is one of the core concepts of calculus and mathematical analysis, where arguments and values of functions are real and complex numbers. The concept has been generalized to functions between metric spaces and between topological spaces. The latter are the most general continuous functions, and their de ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Contravariant Functor
In mathematics, specifically category theory, a functor is a mapping between categories. Functors were first considered in algebraic topology, where algebraic objects (such as the fundamental group) are associated to topological spaces, and maps between these algebraic objects are associated to continuous maps between spaces. Nowadays, functors are used throughout modern mathematics to relate various categories. Thus, functors are important in all areas within mathematics to which category theory is applied. The words ''category'' and ''functor'' were borrowed by mathematicians from the philosophers Aristotle and Rudolf Carnap, respectively. The latter used ''functor'' in a linguistic context; see function word. Definition Let ''C'' and ''D'' be categories. A functor ''F'' from ''C'' to ''D'' is a mapping that * associates each object X in ''C'' to an object F(X) in ''D'', * associates each morphism f \colon X \to Y in ''C'' to a morphism F(f) \colon F(X) \to F ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Pullback (cohomology)
In algebraic topology, given a continuous map ''f'': ''X'' → ''Y'' of topological spaces and a ring ''R'', the pullback along ''f'' on cohomology theory is a grade-preserving ''R''-algebra homomorphism: :f^*: H^*(Y; R) \to H^*(X; R) from the cohomology ring of ''Y'' with coefficients in ''R'' to that of ''X''. The use of the superscript is meant to indicate its contravariant nature: it reverses the direction of the map. For example, if ''X'', ''Y'' are manifolds, ''R'' the field of real numbers, and the cohomology is de Rham cohomology, then the pullback is induced by the pullback of differential forms. The homotopy invariance of cohomology states that if two maps ''f'', ''g'': ''X'' → ''Y'' are homotopic to each other, then they determine the same pullback: ''f''* = ''g''*. In contrast, a pushforward for de Rham cohomology for example is given by integration-along-fibers. Definition from chain complexes We first review the definition of the cohomology of the dual of a c ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Pushforward (homology)
In algebraic topology, the pushforward of a continuous function f : X \rightarrow Y between two topological spaces is a homomorphism f_:H_n\left(X\right) \rightarrow H_n\left(Y\right) between the homology groups for n \geq 0. Homology is a functor which converts a topological space X into a sequence of homology groups H_\left(X\right). (Often, the collection of all such groups is referred to using the notation H_\left(X\right); this collection has the structure of a graded ring.) In any category, a functor must induce a corresponding morphism. The pushforward is the morphism corresponding to the homology functor. Definition for singular and simplicial homology We build the pushforward homomorphism as follows (for singular or simplicial homology): First, the map f\colon X\to Y induces a homomorphism between the singular or simplicial chain complex C_n\left(X\right) and C_n\left(Y\right) defined by composing each singular n-simplex \sigma_X\colon\Delta^n\rightarrow X with f to ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Integer
An integer is the number zero (0), a positive natural number (1, 2, 3, ...), or the negation of a positive natural number (−1, −2, −3, ...). The negations or additive inverses of the positive natural numbers are referred to as negative integers. The set (mathematics), set of all integers is often denoted by the boldface or blackboard bold The set of natural numbers \mathbb is a subset of \mathbb, which in turn is a subset of the set of all rational numbers \mathbb, itself a subset of the real numbers \mathbb. Like the set of natural numbers, the set of integers \mathbb is Countable set, countably infinite. An integer may be regarded as a real number that can be written without a fraction, fractional component. For example, 21, 4, 0, and −2048 are integers, while 9.75, , 5/4, and Square root of 2, are not. The integers form the smallest Group (mathematics), group and the smallest ring (mathematics), ring containing the natural numbers. In algebraic number theory, the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Module (mathematics)
In mathematics, a module is a generalization of the notion of vector space in which the field of scalars is replaced by a (not necessarily commutative) ring. The concept of a ''module'' also generalizes the notion of an abelian group, since the abelian groups are exactly the modules over the ring of integers. Like a vector space, a module is an additive abelian group, and scalar multiplication is distributive over the operations of addition between elements of the ring or module and is compatible with the ring multiplication. Modules are very closely related to the representation theory of groups. They are also one of the central notions of commutative algebra and homological algebra, and are used widely in algebraic geometry and algebraic topology. Introduction and definition Motivation In a vector space, the set of scalars is a field and acts on the vectors by scalar multiplication, subject to certain axioms such as the distributive law. In a module, the scal ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Commutative Ring
In mathematics, a commutative ring is a Ring (mathematics), ring in which the multiplication operation is commutative. The study of commutative rings is called commutative algebra. Complementarily, noncommutative algebra is the study of ring properties that are not specific to commutative rings. This distinction results from the high number of fundamental properties of commutative rings that do not extend to noncommutative rings. Commutative rings appear in the following chain of subclass (set theory), class inclusions: Definition and first examples Definition A ''ring'' is a Set (mathematics), set R equipped with two binary operations, i.e. operations combining any two elements of the ring to a third. They are called ''addition'' and ''multiplication'' and commonly denoted by "+" and "\cdot"; e.g. a+b and a \cdot b. To form a ring these two operations have to satisfy a number of properties: the ring has to be an abelian group under addition as well as a monoid under m ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Equivalence Class
In mathematics, when the elements of some set S have a notion of equivalence (formalized as an equivalence relation), then one may naturally split the set S into equivalence classes. These equivalence classes are constructed so that elements a and b belong to the same equivalence class if, and only if, they are equivalent. Formally, given a set S and an equivalence relation \sim on S, the of an element a in S is denoted /math> or, equivalently, to emphasize its equivalence relation \sim, and is defined as the set of all elements in S with which a is \sim-related. The definition of equivalence relations implies that the equivalence classes form a partition of S, meaning, that every element of the set belongs to exactly one equivalence class. The set of the equivalence classes is sometimes called the quotient set or the quotient space of S by \sim, and is denoted by S /. When the set S has some structure (such as a group operation or a topology) and the equivalence re ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dual Space
In mathematics, any vector space ''V'' has a corresponding dual vector space (or just dual space for short) consisting of all linear forms on ''V,'' together with the vector space structure of pointwise addition and scalar multiplication by constants. The dual space as defined above is defined for all vector spaces, and to avoid ambiguity may also be called the . When defined for a topological vector space, there is a subspace of the dual space, corresponding to continuous linear functionals, called the continuous dual space. Dual vector spaces find application in many branches of mathematics that use vector spaces, such as in tensor analysis with finite-dimensional vector spaces. When applied to vector spaces of functions (which are typically infinite-dimensional), dual spaces are used to describe measures, distributions, and Hilbert spaces. Consequently, the dual space is an important concept in functional analysis. Early terms for ''dual'' include ''polarer Raum'' ahn 1 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Free Abelian Group
In mathematics, a free abelian group is an abelian group with a Free module, basis. Being an abelian group means that it is a Set (mathematics), set with an addition operation (mathematics), operation that is associative, commutative, and invertible. A basis, also called an integral basis, is a subset such that every element of the group (mathematics), group can be uniquely expressed as an integer linear combination, combination of finitely many basis elements. For instance, the two-dimensional integer lattice forms a free abelian group, with coordinatewise addition as its operation, and with the two points (1, 0) and (0, 1) as its basis. Free abelian groups have properties which make them similar to vector spaces, and may equivalently be called free the free modules over the integers. Lattice (group), Lattice theory studies free abelian subgroups of real number, real vector spaces. In algebraic topology, free abelian groups are used to define Chain (algebraic topology), chain gro ... [...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 simplex, standard -simplex to a topological space, and composing them into Free abelian group#Integer functions and formal sums, formal sums, called singular chains. The boundary operation – mapping each n-dimensional simplex to its (n-1)-dimensional boundary operator, boundary – induces the singular chain complex. The singular homology is then ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
