למת הנגישות

באופטימיזציה קמורה, למת הנגישות קובעת שכל הנקודות בקטע המחבר נקודה פנימית ונקודת שפה של קבוצה קמורה, למעט נקודת השפה, הן נקודות פנימיות. הלמה חשובה מכיוון שהיא משמשת להוכחת משפט התמיכה – משפט שעוזר להגיע לתוצאות מרכזיות בתחום, כמו משפט קרוש-קון-טאקר. תהי Ω ⊆ R n {\displaystyle \Omega \subseteq \mathbb {R} ^{n}} קבוצה קמורה עם פנים ושפה לא ריקים. יהיו x ∈ Ω ∘ {\displaystyle {\boldsymbol {x}}\in \Omega ^{\circ }} ו- y ∈ ∂ Ω {\displaystyle {\boldsymbol {y}}\in \partial \Omega } , כאשר Ω ∘ {\displaystyle \Omega ^{\circ }} ו- ∂ Ω {\displaystyle \partial \Omega } הם הפנים והשפה של Ω {\displaystyle \Omega } , בהתאמה. אז ה"קו החצי פתוח" מ- x {\displaystyle {\boldsymbol {x}}} ל- y {\displaystyle {\boldsymbol {y}}} [ x , y ) = { λ x + ( 1 − λ ) y   |   0 < λ ≤ 1 } {\displaystyle [{\boldsymbol {x}},{\boldsymbol {y}})=\{\lambda {\boldsymbol {x}}+(1-\lambda ){\boldsymbol {y}}\ |\ 0<\lambda \leq 1\}} מכיל אך ורק נקודות פנימיות. נקבע נקודה z 0 = λ 0 x + ( 1 − λ 0 ) y {\displaystyle {\boldsymbol {z_{0}}}=\lambda _{0}{\boldsymbol {x}}+(1-\lambda _{0}){\boldsymbol {y}}} מהקטע [ x , y ) {\displaystyle [{\boldsymbol {x}},{\boldsymbol {y}})} . נניח λ 0 ≠ 1 {\displaystyle \lambda _{0}\neq 1} כי אחרת z 0 = x {\displaystyle {\boldsymbol {z_{0}}}={\boldsymbol {x}}} וברור שהנקודה בפנים של Ω {\displaystyle \Omega } . נתון x ∈ Ω ∘ {\displaystyle {\boldsymbol {x}}\in \Omega ^{\circ }} ולכן קיים r 0 > 0 {\displaystyle r_{0}>0} המקיים B ( x , r 0 ) ⊂ Ω ∘ {\displaystyle B({\boldsymbol {x}},r_{0})\subset \Omega ^{\circ }} . נגדיר φ : R n → R n {\displaystyle \varphi :\mathbb {R} ^{n}\rightarrow \mathbb {R} ^{n}} כך: φ ( w ) = 1 1 − λ 0 [ z 0 − λ 0 w ] {\displaystyle \varphi ({\boldsymbol {w}})={\frac {1}{1-\lambda _{0}}}[{\boldsymbol {z_{0}}}-\lambda _{0}{\boldsymbol {w}}]} נשים לב לשתי תכונות של φ {\displaystyle \varphi } : ‖ φ ( w ) − φ ( x ) ‖ = λ 0 1 − λ 0 ‖ w − x ‖ {\displaystyle \lVert \varphi ({\boldsymbol {w}})-\varphi ({\boldsymbol {x}})\rVert ={\frac {\lambda _{0}}{1-\lambda _{0}}}\lVert {\boldsymbol {w}}-{\boldsymbol {x}}\rVert } φ ( x ) = y {\displaystyle \varphi ({\boldsymbol {x}})={\boldsymbol {y}}} מהתכונות הנ"ל נסיק ש φ {\displaystyle \varphi } יוצרת קשר חח"ע ועל בין B ( x , r 0 ) {\displaystyle B({\boldsymbol {x}},r_{0})} לבין B ( y , λ 0 1 − λ 0 r 0 ) {\displaystyle B({\boldsymbol {y}},{\frac {\lambda _{0}}{1-\lambda _{0}}}r_{0})} . נתון y ∈ Ω ¯ {\displaystyle {\boldsymbol {y}}\in {\bar {\Omega }}} ולכן הכדור B ( y , λ 0 1 − λ 0 r 0 ) {\displaystyle B({\boldsymbol {y}},{\frac {\lambda _{0}}{1-\lambda _{0}}}r_{0})} נחתך עם Ω {\displaystyle \Omega } . יהי w ∈ B ( x , r 0 ) {\displaystyle {\boldsymbol {w}}\in B({\boldsymbol {x}},r_{0})} כך ש φ ( w ) ∈ Ω ∩ B ( y , λ 0 1 − λ 0 r 0 ) {\displaystyle \varphi ({\boldsymbol {w}})\in \Omega \cap B({\boldsymbol {y}},{\frac {\lambda _{0}}{1-\lambda _{0}}}r_{0})} . נשים לב ש z 0 = λ 0 w + ( 1 − λ 0 ) φ ( w ) {\displaystyle {\boldsymbol {z_{0}}}=\lambda _{0}{\boldsymbol {w}}+(1-\lambda _{0})\varphi ({\boldsymbol {w}})} . נגדיר ψ : R n → R n {\displaystyle \psi :\mathbb {R} ^{n}\rightarrow \mathbb {R} ^{n}} ψ ( u ) = λ 0 u + ( 1 − λ 0 ) φ ( w ) {\displaystyle \psi ({\boldsymbol {u}})=\lambda _{0}{\boldsymbol {u}}+(1-\lambda _{0})\varphi ({\boldsymbol {w}})} נשים לב ש: ‖ ψ ( u ) − ψ ( w ) ‖ = λ 0 ‖ u − w ‖ {\displaystyle \lVert \psi ({\boldsymbol {u}})-\psi ({\boldsymbol {w}})\rVert =\lambda _{0}\lVert {\boldsymbol {u}}-{\boldsymbol {w}}\rVert } ψ ( w ) = z 0 {\displaystyle \psi ({\boldsymbol {w}})={\boldsymbol {z_{0}}}} מאחר ש w ∈ B ( x , r 0 ) {\displaystyle {\boldsymbol {w}}\in B({\boldsymbol {x}},r_{0})} אז קיים r 1 > 0 {\displaystyle r_{1}>0} כך ש B ( w , r 1 ) ⊂ B ( x , r 0 ) ⊂ Ω {\displaystyle B({\boldsymbol {w}},r_{1})\subset B({\boldsymbol {x}},r_{0})\subset \Omega } . כמו קודם, ψ {\displaystyle \psi } יוצרת קשר חח"ע ועל בין B ( w , r 1 ) {\displaystyle B({\boldsymbol {w}},r_{1})} לבין B ( z 0 , λ 0 r 1 ) {\displaystyle B({\boldsymbol {z_{0}}},\lambda _{0}r_{1})} . אבל אם u ∈ B ( w , r 1 ) {\displaystyle {\boldsymbol {u}}\in B({\boldsymbol {w}},r_{1})} אז ψ ( u ) ∈ Ω {\displaystyle \psi ({\boldsymbol {u}})\in \Omega } (כי u ∈ Ω {\displaystyle {\boldsymbol {u}}\in \Omega } וגם φ ( w ) ∈ Ω {\displaystyle \varphi ({\boldsymbol {w}})\in \Omega } ו- 0 < λ 0 < 1 {\displaystyle 0<\lambda _{0}<1} ). כלומר B ( z 0 , λ 0 r 1 ) ⊂ Ω {\displaystyle B({\boldsymbol {z_{0}}},\lambda _{0}r_{1})\subset \Omega } שזה גורר z 0 ∈ Ω ∘ {\displaystyle {\boldsymbol {z_{0}}}\in \Omega ^{\circ }} . A. L. Peressini, F. E. Sullivan J. J. Uhl, Jr. The Mathematics of Nonlinear Programming p.164-165