Banach-tér

A Banach-tér a modern analízis egyik alapvető fogalma. Teljes normált vektorteret értünk alatta, vagyis olyan vektorteret, mely a normából származtatott metrikára nézve teljes. A funkcionálanalízis egy központi objektuma. Sok végtelen dimenziós függvénytér Banach-tér.

A pontos definíció tehát a következő:

A $V$ vektortér Banach-tér pontosan akkor, ha értelmezett rajta egy ||.|| norma, melyre teljesül, hogy a belőle $d(a,b):=||a-b||$ összefüggéssel származtatott $d$ távolságra nézve a $V$ tér teljes, vagyis a $V$ térben minden Cauchy-sorozat konvergens.

Metrikus tereknél a teljesség a metrika tulajdonsága, nem pedig magáé a topologikus téré. Ekvivalens metrikára (ami ugyanazt a topológiát generálja) áttérve a teljesség elveszhet. Azonban ekvivalens normákkal ez nem történhet meg; azaz, ha az egy norma által indukált metrikában teljes a tér, akkor a vele ekvivalens normák által indukált metrikákban is teljes. A normált terek esetén a teljesség a norma által indukált topológia tulajdonsága, ami független a konkrét normától.

Elnevezés

A Banach-tér elnevezés Stefan Banach lengyel matematikus nevét őrzi, aki 1920–1922-ben Hans Hahnnal és Eduard Hellyvel közösen tanulmányozta. 1932-es monográfiájában (Théorie des opérations linéaires, Varsó) tárgyalta először részletesen és rendszeresen a teljes normált vektorterek tulajdonságait. A Banach-terek fogalmának egyébként magyar vonatkozása is van: a Banach-terekkel foglalkozó szakemberek a Banach-terek prototípusának az elsőként Riesz Frigyes magyar matematikus által tárgyalt $l^p$ tereket szokták tekinteni. A Banach-tér tehát tekinthető úgy, mint az $l^p$ terek absztrahálásából született fogalom.

Példák

1. Az $l^p$ ($p\in [1;\mathrm{\infty })$ ) terek olyan sorozatokból álló normált terek, mely elemeinek vektorként való értelmezésében annak p-normája véges. Ezen sorozatokból álló halmazok Banach-terek.

2. Az adott $[a,b]$ intervallumon folytonos függvények $C[a,b]$ tere Banach-tér a szuprémum normával.

3. Az adott $[a,b]$ intervallumon korlátos változású függvények $V[a,b]$ tere Banach-tér.

4. Az $n$-dimenziós $E_n$ euklideszi terek Banach-terek. Így természetesen a valós számok R halmaza is Banach-teret alkot.

5. A komplex számokból képzett $n$-dimenziós vektorok Cⁿ tere is Banach-teret alkot.

A továbbiakban $𝕂$ az $ℝ$ vagy a $ℂ$ test, $X$ kompakt Hausdorff-tér, $I=[a,b]$ pedig zárt intervallum. Legyenek $p$ és $q$ valós számok úgy hogy $1<p,q<\mathrm{\infty }$ és $\frac{1}{q}+\frac{1}{p}=1$. Legyenek továbbá $\mathrm{\Sigma }$ szigma-algebra, $\mathrm{\Xi }$ halmazalgebra és $\mu$ mérték.

