Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                

In de functionaalanalyse, een deelgebied van de wiskunde, is een banachruimte een reële of complexe vectorruimte die voorzien is van een norm en die ten aanzien van die norm volledig is. Banachruimten zijn de meestgebruikte topologische vectorruimten, hun topologie wordt gegeven door de norm.

Veel van de oneindigdimensionale functieruimten, die in de analyse worden bestudeerd, zijn banachruimten. Daaronder zijn ook ruimten van continue functies, continue functies op een compacte hausdorff-ruimte, ruimten van lebesgue-integreerbare functies, die bekendstaan als Lp-ruimtes en ruimten van holomorfe functies, die bekendstaan als hardy-ruimten.

Banachruimten zijn genoemd naar de Poolse wiskundige Stefan Banach, die rond 1920-1922 dit begrip introduceerde, samen met Hans Hahn en Eduard Helly.[1]

Definitie

bewerken

Een banachruimte is een volledige, genormeerde vectorruimte. Dit betekent dat een banachruimte een vectorruimte   is over de reële of complexe getallen die voorzien is van een norm  , en die met betrekking tot deze norm volledig is. Dat houdt in dat elke cauchyrij met betrekking tot de door de norm geïnduceerde metriek

 

convergent is in  , dus een limiet heeft in  .

Deze eis van convergentie is krachtens een stelling van Riesz gelijkwaardig met de eis dat elke absoluut convergente reeks een limiet heeft.[2]

Dimensie

bewerken

Eindigdimensionale banachruimten over hetzelfde getallenlichaam   en met dezelfde dimensie zijn onderling equivalent. Dat wil zeggen dat er een omkeerbare lineaire transformatie bestaat die in beide richtingen continu is. De interessantste banachruimten zijn oneindigdimensionaal.

Voorbeelden

bewerken

Een belangrijk voorbeeld vormt de Lp-ruimte   van lebesgue-integreerbare scalaire functieklassen op een maatruimte, met als norm de lebesgue-integraal van de absolute waarde.

Algemener, zij   een reëel getal, dan is de ruimte   van meetbare scalaire functieklassen waarvan de  -de macht lebesgue-integreerbaar is, een banachruimte. In dat geval is de norm van een functie de  -de machtswortel uit de integraal van de  -de macht van de absolute waarde.

Voor   is bovenstaand voorbeeld bovendien een hilbertruimte. Alle hilbertruimten zijn per definitie banachruimten, maar niet omgekeerd.

De begrensde continue complexwaardige functies (op een deel van)  , met als norm de kleinste bovengrens van de absolute waarde, vormen een banachruimte. Idem voor de begrensde functies die niet noodzakelijk continu zijn.

Bijzondere structuren

bewerken

De structuur van een banachruimte kan vaak nuttig worden verrijkt door er een vermenigvuldiging van vectoren aan toe te voegen, zoals de puntsgewijze vermenigvuldiging in sommige ruimten van begrensde functies. We gaan ervan uit dat die vermenigvuldiging associatief is en tweezijdig distributief ten opzichte van de optelling van vectoren. De banachruimte is dan een (associatieve) vectoralgebra.

Als die vermenigvuldiging bovendien voldoet aan de ongelijkheid   en over een neutraal element   beschikt,  , spreekt men van een banach-algebra.

De vermenigvuldiging hoeft niet noodzakelijk commutatief te zijn. Als voor alle vectoren   en   geldt dat  , spreekt men van een commutatieve banachalgebra.

Duale banachruimte

bewerken

De duale topologische vectorruimte   bestaat uit de continue lineaire afbeeldingen van   naar haar scalairenlichaam.

In het algemeen wordt   uitgerust met de zwak-ster-topologie, volgens de regels van een topologische vectorruimte. Omdat   een genormeerde vectorruimte is, hebben de elementen van   ook een norm:

 

De duale ruimte valt als verzameling namelijk samen met de ruimte

 

dus heeft dezelfde normtopologie.

Deze twee topologieën op   kunnen met elkaar worden vergeleken: de verzameling van de open verzamelingen in de zwak-ster-topologie is een deelverzameling van de open verzamelingen in de normtopologie.

De normfunctie op de duale ruimte blijkt eveneens aanleiding te geven tot een volledige metriek, dus de duale ruimte is met deze norm opnieuw een banachruimte. Men spreekt van het banach-duaal of de duale banachruimte als men uitdrukkelijk wil aangeven dat men in de normtopologie werkt.

De duale banachruimte heeft natuurlijk op haar beurt een banach-duaal. Dit noemt men het biduaal van de oorspronkelijke ruimte, genoteerd   Er bestaat een natuurlijke isometrische injectie van   in haar biduale ruimte. In het algemeen is deze injectie geen bijectie. In de bijzondere gevallen waarin toch  , noemen we   een reflexieve banachruimte.

Voorbeelden

bewerken

Als   en

 ,

dan zijn de ruimten   en   elkaars Banach-duale ruimte en onderling reflexief.

De ruimte  , essentieel begrensde klassen van lebesgue-meetbare functies, is de banach-duale van  , klassen van Lebesgue-integreerbare functies, maar het omgekeerde geldt niet in het algemeen.   is in het algemeen dus niet reflexief.

Hamel-dimensie

bewerken

Uit de volledigheid van banachruimten en de categoriestelling van Baire volgt dat een Hamel-basis van een oneindig-dimensionale banachruimte overaftelbaar is.

Afgeleiden

bewerken

Er kan op verschillende manieren een afgeleide op een banachruimte worden gedefinieerd. Er zijn de fréchetafgeleide en de gâteaux-afgeleide.

Generalisaties

bewerken

Verschillende belangrijke ruimten in de functionaalanalyse, bijvoorbeeld de ruimte van alle oneindig vaak differentieerbare functies   en de ruimte van alle distributies op   zijn volledig, maar zijn geen genormeerde vectorruimten, dus ook geen banachruimten. In fréchet-ruimten heeft men nog een volledige metriek, terwijl LF-ruimten volledig uniforme vectorruimten zijn die zich aandienen als limieten van fréchet-ruimten.