Topologi operator lemah

Dalam analisis fungsional, **topologi operator lemah**, sering disingkat **TOL**, adalah topologi lemah pada himpunan operator terbatas pada ruang Hilbert  H , maka fungsi operator  T  ke bilangan kompleks \langle Tx, y\rangle adalah kontinu untuk vektor suatu  x  dan  y  di ruang Hilbert.

Secara eksplisit, untuk operator  T  ada basis lingkungan dari tipe berikut: jumlah hingga vektor  x_i , fungsional kontinu  y_i , dan tetapan riil positif \varepsilon_i diindeks oleh himpunan hingga  I . Operator  S  terletak di lingkungan jika dan hanya jika | y_i(T(x_i) - S(x_i))|  untuk i \in I.

Sama halnya, jaring T_i \subset B(H) dari operator ke T \in B(H) pada TOL jika untuk  y \in H^* dan x \in H, jaring y(T_i x) menyatu dengan  y(T x).

## Relasi dengan topologi lain di ''B''(''H'')

TOL adalah di antara semua topologi pada <math> B(H) </math>, operator terikat pada ruang Hilbert H.

### Topologi operator kekuatan

Topologi operator kekuatan, atau SOT, di  B(H)  adalah topologi konvergensi pointwise. Karena produk dalam adalah fungsi kontinu, TOK lebih kuat dari TOL. Contoh berikut menunjukkan bahwa penyertaan ini ketat. Maka H = \ell^2(\mathbb N) dan pertimbangkan urutan \{T^n\}. Penerapan Cauchy-Schwarz menunjukkan bahwa T^n \to 0 dalam TOL. Tapi yang jelas  T^n  tidak menyatu dengan  0  dalam TOK.

Fungsional linier pada himpunan operator yang dibatasi pada ruang Hilbert yang kontinu dalam topologi operator yang kuat adalah kontinu TOK (sebenarnya, TOL adalah topologi operator lemah semua fungsi linear kontinu pada himpunan  B(H)  dari operator yang dibatasi pada ruang Hilbert H). Karena fakta ini, penutupan sebuah himpunan konveks dari operator di TOK sama dengan penutupan himpunan tersebut di TOL.

dari identitas polarisasi maka \{T_\alpha\} dengan 0 pada TOL jika dan hanya jika T_\alpha^* T_\alpha \to 0 dalam TOK.

### Topologi bintang operator lemah

Predual dari *B*(*H*) adalah kelas jejak operator C1(*H*), dan itu menghasilkan topologi-w* pada *B*(*H*), disebut topologi operator bintang lemah atau topologi σ. Topologi operator-lemah dan σ pada himpunan berbatas norma pada *B*(*H*).

Jaring {*T<sub>&alpha;</sub>*} ⊂ *B*(*H*) konvergen ke * T * pada TOL jika dan hanya Tr(*T<sub>&alpha;</sub>F*) konvergen ke Tr(*TF*) untuk semua operator peringkat terbatas * F *. Karena setiap operator peringkat-hingga adalah kelas-jejak. Untuk melihat mengapa klaim itu benar, ingatlah bahwa setiap operator peringkat terbatas * F * adalah jumlah hingga

: F = \sum_{i=1}^n \lambda_i u_i v_i^*.

Jadi {*T<sub>&alpha;</sub>*} konvergen ke * T * dalam arti TOL

: \text{Tr} \left ( T_{\alpha} F \right )  =  \sum_{i=1}^n \lambda_i v_i^* \left ( T_{\alpha} u_i \right ) \longrightarrow \sum_{i=1}^n \lambda_i v_i^* \left ( T u_i \right ) = \text{Tr} (TF).

Memperluas, dapat dikatakan bahwa topologi operator-lemah dan σ pada himpunan hingga norma dalam * B *(* H *): Setiap operator kelas jejak adalah dalam bentuk

: S = \sum_i \lambda_i u_i v_i^*,