Jelölés	Duális tér	Reflexív	Gyenge Teljes	Norma	Név
${𝕂}^n$	${𝕂}^n$	igen	igen	$\Vert x{\Vert }_2={(\sum _{i=1}^n|x_i{|}^2)}^{1/2}$	Euklidészi tér
${\ell }_n^p$	${\ell }_n^q$	igen	igen	$\Vert x{\Vert }_p={(\sum _{i=1}^n|x_i{|}^p)}^{1/p}$	Véges dimenziós vektorok tere a p-normával
${\ell }_n^{\mathrm{\infty }}$	${\ell }_n^1$	igen	igen	$\Vert x{\Vert }_{\mathrm{\infty }}=\underset{1\le i\le n}{\max }|x_i|$	Véges dimenziós vektorok tere a maximumnormával
${\ell }^p$	${\ell }^q$	igen	igen	$\Vert x{\Vert }_p={(\sum _{i=1}^{\mathrm{\infty }}|x_i{|}^p)}^{1/p}$	Az abszolútértékek p-edik hatványában összegezhető sorozatok tere
${\ell }^1$	${\ell }^{\mathrm{\infty }}$	nem	igen	$\Vert x{\Vert }_1=\sum _{i=1}^{\mathrm{\infty }}|x_i|$	Az abszolútértékben összegezhető sorozatok tere
${\ell }^{\mathrm{\infty }}$	$ba(2^{\mathbb{N}})$	nem	nem	$\Vert x{\Vert }_{\mathrm{\infty }}=\underset{i}{\sup }|x_i|$	A korlátos sorozatok tere
$c$	${\ell }^1$	nem	nem	$\Vert x{\Vert }_{\mathrm{\infty }}=\underset{i}{\sup }|x_i|$	A konvergens sorozatok tere
$c_0$	${\ell }^1$	nem	nem	$\Vert x{\Vert }_{\mathrm{\infty }}=\underset{i}{\sup }|x_i|$	A nullsorozatok tere; izomorf, de nem izometrikus $c$-vel
$bv$	${\ell }^1+𝕂$	nem	igen	$\Vert x{\Vert }_{bv}=|x_1|+\sum _{i=1}^{\mathrm{\infty }}|x_{i+1}-x_i|$	A korlátos változású sorozatok tere
$b{v}_0$	${\ell }^1$	nem	igen	$\Vert x{\Vert }_{b{v}_0}=\sum _{i=1}^{\mathrm{\infty }}|x_{i+1}-x_i|$	A korlátos változású nullsorozatok tere
$bs$	$ba(2^{\mathbb{N}})$	nem	nein	$\Vert x{\Vert }_{bs}=\underset{n}{\sup }\left|\sum _{i=1}^n{x}_i\right|$	A korlátos összegek tere; izometrikusan izomorf ${\ell }^{\mathrm{\infty }}$-hez
$cs$	${\ell }^1$	nem	nem	$\Vert x{\Vert }_{bs}=\underset{n}{\sup }\left|\sum _{i=1}^n{x}_i\right|$	A konvergens összegek tere; $bs$ zárt altere; izometrikusan izomorf $c$-hez
$B(X,\mathrm{\Xi })$	$ba(\mathrm{\Xi })$	nem	nem	$\Vert f{\Vert }_{\mathrm{\infty }}=\underset{x\in X}{\sup }|f(x)|$	A korlátos $\mathrm{\Xi }$-mérhető $X$-en értelmezett függvények tere
$C(X)$	$rca(\mathrm{\Sigma })$	nem	nem	$\Vert f{\Vert }_{\mathrm{\infty }}=\underset{x\in X}{\sup }|f(x)|$	Az $X$-en értelmezett folytonos függvények a Borel-σ-algebrával
$ba(\mathrm{\Xi })$	?	nem	igen	$\Vert \mu {\Vert }_{ba}=\underset{A\in \mathrm{\Sigma }}{\sup }|\mu |(A)$	A korlátos végesen additív előjeles mértékek $\mathrm{\Xi }$-n
$ca(\mathrm{\Sigma })$	?	nem	igen	$\Vert \mu {\Vert }_{ba}=\underset{A\in \mathrm{\Sigma }}{\sup }|\mu |(A)$	A σ-additív mértékek; $ba(\mathrm{\Sigma })$ zárt altere
$rca(\mathrm{\Sigma })$	?	nem	igen	$\Vert \mu {\Vert }_{ba}=\underset{A\in \mathrm{\Sigma }}{\sup }|\mu |(A)$	A reguláris Borel-mértékek tere; $ca(\mathrm{\Sigma })$ zárt altere
$L^p(\mu )$	$L^q(\mu )$	igen	igen	$\Vert f{\Vert }_{L^p}={(\int |f{|}^{p}d\mu )}^{1/p}$	A p-edik hatványukban Lebesgue-integrálható függvények
$BV(I)$	?	nem	igen	$\Vert f{\Vert }_{BV}=\underset{x\to a^{+}}{\lim }f(x)+V_f(I)$	A korlátos változású függvények tere
$NBV(I)$	?	nem	igen	$\Vert f{\Vert }_{BV}=V_f(I)$	A korlátos változású függvények tere, melyek határértéke $a$-ban eltűnik
$AC(I)$	$𝕂+L^{\mathrm{\infty }}(I)$	nem	igen	$\Vert f{\Vert }_{BV}=\underset{x\to a^{+}}{\lim }f(x)+V_f(I)$	Az abszolút folytonos függvények tere; izomorf a $W^{1,1}(I)$ Szoboljev-térhez
$C^n(I)$	$rca(I)$	nem	nem	$\Vert f{\Vert }_{C^n}=\sum _{i=0}^n\underset{x\in I}{\sup }|f^{(i)}(x)|$	A sima függvények tere; izomorf ${ℝ}^n\oplus C(I)$-hez

