Χώρος Μπάναχ

Στα μαθηματικά, και πιο συγκεκριμένα στη συναρτησιακή ανάλυση, ένας **χώρος Μπάναχ** (*προφορά*: /ˈbanax/,) είναι ένας πλήρης νορμικός διανυσματικός χώρος. Έτσι, ένας χώρος Μπάναχ είναι ένας διανυσματικός χώρος με μια μετρική που επιτρέπει τον υπολογισμό του μήκος του διανύσματος και της απόστασης μεταξύ των διανυσμάτων και είναι πλήρης, με την έννοια ότι μια Κωσύ ακολουθία διανυσμάτων πάντα συγκλίνει σε ένα καλά ορισμένο όριο που είναι μέσα στο χώρο.

Οι χώροι Μπάναχ πήραν το όνομά τους από τον Πολωνό μαθηματικό Στέφαν Μπάναχ, ο οποίος εισήγαγε αυτή την έννοια και την μελέτησε συστηματικά από το  1920 έως το 1922, μαζί με τον  Χανς Χαν και τον Έντουαρντ Χέλλυ. Οι χώροι Μπάναχ αρχικά αναπτύχθηκαν από την μελέτη των συναρτησιακών χώρων από τον Χίλμπερτ, τον Φρεσέτ, και τον Ριτζ νωρίτερα τον ίδιο αιώνα. Οι χώροι Μπάναχ παίζουν κεντρικό ρόλο στη συναρτησιακή ανάλυση. Σε άλλους τομείς της ανάλυσης, οι χώροι υπό μελέτη είναι συχνά χώροι Μπάναχ.

## Ορισμός
Ένας χώρος Μπάναχ είναι ένας διανυσματικός χώρος X πάνω από το πεδίο **R** των πραγματικών αριθμών, ή πάνω από το πεδίο **C** των μιγαδικών αριθμών, ο οποίος είναι εξοπλισμένος με μια νόρμα και ο οποίος είναι πλήρης με την εν λόγω νόρμα, δηλαδή, για κάθε Κωσύ ακολουθία {*x<sub>n</sub>*}  στον X, υπάρχει ένα στοιχείο x στο X τέτοια ώστε
: \lim_{n\to\infty}x_n=x,
ή αντίστοιχα:
: \lim_{n\to\infty}\left \|x_n - x \right \|_X = 0.
Η δομή του διανυσματικού χώρου μας επιτρέπει να συσχετίσουμε την συμπεριφορά των Cauchy ακολουθιών με αυτήν των  σειρών διανυσμάτων που συγκλίνουν. Ένα νορμικός χώρος X είναι ένας χώρος Μπάναχ αν και μόνον αν κάθε απολύτως συγκλίνουσα σειρά στο X συγκλίνει,
:  \sum_{n=1}^{\infty} \|v_n\|_X  συνεπάγεται ότι \quad \sum_{n=1}^{\infty} v_n συγκλίνει στο \Chi
Η πληρότητα του νορμικού χώρου διατηρείται αν η νόρμα είναι να αντικατασταθεί από μια ισοδύναμη νόρμα.

Όλες οι νόρμες σε ένα πεπερασμένων διαστάσεων διανυσματικό χώρο είναι ισοδύναμες. Κάθε πεπερασμένης διάστασης νορμικός χώρος πάνω από το **R** ή το **C** είναι ένας χώρος Μπάναχ.

## Γενική θεωρία

### Γραμμικοί τελεστές, ισομορφισμοί
Αν X και Y είναι νορμικοί χώροι πάνω από το ίδιο σώμα **K**, το σύνολο όλων των συνεχών K-γραμμικών απεικονίσεων *T*: *X* → *Y* συμβολίζεται με *B*(*X*, *Y*). Στους απειροδιάστατους χώρους, δεν είναι όλες οι γραμμικές απεικονίσεις συνεχείς. Μια γραμμική αντιστοίχιση από έναν νορμικό χώρο X σε έναν άλλο νορμικό χώρο είναι συνεχής αν και μόνο αν είναι φραγμένο στην κλειστή  μπάλα του X. Έτσι, ο διανυσματικός χώρος *B*(*X*, *Y*) μπορεί να δώσει τον νορμικό τελέστη.
: \|T\| = \sup \left \{\|Tx\|_Y \mid x\in X,\ \|x\|_X\le 1 \right \}.
Για Y από ένα χώρο Μπάναχ, ο χώρος *B*(*X*, *Y*) είναι ένας Μπάναχ χώρος, όσον αφορά αυτήν την νόρμα.

Αν X είναι ένας Μπάναχ χώρος, ο χώρος *B*(*X*) = *B*(*X*, *X*) αποτελεί μια μοναδιαία Μπάναχ άλγεβρα , ο πολλαπλασιασμός συναρτήσεων δίνεται από τη σύνθεση γραμμικών απεικονίσεων.

Αν X και Y είναι νορμικοί χώροι, θα είναι **ισόμορφοι νορμικοί χώροι** , αν υπάρχει ένας γραμμικός ισομορφισμός *T*: *X* → *Y* τέτοιος ώστε T και η αντίστροφη απεικόνιση του  *T* -1 να είναι συνεχείς. Αν μία από τους δύο χώρους X ή Y είναι πλήρης (ή αυτοπαθής,διαχωρίσιμος, κ. λπ.) τότε είναι και ο άλλος χώρος. Δύο νορμικοί χώροι X και Y είναι **ισομετρικά ισόμορφοι** αν επιπλέον η T είναι ισομετρία, δηλαδή, ||*T*(*x*)|| = ||*x*|| για κάθε x στο X. Η Μπάναχ-Μαζούρ απόσταση *d*(*X*, *Y*) μεταξύ δύο ισόμορφων αλλά όχι ισομετρικών χώρων X και Y δίνει μια μέτρηση για το πόσο οι δύο χώροι X και Y διαφέρουν.

### Βασικές έννοιες
Κάθε νορμικός χώρος X μπορεί να ενσωματωθεί ισομετρικά σε ένα χώρο Μπάναχ. Πιο συγκεκριμένα, υπάρχει ένας χώρος Μπάναχ Y και μιαισομετρική απεικόνιση *T*: *X* → *Y* τέτοια ώστε *T*(*X*) να είναι πυκνό στο Y. Αν το Z είναι ένας άλλος Μπάναχ χώρος έτσι ώστε να υπάρχει ένας ισομετρικός ισομορφισμός από το X σε ένα πυκνό υποσύνολο του Z, τότε ο Z είναι ισομετρικά ισόμορφος με το Y.

Αυτός ο χώρος Μπάναχ Y είναι η **π<span>λήρωση</span>** του νορμικού χώρου X. Ο υποκείμενος μετρικός χώρος για Y είναι ο ίδιος με την μετρική πλήρωση του X, με την πράξη του διανυσματικού χώρου να επεκτείνεται από το X στο Y. Η πλήρωση του X συχνά συμβολίζεται με \widehat X.

Το καρτεσιανό γινόμενο X × Y δύο νορμικών χώρων δεν είναι με κανονικό τρόπο εφοδιασμένο με μια νόρμα.Ωστόσο, πολλές ισοδύναμες νόρμες χρησιμοποιούνται συνήθως, όπως
:  \|(x, y)\|_1 = \|x\| + \|y\|, \qquad \|(x, y)\|_\infty = \max (\|x\|, \|y\|) 
και αναπτύσσουν ισόμορφους νορμικούς χώρους. Με αυτή την έννοια, το γινόμενο *X* × *Y* (ή το ευθύ άθροισμα *X* ⊕ *Y*) είναι πλήρης αν και μόνο αν οι δύο παράγοντες είναι πλήρεις.

Αν M είναι κλειστός γραμμικός υποχώρος του νορμικού χώρου X, υπάρχει μια φυσική νόρμα πάνω στον **χώρο πηλίκο** *X* / *M*,
:  \| x + M\| = \inf\limits_{m \in M} \|x+m\|. 
Το πηλίκο *X* / *M* είναι ένας Μπάναχ χώρος όταν το X είναι πλήρης.Η **απεικόνιση πηλίκο** από X σε *X* / *M*, που στέλνει το x από το X  στην κλάση του  *x* + *M*, είναι γραμμική, και έχει νόρμα 1, εκτός όταν *M* = *X*, στην περίπτωση αυτή το πηλίκο είναι το κενό διάστημα.

Ο κλειστός γραμμικός υποχώρος M του X λέγεται ότι είναι ένας **συμπληρωματικός υποχώρος** του X αν M είναι το πεδίο τιμών μιας  φραγμένης γραμμικής προβολής P από X σε M. Σε αυτή την περίπτωση, ο χώρος X είναι ισόμορφος με το ευθύ άθροισμα των M και Ker(*P*), τον πυρήνα της προβολής P.

Ας υποθέσουμε ότι τα X και Y είναι χώροι Μπάναχ και *T* ∈ *B*(*X*, *Y*). Υπάρχει μια **κανονική ανάλυση** Τ ως
:  T = T_1 \circ \pi, \ \ \ T : X \ \overset{\pi}{\longrightarrow}\ X / \operatorname{Ker}(T) \ \overset{T_1}{\longrightarrow} \ Y 
όπου η πρώτη απεικόνιση d είναι η απεικόνιση πηλίκο , και η δεύτερη απεικόνιση *T*1 στέλνει κάθε κλάση *x* + Ker(*T*) του πηλίκου στην εικόνα *T*(*x*) στο Y. Η απεικόνιση είναι σαφώς καλά ορισμένη, επειδή όλα τα στοιχεία στην ίδια κλάση έχουν την ίδια εικόνα. Η απεικόνιση *T*1 είναι  γραμμικός ισομορφισμός από *X* / Ker(*T*) πάνω στο πεδίο τιμών  *T*(*X*), του οποίου το αντίστροφο δεν είναι ανάγκη να είναι φραγμένη.

