 Duality (mathematics)

In mathematics, a duality, generally speaking, translates concepts, theorems or mathematical structures into other concepts, theorems or structures, in a onetoone fashion, often (but not always) by means of an involution operation: if the dual of A is B, then the dual of B is A. As involutions sometimes have fixed points, the dual of A is sometimes A itself. For example, Desargues' theorem in projective geometry is selfdual in this sense.
In mathematical contexts, duality has numerous meanings, and although it is “a very pervasive and important concept in (modern) mathematics”^{[1]} and “an important general theme that has manifestations in almost every area of mathematics”,^{[2]} there is no single universally agreed definition that unifies all concepts of duality.^{[2]}
Many mathematical dualities between objects of two types correspond to pairings, bilinear functions from an object of one type and another object of the second type to some family of scalars. For instance, linear algebra duality corresponds in this way to bilinear maps from pairs of vector spaces to scalars, the duality between distributions and the associated test functions corresponds to the pairing in which one integrates a distribution against a test function, and Poincaré duality corresponds similarly to intersection number, viewed as a pairing between submanifolds of a given manifold.^{[3]}
Contents
Orderreversing dualities
A particularly simple form of duality comes from order theory. The dual of a poset P = (X, ≤) is the poset P^{d} = (X, ≥) comprising the same ground set but the converse relation. Familiar examples of dual partial orders include
 the subset and superset relations and on any collection of sets,
 the divides and multipleof relations on the integers, and
 the descendantof and ancestorof relations on the set of humans.
