Algebra Banacha: Różnice pomiędzy wersjami
[wersja nieprzejrzana] | [wersja nieprzejrzana] |
→Przykłady: dr |
m drobne redakcyjne |
||
Linia 1: | Linia 1: | ||
'''Algebra Banacha''' |
'''Algebra Banacha''' – w [[analiza funkcjonalna|analizie funkcjonalnej]], [[przestrzeń unormowana|unormowana]] [[K-algebra|algebra nad ciałem]] [[liczby zespolone|liczb zespolonych]], w której [[przestrzeń metryczna|metryka]] dyktowana przez normę jest [[przestrzeń zupełna|zupełna]]. Swoją nazwę zawdzięczają polskiemu [[matematyk]]owi, [[Stefan Banach|Stefanowi Banachowi]], który badał je jako pierwszy. |
||
==Algebra zespolona== |
|||
⚫ | '''Algebrą nad [[ciało (matematyka)|ciałem]] liczb zespolonych (<math>\mathbb C</math>-algebrą''' lub '''algebrą zespoloną)''' nazywamy przestrzeń unormowaną <math>A</math>, z określonym [[łączność (matematyka)|łącznym]] i obustronnie [[rozdzielność|rozdzielnym]] względem [[skalar]]ów [[działanie dwuargumentowe|działaniem dwuargumentowym]] |
||
:<math>A \times A \ni (x,y) \mapsto xy \in A</math>, |
|||
czyli takim które dla dowolnych <math>\alpha, \beta \in \mathbb C,\; x, y, z \in A</math> spełnia warunki: |
|||
⚫ | |||
⚫ | |||
⚫ | |||
⚫ | Jeżeli dodatkowo działanie jest [[przemienność|przemienne]], <math>\forall_{x, y \in A}\; xy=yx</math>, to <math>A</math> nazywamy '''algebrą przemienną'''. Algebra zespolona może nie mieć [[element neutralny|jedynki]]. Skrajnym przykładem jest dowolna [[przestrzeń liniowa]] <math>A</math> z określonym działaniem mnożenia <math>xy = 0</math> dla wszelkich <math>x, y \in A</math><ref>Jeśli <math>A</math> jest [[przestrzeń Banacha|przestrzenią Banacha]], to <math>A</math> jest przykładem algebry Banacha, w której jedność nie może być aproksymowana jak pokazano w przykładzie 3.</ref>. |
||
⚫ | '''Algebrą |
||
⚫ | |||
⚫ | |||
⚫ | |||
==Definicja== |
|||
Jeżeli <math>xy=yx</math> to <math>A</math> nazywamy '''algebrą przemienną'''. |
|||
⚫ | |||
⚫ | |||
⚫ | Algebra zespolona może nie mieć jedynki. Skrajnym przykładem jest dowolna przestrzeń liniowa <math>A</math> z określonym działaniem mnożenia <math> |
||
===Algebry unormowane i algebry Banacha=== |
|||
⚫ | |||
⚫ | |||
==Przykłady== |
==Przykłady== |
||
* Niech <math>E</math> będzie [[przestrzeń Banacha|przestrzenią Banacha]] i niech <math>B(E)</math> oznacza algebrę wszystkich [[funkcja ograniczona|ograniczonych]] [[operator]]ów przestrzeni <math>E</math> ze [[złożenie funkcji|składnianiem]] |
* Niech <math>E</math> będzie [[przestrzeń Banacha|przestrzenią Banacha]] i niech <math>B(E)</math> oznacza algebrę wszystkich [[funkcja ograniczona|ograniczonych]] [[operator]]ów przestrzeni <math>E</math> ze [[złożenie funkcji|składnianiem]] jako działaniem mnożenia. <math>E</math> jest algebrą Banacha z jedynką oraz <math>\|\mathbf 1\| = 1</math>. |
||
* Niech <math>X</math> będzie [[przestrzeń zwarta|zwartą]] [[przestrzeń Hausdorffa|przestrzenią Hausdorffa]] oraz niech <math>C(X)</math> oznacza przestrzeń wszystkich [[funkcja ciągła|funkcji ciągłych]] <math> |
* Niech <math>X</math> będzie [[przestrzeń zwarta|zwartą]] [[przestrzeń Hausdorffa|przestrzenią Hausdorffa]] oraz niech <math>\mathcal C(X)</math> oznacza przestrzeń wszystkich [[funkcja ciągła|funkcji ciągłych]] <math>X \to \mathbb C</math> z działaniami dodawania i mnożenia określonymi punktowo, tj. dla dowolnych funkcji <math>f, g \in \mathcal C</math> zachodzi |
||
:<math>(f+g)(x)=f(x)+g(x),\; x\in X</math> |
*:<math>(f + g)(x) = f(x) + g(x),\; x \in X</math>, |
||
:<math>(fg)(x)=f(x)g(x),\; x\in X</math> |
*:<math>(fg)(x) = f(x) g(x),\; x \in X</math>, |
||
z normą supremum. <math>C(X)</math> jest algebrą Banacha z jedynką. |
:z normą supremum. <math>\mathcal C(X)</math> jest algebrą Banacha z jedynką. |
||
* Niech <math>\mathcal |
* Niech <math>\mathcal L(\mathbb R)</math> oznacza przestrzeń Banacha funkcji [[całka Lebesgue'a|całkowalnych w sensie Lebesgue'a]] na prostej z działaniem mnożenia określonym przez [[splot funkcji|splot]], tj. |
||
:<math>(f |
*:<math>(f * g)(x) = \int\limits_{-\infty}^\infty f(t) g(x-t) dt,\; f,g\in \mathcal L(\mathbb R)</math>. |
||
Jest to przykład algebry Banacha bez jedynki, którą jednak można aproksymować w takim sensie, że istnieje ciąg funkcji [[układ ortonormalny|ortonormalnych]] <math>\{e_n\colon\; n\in\mathbb |
:Jest to przykład algebry Banacha bez jedynki, którą jednak można aproksymować w takim sensie, że istnieje [[ciąg funkcji]] [[układ ortonormalny|ortonormalnych]] <math>\{e_n\colon\; n\in\mathbb N\} \subset \mathcal L(\mathbb R)</math> spełniających warunek: |
||
:<math>\lim_{n\to\infty}\|e_n |
*:<math>\lim_{n \to \infty}~\|e_n * f - f\| = \lim_{n\to\infty}~\|f * e_n - f\| = 0</math>. |
||
* Przykładem |
* Przykładem skończeniewymiarowej<ref>w sensie wymiaru przestrzeni unormowanej</ref> algebry Banacha jest [[Macierz#Przestrzeń macierzy|przestrzeń macierzy]] <math>\mathbb C^n_n</math> z działaniem zwykłego mnożenia macierzy i normą np. daną wzorem |
||
:<math>\|(a_{ij})\|=\sum_{i,j=1}^n |a_{ij}|</math>. |
*:<math>\|(a_{ij})\|=\sum_{i,j=1}^n |a_{ij}|</math>. |
||
* [[Kwaterniony]] tworzą 4-wymiarową |
* [[Kwaterniony]] tworzą 4-wymiarową algebrę Banacha z normą daną przez ich [[kwateniony#Sprzężenie, wyznacznik, moduł|moduł]]. |
||
* Każda [[C*-algebra]] jest algebrą Banacha. |
* Każda [[C*-algebra]] jest algebrą Banacha. |
||
* Niech <math>G</math> będzie [[przestrzeń lokalnie zwarta|lokalnie zwartą]] [[ |
* Niech <math>G</math> będzie [[przestrzeń lokalnie zwarta|lokalnie zwartą]], [[przestrzeń Hausdorffa|hausdorffowską]] [[grupa topologiczna|grupą topologiczną]] oraz <math>\mu</math> określoną na niej [[miara Haara|miarą Haara]]. Przestrzeń <math>\mathcal L(G)</math> funkcji <math>\mu</math>-całkowalnych na <math>G</math> z działaniem mnożenia, określonym jak niżej, jest algebrą Banacha. |
||
:<math>(xy)(g)\int\limits_G x(h)y(h^{-1}g)d\mu(h)</math> dla <math>x,y\in \mathcal |
*:<math>(xy)(g) = \int\limits_G x(h) y(h^{-1}g) d\mu(h)</math> dla <math>x, y \in \mathcal L(G)</math> |
||
==Źródła== |
==Źródła== |
||
Linia 38: | Linia 38: | ||
[[Kategoria:Analiza funkcjonalna]] |
[[Kategoria:Analiza funkcjonalna]] |
||
[[de:Banachalgebra]] |
[[de:Banachalgebra]] |
||
[[fr:Algèbre de Banach]] |
[[fr:Algèbre de Banach]] |
Wersja z 12:48, 18 sie 2007
Algebra Banacha – w analizie funkcjonalnej, unormowana algebra nad ciałem liczb zespolonych, w której metryka dyktowana przez normę jest zupełna. Swoją nazwę zawdzięczają polskiemu matematykowi, Stefanowi Banachowi, który badał je jako pierwszy.
Algebra zespolona
Algebrą nad ciałem liczb zespolonych (-algebrą lub algebrą zespoloną) nazywamy przestrzeń unormowaną , z określonym łącznym i obustronnie rozdzielnym względem skalarów działaniem dwuargumentowym
- ,
czyli takim które dla dowolnych spełnia warunki:
- ,
- ,
- .
Jeżeli dodatkowo działanie jest przemienne, , to nazywamy algebrą przemienną. Algebra zespolona może nie mieć jedynki. Skrajnym przykładem jest dowolna przestrzeń liniowa z określonym działaniem mnożenia dla wszelkich [1].
Definicja
Algebrę zespoloną nazywamy unormowaną, jeśli jest przestrzenią unormowaną, której norma jest podmultyplikatywna, tj. dla dowolnych :
- . Jeżeli ponadto norma ta jest zupełna, tj. metryka przez nią dyktowana jest zupełna, to nazywamy algebrą Banacha.
Przykłady
- Niech będzie przestrzenią Banacha i niech oznacza algebrę wszystkich ograniczonych operatorów przestrzeni ze składnianiem jako działaniem mnożenia. jest algebrą Banacha z jedynką oraz .
- Niech będzie zwartą przestrzenią Hausdorffa oraz niech oznacza przestrzeń wszystkich funkcji ciągłych z działaniami dodawania i mnożenia określonymi punktowo, tj. dla dowolnych funkcji zachodzi
- ,
- ,
- z normą supremum. jest algebrą Banacha z jedynką.
- Niech oznacza przestrzeń Banacha funkcji całkowalnych w sensie Lebesgue'a na prostej z działaniem mnożenia określonym przez splot, tj.
- .
- Jest to przykład algebry Banacha bez jedynki, którą jednak można aproksymować w takim sensie, że istnieje ciąg funkcji ortonormalnych spełniających warunek:
- .
- Przykładem skończeniewymiarowej[2] algebry Banacha jest przestrzeń macierzy z działaniem zwykłego mnożenia macierzy i normą np. daną wzorem
- .
- Kwaterniony tworzą 4-wymiarową algebrę Banacha z normą daną przez ich moduł.
- Każda C*-algebra jest algebrą Banacha.
- Niech będzie lokalnie zwartą, hausdorffowską grupą topologiczną oraz określoną na niej miarą Haara. Przestrzeń funkcji -całkowalnych na z działaniem mnożenia, określonym jak niżej, jest algebrą Banacha.
- dla
Źródła
- William Arveson: A Short Course on Spectral Theory. Nowy Jork: Springer-Verlag, 2001.
- ↑ Jeśli jest przestrzenią Banacha, to jest przykładem algebry Banacha, w której jedność nie może być aproksymowana jak pokazano w przykładzie 3.
- ↑ w sensie wymiaru przestrzeni unormowanej