Hoofdmenu openen

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 een 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 zo rond 1920-1922 dit begrip introduceerde, samen met Hans Hahn en Eduard Helly.[1]

DefinitieBewerken

Een Banachruimte is een volledige genormeerde vectorruimte. Dit betekent dat een Banachruimte een vectorruimte V 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 metriek

 

convergent is (in V), dus een limiet heeft in V.

DimensieBewerken

Eindigdimensionale Banachruimten over hetzelfde getallenlichaam K 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.

VoorbeeldenBewerken

Een belangrijk voorbeeld vormt de  -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.

Bovenstaande voorbeelden komen uitgebreider aan bod in het artikel Lp-ruimte.

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 structurenBewerken

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 ( ), dan spreken we van een Banach-algebra.

De vermenigvuldiging hoeft niet noodzakelijk commutatief te zijn. Als voor alle vectoren   en   geldt dat  , dan spreken we van een commutatieve Banachalgebra.

Duale BanachruimteBewerken

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

In het algemeen wordt   uitgerust met de zwak-ster-topologie, zie daarvoor het artikel topologische vectorruimte. Omdat   een genormeerde vectorruimte is, hebben de elementen van   eveneens een norm:

 

De duale ruimte valt als verzameling namelijk samen met de ruimte

 

en erft dus haar normtopologie.

Deze twee topologieën op   zijn steeds vergelijkbaar: de collectie der open verzamelingen in de zwak-ster-topologie is een deel van de collectie der 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.

VoorbeeldenBewerken

Als   en

 

dan zijn de ruimten   en   elkaars Banach-duale ruimte. In het bijzonder zijn ze dus ook 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 dus in het algemeen niet reflexief.

Hamel-dimensieBewerken

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

AfgeleidenBewerken

Verschillende concepten van een afgeleide kunnen op een Banachruimte worden gedefinieerd. Zie de artikelen over de Fréchet-afgeleide en de Gâteaux-afgeleide.

GeneralisatiesBewerken

Verschillende belangrijke ruimten in de functionaalanalyse, bijvoorbeeld de ruimte van alle oneindig vaak differentieerbare functies   van de ruimte van alle distributies op   zijn volledig, maar zijn geen genormeerde vectorruimten en 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.

Zie ookBewerken

ReferentiesBewerken

VoetnotenBewerken

  1. Bourbaki, (1987), loc V.86