De la Wikipedia, enciclopedia liberă.
În matematică , în special în analiza funcțională , topologiile operatorilor slabi și puternici sunt două topologii operator în ansamblu {\ displaystyle {\ mathcal {L}} (X, Y)} operatori delimitați între două spații Hilbert {\ displaystyle (X, \ langle \ cdot, \ cdot \ rangle _ {X})} Și {\ displaystyle (Y, \ langle \ cdot, \ cdot \ rangle _ {Y})} . După cum sugerează și numele, topologia operativă slabă este mai slabă decât topologia operativă puternică.
Definiții
Topologie operativă slabă
Topologia operatorului slab este cea mai slabă topologie de pe {\ displaystyle {\ mathcal {L}} (X, Y)} astfel încât funcționalul să trimită un operator limitat{\ displaystyle T \ in {\ mathcal {L}} (X, Y)} în {\ displaystyle \ ell (Tx)} să fie continuu pentru fiecare {\ displaystyle x \ în X} Și {\ displaystyle \ ell \ în Y ^ {*}} , unde este {\ displaystyle Y ^ {*}} denotă spațiul dual {\ displaystyle Y} . Prin teorema reprezentării lui Riesz , o bază a vecinătăților unui operator mărginit {\ displaystyle T} este dat de familia seturilor
- {\ displaystyle \ {V: X \ to Y {\ text {bounded operator}} \ mid | \ langle V (x) -T (x), y \ rangle _ {Y} | <\ varepsilon \ \ forall (x , y) \ în S \}}
dupa cum {\ displaystyle \ varepsilon \ in \ mathbb {R} _ {> 0}} și de {\ displaystyle S \ subset X \ times Y} de cardinalitate finită.
Topologia operatorului slab nu trebuie confundată cu topologia slabă pentru spațiile Banach de pe {\ displaystyle {\ mathcal {L}} (X, Y)} . Aceasta este de fapt cea mai slabă topologie care face ca toate funcționalitățile liniare să fie mărginite continuu {\ displaystyle {\ mathcal {L}} (X, Y)} , nu numai cele ale formei {\ displaystyle T \ mapsto \ ell (Tx)} .
Topologie operativă puternică
Topologia operatorului puternic este cea mai slabă topologie de pe {\ displaystyle {\ mathcal {L}} (X, Y)} astfel încât funcționalul să trimită un operator limitat {\ displaystyle T: X \ to Y} în {\ displaystyle Tx} să fie continuu pentru fiecare {\ displaystyle x \ în X} . O bază de cartiere a unui operator limitat {\ displaystyle T} este dat de familia seturilor
- {\ displaystyle \ {V: X \ to Y {\ text {bounded operator}} \ mid \ | V (x) -T (x) \ | _ {Y} <\ varepsilon \ \ forall x \ in S \} }
dupa cum {\ displaystyle \ varepsilon \ in \ mathbb {R} _ {> 0}} și de {\ displaystyle S \ subset X} de cardinalitate finită.
Bibliografie
- ( EN ) Michael Reed, Barry Simon, Bounded Operators , în 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 .