A simple proof of a general duality theorem of convex programming

Summary The first part of this note presents concisely and partially proves in logical terms the relations betweenUzawa's andKuhn andTucker's equivalence theorems of nonlinear programming. In the second part we give simple mathematical proofs of two lemmata linking theKuhn-Tucker conditions and dual solutions and use them to establish a nonlinear duality theorem of considerable generality.

---

Zusammenfassung Im ersten Abschnitt dieses Beitrags demonstrieren wir in kurzer, symbolischlogischer Form die Relationen zwischenUzawas undKuhn undTuckers Äquivalenzsätzen des nichtlinearen Programmierens. Im zweiten Teil geben wir mathematische Beweise zweier Lemmata, die dieKuhn-Tucker-Bedingungen und duale Lösungen in Zusammenhang bringen, und benützen sie und die logische Struktur des ersten Teils, um ein nichtlineares Dualitätstheorem von besonderer Allgemeinheit zu beweisen.

---

---

The author is indebted toP. Van Moeseke for teaching him programming theory some time ago, and toD. Bent for helpful comments and criticism.

---

Vorgel. v.:G. Tintner.