Two theorems of functional analysis effectively equivalent to choice axioms
A simple proof is given of a Monge-Kantorovich duality theorem for a lower bounded lower semicontinuous cost function on the product of two completely regular spaces. The proof uses only the Hahn-Banach theorem and some properties of Radon measures, and allows the case of a bounded continuous cost function on a product of completely regular spaces to be treated directly, without the need to consider intermediate cases. Duality for a semicontinuous cost function is then deduced via the use of an...
Page 1