A simple proof in Monge-Kantorovich duality theory

D. A. Edwards. "A simple proof in Monge-Kantorovich duality theory." Studia Mathematica 200.1 (2010): 67-77. <http://eudml.org/doc/285705>.

@article{D2010,
abstract = {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 approximating net. The duality result on completely regular spaces also allows us to extend to arbitrary metric spaces a well known duality theorem on Polish spaces, at the same time simplifying the proof. A deep investigation by Kellerer [Z. Warsch. Verw. Gebiete 67 (1984)] yielded a wide range of conditions sufficient for duality to hold. The more limited aims of the present paper make possible simpler, very direct, proofs which also offer an alternative to some recent accounts of duality.},
author = {D. A. Edwards},
journal = {Studia Mathematica},
keywords = {Monge-Kantorovich duality theorem; Hahn-Banach theorem; Radon measures},
language = {eng},
number = {1},
pages = {67-77},
title = {A simple proof in Monge-Kantorovich duality theory},
url = {http://eudml.org/doc/285705},
volume = {200},
year = {2010},
}

TY - JOUR
AU - D. A. Edwards
TI - A simple proof in Monge-Kantorovich duality theory
JO - Studia Mathematica
PY - 2010
VL - 200
IS - 1
SP - 67
EP - 77
AB - 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 approximating net. The duality result on completely regular spaces also allows us to extend to arbitrary metric spaces a well known duality theorem on Polish spaces, at the same time simplifying the proof. A deep investigation by Kellerer [Z. Warsch. Verw. Gebiete 67 (1984)] yielded a wide range of conditions sufficient for duality to hold. The more limited aims of the present paper make possible simpler, very direct, proofs which also offer an alternative to some recent accounts of duality.
LA - eng
KW - Monge-Kantorovich duality theorem; Hahn-Banach theorem; Radon measures
UR - http://eudml.org/doc/285705
ER -