Lihat sumber Ruang vektor bernorma

{{short description|Ruang vektor di mana jarak ditentukan}}
{{see also|Norma (matematika)|ruang Banach}}
{{more footnotes|date=Januari 2021}}
[[Berkas:Mathematical Spaces.svg|thumb|250px|Hirarki ruang matematika. Ruang vektor bernorma adalah superset dari [[ruang hasil kali dalam]] dan
himpunan bagian dari [[ruang metrik]], yang pada gilirannya merupakan himpunan bagian dari [[ruang vektor topologis]].]]

Dalam [[matematika]], '''ruang vektor bernorma''' atau '''ruang bernorma''' adalah [[ruang vektor]] di atas bilangan [[bilangan riil|riil]] atau [[bilangan kompleks|kompleks]], di mana [[norma (matematika)|norma]] didefinisikan.<ref name="text">{{cite book |first=Frank M. |last=Callier |title=Linear System Theory |location=New York |publisher=Springer-Verlag |year=1991 |isbn=0-387-97573-X }}</ref> 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 <math>x\mapsto \|x\|,</math> dan memiliki sifat berikut:
#Itu tidak negatif, yaitu untuk setiap vektor {{mvar | x}}, satu memiliki <math>\|x\| \ge 0.</math>
#Ini positif pada vektor bukan nol, yaitu, 
#:<math>\|x\|= 0 \Longleftrightarrow x=0.</math>
# Untuk setiap vektor {{mvar | x}}, dan setiap skalar <math>\alpha,</math>
#: <math>\|\alpha x\|=|\alpha| \|x\|.</math>
# [[Segitiga pertidaksamaan]] berlaku; yaitu, untuk setiap vektor {{mvar | x}} dan {{mvar | y}}, satu memiliki
#: <math>\|x+y\| \le \|x\|+\|y\|.</math>

Sebuah norma menginduksi sebuah [[metrik (matematika)|jarak]] dengan rumus
:<math>d(x,y)=\|y-x\|.</math>
yang membuat ruang vektor bernorma menjadi [[ruang metrik]] dan [[ruang vektor topologis]]. Jika metrik ini <math> d </math> adalah [[Ruang metrik komplek|lengkap]] maka ruang normed disebut <em> [[Ruang Banach]] </em>. 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 (yang merupakan ruang hasil kali dalam) dengan rumus
:<math>d(A, B)=\|\overrightarrow{AB}\|.</math>

== Definisi ==
'''Ruang vektor bernorma''' adalah pasangan <math>(V, \|\cdot\| )</math> di mana <math> V </math> adalah [[ruang vektor]] dan <math>\|\cdot\|</math> a [[Norma (matematika)|norma]] di <math> V </math>.

'''Ruang vektor seminorma''' adalah [[n-tupel|tupek]] <math>(V,p)</math> di mana <math> V </math> adalah ruang vektor dan <math> p </math> a [[norma (matematika)|seminorma]] di <math> V </math>.

Jika <math> p </math> atau <math>\|\cdot\|</math> dan cukup tulis <math> V </math> untuk spasi jika jelas dari konteksnya apa (semi) norma yang kita gunakan.

Dalam pengertian yang lebih umum, norma vektor dapat dianggap sebagai fungsi bernilai riil{{clarify|date=Januari 2021}} yang memenuhi ketiga sifat di atas.

