Introduction |
|
1 | (6) |
|
PART ONE TOPOLOGICAL PROPERTIES |
|
|
7 | (170) |
|
|
9 | (9) |
|
|
9 | (6) |
|
|
15 | (3) |
|
|
18 | (20) |
|
|
18 | (3) |
|
2.2 The Topology of Metric Spaces |
|
|
21 | (3) |
|
2.3 Completeness: Tietze's Extension Theorem |
|
|
24 | (3) |
|
|
27 | (2) |
|
2.5 The Completion of a Metric Space |
|
|
29 | (2) |
|
2.6 Topologically Complete Spaces |
|
|
31 | (2) |
|
2.7 Baire's Category Theorem |
|
|
33 | (2) |
|
|
35 | (3) |
|
3 Polish Spaces and Compactness |
|
|
38 | (12) |
|
|
38 | (1) |
|
3.2 Totally Bounded Metric Spaces |
|
|
39 | (2) |
|
3.3 Compact Metrizable Spaces |
|
|
41 | (6) |
|
3.4 Locally Compact Polish Spaces |
|
|
47 | (3) |
|
4 Semi-continuous Functions |
|
|
50 | (6) |
|
4.1 The Effective Domain and Proper Functions |
|
|
50 | (1) |
|
|
50 | (3) |
|
4.3 The Brezis--Browder Lemma |
|
|
53 | (1) |
|
4.4 Ekeland's Variational Principle |
|
|
54 | (2) |
|
5 Uniform Spaces and Topological Groups |
|
|
56 | (15) |
|
|
56 | (3) |
|
5.2 The Uniformity of a Compact Hausdorff Space |
|
|
59 | (2) |
|
|
61 | (3) |
|
5.4 The Uniformities of a Topological Group |
|
|
64 | (2) |
|
|
66 | (1) |
|
5.6 Metrizable Topological Groups |
|
|
67 | (4) |
|
|
71 | (8) |
|
|
71 | (1) |
|
6.2 The Space (D[ 0, 1], d∞) |
|
|
72 | (1) |
|
6.3 The Skorohod Topology |
|
|
73 | (2) |
|
|
75 | (4) |
|
|
79 | (18) |
|
7.1 Normed Spaces and Banach Spaces |
|
|
79 | (3) |
|
7.2 The Space BL(X) of Bounded Lipschitz Functions |
|
|
82 | (1) |
|
7.3 Introduction to Convexity |
|
|
83 | (3) |
|
7.4 Convex Sets in a Normed Space |
|
|
86 | (2) |
|
|
88 | (3) |
|
7.6 Five Fundamental Theorems |
|
|
91 | (4) |
|
7.7 The Petal Theorem and Danes's Drop Theorem |
|
|
95 | (2) |
|
|
97 | (15) |
|
|
97 | (4) |
|
8.2 Hilbert Space; Nearest Points |
|
|
101 | (3) |
|
8.3 Orthonormal Sequences; Gram--Schmidt Orthonormalization |
|
|
104 | (3) |
|
|
107 | (1) |
|
8.5 The Frechet--Riesz Representation Theorem; Adjoints |
|
|
108 | (4) |
|
9 The Hahn--Banach Theorem |
|
|
112 | (16) |
|
9.1 The Hahn--Banach Extension Theorem |
|
|
112 | (4) |
|
9.2 The Separation Theorem |
|
|
116 | (2) |
|
|
118 | (1) |
|
|
119 | (1) |
|
9.5 Weak and Weak* Topologies for Normed Spaces |
|
|
120 | (4) |
|
9.6 Banach's Theorem and the Banach--Alaoglu Theorem |
|
|
124 | (1) |
|
9.7 The Complex Hahn--Banach Theorem |
|
|
125 | (3) |
|
|
128 | (5) |
|
|
128 | (2) |
|
10.2 Continuous Convex Functions |
|
|
130 | (3) |
|
11 Subdifferentials and the Legendre Transform |
|
|
133 | (22) |
|
11.1 Differentials and Subdifferentials |
|
|
133 | (1) |
|
11.2 The Legendre Transform |
|
|
134 | (3) |
|
11.3 Some Examples of Legendre Transforms |
|
|
137 | (2) |
|
|
139 | (1) |
|
11.5 The Subdifferential of a Very Regular Convex Function |
|
|
140 | (3) |
|
|
143 | (5) |
|
11.7 The Fenchel--Rockafeller Duality Theorem |
|
|
148 | (1) |
|
11.8 The Bishop--Phelps Theorem |
|
|
149 | (2) |
|
11.9 Monotone and Cyclically Monotone Sets |
|
|
151 | (4) |
|
12 Compact Convex Polish Spaces |
|
|
155 | (7) |
|
12.1 Compact Polish Subsets of a Dual Pair |
|
|
155 | (2) |
|
|
157 | (3) |
|
|
160 | (2) |
|
13 Some Fixed Point Theorems |
|
|
162 | (15) |
|
13.1 The Contraction Mapping Theorem |
|
|
162 | (3) |
|
13.2 Fixed Point Theorems of Caristi and Clarke |
|
|
165 | (2) |
|
|
167 | (1) |
|
|
168 | (2) |
|
13.5 Brouwer's Fixed Point Theorem |
|
|
170 | (1) |
|
13.6 Schauder's Fixed Point Theorem |
|
|
171 | (2) |
|
13.7 Fixed Point Theorems of Markov and Kakutani |
|
|
173 | (2) |
|
13.8 The Ryll--Nardzewski Fixed Point Theorem |
|
|
175 | (2) |
|
PART TWO MEASURES ON POLISH SPACES |
|
|
177 | (120) |
|
14 Abstract Measure Theory |
|
|
179 | (12) |
|
14.1 Measurable Sets and Functions |
|
|
179 | (3) |
|
|
182 | (2) |
|
14.3 Convergence of Measurable Functions |
|
|
184 | (3) |
|
|
187 | (1) |
|
14.5 Integrable Functions |
|
|
188 | (3) |
|
15 Further Measure Theory |
|
|
191 | (19) |
|
|
191 | (3) |
|
|
194 | (2) |
|
|
196 | (3) |
|
15.4 The Radon--Nikodym Theorem |
|
|
199 | (4) |
|
15.5 Orlicz Spaces and LP Spaces |
|
|
203 | (7) |
|
|
210 | (33) |
|
16.1 Borel Measures, Regularity and Tightness |
|
|
210 | (4) |
|
|
214 | (1) |
|
16.3 Borel Measures on Polish Spaces |
|
|
215 | (1) |
|
|
216 | (2) |
|
16.5 Measures on the Bernoulli Sequence Space Ω(N) |
|
|
218 | (4) |
|
16.6 The Riesz Representation Theorem |
|
|
222 | (3) |
|
16.7 The Locally Compact Riesz Representation Theorem |
|
|
225 | (1) |
|
16.8 The Stone--Weierstrass Theorem |
|
|
226 | (2) |
|
|
228 | (3) |
|
16.10 Disintegration of Measures |
|
|
231 | (3) |
|
|
234 | (2) |
|
16.12 Haar Measure on Compact Metrizable Groups |
|
|
236 | (2) |
|
16.13 Haar Measure on Locally Compact Polish Topological Groups |
|
|
238 | (5) |
|
17 Measures on Euclidean Space |
|
|
243 | (14) |
|
17.1 Borel Measures on R and Rd |
|
|
243 | (2) |
|
17.2 Functions of Bounded Variation |
|
|
245 | (2) |
|
17.3 Spherical Derivatives |
|
|
247 | (2) |
|
17.4 The Lebesgue Differentiation Theorem |
|
|
249 | (1) |
|
17.5 Differentiating Singular Measures |
|
|
250 | (1) |
|
17.6 Differentiating Functions in bv0 |
|
|
251 | (3) |
|
17.7 Rademacher's Theorem |
|
|
254 | (3) |
|
18 Convergence of Measures |
|
|
257 | (23) |
|
|
257 | (1) |
|
|
258 | (2) |
|
18.3 The Portmanteau Theorem |
|
|
260 | (4) |
|
|
264 | (2) |
|
|
266 | (3) |
|
18.6 The Prokhorov Metric |
|
|
269 | (2) |
|
18.7 The Fourier Transform and the Central Limit Theorem |
|
|
271 | (5) |
|
18.8 Uniform Integrability |
|
|
276 | (2) |
|
18.9 Uniform Integrability in Orlicz Spaces |
|
|
278 | (2) |
|
19 Introduction to Choquet Theory |
|
|
280 | (17) |
|
|
280 | (2) |
|
19.2 The Lower Convex Envelope Revisited |
|
|
282 | (2) |
|
|
284 | (1) |
|
|
285 | (4) |
|
|
289 | (2) |
|
19.6 The Choquet Ordering |
|
|
291 | (2) |
|
|
293 | (4) |
|
PART THREE INTRODUCTION TO OPTIMAL TRANSPORTATION |
|
|
297 | (42) |
|
20 Optimal Transportation |
|
|
299 | (16) |
|
|
299 | (1) |
|
20.2 The Kantorovich Problem |
|
|
300 | (3) |
|
20.3 The Kantorovich--Rubinstein Theorem |
|
|
303 | (2) |
|
|
305 | (3) |
|
20.5 c-cyclical Monotonicity |
|
|
308 | (2) |
|
20.6 Optimal Transport Plans Revisited |
|
|
310 | (3) |
|
|
313 | (2) |
|
|
315 | (10) |
|
21.1 The Wasserstein Metrics Wp |
|
|
315 | (2) |
|
21.2 The Wasserstein Metric W1 |
|
|
317 | (1) |
|
|
318 | (2) |
|
|
320 | (2) |
|
|
322 | (1) |
|
21.6 The Mallows Distances |
|
|
323 | (2) |
|
|
325 | (14) |
|
22.1 Strictly Subadditive Metric Cost Functions |
|
|
325 | (1) |
|
|
326 | (1) |
|
22.3 The Quadratic Cost Function |
|
|
327 | (2) |
|
22.4 The Monge Problem on Rd |
|
|
329 | (2) |
|
22.5 Strictly Convex Translation Invariant Costs on Rd |
|
|
331 | (5) |
|
22.6 Some Strictly Concave Translation-Invariant Costs on Rd |
|
|
336 | (3) |
Further Reading |
|
339 | (3) |
Index |
|
342 | |