Proof Mining - Mathematics, Algorithms and Proofs
Proof Mining - Mathematics, Algorithms and Proofs
Proof Mining - Mathematics, Algorithms and Proofs
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
<strong>Proof</strong> <strong>Mining</strong><br />
The nonseparable/noncompact case<br />
Proposition 5 Let (X, · ) be a strictly convex normed space<br />
<strong>and</strong> C ⊆ X a convex subset. Then any point x ∈ X has at most<br />
one point c ∈ C of minimal distance, i.e. x − c =dist(x, C).<br />
Hence: if X is separable <strong>and</strong> complete <strong>and</strong> provably strictly convex<br />
<strong>and</strong> C compact, then one can extract a modulus of uniqueness.<br />
Observation: compactness only used to exract uniform bound<br />
on strict convexity (= modulus of uniform convexity) from<br />
proof of strict convexity.<br />
Ulrich Kohlenbach 4