v2009.01.01 - Convex Optimization
v2009.01.01 - Convex Optimization v2009.01.01 - Convex Optimization
74 CHAPTER 2. CONVEX GEOMETRY tradition (a) Y y p a H + H − ∂H − nontraditional (b) Y y p ã H − H + ∂H + Figure 25: (a) Hyperplane ∂H − (119) supporting closed set Y ∈ R 2 . Vector a is inward-normal to hyperplane with respect to halfspace H + , but outward-normal with respect to set Y . A supporting hyperplane can be considered the limit of an increasing sequence in the normal-direction like that in Figure 24. (b) Hyperplane ∂H + nontraditionally supporting Y . Vector ã is inward-normal to hyperplane now with respect to both halfspace H + and set Y . Tradition [173] [266] recognizes only positive normal polarity in support function σ Y as in (120); id est, normal a , figure (a). But both interpretations of supporting hyperplane are useful.
2.4. HALFSPACE, HYPERPLANE 75 2.4.2.6 PRINCIPLE 2: Supporting hyperplane The second most fundamental principle of convex geometry also follows from the geometric Hahn-Banach theorem [215,5.12] [17,1] that guarantees existence of at least one hyperplane in R n supporting a convex set (having nonempty interior) 2.18 at each point on its boundary. The partial boundary ∂H of a halfspace that contains arbitrary set Y is called a supporting hyperplane ∂H to Y when the hyperplane contains at least one point of Y . [266,11] 2.4.2.6.1 Definition. Supporting hyperplane ∂H . Assuming set Y and some normal a≠0 reside in opposite halfspaces 2.19 (Figure 25(a)), then a hyperplane supporting Y at y p ∈ ∂Y is ∂H − = { y | a T (y − y p ) = 0, y p ∈ Y , a T (z − y p ) ≤ 0 ∀z∈Y } (119) Given normal a , instead, the supporting hyperplane is where real function ∂H − = { y | a T y = sup{a T z |z∈Y} } (120) σ Y (a) ∆ = sup{a T z |z∈Y} (491) is called the support function for Y . An equivalent but nontraditional representation 2.20 for a supporting hyperplane is obtained by reversing polarity of normal a ; (1560) ∂H + = { y | ã T (y − y p ) = 0, y p ∈ Y , ã T (z − y p ) ≥ 0 ∀z∈Y } = { y | ã T y = − inf{ã T z |z∈Y} = sup{−ã T z |z∈Y} } (121) where normal ã and set Y both now reside in H + . (Figure 25(b)) When a supporting hyperplane contains only a single point of Y , that hyperplane is termed strictly supporting. 2.21 △ 2.18 It is conventional to speak of a hyperplane supporting set C but not containing C ; called nontrivial support. [266, p.100] Hyperplanes in support of lower-dimensional bodies are admitted. 2.19 Normal a belongs to H + by definition. 2.20 useful for constructing the dual cone; e.g., Figure 48(b). Tradition would instead have us construct the polar cone; which is, the negative dual cone. 2.21 Rockafellar terms a strictly supporting hyperplane tangent to Y if it is unique there; [266,18, p.169] a definition we do not adopt because our only criterion for tangency is intersection exclusively with a relative boundary. Hiriart-Urruty & Lemaréchal [173, p.44] (confer [266, p.100]) do not demand any tangency of a supporting hyperplane.
- Page 23 and 24: 23 Figure 4: This coarsely discreti
- Page 25 and 26: ases (biorthogonal expansion). We e
- Page 27 and 28: 27 Figure 7: These bees construct a
- Page 29 and 30: that establish its membership to th
- Page 31 and 32: 31 appendices Provided so as to be
- Page 33 and 34: Chapter 2 Convex geometry Convexity
- Page 35 and 36: 2.1. CONVEX SET 35 2.1.2 linear ind
- Page 37 and 38: 2.1. CONVEX SET 37 2.1.6 empty set
- Page 39 and 40: 2.1. CONVEX SET 39 2.1.7.1 Line int
- Page 41 and 42: 2.1. CONVEX SET 41 (a) R 2 (b) R 3
- Page 43 and 44: 2.1. CONVEX SET 43 This theorem in
- Page 45 and 46: 2.2. VECTORIZED-MATRIX INNER PRODUC
- Page 47 and 48: 2.2. VECTORIZED-MATRIX INNER PRODUC
- Page 49 and 50: 2.2. VECTORIZED-MATRIX INNER PRODUC
- Page 51 and 52: 2.2. VECTORIZED-MATRIX INNER PRODUC
- Page 53 and 54: 2.2. VECTORIZED-MATRIX INNER PRODUC
- Page 55 and 56: 2.3. HULLS 55 Figure 16: Convex hul
- Page 57 and 58: 2.3. HULLS 57 The affine hull of tw
- Page 59 and 60: 2.3. HULLS 59 2.3.2 Convex hull The
- Page 61 and 62: 2.3. HULLS 61 In case k = N , the F
- Page 63 and 64: 2.3. HULLS 63 2.3.2.0.3 Exercise. C
- Page 65 and 66: 2.3. HULLS 65 Figure 20: A simplici
- Page 67 and 68: 2.4. HALFSPACE, HYPERPLANE 67 H + a
- Page 69 and 70: 2.4. HALFSPACE, HYPERPLANE 69 1 1
- Page 71 and 72: 2.4. HALFSPACE, HYPERPLANE 71 Recal
- Page 73: 2.4. HALFSPACE, HYPERPLANE 73 C H
- Page 77 and 78: 2.4. HALFSPACE, HYPERPLANE 77 (conf
- Page 79 and 80: 2.5. SUBSPACE REPRESENTATIONS 79 Ra
- Page 81 and 82: 2.5. SUBSPACE REPRESENTATIONS 81 If
- Page 83 and 84: 2.6. EXTREME, EXPOSED 83 2.6 Extrem
- Page 85 and 86: 2.6. EXTREME, EXPOSED 85 A B C D Fi
- Page 87 and 88: 2.7. CONES 87 2.6.1.3.1 Definition.
- Page 89 and 90: 2.7. CONES 89 0 Figure 30: Boundary
- Page 91 and 92: 2.7. CONES 91 2.7.2 Convex cone We
- Page 93 and 94: 2.7. CONES 93 Then a pointed closed
- Page 95 and 96: 2.7. CONES 95 A pointed closed conv
- Page 97 and 98: 2.8. CONE BOUNDARY 97 So the ray th
- Page 99 and 100: 2.8. CONE BOUNDARY 99 2.8.1.1 extre
- Page 101 and 102: 2.8. CONE BOUNDARY 101 2.8.2 Expose
- Page 103 and 104: 2.8. CONE BOUNDARY 103 From Theorem
- Page 105 and 106: 2.9. POSITIVE SEMIDEFINITE (PSD) CO
- Page 107 and 108: 2.9. POSITIVE SEMIDEFINITE (PSD) CO
- Page 109 and 110: 2.9. POSITIVE SEMIDEFINITE (PSD) CO
- Page 111 and 112: 2.9. POSITIVE SEMIDEFINITE (PSD) CO
- Page 113 and 114: 2.9. POSITIVE SEMIDEFINITE (PSD) CO
- Page 115 and 116: 2.9. POSITIVE SEMIDEFINITE (PSD) CO
- Page 117 and 118: 2.9. POSITIVE SEMIDEFINITE (PSD) CO
- Page 119 and 120: 2.9. POSITIVE SEMIDEFINITE (PSD) CO
- Page 121 and 122: 2.9. POSITIVE SEMIDEFINITE (PSD) CO
- Page 123 and 124: 2.9. POSITIVE SEMIDEFINITE (PSD) CO
74 CHAPTER 2. CONVEX GEOMETRY<br />
tradition<br />
(a)<br />
Y<br />
y p<br />
a<br />
H +<br />
H −<br />
∂H −<br />
nontraditional<br />
(b)<br />
Y<br />
y p<br />
ã<br />
H −<br />
H +<br />
∂H +<br />
Figure 25: (a) Hyperplane ∂H − (119) supporting closed set Y ∈ R 2 .<br />
Vector a is inward-normal to hyperplane with respect to halfspace H + ,<br />
but outward-normal with respect to set Y . A supporting hyperplane can<br />
be considered the limit of an increasing sequence in the normal-direction like<br />
that in Figure 24. (b) Hyperplane ∂H + nontraditionally supporting Y .<br />
Vector ã is inward-normal to hyperplane now with respect to both<br />
halfspace H + and set Y . Tradition [173] [266] recognizes only positive<br />
normal polarity in support function σ Y as in (120); id est, normal a ,<br />
figure (a). But both interpretations of supporting hyperplane are useful.