BAB 3 PRODUK SILANG DAN PENDAHULUAN ALJABAR TOEPLITZ
Pada bab ini diberikan salah satu konsep aljabar-πΆ β yaitu produk silang dari suatu sistem dinamik. Selanjutnya dibahas beberapa konsep aljabar Toeplitz sebagai materi pendukung yang masih berhubungan dengan konsep produk silang.
3.1.
Produk Silang Sebelum diberikan definisi suatu produk silang dari sistem dinamik, akan
dibahas konsep-konsep yang terkait dengan produk silang terlebih dahulu.
Definisi 3.1.1: Aksi Grup pada Himpunan. (Hungerford, 1974: 88) Misal πΊ suatu grup dan π suatu himpunan. Aksi dari πΊ pada π adalah pemetaan (π, π₯) βΌ ππ₯ dari πΊ Γ π βΆ π sedemikian sehingga: i.
idπΊ π₯ = π₯, βπ₯ β π, idπΊ elemen satuan di πΊ.
ii.
π1 (π2 π₯) = (π1 π2 )π₯, βπ1 , π2 β πΊ, π₯ β π.
Jika terdapat pemetaan seperti diatas, maka πΊ dikatakan beraksi pada π.
Contoh dari aksi grup pada himpunan adalah aksi grup pada aljabar-πΆ β seperti yang didefinisikan sebagai berikut.
Ishma Fadlina Urfa, 2014 PRODUK SILANG ATAS SEMIGRUP ENDOMORFISMA Universitas Pendidikan Indonesia | repository.upi.edu | perpustakaan.upi.edu
Definisi 3.1.2: Aksi Grup pada Aljabar-πͺβ Misal πΊ suatu grup, π΄ suatu aljabar-πΆ β dan definisikan π΄π’π‘(π΄) β {π: π΄ βΆ π΄ | π isomorfisma ββ}. Aksi dari πΊ pada π΄ adalah homomorfisma grup πΌ: πΊ βΆ π΄π’π‘(π΄) yang membawa π βΌ πΌπ , βπ β πΊ.
Definisi 3.1.3: Sistem Dinamik Misal πΊ suatu grup, π΄ suatu aljabar-πΆ β dan πΌ: πΊ βΆ π΄π’π‘(π΄) aksi dari πΊ pada π΄. Sistem (π΄, πΊ, πΌ) dikatakan sebagai sistem dinamik jika terdapat homomorfisma (aksi) πΌ yang menghubungkan dua himpunan yang berbeda strukturnya, yaitu πΊ dan π΄.
Contoh 3.1.4. 1) Misal πΆ(π) himpunan fungsi-fungsi kontinu π: π βΆ β, dan πΌ suatu homomorfisma yang didefinisikan dengan πΌπ (π)(π§) = π(π β2πππ π§), βπ β β€, π§ β π, π β πΆ(π). (πΆ(π), β€, Ξ±) adalah suatu sistem dinamik.
2) Definisikan πΆ0 (β) himpunan fungsi-fungsi kontinu π: β βΆ β yang vanish at infinity: untuk setiap π > 0 terdapat himpunan kompak πΉπ,π β β, sedemikian sehingga |π(π₯)| < π untuk setiap π₯ β πΉπ,π . πΆ0 (β) adalah suatu aljabar-πΆ β tanpa satuan. (Conway, 1999: 2) Misal untuk setiap π β πΆ0 (β) dan π‘ β β, definisikan ππ‘ (π)(π₯) β π(π₯π βπ‘ ), βπ₯ β β. 1) Akan ditunjukkan ππ‘ yang didefinisikan ππ‘ (π₯) β π(π₯π βπ‘ ), βπ₯ β β adalah unsur di πΆ0 (β). -
Akan ditunjukkan lim ππ‘ (π₯) = lim π(π₯π βπ‘ ) = 0. π₯βΒ±β
π₯βΒ±β
Ishma Fadlina Urfa, 2014 PRODUK SILANG ATAS SEMIGRUP ENDOMORFISMA Universitas Pendidikan Indonesia | repository.upi.edu | perpustakaan.upi.edu
Jika π₯ β β, karena π βπ‘ suatu konstanta positif, maka π₯π βπ‘ β β. Akibatnya lim π(π₯π βπ‘ ) = lim π(π₯) = 0. π₯ββ
π₯ββ
Jika
π₯ β ββ,
maka
lim π(π₯π βπ‘ ) = lim π(π₯) = 0. Jadi lim ππ‘ (π₯) = 0.
π₯βββ
-
π₯βββ
π₯βΒ±β
Akan ditunjukkan ππ‘ kontinu. Misal π₯ β β. Akan ditunjukkan ππ‘ kontinu di π₯. Ambil π₯π barisan Cauchy di β sedemikian sehingga π₯π β π₯. Akan ditunjukkan ππ‘ (π₯π ) βΆ ππ‘ (π₯). Misal π¦π = π₯π π βπ‘ . Karena π₯π β π₯, maka π¦π β π₯π βπ‘ . Karena π kontinu, maka π(π¦π ) β π(π₯π βπ‘ ) = ππ‘ (π₯). Di lain pihak, ππ‘ (π₯π ) = π(π₯π π βπ‘ ) = π(π¦π ). Jadi ππ‘ (π₯π ) βΆ ππ‘ (π₯), dengan kata lain ππ‘ kontinu di π₯.
2) Akan ditunjukkan pemetaan ππ‘ dimana ππ‘ (π) = ππ‘ automorfisma-β dari πΆ0 (β) ke πΆ0 (β). -
Akan ditunjukkan ππ‘ homomorfisma-β. (i)
ππ‘ (π + π)(π₯) = (π + π)π‘ (π₯) = (π + π)(π₯π βπ‘ ) = π(π₯π βπ‘ ) + π(π₯π βπ‘ ) = ππ‘ (π)(π₯) + ππ‘ (π)(π₯) = (ππ‘ (π) + ππ‘ (π))(π₯), βπ₯ β β Jadi ππ‘ (π + π) = ππ‘ (π) + ππ‘ (π).
(ii) ππ‘ (ππ)(π₯) = (ππ)π‘ (π₯) = (ππ)(π₯π βπ‘ ) = π(π₯π βπ‘ )π(π₯π βπ‘ ) = ππ‘ (π)(π₯)ππ‘ (π)(π₯) = (ππ‘ (π)ππ‘ (π))(π₯), βπ₯ β β Jadi ππ‘ (ππ) = ππ‘ (π)ππ‘ (π). (iii) ππ‘ (πΌπ)(π₯) = πΌ(π)π‘ (π₯) = πΌ π(π₯π βπ‘ ) = πΌππ‘ (π)(π₯), βπ₯ β β Jadi ππ‘ (πΌπ) = πΌππ‘ (π). Ishma Fadlina Urfa, 2014 PRODUK SILANG ATAS SEMIGRUP ENDOMORFISMA Universitas Pendidikan Indonesia | repository.upi.edu | perpustakaan.upi.edu
adalah sebuah
(iv) ππ‘ (π β )(π₯) = (π β )π‘ (π₯) = π β (π₯π βπ‘ ) βπ‘ ) Μ
Μ
Μ
Μ
Μ
Μ
Μ
Μ
Μ
Μ
= π(π₯π
= πΜ
Μ
Μ
Μ
Μ
Μ
Μ
Μ
Μ
Μ
Μ
π‘ (π)(π₯) = (ππ‘ (π)(π₯))β , βπ₯ β β Jadi ππ‘ (π β ) = (ππ‘ (π))β. -
Akan ditunjukkan ππ‘ 1-1. Ambil π1 , π2 β πΆ0 (β) sedemikian sehingga ππ‘ (π1 ) = ππ‘ (π2 ). Perhatikan ππ‘ (π1 )(π₯) = ππ‘ (π2 )(π₯), βπ₯ β β βΊ π1 (π₯π βπ‘ ) = π2 (π₯π βπ‘ ), βπ₯ β β βΊ π1 (π₯π π‘ π βπ‘ ) = π2 (π₯π π‘ π βπ‘ ), βπ₯ β β βΊ π1 (π₯) = π2 (π₯), βπ₯ β β Jadi π1 = π2 .
-
Akan ditunjukkan ππ‘ pada. Ambil sembarang fungsi π β πΆ0 (β). Akan ditunjukkan terdapat π β πΆ0 (β) dimana π = ππ‘ (π) sedemikian sehingga βπ₯ β β berlaku ππ‘ (π)(π₯) = ππ‘ (π₯) = π(π₯π βπ‘ ) = π(π₯). Pilih π(π₯) = π(π₯π π‘ ), βπ₯ β β. Diperoleh ππ‘ (π)(π₯) = ππ‘ (π₯) = π(π₯π βπ‘ ) = π(π₯π π‘ π βπ‘ ) = π(π₯). Jadi ππ‘ pada.
Jadi ππ‘ automorfisma-β. 3) Akan ditunjukkan pemetaan π‘ β ππ‘ homomorfisma grup, dengan demikian diperoleh aksi π: β βΆ π΄π’π‘(πΆ0 (β)) π‘ βΌ ππ‘ (π)(π₯) = π(π₯π βπ‘ ), βπ₯ β β. Misalkan π: π‘ β ππ‘ . -
Akan ditunjukkan π pemetaan. Misalkan π‘1 , π‘2 β β dengan π‘1 = π‘2. Perhatikan
Ishma Fadlina Urfa, 2014 PRODUK SILANG ATAS SEMIGRUP ENDOMORFISMA Universitas Pendidikan Indonesia | repository.upi.edu | perpustakaan.upi.edu
π‘1 = π‘2 βΊ π β π‘1 = π βπ‘2 βΊ π₯π β π‘1 = π₯π βπ‘2 βΊ π₯π β π‘1 = π₯π βπ‘2 βΊ π(π₯π β π‘1 ) = π(π₯π βπ‘2 ) βΊ ππ‘1 (π)(π₯) = ππ‘2 (π)(π₯), βπ₯ β β. Jadi π pemetaan. -
Akan ditunjukkan π homomorfisma. Ambil sembarang π‘1 , π‘2 β β. Perhatikan ππ‘1 +π‘2 (π)(π₯) = ππ‘1 +π‘2 (π₯) = π(π₯π β(π‘1 +π‘2 ) ) = π(π₯π βπ‘1 βπ‘2 ) = π(π₯π βπ‘1 π βπ‘2 ) = ππ‘1 (ππ‘2 (π₯)) = ππ‘1 (ππ‘3 (π)) (π₯), βπ₯ β β, π β πΆ0 (β). Jadi ππ‘1 +π‘2 (π) = ππ‘1 ππ‘3 (π), βπ β πΆ0 (β).
Jadi, π homomorfisma grup. Berdasarkan 1), 2) dan 3), π sebuah aksi dari β ke πΆ0 (β) melalui automorfisma. Jadi, π: β βΆ π΄π’π‘(πΆ0 (β)) π‘ βΌ ππ‘ (π)(π₯) = π(π₯π βπ‘ ), βπ₯ β β adalah sebuah aksi dari β pada aljabar-πΆ β πΆ0 (β) melalui automorfisma. Dengan demikian, (πΆ0 (β), β, π) adalah sebuah sistem dinamik.
Definisi 3.1.5: Representasi Kovarian dari Sistem Dinamik Misal (π΄, πΊ, πΌ) adalah sistem dinamik yang terdiri dari aljabar-πΆ β π΄, grup πΊ dan aksi πΌ. Representasi kovarian dari (π΄, πΊ, πΌ) adalah pasangan (π, π) dimana π: π΄ βΆ π΅(π») adalah representasi non-degenerate dari π΄ ke π΅(π») dimana π΅(π») seperti yang didefinisikan pada Definisi 2.6.3, dan π: πΊ βΆ π(π») representasi Ishma Fadlina Urfa, 2014 PRODUK SILANG ATAS SEMIGRUP ENDOMORFISMA Universitas Pendidikan Indonesia | repository.upi.edu | perpustakaan.upi.edu
uniter dari πΊ ke himpunan operator-operator linier terbatas uniter π(π») yang memenuhi kondisi kovarian berikut: π(πΌπ₯ (π)) = ππ₯ π(π)ππ₯ β ,
βπ₯ β πΊ, π β π΄.
Contoh 3.1.6. (Williams, 1952: 45) Misal β suatu homeomorfisma dari π ke π, adalah βrotasi oleh πβ: yaitu, β(π§) β π β2πππ π§, βπ§ β π dan misal (πΆ(π), β€, Ξ±) adalah sistem dinamik dengan aksi πΌπ (π)(π§) = π(π β2πππ π§), βπ β β€, π§ β π, π β πΆ(π). Misal π: πΆ(Ξ€) β π΅(πΏ2 (Ξ€)) representasi yang didefinisikan oleh perkalian titik demi titik: π(π)β(π§) β π(π§)β(π§), dan misal π: β€ β π(πΏ2 (Ξ€)) representasi uniter yang didefinisikan dengan ππ β(π§) β β(π β2πππ π§). Akan ditunjukkan bahwa (π, π) adalah representasi kovarian dari (πΆ(π), β€, Ξ±). Perhatikan ππ π(π)ππ β β(π§) = π(π)ππ β β(π β2πππ π§) = π(π β2πππ π§)ππ β β(π β2πππ π§) = (πΌπ π)(π§)β(π§) = π(πΌπ π)β(π§) Jadi (π, π) adalah representasi kovarian dari (πΆ(π), β€, Ξ±).
Iain Raeburn dalam papernya On Crossed Products and Takai Duality (1988) memandang produk silang dari sistem dinamik (π΄, πΊ, πΌ) sebagai suatu Ishma Fadlina Urfa, 2014 PRODUK SILANG ATAS SEMIGRUP ENDOMORFISMA Universitas Pendidikan Indonesia | repository.upi.edu | perpustakaan.upi.edu
aljabar-πΆ β yang representasinya berkorespondensi satu-satu dengan representasi kovarian dari (π΄, πΊ, πΌ).
Definisi 3.1.7: Produk Silang dari Sistem Dinamik Misal (π΄, πΊ, πΌ) adalah sistem dinamik yang terdiri dari aljabar-πΆ β π΄, grup πΊ dan aksi πΌ. Produk silang dari (π΄, πΊ, πΌ) adalah sistem (π΅, ππ΄ , ππΊ ) yang terdiri dari aljabar-πΆ β π΅ (aljabar-πΆ β π΅ dinotasikan dengan π΄ ΓπΌ πΊ), representasi ππ΄ : π΄ βΆ π΅(π»), dan representasi ππΊ : πΊ βΆ π(π») yang memenuhi: (ππ΄ , ππΊ ) adalah kovarian; yaitu, memenuhi ππ΄ (πΌπ₯ (π)) = ππΊ (π₯)ππ΄ (π)ππΊ (π₯)β ,
i.
β π₯ β πΊ, π β π΄; Aljabar-πΆ β π΅ memiliki sifat universal, yaitu: untuk setiap representasi
ii.
kovarian (π, π) dari (π΄, πΊ, πΌ) terdapat representasi unital unik π Γ π dari π΅ sedemikian sehingga (π Γ π) β ππ΄ = π dan (π Γ π) β ππΊ = π; iii.
π΅ dibangun oleh {ππ΄ (π) βΆ π β π΄} βͺ {ππΊ (π₯) βΆ π₯ β πΊ}.
Eksistensi suatu produk silang dari sistem dinamik dan keunikannya diuraikan dalam proposisi berikut.
Proposisi 3.1.8. (Raeburn, 1988: 324) 1) Jika (π΅, ππ΄ , ππΊ ) dan (πΆ, ππ΄ , ππΊ ) keduanya adalah produk silang dari (π΄, πΊ, πΌ), terdapat isomorfisma π dari π΅ ke πΆ sedemikian sehingga π β ππ΄ = ππ΄ dan π β ππΊ = ππΊ . 2) Terdapat produk silang untuk setiap sistem dinamik.
Setiap representasi non-degenerate π dari π΄ ΓπΌ πΊ memiliki bentuk π Γ π dimana (π, π) representasi kovarian dari (π΄, πΊ, πΌ). Homomorfisma ππ΄ dan ππΊ adalah injektif. Ishma Fadlina Urfa, 2014 PRODUK SILANG ATAS SEMIGRUP ENDOMORFISMA Universitas Pendidikan Indonesia | repository.upi.edu | perpustakaan.upi.edu
3.2.
Pendahuluan Aljabar Toeplitz Pada bab selanjutnya, akan dikaji hubungan antara produk silang atas
semigrup endomorfisma dengan aljabar-πΆ β yang dibangun oleh unsur-unsur isometri nonuniter. Aljabar-πΆ β yang dibangun oleh unsur-unsur isometri nonuniter dapat dipandang sebagai suatu aljabar Toeplitz. Untuk itu pada subbab ini dibahas secara ringkas konsep aljabar Toeplitz atas grup terurut dan aljabar Toeplitz abstrak. Penulis mengacu pada tesis magister Aljabar Toeplitz atas Grup Terurut karya Lindiarni (1997). Misal Ξ grup terurut. Definisikan grup dual dari Ξ sebagai ΞΜ β {π: Ξ βΆ π: π homomorfisma grup kontinu}. Grup dual ΞΜ membentuk grup dibawah operasi perkalian titik demi titik. Dapat ditunjukkan pula bahwa ΞΜ adalah suatu grup topologi kompak. Karena ΞΜ kompak, maka πΆ(ΞΜ) β {π: ΞΜ βΆ β} adalah aljabar-πΆ β terhadap operasi tambah dan kali titik demi titik serta norm supremum. Pandang pemetaan evaluasi ππ₯ : ΞΜ βΆ π π βΌ ππ₯ (π) = π(π₯), βπ₯ β Ξ, π β ΞΜ. Untuk setiap π₯ β Ξ, ππ₯ adalah suatu homomorfisma. Kemudian dapat ditunjukkan π πππ{ππ₯ : π₯ β Ξ} adalah subaljabar-β padat dari πΆ(ΞΜ). Bentuk ruang Hilbert πΏ2 (ΞΜ) β {π: ΞΜ βΆ β βΆ β« |π|2 ππ < β} Μ Ξ
Μ
Μ
Μ
Μ
Μ
Μ
Μ ) terhadap norm yang dengan π adalah ukuran Haar pada ΞΜ. πΏ2 (ΞΜ) adalah πΆ(Ξ dihasilkan dari hasil kali dalam: < π, π > = β« ππΜ
}. Μ Ξ
Ishma Fadlina Urfa, 2014 PRODUK SILANG ATAS SEMIGRUP ENDOMORFISMA Universitas Pendidikan Indonesia | repository.upi.edu | perpustakaan.upi.edu
Definisi 3.2.1. (Adji, Laca, dkk. 1994: 1140) Himpunan {ππ₯ : π₯ β Ξ} adalah basis ortonormal untuk πΏ2 (ΞΜ). Definisikan π» 2 (Ξ + ) sebagai subruang tutup π πππ Μ
Μ
Μ
Μ
Μ
Μ
Μ
{ππ₯ : π₯ β Ξ + }. Misal π proyeksi dari πΏ2 (ΞΜ) ke π» 2 (Ξ + ). Untuk setiap π β πΆ(ΞΜ), operator Toeplitz ππ adalah operator pada π» 2 (Ξ + ) yang didefinisikan oleh ππ (π) = π(ππ), βπ β πΏ2 (ΞΜ), π β πΆ(ΞΜ). Aljabar Toeplitz π―(Ξ) dari grup terurut Ξ adalah subaljabar-β dari π΅(π» 2 (Ξ + )) yang dibangun oleh operator Toeplitz {ππ : π β πΆ(ΞΜ)}.
Μ
Μ
Μ
Μ
Μ
Μ
Μ ) , maka untuk Sebagai catatan, perhatikan bahwa karena πΏ2 (ΞΜ) = πΆ(Ξ setiap π β πΆ(ΞΜ) dan π β πΏ2 (ΞΜ), ππ β πΏ2 (ΞΜ). Jadi dapat didefinisikan operasi perkalian di πΏ2 (ΞΜ). Telah diuraikan konsep aljabar Toeplitz atas suatu grup terurut. Selanjutnya, Murphy (1991) mendefinisikan aljabar Toeplitz abstrak dalam papernya Ordered Group and Toeplitz Algebra.
Definisi 3.2.2: Semigrup Isometri. (Lindiarni, 1997: 49) Misal Ξ grup terurut dan π΅ suatu aljabar-πΆ β unital. Semigrup isometri di π΅ relatif terhadap Ξ adalah pemetaan π: Ξ + βΆ π΅ sedemikian sehingga ππ₯ isometri di π΅ untuk setiap π₯ β Ξ + dan ππ₯+π¦ = ππ₯ ππ¦ , untuk setiap π₯, π¦ β Ξ + .
Definisi 3.2.3. Aljabar Toeplitz abstrak dari grup terurut Ξ adalah aljabar-πΆ β π΅ unital yang dibangun oleh ππ₯ , π₯ β Ξ + , dimana π adalah semigrup isometri di Ξ. Notasikan aljabar-πΆ β π΅ dengan πΆ β ({ππ₯ : π₯ β Ξ + }.
Ishma Fadlina Urfa, 2014 PRODUK SILANG ATAS SEMIGRUP ENDOMORFISMA Universitas Pendidikan Indonesia | repository.upi.edu | perpustakaan.upi.edu
Notasikan aljabar Toeplitz abstrak dari grup terurut Ξ dengan π―(Ξ). Muphy telah membuktikan bahwa aljabar Toeplitz dari suatu grup terurut Ξ selalu ada dan bersifat universal, yang terangkum dalam teorema berikut:
Teorema 3.2.4. (Murphy, 1987: 315) Misal π€ grup terurut dan π½: π€ + βΆ π΅ adalah semigrup isometri nonuniter di aljabar-πΆ β unital π΅. Terdapat homomorfisma-β unik π½ β : π―(π€) βΆ π΅ sedemikian sehingga π½ β β π = π½ injektif, dimana π: π€ + βΆ π―(π€) adalah semigrup isometri di π―(π€).
Berdasarkan teorema diatas, dapat disimpulkan bahwa semua aljabar-πΆ β yang dibangun oleh semigrup isometri nonuniter dari Ξ + dapat dipandang sebagai suatu aljabar Toeplitz π―(Ξ).
Ishma Fadlina Urfa, 2014 PRODUK SILANG ATAS SEMIGRUP ENDOMORFISMA Universitas Pendidikan Indonesia | repository.upi.edu | perpustakaan.upi.edu