A concept defined for a partial order P will correspond to a dual concept on the dual poset P^{d}. For instance, a minimal element of P will be a maximal element of P^{d}: minimality and maximality are dual concepts in order theory. Other pairs of dual concepts are upper and lower bounds, lower sets and upper sets, and ideals and filters.
A particular order reversal of this type occurs in the family of all subsets of some set S: if denotes the complement set, then if and only if . In topology, open sets and closed sets are dual concepts: the complement of an open set is closed, and vice versa. In matroid theory, the family of sets complementary to the independent sets of a given matroid themselves form another matroid, called the dual matroid. In logic, one may represent a truth assignment to the variables of an unquantified formula as a set, the variables that are true for the assignment. A truth assignment satisfies the formula if and only if the complementary truth assignment satisfies the De Morgan dual of its formula. The existential and universal quantifiers in logic are similarly dual.
A partial order may be interpreted as a category in which there is an arrow from x to y in the category if and only if x ≤ y in the partial order. The orderreversing duality of partial orders can be extended to the concept of a dual category, the category formed by reversing all the arrows in a given category. Many of the specific dualities described later are dualities of categories in this sense.
According to ArtsteinAvidan and Milman,^{[4]}^{[5]} a duality transform is just an involutive antiautomorphism of a partially ordered set S, that is, an orderreversing involution Surprisingly, in several important cases these simple properties determine the transform uniquely up to some simple symmetries. If are two duality transforms then their composition is an order automorphism of S; thus, any two duality transforms differ only by an order automorphism. For example, all order automorphisms of a power set S = 2^{R} are induced by permutations of R. The papers cited above treat only sets S of functions on R^{n} satisfying some condition of convexity and prove that all order automorphisms are induced by linear or affine transformations of R^{n}.
Dimensionreversing dualities
There are many distinct but interrelated dualities in which geometric or topological objects correspond to other objects of the same type, but with a reversal of the dimensions of the features of the objects. A classical example of this is the duality of the platonic solids, in which the cube and the octahedron form a dual pair, the dodecahedron and the icosahedron form a dual pair, and the tetrahedron is selfdual. The dual polyhedron of any of these polyhedra may be formed as the convex hull of the center points of each face of the primal polyhedron, so the vertices of the dual correspond oneforone with the faces of the primal. Similarly, each edge of the dual corresponds to an edge of the primal, and each face of the dual corresponds to a vertex of the primal. These correspondences are incidencepreserving: if two parts of the primal polyhedron touch each other, so do the corresponding two parts of the dual polyhedron. More generally, using the concept of polar reciprocation, any convex polyhedron, or more generally any convex polytope, corresponds to a dual polyhedron or dual polytope, with an idimensional feature of an ndimensional polytope corresponding to an (n − i − 1)dimensional feature of the dual polytope. The incidencepreserving nature of the duality is reflected in the fact that the face lattices of the primal and dual polyhedra or polytopes are themselves ordertheoretic duals. Duality of polytopes and ordertheoretic duality are both involutions: the dual polytope of the dual polytope of any polytope is the original polytope, and reversing all orderrelations twice returns to the original order. Choosing a different center of polarity leads to geometrically different dual polytopes, but all have the same combinatorial structure.
From any threedimensional polyhedron, one can form a planar graph, the graph of its vertices and edges. The dual polyhedron has a dual graph, a graph with one vertex for each face of the polyhedron and with one edge for every two adjacent faces. The same concept of planar graph duality may be generalized to graphs that are drawn in the plane but that do not come from a threedimensional polyhedron, or more generally to graph embeddings on surfaces of higher genus: one may draw a dual graph by placing one vertex within each region bounded by a cycle of edges in the embedding, and drawing an edge connecting any two regions that share a boundary edge. An important example of this type comes from computational geometry: the duality for any finite set S of points in the plane between the Delaunay triangulation of S and the Voronoi diagram of S. As with dual polyhedra and dual polytopes, the duality of graphs on surfaces is a dimensionreversing involution: each vertex in the primal embedded graph corresponds to a region of the dual embedding, each edge in the primal is crossed by an edge in the dual, and each region of the primal corresponds to a vertex of the dual. The dual graph depends on how the primal graph is embedded: different planar embeddings of a single graph may lead to different dual graphs. Matroid duality is an algebraic extension of planar graph duality, in the sense that the dual matroid of the graphic matroid of a planar graph is isomorphic to the graphic matroid of the dual graph.
In topology, Poincaré duality also reverses dimensions; it corresponds to the fact that, if a topological manifold is respresented as a cell complex, then the dual of the complex (a higher dimensional generalization of the planar graph dual) represents the same manifold. In Poincaré duality, this homeomorphism is reflected in an isomorphism of the kth homology group and the (n − k)th cohomology group.
Another example of a dimensionreversing duality arises in projective geometry.^{[6]} In the projective plane, it is possible to find geometric transformations that map each point of the projective plane to a line, and each line of the projective plane to a point, in an incidencepreserving way: in terms of the incidence matrix of the points and lines in the plane, this operation is just that of forming the transpose. Transformations of this type exist also in any higher dimension; one way to construct them is to use the same polar transformations that generate polyhedron and polytope duality. Due to this ability to replace any configuration of points and lines with a corresponding configuration of lines and points, there arises a general principle of duality in projective geometry: given any theorem in plane projective geometry, exchanging the terms "point" and "line" everywhere results in a new, equally valid theorem.^{[7]}
The points, lines, and higher dimensional subspaces ndimensional projective space may be interpreted as describing the linear subspaces of an (n + 1)dimensional vector space; if this vector space is supplied with an inner product the transformation from any linear subspace to its perpendicular subspace is an example of a projective duality. The Hodge dual extends this duality within an inner product space by providing a canonical correspondence between the elements of the exterior algebra.
A kind of geometric duality also occurs in optimization theory, but not one that reverses dimensions. A linear program may be specified by a system of real variables (the coordinates for a point in Euclidean space R^{n}), a system of linear constraints (specifying that the point lie in a halfspace; the intersection of these halfspaces is a convex polytope, the feasible region of the program), and a linear function (what to optimize). Every linear program has a dual problem with the same optimal solution, but the variables in the dual problem correspond to constraints in the primal problem and vice versa.
Duality in logic and set theory
In logic, functions or relations A and B are considered dual if A(¬x) = ¬B(x), where ¬ is logical negation. The basic duality of this type is the duality of the ∃ and ∀ quantifiers. These are dual because ∃x.¬P(x) and ¬∀x.P(x) are equivalent for all predicates P: if there exists an x for which P fails to hold, then it is false that P holds for all x. From this fundamental logical duality follow several others:
 A formula is said to be satisfiable in a certain model if there are assignments to its free variables that render it true; it is valid if every assignment to its free variables makes it true. Satisfiability and validity are dual because the invalid formulas are precisely those whose negations are satisfiable, and the unsatisfiable formulas are those whose negations are valid. This can be viewed as a special case of the previous item, with the quantifiers ranging over interpretations.
 In classical logic, the ∧ and ∨ operators are dual in this sense, because (¬x ∧ ¬y) and ¬(x ∨ y) are equivalent. This means that for every theorem of classical logic there is an equivalent dual theorem. De Morgan's laws are examples. More generally, . The left side is true if and only if ∀i.¬x_{i}, and the right side if and only if ¬∃i.x_{i}.
 In modal logic, means that the proposition p is "necessarily" true, and that p is "possibly" true. Most interpretations of modal logic assign dual meanings to these two operators. For example in Kripke semantics, "p is possibly true" means "there exists some world W in which p is true", while "p is necessarily true" means "for all worlds W, p is true". The duality of and then follows from the analogous duality of ∀ and ∃. Other dual modal operators behave similarly. For example, temporal logic has operators denoting "will be true at some time in the future" and "will be true at all times in the future" which are similarly dual.