Néhány fontos tulajdonság

A Banach-terek tekinthetők a Hilbert-terek általánosításának, mivel minden Hilbert-tér egyben Banach-tér is.

Megfordítva: egy Banach-tér pontosan akkor Hilbert-tér (vagyis pontosan akkor származtatható normája valamely skalárszorzatból), ha a tér feletti norma teljesíti a paralelogrammaazonosságot (ez a Jordan–Neumann-tétel).

Véges dimenziós normált vektorterek mind Banach-terek, hiszen az azonos dimenziójúak topologikusan izomorfak (véges dimenziós térben minden norma ekvivalens).

Banach-térbe ható korlátos lineáris transzformációk maguk is Banach-teret alkotnak.

Egy normált tér pontosan akkor Banach-tér, ha minden abszolút konvergens sorozat konvergens.

Minden normált tér teljessé tehető, így egy Banach-teret kapunk, ami a normált teret sűrű altérként tartalmazza.

Ha egy két normált tér közötti $T:X\to Y$ lineáris leképezés izomorfizmus, akkor, ha $X$ teljes, akkor $Y$ is teljes.

Minden véges dimenziós normált tér Banach-tér. Megfordítva, ha egy Banach-tér bázisa legfeljebb megszámlálható végtelen, akkor az véges dimenziós. Ez utóbbi a teljes metrikus terekre vonatkozó Baire-tételből következik.

Ha $M$ zárt altere az $X$ Banach-térnek, akkor $M$ szintén Bach-tér. Az $X/M$ faktortér is Banach-tér az $\Vert x+M\Vert =\inf {\mathrm{\backslash limits}}_{m\in M}\Vert x+m\Vert$ normával.

A Banach-terek első izomorfiatétele: Ha egy két Banach-tér közötti $T$ korlátos lineáris leképezés képe zárt, akkor $X/\ker (T)\cong T(X)$. Itt a topologikus izomorfia fogalmáról van szó, vagyis létezik egy $L$ bijektív lineáris leképezés, ami leképezi az $X/\ker (T)$ teret a $T(X)$ térre, hogy $L$ és $L^{-1}$ is folytonos.

Normált terek egy $X_1\oplus \cdots \oplus X_n$ direkt összege pontosan akkor Banach-tér, ha az összeg minden $X_j$ tagja Banach-tér.

A Banach–Steinhaus-tétel szerint, ha $(T_i{)}_{i\in I}$ Banach-térből normált térbe menő folytonos lineáris operátorok egy családja, akkor a pontonkénti korlátosságból következik az egyenletes korlátosság.

