Delta-Pi: Jurnal Matematika dan Pendidikan Matematika Vol. 01, No. 01, April 2012
ISSN 2089-855X
SIFAT-SIFAT PEMETAAN BILINEAR
Mustafa A.H. Ruhama Program Studi Pendidikan Matematika Jurusan Pendidikan Matematika dan Ilmu Pengetahuan Alam FKIP Universitas Khairun
ABSTRACT Let đđ, đđ and đđ are vector spaces at the same field, đđ : đđ Ã đđ â đđ bilinear mapping, if đđ = â that đđ is bilinear functional. The collection of all bilinear mapping đđ : đđ Ã đđ â đđ denoted with đ
đ
(đđ, đđ; đđ). Problems we will discuss about some properties at bilinear mapping. Furthermore will see đ
đ
(đđ, đđ, đđ) is vector space toward operation (đđ + đđ)(đĨđĨ, đĻđĻ) = đđ(đĨđĨ, đĻđĻ) + đđ(đĨđĨ, đĻđĻ) and (đđđđ)(đĨđĨ, đĻđĻ) = đđđđ(đĨđĨ, đĻđĻ) for all scalar đđ, đĨđĨ â đđ, đĻđĻ â đđ and đđ, đđ â đ
đ
(đđ, đđ; đđ). Key Word: Vector Space, Bilinear Mapping
PENDAHULUAN Konsep himpunan dan pemetaan (fungsi) merupakan konsep yang dikenal hampir di semua cabang matematika, walaupun terminologi dan notasi yang digunakan berbeda-beda. Diketahui đđ dan đđ masing-masing himpunan yang tak kosong, jika đđ
adalah suatu pemetaan dari himpunan đđ ke himpunan đđ, maka pemetaan tersebut đđ
dinotasikan dengan đđ : đđâ đđ atau đđ â đđ.
Jika đ´đ´ dan đĩđĩ masing-masing dua himpunan yang tak kosong (đ´đ´ â â
dan
đĩđĩ â â
), maka himpunan yang didefinisikan dengan đ´đ´ Ã đĩđĩ = {(đĨđĨ, đĻđĻ): đĨđĨ â đ´đ´ & đĻđĻ â đĩđĩ} disebut himpunan hasil ganda Cartesius (Cartesian product) himpunan đ´đ´ dengan đĩđĩ.
Himpunan yang terdiri atas elemen-elemen yang memenuhi aksioma-aksioma
tertentu disebut ruang. Di dalam analisis modern, beberapa ruang yang sering dibicarakan adalah ruang vektor, ruang metrik, ruang bernorma, ruang Banach, ruang pre-Hilbert dan ruang Hilbert. Diberikan đđ : đđ Ã đđ â đđ pemetaan bilinear, jika đđ = â maka đđ disebut fungsional bilinear. Koleksi semua pemetaan bilinear
đđ : đđ Ã đđ â đđ dinotasikan dengan đ
đ
(đđ, đđ; đđ). Berdasarkan pemikiran tersebut, permasalahan yang akan diteliti adalah sifat-sifat yang berlaku pada pemetaan bilinear.
METODE Metode penelitian yang digunakan adalah studi literatur, yaitu mengumpulkan materi-materi penelitian yang dimbil dari beberapa buku analisis yang memuat tentang 1
Delta-Pi: Jurnal Matematika dan Pendidikan Matematika Vol. 01, No. 01, April 2012
ISSN 2089-855X
ruang vektor dan pemetaan bilinear. Selanjutnya mempelajari dan membahas materi tersebut.
PEMBAHASAN 3.1. Landasan Teori 3.1.1
Operasi Biner Secara intuitif suatu operasi biner atas suatu himpunan đđ adalah suatu aturan
yang menggabungkan dua unsur dari đđ menjadi satu unsur dari đđ. Sebelum mendefinisikan operasi biner dalam konteks yang lebih umum, perlu diberikan definisi tentang relasi suatu himpunan sebagai berikut: Definisi 3.1.1.1. Diketahui đ´đ´ dan đĩđĩ masing-masing dua himpunan yang tak kosong.
Suatu relasi R dari đ´đ´ ke đĩđĩ adalah himpunan bagian dari đ´đ´ Ã đĩđĩ = {(đĨđĨ, đĻđĻ): đĨđĨ â đ´đ´ & đĻđĻ â đĩđĩ}. Dengan perkataan lain suatu relasi R dari đ´đ´ ke đĩđĩ adalah suatu aturan yang menghubungkan unsur dari đ´đ´ ke đĩđĩ.
Andaikan đ
đ
adalah relasi dari đ´đ´ ke đĩđĩ, dan misalkan đ
đ
menghubungkan đĨđĨ â đ´đ´
ke đĻđĻ â đĩđĩ. Hubungan ini dinotasikan dengan đĨđĨđĨđĨđĨđĨ atau (đĨđĨ, đĻđĻ) â đ
đ
.
Definisi 3.1.1.2. Suatu operasi biner â atas suatu himpunan đđ adalah suatu relasi yang
menghubungkan setiap pasangan berurutan (đĨđĨ, đĻđĻ) dari unsur-unsur di đđ ke tepat satu đ§đ§ â đđ, dan dinotasikan dengan đĨđĨ â đĻđĻ = đ§đ§.
3.1.2
Pemetaan
Definisi 3.1.2.1. Diketahui đ´đ´ dan đĩđĩ himpunan tak kosong. Suatu pemetaan đđ dari
himpunan đ´đ´ ke himpunan đĩđĩ adalah suatu aturan yang menghubungkan setiap unsur
dari himpunan đ´đ´ ke tepat satu unsur dari himpunan đĩđĩ.
Jika đđ adalah suatu pemetaan dari himpunan đ´đ´ ke himpunan đĩđĩ, maka pemetaan đđ
tersebut dinotasikan dengan đđ : đ´đ´ â đĩđĩ atau đ´đ´ â đĩđĩ. Himpunan đ´đ´ disebut domain
(daerah asal) dari đđ dan dinotasikan dengan đˇđˇ(đđ) serta himpunan đĩđĩ disebut kodomain(daerah kawan) dan dinotasikan dengan đļđļ(đđ). Jika đđ menghubungkan đđ â đ´đ´
ke đđ â đĩđĩ, maka đđ dikatakan sebagai bayangan dari đđ oleh pemetaan đđ dan dinotasikan dengan đđ(đđ)= đđ. Himpunan R (đđ)= {đđ(a): a â đˇđˇ(đđ)} disebut range atau daerah hasil. 3.1.3
Ruang Vektor
Sebelum membahas ruang vektor (ruang linear) terlebih dahulu diberikan tentang pengertian grup komutatif dan lapangan (filed). 2
Delta-Pi: Jurnal Matematika dan Pendidikan Matematika Vol. 01, No. 01, April 2012
ISSN 2089-855X
Definisi 3.1.3.1. đđ himpunan tak kosong dengan operasi biner â merupakan grup
komutatif (abelian) jika memenuhi:
(i). Untuk setiap đŖđŖ1 , đŖđŖ2 â đđ berlaku đŖđŖ1 â đŖđŖ2 = đŖđŖ2 â đŖđŖ1 .
(ii). Untuk setiap đŖđŖ1 , đŖđŖ2 , đŖđŖ3 â đđ berlaku đŖđŖ1 â (đŖđŖ2 â đŖđŖ3 ) = (đŖđŖ1 â đŖđŖ2 ) â đŖđŖ3 .
(iii). Terdapat unsur đđ sehingga untuk setiap đŖđŖ â đđ berlaku disebut unsur identitas terhadap operasi â.
(iv). Untuk setiap đŖđŖ â đđ terdapat đŖđŖ â1 â đđ
đŖđŖ â1 disebut invers terhadap operasi â.
đŖđŖ â đđ = đđ â đŖđŖ = đŖđŖ. đđ
sehingga berlaku đŖđŖ â đŖđŖ â1 = đŖđŖ â1 â đŖđŖ = đđ.
Suatu grup đđ dengan operasi biner â dinotasikan dengan (đđ,â).
Definisi 3.1.3.2. đšđš himpunan tak kosong dengan dua operasi biner, yang dinotasikan
dengan ⨠dan â merupakan lapangan jika memenuhi: (i). (đšđš, â¨) grup komutatif. (ii). (đšđš, â) grup komutatif.
(iii). Untuk setiap đđ, đđ, đđ â đšđš berlaku
đđ â (đđâ¨đđ) = đđ â đđâ¨đđ â đđ dan (đđâ¨đđ) â đđ = đđ â đđâ¨đđ â đđ.
Contoh 3.1.3.3
1. â merupakan himpunan bilangan real (nyata) dengan operasi penjumlahan biasa merupakan grup komutatif, sebab (i).
Untuk setiap đĨđĨ, đĻđĻ â â berlaku đĨđĨ + đĻđĻ = đĻđĻ + đĨđĨ.
(ii). Untuk setiap đĨđĨ, đĻđĻ, đ§đ§ â â berlaku đĨđĨ + (đĻđĻ + đ§đ§) = (đĨđĨ + đĻđĻ) + đ§đ§.
(iii). Terdapat unsur 0 â â sehingga untuk setiap đĨđĨ â â berlaku đĨđĨ + 0 = 0 + đĨđĨ = đĨđĨ. 0 disebut unsur identitas terhadap operasi penjumlahan.
(iv). Untuk setiap đĨđĨ â â terdapat âđĨđĨ â â sehingga berlaku
đĨđĨ + (âđĨđĨ) = (âđĨđĨ) + đĨđĨ = 0. â đĨđĨ disebut invers terhadap operasi penjumlahan.
2. â dengan operasi penjumlahan (+) dan perkalian (â) biasa merupakan lapangan , sebab
(i). (â, +) grup komutatif. (ii). (â, â) grup komutatif.
(iii). Untuk setiap đĨđĨ, đĻđĻ, đ§đ§ â â berlaku
đĨđĨ â (đĻđĻ + đ§đ§) = đĨđĨ â đĻđĻ + đĨđĨ â đ§đ§ dan (đĨđĨ + đĻđĻ) â đ§đ§ = đĨđĨ â đĻđĻ + đĻđĻ â đ§đ§.
Definisi 3.1.3.4. Diketahui (đđ, +) grup komutatif dan (đšđš, â¨,â) lapangan. đđ disebut ruang vektor (vector space) atau ruang linear (linear space) atas đšđš jika terdapat 3
Delta-Pi: Jurnal Matematika dan Pendidikan Matematika Vol. 01, No. 01, April 2012
ISSN 2089-855X
operasi â antara keduanya sehingga untuk setiap đĨđĨ â đđ dan đŧđŧ â đšđš menentukan dengan
tunggal đŧđŧ â đĨđĨ yang memenuhi sifat-sifat: (i). đŧđŧ â (đĨđĨ + đĻđĻ) = đŧđŧ â đĨđĨ + đŧđŧ â đĻđĻ, (ii). (đŧđŧâ¨đŊđŊ) â đĨđĨ = đŧđŧ â đĨđĨ + đŊđŊ â đĨđĨ, (iii). (đŧđŧ â đŊđŊ) â đĨđĨ = đŧđŧ â (đĨđĨ â đŊđŊ), (iv). 1 â đĨđĨ = đĨđĨ,
untuk setiap đĨđĨ, đĻđĻ â đđ dan đŧđŧ, đŊđŊ â đšđš.
Untuk penyederhanaan penulisan đŧđŧ â đĨđĨ cukup ditulis đŧđŧđŧđŧ , đŧđŧâ¨đŊđŊ cukup ditulis đŧđŧ + đŊđŊ,
dan đŧđŧ â đŊđŊ cukup ditulis dengan đŧđŧđŧđŧ, asalkan tak ada salah pengertian. Anggota ruang vektor disebut vektor sedangkan anggota đšđš disebut skalar.
Contoh 3.1.3.5 1. Diberikan
sebarang
bilangan
asli
đđ
atau
đđ â â
dan
dibentuk
âđđ = {đĨđĨīŋŊ = (đĨđĨ1 , đĨđĨ2 , âĻ , đĨđĨđđ ): đĨđĨđđ â â, 1 ⤠đđ ⤠đđ}. Operasi penjumlahan dan perkalian skalar didefinisikan sebagai berikut:
đĨđĨīŋŊ + đĻđĻīŋŊ = (đĨđĨ1 + đĻđĻ1 , đĨđĨ2 + đĻđĻ2 , âĻ , đĨđĨđđ + đĻđĻđđ ) untuk
setiap
đŧđŧđĨđĨīŋŊ = (đŧđŧđĨđĨ1 , đŧđŧđŧđŧ2 , âĻ , đŧđŧđĨđĨđđ )
đĨđĨīŋŊ = (đĨđĨ1 , đĨđĨ2 , âĻ , đĨđĨđđ ),
merupakan ruang vektor real.
đĻđĻīŋŊ = (đĻđĻ1 , đĻđĻ2 , âĻ , đĻđĻđđ ) â âđđ
dan
đŧđŧ â â.
âđđ
2. đđ = đļđļ[đđ, đđ], yaitu koleksi semua fungsi kontinu dari [đđ, đđ] ke â. Operasi
penjumlahan (+) pada đļđļ[đđ, đđ] didefinisikan sebagai berikut: Untuk setiap đđ, đđ â đļđļ[đđ, đđ], fungsi đđ + đđ didefinisikan sebagai
(đđ + đđ)(đĨđĨ) = đđ(đĨđĨ) + đđ(đĨđĨ), đĨđĨ â [đđ, đđ]
maka đđ merupakan grup komutatif, dengan (âđđ)(đĨđĨ) = âđđ(đĨđĨ) untuk setiap
đĨđĨ â [đđ, đđ].Jika untuk setiap đđ â đđ = đļđļ[đđ, đđ] dan đŧđŧ â â didefinisikan fungsi đŧđŧđŧđŧ, dengan rumus (đŧđŧđđ)(đĨđĨ) = đŧđŧđŧđŧ(đĨđĨ), đĨđĨ â [đđ, đđ] maka dapat dilihat bahwa đŧđŧđđ â đđ. đđ merupakan ruang vektor real.
3.2. Sifat-Sifat Pemetaan Bilinear Sebelum membahas sifat-sifat pemetaan bilinear terlebih dahulu diberikan definisi tentang pemetaan bilinear dan selanjutnya dengan menggunakan definisi dapat dijabarkan teorema-teorema yang yang berlaku pada pemetaan bilinear. Definisi 3.2.1. Diketahui đđ, đđ, dan đđ ruang vektor. Pemetaan đđ : đđ Ã đđ â đđ
dikatakan bilinear jika memenuhi: (i).
đđ(đĸđĸ1 + đĸđĸ2 , đŖđŖ) = đđ(đĸđĸ1 , đŖđŖ) + Ī(đĸđĸ2 , đŖđŖ), untuk setiap đĸđĸ1 , đĸđĸ2 â đđ dan đŖđŖ1 , đŖđŖ2 â đđ . 4
Delta-Pi: Jurnal Matematika dan Pendidikan Matematika Vol. 01, No. 01, April 2012
ISSN 2089-855X
(ii). đđ(đđđđ, đŖđŖ) = đđđđ(đĸđĸ, đŖđŖ), untuk setiap đĸđĸ â đđ, đŖđŖ â đđ dan đđ sebarang skalar.
(iii). đđ(đĸđĸ, đŖđŖ1 + đŖđŖ2 ) = đđ (đĸđĸ, đŖđŖ1 ) + đđ (đĸđĸ, đŖđŖ2 ), untuk setiap đĸđĸ â đđ dan đŖđŖ1 , đŖđŖ2 â đđ.
(iv). đđ(đĸđĸ, đđđđ) = đđđđ(đĸđĸ, đŖđŖ), untuk setiap đĸđĸ â đđ, đŖđŖ â đđ dan đđ sebarang skalar. Jika đđ = â, đđ disebut fungsional bilinear pada đđ Ã đđ.
Jika đđ, đđ, dan đđ masing-masing ruang vektor, maka koleksi semua pemetaan bilinear đđ : đđ Ã đđ â đđ dinotasikan dengan đ
đ
(đđ, đđ; đđ). Contoh 3.2.2.
1. â merupakan ruang vektor atas lapangan â. Didefinisikan pemetaan đđ : â Ã â â â dengan rumus đđ(đĨđĨ, đĻđĻ) = 2đĨđĨđĨđĨ. Pemetaan đđ merupakan pemetaan bilinear, sebab (đđ). Untuk setiap đĨđĨ1 , đĨđĨ2 , đĻđĻ â â berlaku
đđ(đĨđĨ1 + đĨđĨ2 , đĻđĻ) = 2(đĨđĨ1 + đĨđĨ2 )đĻđĻ = 2đĨđĨ1 đĻđĻ + 2đĨđĨ2 đĻđĻ = đđ(đĨđĨ1 , đĻđĻ) + đđ(đĨđĨ2 , đĻđĻ).
(đđđđ). Untuk
setiap
untuk đđ â â.
đĨđĨ, đĻđĻ â â berlaku đđ(đđđđ, đĻđĻ) = 2đđđđđđ = đđ2đĨđĨđĨđĨ = đđđđ(đĨđĨ, đĻđĻ),
(đđđđđđ). Untuk setiap đĨđĨ, đĻđĻ1 , đĻđĻ2 â â berlaku
đđ(đĨđĨ, đĻđĻ1 + đĻđĻ2 ) = 2đĨđĨ(đĻđĻ1 + đĻđĻ2 ) = 2đĨđĨđĨđĨ1 + 2đĨđĨđĨđĨ2 = đđ(đĨđĨ, đĻđĻ1 ) + đđ(đĨđĨ, đĻđĻ2 ).
(đđđđ). Untuk setiap đĨđĨ, đĻđĻ â â berlaku đđ(đĨđĨ, đđđđ) = 2đĨđĨđĨđĨđĨđĨ = đđ2đĨđĨđĨđĨ = đđđđ(đĨđĨ, đĻđĻ), untuk đđ â â.
2. â merupakan ruang vektor atas lapangan â. Didefinisikan pemetaan đđ : â Ã â â â dengan rumus đđ(đĨđĨ, đĻđĻ) = (1 + đđ)đĨđĨđĨđĨ. Pemetaan đđ merupakan fungsional bilinear, sebab
(đđ). Untuk setiap đĨđĨ1 , đĨđĨ2 , đĻđĻ â â berlaku
đđ(đĨđĨ1 + đĨđĨ2 , đĻđĻ) = (1 + đđ)(đĨđĨ1 + đĨđĨ2 )đĻđĻ = (1 + đđ)(đĨđĨ1 đĻđĻ + đĨđĨ2 đĻđĻ). = (1 + đđ)đĨđĨ1 đĻđĻ + (1 + đđ)đĨđĨ2 đĻđĻ)
(đđđđ). Untuk setiap đĨđĨ, đĻđĻ â â berlaku
= đđ(đĨđĨ1 , đĻđĻ) + đđ(đĨđĨ2 , đĻđĻ).
đđ(đđđđ, đĻđĻ) = (1 + đđ)đđđđđđ = đđ(1 + đđ)đĨđĨđĨđĨ = đđđđ(đĨđĨ, đĻđĻ) untuk đđ â â..
(đđđđđđ). Untuk setiap đĨđĨ, đĻđĻ1 , đĻđĻ2 â â berlaku
đđ(đĨđĨ, đĻđĻ1 + đĻđĻ2 ) = (1 + đđ)đĨđĨ(đĻđĻ1 + đĻđĻ2 ) = (1 + đđ)(đĨđĨđĻđĻ1 + đĨđĨđĻđĻ2 ). = (1 + đđ)đĨđĨđĻđĻ1 + (1 + đđ)đĨđĨđĻđĻ2 )
(đđđđ). Untuk setiap đĨđĨ, đĻđĻ â â berlaku
= đđ(đĨđĨ, đĻđĻ1 ) + đđ(đĨđĨ, đĻđĻ2 ).
đđ(đĨđĨ, đđđđ) = (1 + đđ)đĨđĨ(đđđđ) = đđ(1 + đđ)đĨđĨđĨđĨ = đđđđ(đĨđĨ, đĻđĻ) untuk đđ â â. 5
Delta-Pi: Jurnal Matematika dan Pendidikan Matematika Vol. 01, No. 01, April 2012
ISSN 2089-855X
3. Diberikan âđđ = { đĨđĨīŋŊ = (đĨđĨ1 , đĨđĨ2 , âĻ , đĨđĨđđ ): đĨđĨđđ â â, 1 ⤠đđ ⤠đđ}. Didefinisikan pemetaan đđ : âđđ à âđđ ââ
dengan rumus
đĨđĨīŋŊ = (đĨđĨ1 , đĨđĨ2 , âĻ , đĨđĨđđ ), đĻđĻīŋŊ = (đĻđĻ1 , đĻđĻ2 , âĻ , đĻđĻđđ ) â âđđ .
đđ( đĨđĨīŋŊ, đĻđĻīŋŊ) = âđđđđ=1 đĨđĨđđ đĻđĻđđ , untuk setiap
bilinear, sebab
Pemetaan đđ merupakan pemetaan
(đđ). Untuk setiap đĨđĨīŋŊ = (đĨđĨ1 , đĨđĨ2 , âĻ , đĨđĨđđ ), đĻđĻīŋŊ = (đĻđĻ1 , đĻđĻ2 , âĻ , đĻđĻđđ ), đ§đ§Ė = (đ§đ§1 , đ§đ§2 , âĻ , đ§đ§đđ ) â âđđ berlaku
đđ( đĨđĨīŋŊ + đĻđĻīŋŊ, đ§đ§Ė ) = âđđđđ=1(đĨđĨđđ +đĻđĻđđ )đ§đ§đđ = (đĨđĨ1 +đĻđĻ1 )đ§đ§1 + ⯠+ (đĨđĨđđ +đĻđĻđđ )đ§đ§đđ = đĨđĨ1 đ§đ§1 + đĻđĻ1 đ§đ§1 + ⯠+ đĨđĨđđ đ§đ§đđ + đĻđĻđđ đ§đ§đđ
= (đĨđĨ1 đ§đ§1 + ⯠+ đĨđĨđđ đ§đ§đđ ) + (đĻđĻ1 đ§đ§1 + ⯠+ đĻđĻđđ đ§đ§đđ ) = âđđđđ=1(đĨđĨđđ + đ§đ§đđ ) + âđđđđ=1(đĻđĻđđ + đ§đ§đđ )
= đđ( đĨđĨīŋŊ, đ§đ§Ė ) + đđ( đĻđĻīŋŊ, đ§đ§Ė ).
(đđđđ). Untuk setiap đĨđĨīŋŊ = (đĨđĨ1 , đĨđĨ2 , âĻ , đĨđĨđđ ), đĻđĻīŋŊ = (đĻđĻ1 , đĻđĻ2 , âĻ , đĻđĻđđ ) â âđđ berlaku đđ(đđ đĨđĨīŋŊ, đĻđĻīŋŊ) = âđđđđ=1 đđđĨđĨđđ đĻđĻđđ = đđđĨđĨ1 đĻđĻ1 + ⯠+ đđđĨđĨđđ đĻđĻđđ = đđ(đĨđĨ1 đĻđĻ1 + ⯠+ đĨđĨđđ đĻđĻđđ ) = đđ âđđđđ=1 đĨđĨđđ đĻđĻđđ
= đđđđ( đĨđĨīŋŊ, đĻđĻīŋŊ), untuk đđ â â.
(đđđđđđ). Untuk setiap đĨđĨīŋŊ = (đĨđĨ1 , đĨđĨ2 , âĻ , đĨđĨđđ ), đĻđĻīŋŊ = (đĻđĻ1 , đĻđĻ2 , âĻ , đĻđĻđđ ), đ§đ§Ė = (đ§đ§1 , đ§đ§2 , âĻ , đ§đ§đđ ) â âđđ berlaku
đđ( đĨđĨīŋŊ, đĻđĻīŋŊ + đ§đ§Ė ) = âđđđđ=1 đĨđĨđđ (đĻđĻđđ + đ§đ§đđ ) = đĨđĨ1 (đĻđĻ1 + đ§đ§1 ) + ⯠+ đĨđĨđđ (đĻđĻđđ + đ§đ§đđ ) = (đĨđĨ1 đĻđĻ1 + ⯠+ đĨđĨđđ đĻđĻđđ ) + (đĨđĨ1 đ§đ§1 + ⯠+ đĨđĨđđ đ§đ§đđ ) = âđđđđ=1(đĨđĨđđ + đĻđĻđđ ) + âđđđđ=1(đĨđĨđđ + đ§đ§đđ ) = đđ( đĨđĨīŋŊ, đĻđĻīŋŊ) + đđ( đĨđĨīŋŊ, đ§đ§Ė ).
(đđđđ). Untuk setiap đĨđĨīŋŊ = (đĨđĨ1 , đĨđĨ2 , âĻ , đĨđĨđđ ), đĻđĻīŋŊ = (đĻđĻ1 , đĻđĻ2 , âĻ , đĻđĻđđ ) â âđđ berlaku đđ( đĨđĨīŋŊ, đđ đĻđĻīŋŊ) = âđđđđ=1 đĨđĨđđ (đđđĻđĻđđ ) = đĨđĨ1 (đđđĻđĻđđ ) + ⯠+ đĨđĨđđ (đđđĻđĻđđ ) = đđ(đĨđĨ1 đĻđĻ1 + ⯠+ đĨđĨđđ đĻđĻđđ ) = đđ âđđđđ=1 đĨđĨđđ đĻđĻđđ
= đđđđ( đĨđĨīŋŊ, đĻđĻīŋŊ), untuk đđ â â.
Teorema 3.2.3. Diberikan đđ, đđ, dan đđ masing-masing ruang vektor atas lapangan yang
sama. Jika đđ: đđ Ã đđ â đđ dan đđ: đđ Ã đđ â đđ dengan đđ = đđ jika đđ(đĨđĨ, đĻđĻ) = đđ(đĨđĨ, đĻđĻ) untuk setiap đĨđĨ â đđ dan đĻđĻ â đđ maka đ
đ
(đđ, đđ; đđ) merupakan ruang vektor terhadap operasi
(đđ + đđ)(đĨđĨ, đĻđĻ) = đđ(đĨđĨ, đĻđĻ) + đđ(đĨđĨ, đĻđĻ)
(đđđđ)(đĨđĨ, đĻđĻ) = đđđđ(đĨđĨ, đĻđĻ) untuk sebarang skalar đđ. 6
Delta-Pi: Jurnal Matematika dan Pendidikan Matematika Vol. 01, No. 01, April 2012
ISSN 2089-855X
Bukti: (i). Untuk setiap đđ, đđ â đ
đ
(đđ, đđ; đđ) dan đĨđĨ â đđ, đĻđĻ â đđ berlaku
(đđ + đđ)(đĨđĨ, đĻđĻ) = đđ(đĨđĨ, đĻđĻ) + đđ(đĨđĨ, đĻđĻ) = đđ(đĨđĨ, đĻđĻ) + đđ(đĨđĨ, đĻđĻ) = (đđ + đđ)(đĨđĨ, đĻđĻ).
(ii). Untuk setiap đđ, đđ, đđ â đ
đ
(đđ, đđ; đđ) dan đĨđĨ â đđ dan đĻđĻ â đđ berlaku (đđ + (đđ + đđ))(đĨđĨ, đĻđĻ) = đđ(đĨđĨ, đĻđĻ) + (đđ + đđ)(đĨđĨ, đĻđĻ)
= đđ(đĨđĨ, đĻđĻ) + đđ(đĨđĨ, đĻđĻ) + đđ(đĨđĨ, đĻđĻ)
= īŋŊđđ(đĨđĨ, đĻđĻ) + đđ(đĨđĨ, đĻđĻ)īŋŊ + đđ(đĨđĨ, đĻđĻ) = īŋŊ(đđ + đđ)(đĨđĨ, đĻđĻ)īŋŊ + đđ(đĨđĨ, đĻđĻ) = īŋŊ(đđ + đđ) + đđīŋŊ(đĨđĨ, đĻđĻ).
(iii). Terdapat 0 â đ
đ
(đđ, đđ; đđ) sehingga untuk setiap đđ â đ
đ
(đđ, đđ; đđ) dan đĨđĨ â đđ dan đĻđĻ â đđ berlaku (đđ + 0)(đĨđĨ, đĻđĻ) = đđ(đĨđĨ, đĻđĻ) + 0(đĨđĨ, đĻđĻ) = đđ(đĨđĨ, đĻđĻ).
(iv). Untuk setiap đđ â đ
đ
(đđ, đđ; đđ) terdapat âđđ â đ
đ
(đđ, đđ; đđ) sehingga berlaku
(đđ + (âđđ))(đĨđĨ, đĻđĻ) = đđ(đĨđĨ, đĻđĻ) â đđ(đĨđĨ, đĻđĻ) = 0(đĨđĨ, đĻđĻ), đĨđĨ â đđ dan đĻđĻ â đđ.
(v). Untuk setiap đđ, đđ â đ
đ
(đđ, đđ; đđ) dan đĨđĨ â đđ, đĻđĻ â đđ berlaku
đđ(đđ + đđ)(đĨđĨ, đĻđĻ) = đđ(đđ(đĨđĨ, đĻđĻ) + đđ(đĨđĨ, đĻđĻ)) = đđđđ(đĨđĨ, đĻđĻ) + đđđđ(đĨđĨ, đĻđĻ), untuk sebarang skalar đđ.
(vi). Untuk setiap đđ â đ
đ
(đđ, đđ; đđ) dan đĨđĨ â đđ, đĻđĻ â đđ berlaku
(đđ + đŊđŊ)đđ(đĨđĨ, đĻđĻ) = (đđ + đŊđŊ)đđ(đĨđĨ, đĻđĻ) = đđđđ(đĨđĨ, đĻđĻ) + đŊđŊđŊđŊ(đĨđĨ, đĻđĻ), untuk sebarang skalar đđ, đŊđŊ.
(vii). Untuk setiap đđ â đ
đ
(đđ, đđ; đđ) dan đĨđĨ â đđ, đĻđĻ â đđ berlaku
(đđđđ)đđ(đĨđĨ, đĻđĻ) = đđđđđđ(đĨđĨ, đĻđĻ) = đđīŋŊđŊđŊđŊđŊ(đĨđĨ, đĻđĻ)īŋŊ, untuk sebarang skalar đđ, đŊđŊ.
(viii). Untuk setiap đđ â đ
đ
(đđ, đđ; đđ) dan đĨđĨ â đđ, đĻđĻ â đđ berlaku 1đđ(đĨđĨ, đĻđĻ) = đđ(đĨđĨ, đĻđĻ).
Selanjutnya perhatikan contoh 3.2.2 nomor 1, pemetaan đđ : â Ã â â â dengan
rumus đđ(đĨđĨ, đĻđĻ) = 2đĨđĨđĨđĨ merupakan pemetaan bilinear. Oleh karena itu akan diperoleh đđ(đĨđĨ + đĻđĻ, đĨđĨ + đĻđĻ) + đđ(đĨđĨ â đĻđĻ, đĨđĨ â đĻđĻ) = 2(đĨđĨ + đĻđĻ)(đĨđĨ + đĻđĻ) + 2(đĨđĨ â đĻđĻ)(đĨđĨ â đĻđĻ)
= 2đĨđĨ 2 + 4đĨđĨđĨđĨ + 2đĻđĻ 2 + 2đĨđĨ 2 â 4đĨđĨđĨđĨ + 2đĻđĻ 2 = 4đĨđĨ 2 + 4đĻđĻ 2
= 2(2đĨđĨ 2 ) + 2(2đĻđĻ 2 )
= 2đđ(đĨđĨ, đĨđĨ) + 2đđ(đĻđĻ, đĻđĻ).
Berdasarkan uraian di atas maka akan diperoleh teorema berikut ini:
Teorema 3.2.4 (Hukum Parallelogram). Diberikan đđ dan đđ masing-masing ruang vektor atas lapangan yang sama. Jika đđ: đđ Ã đđ â đđ bilinear maka
đđ(đĨđĨ + đĻđĻ, đĨđĨ + đĻđĻ) + đđ(đĨđĨ â đĻđĻ, đĨđĨ â đĻđĻ) = 2đđ(đĨđĨ, đĨđĨ) + 2đđ(đĻđĻ, đĻđĻ) untuk setiap đĨđĨ, đĻđĻ â đđ. 7
Delta-Pi: Jurnal Matematika dan Pendidikan Matematika Vol. 01, No. 01, April 2012
ISSN 2089-855X
Bukti: Karena đđ: đđ Ã đđ â đđ bilinear untuk setiap đĨđĨ, đĻđĻ â đđ maka
đđ(đĨđĨ + đĻđĻ, đĨđĨ + đĻđĻ) = đđ(đĨđĨ, đĨđĨ) + đđ(đĨđĨ, đĻđĻ) + đđ(đĻđĻ, đĨđĨ) + đđ(đĻđĻ, đĻđĻ)
dan
........
(1)
đđ(đĨđĨ â đĻđĻ, đĨđĨ â đĻđĻ) = đđīŋŊđĨđĨ + (âđĻđĻ), đĨđĨ + (âđĻđĻ)īŋŊ
= đđ(đĨđĨ, đĨđĨ) + đđ(đĨđĨ, âđĻđĻ) + đđ(âđĻđĻ, đĨđĨ) + đđ(âđĻđĻ, âđĻđĻ)
= đđ(đĨđĨ, đĨđĨ) + đđ(đĨđĨ, (â1)đĻđĻ) + đđīŋŊ(â1)đĻđĻ, đĨđĨīŋŊ + đđīŋŊ(â1)đĻđĻ, (â1)đĻđĻīŋŊ = đđ(đĨđĨ, đĨđĨ) â đđ(đĨđĨ, đĻđĻ) â đđ(đĻđĻ, đĨđĨ) + đđ(đĻđĻ, đĻđĻ) ............
(2)
Selanjutnya, persamaan (1) dan (2) dijumlahkan, maka diperoleh
đđ(đĨđĨ + đĻđĻ, đĨđĨ + đĻđĻ) + đđ(đĨđĨ â đĻđĻ, đĨđĨ â đĻđĻ) = 2đđ(đĨđĨ, đĨđĨ) + 2đđ(đĻđĻ, đĻđĻ).
Teorema 3.2.5. Diberikan đđ dan đđ masing-masing ruang vektor atas lapangan yang sama. Jika đđ: đđ Ã đđ â đđ bilinear maka
đđ(đĨđĨ + đĻđĻ, đĨđĨ + đĻđĻ) â đđ(đĨđĨ â đĻđĻ, đĨđĨ â đĻđĻ) + đđđđ(đĨđĨ + đđđđ, đĨđĨ + đđđđ) â đđđđ(đĨđĨ â đđđđ, đĨđĨ â đđđđ) = đđ,
untuk setiap đĨđĨ, đĻđĻ â đđ. Bukti:
Karena đđ: đđ Ã đđ â đđ bilinear untuk setiap đĨđĨ, đĻđĻ â đđ maka
đđ(đĨđĨ + đĻđĻ, đĨđĨ + đĻđĻ) = đđ(đĨđĨ, đĨđĨ) + đđ(đĨđĨ, đĻđĻ) + đđ(đĻđĻ, đĨđĨ) + đđ(đĻđĻ, đĻđĻ)
.......
(3)
âđđ(đĨđĨ â đĻđĻ, đĨđĨ â đĻđĻ) = âđđ(đĨđĨ, đĨđĨ) + đđ(đĨđĨ, đĻđĻ) + đđ(đĻđĻ, đĨđĨ) â đđ(đĻđĻ, đĻđĻ) .......
(4)
âđđđđ(đĨđĨ â đđđđ, đĨđĨ â đđđđ) = âđđđđ(đĨđĨ, đĨđĨ) â đđ(đĨđĨ, đĻđĻ) â đđ(đĻđĻ, đĨđĨ) + đđđđ(đĻđĻ, đĻđĻ) .......
(6)
đđđđ(đĨđĨ + đđđđ, đĨđĨ + đđđđ) = đđđđ(đĨđĨ, đĨđĨ) â đđ(đĨđĨ, đĻđĻ) â đđ(đĻđĻ, đĨđĨ) â đđđđ(đĻđĻ, đĻđĻ) .......
(5)
Selanjutnya, persamaan (3), (4), (5) dan (6) dijumlahkan, maka diperoleh
đđ(đĨđĨ + đĻđĻ, đĨđĨ + đĻđĻ) â đđ(đĨđĨ â đĻđĻ, đĨđĨ â đĻđĻ) + đđđđ(đĨđĨ + đđđđ, đĨđĨ + đđđđ) â đđđđ(đĨđĨ â đđđđ, đĨđĨ â đđđđ) = đđ,
untuk setiap đĨđĨ, đĻđĻ â đđ.
Selanjutnya, sebagai ilustrasi terhadap Teorema 3.2.5 perhatikan contoh berikut
ini: Contoh 3.2.6 Diberikan â2 = { đĨđĨīŋŊ = (đĨđĨ1 , đĨđĨ2 )}. Didefinisikan pemetaan đđ : â2 Ã â2 ââ dengan rumus đđ( đĨđĨīŋŊ, đĻđĻīŋŊ) = â2đđ=1 đĨđĨđđ đĻđĻđđ , untuk setiap đĨđĨīŋŊ = (đĨđĨ1 , đĨđĨ2 ), đĻđĻīŋŊ = (đĻđĻ1 , đĻđĻ2 ) â â2 . Pemetaan đđ merupakan pemetaan bilinear. Oleh karena itu diperoleh đđ(đĨđĨīŋŊ + đĻđĻīŋŊ, đĨđĨīŋŊ + đĻđĻīŋŊ) = (đĨđĨ1 + đĻđĻ2 )(đĨđĨ1 + đĻđĻ2 )
âđđ(đĨđĨīŋŊ + đĻđĻīŋŊ, đĨđĨīŋŊ + đĻđĻīŋŊ) = â(đĨđĨ1 + đĻđĻ2 )(đĨđĨ1 + đĻđĻ2 )
đđđđ(đĨđĨīŋŊ + đđđĻđĻīŋŊ, đĨđĨīŋŊ + đđđĻđĻīŋŊ) = đđ(đĨđĨ1 + đđđĻđĻ2 )(đĨđĨ1 + đđđĻđĻ2 )
.......
(7)
.......
(8)
= đđ(đĨđĨ12 + đđđĨđĨ1 đĻđĻ2 + đđđĨđĨ1 đĻđĻ2 + đđ 2 đĻđĻ22 ) 8
Delta-Pi: Jurnal Matematika dan Pendidikan Matematika Vol. 01, No. 01, April 2012
ISSN 2089-855X
= đđ(đĨđĨ12 + đđ2đĨđĨ1 đĻđĻ2 â đĻđĻ22 ) = đđđđ12 â 2đĨđĨ1 đĻđĻ2 â đđđĻđĻ22
.......
(9)
âđđđđ(đĨđĨīŋŊ â đđđĻđĻīŋŊ, đĨđĨīŋŊ â đđđĻđĻīŋŊ) = âđđ(đĨđĨ1 â đđđĻđĻ2 )(đĨđĨ1 â đđđĻđĻ2 )
= âđđ(đĨđĨ12 â đđđĨđĨ1 đĻđĻ2 â đđđĨđĨ1 đĻđĻ2 + đđ 2 đĻđĻ22 ) = âđđ(đĨđĨ12 â đđ2đĨđĨ1 đĻđĻ2 â đĻđĻ22 )
= âđđđĨđĨ12 + 2đĨđĨ1 đĻđĻ2 + đđđĻđĻ22
.........
(10)
Berdasarkan persamaan (7), (8), (9), dan (10) diperoleh đđ(đĨđĨīŋŊ + đĻđĻīŋŊ, đĨđĨīŋŊ + đĻđĻīŋŊ) â đđ(đĨđĨīŋŊ + đĻđĻīŋŊ, đĨđĨīŋŊ + đĻđĻīŋŊ) + đđđđ(đĨđĨīŋŊ + đđđĻđĻīŋŊ, đĨđĨīŋŊ + đđđĻđĻīŋŊ) â đđđđ(đĨđĨīŋŊ â đđđĻđĻīŋŊ, đĨđĨīŋŊ â đđđĻđĻīŋŊ) = (đĨđĨ1 + đĻđĻ2 )(đĨđĨ1 + đĻđĻ2 ) â (đĨđĨ1 + đĻđĻ2 )(đĨđĨ1 + đĻđĻ2 ) +
đđđđ12 â 2đĨđĨ1 đĻđĻ2 â đđđĻđĻ22 â
đđđĨđĨ12 + 2đĨđĨ1 đĻđĻ2 + đđđĻđĻ22
= (0,0)
SIMPULAN
Berdasarkan pembahasan, đđ, đđdan đđ masing-masing ruang vektor atas
lapangan yang sama diperoleh kesimpulan sebagai berikut:
1. Jika đđ: đđ Ã đđ â đđ dan đđ: đđ Ã đđ â đđ dengan đđ = đđ jika đđ(đĨđĨ, đĻđĻ) = đđ(đĨđĨ, đĻđĻ) untuk setiap đĨđĨ â đđ dan đĻđĻ â đđ maka đ
đ
(đđ, đđ, đđ) merupakan ruang vektor terhadap operasi
(đđ + đđ)(đĨđĨ, đĻđĻ) = đđ(đĨđĨ, đĻđĻ) + đđ(đĨđĨ, đĻđĻ)
(đđđđ)(đĨđĨ, đĻđĻ) = đđđđ(đĨđĨ, đĻđĻ) untuk sebarang skalar đđ.
2. Jika đđ: đđ Ã đđ â đđ bilinear maka
đđ(đĨđĨ + đĻđĻ, đĨđĨ + đĻđĻ) + đđ(đĨđĨ â đĻđĻ, đĨđĨ â đĻđĻ) = 2đđ(đĨđĨ, đĨđĨ) + 2đđ(đĻđĻ, đĻđĻ), untuk setiap đĨđĨ, đĻđĻ â đđ.
3. Jika đđ: đđ Ã đđ â đđ bilinear maka
đđ(đĨđĨ + đĻđĻ, đĨđĨ + đĻđĻ) â đđ(đĨđĨ â đĻđĻ, đĨđĨ â đĻđĻ) + đđđđ(đĨđĨ + đđđđ, đĨđĨ + đđđđ) â đđđđ(đĨđĨ â đđđđ, đĨđĨ â đđđđ) = đđ, untuk setiap đĨđĨ, đĻđĻ â đđ.
DAFTAR PUSTAKA
Berberian, S.K., 1961. Introduction to Hilbert Space, Oxford University Press, New York. Debnath, L and Mikusinski, P., 1999. Introduction to Hilbert Spaces with Applications, Academic Press, USA. Kreyszig, Erwin., 1978. Introductory Functional Analysis with Application, John Wiley & Sons, New York. Saih Suwilo, dkk. 1997. Aljabar Abstrak, Suatu Pengantar, USU Press, Medan. Soeparna Darmawijaya, 2006. Pengantar Analisis Real, Jurusan Matematika FMIPA Universitas Gadjah Mada, Yogyakarta. Soeparna Darmawijaya, 2007. Pengantar Analisis Abstrak, Jurusan Matematika FMIPA Universitas Gadjah Mada, Yogyakarta. 9