Normeeritud ruum

**Normeeritud ruum** ehk **normeeritud vektorruum** on vektorruum, milles on defineeritud teatud kujutus – **norm** –, mis rahuldab normi aksioome.

## Sissejuhatus

Vektorruumi mõiste üldistab mõningaid tasandil paiknevate vektorite omadusi, kuid see ei sisalda vektori pikkuse mõiste üldistust. Normi aksioomide lisamine vektorruumi omadustele võimaldab üldistada ka vektori pikkuse mõistet. 

Normi aksioomid üldistavad vektori pikkuse järgmisi omadusi:
# nullvektori pikkus on null, kõigi teiste vektorite pikkused on positiivsed reaalarvud. Seda omadust nimetatakse positiivsuseks;
# mingi arvuga korrutatud vektori pikkus on algse vektori pikkuse ja selle arvu absoluutväärtuse korrutis. Seda omadust nimetatakse homogeensuseks;
# olgu *A*, *B* ja *C* tasandi kolm punkti. Vektorite \overrightarrow{AB} ja \overrightarrow{BC} pikkuste summa on alati vähemalt sama suur kui vektori \overrightarrow{AB} pikkus. Teisisõnu, kui vektoritest moodustada kolmnurk, siis on selle kolmnurga kahe külje pikkuste summa vähemalt sama suur kui kolmanda külje pikkus. Seda omadust nimetatakse kolmnurga võrratuseks.

Nende omaduste üldistamisel saadakse normi aksioomid. Normeeritud ruumi elemendi norm on vektori pikkuse üldistus.

## Definitsioon

Normeeritud ruum üle korpuse *K* on vektorruum *V* üle korpuse *K*, kus igale vektorile **v** ∈ *V* on seatud vastavusse **v** *norm* (tähis ||**v**||), mis on reaalarv, kusjuures mis tahes skalaari *a* ∈ *K* ja vektorite **v**, **w** ∈ *V* korral kehtivad järgmised tingimused:
#  \|\mathbf{v} \| = 0 \Leftrightarrow \mathbf{v} = 0 \,  (samasuse aksioom),
#  \| a\mathbf{v} \| = |a| \| \mathbf{v} \| \, (homogeensuse aksioom), 
#  \|\mathbf{v} + \mathbf{w}\| \leq \|\mathbf{v}\| + \|\mathbf{w}\|  \, (kolmnurga võrratus).
Neid tingimusi nimetatakse **normi aksioomideks**. Nad üldistavad vektori pikkuse omadusi, mida on mainitud sissejuhatuses. 

Esitatud aksiomaatika sisaldab liiasust, sest aksioomist (2) järeldub, et ||**0**|| = 0, mis on osa aksioomis (1) väidetust.

Aksioomidest (1) ja (3) järeldub normi positiivsus
: \|\mathbf{v} \| \geq 0 \,.
Mõnikord arvatakse positiivsus normi aksioomide hulka.

Tavaliselt vaadeldakse normeeritud ruume üle reaal- või kompleksarvude korpuse või ka üle kompleksarvude korpuse mis tahes alamkorpuse. 

Kui rahuldatud on vaid viimased kaks aksioomi, siis räägitakse poolnormist.

## Omadused

Iga normeeritud ruum on ühtlasi meetriline ruum, mille meetrika on defineeritud kui
:\rho(\mathbf{v},\mathbf{w}) = \|\mathbf{v} - \mathbf{w}\|.
Tänu sellele, et on olemas see meetrika, mida nimetatakse *normi poolt indutseeritud meetrikaks*, võib rääkida koonduvusest normeeritud ruumides:
* Koondumine **v**n → **v** tähendab, et ||**v**n — **v**|| → 0 (lugeda: **v**n *koondub normis* ||.||)
* Jada **v**n on fundamentaalne parajasti siis, kui ||**v**n — **v**m|| → 0.

Norm on
* *pidev* st kui **v**n → **v**, siis
: ||**v**n|| → ||**v**||.
* *pidev algebraliste [[tehe]]te suhtes* st kui **v**n → **v**, **w**n → **w** ja *a*n → *a*, siis
:||**v**n + **w**n — (**v** + **w**)|| → 0 
:||*a*n**v**n — *a***v**|| → 0 
Öeldakse ka, et meetrilises ruumis on *topoloogiline struktuur* (meetrika) *algebraliste struktuuridega* kooskõlas.

Normeeritud ruumides kehtib tagurpidi kolmnurga võrratus:
: |||**v**|| — ||**w**||| ≤ ||**v** — **w**||.

## Klassifikatsioon

: Meetrilised ruumid ⊃ Normeeritud ruumid ⊃ Banachi ruumid ⊃ Hilberti ruumid ⊃ Eukleidilised ruumid

Normeeritud ruumi nimetatakse täielikuks, kui selles iga fundamentaaljada koondub (meetrika poolt indutseeritud normis). Täielikku normeeritud ruumi nimetatakse
* *Banachi ruumiks*;
* *Hilberti ruumiks*, kui selles on lisaks normile defineeritud skalaarkorrutis (**v**,**w**), mille kaudu defineeritakse ka norm kui ||**v**|| = √ (**v**,**v**).
* *eukleidiliseks ruumiks*, kui see on lisaks lõplik vektorruum üle reaalarvude.

## Vaata ka

* Topoloogiline ruum