Hoofdmenu openen

Aan wiskundige objecten kan soms een eigenschap worden toegekend die veel overeenkomst vertoont met het dagelijkse begrip grootte. Die eigenschap is de norm. Bepaalde basiseigenschappen van 'grootte' worden gebruikt om het begrip norm te definiëren.

Inhoud

DefinitieBewerken

Een norm   is een reële functie op een vectorruimte over een deellichaam van de complexe getallen, met de volgende eigenschappen[1]:

0. De norm is niet negatief.

 .

1. Alleen de nulvector heeft norm 0.

 

2. De norm van het scalaire veelvoud van een vector is het product van de norm met de gewone absolute waarde van de scalair:

 
Voor reële vectorruimten betekent dit dat de normfunctie positief homogeen is van de eerste graad.

3. De driehoeksongelijkheid. De norm van de som van twee vectoren is niet groter dan de som van de afzonderlijke normen.

 

Dit zijn niet de minimale eisen voor een norm. Uit voorwaarde 2 volgt dat  , dus kan voorwaarde 1 scherper worden geformuleerd:  . Als bovendien aan voorwaarde 2 en 3 is voldaan, volgt reeds dat aan voorwaarde 0 is voldaan:

 

Een vectorruimte die met een dergelijke functie   is uitgerust, wordt een genormeerde vectorruimte genoemd.

MetriekBewerken

Een genormeerde vectorruimte is ook een metrische ruimte, indien de afstand   tussen twee vectoren   en   wordt gedefinieerd als de norm van de verschilvector:

 

Als deze metrische ruimte volledig is, spreken we van een Banachruimte.[1]

VoorbeeldenBewerken

 
De supremumnorm in het tweedimensionale reële vlak. De cirkel van alle vectoren met gegeven positieve norm vormt een vierkant.
  • Op de vectorruimte   of   is de volgende functie van   een norm, de euclidische norm, die gelijk is aan de lengte van  :
 
 
  • In de limiet van   voor   ontstaat de supremumnorm:
 
  • Elk willekeurig inwendig product met scalairenlichaam   of   bepaalt een norm met de formule
 
De euclidische norm wordt dus geïnduceerd door het standaardinproduct op  :
 
of op  :
 
  • Voor elke norm en elke inverteerbare lineaire transformatie kan men een nieuwe norm definiëren als de gegeven norm, toegepast na de transformatie.
  • Voor complexe  -matrices definieert men de volgende Frobenius norm:
 
met   de complex geconjugeerde matrix van  .

SeminormBewerken

Een functie die aan voorwaarden 0, 2 en 3 uit de definitie voldoet, maar niet noodzakelijk aan voorwaarde 1, noemt men een seminorm. Het procedé waarmee een genormeerde ruimte tot een metrische ruimte wordt, maakt van een semigenormeerde ruimte een pseudometrische ruimte. De vectoren waarvan de seminorm 0 bedraagt, vormen in dat geval een lineaire deelruimte, die gesloten is in de met de pseudometriek geassocieerde topologie.

Op de quotiëntruimte wordt dan een normfunctie gedefinieerd door met iedere nevenklasse de pseudonorm van eender welke vertegenwoordiger te associëren. De topologie van deze normfunctie is dezelfde als de quotiënttopologie voor de equivalentierelatie "heeft afstand 0 tot".

Norm van een lineaire afbeeldingBewerken

Als   een lineaire afbeelding is tussen twee genormeerde ruimten   en   over hetzelfde scalairenlichaam, dan definieert men de norm van   als de kleinste bovengrens van de vergrotingen die eenheidsvectoren ondergaan:

 

Deze norm blijkt eindig te zijn als en slechts als   continu is ten opzichte van de respectievelijke topologieën van   en  

De verzameling van alle continue lineaire afbeeldingen tussen   en  

 

is opnieuw een genormeerde vectorruimte over hetzelfde lichaam.

Equivalentie van normenBewerken

Twee normen   en   op een vectorruimte   zijn equivalent als er getallen   bestaan zodat voor alle   geldt:

  en