Banachův prostor
Banachův prostor je normovaný vektorový prostor , kompletní s ohledem na metriku vytvořenou normou . Hlavním předmětem studia funkční analýzy .
Je pojmenován po polském matematikovi Stefanu Banachovi (1892–1945), který tyto prostory systematicky studoval od roku 1922.
Příklady
Některé příklady Banachových prostorů (dále jedno z polí nebo je označeno ):



- Euklidovské prostory s euklidovskou normou definovanou jako Banachovy prostory.



- Prostor všech spojitých funkcí definovaných na uzavřeném intervalu bude Banachovým prostorem, pokud jeho normu definujeme jako . Taková funkce by byla normou, protože spojité funkce na uzavřeném intervalu jsou omezené. Prostor s takovou normou je úplný a výsledný Banachův prostor je označen jako . Tento příklad lze zobecnit na prostor všech spojitých funkcí , kde je kompaktní prostor , nebo na prostor všech omezených spojitých funkcí , kde je libovolný topologický prostor , nebo dokonce na prostor všech omezených funkcí , kde je jakákoli množina . Ve všech těchto příkladech můžeme násobit funkce a přitom zůstat ve stejném prostoru: všechny tyto příklady jsou Banachovy algebry .
![[a,\;b]](https://wikimedia.org/api/rest_v1/media/math/render/svg/e682a8a7d3222e237401e57d673fd362523662cd)
![\|f\|=\sup\{|f(x)|\dvojtečka x\v [a,\;b]\}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4e0f84233faf5e424795ddc6df3ddd56e62e3fcc)
![Kabina]](https://wikimedia.org/api/rest_v1/media/math/render/svg/7c1625217aad8c105c50c975599e45192b2bfbec)








- Jestliže je reálné číslo, pak prostor všech nekonečných posloupností prvků z takových, že řada konverguje, je Banach s ohledem na normu rovnající se mocninné odmocnině součtu této řady a značí se .




- Banachův prostor se skládá ze všech ohraničených sekvencí prvků z ; norma takové sekvence je definována jako přesná horní hranice absolutních hodnot (modulů) prvků sekvence.

- Opět, pokud je reálné číslo, můžeme považovat všechny funkce, které jsou Lebesgueovy integrovatelné (a stupeň jejich modulu je také sčítatelný). Kořen stupně tohoto integrálu tého stupně modulu funkce je definován jako polonorma . Tato množina není Banachovým prostorem, protože existují nenulové funkce, jejichž norma se bude rovnat nule. Relace ekvivalence definujeme následovně: a jsou ekvivalentní právě tehdy, když je diferenční seminorma rovna nule. Množina tříd ekvivalence s ohledem na tento vztah je již Banachovým prostorem; označuje se jako . Je důležité používat Lebesgueův integrál , nikoli Riemannův integrál , protože Riemannův integrál nevytváří úplný prostor. Tyto příklady lze zobecnit. Viz například L p -spaces .








![L^{p}[a,\;b]](https://wikimedia.org/api/rest_v1/media/math/render/svg/8ad3e07a9262cc48c545f700a4b0864f7a4a3bd0)
- Jestliže a jsou Banachovy prostory, pak můžeme sestavit jejich přímý součet , což je opět Banachův prostor. Tento příklad lze také zobecnit na přímý součet libovolně velkého počtu Banachových prostorů.


- Jestliže je uzavřený podprostor Banachova prostoru , pak je podílový prostor opět Banachovým prostorem.


- Jakýkoli Hilbertův prostor je také Banachovým prostorem. Opak není pravdou.
- Jestliže a jsou Banachovy prostory nad jedním polem , pak je množina spojitých -lineárních zobrazení označena . Všimněte si, že v nekonečně-dimenzionálních prostorech nejsou všechna lineární zobrazení automaticky spojitá. je vektorový prostor, a pokud je norma uvedena jako , je také Banachovým prostorem.





nečleněná Banachova algebra ; operace násobení v něm je definována jako skládání lineárních zobrazení.
Typy Banachových prostorů
Literatura
- I. M. Vinogradov. Banachův prostor // Matematická encyklopedie. — M.: Sovětská encyklopedie . - 1977-1985. (Ruština)// Matematická encyklopedie / Ch. vyd. I. M. Vinogradov. - M.: Sovětská encyklopedie, 1977-1985.
Slovníky a encyklopedie |
|
---|
V bibliografických katalozích |
|
---|