A nyílt leképezés tétele: Egy két Banach-tér közötti $T$ folytonos lineáris leképezés pontosan akkor szürjektív, ha nyílt. Ha $T$ bijektív és folytonos, akkor a $T^{-1}$ inverz leképezés is folytonos. Ebből következik, hogy minden Banach-terek közötti bijektív korlátos lineáris operátor izomorfizmus.

A zárt grafikon tétele: Egy $T:X\to Y$ lineáris leképezés grafikonja pontosan akkor zárt az $X\times Y$ szorzattérben, ha a leképezés folytonos.

Banach–Alaoglu-tétel: Egy Banach-tér duális terében egy zárt egységgyolyó gyengén *-kompakt.

Minden szeparábilis $X$ Banach-térben létezik egy $M$ zárt altere $l^1$-nek úgy, hogy $X\cong l^1/M$.

Minden Banach-tér egyben Fréchet-tér.

Lineáris operátorok

Ha $X$ és $Y$ normált terek ugyanazon $𝕂$ valós vagy komplex test fölött, akkor az összes folytonos $𝕂$-lineáris $T:X\to Y$ leképezés halmazát $B(X,Y)$ jelöli.

Végtelen dimenziós terekben a lineáris leképezések nem feltétlenül folytonosak.

Ekkor $B(X,Y)$ egy $𝕂$-vektortér, melyen

$\Vert T\Vert :=\mathrm{s}\mathrm{u}\mathrm{p}\{\Vert Tx\Vert :x\in X\text{ ahol }\Vert x\Vert \le 1\}$

norma. Ha $Y$ Banach-tér, akkor $B(X,Y)$ is Banach-tér.

Ha $X$ Banach-tér, akkor $B(X)=B(X,X)$ Banach-algebra az ${\mathrm{i}\mathrm{d}}_X$ identitásoperátorral, mint egységelemmel. A szorzás a kompozíció.

Duális tér

Ha $X$ normált tér a $𝕂$ test fölött, akkor $𝕂$ szintén Banach-tér az abszolútértékkel, mint normával. Értelmezhető a topologikus duális tér, mint $X^{\prime }=B(X,𝕂)$. Általában a $X^{*}$ algebrai duális tér valódi altere.

• Ha $X$ normált tér, akkor $X^{\prime }$ Banach-tér.
• Legyen $X$ normált tér; ekkor, ha $X^{\prime }$ szeparábilis, akkor $X$ is szeparábilis.

A topologikus duális tér használható arra, hogy topológiát definiáljunk az $X$ téren: a gyenge topológiát. A gyenge topológia nem ekvivalens az $X$ normája által indukált topológiájával, ha $X$ dimenziója végtelen. A normatopológiában való konvergenciából következik a gyenge topológiában való konvergencia, megfordítva azonban nem. Ebben az értelemben a gyenge topológiából adódó konvergenciafeltétel gyengébb.

Létezik egy $F$ természetes leképezés $X$-ből $X^{″}=(X^{\prime }{)}^{\prime }=B(X^{\prime },𝕂)$-be, a biduális térre, úgy, mint: $F:X\to X^{″},F(x)(f)=f(x)$ minden $x\in X$ és $f\in X^{\prime }$ esetén. A Hahn–Banach-tételből következik, hogy minden $X$-beli $x$-re az $F(x):X^{\prime }\to 𝕂$ folytonos, ezért $X^{″}$ egy eleme. Az $F$ leképezés injektív és folytonos, sőt, izometrikus.

Reflexivitás

Ha a $F:X\to X^{″}$ leképezés szürjektív is, így izometrikus izomorfizmus, akkor az $X$ normált tér reflexív.

Minden reflexív normált tér Banach-tér.