Other analogous dualities follow from these:
 Settheoretic union and intersection are dual under the set complement operator ^{C}. That is, , and more generally, . This follows from the duality of ∀ and ∃: an element x is a member of if and only if ∀α.¬x∈A_{α}, and is a member of if and only if ¬∃α.x∈A_{α}.
Topology inherits a duality between open and closed subsets of some fixed topological space X: a subset U of X is closed if and only if its complement in X is open. Because of this, many theorems about closed sets are dual to theorems about open sets. For example, any union of open sets is open, so dually, any intersection of closed sets is closed. The interior of a set is the largest open set contained in it, and the closure of the set is the smallest closed set that contains it. Because of the duality, the complement of the interior of any set U is equal to the closure of the complement of U.
The collection of all open subsets of a topological space X forms a complete Heyting algebra. There is a duality, known as Stone duality, connecting sober spaces and spatial locales.
 Birkhoff's representation theorem relating distributive lattices and partial orders
Dual objects
A group of dualities can be described by endowing, for any mathematical object X, the set of morphisms Hom(X, D) into some fixed object D, with a structure similar to the one of X. This is sometimes called internal Hom. In general, this yields a true duality only for specific choices of D, in which case X^{∗}=Hom(X, D) is referred to as the dual of X. It may or may not be true that the bidual, that is to say, the dual of the dual, X^{∗∗} = (X^{∗})^{∗} is isomorphic to X, as the following example, which is underlying many other dualities, shows: the dual vector space V^{∗} of a Kvector space V is defined as
 V^{∗} = Hom (V, K).
The set of morphisms, i.e., linear maps, is a vector space in its own right. There is always a natural, injective map V → V^{∗∗} given by v ↦ (f ↦ f(v)), where f is an element of the dual space. That map is an isomorphism if and only if the dimension of V is finite.
In the realm of topological vector spaces, a similar construction exists, replacing the dual by the topological dual vector space. A topological vector space that is canonically isomorphic to its bidual is called reflexive space.
The dual lattice of a lattice L is given by
 Hom(L, Z),
which is used in the construction of toric varieties.^{[8]} The Pontryagin dual of locally compact topological groups G is given by
 Hom(G, S^{1}),
continuous group homomorphisms with values in the circle (with multiplication of complex numbers as group operation).
Dual categories
Opposite category and adjoint functors
In another group of dualities, the objects of one theory are translated into objects of another theory and the maps between objects in the first theory are translated into morphisms in the second theory, but with direction reversed. Using the parlance of category theory, this amounts to a contravariant functor between two categories C and D:
 F: C → D
which for any two objects X and Y of C gives a map
 Hom_{C}(X, Y) → Hom_{D}(F(Y), F(X))
