Catatan Pengantar Analisis Fungsional

1) Ruang Metrik
Misal suatu himpunan tak kosong. Didefinisikan metrik atau fungsi jarak adalah
sebuah fungsi bernilai real x sehingga untuk setiap memenuhi :
(M1) ( )
(M2) ( ) jika dan hanya jika ;
(M3) ( ) ( );
(M4) ( ) ( ) ( ). (pertidaksamaan segitiga)

Jika metrik di , maka pasangan ( ) disebut ruang metrik.

2) Barisan Konvergen pada Ruang Metrik

Suatu barisan * + dari titik-titik dalam suatu ruang metrik ( ) dikatakan
konvergen ke , dinotasikan untuk atau

Jika barisan bilangan real tak negatif ( ) saat ; dengan kalimat

lain untuk setiap terdapat ( ) sedemikian sehingga ( )
untuk ( )

3) Barisan Cauchy pada Ruang Metrik

Barisan * + di ruang metrik ( ) dikatakan Cauchy (atau fundamental) jika
untuk setiap ( )( ( ) ) sedemikian hingga ( ) , untuk
setiap ( )

4) Sifat Kelengkapan pada Ruang Metrik

Misal ( ) suatu ruang metrik dan himpunan . Himpunan dikatakan
lengkap apabila setiap barisan Cauchy di mempunyai limit di . Jika lengkap ,
maka pasangan ( ) disebut ruang metrik lengkap

5) Ruang Norma
Diberikan himpunan tak kosong ruang vektor atas lapangan , Fungsi bernilai
real ‖ ‖ disebut norma jika untuk setiap dan memenuhi :
(N1) ‖ ‖ .
(N2) ‖ ‖ jika dan hanya jika .
(N3) ‖ ‖ | |‖ ‖.
(N4) ‖ ‖ ‖ ‖ ‖ ‖. (pertidaksamaan segitiga)

Pasangan ( ‖ ‖) disebut Ruang norma.

Diberikan dua barisan * + dan * + dalam suatu ruang metrik ( ) dengan dan
saat . Buktikan bahwa barisan real ( ( )) konvergen ke ( ) untuk
.

- Solusi
Diketahui bahwa * + dan * + dimana
Dan ( ) adalah ruang metrik.
Berdasarkan definisi
* + ( )( ( ) ) sdh ( ) ( )
* + ( )( ( ) ) sdh ( ) ( )
( ) ( ) ( )( ( ) ) sdh | ( ) ( )| ( )

Pilih * ( ) ( )+
Untuk
Tinjau
( ) ( ) ( ) ( )
( ) ( ) ( ) ( )
Maka ( ) ( ) ( ) ( )
( ) ( ) ( ) maka
( ) ( ) ( ) ( )
( ) ( ) ( ) ( ) ( )
Dengan cara yang sama Perhatikan
( ) ( ) ( ) ( ) ( ) ( )
( ) ( ) ( )
Sehingga
( ) ( ) ( ) ( )
( ) ( ) ( ( ) ( )) ( )
Dari persamaan ( ) dan ( ) diperoleh
| ( ) ( )| ( ) ( )
| ( ) ( )|
| ( ) ( )|

Dengan kata lain

( )( ) sdh | ( ) ( )|,
Terbukti bahwa ( ) ( )
Misal himpunan tak-kosong , dan fungsi memenuhi dua syarat berikut ini :
(a) Untuk setiap , berlaku ( ) jika dan hanya jika .
(b) Untuk setiap , berlaku ( ) ( ) ( )

Buktikan bahwa adalah metrik pada .

- Solusi

(M1) ambil sebarang

Dengan sifat (b) didapat
( ) ( ) ( ) ( )
( ) ( )
Dari sifat (a) didapat ( ) maka
( )

(M2) Jelas dari (a)

(M3) ambil sebarang

Dengan sifat (b) didapat
( ) ( )
) (( ) ( )
juga
( ) ( ) ( ) ( ) ( )
Karena berlaku ( ) ( ) dan ( ) ( )
Maka dapat dipastikan ( ) ( )

(M4) ambil sebarang

Dengan sifat (b) kita tahu
( ) ( ) ( )
Dari (M3) yg telah dibuktikan didapat ( ) ( ) maka
( ) ( ) ( )
 (a) Untuk setiap , didefinisikan ( ) | |. Apakah suatu metrik
pada ?
(b) Untuk setiap , ) , didefinisikan ( ) | | . apakah suatu
metrik pada , )

