|
Slant Product
In algebraic topology the cap product is a method of adjoining a chain of degree p with a cochain of degree q, such that q\leq p, to form a composite chain of degree p-q. It was introduced by Eduard Čech in 1936, and independently by Hassler Whitney in 1938. Definition Let ''X'' be a topological space and ''R'' a coefficient ring. The cap product is a bilinear map on singular homology and cohomology :\frown\;: H_p(X;R)\times H^q(X;R) \rightarrow H_(X;R). defined by contracting a singular chain \sigma : \Delta^p \rightarrow X with a singular cochain \psi \in C^q(X;R), by the formula: : \sigma \frown \psi = \psi(\sigma, _) \sigma, _. Here, the notation \sigma, _ indicates the restriction of the simplicial map \sigma to its face spanned by the vectors of the base, see Simplex. Interpretation In analogy with the interpretation of the cup product in terms of the Künneth formula, we can explain the existence of the cap product in the following way. Using CW appro ... [...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 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 groups record information ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Diagonal Functor
In category theory, a branch of mathematics, the diagonal functor \mathcal \rightarrow \mathcal \times \mathcal is given by \Delta(a) = \langle a,a \rangle, which maps objects as well as morphisms. This functor can be employed to give a succinct alternate description of the product of objects ''within'' the category \mathcal: a product a \times b is a universal arrow from \Delta to \langle a,b \rangle. The arrow comprises the projection maps. More generally, given a small index category \mathcal, one may construct the functor category \mathcal^\mathcal, the objects of which are called diagrams. For each object a in \mathcal, there is a constant diagram \Delta_a : \mathcal \to \mathcal that maps every object in \mathcal to a and every morphism in \mathcal to 1_a. The diagonal functor \Delta : \mathcal \rightarrow \mathcal^\mathcal assigns to each object a of \mathcal the diagram \Delta_a, and to each morphism f: a \rightarrow b in \mathcal the natural transformation \eta in \mat ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
University Of Chicago Press
The University of Chicago Press is the university press of the University of Chicago, a Private university, private research university in Chicago, Illinois. It is the largest and one of the oldest university presses in the United States. It publishes a wide range of academic titles, including ''The Chicago Manual of Style'', numerous academic journals, and advanced monographs in the academic fields. The press is located just south of the Midway Plaisance on the University of Chicago campus. One of its quasi-independent projects is the BiblioVault, a digital repository for scholarly books. History The University of Chicago Press was founded in 1890, making it one of the oldest continuously operating university presses in the United States. Its first published book was Robert F. Harper's ''Assyrian and Babylonian Letters Belonging to the Kouyunjik Collections of the British Museum''. The book sold five copies during its first two years, but by 1900, the University of Chicago Pr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cambridge University Press
Cambridge University Press was the university press of the University of Cambridge. Granted a letters patent by King Henry VIII in 1534, it was the oldest university press in the world. Cambridge University Press merged with Cambridge Assessment to form Cambridge University Press and Assessment under Queen Elizabeth II's approval in August 2021. With a global sales presence, publishing hubs, and offices in more than 40 countries, it published over 50,000 titles by authors from over 100 countries. Its publications include more than 420 academic journals, monographs, reference works, school and university textbooks, and English language teaching and learning publications. It also published Bibles, runs a bookshop in Cambridge, sells through Amazon, and has a conference venues business in Cambridge at the Pitt Building and the Sir Geoffrey Cass Sports and Social Centre. It also served as the King's Printer. Cambridge University Press, as part of the University of Cambridge, was a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Allen Hatcher
Allen Edward Hatcher (born October 23, 1944) is an American mathematician specializing in geometric topology. Biography Hatcher was born in Indianapolis, Indiana. After obtaining his Bachelor of Arts, B.A. and Bachelor of Music, B.Mus. from Oberlin College in 1966, he went for his graduate studies to Stanford University, where he received his Doctor of Philosophy, Ph.D. in 1971. His thesis, ''A K2 Obstruction for Pseudo-Isotopies'', was written under the supervision of Hans Samelson. Afterwards, Hatcher went to Princeton University, where he was an National Science Foundation, NSF postdoc for a year, then a lecturer for another year, and then Assistant Professor from 1973 to 1979. He was also a member of the Institute for Advanced Study in 1975–76 and 1979–80. Hatcher moved to the University of California, Los Angeles as an assistant professor in 1977. From 1983 he has been a professor at Cornell University; he is now a emeritus, professor emeritus. In 1978 Hatcher was an Li ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Homology Theory
In mathematics, the term homology, originally introduced in algebraic topology, has three primary, closely-related usages. The most direct usage of the term is to take the ''homology of a chain complex'', resulting in a sequence of abelian groups called ''homology groups.'' This operation, in turn, allows one to associate various named ''homologies'' or ''homology theories'' to various other types of mathematical objects. Lastly, since there are many homology theories for topological spaces that produce the same answer, one also often speaks of the ''homology of a topological space''. (This latter notion of homology admits more intuitive descriptions for 1- or 2-dimensional topological spaces, and is sometimes referenced in popular mathematics.) There is also a related notion of the cohomology of a cochain complex, giving rise to various cohomology theories, in addition to the notion of the cohomology of a topological space. Homology of chain complexes To take the homology o ... [...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] |
Cup Product
In mathematics, specifically in algebraic topology, the cup product is a method of adjoining two cocycles of degree p and q to form a composite cocycle of degree p+q. This defines an associative (and distributive) graded commutative product operation in cohomology, turning the cohomology of a space X into a graded ring, H^*(X), called the cohomology ring. The cup product was introduced in work of J. W. Alexander, Eduard Čech and Hassler Whitney from 1935–1938, and, in full generality, by Samuel Eilenberg in 1944. Definition In singular cohomology, the cup product is a construction giving a product on the graded cohomology ring H^*(X) of a topological space X. The construction starts with a product of cochains: if \alpha^p is a p-cochain and \beta^q is a q-cochain, then :(\alpha^p \smile \beta^q)(\sigma) = \alpha^p(\sigma \circ \iota_) \cdot \beta^q(\sigma \circ \iota_) where \sigma is a singular (p+q)- simplex and \iota_S , S \subset \ is the canonical embeddi ... [...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] |
Poincaré Duality
In mathematics, the Poincaré duality theorem, named after Henri Poincaré, is a basic result on the structure of the homology (mathematics), homology and cohomology group (mathematics), groups of manifolds. It states that if ''M'' is an ''n''-dimensional Orientability, oriented closed manifold (Compact space, compact and without boundary), then the ''k''th cohomology group of ''M'' is Group isomorphism, isomorphic to the th homology group of ''M'', for all integers ''k'' : H^k(M) \cong H_(M). Poincaré duality holds for any coefficient ring (mathematics), ring, so long as one has taken an orientation with respect to that coefficient ring; in particular, since every manifold has a unique orientation mod 2, Poincaré duality holds mod 2 without any assumption of orientation. History A form of Poincaré duality was first stated, without proof, by Henri Poincaré in 1893. It was stated in terms of Betti numbers: The ''k''th and th Betti numbers of a closed (i.e., compact and witho ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Orientability
In mathematics, orientability is a property of some topological spaces such as real vector spaces, Euclidean spaces, surfaces, and more generally manifolds that allows a consistent definition of "clockwise" and "anticlockwise". A space is orientable if such a consistent definition exists. In this case, there are two possible definitions, and a choice between them is an orientation of the space. Real vector spaces, Euclidean spaces, and spheres are orientable. A space is non-orientable if "clockwise" is changed into "counterclockwise" after running through some loops in it, and coming back to the starting point. This means that a geometric shape, such as , that moves continuously along such a loop is changed into its own mirror image . A Möbius strip is an example of a non-orientable space. Various equivalent formulations of orientability can be given, depending on the desired application and level of generality. Formulations applicable to general topological manifolds oft ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Relative Homology
In algebraic topology, a branch of mathematics, the (singular) homology of a topological space relative to a subspace is a construction in singular homology, for pairs of spaces. The relative homology is useful and important in several ways. Intuitively, it helps determine what part of an absolute homology group comes from which subspace. Definition Given a subspace A\subseteq X, one may form the short exact sequence :0\to C_\bullet(A) \to C_\bullet(X)\to C_\bullet(X) /C_\bullet(A) \to 0 , where C_\bullet(X) denotes the singular chains on the space ''X''. The boundary map on C_\bullet(X) descends to C_\bullet(A) and therefore induces a boundary map \partial'_\bullet on the quotient. If we denote this quotient by C_n(X,A):=C_n(X)/C_n(A), we then have a complex :\cdots\longrightarrow C_n(X,A) \xrightarrow C_(X,A) \longrightarrow \cdots . By definition, the th relative homology group of the pair of spaces (X,A) is :H_n(X,A) := \ker\partial'_n/\operatorname\partial'_. One s ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
