Definisi Ruang Bernorma
Norma didefinisikan sebagai fungsi bernilai real yang di definisikan pada sebuah ruang vektor sebagaimana sehingga mempunyai sifat seperti jarak, yaitu tidak bernilai negatif, definite positif, homogenitas positif, dan berlaku ketaksamaan segitiga. Fungsi lain yang juga mempunyai sifat jarak adalah metrik. Selanjutnya, himpunan di mana norma tersebut didefinisikan disebut ruang bernorma.
Dengan norma atau fungsi jarak lainya, kita dapat mendefinisikan konsep-konsep dasar yang ada di analisis real seperti Kekonvergenan, Kekontinuan, dan Kekompakan.
Definisi Norma
Ruang bernorma adalah ruang vektor atas ( atau ) yang dilengkapi fungsi \
yang memenuhi sifat:
- (non-negatif).
- (definite positif).
- (homogenitas positif).
- (ketidaksamaan segitiga).
Selanjutnya, fungsi disebut norma pada .
Diberikan norma pada . Didefinisikan fungsi dengan untuk setiap . Jelas fungsi memenuhi sifat-sifat (1)-(4) pada metrik. Dari sini, kita menyimpulkan bahwa setiap ruang bernorma merupakan ruang metrik akan tetapi terdapat metrik yang bukan norma.
Contoh:
Diberikan . Diberikan metrik diskrit , yaitu
\
Jika ada norma sehingga untuk setiap , maka untuk berlaku . Hal ini kontradiksi dengan . Jadi, metrik diskrit tidak dibangkitkan oleh sebuah norma.
Contoh:
Diberikan . Didefinisikan fungsi dengan \
Menggunakan sifat nilai mutlak, sifat (1)-(4) dipenuhi. Norma dikenal dengan norma supremum. Jadi, ruang merupakan ruang bernorma.
Ekuivalensi dua norma
Norma dan pada ruang dikatakan ekuivalen jika terdapat dua bilangan real positif sehingga \
Contoh:
Norma dan ekuivalen pada .
Diketahui ruang bernorma dan . Persekitaran- dari adalah himpunan
\
Berikut beberapa konsep di analisis real yang didefinisikan dalam ruang bernorma. Dengan mengganti persekitaran- pada dengan persekitaran- pada ruang bernorma, sifat-sifat berkaitan yang ada di konvergen, kontinu dan topologi dapat dibuktikan juga berlaku di ruang bernorma .
Diketahui ruang bernorma dengan norma .
- Titik disebut titik limit himpunan , jika untuk setiap persekitaran dari memuat paling sedikit satu titik yang berbeda dengan .
- Fungsi dikatakan kontinu di jika untuk setiap , terdapat sehingga untuk setiap dengan berlaku .
- Titik disebut limit barisan jika untuk setiap , terdapat sehingga untuk setiap dengan berlaku