Search results
Results from the WOW.Com Content Network
In mathematics, a duality, generally speaking, translates concepts, theorems or mathematical structures into other concepts, theorems or structures, in a one-to-one 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.
The strong duality theorem says that if one of the two problems has an optimal solution, so does the other one and that the bounds given by the weak duality theorem are tight, i.e.: max x c T x = min y b T y. The strong duality theorem is harder to prove; the proofs usually use the weak duality theorem as a sub-routine.
Farkas' lemma is the key result underpinning the linear programming duality and has played a central role in the development of mathematical optimization (alternatively, mathematical programming). It is used amongst other things in the proof of the Karush–Kuhn–Tucker theorem in nonlinear programming . [ 2 ]
The duality gap is zero if and only if strong duality holds. Otherwise the gap is strictly positive and weak duality holds. [5] In computational optimization, another "duality gap" is often reported, which is the difference in value between any dual solution and the value of a feasible but suboptimal iterate for the primal problem.
[4] [5] [6] It is the most widely known example of duality in logic. [1] The duality consists in these metalogical theorems: In classical propositional logic, the connectives for conjunction and disjunction can be defined in terms of each other, and consequently, only one of them needs to be taken as primitive.
A duality that respects the orderings in question is known as a Galois connection. An example is the standard duality in Galois theory mentioned in the introduction: 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 ...
The idea of mathematical duality was first noticed as projective duality. There it appears as the idea of interchanging dimension k and codimension k+1 in propositions of projective geometry. A large number of duality theories have now been created in mathematics, ranging as far as optimization theory and theoretical physics.
Poincaré–Lefschetz duality theorem: a version of Poincaré duality in geometric topology, applying to a manifold with boundary Poincaré separation theorem : gives the upper and lower bounds of eigenvalues of a real symmetric matrix B'AB that can be considered as the orthogonal projection of a larger real symmetric matrix A onto a linear ...