Egy $X$ Banach-tér pontosan akkor reflexív, ha $X^{\prime }$ reflexív. Ezzel az állítással ekvivalens, hogy $X$ egységgolyója a gyenge topológiában kompakt.

Ha $X$ reflexív normált tér, $Y$ Banach-tér és létezik egy korlátos lineáris operátor $X$-ből $Y$-ba, akkor $Y$ reflexív.

Legyen $X$ reflexív normált tér; ekkor $X$ pontosan akkor szeparábilis, ha $X^{\prime }$ is szeparábilis.

James-tétel: Egy $X$ Banach-térre ekvivalensek:

• $X$ reflexív.
• $\mathrm{\forall }f\in X^{\prime }\mathrm{\exists }x\in X$, ahol $\Vert x\Vert \le 1$, teljesül, hogy $f(x)=\Vert f\Vert$.

Tenzorszorzás

A tenzorszorzat univerzális tulajdonsága

Legyenek $X$ és $Y$ vektorterek ugyanazon $𝕂$ test fölött! Ekkor $X$ és $Y$ tenzorszorzata egy $𝕂$ fölötti $Z$ vektortér, ellátva egy $T:X\times Y\to Z$ bilineáris leképezéssel, amire teljesül az univerzális tulajdonság: Ha $T^{\prime }:X\times Y\to Z^{\prime }$ tetszőleges bilineáris leképezés egy $𝕂$ fölötti $Z^{\prime }$ vektortérben, akkor létezik pontosan egy $f:Z\to Z^{\prime }$ lineáris leképezés úgy, hogy $T^{\prime }=f\circ T$.

Különböző lehetőségek vannak a tenzorszorzat normával való ellátására; így keletkezik például a projektív tenzorszorzat és az injektív tenzorszorzat. Teljes terek tenzorszorzata nem feltétlenül teljes. Emiatt a Banach-terek elméletében tenzorszorzaton gyakran a terek tenzorszorzatának teljessé tételét értik, ami függ az alkalmazott normától.

Besorolása a matematikai struktúrák közé

Minden Hilbert-tér Banach-tér is, de ez megfordítva nem igaz. A Jordan–Neumann-tétel szerint egy Banach-tér pontosan akkor látható el a normához illeszkedő skalárszorzattal, ha teljesíti a paralelogrammaegyenlőséget.

A funkcionálanalízisben fontos terek egyike például a végtelenszer folytonosan differenciálható $ℝ\to ℝ$ függvények tere, vagy az $ℝ$-en értelmezett disztribúciók tere teljesek, de mivel nem normált vektorterek, azért nem Banach-terek. A Fréchet-terekben van még teljes metrika is, míg az LF-terek teljes uniform vektorterek, melyek a Fréchet-terek határeseteként felmerülnek. Itt lokálisan konvex terek, illetve topologikus vektorterek speciális osztályairól van szó.

Minden normált tér izometrikus izomorfia erejéig egyértelműen teljessé tehető, ami azt jelenti, hogy sűrű altérként Banach-térbe ágyazható.

Fréchet-derivált

Lehetséges $f:V\to W$ típusú függvényeket is deriválni, ahol $V$ és $W$ Banach-terek. Intuició szerint, ha $x$ a $V$ Banach-tér eleme, akkor $f$ deriváltja az $x$ pontban egy folytonos lineáris leképezés, ami az $x$ pont közelében az $f$ függvényt a $|h|$ távolság rendjében approximálja.

Az $f$ függvény Fréchet-differenciálható az $x$ pontban, hogyha van egy $A:V\to W$ folytonos lineáris leképezés úgy, hogy

$\underset{h\to 0}{\lim }\frac{\Vert f(x+h)-f(x)-A(h)\Vert }{\Vert h\Vert }=0$.

