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