II.
2.1
TINJAUAN PUSTAKA
Ruang Vektor
Definisi 2.1.1 (Darmawijaya, 2007) Diketahui (๐ฑ, +) grup komutatif dan (โฑ, โจ, . ) lapangan dengan elemen identitas 1. ๐ฑ disebut ruang vektor (vector space) atas โฑ jika ada operasi luar * antara keduanya sehingga untuk setiap ๐ฅ โ ๐ฑdan ๐ผ โ โฑ menentukan dengan tunggal ๐ผ โ ๐ฅ โ ๐ฑ yang memenuhi sifat โ sifat : (i) ๐ผ โ (๐ฅ + ๐ฆ) = ๐ผ โ ๐ฅ + ๐ผ โ ๐ฆ, (ii) (๐ผ โจ ๐ฝ) โ ๐ฅ = ๐ผ โ ๐ฅ + ๐ฝ โ ๐ฅ, (iii) (๐ผ. ๐ฝ) โ ๐ฅ = ๐ผ โ (๐ฝ โ ๐ฅ), (iv) 1 โ ๐ฅ = ๐ฅ, untuk setiap ๐ฅ, ๐ฆ โ ๐ฑ dan ๐ผ, ๐ฝ โ โฑ. Teorema 2.1.2 (Darmawijaya, 2007) Jika ๐ฑ suatu ruang vektor atas lapangan โฑ, maka berlaku pernyataan โ pernyataan berikut: (i) Untuk setiap ๐ฅ, ๐ฆ โ ๐ฑ terdapat tepat satu ๐ง โ ๐ฑ sehingga ๐ฅ+๐ง =๐ฆ
4
(ii) Jika ๐ง โ ๐ฑ dan ๐ง + ๐ง = ๐ง, maka ๐ง = ๐. (iii) ๐ผ๐ = ๐ untuk setiap skalar ๐ผ. (iv) 0๐ฅ = ๐ untuk setiap ๐ฅ โ ๐ฑ. (v) (โ1)๐ฅ = โ๐ฅ untuk setiap ๐ฅ โ ๐ฑ (vi) Jika ๐ผ suatu skalar dan ๐ฅ โ ๐ฑ sehingga ๐ผ๐ฅ = ๐ maka ๐ผ = 0 atau ๐ฅ = ๐. 2.2
Ruang Vektor Bagian dan Bebas Linear
Definisi 2.2.1 (Darmawijaya, 2007) Diketahui ๐ฑ ruang vektor atas lapangan โฑ dan ๐ฒ โ ๐ฑ. Jika himpunan ๐ฒ terhadap operasi โ operasi yang sama dengan operasi โ operasi di bagian ๐ฑ juga merupakan ruang vektor atas โฑ, maka ๐ฒ disebut ruang vektor bagian (vector subspace) dari ๐ฑ. Teorema 2.2.2 (Darmawijaya, 2007) Diketahui ๐ฑ ruang vektor atas lapangan โฑ dan ๐ฒ โ ๐. Himpunan ๐ฒ merupakan ruang vektor bagian ๐ฑ jika dan hanya jika untuk setiap ๐ฅ, ๐ฆ โ ๐ฒ dan ๐ผ, ๐ฝ โ โฑ berlaku ๐ผ๐ฅ + ๐ฝ๐ฆ โ ๐ฒ. Teorema 2.2.3 (Darmawijaya, 2007) Jika ๐ฑ ruang vektor terhadap lapangan โฑ dan ๐ณ, ๐ masing โ masing ruang vektor bagian ๐ฑ maka ๐ณ + ๐ = {๐ + ๐ โถ
๐ โ ๐ณ, ๐ โ ๐},
Juga merupakan ruang vektor bagian ๐ฑ yang memuat ๐ณ dan ๐ sebagai ruang vektor bagiannya.
5
Teorema 2.2.4 (Darmawijaya, 2007) Jika ๐ฑ ruang vektor terhadap lapangan โฑ dan ๐ณ, ๐ โ ๐ฑ masing โ masing ruang vektor bagian dan ๐ณ โฉ ๐ = {๐}, maka untuk setiap ๐ฅ โ ๐ณ + ๐ terdapat dengan tunggal ๐1 โ ๐ณ dan ๐1 โ ๐ sehingga ๐ฅ = ๐1 + ๐1 .
Teorema 2.2.5 (Darmawijaya, 2007) Diberikan ruang vektor ๐ฑ atas lapanngan โฑ. Jika ๐ฅ, ๐ฅ๐ โ ๐ฑ dan ๐, ๐ผ๐ , ๐ฝ๐ โ โฑ untuk setiap ๐ = 1,2, โฆ , ๐ maka benar bahwa (i) โ๐๐=1 ๐ผ๐ ๐ฅ๐ + โ๐๐=1 ๐ฝ๐ ๐ฅ๐ = โ๐๐=1(๐ผ๐ + ๐ฝ๐ )๐ฅ๐ , (ii) ๐(โ๐๐=1 ๐ผ๐ ๐ฅ๐ ) = โ๐๐=1(๐๐ผ๐ )๐ฅ๐ , (iii) (โ๐๐=1 ๐ผ๐ )๐ฅ = โ๐๐=1 ๐ผ๐ ๐ฅ , dan ๐ ๐ (iv) (โ๐๐=1 ๐ผ๐ )(โ๐ ๐=1 ๐ฅ๐ ) = โ๐=1 โ๐=1 ๐ผ๐ ๐ฅ๐ .
Teorema 2.2.6 (Darmawijaya, 2007) Diberikan ruang vektor ๐ฑ atas lapangan โฑ. Jika ๐ฅ1 , ๐ฅ2 , โฆ ๐ฅ๐ โ ๐ฑ, maka ๐ฒ = [๐ฅ1 , ๐ฅ2 , โฆ , ๐ฅ๐ ] merupakan ruang vektor bagian ๐ฑ. Teorema 2.2.7 (Darmawijaya, 2007) Jika ๐ฑ ruang vektor atas lapangan โฑ dan ๐ โ ๐ฑ, maka [๐] merupakan ruang vektor bagian ๐ฑ. Lebih lanjut, [๐] merupakan ruang vektor terkecil yang memuat M. Definisi 2.2.8 (Darmawijaya, 2007) Diberikan ruang vektor ๐ฑ atas lapangan โฑ. Vektor โ vektor ๐ฅ1 , ๐ฅ2 , โฆ , ๐ฅ๐ โ ๐ฑ atau {๐ฅ1 , ๐ฅ2 , โฆ , ๐ฅ๐ } โ ๐ฑ ๐ผ1 , ๐ผ2 , โฆ , ๐ผ๐ โ โฑ dan
dikatakan
bebas
linier
(liniearly
independent)
jika
6
๐ผ1 ๐ฅ1 + ๐ผ2 ๐ฅ2 + โฏ + ๐ผ๐ ๐ฅ๐ = ๐ berakibat ๐ผ1 = ๐ผ2 = โฏ = ๐ผ๐ = 0. Teorema 2.2.9 (Darmawijaya, 2007) Diberikan ruang vektor ๐ฑ atas lapangan โฑ. Vektor โ vektor ๐ฅ1 , ๐ฅ2 , โฆ , ๐ฅ๐ โ ๐ฑ tak bebas linier jika dan hanya jika terdapat ๐ dengan 1 โค ๐ โค ๐ sehingga vektor ๐ฅ๐ merupakan kombinasi linier (๐ โ 1) vektor โ vektor lainnya. Akibat 2.2.10 (Darmawijaya, 2007) Diberikan ruang vektor ๐ฑ atas lapangan โฑ. Vektor โ vektor ๐ฅ1 , ๐ฅ2 , โฆ , ๐ฅ๐ โ ๐ฑ bebas linier jika dan hanya jika untuk setiap ๐, 1 โค ๐ โค ๐, vektor ๐ฅ๐ bukan merupakan kombinasi linier (๐ โ 1) vektor โ vektor lainnya. Teorema 2.2.11 (Darmawijaya, 2007) Diketahui ๐ฑ ruang vektor atas lapangan โฑ. Vektor โ vektor ๐ฅ1 , ๐ฅ2 , โฆ , ๐ฅ๐ bebas linier jika dan hanya jika setiap persamaan ๐
๐
โ ๐ผ๐ ๐ฅ๐ = โ ๐ฝ๐ ๐ฅ๐ ๐=1
berakibat ๐ผ๐ = ๐ฝ๐ untuk setiap ๐.
๐=1
7
2.3
Basis dan Dimensi
Definisi 2.3.1 (Darmawijaya, 2007) Ruang vektor ๐ฑ dikatakan terbangkitkan secara hingga(finitely generated) jika ada vektor โ vektor ๐ฅ1 , ๐ฅ2 , โฆ , ๐ฅ๐ โ ๐ฑ sehinggga ๐ฑ = [๐ฅ1 , ๐ฅ2 , โฆ , ๐ฅ๐ ]. Dalam keadaan seperti itu, {๐ฅ1 , ๐ฅ2 , โฆ , ๐ฅ๐ } disebut pembangkit (generator) ruang vektor ๐ฑ. Definisi 2.3.2 (Darmawijaya, 2007) Diberikan ruang vektor ๐ฑ. Himpunan โฌ โ ๐ฑ dikatakan bebas linier jika setiap himpunan bagian hingga di dalam B bebas linier. Definisi 2.3.3 (Darmawijaya, 2007) Diberikan ruang vektor ๐ฑ atas lapangan โฑ. Himpunan โฌ โ ๐ฑ disebut basis (base) ๐ฑ jika โฌ bebas linier dan ๐ฑ = [โฌ]. Teorema 2.3.4 (Darmawijaya, 2007) Ruang vektor ๐ฑ terbangkitkan secara hingga jika dan hanya jika ๐ฑ mempunyai basis hingga. Teorema 2.3.5 (Darmawijaya, 2007) Diketahui ๐ฑ ruang vektor dan โฌ โ ๐ฑ basis. Banyaknya anggota โฌ disebut dimensi ruang vektor ๐ฑ,ditulis dim(๐ฑ). Jika banyaknya anggota โฌ hingga maka dikatakan ๐ฑ berdimensi hingga dan jika banyaknya anggota โฌ tak hingga maka dikatakan ๐ฑ berdimensi tak hingga.
8
Teorema 2.3.6 (Darmawijaya, 2007) Jika ruang vektor ๐ฑ berdimensi ๐, maka setiap (๐ + 1) vektor di dalam ๐ฑ tak bebas linier. Akibat 2.3.7 (Darmawijaya, 2007) Jika {๐ฅ1 , ๐ฅ2 , โฆ , ๐ฅ๐ } dan {๐ฆ1 , ๐ฆ2 , โฆ , ๐ฆ๐ } masing โ masing basis untuk ruang vektor ๐ฑ, maka ๐ = ๐.
2.4
Fungsi Linear
Fungsi dari suatu ruang vektor ke ruang vektor lain yang banyak digunakan dan mudah dalam memahaminya adalah fungsi linear, yaitu fungsi yang bersifat aditif dan homogen. Definisi 2.4.1 (Darmawijaya, 2007) Diberikan dua ruang vektor ๐ฑ dan ๐ฒ, masing โ masing atas lapangan โฑ yang sama. Fungsi ๐: ๐ฑ โ ๐ฒ disebut fungsi linear jika (i)
๐ fungsi aditif (additive) ๐(๐ฅ + ๐ฆ) = ๐(๐ฅ) + ๐(๐ฆ) untuk setiap ๐ฅ, ๐ฆ โ ๐ฑ, dan
(ii)
๐ fungsi homogen (homogeneous) ๐(๐ผ๐ฅ) = ๐ผ๐(๐ฅ) untuk setiap ๐ผ dan vektor ๐ฅ โ ๐ฑ.
Teorema 2.4.2 (Darmawijaya, 2007) Diberikan dua ruang vektor ๐ฑ dan ๐ฒ masing โ masing atas lapangan โฑ yang sama (โ atau ๐). Fungsi ๐: ๐ฑ โ ๐ฒ merupakan fungsi linear jika dan hanya jika untuk sebarang skalar ๐ผ, ๐ฝ dan vektor ๐ฅ, ๐ฆ โ ๐ฑ, berlaku
9
๐(๐ผ๐ฅ + ๐ฝ๐ฆ) = ๐ผ๐(๐ฅ) + ๐ฝ๐(๐ฆ) Teorema 2.4.3 (Darmawijaya, 2007) Diketahui ๐ฑ dan ๐ฒ, masing โ masing ruang vektor atas lapangan โฑ yang sama. Jika ๐: ๐ฑ โ ๐ฒ merupakan fungsi linear maka (i)
๐(โ๐ฅ) = โ๐(๐ฅ) untuk setiap ๐ฅ โ ๐ฑ.
(ii)
๐(๐ฅ โ ๐ฆ) = ๐(๐ฅ) โ ๐(๐ฆ) untuk setiap ๐ฅ, ๐ฆ โ ๐ฑ.
(iii) ๐(๐) = ๐ฬ
, dengan ๐ โ ๐ฑ dan ๐ฬ
โ ๐ฒ masing โ masing menyatakan vektor nol. (iv) ๐(โ๐๐=1 ๐ผ๐ ๐ฅ๐ ) = โ๐๐=1 ๐ผ๐ ๐(๐ฅ๐ ) untuk setiap skalar ๐ผ1 , ๐ผ2 , โฆ , ๐ผ๐ dan vektor โ vektor ๐ฅ1 , ๐ฅ2 , โฆ , ๐ฅ๐ โ ๐ฑ. Teorema 2.4.4 (Darmawijaya, 2007) Diketahui ๐ฑ dan ๐ฒ, masing โ masing ruang vektor. Jika ๐: ๐ฑ โ ๐ฒ merupakan fungsi linear dan ๐: ๐ฑ โ ๐ฒ sehingga ๐(๐ฅ) = ๐(๐ฅ) untuk setiap ๐ฅ โ ๐ฑ, maka ๐ linear dan ๐ = ๐. Teorema 2.4.5 (Darmawijaya, 2007) Diketahui ๐ฑ dan ๐ฒ, masing โ masing ruang vektor dan ๐ โ ๐ฑgenerator untuk ๐ฑ. Jika ๐: ๐ฑ โ ๐ฒ merupakan fungsi linear dan ๐: ๐ฑ โ ๐ฒ sehingga ๐(๐ฅ) = ๐(๐ฅ) untuk setiap ๐ฅ โ ๐ , maka fungsi ๐ linear dan ๐ = ๐; lebih lanjut ๐(๐) merupakan generator ๐(๐ฑ).
10
Teorema 2.4.6 (Darmawijaya, 2007) Diketahui ๐ฑ dan ๐ฒ, masing โ masing ruang vektor. Jika ๐: ๐ฑ โ ๐ฒ merupakan fungsi linear, maka ๐
๐ = ๐(๐ฑ) merupakan ruang bagian di dalam ๐ฒ. Himpunan ๐
๐ disebut ruang jelajah (range space) fungsi ๐. Teorema 2.4.7 (Darmawijaya, 2007) Diketahui ๐ฑ dan ๐ฒ, masing โ masing ruang vektor. Jika ๐: ๐ฑ โ ๐ฒ merupakan fungsi linear, maka ๐๐ = {๐ฅ โ ๐ฑ:
๐(๐ฅ) = ๐ฬ
}
dan ๐ = (๐ฑ โ ๐๐) โช {๐} masing โ masing merupakan ruang bagian di dalam ๐ฑ. Selanjutnya, himpunan ๐๐ disebut ruang nol (null space) fungsi ๐. Teorema 2.4.8 (Darmawijaya, 2007) Diketahui ๐ฑ dan ๐ฒ, masing โ masing ruang vektor. Jika ๐ฑ berdimensi ๐ dan ๐: ๐ฑ โ ๐ฒ merupakan fungsi linear, maka dim(๐(๐ฑ)) โค ๐. Teorema 2.4.9 (Darmawijaya, 2007) Diketahui ๐ฑ dan ๐ฒ, masing โ masing ruang vektor. Jika Jika ๐ฑ berdimensi ๐ dan ๐: ๐ฑ โ ๐ฒ merupakan fungsi linear, maka ๐+๐ =๐
11
2.5
Fungsi Linear dan Matriks
Teorema 2.5.1 (Darmawijaya, 2007) Jika ๐ฑ merupakan ruang vektor real (kompleks) berdimensi n, maka ๐ฑ isomorfis dengan โ ๐ (๐ ๐ ), yaitu terdapat fungsi linear dan bijektif dari ๐ฑ ke โ ๐ (๐ ๐ ). Akibat 2.5.2 (Darmawijaya, 2007) Jika ๐ฑ dan ๐ฒ, masing โ masing ruang vektor (atas lapangan yang sama), dim(๐ฑ) โค dim(๐ฒ), dan fungsi ๐: ๐ฑ โ ๐ฒ linear dan injektif, maka ๐ฑ isomorfis dengan ๐
๐ = ๐(๐ฑ). Teorema 2.5.3 (Darmawijaya, 2007) Diketahui ๐ฑ dan ๐ฒ, masing โ masing ruang vektor (atas lapangan yang sama), dim(๐ฑ) = ๐ dan dim(๐ฒ) = ๐. Setiap fungsi linear ๐: ๐ฑ โ ๐ฒ menentukan matriks A berukuran ๐ ร ๐ : ๐ฝ11 ๐ฝ21 ๐ด = (๐ฝ๐๐ ) = ( โฆ ๐ฝ๐1
๐ฝ12 ๐ฝ22 โฆ ๐ฝ๐2
๐ผ1 โฆ ๐ฝ1๐ ๐ผ2 โฆ ๐ฝ2๐ )(โฆ) โฆ โฆ ๐ผ๐ โฆ ๐ฝ๐๐
sebaliknya juga berlaku.
Definisi 2.5.4 (Darmawijaya, 2007) Dua ruang vektor ๐ฑ dan ๐ฒ dikatakan isomorfik (isomorphic) jika ada fungsi linear bijektif ๐: ๐ฑ โ ๐ฒ. Dalam hal ini, fungsi ๐ tersebut dinamakan isomorfisma ruang vektor (vector space isomorphism) antara ๐ฑ dan ๐ฒ.
12
Teorema 2.5.5 (Darmawijaya, 2007) Jika ๐ฐ, ๐ฑ dan ๐ฒ masing โ masing adalah ruang vektor โ ruang vektor atas lapangan yang sama, maka pernyataan โ pernyataan di bawah ini benar : (i) Untuk setiap ๐ โ โ(๐ฐ, ๐ฑ) dan ๐ โ โ(๐ฑ, ๐ฒ), maka ๐ โ ๐ โ โ(๐ฐ, ๐ฒ). (ii) โ(๐ฐ, ๐ฑ) merupakan ruang vektor. (iii) โ(๐ฐ) = โ(๐ฐ, ๐ฐ) merupakan aljabar assosiatif yang mempunyai elemen satuan.
2.6
Ruang Banach
Definisi 2.6.1 (Darmawijaya, 2007) Ruang Banach (Banach Space) adalah ruang bernorma yang lengkap (sebagai ruang metrik yang lengkap)
2.7
Ruang Hilbert
Definisi 2.7.1 (Darmawijaya, 2007) Ruang Hilbert (Hilbert Space) adalah ruang pre-Hilbert yang lengkap Definisi 2.7.2 (Darmawijaya, 2007) Diketahui โ ruang linier (i) Fungsi โ ร โ โ โ dengan rumus (๐, ๐) โ โ ร โ โ โฉ๐, ๐โช โ โ yang memenuhi sifat-sifat โฉ๐, ๐โช, (I1) โฉ๐, ๐โช = ฬ
ฬ
ฬ
ฬ
ฬ
ฬ
ฬ
ฬ
(I2) โฉ๐ผ๐, ๐โช = ๐ผโฉ๐, ๐โช, (I3) โฉ๐, ๐, ๐โช = โฉ๐, ๐โช + โฉ๐, ๐โช
13
Untuk setiap ๐, ๐, ๐ โ โ dan skalar ๐ผ, dan (I4) โฉ๐, ๐โช > 0 jika dan hanya jika ๐ โ ๐, disebut inner-product atau dot product, atau scalar product pada โ. (ii) Ruang linier โ yang dilengkapi dengan suatu inner-product disebut ruang pre-Hilbert (pre-Hilbert space) atau ruang inner-product (inner-product space). Di bawah ini akan diberikan contoh - contoh Ruang Hilbert : 1.
Ruang linier ๐ ๐ dan โ ๐ masing-masing merupakan ruang pre-Hilbert terhadap inner-product : n
โฉ๐ฬ, ๐ฬโช = โ ๐k ๐ฬ
k k=1
untuk setiap ๐ฬ = (๐1 , ๐2 , โฆ , ๐๐ ), ๐ฬ = (๐1 , ๐2 , โฆ , ๐๐ ) โ โ๐ (โ ๐ ). ฬ , ๐ โ โ ๐ maka Catatan: Jika ๐ n
n
โฉ๐ฬ, ๐ฬโช = โ ๐k ๐ฬ
k = โ xk ๐k k=1
k=1
ฬ
๐ = ๐๐ (komponen-komponen anggota โ ๐ merupakan bilangan real). Karena ๐ 2.
Contoh yang lebih umum dari pada contoh 1 adalah ruang linier โ2 . โ2 merupakan ruang pre-Hilbert terhadap inner-product: n
โฉ๐ฬ, ๐ฬโช = โ ๐k ๐ฬ
k k=1
Untuk setiap ๐ฬ = {๐๐ }, ๐ฬ = {๐๐ } โ โ2 .
14
3.
๐[๐, ๐] merupakan ruang pre-Hilbert terhadap inner-product: ๐
โฉ๐, ๐โช = (๐
) โซ ๐(๐ฅ)๐ฬ
(๐ฅ)๐๐ฅ ๐
untuk setiap ๐, ๐ โ C[a, b]. C[a, b] dapat dianggap sebagai koleksi semua fungsi kontinu bernilai bilangan kompleks. Jadi, ๐ โ C[a, b] jika dan hanya jika ๐ = ๐1 + ๐๐2 dengan ๐1 dan ๐2 masing-masing fungsi kontinu pada [a, b] bernilai bilangan real. Mudah dipahami bahwa jika ๐ = ๐1 + ๐๐2 โ C[a, b] maka ๐ฬ
= ๐1 โ ๐๐2 โ C[a, b]
2.8
Ruang Bernorma
Definisi 2.8.1 (Darmawijaya, 2007) Diberikan ruang linier ๐ฆ. Fungsi ๐ โ ๐ฆ โฆ โ๐โ โ โ, yang mempunyai sifatsifat: (N1) โ๐โ โฅ 0, untuk setiap ๐ โ ๐ฆ โ๐โ = 0, jika dan hanya jika ๐ = ๐, (๐ vektor nol) (N2) โ๐ผ๐โ = |๐ผ|. โ๐โ, untuk setiap skalar ๐ผ dan ๐ โ ๐ฆ (N3) โ๐ + ๐โ โค โ๐โ + โ๐โ, untuk setiap ๐, ๐ โ ๐ฆ, Disebut norma (norm) pada ๐ฆ dan bilangan nonnegatif โ๐โ disebut norma vektor ๐. Ruang linear ๐ฆ yang dilengkapi dengan suatu norma โ. โ disebut ruang bernorma (norma space) dan dituliskan singkat dengan (๐ฆ, โ. โ) atau ๐ฆ saja asalkan normanya telah diketahui.
15
2.9
Basis Orthonormal
Definisi 2.9.1 (Darmawijaya, 2007) (i)
Basis ortogonal (ortogonal basis) di dalam ruang pre-Hilbert adalah basis yang setiap dua vektornya saling tegak lurus.
(ii)
Basis ortonormal (orthonormal basis) di dalam suatu ruang pre-Hilbert adalah basis ortogonal dan setiap anggotanya merupakan vektor satuan (normanya sama dengan 1).
Teorema 2.9.2 (Darmawijaya, 2007) Diketahui ruang Hilbert โ mempunyai basis orthonormal {๐ฅ๐ }. Diperoleh pernyataan ๐ฅ โ โ jika dan hanya jika ada {๐ผ๐ } โ โ2 sehingga โ
๐ฅ = โ ๐ผ๐ ๐ฅ๐ ๐=1
2.10
Operator pada Ruang Hilbert
Teorema 2.10.1 (Darmawijaya, 2007) Diketahui โ dan ๐ฆ masing โ masing ruang Hilbert. Untuk setiap ๐ โ โ๐ (๐ฆ, โ) terdapat ๐ โ โ โ๐ (๐ฆ, โ) tunggal sehingga untuk setiap ๐ฅ โ โ dan ๐ฆ โ ๐ฆ berakibat โฉ๐๐ฅ, ๐ฆโช = โฉ๐ฅ, ๐ โ ๐ฆโช Definisi 2.10.2 (Darmawijaya, 2007) Diberikan dua ruang Hilbert โdan ๐ฆ. Menurut Teorema 2.10.1, untuk setiap operator ๐ โ โ๐ (๐ฆ, โ) terdapat ๐ โ โ๐ (๐ฆ, โ) sehingga โฉ๐๐ฅ, ๐ฆโช = โฉ๐ฅ, ๐ โ ๐ฆโช
16
Untuk setiap ๐ฅ โ โ dan ๐ฆ โ ๐ฆ. Operator ๐ โ disebut operator adjoint atau operator pendamping terhadap operator T. Teorema 2.10.3 (Darmawijaya, 2007) Diberikan dua ruang Hilbert โdan ๐ฆ. Jika ๐, ๐ฎ โ โ๐ (โ, ๐ฆ) dan ๐ผ sebarang skalar maka (i) (๐ + ๐ฎ)โ = ๐ โ + ๐ โ (ii) (๐ผ๐)โ = ๐ผฬ
๐ โ (iii) ๐ โโ = (๐ โ )โ = ๐ (iv) โ๐๐ โ โ = โ๐ โ ๐โ = โ๐โ2 = โ๐ โ โ2 (v) ๐๐ โ = ๐ โบ ๐ = ๐ (O operator nol). Teorema 2.10.4 (Darmawijaya, 2007) Diketahui โ, ๐ฆ dan ๐ณ masing โ masing ruang Hilbert. Jika ๐ โ โ๐ (โ, ๐ฆ) dan ๐ฎ โ โ๐ (๐ฆ, ๐ณ) maka (๐ฎ๐)โ โ โ๐ (๐ณ, โ) dan (๐ฎ๐)โ = ๐ โ ๐ฎ โ Teorema 2.10.5 (Darmawijaya, 2007) Diketahui โ ๐๐๐ ๐ฆ masing โ masing ruang Hilbert. ๐ โ โ๐ (โ, ๐ฆ), ๐ โ โ dan โฌ โ ๐ฆ. Jika ๐ฏ(๐) โ โฌ, maka ๐ โ (โฌ โฅ ) โ ๐โฅ. Teorema 2.10.6 (Darmawijaya, 2007) Diketahui M dan N berturut-turut merupakan ruang bagian yang tertutup di dalam ruang Hilbert โ ๐๐๐ ๐ฆ. Untuk setiap ๐ โ โ๐ (โ, ๐ฆ) diperoleh ๐(๐) โ ๐ jika dan hanya jika ๐ โ (๐ โฅ ) โ ๐โฅ .
17
Teorema 2.10.7 (Darmawijaya, 2007) Diketahui โ ๐๐๐ ๐ฆ masing โ masing ruang Hilbert. Jika ๐ โ โ๐ (โ, ๐ฆ) maka (i)
{๐: ๐ โ โ ๐๐๐ ๐๐ = ๐ฬ
} = {๐ โ (๐ฆ)}โฅ
(ii)
โ (๐ฆ) ฬ
ฬ
ฬ
ฬ
ฬ
ฬ
ฬ
ฬ
ฬ
{๐: ๐ โ โ ๐๐๐ ๐๐ = ๐ฬ
}โฅ = ๐
(iii) {๐: ๐ โ ๐ฆ ๐๐๐ ๐ โ ๐ = ๐} = {๐(โ)}โฅ ฬ
ฬ
ฬ
ฬ
ฬ
ฬ
ฬ
(iv) {๐: ๐ โ ๐ฆ ๐๐๐ ๐ โ ๐ = ๐}โฅ = ๐(โ)