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 cp is a p-cochain and dq is a q-cochain, then
where σ is a (p + q) -singular simplex and is the canonical embedding of the simplex spanned by S into the -standard simplex.
Informally, is the p-th front face and is the q-th back face of σ, respectively.
The coboundary of the cup product of cocycles cp and dq is given by
The cup product of two cocycles is again a cocycle, and the product of a coboundary with a cocycle (in either order) is a coboundary. Thus, the cup product operation passes to cohomology, defining a bilinear operation
Read more about this topic: Cup Product
Famous quotes containing the word definition:
“The man who knows governments most completely is he who troubles himself least about a definition which shall give their essence. Enjoying an intimate acquaintance with all their particularities in turn, he would naturally regard an abstract conception in which these were unified as a thing more misleading than enlightening.”
—William James (1842–1910)
“Scientific method is the way to truth, but it affords, even in
principle, no unique definition of truth. Any so-called pragmatic
definition of truth is doomed to failure equally.”
—Willard Van Orman Quine (b. 1908)
“I’m beginning to think that the proper definition of “Man” is “an animal that writes letters.””
—Lewis Carroll [Charles Lutwidge Dodgson] (1832–1898)