Aljabar von Neumann

Dalam matematika, **aljabar von Neumann** atau **aljabar-W*** adalah aljabar-* dari operator terikat pada ruang Hilbert yaitu tertutup dalam topologi operator lemah dan berisi operator identitas. Ini adalah tipe khusus dari aljabar-C*.

Aljabar Von Neumann awalnya diperkenalkan oleh John von Neumann, termotivasi oleh studinya tentang operator tunggal, representasi grup, teori ergodik dan mekanika kuantum. Teorema komutan ganda menunjukkan bahwa definisi analitik sama dengan definisi murni aljabar.

Dua contoh dasar von Neumann aljabar adalah sebagai berikut:
* Gelanggang L^\infty(\mathbb R) dari dasar hingga fungsi terukur pada garis riil adalah aljabar von Neumann komutatif, yang elemennya bertindak sebagai operator perkalian dengan perkalian runcing di ruang Hilbert L^2(\mathbb R) dari fungsi integral persegi.
* Aljabar \mathcal B(\mathcal H) dari semua operator terbatas di ruang Hilbert \mathcal H adalah aljabar von Neumann, non-komutatif jika ruang Hilbert memiliki dimensi minimal  2 .

Von Neumann algebras pertama kali dipelajari oleh  pada tahun 1929; dia dan Francis Murray mengembangkan teori dasar, dengan nama asli **gelanggang operator**, dalam serangkaian makalah yang ditulis pada tahun 1930-an dan 1940-an (; ), reprinted in the collected works of .

Catatan pengantar von Neumann algebras diberikan dalam catatan online dari  dan  dan buku oleh , ,  dan . Tiga volume  memberikan penjelasan ensiklopedis tentang teori tersebut. Buku oleh  membahas topik yang lebih lanjut.

## Definisi
Ada tiga cara umum untuk mendefinisikan aljabar von Neumann.

Cara pertama dan paling umum adalah mendefinisikannya sebagai tertutup lemah aljabar-* dari operator terikat (pada ruang Hilbert) yang berisi identitas. Dalam definisi ini topologi (operator) lemah dapat diganti dengan banyak topologi umum termasuk kekuatan, ultra kekuatan atau ultra rendah topologi operator. Aljabar-* dari operator terikat yang tertutup dalam topologi norma adalah aljabar-C*, jadi khususnya setiap aljabar von Neumann adalah aljabar-C*.

Definisi kedua adalah bahwa aljabar von Neumann adalah himpunan bagian dari operator terikat yang ditutup di bawah involusi (operasi-*) dan sama dengan komutan ganda, atau sama dengan komutan dari beberapa subset ditutup di bawah *. Teorema komutan ganda von Neumann  mengatakan bahwa dua definisi pertama adalah setara.

Dua definisi pertama menjelaskan aljabar von Neumann secara konkret sebagai sekumpulan operator yang bekerja pada beberapa ruang.  menunjukkan bahwa von Neumann algebras juga dapat didefinisikan secara abstrak sebagai C*-aljabar yang memiliki predual; dengan kata lain, aljabar von Neumann, yang dianggap sebagai ruang Banach, adalah rangkap dari beberapa ruang Banach lainnya yang disebut predual. Predual aljabar von Neumann pada kenyataannya unik untuk isomorfisme. Beberapa penulis menggunakan "von Neumann aljabar" untuk aljabar bersama dengan gerak ruang Hilbert, dan "W*-aljabar" untuk konsep abstrak, jadi aljabar von Neumann adalah aljabar-W* bersama dengan ruang Hilbert dan aksi unital setia yang sesuai di ruang Hilbert. Definisi konkret dan abstrak dari aljabar von Neumann dengan definisi konkret dan abstrak aljabar-C*, yang dapat didefinisikan baik sebagai norma-tertutup *-aljabar operator pada ruang Hilbert, atau sebagai Banach *-aljabar maka ||*aa**||=||*a*|| ||*a**||.

## Istilah
Beberapa terminologi dalam teori aljabar von Neumann dapat membingungkan, dan istilah tersebut sering kali memiliki arti berbeda di luar subjek.

