Ruang vektor bernorma

Dalam matematika, ruang vektor bernorma atau ruang bernorma adalah ruang vektor di atas bilangan riil atau kompleks, di mana norma didefinisikan. Norma adalah formalisasi dan generalisasi ke ruang vektor riil dari pengertian intuitif "panjang". Norma adalah fungsi bernilai riil yang ditentukan pada ruang vektor yang biasanya dilambangkan dengan x ↦ ‖ x ‖ , dan memiliki sifat berikut: Itu tidak negatif, yaitu untuk setiap vektor x, satu memiliki ‖ x ‖ ≥ 0. Ini positif pada vektor bukan nol, yaitu, ‖ x ‖ = 0 ⟺ x = 0. Untuk setiap vektor x, dan setiap skalar α , ‖ α x ‖ = | α | ‖ x ‖ . Segitiga pertidaksamaan berlaku; yaitu, untuk setiap vektor x dan y, satu memiliki ‖ x + y ‖ ≤ ‖ x ‖ + ‖ y ‖ . Sebuah norma menginduksi sebuah jarak dengan rumus yang membuat ruang vektor bernorma menjadi ruang metrik dan ruang vektor topologis. Jika metrik ini d adalah lengkap maka ruang normed disebut Ruang Banach . Setiap ruang vektor bernorma dapat "diperluas secara unik" ke ruang Banach, yang membuat ruang bernorma terkait erat dengan ruang Banach. Setiap ruang Banach adalah ruang bernorma tetapi sebaliknya tidak harus benar. Contoh: Satu himpunan urutan berbatas. Studi tentang ruang bernorma dan ruang Banach merupakan bagian fundamental dari analisis fungsional, yang merupakan subbidang utama matematika. Sebuah ruang hasil kali dalam menjadi ruang bernorma jika norma sebuah vektor adalah akar kuadrat dari hasil kali dalam vektor itu sendiri. Jarak Euklides dalam ruang Euklides terkait dengan norma ruang vektor terkait dengan rumus