### Κλασικοί χώροι
Βασικά παραδείγματα των χώρων Μπάναχ περιλαμβάνουν:Lp χώρους και τις ειδικές περιπτώσεις τους, οι χώροι ακολουθιών  ℓp που αποτελείται από αριθμητικές ακολουθίες με δείκτη από  το σύνολο **[[Φυσικός αριθμός|N]] **<span class="texhtml "></span>ανάμεσά τους, ο χώρος ℓ1 των απολύτως αθροίσιμων ακολουθιών και το χώρο ℓ2 των τετραγωνικών αθροίσιμων ακολουθιών, το χώρο *c*0 των ακολουθιών που τείνουν στο μηδέν και το χώρο ℓ∞ των φραγμένων ακολουθιών; στο χώρο *C*(*K*) των  αριθμητικών συναρτήσεων που είναι συνεχείς σε ένα συμπαγές Hausdorff χώρο K, που είναι εξοπλισμένος με την μέγιστη νόρμα,
:  \|f\|_{C(K)} = \max \{ |f(x)| : x \in K \}, \quad f \in C(K). 
Σύμφωνα με το Banach–Mazur θεώρημα, κάθε χώρος Μπάναχ είναι ισομετρικά ισόμορφοι με ένα υποχώρο κάποιου *C*(*K*). Για κάθε διαχωρίσιμο χώρο Banach X, υπάρχει ένα κλειστό υποχώρο M της ℓ1 τέτοιο ώστε *X* ≅ ℓ1/*M*.

Κάθε Hilbert χώρος χρησιμεύει ως ένα παράδειγμα ενός Μπάναχ χώρου. Ένας χώρος Χίλμπερτ Η πάνω στο **K** = **R**, **C** είναι πλήρης για μια νόρμα της μορφής
: \|x\|_H = \sqrt{\langle x, x \rangle},
πού
:  \langle \cdot, \cdot \rangle : H \times H \to \mathbf{K}
είναι το εσωτερικό γινόμενο, γραμμικό στο πρώτο επιχείρημα που να πληροί τα παρακάτω:
: \begin{align}
\forall x, y \in H: \quad \langle y, x \rangle &= \overline{\langle x, y \rangle}, \\
\forall x \in H: \quad \langle x, x \rangle &\ge 0, \\
\langle x,x \rangle = 0 \Leftrightarrow x &= 0.
\end{align}
Για παράδειγμα, ο χώρος *L*2 είναι ένα Χίλμπερτ χώρος.

Οι Χάρντι χώροι, οι χώροι Sobolev είναι παραδείγματα Μπάναχ χώρων που σχετίζονται με *L<sup>p</sup>* χώρους και έχουν μια πρόσθετη δομή. Είναι σημαντικοί σε διάφορους κλάδους της ανάλυσης,στην Αρμονική ανάλυση και στις Μερικές διαφορικές εξισώσεις , μεταξύ άλλων.

### Μπάναχ άλγεβρες
Μια Μπάναχ άλγεβρα είναι ένας Μπάναχ χώρος A  πάνω από το **K** = **R** ή **C**, μαζί με μια αλγεβρική δομή πάνω από το K,τέτοιο ώστε το γινόμενο των απεικονίσεων   (*a*, *b*) ∈ *A* × *A* → *ab* ∈ *A* είναι συνεχής απεικόνιση. Μια ισοδύναμη νόρμα στο **A** μπορεί να βρεθεί, έτσι ώστε ||ab|| ≤ ||a|| ||b||  για όλα τα α, b ∈ A. 
*α*, *β* ∈ *Α*

#### Παραδείγματα
* Ο χώρος Μπάναχ *C*(*K*), με το γινόμενο κατά σημεία, είναι μια άλγεβρα Μπάναχ.
* Ο δίσκος άλγεβρα *A*(**D**) αποτελείται από συναρτήσεις ολόμορφες στον ανοιχτό μοναδιαίο δίσκο **D** ⊂ **C** και συνεχής στο περίβλημα: **D**. Εξοπλισμένο με την μέγιστη νόρμα για την **Δ**, ο δίσκος άλγεβρα *A*(**D**) είναι μια κλειστή υποάλγεβρα *C*(**D**).
* Η Wiener άλγεβρα *A*(**T**) είναι η άλγεβρα των συναρτήσεων του μοναδιαίου κύκλου **T** που έχει κατά απόλυτη τιμή συγκλίνουσες σειρές Fourier. Μέσω τής απεικόνισης αντιστοιχούν μια συνάρτηση από το **Τ** στην ακολουθία των συντελεστών Fourier , αυτή η άλγεβρα είναι ισόμορφη προς την άλγεβρα Μπάναχ   ℓ1(Z), όπου το γινόμενο είναι η συνέλιξη των ακολουθιών.
* Για κάθε χώρο Μπάναχ X, ο χώρος *B*(*X*) φραγμένου γραμμικού τελεστή σχετικά με το Χ, με την σύνθεση  απεικονίσεων ως γινόμενο, είναι μια άλγεβρα Μπάναχ.
* Μία C*-άλγεβρα είναι μια μιγαδική άλγεβρα Μπάναχ Α με αυτοσυζυγή τελεστή ενέλιξη *a* → *a*∗ τέτοιο ώστε ||*a*∗*a*|| = ||*α*||2. Ο χώρος *B*(*H*) των φραγμένων γραμμικών τελεστών σε ένα χώρο Χίλμπερτ Η είναι ένα θεμελιώδες παράδειγμα της C*-άλγεβρα. Το Τζέλφαντ–Naimark θεώρημα ορίζει ότι κάθε C*-άλγεβρα είναι ισομετρικά ισόμορφη με μία C*-υποάλγεβρα κάποιων *B*(*H*). Ο χώρος *C*(*K*) των συνεχών μιγαδικών συναρτήσεων σε ένα συμπαγή Hausdorff χώρο K είναι ένα παράδειγμα αντιμεταθετικής C*-άλγεβρα, εφόσον η ενέλιξη τους αντιστοιχεί για κάθε συνάρτηση  *f*  την συζυγή συνάρτηση  *f* .

### Δυϊκός χώρος
Αν X είναι ένας νορμικός χώρος και **K** το υποκείμενο πεδίο (είτε οι πραγματικοί ή οι μιγαδικοί αριθμοί), συνεχής δυϊκός χώρος είναι ο χώρος των συνεχών γραμμικών απεικονίσεων από X σε **K**, ή **συνεχών γραμμικών συναρτήσεων**. Ο συμβολισμός για τον συνεχή δυϊκό χώρο είναι *X* ' = *B*(*X*, **K**) σε αυτό το άρθρο. Εφόσον το **K** είναι ένας Μπάναχ χώρος (με χρήση της απόλυτης τιμής ως νόρμα), ο δυϊκός *X* ' είναι ένας χώρος Μπάναχ, για κάθε νορμικό χώρο X.

Το κύριο εργαλείο για να αποδειχθεί η ύπαρξη συνεχούς γραμμικού συναρτησιακού είναι το Hahn–Banach θεώρημα.
: **Hahn–Banach θεώρημα.** Ας είναι το X ένας διανυσματικός χώρος πάνω από το πεδίο **K** = **R**, **C**. Ας είναι περαιτέρω
:* *Y* ⊆ *X* είναι ένας γραμμικός υποχώρος,
:* *p*: *X* → **R** είναι μια υπό-γραμμική συνάρτηση και
:*  *f* : *Y* → **K** είναι γραμμικό συναρτησιακό , ώστε Re( *f* (*y*)) ≤ *p*(*y*) για όλα τα y του Y.
: Στη συνέχεια, υπάρχει ένα γραμμικό συναρτησιακό *F*: *X* → **K** έτσι ώστε
:: F|_Y=f, \quad \text{and} \quad \forall x\in X, \ \ \operatorname{Re}(F(x))\leq p(x). 
Ειδικότερα, κάθε συνεχές γραμμικό συναρτησιακό σε έναν υποχώρο του νορμικού χώρου μπορεί να επεκτείνεται συνεχώς σε όλο το χώρο, χωρίς να αυξηθεί η νόρμα του συναρτησιακού. Μια σημαντική ειδική περίπτωση είναι η εξής: για κάθε διάνυσμα x σε ένα νορμικό χώρο X, υπάρχει μία συνεχές γραμμικό λειτουργικό  *f*  στο X τέτοιο ώστε
: f(x) = \|x\|_X, \quad \| f \|_{X'} \le 1.
Όταν το x είναι ίσο με το διάνυσμα **0** , το συναρτησιακό  *f*  πρέπει να έχει νόρμα ένα, και ονομάζεται **νορμικό συναρτησιακό** για το x.

Το Hahn–Banach θεώρημα διαχωρισμού αναφέρει ότι δύο ξένα μη-κενά κυρτά σύνολα σε ένα πραγματικό χώρο Μπάναχ, ένα από αυτά ανοιχτό, μπορεί να χωριστεί από ένα κλειστό συσχετισμένο υπερεπίπεδο. Το ανοιχτό κυρτό σύνολο κείται αυστηρά στη μία πλευρά του υπερεπιπέδου, το δεύτερο κυρτό σύνολο βρίσκεται στην άλλη πλευρά, αλλά μπορεί να αγγίξει το υπερεπίπεδο.

Ένα υποσύνολο S σε ένα χώρο Μπάναχ X είναι **ολικό **εάν το γραμμικό περίβλημα του S είναι πυκνό στο X. Το υποσύνολο S είναι ολικό στο X αν και μόνο αν το μόνο συνεχές γραμμικό συναρτησιακό που χάνεται στο S είναι το **0** συναρτησιακό: αυτή η ισοδυναμία προκύπτει από το Hahn–Banach θεώρημα.

Αν X είναι το ευθύ άθροισμα δυο κλειστών γραμμικών υποχώρων M και N, τότε το διπλό *X* ' του X είναι ισόμορφος με το ευθύ άθροισμα των δυϊκών χώρων των M και N. Εάν M είναι ένας κλειστός γραμμικός υποχώρος στο X, μπορεί να συνδεθεί το *ορθογώνιο του* M στον δυϊκό,
: M^\perp = \left \{ x' \in X' : x'(m) = 0, \ \forall m \in M \right \}.
Ο ορθογώνιος *M* ⊥ είναι κλειστός γραμμικός υποχώρος του δυϊκού. Ο δυϊκός του M είναι ισομετρικά ισόμορφος με *τον X* ' / *M* ⊥. Ο δυϊκός του *X* / *M* είναι ισομετρικά ισόμορφος με το *M* ⊥.

Τα δυϊκά του διαχωρίσιμου χώρου Μπάναχ δεν πρέπει να διαχωριστούν, αλλά:
: **θεώρημα.** Ας είναι ο X είναι ένας νορμικός χώρος. Αν ο *X* ' είναι διαχωρίσιμος, τότε ο X είναι διαχωρίσιμος.
Όταν ο *X* ' είναι διαχωρίσιμος, το ανωτέρω κριτήριο για την ολικότητα μπορεί να χρησιμοποιηθεί για να αποδειχθεί η ύπαρξη ενός μετρήσιμου ολικού υποσυνόλου στο X.

#### Αδύναμες τοπολογίες
Η **αδύναμη τοπολογία** σε ένα χώρο Μπάναχ X είναι η πιο τραχεία τοπολογία στο X για την οποία όλα τα στοιχεία *x* ' στον συνεχή δυϊκό χώρο *X* ' είναι συνεχή. Η τοπολογία της νόρμας, επομένως, είναι λεπτότερη από την αδύναμη τοπολογία. Όπως προκύπτει από το Hahn–Banach θεώρημα διαχωρισμού  η αδύναμη τοπολογία είναι Hausdorff, και ότι ένα κλειστό κυρτό υποσύνολο με νόρμα από ένα χώρο Μπάναχ είναι επίσης ασθενώς κλειστό. Μία νόρμα-συνεχής γραμμική απεικόνιση μεταξύ δύο χώρων Μπάναχ X και Y είναι επίσης **ασθενώς συνεχής**, δηλαδή, συνεχής από την αδύναμη τοπολογία του X, σε αυτήν της Y.

Αν το X είναι άπειρων διαστάσεων, υπάρχουν γραμμικές απεικονίσεις που δεν είναι συνεχείς. Ο χώρος *X*∗ όλων των γραμμικών απεικονίσεων από το X στο υποκείμενο πεδίο **K** (αυτό το διάστημα *X*∗ ονομάζεταιαλγεβρικός διπλός χώρος, για να το διακρίνουν από τα *X* ') προκαλεί επίσης μια τοπολογία στο X η οποία είναι λεπτότερη από την αδύναμη τοπολογία, και χρησιμοποιείται πολύ λιγότερο στην συναρτησιακή ανάλυση.

Σε ένα δυϊκό χώρο *X* ', υπάρχει μια τοπολογία πιο αδύναμη από την αδύναμη τοπολογία του *X* ', που ονομάζεται **αδύναμη* τοπολογία**. Είναι η πιο τραχεία τοπολογία στο *X* ' , για την οποία όλες οι απεικονίσεις εκτιμητές *x*' ∈ *X* ' → *x*'(*x*), *x* ∈ *X*, είναι συνεχείς. Η σημασία της προέρχεται από το Banach–Alaoglu θεώρημα.
: **Banach–Alaoglu Θεώρημα.** Ας είναι το X  ένας νορμικός διανυσματικός χώρος. Τότε η κλειστή μοναδιαία μπάλα *B* ' = {*x*' ∈ *X* ': ||*x*'|| ≤ 1}  του δυϊκού χώρου είναι συμπαγής στην αδύναμη* τοπολογία.
Το Banach–Alaoglu θεώρημα εξαρτάται από το θεώρημα του Tychonoff σχετικά με τα άπειρα γινόμενα των συμπαγή χώρων. Όταν ο X είναι διαχωρίσιμος, η μοναδιαία μπάλα *B* ' του δυϊκού είναι μετρικοποιήσιμη συμπαγής στην αδύναμη* τοπολογία.

#### Παραδείγματα δυϊκών χώρων
Ο δυϊκός του *c*0 είναι ισομετρικά ισόμορφος στο ℓ1:για κάθε φραγμένο γραμμικό συναρτησιακό  *f*  στο *c*0, υπάρχει ένα μοναδικό στοιχείο *y* = {*y<sub>n</sub>*} ∈ ℓ1 τέτοιο ώστε
:  f(x) = \sum_{n \in \mathbf{N}} x_n y_n, \qquad x = \{x_n\} \in c_0, \ \ \text{and} \ \ \|f\|_{(c_0)'} = \|y\|_{\ell_1}. 
Ο δυϊκός του ℓ1 είναι ισομετρικά ισόμορφος με τον ℓ∞.Ο δυϊκός του *L<sup>p</sup>*([0, 1]) είναι ισομετρικά ισόμορφος με τον *L<sup>q</sup>*([0, 1]) όταν 1 ≤ *p*  και 

Για κάθε διάνυσμα y σε ένα χώρο Χίλμπερτ H, η απεικόνιση
: x \in H \to f_y(x) = \langle x, y \rangle
ορίζει ένα συνεχές γραμμικό συναρτησιακό   *f<sub>y</sub>*  στο H. Το θεώρημα εκπροσώπησης του Ρίτζ ορίζει ότι κάθε συνεχές γραμμικό συναρτησιακό Η είναι της μορφής  *f<sub>y</sub>*  για ένα μοναδικά ορισμένο διάνυσμα y στο **Η**. Η απεικόνιση *y* ∈ *H* → *f<sub>y</sub>*  είναι μια αντιγραμμική ισομετρική αμφιμονοσήμαντη απεικόνιση από Η σε δυϊκό  *H* '. Όταν οι αριθμητικές τιμές είναι πραγματικοί αριθμοί, αυτη η απεικόνιση είναι ένας ισομετρικός ισομορφισμός.

Όταν το K είναι συμπαγές Hausdorff τοπολογικός χώρος, ο δυϊκός *M*(*K*) της *C*(*K*) είναι ο χώρος του Ραδονίου μέτρου κατά την έννοια του Μπουρμπακί. Το υποσύνολο *P*(*K*) του *M*(*K*) αποτελείται από μη αρνητικά μέτρα μάζας 1 ( μέτρα πιθανότητας) είναι μια κυρτή w*-κλειστή υποομάδα της μοναδιαίας μπάλας του *M*(*K*). Τα ακραία σημεία του *P*(*K*) είναι τα Dirac μέτρα για την Κ. Το σύνολο των Dirac μέτρων K, που είναι εξοπλισμένα με την w*-τοπολογία, είναι ομοιόμορφα με το K.
: **Μπάναχ-Στόουν Θεώρημα.** Αν K και L είναι συμπαγείς Hausdorff χώροι και αν *C*(*K*) και *C*(*L*) είναι ισομετρικά ισόμορφοι, τότε η τοπολογικοί χώρόι K και L είναιομοιόμορφα.
Το αποτέλεσμα επεκτάθηκε από τον Αμίρ και τον Κάμπερν και για την περίπτωση που η πολλαπλασιαστική Banach–Mazur απόσταση μεταξύ των *C*(*K*) και *C*(*L*) είναι . Το θεώρημα δεν ισχύει πλέον, όταν η απόσταση είναι = 2.

Στην αντιμεταθετική άλγεβρα Banach *C*(*K*), τα μέγιστη ιδεώδη είναι ακριβώς πυρήνες των Dirac μέτρων για K,
: I_x = \ker \delta_x = \{f \in C(K) : f(x) = 0\}, \quad x \in K.
Γενικότερα, από το Τζέλφαντ-Mazur θεώρημα, τα μέγιστη ιδεώδη της μοναδιαίας αντιμεταθετικής άλγεβρας Banach μπορούν να ταυτιστούν με τους χαρακτήρες της ---όχι απλώς ως σύνολα, αλλά ως τοπολογικοί χώροι: τα πρώτα με την τοπολογία περιβλήματος-πυρήνα και το τελευταίο με τη w*-τοπολογία. Σε αυτή την ταύτιση, το μέγιστο ιδεώδες χώρος μπορεί να θεωρηθεί ως ένα w*-συμπαγές υποσύνολο της μοναδιαίας μπάλας στο δυϊκό *Α* '.
: **θεώρημα.** Αν K είναι ένας συμπαγές Hausdorff χώρος, τότε το μέγιστο ιδεώδες χώρος Ξ της Μπάναχ άλγεβρα *C*(*K*) είναι ομοιόμορφο με το K.
Δεν είναι κάθε μοναδιαία αντιμεταθετική άλγεβρα Μπάναχ της μορφής *C*(*K*) για κάποιο συμπαγές Hausdorff χώρο K. Ωστόσο, αυτή η δήλωση ισχύει αν κάποιος τοποθετήσει το *Γ*(*K*) στην μικρότερη κατηγορία των αντιμεταθετικών  C*-αλγεβρών. Η αναπαράσταση του Τζέλφαντ είναι  θεώρημα για τις αντιμεταθετικές C*-άλγεβρες που ορίζει ότι κάθε αντιμεταθετική μοναδιαία *C**-άλγεβρα A είναι ισομετρικά ισόμορφη με ένα *C*(*K*) χώρο. Ο Hausdorff συμπαγής χώρος Κ εδώ είναι και πάλι το μέγιστο ιδεώδες χώρος, που ονομάζεται επίσης το φάσμα του A στο   πλαίσιο της C*-άλγεβρας.

#### Διαδυϊκός
Αν X είναι ένα νορμικός χώρος, ο(συνεχής) δυϊκός *X* " του δυϊκού *X* ' ονομάζεται **διαδυϊκός**, ή ο **δεύτερο δυϊκός** της X. Για κάθε νορμικό χώρο X, υπάρχει μια φυσική απεικόνιση
:  \begin{cases} F_X : X \to X* \\ F_X(x) (f) = f(x) & \forall x \in X, \forall f \in X'\end{cases}</math>
Αυτό ορίζει την <span class="texhtml " contenteditable="false">*FX*(*x*)</span> να είναι ένα συνεχές γραμμικό συναρτησιακό <span class="texhtml " contenteditable="false">*Χ* '</span>, δηλαδή, ένα στοιχείο του <span class="texhtml " contenteditable="false">*X* "</span>. Ο χάρτης <span class="texhtml " contenteditable="false">*FX*: *x* → *FX*(*x*)</span> είναι μια γραμμική απεικόνιση από X σε <span class="texhtml " contenteditable="false">*X* "</span>. Κατά συνέπεια, η ύπαρξη νορμικού συναρτησιακού <span class="texhtml " contenteditable="false"> *f* </span><span class="texhtml " contenteditable="false"></span> για κάθε x στο X,η απεικόνιση <span class="texhtml " contenteditable="false">*FX*</span><span class="texhtml " contenteditable="false"></span> είναι ισομετρική, έτσι [[Ένα προς ένα|έ]]<nowiki/>νεση.

Για παράδειγμα,το δυϊκό του <span class="texhtml " contenteditable="false">*X* = *c*<sub>0</sub></span><span class="texhtml " contenteditable="false"></span> ταυτίζεται με το <span class="texhtml " contenteditable="false">ℓ<sup>1</sup></span><span class="texhtml " contenteditable="false"></span>, και το δυϊκό του <span class="texhtml " contenteditable="false">ℓ<sup>1</sup></span><span class="texhtml " contenteditable="false"></span> ταυτίζεται με το <span class="texhtml " contenteditable="false">ℓ<sup>∞</sup></span><span class="texhtml " contenteditable="false"></span>,ο χώρος των φραγμένων αριθμητικών ακολουθιών. Ύστερα από αυτές τις ταυτίσεις, <span class="texhtml " contenteditable="false">*FX*</span><span class="texhtml " contenteditable="false"></span> είναι απεικόνιση εγκλεισμού από το <span class="texhtml " contenteditable="false">*c*<sub>0</sub></span><span class="texhtml " contenteditable="false"></span> στο <span class="texhtml " contenteditable="false">ℓ<sup>∞</sup></span><span class="texhtml " contenteditable="false"></span>. Είναι πράγματι ισομετρική,αλλά όχι από πάνω.

Αν <span class="texhtml " contenteditable="false">*η FX*</span><span class="texhtml " contenteditable="false"></span> είναι [[έφεση(συνάρτηση)|έφεση]], τότε ο νορμικός χώρος X ονομάζεται *'ανακλαστικό** (βλ.παρακάτω). Είναι το δυϊκό του νορμικού χώρου, ο διαδυϊκός <span class="texhtml " contenteditable="false">''X'' "</span> είναι πλήρης, ως εκ τούτου, κάθε ανακλαστικός νορμικός χώρος είναι ένας χώρος Μπάναχ.

Χρησιμοποιώντας την ισομετρική ενσωμάτωση <span class="texhtml " contenteditable="false">''F<sub>X</sub>''</span><span class="texhtml " contenteditable="false"></span>,  συνηθίζεται να εξετάζεται ένας νορμικός χώρος X ως ένα υποσύνολο του διαδυϊκού. Όταν το X είναι ένας Μπάναχ χώρος, που θεωρείται ως ένας κλειστός γραμμικός υποχώρος του <span class="texhtml " contenteditable="false">''X'' "</span>. Αν το X δεν είναι ανακλαστικός, η μοναδιαία μπάλα του X είναι ένα κατάλληλο υποσύνολο της μοναδιαίας μπάλας του <span class="texhtml " contenteditable="false">''X'' "</span>. Το Goldstine θεώρημα αναφέρει ότι η μοναδιαία μπάλα του νορμικού χώρου είναι ασθενώς*-πυκνή στη μοναδιαία μπάλα του bidual. Με άλλα λόγια, για κάθε <span class="texhtml " contenteditable="false">''x'' "</span> στον διαδυϊκό, υπάρχει ένα καθαρό <span class="texhtml " contenteditable="false">{''x<sub>j</sub>''} </span> στον X ώστε
: <math>\sup_j \|x_j\| \le \|x''\|, \ \ x''(f) = \lim_j f(x_j), \quad f \in X'.</math>
Το καθαρό στοιχείο μπορεί να αντικατασταθεί από μια ασθενώς*-συγκλίνουσα ακολουθία, όταν ο δυϊκός της <span class="texhtml " contenteditable="false">''X'' ′</span> είναι διαχωρίσιμος.Από την άλλη πλευρά, τα στοιχεία της διαδυϊκής <span class="texhtml " contenteditable="false">ℓ<sup>1</sup></span><span class="texhtml " contenteditable="false"></span> τα οποία δεν περιέχονται στο <span class="texhtml " contenteditable="false">ℓ<sup>1</sup></span><span class="texhtml " contenteditable="false"></span> δεν μπορούν να είναι ασθενή-όρια ακολουθιών του <span class="texhtml " contenteditable="false">ℓ<sup>1</sup></span><span class="texhtml " contenteditable="false"></span>, από την στιγμή που το <span class="texhtml " contenteditable="false">ℓ<sup>1</sup></span><span class="texhtml " contenteditable="false"></span> είναι ασθενώς ακολουθιακά πλήρες.

=== Θεωρήματα Μπάναχ ===
Εδώ είναι τα κύρια γενικά αποτελέσματα για Μπάναχ χώρους που πηγάζουν από το βιβλίο του Μπάναχ ([[:en:Banach space#CITEREFBanach1932|Banach (1932)]]) και σχετίζονται με την [[κατηγορία Μπέιρ(θεώρημα)|κατηγορία Μπαίρ]] . Σύμφωνα με αυτό το θεώρημα,ένας πλήρης μετρικός χώρος (όπως ένας χώρος Banach,ένας [[χώρος Φρεσέτ]] ή ένας [[F-χώρος]]) δεν μπορεί να είναι ίσος με την ένωση των μετρήσιμων πολλαπλών κλειστών υποσυνόλων με κενό [[εσωτερικό σύνολο (Τοπολογία)|εσωτερικό σύνολο]] . Ως εκ τούτου, ένας χώρος Μπάναχ δεν είναι η ένωση των μετρήσιμων πολλαπλών κλειστών υποχώρων, εκτός αν είναι ήδη ίσος με έναν από αυτούς , ένας χώρος Μπάναχ με μια αριθμήσιμη [[:en:Hamel basis|Hamel βάση]] είναι πεπερασμένων διαστάσεων.
: [[Μπάναχ–Σταινχάους Θεώρημα]]. Ας το X είναι ένας Μπάναχ χώρος και Y είναι νορμικός διανυσματικός χώρος. Ας υποθέσουμε ότι η F είναι μια συλλογή των συνεχών γραμμικών τελεστών από X σε Y. Η  αρχή του ομοιόμορφα φραγμένου  δηλώνει ότι αν για όλα τα x στο X έχουμε supT∈F ||T(x)||Y < ∞, τότε supT∈F ||T||Y < ∞.
Το Μπάναχ–Σταινχάους Θεώρημα δεν περιορίζεται σε χώρους Μπάναχ. Μπορεί να επεκταθεί, για παράδειγμα, για την περίπτωση όπου το X είναι ένας [[Φρεσέτ χώρος]], με την προϋπόθεση ότι η σύναψη τροποποιείται ως εξής: κάτω από την ίδια υπόθεση, υπάρχει μια γειτονία U του 0 στον X τέτοια ώστε όλα τα T στο F να είναι ομοιόμορφα φραγμένα στο U,
: <math>\sup_{T \in F} \sup_{x \in U} \; \|T(x)\|_Y < \infty.</math>

: Η [[Ανοικτή Απεικόνιση (Θεώρημα)|Ανοικτή Απεικόνιση]]. Ας είναι X και Y  χώροι Μπάναχ και T : X → Y να είναι ένας συνεχής γραμμικός τελεστής. Τότε, T είναι [[έφεση(συνάρτηση)|έφεση]] αν και μόνο αν T είναι μια ανοιχτή απεικόνιση.

: **Πόρισμα**. Κάθε ένας-προς-έναν φραγμένος γραμμικός τελεστής από ένα χώρο Μπάναχ σε ένα χώρο Μπάναχ είναι ένας ισομορφισμός. 

: **Το πρώτο Θεώρημα Ισομορφισμού για τους Μπάναχ χώρους. **Υποθέτουμε ότι X και Y είναι χώροι Μπάναχ και ότι το T ∈ B(X, Y). Υποθέτουμε εν συνεχεία ότι το πεδίο τιμών του T είναι κλειστό στο Y. Τότε το X/ Ker(T) είναι ισόμορφο με το  T(X).
Αυτό το αποτέλεσμα είναι άμεση συνέπεια του προηγούμενου  Μπάναχ θεωρήματος ισομορφισμού και της κανονικής ανάλυσης φραγμένης γραμμικής απεικόνισης.
: **Πόρισμα**. Αν ένας χώρος Μπάναχ X είναι το εσωτερικό ευθύ άθροισμα των κλειστών υποχώρων M1, ..., Mn, τότε X είναι ισόμορφος με M1 ⊕ ... ⊕ Mn.
Αυτό είναι μια άλλη συνέπεια του Μπάναχ θεωρήματος ισομορφισμού, που εφαρμόζεται στην συνεχής bijection από M1 ⊕ ... ⊕ Mn στον X στέλνοντας τα (m1, ..., mn) στο άθροισμα m1 + ... + mn.
: Το Θεώρημα Κλειστού Γραφήματος . Ας είναι T : X → Y  μια γραμμική αντιστοίχιση μεταξύ χώρων Μπάναχ. Το γράφημα του T είναι κλειστό στο X × Y αν και μόνο αν T είναι συνεχής.

=== Ανακλαστικότητα ===
Ο νορμικός χώρος X ονομάζεται **ανακλαστικός** , όταν η φυσική απεικόνιση
: <math> \begin{cases} F_X : X \to X'' \\ F_X(x) (f) = f(x) & \forall x \in X, \forall f \in X'\end{cases}</math>
είναι έφεση. Ανακλαστικοί νορμικοί χώροι είναι χώροι Μπάναχ.
: **Θεώρημα.** Αν X είναι ένας ανακλαστικός χώρος Μπάναχ, κάθε κλειστό υποσύνολο του X και κάθε χώρος πηλίκο X είναι ανακλαστικοί.
Αυτό είναι συνέπεια του [[Χανν–Μπάναχ θεώρημα|Χανν–Μπάναχ θεωρήματος]]. Περαιτέρω, από το  θεώρημα ανοιχτής απεικόνισης , αν υπάρχει ένας φραγμένος γραμμικός τελεστής από τον Μπάναχ χώρο  X στον Μπάναχ χώρο Y, τότε ο Y είναι ανακλαστικός.
: **Θεώρημα.** Αν X είναι ένας Μπάναχ χώρος, τότε ο X είναι ανακλαστικός αν και μόνο αν ο <span class="texhtml " contenteditable="false">''X'' '</span> είναι ανακλαστικός.

: **Πόρισμα.** Ας είναι ο X ένας ανακλαστικός χώρος Μπάναχ. Τότε το X είναι [[Διαχωρίσιμος μετρικός χώρος|διαχωρίσιμος]] , αν και μόνο αν ο <span class="texhtml " contenteditable="false">''X'' '</span> είναι [[Διαχωρίσιμος μετρικός χώρος|διαχωρίσιμος]].
Πράγματι, αν ο δυϊκός του <span class="texhtml " contenteditable="false">''Y'' '</span> ενός Μπάναχ χώρου Y είναι [[Διαχωρίσιμος μετρικός χώρος|διαχωρίσιμος]], τότε ο Y είναι διαχωρίσιμος. Αν ο X είναι ανακλαστικός και διαχωρίσιμος, τότε ο δυϊκός του  <span class="texhtml " contenteditable="false">''X'' '</span> είναι διαχωρίσιμος, οπότε και ο <span class="texhtml " contenteditable="false">''X'' '</span> είναι διαχωρίσιμος.
: ** Θεώρημα.** Ας υποθέσουμε ότι <span class="texhtml " contenteditable="false">''X''<sub>1</sub>, .</span><span class="texhtml " contenteditable="false">.</span><span class="texhtml " contenteditable="false">., ''X<sub>n</sub>''</span><span class="texhtml " contenteditable="false"></span> είναι νορμικοί χώροι και ότι <span class="texhtml " contenteditable="false">''X'' = ''X''<sub>1</sub> ⊕ .</span><span class="texhtml " contenteditable="false">.. </span><span class="texhtml " contenteditable="false">⊕ ''X<sub>n</sub>''</span><span class="texhtml " contenteditable="false"></span>. Τότε το X είναι ανακλαστικό αν και μόνο αν κάθε <span class="texhtml " contenteditable="false">''X<sub>j</sub>''</span><span class="texhtml " contenteditable="false"></span> είναι ανακλαστικός.
Οι [[Χίλμπερτ χώρος|χίλμπερτ χώροι]] είναι ανακλαστικοί. Οι <span class="texhtml " contenteditable="false">''L<sup>p</sup>''</span><span class="texhtml " contenteditable="false"></span> χώροι είναι ανακλαστικοί όταν <span class="texhtml " contenteditable="false">1 < ''p'' < ∞</span>. Γενικότερα, οι [[Ομοιόμορφα κυρτος χώρος|ομοιόμορφα κυρτοί χώροι]]  είναι ανακλαστικοί, από το [[Μίλμαν-Πέττις θεώρημα]]. Οι χώροι <span class="texhtml " contenteditable="false">''c''<sub>0</sub>, <span class="texhtml " contenteditable="false">ℓ<sup>1</sup></span><span class="texhtml " contenteditable="false"></span>, ''L''<sup>1</sup>([0, 1]), ''C''([0, 1])</span> δεν είναι ανακλαστικοί. Σε αυτά τα παραδείγματα μη-ανακλαστικών χώρων X, ο διαδυϊκός του <span class="texhtml " contenteditable="false">''X'' "</span> είναι "πολύ μεγαλύτερος" από το X. Δηλαδή, υπό την φυσική ισομετρική ενσωμάτωση του X στο <span class="texhtml " contenteditable="false">''X'' "</span> που δίνεται από το [[θεώρημα Χανν-Μπάναχ]], το πηλίκο <span class="texhtml " contenteditable="false">''X'' " / ''X''</span><span class="texhtml " contenteditable="false"></span> είναι άπειρων διαστάσεων, και ακόμη μη διαχωρίσιμο. Ωστόσο, ο Ρομπερτ Κ. Τζέιμς έχει κατασκευάσει ένα παράδειγμα έναν μη-ανακλαστικό χώρο, που συνήθως ονομάζεται "''ο[[χώρος του Τζέιμς]]''" και συμβολίζεται με ''J'', τέτοιον ώστε το πηλίκο <span class="texhtml " contenteditable="false">''J'' " / ''J''</span><span class="texhtml " contenteditable="false"></span> είναι μονοδιάστατος χώρος. Επιπλέον, αυτό το διάστημα J είναι ισομετρικά ισόμορφο με τον διαδυϊκό.
: **Θεώρημα.** Ένας χώρο Μπάναχ X είναι ανακλαστικος αν και μόνο αν η μοναδιαία μπάλα είναι [[Συμπαγής χώρος|συμπαγής]] στην ασθενή τοπολογία
Όταν ο X είναι αντανακλαστικός, προκύπτει ότι όλα τα κλειστά και φραγμένα [[Κυρτό σύνολο|κυρτά υποσύνολα]] του X είναι ασθενώς συμπαγή. Σε ένα χώρο Χίλμπερτ H, η ασθενής συμπύκνωση της μοναδιαίας μπάλας χρησιμοποιείται πολύ συχνά με τον ακόλουθο τρόπο: κάθε φραγμένη ακολουθία στο Η έχει ασθενώς συγκλίνουσα υπακολουθία.

Η ασθενής συμπύκνωση της μοναδιαίας μπάλα παρέχει ένα εργαλείο για την εξεύρεση λύσεων σε αντανακλαστικούς χώρους σε ορισμένα προβλήματα βελτιστοποίησης. Για παράδειγμα, κάθε κυρτή συνεχής συνάρτηση της μοναδιαίας μπάλας B από ένα ανακλαστικό χώρο επιτυγχάνει το ελάχιστο σε κάποιο σημείο Β.

Ως ειδική περίπτωση του προηγούμενου αποτελέσματος , όταν ο X είναι ένας ανακλαστικός χώρος πάνω από το <span class="texhtml " contenteditable="false">**R**</span><span class="texhtml " contenteditable="false"></span>, κάθε συνεχές γραμμικό συναρτησιακό <span class="texhtml " contenteditable="false"> ''f'' </span><span class="texhtml " contenteditable="false"></span> στο <span class="texhtml " contenteditable="false">''X'' "που</span> φθάνει τη μέγιστη <span class="texhtml " contenteditable="false">|| ''f'' ||</span> στη μοναδιαία μπάλα του X. Το ακόλουθο [[θέωρημα του Ρόμπερτ Κ.Τζέιμς]] παρέχει μια αντίστροφη πορεία.
: **Ο Τζέιμς Θεώρημα.** Για έναν Μπάναχ χώρο οι ακόλουθες δύο ιδιότητες είναι ισοδύναμες:
:* ο X είναι ανακλαστικός.
:* για όλα τα <span class="texhtml "> ''f'' </span><span class="texhtml "></span> στο <span class="texhtml ">''X'' "</span> υπάρχει x στο X με <span class="texhtml ">||''x''|| ≤ 1</span>, τέτοιο ώστε <span class="texhtml "> ''f'' (''x'') = || ''f'' ||.</span>
Το θεώρημα μπορεί να επεκταθεί για να δώσει ένα χαρακτηρισμό των ασθενώς συμπαγών κυρτών συνόλων.

Για κάθε μη-ανακλαστικό Μπάναχ χώρο X, υπάρχούν συνεχή γραμμικά συναρτησιακά που δεν φέρουν νόρμα. Ωστόσο, το [[θεώρημα Μπίσοπ-Φέλπς]] αναφέρει ότι τα συναρτησιακά που φέρουν νόρμα είναι νορμικά πυκνά στον δυϊκό <span class="texhtml " contenteditable="false">''X'' '</span> του X.

=== Ασθενής συγκλίσεις των ακολουθιών ===
Μια ακολουθία <span class="texhtml ">{''x<sub>n</sub>''} </span> σε έναν Μπάναχ χώρο X είναι **ασθενώς συγκλίνουσα** σε ένα διάνυσμα <span class="texhtml ">''x'' ∈ ''X''</span><span class="texhtml "></span> αν <span class="texhtml "> ''f'' (''x<sub>n</sub>'')</span> συγκλίνει σ<span class="texhtml ">''την f'' (''x'')</span> για κάθε συνεχές γραμμικό συναρτησιακό <span class="texhtml "> ''f'' </span><span class="texhtml "></span> στο διπλό <span class="texhtml ">''X'' '</span>. Η ακολουθία <span class="texhtml ">{''x<sub>n</sub>''} </span> είναι **ασθενώς Cauchy ακολουθία** αν <span class="texhtml "> ''f'' (''x<sub>n</sub>'')</span> συγκλίνει σε ένα αριθμητικό όριο <span class="texhtml ">''L''( ''f'' )</span>, για κάθε <span class="texhtml "> ''f'' </span><span class="texhtml "></span> στον <span class="texhtml ">''X'' '</span>. Μια ακολουθία <span class="texhtml ">{ ''f<sub>n</sub>'' } </span> στον δυϊκό <span class="texhtml ">''X'' '</span> είναι **ασθενώς* συγκλίνουσα** σε ένα συναρτησιακό <span class="texhtml ">''f'' ∈ ''X'' '</span> αν <span class="texhtml "> ''f<sub>n</sub>'' (''x'')</span> συγκλίνει σ<span class="texhtml ">''την f'' (''x'')</span> για κάθε x του X. Ασθενώς Cauchy ακολουθίες, ασθενώς συγκλίνουσα και ασθενώς* συγκλίνουσες ακολουθίες είναι νορμικά φραγμένες, ως συνέπεια του Μπάναχ-Σταινχάους θεωρήματος.

Όταν η ακολουθία <span class="texhtml " contenteditable="false">{''x<sub>n</sub>''} </span> στον X είναι ασθενώς Cauchy ακολουθία, το παραπάνω όριο L  ορίζει ένα φραγμένο γραμμικό συναρτησιακό στον δυϊκό <span class="texhtml " contenteditable="false">''X'' '</span>, δηλαδή, το L ένα στοιχείο του διαδυϊκού του X, και το L είναι το όριο της <span class="texhtml " contenteditable="false">{''x<sub>n</sub>''} </span> η ασθενής*-τοπολογία του διαδυϊκού. Ο Μπάναχ χώρος X είναι **ασθενώς ακολουθιακά πλήρης** αν κάθε ασθενώς Cauchy ακολουθία είναι ασθενώς συγκλίνουσα στο X. Όπως προκύπτει από την προηγούμενη συζήτηση οι ανακλαστικοί χώροι είναι ασθενώς ακολουθιακά πλήρεις.
: **Θεώρημα.**  Για κάθε μέτρο μ, ο χώρος <span class="texhtml " contenteditable="false">''L''<sup>1</sup>(''μ'')</span> είναι ασθενώς ακολουθιακά πλήρης.
Μια ορθοκανονική ακολουθία σε ένα [[χώρος Χίλμπερτ|χώρο Χίλμπερτ]] είναι ένα απλό παράδειγμα μιας ασθενώς συγκλίνουσας ακολουθίας, με όριο ίσο με το [[μηδενικό διάνυσμα]]. Η μοναδιαία διάνυσμα βάση της <span class="texhtml " contenteditable="false">ℓ<sup>p</sup></span><span class="texhtml " contenteditable="false"></span>, 1 < ''p'' < ∞, ή της <span class="texhtml " contenteditable="false">''c''<sub>0</sub></span><span class="texhtml " contenteditable="false"></span>, είναι ένα άλλο παράδειγμα μιας **ασθενώς μηδενική ακολουθία**, δηλαδή, μια ακολουθία που συγκλίνει ασθενώς στο μηδενικό διάνυσμα. Για κάθε ασθενώς μηδενική ακολουθία σε ένα Μπάναχ χώρο, υπάρχει μια ακολουθία κυρτών συνδυασμών διανυσμάτων από τη δοθείσα ακολουθία που είναι νορμικά-συγκλίνουσα στο <span class="texhtml ">**0 **</span> μηδενικό διάνυσμα.

Η μοναδιαία διάνυσμα βάση του <span class="texhtml " contenteditable="false">ℓ<sup>1</sup></span><span class="texhtml " contenteditable="false"></span> δεν είναι ασθενώς Cauchy. Ασθενώς Cauchy ακολουθίες στον <span class="texhtml " contenteditable="false">ℓ<sup>1</sup></span><span class="texhtml " contenteditable="false"></span> είναι ασθενώς συγκλίνουσες, αφού <span class="texhtml " contenteditable="false">''L''<sup>1</sup></span><span class="texhtml " contenteditable="false"></span>-χώροι είναι ασθενώς ακολουθιακά πλήρεις. Στην πραγματικότητα, ασθενώς συγκλίνουσες ακολουθίες στον <span class="texhtml " contenteditable="false">ℓ<sup>1</sup></span><span class="texhtml " contenteditable="false"></span> είναι νορμικά συγκλίνουσες. Αυτό σημαίνει ότι <span class="texhtml " contenteditable="false">ℓ<sup>1</sup></span><span class="texhtml " contenteditable="false"></span> ικανοποιεί την [[ιδιότητα του Σούαρ]].

==== Τα αποτελέσματα που αφορούν το <span class="texhtml " contenteditable="false">ℓ<sup>1</sup></span><span class="texhtml " contenteditable="false"></span> ====
Ασθενώς Cauchy ακολουθίες και η <span class="texhtml " contenteditable="false">ℓ<sup>1</sup></span><span class="texhtml " contenteditable="false"></span> βάση είναι οι αντίθετες περιπτώσεις της διχοτόμησης που καθιερώθηκε από τα ακόλουθα ενδελεχή αποτελέσματα του Χ. Π. Ρόζενταλ.
: **Θεώρημα.** Ας είναι<span class="texhtml " contenteditable="false">{''x<sub>n</sub>''} </span>φραγμένη ακολουθία σε ένα Μπάναχ χώρο . Είτε <span class="texhtml " contenteditable="false">{''x<sub>n</sub>''} </span> έχει μια ασθενώς Cauchy υπακολουθία, ή δέχεται μια υπακολουθία [[Βάση του Σάουντερ|ισοδύναμη]] με το συνήθες [[μοναδιαίο διάνυσμα]] βάση του <span class="texhtml " contenteditable="false">ℓ<sup>1</sup></span><span class="texhtml " contenteditable="false"></span>.
Ένα συμπλήρωμα σε αυτό το αποτέλεσμα οφείλεται στους Οντέλ και Ρόσενταλ&nbsp;(1975).
: **Θεώρημα.** Ας είναι ο X είναι ένας διαχωρίσιμος Μπάναχ χώρος. Τα ακόλουθα είναι ισοδύναμα:
:* Ο χώρος X δεν περιέχει κλειστό υποσύνολο ισόμορφο με το <span class="texhtml " contenteditable="false">ℓ<sup>1</sup></span><span class="texhtml " contenteditable="false"></span>.
:* Κάθε στοιχείο του διαδυϊκού <span class="texhtml " contenteditable="false">''X'' "</span> είναι το ασθενές*όριο της ακολουθίας <span class="texhtml " contenteditable="false">{''x<sub>n</sub>''} </span> στον X.
Από το [[θεώρημα του Γκολντστάιν]], κάθε στοιχείο της μοναδιαίας μπάλας <span class="texhtml " contenteditable="false">''B'' "</span> του <span class="texhtml " contenteditable="false">''X'' "</span> είναι το ασθενές*-όριο σε ένα καθαρό σημείο στην μοναδιαία μπάλα του X. Όταν το X δεν περιέχει τον <span class="texhtml " contenteditable="false">ℓ<sup>1</sup></span><span class="texhtml " contenteditable="false"></span>, κάθε στοιχείο του <span class="texhtml " contenteditable="false">''B'' "</span> είναι ασθενές*-όριο μιας ''ακολουθίας'' στη μοναδιαία μπάλα του X.

Όταν ο Μπάναχ χώρος X είναι [[Διαχωρίσιμος μετρικός χώρος|διαχωρίσιμος]], η μοναδιαία μπάλα του δυϊκού <span class="texhtml " contenteditable="false">''X'' '</span>, που είναι εφοδιασμένα με την ασθενή*-τοπολογία, είναι ένας μετρικοποιήσιμος συμπαγής χώρος K, και για κάθε στοιχείο <span class="texhtml " contenteditable="false">''x'' "</span> στο διαδυϊκό <span class="texhtml " contenteditable="false">''X'' "</span> ορίζει μια φραγμένη συνάρτηση στο K:
: <math> x' \in K \mapsto x''(x'), \quad \left |x''(x') \right | \le \left \|x'' \right \|.</math>
Αυτή η συνάρτηση είναι συνεχής για την συμπαγή τοπολογία του K αν και μόνο αν <span class="texhtml " contenteditable="false">''x'' "</span> είναι στην πραγματικότητα στο X, που θεωρείται ως υποσύνολο του <span class="texhtml " contenteditable="false">''X'' "</span>. Ας υποθέσουμε, επιπλέον, για το υπόλοιπο της παραγράφου, ότι το X  δεν περιέχει τον <span class="texhtml " contenteditable="false">ℓ<sup>1</sup></span><span class="texhtml " contenteditable="false"></span> χώρο. Από το προηγούμενο αποτέλεσμα των Οντέλ και Ρόζενταλ, η συνάρτηση <span class="texhtml " contenteditable="false">''x'' "</span> είναι το  για K από μια ακολουθία <span class="texhtml " contenteditable="false">{''x<sub>n</sub>''} ⊂ ''X''</span><span class="texhtml " contenteditable="false"></span> συνεχών συναρτήσεων στο Κ, ως εκ τούτου, είναι ένα στο K. Η μοναδιαία μπάλα του διαδυικού είναι σημειακά συμπαγές υποσύνολο της πρώτης Baire κλάσης στο K.

==== Ακολουθίες, αδύναμη και αδύναμη* συμπαγές ====
Όταν ο X είναι διαχωρίσιμος, η μοναδιαία μπάλα του δυϊκού χώρου είναι ασθενώς*-συμπαγής από το Μπάναχ–Αλάογλου θεώρημα και μετρικοποιήσιμη για την ασθενή* τοπολογία, ως εκ τούτου, κάθε φραγμένη ακολουθία στο δυϊκό έχει ασθενώς* συγκλίνουσες υπακολουθίες. Αυτό ισχύει για διαχωρίσιμους ανακλαστικούς χώρους, αλλά δεν είναι αλήθεια σε αυτή την περίπτωση, όπως αναφέρεται παρακάτω.

Η αδύναμη τοπολογία ένος Μπάναχ χώρου X είναι μετρικοποιήσιμη αν και μόνο αν το X είναι πεπερασμένων διαστάσεων. Αν ο δυϊκός <span class="texhtml " contenteditable="false">''X'' '</span> είναι διαχωρίσιμος, η αδύναμη τοπολογία της μοναδιαίας μπάλας του X είναι μετρικοποιήσιμη. Αυτό ισχύει ιδίως για του διαχωρίσιμους ανακλαστικούς Μπάναχ χώρους. Αν και η ασθενής τοπολογία της μοναδιαίας μπάλας δεν είναι μετρικοποιήσιμη σε γενικές γραμμές, μπορεί κανείς να δείξει ασθενή πυκνότητα χρησιμοποιώντας ακολουθίες.
: **Eberlein–Šmulian θεώρημα**. Ένα σύνολο Α σε έναν Μπάναχ χώρο είναι σχετικά ασθενώς συμπαγές αν και μόνο αν κάθε ακολουθία <span class="texhtml " contenteditable="false">{''α<sub>n</sub>''} </span> του ''Α'' έχει ασθενώς συγκλίνουσα υπακολουθία.
Ένας Μπάναχ χώρος X είναι ανακλαστικός αν και μόνο αν για κάθε φραγμένη ακολουθία στον X έχει ασθενώς συγκλίνουσα υπακολουθία.

Ένα ασθενώς συμπαγές υποσύνολο'' Α ''στο <span class="texhtml " contenteditable="false"><span lang="el" dir="ltr">ℓ</span></span><span class="texhtml " contenteditable="false"><sup>1</sup></span><span class="texhtml " contenteditable="false"></span> είναι νορμικά-συμπαγές. Πράγματι, κάθε ακολουθία στο A έχει ασθενώς συγκλίνουσα υπακολουθία από Eberlein–Šmulian, που είναι νορμικά συγκλίνουσα από την ιδιότητα Schur του <span class="texhtml " contenteditable="false">ℓ<sup>1</sup></span><span class="texhtml " contenteditable="false"></span>

== Βάσεις του Σάουντερ ==
Μια **βάση Σάουντερ** σε έναν Μπάναχ χώρο X είναι μια ακολουθία <span class="texhtml " contenteditable="false"></span> από διανύσματα του ''X'' με την ιδιότητα ότι για κάθε διάνυσμα x του X, υπάρχει μοναδικά ορισμένη ''αριθμητική ακολουθία'' <span class="texhtml " contenteditable="false"></span> εξαρτημένη από το x, έτσι ώστε
: <math> x = \sum_{n=0}^{\infty} x_n e_n, \quad \textit{i.e.,} \quad x = \lim_n P_n(x), \ P_n(x) := \sum_{k=0}^n x_k e_k.</math>
Μπάναχ χώροι με βάση Σάουντερ είναι απαραίτητα διαχωρίσιμες, επειδή το μετρήσιμο σύνολο των πεπερασμένων γραμμικών συνδυασμών με πραγματικούς συντελεστές (ας πούμε) είναι πυκνό.

Προκύπτει από το θεώρημα Μπάναχ–Στάινχαουζ ότι δηλαδή οι γραμμικές απεικονίσεις είναι ομοιόμορφα φραγμένες από κάποια σταθερά C. Ας είναι η να υποδηλώνει τα συναρτησιακά συντεταγμένες τα οποία στέλνουν  κάθε x του X  στη συντεταγμένη  <span class="texhtml " contenteditable="false"></span> του x στην παραπάνω επέκταση. Αυτά λέγονται **διορθογώνια συναρτησιακά**. Όταν τα διανύσματα βάση έχουν νόρμα , τα συναρτησιακά συντεταγμένες  έχουν νόρμα <span class="texhtml " contenteditable="false"></span> στο δυικο του X.

Οι πιο κλασικοί [[Διαχωρίσιμος μετρικός χώρος|διαχωρίσιμοι]] χώροι έχουν ρητές βάσεις. Το [[Χάαρ κυματοειδή|σύστημα του Χάαρ]]  είναι μια βάση για τον . Το [[βάση Σάουντερ|τριγωνομετρικό σύστημα]] είναι μια βάση στον  , όταν . Το [[Χάαρ κυματοειδή|Σάουντερ σύστημα]] είναι μια βάση στο χώρο . Το ερώτημα για το αν ο δίσκος άλγεβρα  έχει βάση παρέμεινε ανοικτό για περισσότερα από σαράντα χρόνια, μέχρι που ο Bočkarev έδειξε το 1974 ότι ''A''(**D**) επιδέχεται βάση κατασκευασμένη από το [[Χάαρ κυματοειδή|Φράνκλιν σύστημα]].

Εφόσον κάθε διάνυσμα x σε έναν Μπάναχ χώρο X με βάση είναι το όριο του ,οπου η <span class="texhtml " contenteditable="false"></span> είναι πεπερασμένης τάξης και ομοιόμορφα φραγμένη, ο χώρος X ικανοποιεί την ιδιότητά φραγμένης προσέγγισης . Το πρώτο παράδειγμα από τον[[Περ Ένφλο|Ένφλο]] ενός χώρου που δεν ικανοποιεί την ιδιότητα προσέγγισης ήταν ταυτόχρονα το πρώτο παράδειγμα ένα διαχωρίσιμου Μπάναχ χώρου χωρίς [[βάση Σάουντερ]].

Ο Ρόμπερτ  Κ. Τζέιμς χαρακτήρισε την ανακλαστικότητα σε Μπάναχ χώρους που περιέχουν βάση: ο χώρος X με βάση Σάουντερ είναι ανακλαστικός αν και μόνο αν η βάση είναι μαζί [[βάση Σάουντερ|συσταλλόμενα και φραγμένα πλήρης]] Σε αυτή την περίπτωση, τα διδιορθογώνια συναρτησιακά αποτελούν τη βάση του δυϊκού του X.[[Αρχείο:Tensor-diagramB.jpg|μικρογραφία]]

== Τανυστικό γινόμενο ==
Ας είναι X και Y είναι δύο <span class="texhtml " contenteditable="false"></span>-διανυσματικοί χώροι. Το [[τανυστικό γινόμενο]] <span class="texhtml " contenteditable="false"></span>  των X και Y είναι ένας <span class="texhtml " contenteditable="false"></span>-διανυσματικός χώρος Z με μια διγραμμική απεικόνιση <span class="texhtml " contenteditable="false"></span> που έχει την εξής [[:en:Universal property|καθολική ιδιότητα]]:
: Αν <span class="texhtml " contenteditable="false"></span> είναι οποιαδήποτε διγραμμική απεικόνιση σε έναν <span class="texhtml " contenteditable="false"></span>-διανυσματικό χώρο <span class="texhtml " contenteditable="false"></span>, τότε υπάρχει μοναδική γραμμική απεικόνιση <span class="texhtml " contenteditable="false"></span> τέτοια ώστε <span class="texhtml " contenteditable="false"></span>.
Η εικόνα κάτω από το T ενός ζεύγους  στο <span class="texhtml " contenteditable="false"></span> συμβολίζεται με <span class="texhtml " contenteditable="false"></span>, και ονομάζεται **απλός τανυστής**. Κάθε στοιχείο z στο <span class="texhtml " contenteditable="false"></span> είναι ένα πεπερασμένο άθροισμα τέτοιων απλών τανυστών.

Υπάρχουν διάφορες νόρμες που μπορούν να τοποθετηθούν στο τανυστικό γινόμενο των υποκείμενων διανυσματικών χώρων, μεταξύ άλλων,η [[Τοπολογικό τανυστικό γινόμενο|προβολική εγκάρσια νόρμα]] και η [[Τοπολογικό τανυστικό γινόμενο|ερριπτική εγκάρσια νόρμα]] που εισήχθη από τον [[Αλεξάντερ Γκρότεντικ|Α. Γκρότεντικ]] το 1955.

Σε γενικές γραμμές, το τανυστικό γινόμενο τών πλήρεις χώρών δεν είναι πλήρης και πάλι. Όταν εργάζεστε με Μπάναχ χώρους, είναι σύνηθες ότι το **προβολικό τανυστικό γινόμενο** δύο χώρων Μπάναχ X και Y είναι η ''πλήρωση'' <math>X \widehat{\otimes}_\pi Y</math> του αλγεβρικού τανυστικού γινομένου <span class="texhtml " contenteditable="false"></span> εξοπλισμένο με την προβολική τανυστική νόρμα, και ομοίως για το **ερριπτικό τανυστικό γινόμενο** <math>X \widehat{\otimes}_\varepsilon Y</math>. Ο Γκρότεντικ απέδειξε συγκεκριμένα ότι
: <math>\begin{align}
C(K) \widehat{\otimes}_\varepsilon Y &\simeq C(K, Y), \\
L^1([0, 1]) \widehat{\otimes}_\pi Y &\simeq L^1([0, 1], Y),
\end{align}</math>
όπου K είναι ένας συμπαγές [[Hausdorff χώρος]]  ο Μπάναχ χώρος των συνεχών συναρτήσεων από το Κ προς Y και  είναι ο χώρος των Bochner-μετρήσιμων και ολοκληρώσιμων συναρτήσεων από το  στο Y, και όπου οι ισομορφισμοί είναι ισομετρικοί. Οι δύο ισομορφισμοί παραπάνω είναι οι αντίστοιχες επεκτάσεις της απεικόνισης που στέλνει τον τανυστή  <span class="texhtml " contenteditable="false"></span> στην συνάρτηση που έχει τιμές διανύσματα <span class="texhtml " contenteditable="false"></span>.

=== Τανυστικά γινόμενα και η ιδιότητα προσέγγισης ===
Ας είναι το X είναι ένας Μπάναχ χώρος. Το τανυστικό γινόμενο <math>X' \widehat \otimes_\varepsilon X</math> προσδιορίζεται ισομετρικά με το περίβλημα  από το σύνολο των πεπερασμένης τάξης τελεστών. Όταν ο X έχει την  ιδιότητα προσέγγισης, το περίβλημα αυτό συμπίπτει με το χώρο των [[συμπαγείς τελεστές|συμπαγών τελεστών]] στον X.

Για κάθε χώρο Μπάναχ Y, υπάρχει μια φυσική νόρμα  γραμμική απεικόνιση
: <math> Y \widehat\otimes_\pi X \to Y \widehat\otimes_\varepsilon X </math>
που λαμβάνεται με την επέκταση της ταυτοτικής απεικόνισης του αλγεβρικού τανυστικού γινομένου. Ο Γκρότεντικ που συνέδεσε το [[Ιδιότητα προσέγγισης|πρόβλημα της προσέγγισης]] με το ερώτημα για το αν αυτή η απεικόνιση είναι ένα-προς-ένα όταν ο Y είναι δυϊκός του X. Συγκεκριμένα, για κάθε Μπάναχ χώρο X, η απεικόνιση
: <math> X' \widehat \otimes_\pi X \ \longrightarrow X' \widehat \otimes_\varepsilon X </math>
είναι ένα-προς-ένα αν και μόνο αν ο X έχει την ιδιότητα προσέγγισης .

Ο Γκρότεντικ εικάστηκε ότι <math>X \widehat{\otimes}_\pi Y</math> και <math>X \widehat{\otimes}_\varepsilon Y</math> πρέπει να είναι διαφορετικά, όταν X και Y είναι άπειρων διαστάσεων Μπάναχ χώροι. Αυτό είχε διαψευστεί από  τον Gilles Pisier το 1983. Ο Pisier κατασκεύασε ένα άπειρων διαστάσεων χώρο Μπάναχ X τέτοιο ώστε <math>X \widehat{\otimes}_\pi X</math> και  <math>X \widehat{\otimes}_\varepsilon X</math> να είναι ίσες. Επιπλέον, όπως το παράδειγμα του[[Περ Ένφλο|Ένφλο]], αυτός ο χώρος X είναι ένας "χειροποίητος" χώρος που δεν έχει την ιδιότητα προσέγγισης. Από την άλλη πλευρά,ο Szankowski απέδειξε ότι ο κλασικός χώρος  δεν έχει την ιδιότητα προσέγγιση.

== Μερική ταξινόμηση αποτελεσμάτων ==

=== Χαρακτηρισμοί των Χίλμπερτ χώρων μεταξύ χώρων Μπάναχ ===
Μια αναγκαία και επαρκή συνθήκη για την νόρμα ενός χώρο Μπάναχ X  για να συνδεθεί με ένα εσωτερικό γινόμενο είναι ο [[νόμος του παραλληλογράμμου]]:
: <math>\forall x, y \in X : \qquad \|x+y\|^2 + \|x-y\|^2 = 2 \left (\|x\|^2 + \|y\|^2 \right).</math>
Ακολούθως, για παράδειγμα, ο Lebesgue χώρος   είναι ένας χώρος Χίλμπερτ μόνο όταν . Αν αυτή η ταυτότητα ικανοποιείται, το σχετικό εσωτερικό γινόμενο δίνεται από την [[ταυτότητα πόλωσης]]. Στην περίπτωση που έχουμε πραγματικούς αριθμούς αυτό δίνει:
: <math>\langle x, y\rangle = \tfrac{1}{4} \left (\|x+y\|^2 - \|x-y\|^2 \right ).</math>
Για μιγαδικούς αριθμούς, ορίζουμε το εσωτερικό γινόμενο, ώστε να είναι <span class="texhtml " contenteditable="false"></span>-γραμμικό ως προς x,και [[Αντιγραμμική απεικόνιση|αντιγραμμικό]] στο y, η ταυτότητα πόλωσης δίνει:
: <math>\langle x,y\rangle = \tfrac{1}{4} \left( \|x+y\|^2 - \|x-y\|^2 + i \left (\|x+iy\|^2 - \|x-iy\|^2 \right )\right).</math>
Για να δείτε ότι ο [[νόμος του παραλληλογράμμου]] είναι επαρκής, παρατηρεί κανείς στην περίπτωση των πραγματικών αριθμών που  είναι συμμετρικό, και την περίπτωση των μιγαδικών, που πληροί την ιδιότητα της [[Ερμιτιανή συμμετρία|Ερμιτιανής συμμετρίας]]  και . Ο νόμος του παραλληλογράμμου υποδηλώνει ότι  είναι προσθετικό στο x. Επομένως, είναι γραμμική, πάνω από τους ρητούς, έτσι γραμμική από συνέχεια.

Διάφοροι χαρακτηρισμοί των ισόμορφων χώρων (αντί ισομετρικών) σε Χίλμπερτ χώρους είναι διαθέσιμοι. Ο νόμος του παραλληλόγραμμο  μπορεί να επεκταθεί σε περισσότερα  από δύο διανύσματα, και να αποδυναμωθεί από την εισαγωγή μιας διπλής ανισότητα με σταθερά : Kwapień απέδειξε ότι αν
: <math> c^{-2} \sum_{k=1}^n \left \|x_k \right \|^2 \le \operatorname{Ave}_{\pm} \left \| \sum_{k=1}^n \pm x_k \right \|^2 \le c^2 \sum_{k=1}^n \left \|x_k \right \|^2</math>
για κάθε ακέραιο n και όλες τις οικογένειες των διανυσμάτων <span class="texhtml " contenteditable="false"></span>, τότε ο χώρος Μπάναχ X είναι ισόμορφος με ένα χώρο Χίλμπερτ. Εδώ, <span class="texhtml " contenteditable="false"></span> δηλώνει τον μέσο όρο των <span class="texhtml " contenteditable="false"></span> πιθανών επιλογών προσήμων . Στο ίδιο άρθρο,ο [[Kwapień]] αποδεικνύει ότι η ισχύς του  θεωρήματος του Παρσέβαλ, που έχει τιμές Μπάναχ χώρους, για το μετασχηματισμό Fourier χαρακτηρίζει τους Μπάναχ χώρους  ισόμορφους με Hilbert χώρους.

Lindenstrauss και Tzafriri απεδείξαν ότι ο χώρος Μπάναχ  στον οποίο κάθε κλειστός γραμμικός υποχώρος είναι πληρωμένος (που είναι, το έυρος μιας φραγμένης γραμμικής προβολής) είναι ισόμορφος με ένα χώρο Χίλμπερτ. Η απόδειξη στηρίζεται από στο θεώρημα του Dvoretzky για τα Ευκλείδεια τμήματα των μεγάλων διαστάσεων κεντρικά συμμετρικά κυρτά σώματα. Με άλλα λόγια, το θεώρημα του Dvoretzky αναφέρει ότι για κάθε ακέραιο n, κάθε πεπερασμένων διαστάσεων νορμικός χώρος, με διάσταση αρκετά μεγάλη σε σύγκριση με το n, περιέχει υπόχωρο σχεδόν ισομετρικό στο n-διάστατο Ευκλείδειο χώρο.

Το επόμενο αποτέλεσμα δίνει την λύση του λεγόμενου προβλήματος του ''ομοιογενή χώρου ''. Ένας άπειρων διαστάσεων Μπάναχ χώρος  X είναι **ομοιογενής**  αν είναι ισόμορφος με όλους τους απείρων διαστάσεων κλειστούς υποχώρους. Ένας Μπάναχ χώρος ισομορφος με το <span class="texhtml " contenteditable="false"></span> είναι ομοιογενής, και ο [[Στέφαν Μπάναχ|Μπάναχ]] αναρωτήθηκε για το αντίστροφο.
: **Θεώρημα.** Ένας χώρος Μπάναχ ισόμορφος με όλες τους απείρων διαστάσεων κλειστούς υποχώρους είναι ισόμορφος με έναν διαχωρίσιμο χώρο Χίλμπερτ.
Ένας άπειρο-διάστατος χώρος Μπάναχ είναι **κληρονομικά αδιάσπαστος** όταν κανένα υποχώρος του δεν μπορεί να είναι ισόμορφος με το ευθύ άθροισμα δύο άπειρο-διάστατων χώρων Μπάναχ. Το [[θεώρημα διχοτόμησης του Γκάουερ]] υποστηρίζει ότι κάθε άπειρο-διάστατος χώρος Μπάναχ X περιέχει είτε έναν υποχώρο Y με [[Σάουντερ βάση|αδέσμευτη βάση]], είτε έναν κληρονομικά αδιάσπαστο υποχώρο Z, και ιδίως, Z δεν είναι ισόμορφος με τα κλειστά υπερεπίπεδά του. Αν X είναι ομοιογενής,θα  πρέπει τότε να έχει μια αδέσμευτη βάση. Συνεπάγεται επομένως, στη συνέχεια, από τη μερική λύση που λαμβάνεται από τον Komorowski και τον Tomczak–Jaegermann, για χώρους με μια αδέσμευτη βάση, ότι X είναι ισόμορφος με τον <span class="texhtml " contenteditable="false"></span>.

=== Χώροι συνεχών συναρτήσεων ===
Όταν δύο συμπαγείς χώροι Hausdorff <span class="texhtml " contenteditable="false"></span> και <span class="texhtml " contenteditable="false"></span> είναι [[Ομοιομορφισμός|ομοιόμορφοι]], οι χώρους Μπάναχ  και  είναι ισομετρικοί. Αντίθετα, όταν <span class="texhtml " contenteditable="false"></span> δεν είναι ομοιόμορφος με <span class="texhtml " contenteditable="false"></span>, η (πολλαπλασιαστική) [[Μπάναχ-Μαζούρ απόσταση]] μεταξύ των  και  πρέπει να είναι μεγαλύτερη  ή ίση με , βλέπε ανωτέρω τα αποτελέσματα από τον Αμίρ και τον Κάμπερν. Αν και οι μη μετρήσιμοι συμπαγείς μετρικοί χώροι μπορεί να έχουν διαφορετικά είδη ομοιομορφισμών, ο ένας έχει το ακόλουθο αποτέλεσμα χάρη στον [[Μιλούτιν]]:
: **Θεώρημα.** Ας είναι το K μη μετρήσιμος συμπαγής μετρικός χώρος. Τότε  είναι ισόμορφος με .
Η κατάσταση είναι διαφορετική για μετρήσιμα άπειρους συμπαγείς Hausdorff χώρους. Κάθε μετρήσιμα άπειρος συμπαγής K είναι ομοιόμορφος σε κάποιο κλειστό διάστημα των διατακτικών αριθμών
: <math> \langle 1, \alpha \rangle = \{ \gamma \ :\ 1 \le \gamma \le \alpha\}</math>
εξοπλισμένο με την διατεταγμένη τοπολογία, όπου <span class="texhtml " contenteditable="false"></span> είναι μια μετρήσιμα άπειρη διάταξη. Ο Μπάναχ χώρος  είναι τότε  ισομετρικός με . Όταν <span class="texhtml " contenteditable="false"></span> είναι δύο μετρήσιμα άπειροι διατακτικοί αριθμοί , και υποθέτοντας ότι <span class="texhtml " contenteditable="false"></span>, οι χώροι  και  είναι ισόμορφοι αν και μόνο αν <span class="texhtml " contenteditable="false"></span>.
Για παράδειγμα, οι χώροι Μπάναχ
: <math>C(\langle 1, \omega\rangle), \ C(\langle 1, \omega^{\omega} \rangle), \ C(\langle 1, \omega^{\omega^2}\rangle), \ C(\langle 1, \omega^{\omega^3} \rangle), \cdots, C(\langle 1, \omega^{\omega^\omega} \rangle), \cdots</math>
είναι αμοιβαία μη-ισόμορφοι.

== Παραδείγματα ==
Ένα γλωσσάρι συμβόλων:
* <span class="texhtml " contenteditable="false"></span>;
* X είναι ένας[[συμπαγής Χάουσντορφ χώρος]];
* Ιείναι ένα κλειστό και φραγμένο διάστημα ;
* <span class="texhtml " contenteditable="false"></span> είναι [[πραγματικοί αριθμοί]]  τέτοιοι ώστε 
*  είναι μια [[σ-άλγεβρα]] από σύνολα;
*  είναι μια άλγεβρα από σύνολα (για χώρους που χρειάζονται μόνο πεπερασμένη προσθετικότητα,όπως είναι ο ba χώρος);
* μ είναι [[Μέτρο (μαθηματικά)|μέτρο]] με μεταβολή .




== Παράγωγοι ==
Αρκετές έννοιες μιας παραγώγου μπορούν να οριστούν σε ένα Μπάναχ χώρο . Δείτε τα άρθρα σχετικά με την [[Παράγωγος Φρεσέτ|παράγωγο Φρεσέτ]] και την [[Παράγωγος Gâteaux|παράγωγο του Gâteaux]] για λεπτομέρειες. Η [[παράγωγος Φρεσέτ]] επιτρέπει την επέκταση της έννοιας μιας κατευθυνόμενης παραγώγου σε χώρους Μπάναχ. Η παράγωγος του Gâteaux επιτρέπει την επέκταση μιας κατευθυνόμενης παραγώγου για τοπικά κυρτούς τοπολογικού διανυσματικούς χώρους. Η Φρεσέτ διαφορισιμότητα είναι  ισχυρότερη συνθήκη από την Gâteaux διαφορισιμότητα. Η [[οιονεί παράγωγος]] είναι μια άλλη επέκταση των  κατευθυνόμενων παράγωγων που υποδηλώνει μια ισχυρότερη συνθήκη από την Gâteaux διαφορισιμότητα, αλλά μια ασθενέστερη συνθήκη από την Φρεσέτ διαφορισιμότητα
.

== Επεκτάσεις ==
Πολλοί σημαντικοί χώροι στην συναρτησιακή ανάλυση, για παράδειγμα ο χώρος όλων των απείρως και συχνά διαφορίσιμων συναρτήσεων **R** → **R**, ή ο χώρος όλων των κατανομών του **R''', είναι πλήρεις αλλά όχι νορμικοί διανυσματικοί χώροι και ως εκ τούτο όχι χώροι Μπάναχ. Στουςχώρους Φρεσέτ ο ένα έχει ακόμα πλήρης μετρική ,ενώ οι LF-χώροι είναι πλήρεις ομοιόμορφοι διανυσματικοί χώροι που εγείρονται σαν όρια των χώρων Φρεσέτ. 

## Δείτε επίσης
* Χώρος(μαθηματικά)
* Χώρος Χίλμπερτ

## Πηγές


Κατηγορία:Επιστήμες και τεχνολογία στην Πολωνία

Κατηγορία:Μετρική γεωμετρία