That functor may or may not be an equivalence of categories. There are various situations, where such a functor is an equivalence between the opposite category C^{op} of C, and D. Using a duality of this type, every statement in the first theory can be translated into a "dual" statement in the second theory, where the direction of all arrows has to be reversed.^{[9]} Therefore, any duality between categories C and D is formally the same as an equivalence between C and D^{op} (C^{op} and D). However, in many circumstances the opposite categories have no inherent meaning, which makes duality an additional, separate concept.^{[10]}
Many categorytheoretic notions come in pairs in the sense that they correspond to each other while considering the opposite category. For example, Cartesian products Y_{1} × Y_{2} and disjoint unions Y_{1} ⊔ Y_{2} of sets are dual to each other in the sense that
 Hom(X, Y_{1} × Y_{2}) = Hom(X, Y_{1}) × Hom(X, Y_{2})
and
 Hom(Y_{1} ⊔ Y_{2}, X) = Hom(Y_{1}, X) × Hom(Y_{2}, X)
for any set X. This is a particular case of a more general duality phenomenon, under which limits in a category C correspond to colimits in the opposite category C^{op}; further concrete examples of this are epimorphisms vs. monomorphism, in particular factor modules (or groups etc.) vs. submodules, direct products vs. direct sums (also called coproducts to emphasize the duality aspect). Therefore, in some cases, proofs of certain statements can be halved, using such a duality phenomenon. Further notions displaying related by such a categorical duality are projective and injective modules in homological algebra,^{[11]} fibrations and cofibrations in topology and more generally model categories.^{[12]}
Two functors F: C → D and G: D → C are adjoint if for all objects c in C and d in D
 Hom_{D}(F(c), d) ≅ Hom_{C}(c, G(d)),
in a natural way. Actually, the correspondence of limits and colimits is an example of adjoints, since there is an adjunction
between the colimit functor that assigns to any diagram in C indexed by some category I its colimit and the diagonal functor that maps any object c of C to the constant diagramm which has c at all places. Dually,
Examples
For example, there is a duality between commutative rings and affine schemes: to every commutative ring A there is an affine spectrum, Spec A, conversely, given an affine scheme S, one gets back a ring by taking global sections of the structure sheaf O_{S}. In addition, ring homomorphisms are in onetoone correspondence with morphisms of affine schemes, thereby there is an equivalence
 (Commutative rings)^{op} ≅ (affine schemes)^{[13]}
Compare with noncommutative geometry and Gelfand duality.
In a number of situations, the objects of two categories linked by a duality are partially ordered, i.e., there is some notion of an object "being smaller" than another one. In such a situation, a duality that respects the orderings in question is known as a Galois connection. An example is the standard duality in Galois theory (fundamental theorem of Galois theory) between field extensions and subgroups of the Galois group: a bigger field extension corresponds—under the mapping that assigns to any extension L ⊃ K (inside some fixed bigger field Ω) the Galois group Gal(Ω / L)—to a smaller group.^{[14]}
Pontryagin duality gives a duality on the category of locally compact abelian groups: given any such group G, the character group
 χ(G) = Hom(G, S^{1})
given by continuous group homomorphisms from G to the circle group S^{1} can be endowed with the compactopen topology. Pontryagin duality states that the character group is again locally compact abelian and that
 G ≅ χ(χ(G)).^{[15]}
Moreover, discrete groups correspond to compact abelian groups; finite groups correspond to finite groups. Pontryagin is the background to Fourier analysis, see below.
 TannakaKrein duality, a noncommutative analogue of Pontryagin duality^{[16]}
 Gelfand duality relating commutative C*algebras and compact Hausdorff spaces
Both Gelfand and Pontryagin duality can be deduced in a largely formal, categorytheoretic way.^{[17]}
Analytic dualities
In analysis, problems are frequently solved by passing to the dual description of functions and operators.
Fourier transform switches between functions on a vector space and its dual:
and conversely
If f is an L^{2}function on R or R^{N}, say, then so is and . Moreover, the transform interchanges operations of multiplication and convolution on the corresponding function spaces. A conceptual explanation of the Fourier transform is obtained by the aforementioned Pontryagin duality, applied to the locally compact groups R (or R^{N} etc.): any character of R is given by . The dualizing character of Fourier transform has many other manifestations, for example, in alternative descriptions of quantum mechanical systems in terms of coordinate and momentum representations.
 Laplace transform is similar to Fourier transform and interchanges operators of multiplication by polynomials with constant coefficient linear differential operators.
 Legendre transformation is an important analytic duality which switches between velocities in Lagrangian mechanics and momenta in Hamiltonian mechanics.
