The duality principle in mathematical logic is a theorem on the acceptability of mutual substitution (in a certain sense) of logical operations in the formulas of formal logical and logical-objective languages. Let be a formula in the language of propositional or predicate logic not containing the implication symbol ; a formula is said to be dual to a formula if it may be obtained from by replacing in each occurrence (cf. Imbedded word) of the symbols , , , by their dual operations, i.e. by the symbols , , , and , respectively. The duality principle states that if is true, then is true as well. In particular, if two formulas and are equivalent, their dual formulas and are equivalent too. The duality principle is valid for classical systems, and the equivalence and the truth of the formulas involved in its formulation may be understood both in terms of interpretations and in the sense of being deducible in the corresponding classical calculus. The duality principle is no longer valid if the formulas are understood in their constructive sense. For instance, in the language of propositional logic the implication is constructively true, and is even deducible in a Heyting formal system, but the converse implication of the dual formula is constructively untrue (it is not Kleene-realizable).
The following theorem is closely connected with the duality principle: If is a formula dual to a propositional or predicate formula constructed without making use of implications from the elementary propositions , then the formula is equivalent to the formula in the classical propositional or predicate calculus, respectively.
|||P.S. Novikov, "Elements of mathematical logic" , Addison-Wesley (1964) (Translated from Russian)|
|||S.C. Kleene, "Introduction to metamathematics" , North-Holland (1951)|
The duality principle in geometry is a principle formulated in certain fields of geometry, according to which the replacement in any true proposition of all concepts occurring in it by concepts dual to them results in another true proposition, dual to the first.
The validity of the duality principle in projective geometry follows from the fact that to each axiom of projective geometry corresponds a dual proposition which is either an axiom or a theorem.
The following concepts of projective geometry in the plane are dual:'
| <tbody> </tbody> |
If the fact that a point forms part of a second-order curve is considered to be an incidence relation between the point and the curve, while the fact that a straight line is tangent to a second-order curve is considered to be an incidence relation between the straight line and the curve, then second-order curve is a concept dual to that of curve of the second class. The Brianchon theorem and the Pascal theorem are an example of a pair of dual propositions. The concepts of a point and a plane in three-dimensional space are dual in projective geometry; the concept of a straight line is dual to itself.
The duality principle is also valid in elliptic geometry, in which the concept of a segment and an angle are dual in addition to those in projective geometry. For instance, the following two statements are dual in elliptic geometry:'
| <tbody> </tbody> |
|||N.V. Efimov, "Höhere Geometrie" , Deutsch. Verlag Wissenschaft. (1960) (Translated from Russian)|
Both statements in the main article above concerning triangles in elliptic geometry are false as they stand. They become true if one adds that the triangles must be of the same topological type, cf. [a3].
|[a1]||E. Artin, "Geometric algebra" , Interscience (1957)|
|[a2]||D. Pedoe, "A course of geometry" , Cambridge Univ. Press (1970)|
|[a3]||M. Berger, "Geometry" , 1–2 , Springer (1987) (Translated from French)|
The duality principle in projective geometry means that to each theorem about subspaces of a projective space , their intersections and sums there corresponds a theorem concerning the subspaces their sums and intersections. The duality principle is determined by the dual nature of the axioms of projective geometry and the theorems which follow from them. For a projective space over a skew-field the duality principle is valid if and only if permits an anti-automorphism. In the general case there is duality between the projective spaces and whose skew-fields and are anti-isomorphic; examples are the projective spaces and over (cf. Projective algebra; Correlation), and the correspondence between them, i.e. the correspondence between and , is determined by the choice of a pair of coordinate systems in and . The duality principle can also be based on a dual mapping of the linear spaces over a skew-field, which is used in the interpretation of projective spaces.
|[a1]||O. Veblen, J.W. Young, "Projective geometry" , 1 , Ginn (1938)|
The duality principle in partially ordered sets means that if some theorem on partially ordered sets, couched in general logical terms and in terms of the order, is true, then its dual theorem is also true. In order to obtain a theorem dual to a given theorem, all propositions and concepts concerned with the order are replaced by their dual ones (i.e. all order signs are replaced by and vice versa), while the general logical terms remain unchanged. The truth of a given proposition concerning a given partially ordered set (or a given class of ordered sets) does not necessarily entail the truth of the dual proposition for this set (class). Thus, a partially ordered set may have a smallest, but not a largest element; it may satisfy the minimality, but not the maximality condition. The truth of the duality principle stems from the fact that the relation inverse to a partial order is itself a partial order; the duality principle itself is sometimes understood to mean this very proposition.
A classical example is given by the family of subsets of a set, partially ordered by inclusion.
There is yet another duality principle, generalizing that for partially ordered sets:
5) The duality principle in category theory means that if some general assertion about categories and functors is true, then so is the dual assertion obtained by reversing the direction of the arrows within each category involved (though not the direction of the functors). For example, the theorem that a left adjoint functor is faithful if and only if the unit of the adjunction is monic, is dual to the theorem that a right adjoint is faithful if and only if the co-unit is epic. (See also Category.)
Duality principle. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Duality_principle&oldid=17147