Banach uzayı

Matematiğin bir alt dalı olan fonksiyonel analizde, tam normlu vektör uzayılarına Banach uzayı denir. Tanımı gereği, Banach uzayı, vektör uzunluğunun ve vektörler arasındaki mesafenin hesaplanmasına vesile olan bir metriğe sahip bir vektör uzayıdır ve bu metrik uzayda herhangi bir Cauchy vektör dizisinin her zaman uzayın içinde kalan ve iyi tanımlanmış bir limiti olması anlamında tamdır.

Banach uzayları, bu kavramı 1920-1922'de ve ile birlikte sistematik olarak inceleyen Polonyalı matematikçi Stefan Banach'ın adını taşır., Banach uzayı terimini ilk kullanan matematikçiydi. Banach uzayları, yirminci yüzyılın başlarında Hilbert, ve tarafından fonksiyon uzayları üzerine yapılan çalışmalardan ortaya çıktı .

Banach uzayları, fonksiyonel analizde merkezi bir rol oynar. Diğer analiz alanlarında incelenen uzaylar genellikle Banach uzaylarıdır.

Tanım

Tam olan bir Banach uzayı adı verilir.

Normlu uzay ${\displaystyle X}$ ile gösterilsin. ${\displaystyle X}$ üzerinde tanımlı norm ${\displaystyle \|\cdot \|}$ ise, Banach uzayının gösterimi ${\displaystyle (X,\|\cdot \|)}$ olur. Ancak, sadece bir tane Banach uzayından bahsediliyorsa veya norma vurgu yapmaya gerek yoksa, ${\displaystyle (X,\|\cdot \|)}$ yerine sadece ${\displaystyle X}$ bir Banach uzayıdır da denir.

Norm tarafından üretilen metrik

${\displaystyle (X,\|\cdot \|)}$ normlu uzayı, skaler bir cisim ${\displaystyle \mathbb {K} }$ üzerinde tanımlanmış bir ${\displaystyle X}$ vektör uzayından ve belirli bir norm fonksiyonu olan ${\displaystyle \|\cdot \|:X\to \mathbb {R} }$ ile tanımlanır. Bütün normlar gibi bu norm da bir metrik uzayı doğurur. Bu metriğe denir. Eğer bu metrik ${\displaystyle d}$ ile gösterilirse o zaman şu şekilde tanımlanır: $${\displaystyle d(x,y):=\|y-x\|=\|x-y\|.}$$ Bu tanım altında, norm özelliklerinden faydalanarak ${\displaystyle d}$'nin gerçekten bir metrik olduğu gösterilebilir. Sonuç olarak, ${\displaystyle X}$ bir metrik uzayı olur ve ${\displaystyle (X,d)}$ ile gösterilir.

${\displaystyle (X,d)}$ içinde bir ${\displaystyle \{x_{j}\}_{j=1}^{\infty }}$ dizisi

" Her gerçel ${\displaystyle \varepsilon >0}$ için bir ${\displaystyle N\in \mathbb {Z} ^{+}}$ sayısı vardır öyle ki

${\displaystyle d\left(x_{n},x_{m}\right)=\left\|x_{n}-x_{m}\right\|<\varepsilon \quad \forall m,n\geq N}$ "

özelliğini sağlarsa, bu diziye Cauchy dizisi adı verilir.

Norm tarafından üretilen metriğin tamlığı

Bir metrik uzayının ${\displaystyle (X,d)}$'deki her ${\displaystyle \{x_{j}\}_{j=1}^{\infty }}$ Cauchy dizisinin limiti yine ${\displaystyle X}$'teyse, o zaman ${\displaystyle d}$'ye , ${\displaystyle (X,d)}$'ye ise tam metrik uzay denir. Burada limit kavramı ${\displaystyle (X,d)}$ bağlamında ${\displaystyle \lim _{n\to \infty }x_{n}=x}$ olarak yazılabilir. Aynı zamanda, ${\displaystyle \left\|x_{n}-x\right\|=d\left(x_{n},x\right)}$ olacağı için, dizinin ${\displaystyle x}$ değerine yakınsaması daha önce verilen limit ifadesine denk olarak ${\displaystyle \mathbb {R} }$ bağlamında ${\displaystyle \lim _{n\to \infty }\left\|x_{n}-x\right\|=0}$ olarak yazılabilir.

Sonuç olarak, ${\displaystyle (X,d)}$ tam metrik uzaysa ${\displaystyle (X,\|\cdot \|)}$ Banach uzayıdır. ${\displaystyle (X,\|\cdot \|)}$ normlu uzayı eğer Banach uzayıysa, o zaman ${\displaystyle \|\cdot \|}$ norm fonksiyonuna tam norm denir.

Örnekler

Aşağıdaki uzayların hepsi fonksiyonel analizin içinde çalışılan birer Banach uzayıdır.

