În matematică , în special în analiza funcțională , teorema lui Hahn-Banach este o teoremă care permite extinderea operatorilor liniari mărgini definiți pe un subespai al unui anumit spațiu vectorial la întregul spațiu și, de asemenea, arată că există suficiente funcționalități liniare continue definite pe orice spațiu reglementat astfel încât să facă interesant studiul spațiului dual . Se numește așa datorită lui Hans Hahn și Stefan Banach , care au dovedit această teoremă independent una de alta în anii 1920.
Teorema
Este {\ displaystyle V} un spațiu vectorial pe teren {\ displaystyle K} (care poate fi cea reală {\ displaystyle \ mathbb {R}} sau cea complexă {\ displaystyle \ mathbb {C}} ). O funcție {\ displaystyle f: V \ to \ mathbb {R}} spunem subliniar dacă:
- {\ displaystyle f (\ gamma x) = \ gamma f \ left (x \ right) \ qquad \ forall \ gamma \ in \ mathbb {R} _ {+} \ quad \ forall x \ in V}
- {\ displaystyle f (x + y) \ leq f (x) + f (y) \ qquad \ forall x, y \ in V}
Fiecare seminormă pe {\ displaystyle V} , și în special orice regulă privind {\ displaystyle V} , este subliniar.
De asemenea, se spune că o funcție {\ displaystyle F} este extensia unei funcții {\ displaystyle f} dacă domeniul {\ displaystyle F} conține cea a {\ displaystyle f} iar funcțiile coincid în fiecare punct al domeniului {\ displaystyle f} .
Afirmație
Teorema Hahn-Banach afirmă că dacă {\ displaystyle {\ mathcal {N}}: V \ to \ mathbb {R}} este o funcție subliniară și {\ displaystyle \ varphi: U \ to \ mathbb {R}} este o funcționalitate liniară pe un subspațiu vectorial {\ displaystyle U \ subseteq V} Și {\ displaystyle \ varphi} este dominat de {\ displaystyle {\ mathcal {N}}} pe {\ displaystyle U} , adică:
- {\ displaystyle \ varphi (x) \ leq {\ mathcal {N}} (x) \ qquad \ forall x \ în U}
apoi există o extensie liniară {\ displaystyle \ psi: V \ to \ mathbb {R}} din {\ displaystyle \ varphi} definit pe întreg spațiul. Cu alte cuvinte, există o funcționalitate liniară {\ displaystyle \ psi} astfel încât: [1]
- {\ displaystyle \ psi (x) = \ varphi (x) \ quad \ forall x \ in U \ qquad \ psi (x) \ leq {\ mathcal {N}} (x) \ quad \ forall x \ in V}
Extensia {\ displaystyle \ psi} în general nu este determinat exclusiv de {\ displaystyle \ varphi} , iar dovada nu oferă o metodă de găsire {\ displaystyle \ psi} în cazul unui spațiu dimensional infinit {\ displaystyle V} , dar se bazează pe lema lui Zorn .
Condiția subliniarității pe {\ displaystyle {\ mathcal {N}}} poate fi ușor slăbit presupunând că: [2]
- {\ displaystyle {\ mathcal {N}} (ax + by) \ leq | a | {\ mathcal {N}} (x) + | b | N (y)}
pentru toți {\ displaystyle a} Și {\ displaystyle b} în {\ displaystyle K} astfel încât {\ displaystyle | a | + | b | = 1} .
Demonstrație
Este {\ displaystyle X} un spațiu vectorial pe {\ displaystyle \ mathbb {R}} și fie {\ displaystyle p: X \ to \ mathbb {R}} o funcție astfel încât:
- {\ displaystyle p (tx + (1-t) y) \ leq tp (x) + (1-t) p (y) \ qquad \ forall \ x, y \ in X \ quad \ forall \ t \ in [ 0, 1]}
Este {\ displaystyle Y} un subspatiu de {\ displaystyle X} și fie {\ displaystyle f: Y \ to \ mathbb {R}} o funcție liniară astfel încât:
- {\ displaystyle f (x) \ leq p (x) \ qquad \ forall \ x \ în Y}
Atunci există o funcție liniară {\ displaystyle F: X \ to \ mathbb {R}} astfel încât:
- {\ displaystyle F (x) = f (x) \ qquad \ forall \ x \ în Y}
- {\ displaystyle F (x) \ leq p (x) \ qquad \ forall \ x \ în X}
Pentru a dovedi acest fapt, fie el {\ displaystyle z \ în X \ setminus Y} și ia în considerare sub spațiul {\ displaystyle X} definit astfel:
- {\ displaystyle Y_ {z} \ doteq \ left \ {y + az, \ y \ in Y, \ a \ in \ mathbb {R} \ right \}}
Se extinde {\ displaystyle f} în ansamblu {\ displaystyle Y_ {z}} punând:
- {\ displaystyle {\ tilde {f}} (y + az) \ doteq f (y) + a {\ tilde {f}} (z)}
unde este {\ displaystyle {\ tilde {f}} (z)} este un număr real care se determină în cele ce urmează. Functia {\ displaystyle {\ tilde {f}}} este o extensie liniară a {\ displaystyle f} .
Lasă-i să fie acum {\ displaystyle y_ {1}, y_ {2} \ în Y} Și {\ displaystyle a, b> 0} . Avem:
- {\ displaystyle f (ay_ {1} + by_ {2}) = af (y_ {1}) + bf (y_ {2}) = (a + b) f \ left ({\ frac {a} {a + b}} y_ {1} + {\ frac {b} {a + b}} y_ {2} \ right) \ leq}
- {\ displaystyle (a + b) p \ left ({\ frac {a} {a + b}} y_ {1} + {\ frac {b} {a + b}} y_ {2} \ right) =}
- {\ displaystyle (a + b) p \ left ({\ frac {a} {a + b}} (y_ {1} -bz) + {\ frac {b} {a + b}} (y_ {2} + az) \ dreapta) \ leq}
- {\ displaystyle ap (y_ {1} -bz) + bp (y_ {2} + az)}
Prin urmare, se dovedește:
- {\ displaystyle a \ left (f (y_ {1}) - p (y_ {1} -bz) \ right) \ leq -b \ left (f (y_ {2}) - p (y_ {2} + az ) \ dreapta)}
prin urmare:
- {\ displaystyle {\ frac {1} {b}} \ left (-p (y_ {1} -bz) + f (y_ {1}) \ right) \ leq {\ frac {1} {a}} \ left (p (y_ {2} + az) -f (y_ {2}) \ right) \ qquad \ forall \ y_ {1}, y_ {2} \ in Y, \ quad \ forall a, b> 0}
Deci există {\ displaystyle c \ in \ mathbb {R}} astfel încât:
- {\ displaystyle \ sup _ {a> 0, y \ în Y} \ left \ {{\ frac {1} {a}} \ left [-p (y-az) + f (y) \ right] \ right \} \ leq c \ leq \ inf _ {a> 0, y \ în Y} \ left \ {{\ frac {1} {a}} \ left [p (y + az) -f (y) \ right ] \ dreapta \}}
Din această inegalitate se poate deduce că:
- {\ displaystyle ac \ leq p (y + az) -f (y) \ qquad \ forall \ y \ în Y, \ quad \ forall \ a \ in \ mathbb {R}}
Prin urmare, apare:
- {\ displaystyle {\ tilde {f}} (z) = c}
Pentru fiecare {\ displaystyle y \ in Y} și pentru fiecare {\ displaystyle a \ in \ mathbb {R}} rezultă:
- {\ displaystyle {\ tilde {f}} (y + az) = f (y) + ac \ leq p (y + az)}
acesta este:
- {\ displaystyle {\ tilde {f}} (x) \ leq p (x) \ qquad \ forall \ x \ în Y_ {z}}
Să fie acum {\ displaystyle E} setul de extensii liniare {\ displaystyle e} din {\ displaystyle f} astfel încât{\ displaystyle e (x) \ leq p (x)} pentru fiecare {\ displaystyle x} aparținând domeniului definiției {\ displaystyle e} . Pentru punctul anterior {\ displaystyle E} este un întreg non-banal.
Este definit în {\ displaystyle E} o relație de ordine spunând că {\ displaystyle e_ {1} \ leq e_ {2}} dacă domeniul de definiție al {\ displaystyle e_ {1}} este cuprins în domeniul de definiție al {\ displaystyle e_ {2}} Și {\ displaystyle e_ {1}} și {\ displaystyle e_ {2}} coincid cu domeniul definiției {\ displaystyle e_ {1}} .
Luați în considerare un subset arbitrar total ordonat de {\ displaystyle E} , notat cu {\ displaystyle U = \ left \ {e_ {a}, a \ in A \ right \}} , unde este {\ displaystyle A} este un set arbitrar de indici, și așa să fie {\ displaystyle X_ {a}} domeniul de definire a {\ displaystyle e_ {a} \ în U} . Se ridică {\ displaystyle Y = \ cup _ {a \ în A} X_ {a}} Se dă {\ displaystyle y \ in Y} , este definit{\ displaystyle e (y) = e_ {b} (y)} , unde este {\ displaystyle b \ în A} este orice index al {\ displaystyle A} astfel încât {\ displaystyle y \ in X_ {b}} . Definiția lui {\ displaystyle e} este bine plasat, ed {\ displaystyle e} este o extensie liniară a fiecăruia {\ displaystyle e_ {a} \ în U} . De asemenea, se dovedește {\ displaystyle e (x) \ leq p (x) \ \ forall x \ în Y} .
Se deduce că {\ displaystyle e} este o limită superioară pentru {\ displaystyle U} . Fiind {\ displaystyle U} un subset arbitrar total ordonat de {\ displaystyle E} Lema lui Zorn implică faptul că există un element maxim de {\ displaystyle E} notat cu {\ displaystyle F} . Este {\ displaystyle {\ tilde {Y}}} domeniul de definire a {\ displaystyle F} . Dacă arăți asta {\ displaystyle {\ tilde {Y}} = X} , teorema este dovedită.
Întregul {\ displaystyle {\ tilde {Y}}} este un subspatiu al {\ displaystyle X} . Să presupunem, în mod absurd, că există {\ displaystyle z \ in X \ setminus {\ tilde {Y}}} . Aplicarea primului punct subspaiului:
- {\ displaystyle {\ tilde {Y}} _ {z} \ doteq \ left \ {y + az, \ y \ in {\ tilde {Y}}, \ a \ in \ mathbb {R} \ right \}}
se poate construi o extensie non-banală a {\ displaystyle F} care, pentru proprietățile dovedite în primul punct, contrazice maximitatea lui {\ displaystyle F} pe {\ displaystyle E} . De aici și absurdul care încheie dovada.
Urmări
Există câteva consecințe importante ale teoremei care sunt uneori numite și „teorema Hahn-Banach”:
- De sine {\ displaystyle V} este un spațiu normat cu subspațiu {\ displaystyle U} (nu neapărat închis) și dacă {\ displaystyle \ Phi: U \ to K} este liniar și continuu, apoi există o extensie {\ displaystyle \ Psi: V \ to K} din {\ displaystyle \ Phi} care este și liniar și continuu și care are aceeași normă ca {\ displaystyle \ Phi} .
- De sine {\ displaystyle V} este un spațiu normat cu sub spațiul U (nu neapărat închis) și dacă {\ displaystyle z} este un element al {\ displaystyle V} care nu este cuprins în închiderea {\ displaystyle U} , apoi există o aplicație liniară și continuă {\ displaystyle \ Psi: V \ to K} cu {\ displaystyle \ Psi (x) = 0} pentru fiecare {\ displaystyle x \ în U} , {\ displaystyle \ Psi (z) = 1} , Și {\ displaystyle \ | \ Psi \ | = \ | z \ | ^ {- 1}} .
Proiectul Mizar a formalizat complet și a verificat automat dovada teoremei Hahn - Banach în fișierul HAHNBAN .
Forme geometrice
Teorema Hahn-Banach are două corolari importanți, cunoscuți și ca prima și a doua formă geometrică, a căror formulare necesită câteva noțiuni preliminare. Este {\ displaystyle X} un spațiu vector normat pe {\ displaystyle \ mathbb {R}} și fie {\ displaystyle f: X \ to \ mathbb {R}} ofuncțională liniară continuă diferită de zero. Dat {\ displaystyle a \ in \ mathbb {R}} , întregul:
- {\ displaystyle H \ doteq \ left \ {x \ în X: f (x) = a \ right \}}
se spune hiperplan în {\ displaystyle X} ecuaţie {\ displaystyle f = a} . Având în vedere două subseturi {\ displaystyle A, B} din {\ displaystyle X} nu gol și disjunct, se spune hiperplanul {\ displaystyle H} separă {\ displaystyle A} Și {\ displaystyle B} dacă rezultă:
- {\ displaystyle f (x) \ leq a \ qquad \ forall \ x \ în A}
Și:
- {\ displaystyle f (x) \ geq a \ qquad \ forall \ x \ în B}
Se spune că hiperplanul {\ displaystyle H} separă {\ displaystyle A} Și {\ displaystyle B} strict vorbind dacă există un număr {\ displaystyle \ varepsilon> 0} astfel încât:
- {\ displaystyle f (x) \ leq a- \ varepsilon \ qquad \ forall \ x \ în A}
Și:
- {\ displaystyle f (x) \ geq a + \ varepsilon \ qquad \ forall \ x \ în B}
Prin urmare, urmează următoarele corolații ale teoremei Hahn-Banach.
Prima formă geometrică a teoremei Hahn-Banach
Lasa-i sa fie {\ displaystyle X} un spațiu vector normat pe {\ displaystyle \ mathbb {R}} , {\ displaystyle A, B} două subseturi non-goale, convexe și disjuncte ale {\ displaystyle X} și să presupunem că cel puțin unul dintre ele este deschis . Apoi există un hiperplan de ecuație {\ displaystyle f = a} care separă {\ displaystyle A} Și {\ displaystyle B} .
A doua formă geometrică a teoremei Hahn-Banach
Lasa-i sa fie {\ displaystyle X} un spațiu vector normat pe {\ displaystyle \ mathbb {R}} , {\ displaystyle A, B} două subseturi închise, ne-goale, convexe și disjuncte ale {\ displaystyle X} și să presupunem că cel puțin unul dintre ele este compact . Apoi există un hiperplan de ecuație {\ displaystyle f = a} care separă {\ displaystyle A} Și {\ displaystyle B} strict vorbind.
Notă
Bibliografie
- ( EN ) Walter Rudin, Analiză reală și complexă , Mladinska Knjiga, McGraw-Hill, 1970, ISBN 0-07-054234-1 .
- ( EN ) Michael Reed, Barry Simon, Methods of Modern Mathematical Physics, Vol. 1: Functional Analysis , ed. A II-a, San Diego, California, Academic press inc., 1980, ISBN 0-12-585050-6 .
- ( EN ) Lawrence Narici, Edward Beckenstein, The Hahn-Banach Theorem: The Life and Times , Topology and its Applications, Volumul 77, ediția a 2-a (3 iunie 1997) Pagini 193-211. O preimprimare online este disponibilă aici
Elemente conexe
linkuri externe