- Solusi (a)
bukan suatu metrik pada karena syarat (M2) gagal saat
( ) | |
Karena | | mengakibatkan ( )( )
Maka dan karena juga merupakan solusi maka saat
( )
Atau diambil suatu angka
Dimana ( ) | ( ) | tetapi
Jadi , syarat (M2) gagal

- Solusi (b)
(M1) Ambil sebarang , )
Jelas , ( ) | |
(M2) untuk ( )
| |
Karena | | kesamaan terjadi saat
( )( )
Didapat dan
Karena , ) maka tidak memenuhi karena salah satunya harus
negatif padahal keduanya positif
Jadi , solusinya hanya saat
untuk maka ( ) | | | | | |
(M3) ambil sebarang , )
Tinjau
( ) | |
|( )( )|
| || |
| |
( )
(M4) ambil sebarang , )
Tinjau
( ) | | | |
Dengan pertidaksamaan segitiga didapat
( ) | | | |
( ) ( ) ( )

Jadi, dari keempat sifat tersebut terbukti bahwa (, ) ) merupakan ruang metrik.
Misal ( ) adalah ruang metrik. Buktikan bahwa masing-masing fungsi berikut ini
adalah metrik pada :
(a) Untuk setiap ( ) ( )
(b) Untuk setiap ( ) * ( )+
( )
(c) Untuk setiap ( ) ( )

- Solusi
(a) untuk setiap
(M1) karena ( ) maka ( ) ( )
(M2)
Untuk ( )
( )
( )
Maka dari (M2) Didapat

Untuk dari (M2) maka ( ) sehingga

( ) ( ) ( )
(M3)
Tinjau
( ) ( )
Dari (M3) ( ) ( ) maka
( ) ( ) ( )
Jadi , ( ) ( )
(M4)
Dari (M4) kita tahu
( ) ( ) ( )
Kalikan 2 di kedua ruas
( ) ( ) ( )
( ) ( ) ( )
Dari keempat sifat tersebut terbukti bahwa ( ) ruang metrik.

(b) untuk setiap

(M1) karena ( ) dan maka * ( )+ ( )
(M2)
Untuk ( )
* ( )+
Karena jelas maka
( )
Maka dari (M2) Didapat

Untuk dari (M2) maka ( ) sehingga

( ) * ( )+ * +
 (M3)
Tinjau
( ) * ( )+
Dari (M3) ( ) ( ) maka
* ( )+ ( )
Jadi , ( ) ( )
(M4)
Dari (M4) kita tahu
( ) ( ) ( )

Kasus 1. Saat * ( )+
Karena ( ) ( ) ( ) maka * ( ) ( )+
Juga * ( )+ * ( )+
Sehingga * ( )+ * ( ) ( )+
Dan karena * ( )+
( ) ( ) ( )
Jadi ,

Kasus 2. Saat * ( )+ ( )
Maka ( )
Karena ( ) ( ) ( ) maka * ( ) ( )+
Juga * ( )+ * ( )+
Sehingga * ( )+ * ( ) ( )+
Dan karena * ( )+ ( )
Jadi ,

Misalkan
* ( )+ * ( ) ( )+
Berdasarkan sifat minimum
* ( )+ * ( )+ * ( )+
( ) ( ) ( )
Dari keempat sifat tersebut terbukti bahwa ( ) ruang metrik.

(c) untuk setiap

(M1) karena ( ) dan ( ) maka
( )
( )
( )
(M2)
Untuk ( )
( )
( )
Karena ( ) maka
 ( )
Maka dari (M2) Didapat

Untuk dari (M2) maka ( ) sehingga

