Normlu vektör uzayı

Matematikte normlu vektör uzayı gerçel ya da karmaşık sayılar üzerinde tanımlanmış ve bir norm fonksiyonuna sahip olan vektör uzayıdır. Norm fonksiyonu uzunluk kavramının genelleştirilmesi olarak düşünülebilir.

Normlu uzaylar ve normlu uzayların en temel örneklerinden biri olan Banach uzayları, fonksiyonel analizin yapı taşlarıdır.

Tanım

Bir $\mathbb {K}$ cismi ($\mathbb {R}$ ya da $\mathbb {C}$ olabilir) üzerinden tanımlanmış bir $V$ vektör uzayı üzerinde tanımlanmış gerçel değerler alan bir $\lVert \cdot \rVert :V\to \mathbb {R}$ fonksiyonuna aşağıdaki özellikleri sağladığı takdirde norm adı verilir:

1. Negatif olmamalık özelliği: Her $x\in V$ için, $\;\lVert x\rVert \geq 0$.
2. Kesin pozitiflik özelliği: Bir $x\in V$ için $\;\lVert x\rVert =0$ ise, bu ancak ve ancak $x$ sıfır vektörüyse olabilir.
3. Mutlak homojenlik özelliği: $\lambda \in \mathbb {K}$ ve $x\in V$ ise, $$\lVert \lambda x\rVert =|\lambda |\,\lVert x\rVert$$
4. Üçgen eşitsizliği: Her $x,y\in V$ için, $$\|x+y\|\leq \|x\|+\|y\|.$$

O zaman, $V$ vektör uzayı ve bu uzay üzerinde tanımlanmış bir norm fonksiyonu çiftine normlu vektör uzayı denir ve $(V,\lVert \cdot \rVert )$ ile gösterilir. Sadece bir tane vektör uzayından bahsediliyorsa veya norma vurgu yapmaya gerek yoksa, $(V,\|\cdot \|)$ yerine sadece $V$ normlu vektör uzayıdır biçiminde kullanım da mevcuttur ve bu uzay sadece $V$ ile gösterilir.

Norm fonksiyonu üzerinden $d(x,y):=\|y-x\|$ biçiminde tanımlanan bir fonksiyon bir metrik olur. Bu metriğe, norm tarafından doğurulmuş metrik denir. Bu metrik sayesinde, her normlu vektör uzayı aynı zamanda bir metrik uzayıdır ve yine bu yüzden topolojik vektör uzayıdır. Eğer bu metrik uzay üstelik tamsa, o zaman bu normlu uzaya Banach uzayı adı verilir. Her Banach uzayı normlu bir uzaydır; ancak, bunun tersi doğru değildir. Yine de, normlu vektör uzayları bir Banach uzayına genişletilebilir. Genişletmeyle elde edilen Banach uzayı ise biriciktir.