Poincaréstyle dualities
Theorems showing that certain objects of interest are the dual spaces (in the sense of linear algebra) of other objects of interest are often called dualities. Many of these dualities are given by a bilinear pairing of two Kvector spaces
 A ⊗ B → K.
For perfect pairings, there is, therefore, an isomorphism of A to the dual of B.
For example, Poincaré duality of a smooth compact complex manifold X is given by a pairing of singular cohomology with Ccoefficients (equivalently, sheaf cohomology of the constant sheaf C)
 H^{i}(X) ⊗ H^{2n−i}(X) → C,
where n is the (complex) dimension of X.^{[18]} Poincaré duality can also be expressed as a relation of singular homology and de Rham cohomology, by asserting that the map
(integrating a differential kform over an 2n−k(real)dimensional cycle) is a perfect pairing.
The same duality pattern holds for a smooth projective variety over a separably closed field, using ladic cohomology with Q_{ℓ}coefficients instead.^{[19]} This is further generalized to possibly singular varieties, using intersection cohomology instead, a duality called Verdier duality.^{[20]} With increasing level of generality, it turns out, an increasing amount of technical background is helpful or necessary to understand these theorems: the modern formulation of both these dualities can be done using derived categories and certain direct and inverse image functors of sheaves, applied to locally constant sheaves (with respect to the classical analytical topology in the first case, and with respect to the étale topology in the second case).
Yet another group of similar duality statements is encountered in arithmetics: étale cohomology of finite, local and global fields (also known as Galois cohomology, since étale cohomology over a field is equivalent to group cohomology of the (absolute) Galois group of the field) admit similar pairings. The absolute Galois group G(F_{q}) of a finite field, for example, is isomorphic to , the profinite completion of Z, the integers. Therefore, the perfect pairing (for any Gmodule M)
 H^{n}(G, M) × H^{1−n} (G, Hom (M, Q/Z)) → Q/Z^{[21]}
is a direct consequence of Pontryagin duality of finite groups. For local and global fields, similar statements exist (local duality and global or Poitou–Tate duality).^{[22]}
Serre duality or coherent duality are similar to the statements above, but applies to cohomology of coherent sheaves instead.^{[23]}
See also
 List of dualities
 Duality principle (disambiguation)
 Dual (category theory)
 Dual numbers, a certain associative algebra; the term "dual" here is synonymous with double, and is unrelated to the notions given above.
 Duality (electrical engineering)
 Lagrange duality
 Dual code
 Dual lattice
 Dual basis
 dual abelian variety
 Adjoint functors
Notes
 ^ Kostrikin 2001
 ^ ^{a} ^{b} Gowers 2008, p. 187, col. 1
 ^ Gowers 2008, p. 189, col. 2
 ^ ArtsteinAvidan & Milman 2007
 ^ ArtsteinAvidan & Milman 2008
 ^ Veblen & Young 1965.
 ^ (Veblen & Young 1965, Ch. I, Theorem 11)
 ^ Fulton 1993
 ^ Mac Lane 1998, Ch. II.1.
 ^ (Lam 1999, §19C)
 ^ Weibel (1994)
 ^ Dwyer and Spaliński (1995)
 ^ Hartshorne 1966, Ch. II.2, esp. Prop. II.2.3
 ^ See (Lang 2002, Theorem VI.1.1) for finite Galois extensions.
 ^ (Loomis 1953, p. 151, section 37D)
 ^ Joyal and Street (1991)
 ^ Negrepontis 1971.
 ^ Griffiths & Harris 1994, p. 56
 ^ Milne 1980, Ch. VI.11
 ^ Iversen 1986, Ch. VII.3, VII.5
 ^ Milne (2006, Example I.1.10)
 ^ Mazur (1973); Milne (2006)
 ^ Hartshorne 1966, Ch. III.7