( )
( )
( )
(M3)
Tinjau
( )
( )
( )
Dari (M3) ( ) ( ) maka
( ) ( )
( )
( ) ( )
Jadi , ( ) ( )
(M4)
Tinjau
( )
( ) ( )
. ( )
/ ( )
Karena berlaku (M4) pada berlaku ( ) ( ) ( )
Maka
( ) ( )
( ) ( ) ( ) ( )
( ) ( ) ( ) ( ) ( )
( ) ( ) ( )
( ) ( ) ( ) ( ) ( )
Karena ( ) ( ) ( ) dan ( ) ( ) ( )
Berlaku ( ) ( ) ( )
dan ( ) ( ) ( )
untuk ( ) ( )
Maka berlaku juga
( ) ( ) ( ) ( )
( ) ( ) ( ) ( ) ( ) ( )
Jadi kita dapatkan
( ) ( ) ( )
( ) ( ) ( )
( ) ( ) ( )
Dari keempat sifat tersebut terbukti bahwa ( ) ruang metrik.
 Pandang suatu himpunan semua fungsi bernilai real yang kontinu pada , -. Untuk
setiap , didefinisikan
( ) | ( ) ( )|
, -
Dan
( ) .∫ | ( ) ( )| / dan ( ) ∫ | ( ) ( )|
( ) apabila , berarti terdapat , - sedemikian sehingga ( ) ( ).
Tunjukkan bahwa terdapat selang , - sehingga | ( ) ( )| | ( ) ( )|
untuk setiap . Selanjutnya, simpulkan bahwa ( ) dan ( )
( ) tunjukkan bahwa dan adalah metrik pada .
( ) buktikan bahwa untuk setiap , berlaku ( ) ( ) ( )
( ) untuk setiap , dituliskan

