|
|
Line 1: |
Line 1: |
| {{more footnotes|date=October 2011}}
| | Greetings! I am Myrtle Shroyer. California is our birth place. Doing ceramics is what my family and I appreciate. In her professional life she is a payroll clerk but she's usually needed her personal business.<br><br>my site ... [http://www.youronlinepublishers.com/authWiki/AudreaocMalmrw www.youronlinepublishers.com] |
| | |
| [[File:Supporting hyperplane1.svg|right|thumb|A [[convex set]] <math>S</math> (in pink), a supporting hyperplane of <math>S</math> (the dashed line), and the half-space delimited by the hyperplane which contains <math>S</math> (in light blue). ]]
| |
| '''Supporting hyperplane''' is a concept in [[geometry]]. A [[hyperplane]] divides a space into two [[Half-space (geometry)|half-space]]s. A hyperplane is said to '''support''' a [[Set (mathematics)|set]] <math>S</math> in [[Euclidean space]] <math>\mathbb R^n</math> if it meets both of the following:
| |
| * <math>S</math> is entirely contained in one of the two [[closed set|closed]] half-spaces determined by the hyperplane
| |
| * <math>S</math> has at least one boundary-point on the hyperplane.
| |
| Here, a closed half-space is the half-space that includes the hyperplane.
| |
| | |
| ==Supporting hyperplane theorem==
| |
| [[File:Supporting hyperplane2.svg|right|thumb|A convex set can have more than one supporting hyperplane at a given point on its boundary.]]
| |
| This [[theorem]] states that if <math>S</math> is a [[convex set]] in the [[topological vector space]] <math>X=\mathbb{R}^n,</math> and <math>x_0</math> is a point on the [[boundary (topology)|boundary]] of <math>S,</math> then there exists a supporting hyperplane containing <math>x_0.</math> If <math>x^* \in X^* \backslash \{0\}</math> (<math>X^*</math> is the [[dual space]] of <math>X</math>, <math>x^*</math> is a nonzero linear functional) such that <math>x^*\left(x_0\right) \geq x^*(x)</math> for all <math>x \in S</math>, then
| |
| :<math>H = \{x \in X: x^*(x) = x^*\left(x_0\right)\}</math>
| |
| defines a supporting hyperplane.<ref name="Boyd">{{cite book|title=Convex Optimization|first1=Stephen P.|last1=Boyd|first2=Lieven|last2=Vandenberghe|year=2004|publisher=Cambridge University Press|isbn=978-0-521-83378-3|url=http://www.stanford.edu/~boyd/cvxbook/bv_cvxbook.pdf|format=pdf|accessdate=October 15, 2011|pages=50–51}}</ref>
| |
| | |
| Conversely, if <math>S</math> is a [[closed set]] with nonempty [[interior (topology)|interior]] such that every point on the boundary has a supporting hyperplane, then <math>S</math> is a convex set.<ref name="Boyd" />
| |
| | |
| The hyperplane in the theorem may not be unique, as noticed in the second picture on the right. If the closed set <math>S</math> is not convex, the statement of the theorem is not true at all points on the boundary of <math>S,</math> as illustrated in the third picture on the right.
| |
| | |
| A related result is the [[separating hyperplane theorem]].
| |
| | |
| ==See also==
| |
| [[File:Supporting hyperplane3.svg|right|thumb|A supporting hyperplane containing a given point on the boundary of <math>S</math> may not exist if <math>S</math> is not convex.]]
| |
| * [[Support function]]
| |
| | |
| ==References==
| |
| {{Reflist}}
| |
| *{{cite book
| |
| | last = Ostaszewski
| |
| | first = Adam
| |
| | title = Advanced mathematical methods
| |
| | publisher = Cambridge; New York: Cambridge University Press
| |
| | year = 1990
| |
| | isbn = 0-521-28964-5
| |
| | page = 129
| |
| }}
| |
| | |
| *{{cite book
| |
| | last = Giaquinta
| |
| | first = Mariano
| |
| | coauthors = Hildebrandt, Stefan
| |
| | title = Calculus of variations
| |
| | publisher = Berlin; New York: Springer
| |
| | year = 1996
| |
| | isbn = 3-540-50625-X
| |
| | page = 57
| |
| }}
| |
| | |
| *{{cite book
| |
| | last = Goh
| |
| | first = C. J.
| |
| | coauthors = Yang, X.Q.
| |
| | title = Duality in optimization and variational inequalities
| |
| | publisher = London; New York: Taylor & Francis
| |
| | year = 2002
| |
| | isbn = 0-415-27479-6
| |
| | page = 13
| |
| }}
| |
| | |
| [[Category:Convex geometry]]
| |
| [[Category:Functional analysis]]
| |
| [[Category:Duality theories]]
| |
| [[Category:Mathematical and quantitative methods (economics)]]
| |
Greetings! I am Myrtle Shroyer. California is our birth place. Doing ceramics is what my family and I appreciate. In her professional life she is a payroll clerk but she's usually needed her personal business.
my site ... www.youronlinepublishers.com