* **Faktor** adalah aljabar von Neumann dengan pusat trivial, yaitu pusat yang hanya terdiri dari operator skalar.
* '''hingga''' aljabar von Neumann adalah salah satu yang merupakan integral langsung faktor hingga (artinya aljabar von Neumann memiliki trasial norma τ: M → ℂ, lihat http://perso.ens-lyon.fr/gaboriau/evenements/IHP-trimester/IHP-CIRM/Notes=Cyril=finite-vonNeumann.pdf). Maka, aljabar von Neumann adalah integral langsung dari faktor-faktor tak hingga benar.
* Aljabar von Neumann pada ruang Hilbert seperabel. Perhatikan bahwa aljabar dipisahkan dalam topologi norma.
* Aljabar von Neumann **dihasilkan** oleh sekumpulan operator berbatas pada ruang Hilbert adalah aljabar von Neumann terkecil yang berisi semua operator tersebut.
* *Perkalian tensor* dari dua aljabar von Neumann pada dua ruang Hilbert didefinisikan sebagai aljabar von Neumann yang dihasilkan oleh perkalian tensor aljabar mereka, dianggap sebagai operator pada produk tensor ruang Hilbert dari ruang Hilbert.

## Aljabar Komutatif von Neumann

Hubungan antara komutatif von Neumann aljabar dan ruang ukur s sama dengan hubungan antara komutatif C * -aljabar s dan kompleks lokal ruang Hausdorff. Aljabar von Neumann komutatif isomorfik terhadap ''L''<sup>∞</sup>(*X*) untuk beberapa ruang ukur (* X *, μ) dan sebaliknya, untuk setiap ruang ukur σ-hingga * X *, * -aljabar *L*∞(*X*) adalah aljabar von Neumann.

Karena analogi ini, teori von Neumann algebras disebut teori ukuran nonkomutatif, sedangkan teori aljabar-C* terkadang disebut topologi nonkomutatif .

## Produk Tensor dari von Neumann algebras
Hasil perkalian tensor ruang Hilbert dari dua ruang Hilbert adalah penyelesaian perkalian tensor aljabar. Seseorang dapat mendefinisikan perkalian tensor von Neumann aljabar (penyelesaian perkalian tensor aljabar dari aljabar yang dianggap sebagai gelanggang), yang juga merupakan aljabar von Neumann, dan bekerja pada hasil kali tensor ruang Hilbert. Hasil kali tensor dari dua aljabar berhingga adalah berhingga, dan hasil perkalian tensor dari aljabar tak hingga dan aljabar bukan nol adalah tak hingga. Jenis hasilkali tensor dua von Neumann aljabar (I, II, atau III) adalah jenis maksimumnya. **Teorema pergantian untuk produk tensor** menyatakan bahwa

:(M\otimes N)^\prime = M^\prime\otimes N^\prime,

di mana * M *′ menunjukkan komutan dari * M *.

Sebagai gantinya  menunjukkan bahwa seseorang harus memilih keadaan pada setiap aljabar von Neumann, gunakan ini untuk mendefinisikan keadaan pada perkalian tensor aljabar, yang dapat digunakan untuk menghasilkan ruang Hilbert dan aljabar von Neumann (cukup kecil).  mempelajari kasus di mana semua faktor adalah aljabar matriks hingga; faktor-faktor ini disebut faktor **Araki-Woods** atau **faktor ITPFI** (ITPFI adalah singkatan dari "produk tensor tak terbatas tipe I hingga). Jenis produk tensor tak hingga dapat bervariasi secara dramatis seiring perubahan status; misalnya, hasil kali tensor tak hingga dari jenis bilangan tak hingga I2 faktor dapat memiliki tipe apa pun tergantung pada pilihan negara bagian. Khususnya  tak terhitung jenis hiperfinit non-isomorfik IIIλ faktor untuk 0 2, masing-masing dengan keadaan yang diberikan oleh:

:x\mapsto {\rm Tr}\begin{pmatrix}{1\over \lambda+1}&0\\ 0&{\lambda\over \lambda+1}\\ \end{pmatrix} x.
 
Semua aljabar von Neumann hiperfinit bukan tipe III0 isomorfik terhadap faktor Araki–Woods, tetapi ada banyak tipe III0 yang tidak bisa dihitung.

## Aplikasi
Von Neumann aljabar telah menemukan aplikasi di berbagai bidang matematika seperti teori simpul, mekanika statistik, Teori medan kuantum, Fisika kuantum lokal, Probabilitas bebas, geometri nonkomunikasi, teori representasi, geometri, dan probabilitas.

Misalnya, aljabar-C* memberikan aksiomatisasi alternatif untuk teori probabilitas. Dalam hal ini metode tersebut menggunakan nama Konstruksi Gelfand–Naimark– lSegal. Ini sejalan dengan dua pendekatan untuk mengukur dan integrasi, di mana seseorang memiliki pilihan untuk membangun ukuran dari himpunan terlebih dahulu dan kemudian mendefinisikan integralnya, atau buat integral dulu dan tentukan ukuran himpunan sebagai integral dari fungsi karakteristik.

## Lihat pula
* Aljabar-AW*

## Referensi
*
*,  
*
*.
* (A translation of , the first book about von Neumann algebras.)
*; incomplete notes from a course.
*.
*
* A historical account of the discovery of von Neumann algebras.
*. This paper gives their basic properties and the division into types I, II, and III, and in particular finds factors not of type I.  
*. This is a continuation of the previous paper, that studies properties of the trace of a factor. 
*. This studies when factors are isomorphic, and in particular shows that all approximately finite factors of type II1 are isomorphic. 
*
*
*
*
*

*. The original paper on von Neumann algebras.
*. This defines the ultrastrong topology.
*. This discusses infinite tensor products of Hilbert spaces and the algebras acting on them.
*. This shows the existence of factors of type III. 
*. This shows that some apparently topological properties in von Neumann algebras can be defined purely algebraically. 
*. This discusses how to write a von Neumann algebra as a sum or integral of factors.
*. Reprints von Neumann's papers on von Neumann algebras.
*