• ${\displaystyle \mathbb {F} }$ gerçel sayılar cismi ${\displaystyle \mathbb {R} }$ ya da karmaşık sayılar ${\displaystyle \mathbb {C} }$ cismi olmak üzere Öklid uzayı ${\displaystyle \mathbb {F} ^{n}}$,
• Daha genel olarak ${\displaystyle \mathbb {R} }$ ya da karmaşık sayılar ${\displaystyle \mathbb {C} }$ cismi üzerinde tanımlı herhangi bir sonlu-boyutlu vektör uzayı
• Bir Banach uzayının herhangi kapalı bir altuzayı yine Banach uzayıdır. Mesela, ${\displaystyle X}$ bir topolojik uzaysa ve ${\displaystyle Y}$ Banach uzayıysa, ${\displaystyle X}$'ten ${\displaystyle Y}$'ye tanımlanan ve hem sürekli hem de sınırlı olan fonksiyonlar uzayı ${\displaystyle B(X,Y)}$ yine Banachtır. Sonuç olarak, tıkız bir ${\displaystyle K}$ uzayı için, ${\displaystyle K}$ üzerinde tanımlı sürekli fonksiyonlar uzayı ${\displaystyle C(K,Y)}$ de Banach uzayıdır. Aslında, vasıtasıyla, her Banach uzayı ${\displaystyle C(K,\mathbb {R} )}$'nin kapalı bir alt uzayına izomorftur.
• Hilbert uzayları
• Lebesgue uzayları: ${\displaystyle \ell _{p}^{n}}$, ${\displaystyle \ell _{\infty }^{n}}$, ${\displaystyle \ell ^{p}}$, ${\displaystyle \ell ^{1}}$, , ${\displaystyle L^{p}}$
• , ${\displaystyle c_{0}}$,
• , ${\displaystyle \operatorname {bv} _{0}}$ uzayı, ${\displaystyle \operatorname {bs} }$ uzayı,
• Tıkız Hausdorff uzayı üzerindeki sürekli fonksiyonlar uzayı C(K)
• uzayı ${\displaystyle \operatorname {AC} ([a,b])}$

Ayrıca, matematiksel analizde uygulamaları olan ve yoğunlukla kullanılan şu uzaylar da Banach uzayıdır: , Bergman uzayı, , , , ,

Notlar

1. ^ Tesadüf ki, Banach da buna karşılık daha sonraları terimini kullanmıştır.
2. ^ Bu cisim genelde, ${\displaystyle \mathbb {C} }$ ya da ${\displaystyle \mathbb {R} }$ olur. Belirli bir cisim kastedilmiyorsa, Almanca terim Körper kaynaklı ${\displaystyle \mathbb {K} }$ kullanılır.
3. ^ Burada belirli sözünden kastedilen şudur. Eğer ${\displaystyle X}$ üzerinde ${\displaystyle \|\cdot \|}$ normu yerine başka bir norm ${\displaystyle \|\,\cdot \,\|^{\prime }}$ alınsaydı, o zaman ${\displaystyle (X,\|\cdot \|)}$ ile ${\displaystyle \left(X,\|\cdot \|^{\prime }\right),}$ aynı Banach uzayı olmazdı. Bu durum, normlar olsa bile değişmezdi. Yine de, bir vektör uzayı üzerinde tanımlı denk normlar bir denklik bağıntısı oluştururlar.
4. ^ Normlu bir ${\displaystyle X}$ uzayı üzerinde bir norm tarafından doğurulan bir ${\displaystyle d}$ metriği adı verilen özelliği sağlar. Yani, her ${\displaystyle x,y,z\in X}$ için ${\displaystyle d(x,y)=d(x+z,y+z)}$ vardır. Bu özellik, ancak ve ancak yine bütün ${\displaystyle x,y\in X}$ için ${\displaystyle d(x,y)=d(x-y,0)}$ gerçeklenirse olur. Öbür taraftan, bir metrik uzayda sağlanması, bu metrik uzayın normlu bir uzay tarafından doğurulduğunu tek başına göstermez. Bunun olması için, yanı sıra bir de özelliği gerekir. Bu özellik, bir ${\displaystyle f:X\mapsto \mathbb {R} }$ fonksiyonu için

   Her ${\displaystyle x\in X}$ ve ${\displaystyle s\in \mathbb {K} }$ için, ${\displaystyle f(sx)=|s|f(x)}$ vardır.

   olarak tanımlanır.
5. ^ Metriği veya normu vurgulamak için ${\displaystyle (X,d)}$'de Cauchy, ${\displaystyle d}$-Cauchy veya ${\displaystyle \|\cdot \|}$-Cauchy tanımları da kullanılır.

Kaynakça

1. ^ Bourbaki 1987, V.87
2. ^ Narici & Beckenstein 2011, s. 93.

Referanslar

• Bourbaki, Nicolas (1987) [1981]. Topological Vector Spaces: Chapters 1–5. Éléments de mathématique. Eggleston, H.G.; Madan, S. tarafından çevrilmiştir. Berlin New York: Springer-Verlag. .
• Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press