References
Duality in general
 Kostrikin, A. I. (2001), "Duality", in Hazewinkel, Michiel, Encyclopaedia of Mathematics, Springer, ISBN 9781556080104, http://eom.springer.de/D/d034120.htm.
 Gowers, Timothy (2008), "III.19 Duality", The Princeton Companion to Mathematics, Princeton University Press, pp. 187–190.
 Cartier, Pierre (2001), "A mad day's work: from Grothendieck to Connes and Kontsevich. The evolution of concepts of space and symmetry", American Mathematical Society. Bulletin. New Series 38 (4): 389–408, doi:10.1090/S0273097901009132, ISSN 00029904, MR1848254, http://www.ams.org/bull/20013804/S0273097901009132/ (a nontechnical overview about several aspects of geometry, including dualities)
Specific dualities
 ArtsteinAvidan, Shiri; Milman, Vitali (2008), "The concept of duality for measure projections of convex bodies", Journal of functional analysis 254 (10): 2648–2666, doi:10.1016/j.jfa.2007.11.008. Also author's site.
 ArtsteinAvidan, Shiri; Milman, Vitali (2007), "A characterization of the concept of duality", Electronic research announcements in mathematical sciences 14: 42–59, http://www.aimsciences.org/journals/pdfs.jsp?paperID=2887&mode=full. Also author's site.
 Dwyer, William G.; Spaliński, J. (1995), "Homotopy theories and model categories", Handbook of algebraic topology, Amsterdam: NorthHolland, pp. 73–126, MR1361887, http://hopf.math.purdue.edu/cgibin/generate?/DwyerSpalinski/theories
 Fulton, William (1993), Introduction to toric varieties, Princeton University Press, ISBN 9780691000497
 Griffiths, Phillip; Harris, Joseph (1994), Principles of algebraic geometry, Wiley Classics Library, New York: John Wiley & Sons, ISBN 9780471050599, MR1288523
 Hartshorne, Robin (1966), Residues and Duality, Lecture Notes in Mathematics 20, Berlin, New York: SpringerVerlag, pp. 20–48
 Hartshorne, Robin (1977), Algebraic Geometry, Berlin, New York: SpringerVerlag, ISBN 9780387902449, MR0463157, OCLC 13348052
 Iversen, Birger (1986), Cohomology of sheaves, Universitext, Berlin, New York: SpringerVerlag, ISBN 9783540163893, MR842190
 Joyal, André; Street, Ross (1991), "An introduction to Tannaka duality and quantum groups", Category theory (Como, 1990), Lecture notes in mathematics, 1488, Berlin, New York: SpringerVerlag, pp. 413–492, MR1173027, http://www.maths.mq.edu.au/~street/CT90Como.pdf
 Lam, TsitYuen (1999), Lectures on modules and rings, Graduate Texts in Mathematics No. 189, Berlin, New York: SpringerVerlag, ISBN 9780387984285, MR1653294
 Lang, Serge (2002), Algebra, Graduate Texts in Mathematics, 211, Berlin, New York: SpringerVerlag, ISBN 9780387953854, MR1878556
 Loomis, Lynn H. (1953), An introduction to abstract harmonic analysis, TorontoNew YorkLondon: D. Van Nostrand Company, Inc., pp. x+190
 Mac Lane, Saunders (1998), Categories for the Working Mathematician (2nd ed.), Berlin, New York: SpringerVerlag, ISBN 9780387984032
 Mazur, Barry (1973), "Notes on étale cohomology of number fields", Annales Scientifiques de l'École Normale Supérieure. Quatrième Série 6: 521–552, ISSN 00129593, MR0344254
 Milne, James S. (1980), Étale cohomology, Princeton University Press, ISBN 9780691082387
 Milne, James S. (2006), Arithmetic duality theorems (2nd ed.), Charleston, SC: BookSurge, LLC, ISBN 9781419642746, MR2261462, http://www.jmilne.org/math/Books/adt.html
 Negrepontis, Joan W. (1971), "Duality in analysis from the point of view of triples", Journal of Algebra 19 (2): 228–253, doi:10.1016/00218693(71)901050, ISSN 00218693, MR0280571
 Veblen, Oswald; Young, John Wesley (1965), Projective geometry. Vols. 1, 2, Blaisdell Publishing Co. Ginn and Co. New YorkTorontoLondon, MR0179666
 Weibel, Charles A. (1994), An introduction to homological algebra, Cambridge University Press, ISBN 9780521559874, MR1269324
Categories: Duality theories
Wikimedia Foundation. 2010.