( ) {

Dan pandang ( ) untuk setiap , -

i. Buktikan bahwa ( ) konvergen ke untuk di ( )
ii. Apakah ( ) konvergen untuk di ( )? Jelaskan.
iii. Buktikan bahwa ( ) tidak konvergen untuk di ( )

- Solusi
(a) Ambil 0 1 , -

Misalkan ada 0 1 , - sehingga ( ) ( )

Maka | ( ) ( )|
Dari pertidaksamaan segitiga kita punya
| ( ) ( )| | ( ) ( )| | ( ) ( )|
| ( ) ( )| | ( ) ( )| | ( ) ( )|
0 1 sehingga berlaku
| ( ) ( )| | ( ) ( )|
| ( ) ( )| | ( ) ( )|
maka
| ( ) ( )| | ( ) ( )| | ( ) ( )| | ( ) ( )|
| ( ) ( )|
Jadi , | ( ) ( )| | ( ) ( )|

Dari soal ( ) jelas bahwa ( ) ( )

Tetapi untuk maka ( ) dan ( )
Maka didapat ( ) dan ( )
 (b)
Akan ditunjukkan
( ) , -| ( ) ( )|Metrik pada , -
- Solusi
( ) Ambil sebarang , -
Berdasarkan sifat mutlak berlaku | ( ) ( )| , -
Memenuhi juga , -| ( ) ( )|
Jadi , ( )
( ) Ambil sebarang , -
( ) maka , -| ( ) ( )|
Berdasarkan sifat supremum haruslah | ( ) ( )| , -
Padahal sifat nilai mutlak | |
Sehingga Satu-satunya yang memenuhi saat
| ( ) ( )|
Dari sifat nilai mutlak juga maka untuk setiap , - berlaku
( ) ( ) ( ) ( ) untuk setiap , -
untuk ( ) ( ) , -
( ) | ( ) ( )| | ( ) ( )| | |
, - , -
( ) Ambil sebarang , -
Tinjau
( ) | ( ) ( )|
, -
|( )( ( ) ( ))|
| || ( ) ( )|
| ( ) ( )| ( ) untuk setiap , -
( ) Ambil sebarang , -
Tinjau
( ) *| ( ) ( )|+
, -
*| ( ) ( ) ( ) ( )|+
, -

, - *| ( )
( )| | ( ) ( )|+ sifat pertidaksamaan segitiga
, - *| ( ) ( )|+ , - *| ( ) ( )|+ sifat jumlahan supremum
( ) ( ) untuk setiap , -
Jadi , ( ) ( ) ( )
Dari Keempat sifat tersebut telah dipenuhi maka terbukti bahwa
 ( , - ) merupakan Ruang Metrik
Akan ditunjukkan
( ) .∫ | ( ) ( )| / Metrik pada , -
- Solusi
( ) Ambil sebarang , -
Berdasarkan no ( ) didapat ( )
( ) Ambil sebarang , -
( ) maka .∫ | ( ) ( )| /

∫ | ( ) ( )| ∫

| ( ) ( )| , -
Dari sifat nilai mutlak juga maka untuk setiap , - dimana dan kontinu pada
, - berlaku
( ) ( ) ( ) ( ) untuk setiap , -
untuk ( ) ( ) , -

( ) (∫ | ( ) ( )| ) (∫ | ( ) ( )| )

(∫ | | ) ( )

( ) Ambil sebarang , -
Tinjau

( ) (∫ | ( ) ( )| )

(∫ |( )( ( ) ( ))| )

(∫ | | | ( ) ( )| )

(∫ | ( ) ( )| )

( ) untuk setiap , -
( ) Ambil sebarang , - dan , -
Dari pertidaksamaan segitiga pada nilai mutlak didapat
| ( ) ( )| | ( ) ( ) ( ) ( )| | ( ) ( )| | ( ) ( )|
Karena kontinu pada , - berlaku juga

∫ | ( ) ( )| ∫ | ( ) ( )| ∫ | ( ) ( )|

Dari pertidaksamaan cauchy schwarz untuk integral didapat

 (∫ | ( ) ( )| ) (∫ | ( ) ( )| ) (∫ | | )

(∫ | ( ) ( )| ) (∫ | ( ) ( )| )( | )

∫ | ( ) ( )| (∫ | ( ) ( )| )

W.L.O.G

∫ | ( ) ( )| (∫ | ( ) ( )| )

(∫ | ( ) ( )| ) (∫ | ( ) ( )| ) (∫ | ( ) ( )| )

(∫ | ( ) ( )| ) (∫ | ( ) ( )| ) ∫ | ( ) ( )|

Maka

(∫ | ( ) ( )| ) (∫ | ( ) ( )| ) (∫ | ( ) ( )| )

Jadi , ( ) ( ) ( )
Dari Keempat sifat tersebut telah dipenuhi maka terbukti bahwa
 ( , - ) merupakan Ruang Metrik
Akan ditunjukkan
( ) ∫ | ( ) ( )| Metrik pada , -
- Solusi
( ) Ambil sebarang , -
Berdasarkan no ( ) didapat ( )
( ) Ambil sebarang , -
( ) maka ∫ | ( ) ( )|

∫ | ( ) ( )| ∫

| ( ) ( )| , -
Dari sifat nilai mutlak juga maka untuk setiap , - dimana dan kontinu pada
, - berlaku
( ) ( ) ( ) ( ) untuk setiap , -
untuk ( ) ( ) , -

( ) ∫ | ( ) ( )| ∫ | ( ) ( )|

(∫ | | ) ( )

( ) Ambil sebarang , -
Tinjau

( ) ∫ | ( ) ( )|

∫ |( )( ( ) ( ))|

∫ | || ( ) ( )|

∫ | ( ) ( )|

( ) untuk setiap , -
( ) Ambil sebarang , - dan , -
Dari pertidaksamaan segitiga pada nilai mutlak didapat
| ( ) ( )| | ( ) ( ) ( ) ( )| | ( ) ( )| | ( ) ( )|
Karena kontinu pada , - berlaku juga

∫ | ( ) ( )| ∫ | ( ) ( )| ∫ | ( ) ( )|

Jadi , ( ) ( ) ( )

Dari Keempat sifat tersebut telah dipenuhi maka terbukti bahwa

( , - ) merupakan Ruang Metrik
 ( ) ambil sebarang , -
Akan ditunjukkan ( ) ( ) ( )
Dengan kata lain akan dibuktikan ( ) ( ) dan ( ) ( )
Tinjau
Dari pertidaksamaan cauchy schwarz untuk integral didapat

(∫ | ( ) ( )|| | ) (∫ | ( ) ( )| ) (∫ | | )

(∫ | ( ) ( )| ) (∫ | ( ) ( )| )( | )

∫ | ( ) ( )| (∫ | ( ) ( )| )

( ) ( ) ( ) ( )

Tinjau juga
Kita ketahui bahwa kontinu pada , - maka terbatas di , -
Sehingga | | juga terbatas
Misalkan
| ( ) ( )| | ( ) ( )| , -
, -
Karena berlaku | ( ) ( )| , -
Integralkan kedua ruas pada , -

∫ | ( ) ( )| ∫

(∫ | ( ) ( )| ) ( ) | ( ) ( )|
, -
Maka ( ) ( ) ( ) ( )

Karena ( ) ( ) dan ( ) ( ) , -
Terbukti bahwa
( ) ( ) ( ) , -

( )
i. ADT ( ) untuk di ( ) dengan kata lain
( )( ( ) ) sdh ( ) ( ) , -
Ambil sebarang
Tinjau

( ) (∫ | ( ) ( )| )

(∫ | | ∫ | | )
 (∫ ( ) )

( | )

( )
√ √ √ √
Ket :Untuk
√ √
Berdasarkan Archimedean Property
Untuk dan berlaku
√
Jadi , ( ) ( )( , -)
Terbukti bahwa ( ) di ( )

ii. ADT ( ) untuk di ( ) dengan kata lain

( )( ( ) ) sdh ( ) ( ) , -
Ambil sebarang
Tinjau
( ) | ( ) ( )|
, -
| | | |
0 1 0 1

| | | ( )|
0 1

Kontradiksi maka sehingga

( ) untuk suatu dan , -
Jadi , ( ) di ( )

iii. ADT ( ) untuk di ( ) dengan kata lain

( )( ( ) ) sdh ( ) ( ) , -
Ambil sebarang
Tinjau

( ) ∫ | ( ) ( )|

∫ | | ∫ | |

Untuk 0 1 maka | | sehingga integral menjadi

∫ ( ) |
 Berdasarkan Archimedean Property
Untuk dan berlaku
Jadi , ( ) ( )( , -)
Terbukti bahwa ( ) di ( )
 Diberikan * ( ) | | + dan didefinisikan
( ) | | Tunjukkan bahwa ( ) merupakan ruang metrik
- Solusi
( ) Ambil sebarang
Berdasarkan sifat mutlak berlaku | |
Memenuhi juga | | untuk setiap
Jadi , ( )
( ) Ambil sebarang
( ) maka | |
Berdasarkan sifat supremum haruslah | |
Padahal sifat nilai mutlak | |
Sehingga Satu-satunya yang memenuhi saat
| |
Dari sifat nilai mutlak juga maka untuk setiap berlaku
untuk setiap
Dengan kata lain
untuk Dengan kata lain
untuk setiap Jadi ,
( ) | | | | | |
( ) Ambil sebarang
Tinjau
( ) | |
|( )( )|
| || |
| | ( ) untuk setiap
( ) Ambil sebarang
Tinjau
( ) *| |+
*| |+
*| | | |+ sifat pertidaksamaan segitiga
*| |+ *| |+ sifat jumlahan supremum
( ) ( ) untuk setiap
Jadi , ( ) ( ) ( )

Dari Keempat sifat tersebut telah dipenuhi maka terbukti bahwa ( ) ruang metrik
 ( ) merupakan Ruang Metrik
Diberikan * ( ) ∑ | | + dan didefinisikan
( ) ∑ | | Tunjukkan bahwa ( ) merupakan ruang metrik
- Solusi
( ) Ambil sebarang
Berdasarkan sifat mutlak berlaku | | untuk setiap maka

| | | | | | ∑| |

Jadi , ( )
( ) Ambil sebarang
( )
maka ∑ | |
Karena | | untuk setiap berakibat | |
Berdasarkan sifa nilai mutlak maka
untuk setiap
Dengan kata lain
untuk Dengan kata lain
untuk setiap Jadi ,

( ) ∑| | ( ) ∑| | ∑| |

( ) Ambil sebarang
Tinjau

( ) ∑| |

∑|( )( )|

∑| || |

∑| | ( )

( ) Ambil sebarang
Tinjau

( ) ∑| |

∑| |

∑ (| | | |) sifat pertidaksamaan segitiga

∑ | | ∑ | | sifat jumlahan
( ) ( ) untuk setiap
 Jadi , ( ) ( ) ( )

Dari Keempat sifat tersebut telah dipenuhi maka terbukti bahwa

( ) merupakan Ruang Metrik

Diberikan himpunan * + bilangan real sedemikian hingga

∑| |

Konvergen . untuk sebarang dua barisan * + dan

* +.
Didefisnisikan

( ) (∑| | )

Tunjukkan bahwa ( ) merupakan ruang metrik

 - Solusi
( ) Ambil sebarang
Berdasarkan sifat mutlak berlaku | | untuk setiap bilangan asli

| | | | | | ∑| |

Jelas ,

(∑| | ) ( )

( ) Ambil sebarang
( )

(∑| | )

Berakibat

∑| | | | | | | |

Padahal untuk setiap bilangan asli berlaku | | maka

| | untuk setiap bilangan asli
Dengan menggunakan sifat mutlak maka

untuk setiap bilangan asli dengan kata lain

untuk
Artinya dan untuk setiap bilangan asli
Tinjau

( ) (∑| | ) (∑| | ) (∑| | )

(∑ ) ( )

( ) Ambil sebarang
Tinjau

( ) (∑| | ) (∑|( )( )| )
 (∑(| || |) )

(∑| | ) ( )

( ) Ambil sebarang
Tinjau

( ) (∑| | )

(∑| | )

Dengan menggunakan Pertidaksamaan Minkowski

(∑| | ) (∑| | ) (∑| | )

Untuk maka didapat

( ) (∑| | ) (∑| | )

( ) ( ) ( )
 Buktikan bahwa setiap barisan konvergen di ruang metrik adalah barisan cauchy

- Solusi
Ambil sebarang barisan * + di ruang metrik ( ) dan * +
ADT * + barisan cauchy DKL ( )( ( ) ) sedemikian hingga ( ) ,
untuk setiap ( )
____________________________________________________________________________________________________
Teorema :
Ketiga pernyataan berikut ekivalen
(i) Himpunan tertutup dan terbatas
(ii) Setiap cover buka dari mempunyai subcover hingga
(iii) Setiap barisan di mempunyai subbarisan yang konvergen kesuatu titik di
Catatan :
( ) ( ) dikenal dengan Teorema Heine-Borel
( ) dikenal sebagai sifat Heine-Borel dari A
( ) ( ) dikenal dengan Teorema Bolzano-Weirstrass
_____________________________________________________________________________________________________
Karena barisan * + konvergen berdasarkan sifat maka * + tertutup dan terbatas.
Dari Catatan di atas dengan menggunakan Teorema Heine-Borel maka ada suatu
barisan di * + yang mempunyai subbarisan yang konvergen ke suatu titik yaitu di
* + dimana barisan itu kita misalkan * +

Karena dimana adalah metrik di sesuai definisi

( )( ( ) ) sedemikian hingga ( ) untuk ( )
( )( ( ) ) sedemikian hingga ( ) untuk ( )

Ambil ( ) * ( ) ( )+
juga berlaku
( ) ( ) ( )
Dari (M3) kita punya ( ) ( ) sehingga
( ) ( ) ( )
( ) ( )
Jadi , terbukti bahwa setiap barisan konvergen di ruang metrik adalah barisan cauchy
Diberikan ruang linier real dan untuk setiap dengan ( ) didefinisikan
‖ ‖ | | | | , maka tunjukkan bahwa ( ‖ ‖) merupakan ruang bernorma.

- Solusi
(N1) ambil sebarang
kita tahu | | untuk sehingga | | | |
‖ ‖ | | | | (Q.E.D)
(N2) ambil sebarang

‖ ‖ | | | |
Padahal dari (N1) | | | |
Haruslah | | | |
Berdasarkan sifat mutlak haruslah

Maka ( )

maka ( ) atau
Sehingga ‖ ‖ | | | | | | | |
( ) ambil sebarang dan
Tinjau
‖ ‖ | | | |
| || | | || |
| |(| | | |)
| |‖ ‖
( ) ambil sebarang
Tinjau
‖ ‖ | | | |
Dari pertidaksamaan segitiga di nilai mutlak berlaku
| | | | | | juga | | | | | |
Sehingga
| | | | | | | | | | | |
Jadi ,
‖ ‖ | | | | | | | |
‖ ‖ ‖ ‖ ‖ ‖
 Diberikan * ( ) ∑ | | + dan didefinisikan fungsi pada dengan
‖ ‖ ∑ | | maka buktikan bahwa ruang- adalah ruang bernorma yang lengkap.

- Solusi
(N1) ambil sebarang
Karena | | untuk setiap asli maka

∑| | ‖ ‖

(N2) ambil sebarang

‖ ‖ ∑| |

Padahal dari (N1) ∑ | |

Haruslah | | untuk setiap bil asli
Berdasarkan sifat mutlak haruslah

Maka

maka
Sehingga ‖ ‖ ∑ | | ∑ | | ∑
( ) ambil sebarang dan
Tinjau

‖ ‖ ∑| |

∑| || |

| | ∑| |

| |‖ ‖
( ) ambil sebarang
Tinjau

‖ ‖ ∑| |

Dari pertidaksamaan segitiga di nilai mutlak berlaku

| | | | | |
Sehingga

∑| | ∑| | ∑| |

‖ ‖ ‖ ‖ ‖ ‖
Diberikan himpunan dengan metrik-metrik euclid untuk dan untuk setiap

Maka tunjukkan bahwa barisan ( ) adalah Barisan Cauchy di dibawah metrik euclid
untuk

- Solusi
Himpunan metrik di maka ( ) ruang metrik , didefinisikan metrik euclid maka
( ) | |
Akan ditunjukkan ( )( ( ) ) sedemikian hingga ( ) ( )
Tinjau
( ) | |

|( ) ( )|
Asumsikan W.L.O.G
|( ) ( )|

| |
( ) ( )
Dengan menggunakan pertidaksamaan segitiga didapat
| | | | | | | |
( ) ( ) ( ) ( )
Untuk suatu bilangan asli maka ( )
untuk setiap
Sehingga
| | | | | |
( ) ( ) ( ) ( )
Pandang

Sehingga untuk bilangan asli berlaku

Atau

( ) ( )

Dari

Maka | |
 Untuk maka jadi

| |
Berdasarkan Archimedean Property
Ambil dan sehingga
Maka

Jadi , ( ). ( ) / sedemikian hingga ( ) ( )

Terbukti bahwa Barisan Cauchy di dibawah metrik euclid untuk
 Pandang himpunan untuk setiap ( ) dan ( )
Didefinisikan ( ) | | | |
Tunjukkan bahwa ( ) merupakan ruang metrik

- Solusi
( ) Ambil sebarang
Berdasarkan sifat mutlak berlaku | |
untuk dengan
Jelas , ( ) | | | |

( ) Ambil sebarang
( )
| | | |
Padahal | | untuk maka
Haruslah| | | |
Dengan menggunakan sifat mutlak maka
untuk atau dengan kata lain

untuk
Artinya
maka
( ) | | | | | | | |

( ) Ambil sebarang
Tinjau
() | | | |
|( )( )| |( )( )|
| || | | || |
| | | |
( )

( ) Ambil sebarang
Tinjau
( )
| | | |
| | | |
Denganmenggunakansifatpadapertidaksamaansegitigadidapat
( ) | | | | | | | |
(| | | |) (| | | |) ( ) ( )
maka
( ) ( ) ( )
Tunjukkan bahwa fungsi

〈 〉 ∑ ̅̅̅̅

Untuk ( ) ( ) mendefinisikan hasil-kali-dalam

pada

- Solusi

(HKD1) Ambil sebarang * +

Dimana ( ) dan ̅ ̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅

( ) (̅̅̅ ̅̅̅ ̅̅̅)

Untuk suatu , ̅̅̅ | |

Dimana | | merupakan modulus dari ,| | √ ( ) ( )

Karena ( ) ( ) maka | | untuk setiap

Sehingga berlaku

〈 〉 ∑ ̅̅̅ ∑| |

Terjadi kesamaan saat | | untuk setiap dengan kata lain saat

tetapi karena jadi

〈 〉

Jadi , berlaku sifat positif pada Hasil-kali-dalam

(HKD2) ambil sebarang

Tinjau

〈 〉 ∑ ̅̅̅

( ̅̅̅ ̅̅̅ ̅̅̅)

̅̅̅̅̅̅
̅̅̅ ̅̅̅̅̅̅
̅̅̅ ̅̅̅̅̅̅
̅̅̅

̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅
̅̅̅ ̅̅̅ ̅̅̅

̅̅̅̅̅̅̅̅̅̅̅
∑ ̅̅̅
 ̅̅̅̅̅̅̅̅̅̅̅
∑ ̅̅̅

̅̅̅̅̅̅̅
〈 〉

Jadi , berlaku sifat Simetri Konjugat pada Hasil-kali-dalam

(HKD3) Ambil sebarang dan

Tinjau

( )

Untuk suatu berlaku ( )̅̅̅ ( ̅̅̅) (sifat asosiatif di )

sehingga

〈 〉 ∑( )̅̅̅

∑ ( ̅̅̅)

∑ ̅̅̅

〈 〉

Jadi , berlaku sifat Homogenitas Skalar pada Hasil-kali-dalam

(HKD4) ambil sebarang

Tinjau

〈 〉 ∑( )̅̅̅̅

Berdasarkan sifat distributif pada didapat

∑( ̅̅̅̅ ̅̅̅̅)

∑ ̅̅̅̅ ∑ ̅̅̅̅

〈 〉 〈 〉
Jadi , berlaku sifat Jumlahan pada Hasil-kali-dalam

Karena keempat sifat terpenuhi Terbukti bahwa 〈 〉 ∑ ̅̅̅ mendefinisikan

hasil-kali-dalam pada

Tunjukkan bahwa hasil-kali-dalam , - memenuhi sifat-sifat simetri konjugat,

homogenitas skalar, dan bilinear.

- Solusi

Didefinisikan

, - { , - | ∫ | ( )| }

Dan hasil-kali-dalam pada , -

〈 〉 ∫ ( )̅̅̅̅̅̅
( )

- Sifat simetri konjugat

Ambil sebarang , -

Misalkan ( ) ( ) ( ) dan ( ) ( ) ( )

Tinjau

〈 〉 ∫ ( )̅̅̅̅̅̅
( )
 ∫ ( ( ) ( ))(̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅
( ) ( ))

∫ ̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅
( ( ) ( ))( ( ) ( ))

̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅
∫ ̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅
( ( ) ( ))( ( ) ( ))

∫ ̅̅̅̅̅̅̅̅̅̅̅
̅̅̅̅̅̅
( ) ( )

Karena terintegral Riemann pada , - sehingga

∑ ̅̅̅̅̅̅̅̅̅̅̅̅̅̅
̅̅̅̅̅̅̅
( ) ( )
, -

̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅
∑ ̅̅̅̅̅̅̅
( ) ( )
, -

̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅
∫ ̅̅̅̅̅̅
( ) ( )

̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅
∫ ( )̅̅̅̅̅̅( )

〈 〉

Karena 〈 〉 〈 〉, , - maka sifat Simetri Konjugat terpenuhi

- Sifat Homogenitas Skalar

Ambil sebarang , - dan

Tinjau

〈 〉 ∫ ( )̅̅̅̅̅̅
( )

Karena dan terintegral Riemann pada , - sehingga

∑ ( )̅̅̅̅̅̅̅
( )
, -

∑ ( )̅̅̅̅̅̅̅
( )
, -
 ∑ ( )̅̅̅̅̅̅̅
( )
, -

∫ ( )̅̅̅̅̅̅
( )

〈 〉

Karena 〈 〉 〈 〉, , - dan maka sifat Homogenitas Skalar

terpenuhi

- Sifat Bilinear

Sifat Bilinear adalah sifat Homogenitas Skalar + Sifat Jumlahan

Sehingga cukup buktikan sifat jumlahan nya saja

Ambil sebarang , -

Tinjau

〈 〉 ∫ ( ( ) ( ))̅̅̅̅̅̅
( )

Berdasarkan sifat distributif pada Integral Riemann

∫ ( ( )̅̅̅̅̅̅
( ) ( )̅̅̅̅̅̅
( ))

Berdasarkan sifat jumlahan pada Integral Riemann

∫ ( )̅̅̅̅̅̅
( ) ∫ ( )̅̅̅̅̅̅
( )

〈 〉 〈 〉

Jadi karena 〈 〉 〈 〉 〈 〉, , - maka sifat Jumlahan terpenuhi

karena sebelumya juga telah dibuktikan sifat Homogenitas Skalar maka terpenuhi juga
sifat Bilinear nya.