Itt a határérték az összes, nullvektor elemet nem tartalmazó $V$-beli sorozaton van értelmezve, ami a nullvektorhoz tart. Ha ez a határérték létezik, akkor azt mondjuk, hogy $Df(x)=A$, és ez $f$ Fréchet-deriváltja az $x$ pontban. A derivált további általánosításai véges dimenziós terek analízisével analóg módon vezethetők be. Az összes deriváltfogalomban közös a $Df(x)$ lineáris leképezés folytonossága.

A deriváltnak ez a fogalma az $ℝ\to ℝ$ függvények közönséges deriváltjának egy általánosítása, mivel az összes $ℝ\to ℝ$ lineáris leképezés konstanssal való szorzás.

Ha az $f$ függvény $V$ minden pontjában differenciálható, akkor $Df:V\to L(V,W)$ szintén Banach-terek közötti leképezés, de általában nem lineáris leképezés. Ez is ugyanúgy differenciálható lehet, így $f$ magasabb rendű deriváltjai is definiálhatók. Az $x$-beli $n$-edik derivált egy $V_n\to W$ multilineáris leképezés.

A differenciálás lineáris leképezés a következő értelemben: Ha $f$ és $g$ $V\to W$ leképezések, melyek differenciálhatók ugyanabban az $x$ pontban, továbbá $r$ és $s$ skalárok $𝕂$-ból, akkor $rf+sg$ is differenciálható az $x$ pontban, és

$D(rf+sg)(x)=rD(f)(x)+sD(g)(x)$.

A láncszabály is teljesül ebben az összefüggésben. Ha $f:V\to W$ $x\in V$-ben és $g:W\to X$ $f(x)$-ben differenciálható, akkor $g\circ f$ differenciálható az $x$ pontban, és a derivált:

$D(g\circ f)(x)=D(g)(f(x))\circ D(f)(x).$

Az irány menti deriváltak is általánosíthatók végtelen dimenziós vektorterekre; erre egy lehetőség a Gâteaux-derivált.

Banach-térbeli értékű függvények integrációja

Bizonyos feltételek teljesülése esetén lehetséges értékeiket Banach-térből felvevő függvényeket integrálni. A 20. században több különböző megközelítés is született az értékeiket Banach-térből felvevő függvények integrációjának elméletéhez. Ezek közé tartozik a Bochner-integrál, a Birkhoff-integrál és a Pettis-integrál. Véges dimenziós Banach-terekben mindezek a megközelítések ugyanahhoz az integrálhoz vezetnek, de ez végtelen dimenzióban nem feltétlenül teljesül. Távolabbról az áttérés a közönséges mértékekről a vektoriális mértékekre való áttérésről lehet beszélni, melyek értékeiket Banach-terekből veszik fel, és integrált definiálni ezeken a mértékeken.

A Banach-terek a Bochner–Lebesgue-normával típus és kotípus szerint osztályozhatók.

Források

• Járai Antal (2002): Mérték és integrál. Nemzeti Tankönyvkiadó, Budapest.
• Kérchy László (1997): Bevezetés a véges dimenziós vektorterek elméletébe. Polygon, Szeged.
• Mikolás Miklós (1978): Valós függvénytan és ortogonális sorok. Tankönyvkiadó, Budapest.
• Szőkefalvi-Nagy Béla (1972): Valós függvények és függvénysorok. Tankönyvkiadó, Budapest.
• Simonovits András: Válogatott fejezetek a matematika történetéből. 148. old. Typotex Kiadó, 2009. Sablon:ISBN
• Sablon:Cite book
• Sablon:Cite book
• Sablon:Cite book
• Sablon:Cite book
• Sablon:Cite book
• Sablon:Cite book
• Sablon:Cite book
• Sablon:Cite book
• Sablon:Cite book
• Prof. Dr. A. Deitmar: Funktionalanalysis (PDF, 2011/2012, 497 KB)
• Stefan Banach: Théorie des opérations linéaires. Warszawa 1932. Monografie Matematyczne; Zwei Rezensionen (1933 und 2017) lásd még: Zbl 0005.20901