[[Pertidaksamaan segitiga#Pertidaksamaan segitiga terbalik|Variasi pertidaksamaan segitiga]] adalah
:<math>\|x-y\| \ge | \|x\|-\|y\| |</math> untuk setiap vektor x dan y.

Ini juga menunjukkan bahwa norma vektor adalah [[fungsi kontinu]].

Perhatikan bahwa properti 2 bergantung pada pilihan norma <math>|\alpha|</math> di bidang skalar. Ketika bidang skalar <math>\mathbb R</math> (atau lebih umum merupakan himpunan bagian dari <math>\mathbb C</math>), ini biasanya dianggap [[nilai absolut]] biasa, tetapi pilihan lain dimungkinkan. Misalnya, untuk vektor spasi di atas <math>\mathbb Q</math> satu bisa mengambil <math>|\alpha|</math> menjadi [[urutan P-adik|norma p-adik]], yang memunculkan kelas ruang vektor bernorma yang berbeda.

== Struktur topologi ==
Jika ('' V '', ‖·‖) adalah ruang vektor bernorma, norma ‖·‖ menginduksi a [[Metrik (matematika)|metrik]] (pengertian '' jarak '') dan karena itu [[topologi]] pada '' V ''. Metrik ini didefinisikan dengan cara alami: jarak antara dua vektor '' 'u' '' dan '' 'v' '' diberikan oleh ‖'' 'u' '' - '' 'v' ''‖. Topologi ini justru merupakan topologi terlemah yang membuat ‖·‖ kontinu dan yang kompatibel dengan struktur linier '' V '' dalam pengertian berikut:

#Penambahan vektor +: '' V '' × '' V '' → '' V '' secara bersama-sama kontinu sehubungan dengan topologi ini. Ini mengikuti langsung dari [[pertidaksamaan segitiga]].
#Perkalian skalar ·: '''K'''&nbsp;×&nbsp;''V''&nbsp;→&nbsp;''V'', dimana '''K''' adalah bidang skalar yang mendasari '' V '', terus menerus bersama. Ini mengikuti dari segitiga ketidaksamaan dan homogenitas norma.

Demikian pula, untuk ruang vektor semi-normed, kita dapat mendefinisikan jarak antara dua vektor '''u''' dan '''v''' sebagai ‖'''u'''&nbsp;−&nbsp;'''v'''‖. Ini mengubah ruang seminormed menjadi [[ruang pseudometrik]] (perhatikan ini lebih lemah dari metrik) dan memungkinkan definisi pengertian seperti [[fungsi kontinu (topologi)|kontinuitas]].
Untuk membuatnya lebih abstrak, setiap ruang vektor semi-norma adalah [[ruang vektor topologis]] dan dengan demikian membawa [[struktur topologi]] yang diinduksi oleh semi-norma.

Yang menarik adalah [[ruang kompleks|lengkap]] ruang bernorma yang disebut [[Ruang Banach]]. Setiap ruang vektor bernorma '' V '' berada sebagai subruang padat di dalam ruang Banach; Ruang Banach ini pada dasarnya didefinisikan secara unik oleh '' V '' dan disebut '' [[Cauchy kompleks|penyelesaian]] '' dari '' V '''.

Dua norma pada ruang vektor yang sama disebut <em> ekivalen </em> jika keduanya mendefinisikan [[topologi (struktur)|topologi]] yang sama. Pada ruang vektor berdimensi-hingga, semua norma adalah setara tetapi ini tidak berlaku untuk ruang vektor berdimensi tak hingga.

Semua norma pada ruang vektor berdimensi-hingga adalah setara dari sudut pandang topologi karena mereka menginduksi topologi yang sama (meskipun ruang metrik yang dihasilkan tidak harus sama).<ref>{{Citation | last1=Kedlaya | first1=Kiran S. | author1-link=Kiran Kedlaya  | title=''p''-adic differential equations | publisher=[[Cambridge University Press]] | series=Cambridge Studies in Advanced Mathematics | isbn=978-0-521-76879-5 | year=2010 | volume=125| citeseerx=10.1.1.165.270 }}, Theorem 1.3.6</ref> Dan karena setiap ruang Euklides lengkap, kita dapat menyimpulkan bahwa semua ruang vektor berdimensi hingga adalah ruang Banach. Ruang vektor bernorma '' V '' adalah [[kompak lokal]] jika dan hanya jika bola satuan ''B''&nbsp;=&nbsp;{''x''&nbsp;:&nbsp;‖''x''‖&nbsp;≤&nbsp;1} adalah [[Ruang kompak|kompak]], yang terjadi jika dan hanya jika '' V '' berdimensi hingga; ini adalah konsekuensi dari [[lemma Riesz]].  (Faktanya, hasil yang lebih umum adalah benar: ruang vektor topologis kompak secara lokal jika dan hanya jika berdimensi berhingga. Intinya di sini adalah kita tidak mengasumsikan topologi berasal dari suatu norma.)

Topologi ruang vektor seminormed memiliki banyak properti bagus. Diberikan [[sistem lingkungan]] <math>\mathcal{N}(0)</math> sekitar 0 kita dapat membangun semua sistem lingkungan lainnya sebagai
:<math>\mathcal{N}(x)= x + \mathcal{N}(0) := \{x + N \mid N \in \mathcal{N}(0) \}</math>
dengan
:<math>x + N := \{x + n \mid n \in N \}</math>.

Selain itu, terdapat [[basis lingkungan]] untuk 0 yang terdiri dari [[himpunan penyerap|penyerap]] dan [[himpunan konveks]]. Karena properti ini sangat berguna dalam [[analisis fungsional]], generalisasi ruang vektor bernorma dengan properti ini dipelajari dengan nama [[ruang konveks lokal]].

== Ruang normal ==
[[Ruang vektor topologis]] <math>(X, \tau)</math> disebut '''normabel''' jika ada norma <math>\| \cdot \|</math> pada '' X '' sedemikian rupa sehingga metrik kanonik <math>(x, y) \mapsto \| y - x \|</math> menginduksi topologi <math>\tau</math> pada '' X ''.
Teorema berikut ini berasal dari Kolmagoroff:{{sfn | Schaefer | 1999 | p=41}}

{{math_theorem|Ruang vektor topologis Hausdorff dapat dinormalkan jika dan hanya jika terdapat lingkungan cembung, [[dibatasi von Neumann]] <math>0 \in X</math>.}}

Sebuah produk dari suatu keluarga ruang normabel dapat dinormalkan jika dan hanya jika terbatas banyak ruang yang non-sepele (yaitu <math>\neq \{ 0 \}</math>).{{sfn | Schaefer | 1999 | p=41}} Selanjutnya, hasil bagi dari ruang normabel '' X '' oleh subruang vektor tertutup '' C '' dapat dinormalkan dan jika topologi tambahan '' X '' dirumuskan norma <math>\| \cdot \|</math> maka peta <math>X/C \to \mathbb{R}</math> dirumuskan <math>x + C \mapsto \inf_{c \in C} \| x + c \|</math> adalah norma yang didefinisikan dengan baik pada '' X/C '' yang menginduksi [[Quotient space (topology)|quotient topology]] pada ''X/C''.{{sfn | Schaefer | 1999 | p=42}}

Jika {{mvar | X}} adalah ruang vektor topologis Hausdorff [[cembung lokal]], maka yang berikut ini setara:

# {{mvar | X}} adalah normabel.
# {{mvar | X}} memiliki lingkungan berbatas di asalnya.
# ganda <math>X^{\prime}_{b}</math> dari {{mvar | X}} adalah normabel.{{sfn|Trèves|2006|pp=136–149, 195–201, 240–252, 335–390, 420–433}}
# ganda <math>X^{\prime}_{b}</math> dari {{mvar | X}} adalah [[Ruang vektor topologis terukur|dapat diukur]].{{sfn|Trèves|2006|pp=136–149, 195–201, 240–252, 335–390, 420–433}}

Lebih lanjut, {{mvar | X}} adalah dimensi berhingga jika dan hanya jika <math>X^{\prime}_{\sigma}</math> adalah normabel (dimana <math>X^{\prime}_{\sigma}</math> menunjukkan <math>X^{\prime}</math> dinamakan dengan [[topologi *rendah]]).

== Ruanga norma sebagai ruang hasil bagi dari spasi seminormed ==
Definisi dari banyak ruang bernorma (khususnya, [[Ruang Banach]]) melibatkan seminorm yang didefinisikan pada ruang vektor dan kemudian ruang bernorma didefinisikan sebagai [[ruang hasil bagi (aljabar linear)|ruang hasil bagi]] oleh subruang elemen seminorm nol.  Misalnya, dengan [[Ruang Lp|L<sup>''p''</sup> spaces]], fungsi yang ditentukan oleh
:<math>\|f\|_p = \left( \int |f(x)|^p \;dx \right)^{1/p}</math>
adalah seminorm pada ruang vektor dari semua fungsi di mana [[integral Lebesgue]] di sisi kanan didefinisikan dan terbatas.  Namun, seminorm sama dengan nol untuk fungsi apapun [[Dukungan (matematika)|didukung]] pada satu set [[Ukuran Lebesgue]] nol.  Fungsi-fungsi ini membentuk subruang yang kita "bagi", membuatnya setara dengan fungsi nol.

== Ruang perkalian hingga ==
Diberikan '' n '' ruang seminorma ''X''<sub>''i''</sub> dengan seminorma ''q''<sub>''i''</sub> kita dapat mendefinisikan [[ruang produk]] sebagai
:<math>X := \prod_{i=1}^{n} X_i</math>
dengan penjumlahan vektor didefinisikan sebagai
:<math>(x_1,\ldots,x_n)+(y_1,\ldots,y_n):=(x_1 + y_1, \ldots, x_n + y_n)</math>
dan perkalian skalar didefinisikan sebagai
:<math>\alpha(x_1,\ldots,x_n):=(\alpha x_1, \ldots, \alpha x_n)</math>.

Kami mendefinisikan fungsi baru '' q ''
:<math>q:X \to \mathbb{R}</math>
for example as
:<math>q:(x_1,\ldots,x_n) \mapsto \sum_{i=1}^n q_i(x_i)</math>.
yang merupakan seminorm pada '' X ''. Fungsi '' q '' adalah norma jika dan hanya jika semua ''q''<sub>''i''</sub> adalah norma.

Secara lebih umum, untuk setiap ''p''≥1 riil memiliki seminorma:
:<math>q:(x_1,\ldots,x_n) \mapsto \left( \sum_{i=1}^n q_i(x_i)^p \right)^\frac{1}{p}.</math>

Untuk setiap p, ini mendefinisikan ruang topologi yang sama.

Argumen langsung yang melibatkan aljabar linier dasar menunjukkan bahwa satu-satunya ruang seminormed berdimensi-hingga adalah yang muncul sebagai ruang hasil kali dari ruang bernorma dan ruang dengan trivia.  Akibatnya, banyak contoh dan aplikasi yang lebih menarik dari ruang seminormed terjadi untuk ruang vektor berdimensi tak hingga.

== Lihat pula ==

* [[Ruang Banach]], ruang vektor bernorma yang lengkap sehubungan dengan metrik yang diinduksi oleh norma
* [[Lipatan Finsler]], di mana panjang setiap vektor tangen ditentukan oleh sebuah norma
* [[Ruang hasil kali dalam]], ruang vektor bernorma di mana norma diberikan oleh [[hasil kali dalam]]
* [[Kriteria normabilitas Kolmogorov]]
* [[Ruang vektor topologis konveks lokal]] - ruang vektor dengan topologi yang ditentukan oleh set terbuka cembung
* [[Ruang (matematika)]] - himpunan matematika dengan beberapa struktur tambahan
* [[Ruang vektor topologis]] - ruang vektor dengan pengertian tentang kedekatan

== Referensi ==
{{Reflist}}

== Bibliografi ==
* {{Banach Théorie des Opérations Linéaires}} <!-- {{sfn | Banach | 1932 | p=}} -->
* {{Citation | title=Functional analysis and control theory: Linear systems|last=Rolewicz |first=Stefan|year=1987| isbn=90-277-2186-6| publisher=D. Reidel Publishing Co.; PWN—Polish Scientific Publishers|oclc=13064804|edition=Translated from the Polish by Ewa Bednarczuk|series=Mathematics and its Applications (East European Series)|location=Dordrecht; Warsaw|volume=29|pages=xvi+524|mr=920371| doi=10.1007/978-94-015-7758-8}}
* {{cite book | last=Schaefer | first=H. H. | title=Topological Vector Spaces | publisher=Springer New York Imprint Springer | publication-place=New York, NY | year=1999 | isbn=978-1-4612-7155-0 | oclc=840278135 }} <!-- {{sfn | Schaefer | 1999 | p=}} -->
* {{Trèves François Topological vector spaces, distributions and kernels}}

== Pranala luar ==
*{{Commons category-inline|Normed spaces}}

{{Analisis Fungsional}}
{{Ruang Vektor Topologi}}

{{DEFAULTSORT:Normed Vector Space}}
[[Kategori:Ruang norma| ]]