dimana deret \sum\nolimits_i \lambda_i. Maka \sup\nolimits_{\alpha} \|T_{\alpha} \| = k  dan T_{\alpha} \to T terdapat pada TOL. Untuk setiap kelas jejak * S *,

: \text{Tr} \left ( T_{\alpha} S \right )  =  \sum_i \lambda_i v_i^* \left ( T_{\alpha} u_i \right ) \longrightarrow \sum_i \lambda_i v_i^* \left ( T u_i \right ) = \text{Tr} (TS),

dengan menggunakan, misalnya, teorema konvergensi dominasi.

Maka, himpunan yang dibatasi norma menjadi kompak dalam TOL, dengan Teorema Banach–Alaoglu.

## Sifat lainnya

Operasi adjoin * T * → * T* *, sebagai konsekuensi langsung dari definisinya, adalah kontinu dalam TOL.

Perkalian tidak kontinu dalam TOL: maka  T  menjadi pergeseran sepihak. Jika Cauchy-Schwarz, salah satunya memiliki keduanya *T<sup>n</sup>* dan *T*<sup>n</sup>* konvergen ke 0 dalam TOL. Maka *T**nTn* adalah operator identitas untuk semua <math> n </math>. (Karena WOT bertepatan dengan topologi σ-weak pada himpunan terbatas, perkalian tidak terus menerus secara bersama-sama dalam topologi-σ.)

Namun, klaim yang lebih lemah dapat dibuat: perkalian secara terpisah terus menerus dalam TOL. Jika jaring *Ti* → *T* pada TOL, maka *STi* → *ST* dan *TiS* → *TS* dalam TOL.

== TOK dan TOL pada *B(X,Y)* ketika * X * dan * Y * adalah ruang bernorma ==

Kita dapat memperluas definisi TOK dan TOL ke pengaturan yang lebih umum di mana * X * dan * Y * adalah [[ruang vektor bernorma|ruang bernorma]] dan <math>B(X,Y)</math> adalah ruang operator linear berbatas dari formulir <math>T:X\to Y</math>. Dalam hal ini, pada <math>x\in X</math> and <math>y^*\in Y^*</math> mendefinisikan sebuah [[norma (matematika)|seminorma]] <math>\|\cdot\|_{x,y^*}</math> on <math>B(X,Y)</math> via the rule <math>\|T\|_{x,y^*}=|y^*(Tx)|</math>. Grup seminorma yang dihasilkan menghasilkan *'topologi operator lemah** pada <math>B(X,Y)</math>.  Sama halnya, TOL pada <math>B(X,Y)</math> dibentuk dengan mengambil [[basis (topologi)|lingkungan terbuka dasar]] himpunan formulir tersebut

:<math>N(T,F,\Lambda,\epsilon):= \left \{S\in B(X,Y): \left |y^*((S-T)x) \right |<\epsilon,x\in F,y^*\in\Lambda \right \},</math>

dimana <math>T\in B(X,Y), F\subset X</math> adalah himpunan hingga, <math>\Lambda\subset Y^*</math> juga merupakan himpunan hingga, dan <math>\epsilon>0</math>. Ruang <math>B(X,Y)</math> adalah ruang vektor topologi konveks lokal bila diberkahi dengan TOL.

**Topologi operator kuat''' pada B(X,Y) dihasilkan oleh grup seminorma \|\cdot\|_x, x\in X, via the rules \|T\|_x=\|Tx\|. Jadi, basis topologi untuk TOK diberikan oleh lingkungan terbuka dari formulir

:N(T,F,\epsilon):=\{S\in B(X,Y):\|(S-T)x\|

dimana sebelumnya T\in B(X,Y), F\subset X adalah himpunan hingga, dan \epsilon>0.

## Lihat pula

* Topologi lemah
* Topologi operator bintang lemah
* Topologi pada himpunan operator di ruang Hilbert