Χώρος Χίλμπερτ

[μικρογραφία|Η κατάσταση μιας παλλόμενης χορδής μπορεί να μοντελοποιηθεί ως ένα σημείο σε ένα χώρο Χίλμπερτ. Η αποσύνθεση ενός δονούμενου κορδονιού σε δονήσεις της σε διακριτά [αρμονικούς ήχους δίνεται από την προβολή του σημείου επί των αξόνων συντεταγμένων στο χώρο.]]

Η μαθηματική έννοια του **χώρου Χίλμπερτ**, που πήρε το όνομα του από τον Ντάβιντ Χίλμπερτ, γενικεύει την έννοια του ευκλείδειου χώρου. Επεκτείνει τις μεθόδους της γραμμικής άλγεβρας και του λογισμού, τόσο από το δισδιάστατο ευκλείδειο χώρο, όσο και τον τριδιάστατο χώρο σε χώρους κάθε πεπερασμένου ή άπειρου αριθμού διαστάσεων. Ένας χώρος Χίλμπερτ είναι ένας αφηρημένος διανυσματικός χώρος εφοδιασμένος με εσωτερικό γινόμενο, το οποίο τον καθιστά μετρήσιμο. Επιπλέον, οι χώροι Χίλμπερτ είναι πλήρεις: υπάρχουν δηλαδή αρκετά όρια στον χώρο για να επιτρέψουν τις τεχνικές του λογισμού, που πρέπει να χρησιμοποιηθούν.
  
Χώροι Χίλμπερτ προκύπτουν φυσικά και συχνά στα μαθηματικά και τη φυσική, συνήθως ως απειροδιάστατες λειτουργίες χώρων. Οι πρώτοι χώροι Χίλμπερτ μελετήθηκαν από την άποψη αυτή κατά την πρώτη δεκαετία του 20ού αιώνα από τους Ντέιβιντ Χίλμπερτ, Έρχαρντ Σμιτ και Φρίντες Ρης. Είναι απαραίτητα εργαλεία στις θεωρίες των μερικών διαφορικών εξισώσεων, την κβαντομηχανική, την ανάλυση Φουριέ (η οποία περιλαμβάνει εφαρμογές για την  επεξεργασία σήματος και τη μεταφορά θερμότητας) και την εργοδική θεωρία, η οποία αποτελεί τη μαθηματική υποστήριξη της θερμοδυναμικής. Ο Τζον φον Νόιμαν επινόησε τον όρο χώρο Χίλμπερτ για την αφηρημένη έννοια, που κρύβεται πίσω από πολλές από αυτές τις ποικίλες εφαρμογές. Η επιτυχία των μεθόδων του χώρου Χίλμπερτ μπαίνει σε μια πολύ γόνιμη εποχή για τη συναρτησιακή ανάλυση. Εκτός από τους κλασσικούς Ευκλείδειους  χώρους, παραδείγματα των χώρων Χίλμπερτ περιλαμβάνονται στους χώρους των τετραγωνικά ολοκληρώσιμων συναρτήσεων, τους χώρους των ακολουθιών, τους χώρους Sobolev που αποτελούνται από γενικευμένες συναρτήσεις και τους χώρους Hardy των αναλυτικών συναρτήσεων.

Η γεωμετρική διαίσθηση παίζει σημαντικό ρόλο σε πολλές πτυχές της θεωρίας του χώρου Χίλμπερτ. Ακριβή ανάλογα του πυθαγορείου θεωρήματος και του νόμου παραλληλογράμμου συγκρατούν ένα χώρο Χίλμπερτ. Σε ένα βαθύτερο επίπεδο, η κάθετη προβολή επί ενός υπόχωρου (το ανάλογο της «ρίψης του υψομέτρου» ενός τριγώνου) παίζει σημαντικό ρόλο στη βελτιστοποίηση των προβλημάτων και σε άλλες πτυχές της θεωρίας. Ένα στοιχείο του χώρου Χίλμπερτ μπορεί να προσδιοριστεί με μοναδικό τρόπο από τις συντεταγμένες του σε σχέση με ένα σύνολο από τους άξονες συντεταγμένων (ορθοκανονική βάση), σε αναλογία με καρτεσιανές συντεταγμένες στο επίπεδο. Όταν αυτό το σύνολο των αξόνων είναι αριθμήσιμο άπειρο, αυτό σημαίνει ότι ο χώρος Χίλμπερτ μπορεί επίσης χρησίμως να θεωρηθεί από την άποψη των άπειρων ακολουθιών, που είναι τετράγωνο-αθροίσιμων τετραγωνικών. Οι γραμμικοί φορείς σε ένα χώρο Χίλμπερτ είναι επίσης αρκετά συγκεκριμένα αντικείμενα: σε καλές περιπτώσεις, είναι απλοί μετασχηματισμοί που τεντώνουν το χώρο από διάφορους παράγοντες σε αμοιβαίες κατακόρυφες κατευθύνσεις, με την έννοια ότι γίνονται ακριβείς από τη μελέτη του φάσματος τους.

## Ορισμός και επεξήγηση
### Η παροχή κινήτρων για παράδειγμα: ευκλείδειος χώρος
Ένα από τα πιο γνωστά παραδείγματα ενός χώρου Χίλμπερτ είναι ο Ευκλείδειος χώρος που αποτελείται από τρισδιάστατα διανύσματα, συμβολίζεται με το **R**3, και είναι εφοδιασμένος με το εσωτερικό γινόμενο. Το γινόμενο παίρνει δύο διανύσματα x και y, και παράγει έναν πραγματικό αριθμό x · y. Αν x και y αναπαρίστανται σε καρτεσιανές συντεταγμένες, τότε το γινόμενο ορίζεται από
:(x_1,x_2,x_3)\cdot (y_1,y_2,y_3) = x_1y_1+x_2y_2+x_3y_3.

Το γινόμενο ικανοποιεί τις ιδιότητες:

#Είναι συμμετρικό ως προς x και y: x · y = y · x. 
#Είναι γραμμικό στο πρώτο όρισμά του: (AX1 + BX2) · y = AX1 · y + BX2 · y για κάθε βαθμωτά α, β, και οι φορείς x1, x2 και y.
#Είναι θετικά ορισμένο: για όλα τα διανύσματα x, x · x ≥ 0, με ισότητα αν και μόνο αν x = 0.
Μία συνάρτηση σε ζεύγη φορέων που, όπως και το εσωτερικό γινόμενο, ικανοποιεί αυτές τις τρεις ιδιότητες που είναι γνωστό ως (πραγματικό) εσωτερικό γινόμενο. Ένας διανυσματικός χώρος εφοδιασμένος με ένα τέτοιο εσωτερικό γινόμενο είναι γνωστός ως (πραγματικός) χώρος εσωτερικούγινομένου. Κάθε πεπερασμένων διαστάσεων χώρος εσωτερικού γινομένου είναι επίσης ένας χώρος Χίλμπερτ. Το βασικό χαρακτηριστικό του γινομένου που το συνδέει με την Ευκλείδεια γεωμετρία είναι ότι σχετίζεται τόσο με το μήκος (ή νόρμα) ενός φορέα, και συμβολίζεται ||**x**||, όσο και με τη γωνία θ μεταξύ δύο διανυσμάτων x και y μέσω του τύπου
:\mathbf{x}\cdot\mathbf{y} = \|\mathbf{x}\|\,\|\mathbf{y}\|\,\cos\theta.
Πολυμεταβλητός λογισμός Ευκλείδειο χώρο εξαρτάται από την ικανότητα να υπολογίζουν τα όρια, και να έχουν χρήσιμα κριτήρια για τη σύναψη ότι υπάρχουν όρια. Μια μαθηματική σειρά
:\sum_{n=0}^\infty \mathbf{x}_n
που αποτελείται από φορείς σε **R**3  είναι απολύτως συγκλίνουσα με την προϋπόθεση ότι το άθροισμα των μηκών συγκλίνει ως ένα συνηθισμένο σειρά πραγματικών αριθμών:
:\sum_{k=0}^\infty \|\mathbf{x}_k\| 
Ακριβώς όπως με μια σειρά από βαθμωτά, μια σειρά διανυσμάτων που συγκλίνει απολύτως επίσης συγκλίνει σε κάποιο όριο διάνυσμα L στην Ευκλείδειο χώρο, με την έννοια ότι
:\left\|\mathbf{L}-\sum_{k=0}^N\mathbf{x}_k\right\|\to 0\quad\text{as }N\to\infty.
Αυτή η ιδιότητα εκφράζει την πληρότητα** του Ευκλείδειου διαστήματος: ότι μια σειρά που συγκλίνει απολύτως επίσης συγκλίνει κατά τη συνήθη έννοια του όρου**
### Ορισμός
Ένα χώρο Χίλμπερτ Η είναι μια πραγματική ή ένας πλήρηςεσωτερικός χώρος του γινομένου που είναι επίσης ένας πλήρης μετρικός χώρος σε σχέση με την συνάρτηση απόστασης που επάγεται από το εσωτερικό του προϊόντος. να πούμε ότι το *Η* είναι ένας σύνθετος εσωτερικός χώρος του γινομένου που σημαίνει ότι το *H* είναι ένας πολύπλοκος διανυσματικός χώρος επί του οποίου υπάρχει ένα εσωτερικό γινόμενο \langle x,y\rangle που  συνδέει έναν μιγαδικό αριθμό σε κάθε ζεύγος στοιχείων *x*, *y* του *H* που ικανοποιεί τις ακόλουθες ιδιότητες:
*Το εσωτερικό γινόμενο ενός ζεύγους στοιχείων είναι ίσο με τη μιγαδική συζυγή του εσωτερικού γινομένου των ανταλλαγμένων στοιχείων:
::\langle y,x\rangle = \overline{\langle x, y\rangle}.
*Το εσωτερικό γινόμενο είναι γραμμικό στο πρώτο επιχείρημά του. [3] Για όλους τους μιγαδικούς αριθμούς α και β,
::\langle ax_1+bx_2, y\rangle = a\langle x_1, y\rangle + b\langle x_2, y\rangle.
*Το εσωτερικό γινόμενο ενός στοιχείου με τον εαυτό της είναι θετικα ορισμένο:
::\langle x,x\rangle \ge 0

η υπόθεση της ισότητας ισχύει ακριβώς όταν *x*&nbsp;=&nbsp;0.
Όπως προκύπτει από τις ιδιότητες 1 και 2 ότι ένα σύνθετο εσωτερικό γινόμενο είναι αντιγραμμικός ή μιγαδικός συζυγής (antilinear) στο δεύτερο επιχείρημά της, πράγμα που σημαίνει ότι
:\langle x, ay_1+by_2\rangle = \bar{a}\langle x, y_1\rangle + \bar{b}\langle x, y_2\rangle.
Ένας πραγματικός εσωτερικός χώρος του γινομένου ορίζεται με τον ίδιο τρόπο, εκτός του ότι Η είναι ένας πραγματικός διανυσματικός χώρος και το εσωτερικό γινόμενο παίρνει πραγματικές τιμές. Ένα τέτοιο εσωτερικό γινόμενο θα είναι διγραμμικό: δηλαδή, γραμμικό σε κάθε επιχείρημα.

Ο κανόνας είναι η πραγματική λειτουργία αποτιμώνται
:\|x\| = \sqrt{\langle x,x \rangle},
και η απόσταση d μεταξύ δύο σημείων x, y στο Η ορίζεται σε όρους του κανόνα με

:d(x,y)=\|x-y\| = \sqrt{\langle x-y,x-y \rangle}.

Οτί αυτή η λειτουργία είναι ένα μέσο συνάρτηση απόστασης (1) ότι είναι συμμετρική στην x και y, (2) ότι η απόσταση μεταξύ χ και η ίδια είναι μηδέν, και αλλιώς η απόσταση μεταξύ Χ και Υ πρέπει να είναι θετική, και (3)  η τριγωνική ανισότητα κατέχει, πράγμα που σημαίνει ότι το μήκος του ενός ποδιού ενός τριγώνου XYZ δεν μπορεί να υπερβαίνει το άθροισμα των μηκών των άλλων δύο σκελών:
:d(x,z) \le d(x,y) + d(y,z).
Η τελευταία αυτή ιδιότητα είναι τελικά συνέπεια της πιο θεμελιώδης ανισότητας Κωσύ-Σβαρτς, η οποία υποστηρίζει
:|\langle x, y\rangle| \le \|x\|\,\|y\|
με ισότητα αν και μόνο αν x και y είναι γραμμικά εξαρτημένες.
Σε σχέση με μία συνάρτηση απόστασης που ορίζεται με τον τρόπο αυτό, κάθε εσωτερικός χώρος γινομένου είναι ένας μετρικός χώρος, και μερικές φορές είναι γνωστός ως ένας χώρος προ-Χίλμπερτ.  Κάθε χώρος προ-Χίλμπερτ που είναι επίσης ένας πλήρης χώρος είναι ένας χώρος Χίλμπερτ. Η πληρότητα εκφράζεται χρησιμοποιώντας μια μορφή του κριτηρίου Κωσύ για τις ακολουθίες σε H: ένας προ-χώρος Χίλμπερτ Η είναι πλήρης αν κάθε ακολουθία Κωσύ συγκλίνει σε σχέση με αυτό το πρότυπο σε ένα στοιχείο στο χώρο. Πληρότητα μπορεί να χαρακτηριστεί από την ακόλουθη ισοδύναμη κατάσταση: εάν μια σειρά διανυσμάτων \textstyle{\sum_{k=0}^\infty u_k} 
συγκλίνει απόλυτα με την έννοια ότι
:\sum_{k=0}^\infty\|u_k\| 
τότε η σειρά συγκλίνει στο H, με την έννοια ότι τα μερικά αθροίσματα συγκλίνουν σε ένα στοιχείο του Η.

Ως ένα πλήρες νόρμα χώρου, χώροι Χίλμπερτ είναι εξ ορισμού και χώροι Μπάναχ. Ως εκ τούτου είναι τοπολογικοί χώροι του φορέα, στον οποίο είναι σαφώς καθορισμένες τοπολογικές έννοιες, όπως η διαφάνεια και η κλειστότητα των υποσυνόλων. Ιδιαίτερης σημασίας είναι η έννοια ενός κλειστού γραμμικού υποχώρου ενός χώρου Χίλμπερτ ότι, με το εσωτερικό γινόμενο που προκαλείται από περιορισμό, είναι επίσης πλήρης (είναι ένα κλειστό σύνολο σε ένα πλήρη μετρικό χώρο) και ως εκ τούτου, ένας χώρος Χίλμπερτ από μόνο του.

### Δεύτερο παράδειγμα: ακολουθίας χώρων

Η αλληλουχία χώρου *ℓ*2 αποτελείται από όλες τις άπειρες αλληλουχίες **z**&nbsp;=&nbsp;(*z**1*,*z*2,...)των μιγαδικών αριθμών τέτοια ώστε η σειρά
:\sum_{n=1}^\infty |z_n|^2
να συγκλίνει. Το εσωτερικό γινόμενο για *ℓ*2 ορίζεται από
:\langle \mathbf{z},\mathbf{w}\rangle = \sum_{n=1}^\infty z_n\overline{w_n},
με τις τελευταίες σειρές να συγκλίνουν ως συνέπεια της ανισότητας Κωσύ-Σβαρτς.

Η πληρότητα του χώρου ισχύει υπό τον όρο ότι κάθε φορά που μια σειρά από στοιχεία από  *ℓ*2 συγκλίνει απολύτως (στο πρότυπο), τότε θα συγκλίνει σε ένα στοιχείο του  *ℓ*2. Η απόδειξη είναι βασική στην μαθηματική ανάλυση και επιτρέπει την μαθηματική σειρά στοιχείων του χώρου που πρέπει να χειριστεί με την ίδια ευκολία όπως σειρά των μιγαδικών αριθμών (ή οι φορείς σε ένα πεπερασμένο διαστάσεων Ευκλείδειο χώρο).

## Ιστορία
μικρογραφία
Πριν από την ανάπτυξη των χώρων Χίλμπερτ, άλλες γενικεύσεις του Ευκλίδειου  χώρου ήταν γνωστές απο μαθηματικούς και φυσικούς. Ειδικότερα, η ιδέα ενός αφηρημένου γραμμικού χώρου είχε κερδίσει κάποια έλξη προς το τέλος του 19ου αιώνα : είναι ένας χώρος του οποίου τα στοιχεία μπορούν να αθροιστούν και να πολλαπλασιαστούν με βαθμωτά μεγέθη (όπως το πραγματικό ή μιγαδικών αριθμών), χωρίς κατ 'ανάγκην την αναγνώριση. Αυτά τα στοιχεία με «γεωμετρικούς" φορείς, όπως οι φορείς της θέσεις και της ορμής σε φυσικά συστήματα. Άλλα αντικείμενα που μελετήθηκαν από μαθηματικούς στο γύρισμα του 20ου αιώνα, ιδίως χώρους των ακολουθιών (συμπεριλαμβανομένων των σειρών) και τους χώρους των λειτουργιών , μπορεί φυσικά να θεωρηθεί ως γραμμικοί χώροι. Λειτουργίες, για παράδειγμα, μπορούν να προστεθούν ή να πολλαπλασιαστούν με συνεχή βαθμωτά μεγέθη, και οι πράξεις αυτές υπακούουν στους νόμους αλγεβρικά ικανοποιημένες με την προσθήκη και κλιμακωτό πολλαπλασιασμό των χωρικών φορέων.

Στην πρώτη δεκαετία του 20ου αιώνα, παράλληλες εξελίξεις οδήγησαν στην εισαγωγή των χώρων Χίλμπερτ. Η πρώτη από αυτές ήταν η παρατήρηση, η οποία προέκυψε κατά τη διάρκεια του Ντάβιντ Χίλμπερτ και η μελέτη Erhard Schmidt των αναπόσπαστο εξισώσεις, ότι δύο τετραγωνικά ολοκληρώσιμες πραγματικές συναρτήσεις f και g σε ένα διάστημα [*a*,*b*] έχουν ένα εσωτερικό γινόμενο
:\langle f,g \rangle = \int_a^b f(x)g(x)\,dx

το οποίο έχει πολλές από τις γνωστές ιδιότητες του Ευκλείδειου γινομένου. Ειδικότερα, η ιδέα ενός ορθογώνιου γένους των λειτουργιών έχει νόημα. Ο Schmidt εκμεταλλεύτηκε την ομοιότητα αυτού του εσωτερικού του γινομένου με τον συνήθη εσωτερικό γινόμενο για να αποδείξει ένα ανάλογο της φασματικής ανάλυσης για ένα χειριστή της μορφής
:f(x) \mapsto \int_a^b K(x,y) f(y)\, dy

όπου Κ είναι μια συνεχής συμμετρική συνάρτηση x και y. Η προκύπτουσα επέκταση ιδιοσυνάρτησης εκφράζει τη συνάρτηση Κ ως μια σειρά της μορφής
:K(x,y) = \sum_n \lambda_n\varphi_n(x)\varphi_n(y)\,
όπου οι λειτουργίες *φ**n* είναι ορθογώνιες με την έννοια ότι ⟨*φ**n*,*φ**m*⟩  0  για κάθε . Οι επιμέρους όροι αυτής της σειράς μερικές φορές αναφέρονται ως στοιχειώδεις λύσεις του γινομένου. Ωστόσο, υπάρχουν επεκτάσεις ιδιοσυνάρτησης που αποτυγχάνουν να συγκλίνουν σε μια λογική σειρά με μια τετραγωνική ολοκληρώσιμη λειτουργεία: το συστατικό που λείπει, το οποίο εξασφαλίζει τη σύγκλιση, είναι πληρότητα 
.

Η δεύτερη εξέλιξη ήταν το ολοκλήρωμα Λεμπέσγκ, μια εναλλακτική λύση για το ολοκλήρωμα Ρίμαν εισήγαγε ο Ανρί Λεμπέσγκ το 1904.  Το πλήρες Lebesgue κατέστησε δυνατή την ενσωμάτωση μιας πολύ ευρύτερης κατηγορίας των λειτουργιών. Το 1907, Frigyes Riesz και Ernst Sigismund Fischer ανεξάρτητα απέδειξε ότι ο χώρος *L*2 της πλατείας Λεμπέσγκ ολοκληρώσιμων λειτουργιών είναι ένα πλήρως μετρικό χώρο. Ως συνέπεια της αλληλεπίδρασης μεταξύ της γεωμετρίας και πληρότητας, τα αποτελέσματα του 19ου αιώνα από τον Ζοσέφ Φουριέ, Φρίντριχ Μπέσελ και ο Marc-Antoine Parseval για τριγωνομετρικές σειρές μεταφέρεται εύκολα πάνω σε αυτούς τους πιο γενικές χώρους, με αποτέλεσμα σε ένα γεωμετρικό και αναλυτικό εξοπλισμό τώρα συνήθως γνωστό ως το θεώρημα Riesz-Fischer.
Περαιτέρω βασικά αποτελέσματα αποδείχθηκαν στις αρχές του 20ου αιώνα. Για παράδειγμα, η αναπαράσταση του θεωρήματος Reisz  ιδρύθηκε από τον Maurice Fréchet και Φρίγκιες Ρης το 1907. Ο John von Neumann επινόησε τον όρο αφηρημένο χώρο Χίλμπερτ στο έργο του για απεριόριστη Hermitian φορείς. Παρά το γεγονός ότι άλλοι μαθηματικοί, όπως Hermann Weylκαι Norbert Wiener είχαν ήδη μελετήσει συγκεκριμένα χώρους Χίλμπερτ με μεγάλη λεπτομέρεια, συχνά από άποψη φυσικών κινήτρων, ο von Neumann έδωσε την πρώτη πλήρη και αξιωματική θεραπεία τους. Ο Von Neumann αργότερα τα χρησιμοποίησε στη δημιουργικό έργο του πάνω στα θεμέλια της κβαντικής μηχανικής,, και τη συνέχιση του έργου του με τον Eugene Wigner. Το όνομα "χώρος Χίλμπερτ" σύντομα υιοθετήθηκε από τους άλλους, για παράδειγμα, από τον Hermann Weyl στο βιβλίο του για την κβαντική μηχανική και η θεωρία των ομάδων.

Η σημασία της έννοιας του χώρου Χίλμπερτ υπογραμμίστηκε με την υλοποίηση που προσφέρει μία από τις καλύτερες μαθηματικές διατυπώσεις της κβαντικής μηχανικής.  Εν ολίγοις, τα στάδια του συστύματος της κβαντικής μηχανικής  είναι φορείς σε ένα συγκεκριμένο χώρο Χίλμπερτ, τα παρατηρήσιμα είναι ερμιτιανοί φορείς στον εν λόγω χώρο, οι συμμετρίες του συστήματος είναι ενιαίοι φορείς, και οι μετρήσεις είναι ορθογώνιες προβολές. Η σχέση μεταξύ των συμμετριών της κβαντικής μηχανικής είναι ενιαίοι φορείς που έδωσαν ώθηση για την ανάπτυξη της ενιαίας εκπροσώπησης της θεωρίαςτων ομάδων, που ξεκίνησε το 1928 το έργο του Hermann Weyl. Από την άλλη πλευρά, στις αρχές του 1930 έγινε σαφές ότι η κλασική μηχανική μπορεί να περιγραφεί από την άποψη του χώρου Χίλμπερτ (Koopman-νοη Neumann κλασσική μηχανική) και ότι ορισμένες ιδιότητες της κλασικών δυναμικών συστημάτων μπορεί να αναλυθεί χρησιμοποιώντας τεχνικές Χίλμπερτ χώρου στο πλαίσιο της εργοδικής θωριάς. 
Η άλγεβρα των παρατηρήσιμων στην κβαντομηχανική είναι φυσικά μια άλγεβρα των φορέων που ορίζεται σε ένα χώρο Χίλμπερτ, σύμφωνα με τη μηχανική μήτρα σκευάσματος  Βέρνερ Χάιζενμπεργκ της κβαντικής θεωρίας. Von Neumann άρχισε να ερευνά τον αλγεβρικό φορέα το 1930, όπως οι δακτύλιοι των φορέων σε ένα χώρο Χίλμπερτ. Το είδος των αλγεβρών που μελετήθηκαν από von Neumann και τους συγχρόνους του, είναι πλέον γνωστή ως von Neumann άλγεβρες. Στη δεκαετία του 1940, ο Israel Gelfand, Mark Naimark και Irving Segal έδωσε έναν ορισμό του είδους των αλγεβρικών φορέων που ονομάζεται C *-άλγεβρες που από τη μία πλευρά δεν έκανε καμία αναφορά σε υποκείμενο χώρο Χίλμπερτ, και από την άλλη επεκτάθηκαν πολλά από τα χρήσιμα χαρακτηριστικά γνωρίσματα του αλγεβρικού φορέα που είχαν προηγουμένως μελετηθεί. Το θεώρημα για τους αυτο-τελεστές που κρύβονται πίσω από μεγάλο μέρος της υφιστάμενης θεωρίας χώρο Χίλμπερτ  γενικεύτηκε στις C *-άλγεβρες. Αυτές οι τεχνικές είναι πλέον βασικές στην αφηρημένη αρμονική ανάλυση και την θεωρία της εκπροσώπησης.

## Παραδείγματα
### ΧώροςLebesgue

Lebesgue χώροι είναι οι χώροι λειτουργίας που σχετίζονται με τη μέτρηση χώρων (*X*, *M*, *μ*), όπου το *Χ* είναι ένα σύνολο, το *Μ* είναι μια σ-άλγεβρα υποσυνόλων του *X*, και *μ* είναι ένα αριθμήσιμο πρόσθετο μέτρο για την *Μ*. Ας *L*2(*X*, μ) είναι ο χώρος αυτών των μιγαδικών μετρήσιμων συναρτήσεων στο *Χ* για την οποία το Lebesgue ολοκλήρωμα του τετραγώνου της απόλυτης τιμής της συνάρτησης είναι πεπερασμένη, δηλαδή, για μια συνάρτηση *f* στο *L*2(*X*,μ),
: \int_X |f|^2 d \mu  
και όπου οι λειτουργίες οι οποίες προσδιορίζονται αν και μόνο αν διαφέρουν μόνο σε ένα σύνολο μέτρου μηδέν
Το εσωτερικό γινόμενο των συναρτήσεων *f* και *g* στο *L*2(*X*, μ) στη συνέχεια ορίζεται ως
:\langle f,g\rangle=\int_X f(t) \overline{g(t)} \ d \mu(t).
Για *f* και *g* στο *L*2, αυτό το αναπόσπαστο υπάρχει λόγω της ανισότητας Κωσύ-Σβαρτς, και ορίζει ένα εσωτερικό γινόμενο στο χώρο. Εξοπλισμένο με αυτό το εσωτερικό γινόμενο, το *L*2 στην πραγματικότητα είναι πλήρης . Το πλήρες Lebesgue είναι απαραίτητο για τη διασφάλιση της πληρότητας:. Όσον αφορά τους τομείς των πραγματικών αριθμών, για παράδειγμα, δεν είναι αρκετές οι λειτουργίες Ρίμαν ολοκληρώσιμες .

Οι χώροι Lebesgue εμφανίζονται σε πολλές φυσικές ρυθμίσεις. Οι χώροι *L*2(**R**) και *L*2([0,1])των ολοκληρώσιμων τετραγωνικών λειτουργιών σε σχέση με το μέτρο Lebesgue στην πραγματική γραμμή και διαστήματος της μονάδας, αντίστοιχα, είναι τα φυσικά πεδία στα οποία θα καθορίσει ο μετασχηματισμός Fourier και σειρές Fourier. Σε άλλες περιπτώσεις, το μέτρο μπορεί να είναι κάτι διαφορετικό από τα συνηθισμένα μέτρα Lebesgue στην πραγματική ευθεία. Για παράδειγμα, εάν το *w* είναι οποιαδήποτε θετική μετρήσιμη συνάρτηση, ο χώρος όλων των μετρήσιμων συναρτήσεων *f* στο διάστημα [0, 1], ικανοποιώντας
:\int_0^1 |f(t)|^2w(t)\,dt 

ονομάζεται το σταθμισμένο χώρο weighted *L*2 space *L*([0,1], και *w* καλείται η συνάρτηση βάρους. Το εσωτερικό γινόμενο ορίζεται από
:\langle f,g\rangle=\int_0^1 f(t) \overline{g(t)} w(t) \, dt.
Ο σταθμισμένος χώρος *L*([0,1]) είναι πανομοιότυπο  με το χώρο Χίλμπρτ *L*2 ([0,1], μ),  όπου το μέτρο μ ένα Lebesgue μετρήσιμη σύνολο *A* ορίζεται από
:\mu(A) = \int_A w(t)\,dt.
Σταθμισμένοι χώροι *L*2 όπως αυτό συχνά χρησιμοποιούνται για τη μελέτη ορθογώνιων πολυωνύμων, επειδή διαφορετικές οικογένειες των ορθογωνίων πολυωνλυμων είναι ορθογώνια σε σχέση με διαφορετικές λειτουργίες στάθμισης.

### Χώροι Sobolev
 
Χώροι Sobolev, συμβολίζεται με *H**s* or , είναι χώροι Χίλμπερτ. Αυτό είναι ένα ιδιαίτερο είδος του χώρου λειτουργίας στις οποίες μπορεί να πραγματοποιηθεί η διαφοροποίηση, αλλά ότι (σε αντίθεση με άλλους χώρους Μπάναχ όπως oi χώροι Hölder) υποστηρίζουν τη δομή ενός εσωτερικού προϊόντος. Επειδή η διαφοροποίηση επιτρέπεται, χώροι Sobolev είναι μια βολική τοποθεσία για τη θεωρία των μερικών διαφορικών εξισώσεων. Μπορούν επίσης να αποτελέσουν τη βάση της θεωρίας των άμεσων μεθόδων στο λογισμό των μεταβολών.

Για *s* ένας μη αρνητικός ακέραιος και , η Sobolev χώρο *H**s*(Ω) περιέχει L2  λειτουργίες των οποίων τα αδύναμα παράγωγα της τάξης έως και *s* είναι επίσης L2. Το εσωτερικό γινόμενο στο *H*s(Ω) είναι

:\langle f,g\rangle = \int_\Omega f(x)\bar{g}(x)\,dx + \int_\Omega D f\cdot D\bar{g}(x)\,dx + \cdots + \int_\Omega D^s f(x)\cdot D^s \bar{g}(x)\, dx

όταν η κουκίδα υποδεικνύει το γινόμενο στο ευκλείδειο χώρο των μερικών παραγώγων της κάθε παραγγελίας. Χώροι Sobolev μπορεί επίσης να οριστεί όταν *s* δεν είναι ακέραιος.

Χώροι Sobolev επίσης μπορεί να μελετηθεί από την άποψη της φασματικής θεωρίας, επικαλούμενη ειδικότερα στη δομή χώρο Χίλμπερτ. Αν Ω είναι ένα κατάλληλο πεδίο, τότε μπορεί κανείς να καθορίσει το χώρο Sobolev *H**s*(Ω), όπως χώρο των δυναμικών Bessel  περίπου,

:H^s(\Omega) = \{ (1-\Delta)^{-s/2}f | f\in L^2(\Omega)\}.

Εδώ Δ είναι η Laplacian και (1&nbsp;&minus;&nbsp;Δ)&minus;*s*/2 είναι κατανοητό από την άποψη του φασματικού θεωρήματος χαρτογράφησης. Εκτός από την παροχή ενός λειτουργικού ορισμού των χώρων Sobolev για μη ακέραιο *s*, ο ορισμός αυτός έχει επίσης ιδιαίτερα επιθυμητές ιδιότητες στο πλαίσιο του μετασχηματισμού Fourier που το καθιστούν ιδανικό για τη μελέτη των ψευδοδιαφορετικών φορέων. Χρησιμοποιώντας αυτές τις μεθόδους σε ένα πολλαπλό συμπαγές Riemannian, μπορεί να ληφθεί, για παράδειγμα, την αποσύνθεση Hodge, η οποία είναι η βάση της θεωρίας Hodge.

### Χώροι με holomorphic λειτουργίες
; Χώροι Hardy
Οι χώροι Hardy είναι οι χώροι λειτουργίας, που προκύπτουν σε πολύπλοκες αναλύσεις και αρμονική ανάλυση, του οποίου τα στοιχεία έχουν ορισμένες ολομορφικές λειτουργίες σε ένα πολύπλοκο τομέα. Αν *U* χαρακτηρίζει το δίσκο μονάδας στο μιγαδικό επίπεδο. Στη συνέχεια, ο Hardy χώρος *H*2(*U*) ορίζεται ως το χώρο των ολομορφικών συναρτήσεων *f* στο *U* τέτοια ώστε τα μέσα
:M_r(f) = \frac{1}{2\pi}\int_0^{2\pi}|f(re^{i\theta})|^2\,d\theta
παραμένουν οριοθετημένα για . Ο κανόνας για αυτόν τον Hardy χώρο οριοθετείται από

:\|f\|_2 = \lim_{r\to 1} \sqrt{M_r(f)}.

Οι Hardy χώροι στο δίσκο που σχετίζονται με την σειρά Fourier. Μια συνάρτηση *f* είναι σε *H*2(*U*) αν και μόνο αν

:f(z) = \sum_{n=0}^\infty a_nz^n
όπου
:\sum_{n=0}^\infty\,|a_n|^2 

Έτσι,*H*2(*U*) αποτελείται από τις λειτουργίες που είναι L2 στον κύκλο, και των οποίων η αρνητικοί συχνότητα συντελεστές Fourier εξαφανίζονται.

;Χώροι Bergman

Οι χώροι Bergman είναι μια άλλη οικογένεια ολομορφικών λειτουργειών των Χίλμπερτ χώρων.. Ας είναι το *D* ένα ανοιχτό σύνολο που οριοθετείται στο μιγαδικό επίπεδο (ή ένα υψηλότερων διαστάσεων χώρο complex) και αφήστε το *L*2,*h*(*D*) είναι ο χώρος της ολομορφικής λειτουργίας *f* στο *D* που είναι επίσης στο *L*2(*D*) με την έννοια ότι
:\|f\|^2 = \int_D |f(z)|^2\,d\mu(z) 

όπου το ολοκλήρωμα λαμβάνεται σε σχέση με το μέτρο Lebesgue στο *D*. Σαφώς *L*2, *h*(*D*) είναι υπόχωρος του *L*2(*D*); Στην πραγματικότητα, είναι ένα κλειστός υποχώρος, και έτσι ένας χώρος Χίλμπερτ από μόνο του. Αυτό είναι συνέπεια της εκτίμησης, που ισχύει για συμπαγείς υποσύνολα *K* του *D*, ότι

:\sup_{z\in K} |f(z)| \le C_K \|f\|_2,

η οποία με τη σειρά της προκύπτει από ολοκληρωτικό τύπο του Κωσύ. Έτσι σύγκλιση μιας ακολουθίας ολομορφικών λειτουργιών στο *L*2(*D*) συνεπάγεται επίσης συμπαγής σύγκλιση, και έτσι η λειτουργία ορίου είναι επίσης ολομορφική. Μια άλλη συνέπεια αυτής της ανισότητας είναι ότι η γραμμική λειτουργική που αξιολογεί μια συνάρτηση *f* σε ένα σημείο *D* είναι πραγματικά συνεχής στο *L*2,*h*(*D*). Η αναπαράσταση του θεωρήματος Riesz συνεπάγεται ότι η λειτουργική αξιολόγηση μπορεί να αναπαρασταθεί ως ένα στοιχείο της *L*2,*h*(*D*). Έτσι, για κάθε *z*&nbsp;∈&nbsp;*D*, υπάρχει μια συνάρτηση *z*&nbsp;∈&nbsp;*L*2,*h*(*D*), h (D) έτσι ώστε
:f(z) = \int_D f(\zeta)\overline{\eta_z(\zeta)}\,d\mu(\zeta)
για όλες τις *f* ∈ *L*2,*h*(*D*). το ολοκλήρωμα
:K(\zeta,z) = \overline{\eta_z(\zeta)}
είναι γνωστή ως πυρήνα Bergman του *D*. Αυτό αναπόσπαστο πυρήνα ικανοποιεί ένα ακίνητο αναπαραγωγής
:f(z) = \int_D f(\zeta)K(\zeta,z)\,d\mu(\zeta).

Ένας χώρος Bergman είναι ένα παράδειγμα ενός πυρήνα αναπαραγωγής Χίλμπερτ χώρο, η οποία είναι ένας χώρος Χίλμπερτ λειτουργιών μαζί με ένα πυρήνα *K*(ζ,*z*), που επαληθεύει μια ιδιότητα αναπαραγωγής ανάλογη προς αυτό. Ο χώρος Hardy  *H*2(*D*) παραδέχεται επίσης έναν πυρήνα αναπαραγωγής, που είναι γνωστός ως πυρήνα Szegő. Οι αναπαραγωγικοί πυρήνες είναι κοινοί σε άλλους τομείς των μαθηματικών, καθώς και για παράδειγμα, στην αρμονική ανάλυση ο πυρήνας Πουασόν είναι ένας πυρήνας αναπαραγωγής για τον χώρο Χίλμπερτ των ολοκληρώσιμων τετραγωνικών αρμονικών συναρτήσεων στη μπάλα μονάδας. Αυτό το τελευταίο είναι ένας χώρος Χίλμπερτ σε όλα είναι συνέπεια του θεωρήματος μέσης τιμής για αρμονικές συναρτήσεις.

## Εφαρμογές

Πολλές από τις εφαρμογές των χώρων Χίλμπερτ εκμεταλλεύονται το γεγονός ότι οι χώροι Χίλμπερτ υποστηρίζουν γενικεύσεις των απλών γεωμετρικών εννοιών όπως η προβολή και την αλλαγή της βάσης από τα συνήθη πεπερασμένων διαστάσεων περιβάλλον τους. Ειδικότερα, η φασματική θεωρία της συνεχούς αυτοσυζυγής γραμμικών φορέων σε ένα χώρο Χίλμπερτ γενικεύει τη συνήθη φασματική αποσύνθεση της μήτρας, και αυτό παίζει συχνά σημαντικό ρόλο σε εφαρμογές της θεωρίας σε άλλους τομείς των μαθηματικών και της φυσικής.

### Θεωρία Sturm–Liouville
[μικρογραφία|Οι αποχρώσεις της παλλόμενης χορδής. Αυτές είναι ιδιοσυνάρτηση ενός σχετικού πρόβληματος Sturm-Liouville. Οι ιδιοτιμές 1,1 / 2,1 / 3, ... αποτελούν τη (μουσική) [αρμονική σειρά.]]
Στη θεωρία των συνήθων διαφορικών εξισώσεων, οι φασματικές μέθοδοι σε κατάλληλο χώρο Χίλμπερτ χρησιμοποιούνται για τη μελέτη της συμπεριφοράς των ιδιοτιμών και ιδιοσυναρτήσεων των διαφορικών εξισώσεων. Για παράδειγμα, το πρόβλημα Sturm-Liouville τίθεται στη μελέτη των αρμονικών κυμάτων σε μια συμβολοσειρά βιολιού ή ένα τύμπανο, και είναι ένα κεντρικό πρόβλημα σε συνήθεις διαφορικές εξισώσεις
. Το πρόβλημα είναι μια διαφορική εξίσωση της μορφής

: -\frac{d}{dx}\left[p(x)\frac{dy}{ dx}\right]+q(x)y=\lambda w(x)y
για μια άγνωστη συνάρτηση *y* σε ένα διάστημα  [*a*,*b*],  ικανοποιώντας γενικές ομοιογενείς Robin συνοριακές συνθήκες
:\begin{cases}
\alpha y(a)+\alpha' y'(a)=0\\
\beta y(b) + \beta' y'(b)=0.
\end{cases}
Οι λειτουργίες *p*,*q* και *w* δίδονται εκ των προτέρων, και το πρόβλημα είναι να βρούμε τη συνάρτηση y και οι σταθερές *λ* για τις οποίες η εξίσωση έχει μια λύση. Το πρόβλημα έχει μόνο λύσεις για ορισμένες τιμές των λ, που ονομάζονται ιδιοτιμές του συστήματος, και αυτό αποτελεί συνέπεια της φασματικής θεώρημα για συμπαγείς φορείς που εφαρμόζονται στο αναπόσπαστο φορέα που ορίζεται από τη Green λειτουργία για το σύστημα. Επιπλέον, μια άλλη συνέπεια αυτού του γενικού αποτελέσματος είναι ότι οι ιδιοτιμές λ του συστήματος μπορούν να διατάσσονται σε μια αυξανόμενη ακολουθία που τείνει στο άπειρο.

### Μερικές διαφορικές εξισώσεις
Χώροι Χίλμπερτ αποτελούν βασικό εργαλείο για τη μελέτη των μερικών διαφορικών εξισώσεων. Για πολλές τάξεις των μερικών διαφορικών εξισώσεων, όπως γραμμικές ελλειπτικές μερικές διαφορικές εξισώσεις, είναι δυνατόν να εξετάσει μια γενικευμένη λύση (γνωστή ως ένα ασθενές) με τη διεύρυνση της κατηγορίας των λειτουργιών. Πολλές αδύναμες τυποποιήσεις περιλαμβάνουν την κατηγορία των λειτουργιών Sobolev, η οποία είναι ένας χώρος Χίλμπερτ. Ένα κατάλληλο ασθενές σκεύασμα μειώνει σε ένα γεωμετρικό πρόβλημα το αναλυτικό πρόβλημα της εύρεσης ενός διαλύματος ή, συχνά αυτό είναι πιο σημαντικό, δείχνοντας ότι υπάρχει μια λύση και είναι μοναδική για τα δεδομένα στοιχεία σύνορο. Για γραμμικές εξισώσεις ελλειπτικού, ένα γεωμετρικό αποτέλεσμα που εξασφαλίζει μοναδική φερεγγυότητα για μια μεγάλη κατηγορία προβλημάτων είναι το θεώρημα Lax-Milgram. Αυτή η στρατηγική αποτελεί το στοιχείο της μεθόδου Galerkin (πεπερασμένων στοιχείων) για την αριθμητική επίλυση μερικών διαφορικών εξισώσεων. [31]

Ένα χαρακτηριστικό παράδειγμα είναι η εξίσωση Poisson-Δυ = g με οριακές συνθήκες Dirichlet σε περιορισμένη Ω τομέα στο R2. Το ασθενές σκεύασμα αποτελείται από την εξεύρεση μιας συνάρτησης u τέτοια ώστε, για όλες τις λειτουργίες συνεχώς παραγωγίσιμη ν σε Ω φυγής στο όριο:

Αυτό μπορεί να αναδιατυπωθεί ως προς το χώρο Χίλμπερτ H1 
0 (Ω) που αποτελείται από τις λειτουργίες u τέτοια ώστε u, μαζί με την ασθενή μερικές παραγώγους της, είναι ολοκληρώσιμο τετράγωνο στο Ω, και εξαφανίζονται στο όριο. Το ερώτημα, λοιπόν, μειώνει την εξεύρεση u σε αυτό το χώρο, έτσι ώστε για όλα τα v σε αυτό το χώρο

όπου α είναι μια συνεχής διγραμμική μορφή, και b είναι μια συνεχής γραμμική λειτουργικό, δίνεται αντίστοιχα από

Δεδομένου ότι η εξίσωση Poisson είναι ελλειπτικό, όπως προκύπτει από την ανισότητα Poincaré ότι η διγραμμική μορφή a είναι καταναγκαστική. Το θεώρημα Lax-Milgram εξασφαλίζει στη συνέχεια την ύπαρξη και την μοναδικότητα των λύσεων της εξίσωσης.

Οι χώροι Χίλμπερτ επιτρέπουν πολλές ελλειπτικές διαφορικές εξισώσεις που πρέπει να διατυπωθούν με παρόμοιο τρόπο, και το θεώρημα Lax-Milgram είναι τότε ένα βασικό εργαλείο για την ανάλυση τους. Με κατάλληλες τροποποιήσεις, παρόμοιες τεχνικές μπορούν να εφαρμοστούν σε παραβολική μερικών διαφορικών εξισώσεων και ορισμένων υπερβολικών μερικών διαφορικών εξισώσεων.

### Θεωρία Ergodic
[μικρογραφία|Η διαδρομή μιας μπάλας του [μπιλιάρδου  στο Bunimovich γήπεδο περιγράφεται από ένα εργοδικό δυναμικό σύστημα]]
Το πεδίο της εργοδικής θεωρίας είναι η μελέτη της μακροπρόθεσμης συμπεριφοράς των xαοτικών δυναμικών συστημάτων. Η πρωτοτυπική περίπτωση ενός πεδίου που η εργοδική θεωρία ισχύει και για είναι θερμοδυναμική, στην οποία-αν και η μικροσκοπική κατάσταση ενός συστήματος είναι εξαιρετικά περίπλοκη (είναι αδύνατο να κατανοήσουμε το σύνολο των επιμέρους συγκρούσεων μεταξύ των σωματιδίων της ύλης), τη μέση συμπεριφορά για αρκετά μεγάλα χρονικά διαστήματα είναι προσιτό. Οι νόμοι της θερμοδυναμικής, οι ισχυρισμοί για τέτοια μέση συμπεριφορά. Ειδικότερα, ένα σκεύασμα της μηδενικής νόμου της θερμοδυναμικής ισχυρίζεται ότι πάνω από αρκούντως μακρά χρονοδιαγράμματα, η μόνη λειτουργικά ανεξάρτητη μέτρηση που μπορεί κανείς να κάνει ένα θερμοδυναμικό σύστημα σε ισορροπία είναι η συνολική ενέργεια του, υπό τη μορφή της θερμοκρασίας.

Ένα εργοδικό δυναμικό σύστημα είναι εκείνο για το οποίο, εκτός από την ενέργεια, που μετράται από το Hamiltonian-, δεν υπάρχουν άλλες λειτουργικά ανεξάρτητες συντηρημένες ποσότητες στο χώρο των φάσεων. Πιο συγκεκριμένα, ας υποθέσουμε ότι η ενέργεια *Ε* είναι σταθερό, και αφήστε Ω*E* είναι το υποσύνολο του χώρου φάσεων που αποτελείται από όλα τα κράτη της ενέργειας *E* (μια επιφανειακή ενέργεια), και αφήστε *T**t* χαρακτηρίζει το φορέα εξέλιξης στο χώρο των φάσεων. Το δυναμικό σύστημα είναι εργοδική εάν δεν υπάρχουν συνεχείς μη συνεχείς λειτουργίες της Ω*E* τέτοια ώστε
:f(T_tw) = f(w)\,
για όλα τα *w* on Ω*E* και για κάθε χρόνο *t* Θεώρημα Liouville συνεπάγεται ότι υπάρχει μια μ μέτρο για την επιφανειακή ενέργεια που είναι αναλλοίωτη κάτω από το χρόνο μετάφραση. Ως αποτέλεσμα, η μετάφραση του χρόνου είναι ένα μοναδιαίος μετασχηματισμός του χώρου Χίλμπερτ *L*2(Ω*E*,μ) που αποτελείται από ολοκληρώσιμες τετραγωνικές λειτουργίες της ενέργειας επιφανείας Ω*E* σε σχέση με το εσωτερικό γινόμενο 
:\langle f,g\rangle_{L^2(\Omega_E,\mu)} = \int_E f\bar{g}\,d\mu.

Ο von Neumann με την έννοια του εργοδικού θεωρήματος  αναφέρει τα εξής:
*Αν *U**t* είναι ένα (ισχυρά συνεχής) μίας παραμέτρου ημιομάδας των μοναδιαίων φορέων σε ένα χώρο Χίλμπερτ *H*, και το *Ρ* είναι η ορθή προβολή επί του χώρου των κοινών σταθερών σημείων *U**t*, {*x*∈*H*&nbsp;|&nbsp;*U**t**x*&nbsp;=&nbsp;*x* for all *t*&nbsp;>&nbsp;0}, τότε

::Px = \lim_{T\to\infty}\frac{1}{T}\int_0^TU_tx\,dt.,

Για εργοδικό σύστημα, το σταθερό σύνολο της εξέλιξης χρόνου αποτελείται μόνο από τις συνεχείς λειτουργίες, έτσι ώστε το εργοδικό θεώρημα προϋποθέτει τα ακόλουθα: για κάθε συνάρτηση *f* ∈ *L*2(Ω*E*,μ),
:\underset{T\to\infty}{L^2\!-\!\lim} \frac{1}{T}\int_0^T f(T_tw)\,dt = \int_{\Omega_E} f(y)\,d\mu(y).,

Δηλαδή, το μέσο μεγάλο χρονικό διάστημα μιας παρατηρήσιμης *f* είναι ίση με την τιμή της προσδοκίας του πάνω από μια επιφανειακή ενέργεια.

### Ανάλυση Fourier
μικρογραφία|Υπέρθεση ημιτονοειδούς κύματος λειτουργιών βάσης (κάτω) για να σχηματίσει ένα πριονωτό κύμα (κορυφή)
[μικρογραφία|[Σφαιρικές αρμονικές, ορθοκανονική βάση για το χώρο Χίλμπερτ των τετραγωνικών ολοκληρώσιμων λειτουργιών της σφαίρας, φαίνεται σχεδιάσατε κατά την ακτινική διεύθυνση]]
Ένας από τους βασικούς στόχους της Ανάλυσης Fourier είναι η ανάλυση μιας συνάρτησης σε έναν (ενδεχομένως άπειρο) γραμμικό συνδυασμό του δίνεται λειτουργίες βάσης: οι συνδεδεμένες σειρές Fourier.Η κλασική σειρά Fourier σχετίζεται με μια συνάρτηση *f* ορίζεται στο διάστημα [0, 1], είναι μια σειρά της μορφής
:\sum_{n=-\infty}^\infty a_n e^{2\pi in\theta}
όπου
:a_n = \int_0^1f(\theta)e^{-2\pi in\theta}\,d\theta.

Το παράδειγμα της προσθήκης μέχρι τους πρώτους όρους σε μια σειρά Fourier για μια πριωνοτή λειτουργία δείχνεται στο σχήμα. Οι λειτουργικές βάσεις είναι ημιτονοειδή κύματα με μήκη κύματος λ / *n* (*n* = ακέραιος) μικρότερο από το μήκος κύματος λ του ίδιου του πριονωτού (εκτός από* n* = 1, to*θεμελιώδες κύμα). Όλες οι λειτουργικές βάσεις έχουν κόμβους στους κόμβους του πριονωτού, αλλά όλα αλλά η θεμελιώδης έχουν επιπλέον κόμβους. Η ταλάντωση των όρων αθροίζονται για το πριονωτό ονομάζεται Gibbs φαινόμενο.*

Ένα σημαντικό πρόβλημα στην κλασική σειρά Fourier ρωτά με ποια έννοια συγκλίνει η σειρά Fourier, αν όχι καθόλου, με τη λειτουργία *f*. Οι μέθοδοι του χώρου Χίλμπερτ παρέχουν μια πιθανή απάντηση στο ερώτημα αυτό. .
Οι λειτουργίες *e<sub>n</sub>*(θ) = e2πi*n*θ σχηματίζουν μια ορθογώνια βάση του χώρου Χίλμπερτ *L*2([0,1]).
Κατά συνέπεια, κάθε λειτουργία τετραγωνικής ολοκληρώσιμης μπορεί να εκφραστεί ως μια σειρά
:f(\theta) = \sum_n a_n e_n(\theta),\quad a_n = \langle f,e_n\rangle
και, επιπλέον, αυτή η σειρά συγκλίνει στην έννοια του χώρου Χίλμπερτ  (δηλαδή, στην ''L''<sup>2</sup> mean)
Το πρόβλημα μπορεί επίσης να μελετηθεί από την αφηρημένη άποψη: κάθε χώρος Χίλμπερτ έχει μια ορθοκανονική βάση, και κάθε στοιχείο του χώρου Χίλμπερτ μπορεί να γραφτεί με μοναδικό τρόπο ως άθροισμα πολλαπλάσιο αυτών των στοιχείων της βάσης. Οι συντελεστές που περιλαμβάνονται σε αυτά τα στοιχεία με βάση τα γνωστά και αφηρημένα όπως οι συντελεστές Fourier του στοιχείου του χώρου. Η άντληση είναι ιδιαίτερα χρήσιμη όταν είναι πιο φυσικό να χρησιμοποιούν διαφορετικές λειτουργίες βάσης για ένα χώρο, όπως *L*2([0,1]). Σε πολλές περιπτώσεις, είναι επιθυμητό να μην αποσυντεθεί μια συνάρτηση σε τριγωνομετρικές λειτουργίες, αλλά μάλλον σε ορθογώνια πολυώνυμα ή κυματίδια s, για παράδειγμα, και σε μεγαλύτερες διαστάσεις στις σφαιρικές αρμονικές.
Για παράδειγμα, αν  *e**n* είναι οποιαδήποτε ορθοκανονική βάση των λειτουργιών του  *L*2[0,1], τότε μια συγκεκριμένη λειτουργία σε *L*2[0,1] μπορεί να προσεγγιστεί ως ένα πεπερασμένο γραμμικό συνδυασμό

:f(x) \approx f_n (x) = a_1 e_1 (x) + a_2 e_2(x) + \cdots + a_n e_n (x)
Οι συντελεστές {* α* * ι* } επιλέγονται για να κάνουν το μέγεθος της διαφοράς | |
||2
όσο το δυνατόν μικρότερη. Γεωμετρικά, η καλύτερη προσέγγιση είναι η ορθή προβολή του* ƒ* πάνω στον υπόχωρο που αποτελείται από όλους τους γραμμικούς συνδυασμούς του {* e* * j* }, και μπορεί να υπολογιστεί με 
:a_j = \int_0^1 \overline{e_j(x)}f (x) \, dx.
Ότι αυτή η φόρμουλα ελαχιστοποιεί τη διαφορά | |||2 είναι συνέπεια της ανισότητα του Bessel και ο τύπος του Parseval

Σε διάφορες εφαρμογές σε σωματικά προβλήματα, μια συνάρτηση μπορεί να αναλυθεί σε φυσική σημασία ιδιοσυνάρτησης s του διαφορικού τελεστή (συνήθως ο τελεστής Λαπλάς): αυτό αποτελεί το θεμέλιο για τη φασματική μελέτη των λειτουργιών , σε σχέση με το φάσμα του διαφορικού χειριστή. συγκεκριμένη φυσική αίτηση περιλαμβάνει το πρόβλημα της άκουσε το σχήμα ενός τυμπάνου: δεδομένων των θεμελιωδών τρόπων δόνησης που ένας drumhead είναι ικανός να παράγει, μπορεί κανείς να συναγάγει το σχήμα του ίδιου του τυμπάνου; Η μαθηματική διατύπωση του ερωτήματος αυτού περιλαμβάνει τις Dirichlet ιδιοτιμή s της εξίσωση Λαπλάς στο επίπεδο, που αντιπροσωπεύουν τους θεμελιώδεις τρόπους δόνησης σε άμεση αναλογία με τους ακέραιους αριθμούς που αντιπροσωπεύουν τους θεμελιώδεις τρόπους δόνησης της χορδής ενός βιολιού.

### Η κβαντομηχανική
[μικρογραφία|Η [ατομικό τροχιακό|τροχιακά ενός ηλεκτρόνιου σε ένα άτομο υδρογόνου είναι ιδιοσυνάρτηση s του ενέργειας.]]
Στο μαθηματικά αυστηρή διατύπωση της κβαντομηχανικής, που αναπτύχθηκε από τον John von Neumann, οι πιθανές καταστάσεις (πιο συγκεκριμένα, η καθαρή κατάσταση) είναι ένα σύστημα κβαντικής μηχανικής που εκπροσωπείται από  το μοναδιαίο διάνυσμα (που ονομάζεται* κρατικών φορέων*) που κατοικούν σε ένα πολύπλοκο διαχωρίσιμο χώρο Χίλμπερτ, που είναι γνωστή ως το χώρο κατάστασης, και ορίζεται μέχρι ένα σύνθετο αριθμό του κανόνα 1 (ο παράγοντας φάσης). Με άλλα λόγια, οι πιθανές καταστάσεις είναι σημεία του projectivization  από ένα χώρο Χίλμπερτ, που συνήθως ονομάζεται σύνθετη προβολική χώρο. Η ακριβής φύση αυτού του χώρου Χίλμπερτ εξαρτάται από το σύστημα. Για παράδειγμα, η θέση και η ορμική στάση για ένα μοναδικό μη-σχετικιστικό σπιν μηδέν σωματίδιο είναι ο χώρος όλων των ολοκληρώσιμων τετραγωνικών λειτουργιών, ενώ η στάση για την περιστροφή  ενιαίων πρωτονίων είναι μονάδα στοιχείων των δύο διαστάσεων συγκροτημάτων χώρων Χίλμπερτ των spinors. Κάθε παρατηρήσιμη αντιπροσωπεύεται από ένα αυτοσυζυγή γραμμικό τελεστή που δρουν στο χώρο κατάστασης. Κάθε ιδιοκατάσταση του ένα παρατηρήσιμο αντιστοιχεί σε μία διοσυνάρτηση του φορέα, καθώς και των συνδεδεμένων ιδιοτιμών αντιστοιχούν στην αξία του παρατηρήσιμου εν λόγω ιδιοκατάσταση.

Η εξέλιξη του χρόνου από μια κβαντική κατάσταση περιγράφεται από την εξίσωση του Σρέντινγκερ, στο οποίο η Hamiltonian, ο χειριστής που αντιστοιχεί στη συνολική ενέργεια του συστήματος, δημιουργεί την εξέλιξη του χρόνου.

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

Για ένα γενικό σύστημα, η στάση συνήθως δεν είναι καθαρή, αλλά, αντίθετα, εκπροσωπήθηκαν ως στατιστικά μείγματα καθαρών στάσεων, ή μικτές καταστάσεις, με μήτρες πυκνότητα: ιδιο-τελεστές της εντοπίζουν για ένα χώρο Χίλμπερτ. Επιπλέον, για γενικά συστήματα κβαντικής μηχανικής , τα αποτελέσματα μιας μόνο μέτρησης μπορεί να επηρεάσει άλλα μέρη του συστήματος, κατά τρόπο που περιγράφεται αντί από ένα θετικό φορέα αξιόλογο μέτρο. Έτσι, η δομή και των δύο κρατών και παρατηρήσιμα στην γενική θεωρία είναι σημαντικά πιο περίπλοκη από ό, τι την εξιδανίκευση για τα καθαρή στάση.

Αρχή της αβεβαιότητας Heisenberg αντιπροσωπεύεται από τη δήλωση ότι οι φορείς εκμετάλλευσης που αντιστοιχούν σε ορισμένες παρατηρήσιμες δεν μετακινούνται, και δίνει μια ειδική μορφή συλλέκτη που πρέπει να έχουν.

## Ακίνητα

### Πυθαγόρεια ταυτότητα
Δύο διανύσματα *u* και*v* σε ένα χώρο Χίλμπερτ *H* είναι ορθογώνιες όταν \langle u, v\rangle&nbsp;= 0. Ο συμβολισμός γι 'αυτό είναι . Γενικότερα, όταν* S* είναι ένα υποσύνολο στο* Χ*, ο συμβολισμός  σημαίνει ότι* u* είναι ορθογώνιο σε κάθε στοιχείο από το* S*.  
Όταν *u* και *v* είναι ορθογώνιο, το ένα έχει

:\|u + v\|^2 = \langle u + v, u + v \rangle = \langle u, u \rangle + 2 \, \mathrm{Re} \langle u, v \rangle + \langle v, v \rangle= \|u\|^2 + \|v\|^2.

Με επαγωγή στο *n*, αυτό επεκτείνεται σε κάθε οικογένεια* u*  1 , ..., u* <sub> n </sub>* της* n * ορθογώνια διανύσματα,

:\|u_1 + \cdots + u_n\|^2 = \|u_1\|^2 + \cdots + \|u_n\|^2.

Ότι η Πυθαγόρεια ταυτότητα, όπως αναφέρεται ισχύει σε οποιοδήποτε εσωτερικό χώρο του γινομένου, η πληρότητα απαιτείται για την επέκταση της Πυθαγόρειας ταυτότητας στη σειρά. Μια σειρά Σ &nbsp;*u<sub>k</sub>* τα *ορθογώνια* διανύσματα συγκλίνουν στο* H*&thinsp;  αν και μόνο αν η σειρά των τετραγώνων των κανόνων συγκλίνει, και 
:\bigl\|\sum_{k=0}^\infty u_k \bigr\|^2 = \sum_{k=0}^\infty \|u_k\|^2.
Επιπλέον, το άθροισμα μιας σειράς ορθογωνικών φορέων είναι ανεξάρτητα από τη σειρά με την οποία έχει ληφθεί.

### Ταυτότητα παραλληλόγραμμο και πόλωση
μικρογραφία|Γεωμετρικά, η ταυτότητα παραλληλογράμμου ισχυρίζεται ότι . Στα λόγια, το άθροισμα των τετραγώνων των διαγωνίων είναι διπλάσιο από το άθροισμα των τετραγώνων των οποιωνδήποτε δύο παρακείμενων πλευρών. Εξ ορισμού, κάθε χώρος Χίλμπερτ είναι επίσης ένα Banach χώρου. Επιπλέον, σε κάθε χώρο Χίλμπερτ η ακόλουθη ταυτότητα παραλληλογράμμου ισχύει:
: \|u+v\|^2+\|u-v\|^2=2(\|u\|^2+\|v\|^2).
Αντίθετα, κάθε χώρος Banach στον οποίο κατέχει η ταυτότητα παραλληλογράμμου είναι ένας χώρος Χίλμπερτ, και το εσωτερικό γινόμενο είναι μοναδικό και καθορίζεται από τον κανόνα της ταυτότητα πόλωσης. Για πραγματικούς χώρους Χίλμπερτ, η ταυτότητα πόλωση είναι 
:\langle u,v\rangle = \frac{1}{4}\left(\|u+v\|^2-\|u-v\|^2\right).
Για σύνθετους χώρους Χίλμπερτ, είναι
:\langle u,v\rangle = \frac{1}{4}\left(\|u+v\|^2-\|u-v\|^2+i\|u+iv\|^2-i\|u-iv\|^2\right).
Ο νόμος του παραλληλογράμμου σημαίνει ότι κάθε χώρος Χίλμπερτ είναι ένας ομοιόμορφος κυρτός χώρος Μπάναχ.

### Καλύτερη προσέγγιση
Αν* C* είναι ένα μη κενό κλειστό κυρτό υποσύνολο ενός χώρου Χίλμπερτ *H* και* x* ένα σημείο στο* Χ*, υπάρχει ένα μοναδικό σημείο *y*&nbsp;∈ *C*  που ελαχιστοποιεί την απόσταση μεταξύ* Χ* και σημεία* C*,

: y \in C, \ \ \ \|x - y\| = \mathrm{dist}(x, C) = \min \{ \|x - z\| : z \in C \}.

Αυτό είναι ισοδύναμο με το να πούμε ότι υπάρχει ένα σημείο με ελάχιστο κανόνα στο μεταφρασμένο κυρτό σύνολο *D*&nbsp;= . Η απόδειξη συνίσταται στο να δείχνει ότι κάθε ελαχιστοποίηση ακολουθίας (*d<sub>n</sub>*)&nbsp;⊂ *D* είναι Κωσύ (χρησιμοποιώντας την ταυτότητα παραλληλόγραμμο) συγκλίνει εκ τούτου (χρησιμοποιώντας πληρότητα) σε ένα σημείο* Δ* που έχει ελάχιστο κανόνα. Γενικότερα, αυτό ισχύει σε κάθε ομοιόμορφο κυρτο χώρο Μπάναχ.
Όταν αυτό το αποτέλεσμα εφαρμόζεται σε ένα κλειστό υπόχωρο* F* του* Η*, μπορεί να αποδειχθεί ότι το σημείο* y* ∈ F* πιο κοντινό σε* x* χαρακτηρίζεται από 

:<math> y \in F, \ \ x - y \perp F.</math>

Αυτό το σημείο* y* είναι η* ορθή προβολή* της* Χ* σε* F*, καθώς και τη χαρτογράφηση
*PF*&nbsp;: είναι γραμμική (βλ. [[# Ορθογώνια συμπληρώνει και προβολές|Ορθογώνια συμπληρώνει και προβλέψεις]]). Αυτό το αποτέλεσμα είναι ιδιαίτερα σημαντική στα [[εφαρμοσμένα μαθηματικά]], ιδίως [[αριθμητική ανάλυση]], όπου αποτελεί τη βάση των [[ελαχίστων τετραγώνων]] .

Ειδικότερα, όταν* F* δεν είναι ίση με* Χ*, μπορεί κανείς να βρει ένα μη-μηδενικό διάνυσμα* κατά* ορθογώνια στην* F* (επιλέξτε* Χ* δεν* F* και* κατά*&nbsp;= . Ένα πολύ χρήσιμο κριτήριο λαμβάνεται εφαρμόζοντας αυτή την παρατήρηση στο κλειστό υποχώρο* F* που παράγεται από ένα υποσύνολο* S* του* Η*. 
: Ένα υποσύνολο* S* της* Χ* εκτείνεται σ' ένα πυκνό υπόχωρο φορέα, εάν (και μόνο εάν) ο φορέας 0 είναι ο μοναδικός φορέας* ν* ∈* Χ* ορθογώνια στην* S* .

===Δυαδικότητα ===
	
Ο [[διπλός χώρος]] * Η ** είναι ο χώρος όλων των  [[γραμμικός μετασχηματισμός|γραμμικών συναρτήσεων]] από το χώρο * Η* στο πεδίο βάσης. Μεταφέρει ένα φυσικό πρότυπο, που ορίζεται από την παρακάτω σχέση 	
:<math>\|\varphi\| = \sup_{\|x\|=1, x\in H} |\varphi(x)|.</math>
Αυτό το πρότυπο ικανοποιεί το νόμο του παραλληλογράμμου, και έτσι ο διπλός χώρος είναι επίσης ένας χώρος στον οποίο ορίζεται ένα εσωτερικό γινόμενο. Ο διπλός χώρος είναι επίσης πλήρης, και γι 'αυτό είναι ένας χώρος Χίλμπερτ από μόνος του.	

Το Θεώρημα αναπαράστασης Riesz δίνει μια βολική περιγραφή του διπλού χώρου. Σε κάθε στοιχείο *u* του *Η*, αντιστοιχίζεται ένα μοναδικό στοιχείο   του* Η **, που ορίζεται από την σχέση:	
:<math>\varphi_u(x) = \langle x,u\rangle.</math>
Η απεικόνιση <math>u\mapsto \varphi_u</math> είναι μια [[γραμμικός μετασχηματισμός|μη γραμμική απεικόνιση]] από το* H* στο* Η **. Το θεώρημα αναπαράστασης Riesz αναφέρει ότι αυτή η απεικόνιση είναι ένας μη γραμμικός ισομορφισμός. Έτσι, για κάθε στοιχείο *φ* του διπλού χώρου * Η * * αντιστοιχίζεται ένα και μόνο ένα *uφ* στον * H*, έτσι ώστε
:<math>\langle x, u_\varphi\rangle = \varphi(x)</math>
για κάθε * x* ∈* H*. Το εσωτερικό γινόμενο στο διπλό  χώρο *Η ** ικανοποιεί την σχέση 
:<math> \langle \varphi, \psi \rangle = \langle u_\psi, u_\varphi \rangle.</math>	
	
Η [[Αντιμεταθετική ιδιότητα|αντιμεταθετικότητα]] στην δεξιά πλευρά επαναφέρει τη γραμμικότητα στην φ από τη μη γραμμικότητα  της *uφ* . Στην πραγματικότητα , ο μη γραμμικός ισομορφισμός από τον *H* στον διπλό του χώρο είναι ένας ισομορφισμός, και έτσι οι πραγματικοί χώροι Χίλμπερτ είναι φυσικά ισομορφικοί με τις δικούς τους διπλούς.
	
Το αντιπροσωπευτικό διάνυσμα *Uφ* επιτυγχάνεται με τον ακόλουθο τρόπο. Όταν *φ* ≠ 0, ο Πυρήνας *F* = Ker(φ) είναι ένας κλειστός υπόχωρος του *H*, όχι ίσος με τον * Η *. Ως εκ τούτου, υπάρχει ένα μη μηδενικό διάνυσμα *v* ορθογώνιο στον * F*. Το διάνυσμα * u* είναι ένα κατάλληλο βαθμωτό πολλαπλάσιο* λv* του 'v'. Η απαίτηση να ισχύει φ (v) = ⟨*v*,* u*⟩ αποδίδεται ως 
:<math> u = \langle v, v \rangle^{-1} \, \overline{\varphi (v)} \, v.</math>

Την  αντιστοιχία * φ* ↔* u* εκμεταλλεύεται η σημειογραφία  bra-ket notation [https://en.wikipedia.org/wiki/Bra%E2%80%93ket_notation] που είναι δημοφιλής στη [[φυσική]]. Είναι σύνηθες στη φυσική  να υποθέτουμε ότι το εσωτερικό γινόμενο,που  συμβολίζεται με ⟨* x* |* y*⟩, είναι γραμμικό στα δεξιά,
:<math>\langle x| y \rangle = \langle y, x \rangle.</math>	
Το αποτέλεσμα ⟨*x* |* y*⟩ μπορεί να θεωρηθεί ως  δράση της γραμμικής λειτουργίας  ⟨* Χ* | (η* the bra) on the vector |*y*⟩ (*the ket*)

Το θεώρημα αναπαράστασης Riesz  στηρίζεται ουσιαστικά όχι μόνο στην ύπαρξη ενός εσωτερικού γινομένου, αλλά και στην πληρότητα του χώρου. Στην πραγματικότητα, το θεώρημα συνεπάγεται ότι ο τοπολογικός διπλός  κάθε εσωτερικού γινομένου μπορεί να ταυτιστεί με την ολοκλήρωσή του. Μια άμεση συνέπεια του θεωρήματος αναπαράστασης Riesz είναι, επίσης, ότι ένα χώρος Χίλμπερτ *H* είναι αντανακλαστικός, πράγμα που σημαίνει ότι η φυσική απεικόνιση από τον *H* στον διπλό του χώρο είναι ένας ισομορφισμός.

### Ασθενώς συγκλίνουσες ακολουθίες

Σε ένα χώρο Χίλμπερτ *H*, μια ακολουθία {*x**n*} είναι ασθενώς συγκλίνουσα σε ένα διάνυσμα *x*&nbsp;∈ *H* όταν :

\lim_n \langle x_n, v \rangle = \langle x, v \rangle για κάθε .

Για παράδειγμα οποιαδήποτε ορθοκανονική ακολουθία {*f**n*} συγκλίνει ασθενώς στο &nbsp;0, ως συνέπεια της ανισότητας του Bessel. Κάθε ασθενώς συγκλίνουσα ακολουθία {*x**n*} οριοθετείται, από την αρχή ομοιόμορφου φράγματος.
Αντίθετα, κάθε φραγμένη ακολουθία σε ένα χώρο Χίλμπερτ δέχεται ασθενώς συγκλίνουσες Υπακολουθίες (θεώρημα του Alaoglu).Το γεγονός αυτό μπορεί να χρησιμοποιηθεί για να αποδειχθούν αποτελέσματα ελαχιστοποίησης για συνεχή κυρτή συνάρτηση,με τον ίδιο τρόπο με τον οποίο το  θεώρημα Bolzano-Weierstrass , χρησιμοποιείται για συνεχείς συναρτήσεις στον **R***d*. Μεταξύ των πολλών παραλλαγών,
μια απλή διατύπωση έχει ως εξής:
Άν *f*:  είναι μια κυρτή συνεχής συνάρτηση τέτοια ώστε *f*(x) τείνει στο +∞ όταν ||*x*|| τείνει στο +∞, τότε η  *f* δέχεται ελάχιστο σε κάποιο σημείο .
Το γεγονός αυτό (και οι διάφορες γενικεύσεις του) είναι θεμελιώδους σημασίας στην άμεση μέθοδο του υπολογισμού των μεταβολών. Τα ελάχιστα αποτελέσματα για κυρτές συναρτήσεις είναι επίσης μια άμεση συνέπεια  του γεγονότος ότι τα κλειστά φραγμένα κυρά υποσύνολα σε ένα χώρο Χίλμπερτ *H* είναι ασθενώς συμπαγή, αφού ο *H* είναι αντανακλαστικός.Η ύπαρξη ασθενώς συγκλίνουσας υπακολουθίας είναι μια ειδική περίπτωση του θεωρήματος Eberlein-Šmulian https://en.wikipedia.org/wiki/Eberlein%E2%80%93%C5%A0mulian_theorem.

### Ιδιότητες χώρου Banach
Κάθε γενική ιδιότητα του χώρου Banach συνεχίζει να ισχύει και στους χώρους Χίλμπερτ. Το θεώρημα ανοιχτής απεικόνισης δηλώνει ότι ένας 'surjective' γραμμικός μετασχηματισμός από ένα χώρο Banach σε έναν άλλο, είναι μία ανοιχτή απεικόνιση που σημαίνει ότι στέλνει ανοιχτά σύνολα σε ανοιχτά σύνολα. Μία συνέπεια είναι το φραγμένο αντίστροφο θεώρημα, ότι μια συνεχής και bijective γραμμική συνάρτηση από έναν Banach χώρο σε έναν άλλο είναι ισομορφισμός. Το θεώρημα αυτό είναι πολύ πιο απλό να αποδειχθεί στην περίπτωση των χώρων Χίλμπερτ από ό,τι στην περίπτωση των χώρων Banach. Το θεώρημα της ανοιχτής απεικόνισης είναι ισοδύναμο με το κλειστό θεώρημα γράφημα, το οποίο υποστηρίζει ότι μια συνάρτηση από ένα χώρο Banach σε έναν άλλο είναι συνεχής αν και μόνο αν η γραφική της παράσταση είναι ένα κλειστό σύνολο. Στην περίπτωση των χώρων Χίλμπερτ,αυτό είναι βασικό στη μελέτη των unbounded operator.

Το γεωμετρικό Hahn-Banach θεώρημα ισχυρίζεται ότι ένα κλειστό κυρτό σύνολο μπορεί να διαχωριστεί από οποιοδήποτε σημείο έξω από αυτό μέσω ενός υπερεπιπέδου του χώρου Χίλμπερτ.Αυτή είναι μια άμεση συνέπεια της ιδιότητας καλύτερης προσέγγισης: Άν *y* είναι το στοιχείο ενός κλειστού κυρτού συνόλου *F* κοντά στο *x*,τότε το διαχωριστικό υπερεπίπεδο είναι κάθετο προς το τμήμα *xy* που διέρχεται από το μέσο του.

## Συναρτήσεις σε χώρους Χίλμπερτ

### Φραγμένες Συναρτήσεις

Οι συνεχείς γραμμικές συναρτήσεις *A* : *H*1 → *H*2  από ένα χώρο Χίλμπερτ *H*1 σε έναν άλλο χώρο Χίλμπερτ *H*2 είναι φραγμένες,υπό την έννοια ότι απεικονίζουν φραγμένα σύνολα σε φραγμένα σύνολα. Αντίθετα, αν μία συνάρτηση είναι φραγμένη, τότε είναι συνεχής.Ο χώρος των εν λόγω φραγμένων γραμμικών συναρτήσεων έχει έναν κανόνα, τον κανόνα των συναρτήσεων που δίνεται από την παρακάτω σχέση 
:\lVert A \rVert = \sup \left\{\,\lVert Ax \rVert : \lVert x \rVert \leq 1\,\right\}.
Το άθροισμα και η σύνθεση δύο φραγμένων γραμμικών συναρτήσεων είναι και αυτή φραγμένη και γραμμική. Για *y* στον *H*2, η απεικόνιση που στέλνει *x*&nbsp;∈ *H*1 στο ⟨*Ax*, *y*⟩ είναι γραμμική και συνεχής, και σύμφωνα με το Θεώρημα Αναπαράστασης Riesz μπορεί ως εκ τούτου,να εκπροσωπείται με τη μορφή
:\langle x, A^* y \rangle = \langle Ax, y \rangle
για κάποιο διάνυσμα *A**&thinsp;*y* στον *H*1. Αυτό ορίζει μία άλλη φραγμένη γραμμική συνάρτηση *A**: *H*2 → *H*1, την Hermitian συζυγή του *A*.Μπορεί κανείς να δει ότι .

Το σύνολο B(*H*) όλων των φραγμένων γραμμικών συναρτήσεων στον *H*,μαζί με τις πράξεις της πρόσθεσης και της σύνθεσης, του κανόνα και της adjoint operation, είναι ένα C*-algebra. το οποίο είναι ένα είδος συνόλου στην Άλγεβρα.
Ένα στοιχείο *A*&thinsp; του B(*H*) ονομάζεται * αυτοσυζυγής* ή *Hermitian* αν *A**= *A*.Αν *A*&thinsp; είναι Hermitian και  0  για κάθε *x*, τότε το *A*&thinsp; ονομάζεται *μη αρνητικό*, γράφεται *A*&nbsp;≥&nbsp;0; αν  ισχύει η ισότητα μόνο όταν *x*&nbsp;=&nbsp;0, τότε το *A*&thinsp; ονομάζεται *θετικό*. Το σύνολο των αυτο-συζυγών συναρτήσεων δέχεται μία μερική διάταξη, σύμφωνα με την οποία *A* ≥ *B* αν *A*&nbsp;&minus;&nbsp;*B*&nbsp;≥&nbsp;0. Αν το *A*&thinsp; έχει τη μορφή *B**&thinsp;*B*&thinsp; για κάποιο *B*, τότε το *A* είναι μη-αρνητικό, αν το *B* είναι αντιστρέψιμο, τότε το *A* είναι θετικό. Το αντίστροφο ισχύει με την έννοια ότι, για ένα μη αρνητικό *A*, υπάρχει μοναδική μη-αρνητική τετραγωνική ρίζα *B* τέτοια ώστε :A = B^2=B^*B.\,
Σε μία έννοια πιο ακριβή από το φασματικό θεώρημα, οι αυτοσυζυγείς τελεστές μπορούν να θεωρηθούν σαν *πραγματικοί* τελεστές. Ένα στοιχείο
*A* του B(*H*) ονομάζεται *κανονικό* αν *A**&thinsp;*A* = *A*&thinsp;*A**. Οι κανονικοί τελεστές αποσυντίθεται στο άθροισμα των αυτοσυζυγών τελεστών και σε ένα φανταστικό πολλαπλό ενός αυτοσυζυγούς
:A = \frac{A+A^*}{2} + i\frac{A-A^*}{2i}
που ανταλλάσσονται το ένα με το άλλο. Τους κανονικούς τελεστές μπορούμε να τους σκεφτούμε να αποτελούνται από τον πραγματικό και τον φανταστικό τους όρο.

Ένα στοιχείο *U*&thinsp; του B(*H*) ονομάζεται ενωτικό αν το *U*&thinsp; είναι αντιστρέψιμο και το αντίστροφο δίνεται από τον *U**.Αυτό μπορεί επίσης να εκφραστεί απαιτώντας 'U*&thinsp; be onto  για κάθε *x* και *y* στο *H*. Οι ενιαίοι τελεστές σχηματίζουν μία ομάδα υπό την σύνθεση, η οποία είναι η ομάδα ισομετρίας του *H*.

Ένα στοιχείο του  B(*H*)είναι συμπαγής αν στέλνει φραγμένα σύνολα σε σχετικά συμπαγή σύνολα. Ισοδύναμα, μια φραγμένη φορέα *T* είναι συμπαγής, αν, για κάθε φραγμένη ακολουθία {*xk*}, η ακολουθία {*Txk*} έχει μια υπο-συγκλίνουσα. Πολλοί integral operators είναι συμπαγής, και στην πραγματικότητα καθορίζουν μια ειδική κατηγορία των επιχειρηματιών που αποκαλούνται φορείς Χίλμπερτ-Schmidt, που είναι ιδιαίτερα σημαντική για τη μελέτη των ολοκληρωτικών εξισώσεων.Oi Fredholm φορείς διαφέρουν από ένα συμπαγή φορέα από ένα πολλαπλάσιο του ταυτότητα, και είναι ομοίως χαρακτηρίζονται ως φορείς εκμετάλλευσης με ένα πεπερασμένο διαστάσεων του πυρήνα και cokernel. Ο δείκτης του Fredholm φορέα* Τ* ορίζεται από
:<math>\operatorname{index}\, T = \dim\ker T - \dim\operatorname{coker}\, T.</math>
Ο δείκτης είναι homotopy αμετάβλητες, και παίζει μια βαθιά ρόλο στη [[διαφορική γεωμετρία]] μέσω του δείκτη του θεώρηματος Atiyah-Singer

===Μη φραγμένες συναρτήσεις ===
Οι μη φραγμένες συναρτήσεις είναι επίσης προσιτές σε χώρους Χίλμπερτ, και έχουν σημαντικές εφαρμογές στην [[Κβαντική μηχανική|κβαντομηχανική]]. Μία μη φραγμένη συνάρτηση *Τ* σε ένα χώρο Χίλμπερτ *H* ορίζεται ως γραμμική της οποίας η περιοχή *D* (* Τ*) είναι ένας γραμμικός υπόχωρος του *Η*. Συχνά, η περιοχή *D* (* Τ*) είναι ένας πυκνός υποχώρος του *Η*, και στην περίπτωση αυτλη η* Τ* είναι γνωστή ως μια πυκνά ορισμένη συνάρτηση.

Η συζυγής μία πυκνά ορισμένης μη  φραγμένης συνάρτησης  ορίζεται ουσιαστικά με τον ίδιο τρόπο όπως και στις φραγμένες συναρτήσεις. Οι  αυτοσυζυγείς μη φραγμένες συναρτήσεις παίζουν το ρόλο των *παρατηρήσιμων* στη μαθηματική διατύπωση της κβαντικής μηχανικής.Παραδείγματα αυτοσυζυγών μη φραγμένων συναρτήσεων για το χώρο Χίλμπερτ *L*<sup>2</sup>(*'R**) είναι: 
* Μία κατάλληλη προέκταση της διαφορικής συνάρτησης
:: <math> (A f)(x) = -i \frac{d}{dx} f(x), \, </math>
: Όπου'' i'' είναι η φανταστική μονάδα και'' f'' είναι μια διαφορίσιμη συνάρτηση συμπαγή φορέα.
* The multiplication-by-''x'' συνάρτηση:
:: <math> (B f) (x) = x f(x).\, </math>

Αυτά αντιστοιχούν στην [[ορμή]] και τη θέση παρατηρήσιμων μεγεθών, αντίστοιχα.

Σημειώστε ότι ούτε η ''Α'' ούτε η  ''Β'' ορίζεται σε όλους τους ''H'', δεδομένου ότι στην περίπτωση του '' Α'' το παράγωγο δεν χρειάζεται να υπάρχει, και στην περίπτωση του ''Β'' η λειτουργία του γινομένου δεν χρειάζεται να είναι τετράγωνο integrable. Σε αμφότερες τις περιπτώσεις, το σύνολο των πιθανών επιχειρημάτων σχηματίζουν πυκνούς υποχώρους του ''L'' <sup>2</sup>(**R**).

== Κατασκευές ==
===Ευθύ αθροίσματα===
Δύο χώροι Χίλμπερτ ''H''<sub>1</sub> και ''H''<sub>2</sub> μπορούν να συνδυαστούν σε ένα άλλο χώρο Χίλμπερτ, που ονομάζεται ορθογώνιο ευθύ άθροισμα και συμβολίζεται :<math>H_1\oplus H_2,</math>
που αποτελείται από το σύνολο όλων των [[Διατεταγμένο ζεύγος|διατεταγμένων ζευγών]] (''x''<sub>1</sub>,&nbsp;''x''<sub>2</sub>) όπου , , και το [[εσωτερικό γινόμενο]] που ορίζεται από
τη σχέση :<math>\langle (x_1,x_2), (y_1,y_2)\rangle_{H_1\oplus H_2} = \langle x_1,y_1\rangle_{H_1} + \langle x_2,y_2\rangle_{H_2}.</math>

Πιο γενικά, αν ''H''<sub>''i''</sub> μια οικογένεια από Χίλμπερτ χώρους αναπροσαρμόζονται από , τότε το ευθύ άθροισμα των ''H''<sub>''i''</sub>, συμβολίζεται με :<math>\bigoplus_{i\in I}H_i</math>

ή αλλιώς: <math>\coprod_{i\in I}H_{i}</math> (βλέπε [[συνγινόμενο]]) αποτελείται από το [[σύνολο]] όλων των οικογένειες με δείκτη :<math>x=(x_i\in H_i|i\in I) \in \prod_{i\in I}H_i</math> στο [[Πολλαπλασιασμός|καρτεσιανό γινόμενο]] του  ''H''<sub>''i''</sub>  έτσι ώστε :<math>\sum_{i\in I} \|x_i\|^2 < \infty.</math>
Το [[Εσωτερικό γινόμενο|εσωτερικό]] γινόμενο ορίζεται από
:<math>\langle x, y\rangle = \sum_{i\in I} \langle x_i, y_i\rangle_{H_i}.</math>
Κάθε ένας από τους ''H''<sub>''i''</sub> συμπεριλαμβάνεται ως ένας κλειστός υπόχωρος στο ευθύ [[Άθροιση|άθροισμα]] όλων των ''H''<sub>''i''</sub>. Επιπλέον, οι ''H''<sub>''i''</sub> είναι ανά δύο ορθογώνιοι. Αντιστρόφως, εάν υπάρχει ένα σύστημα όλων των κλειστών υποχώρων,''V''<sub>''i''</sub>, ,σε ένα χώρο Χίλμπερτ ''H'' που είναι κατά ζεύγη ορθογώνια και η ένωσή τους είναι πυκνή στον ''H'' τότε ο ''H'' είναι κανονικώς ισομορφικός στο ευθύ άθροισμα ''V''<sub>''i''</sub>.Στην περίπτωση αυτή, ο ''H'' ονομάζεται  το εσωτερικό  άμεσο άθροισμα των ''V''<sub>''i''</sub>. 
Ένα ευθύ άθροισμα (εσωτερικό ή εξωτερικό) είναι επίσης εξοπλισμένο με μια οικογένεια ορθών προβολών ''E''<sub>''i''</sub> πάνω στο ''i'' η άμεση summand ''H''<sub>i</sub>. Οι προβλέψεις αυτές οριοθετούνται, αυτοσυζυγής, idempotent φορέων που πληρούν την προϋπόθεση orthogonality :<math>E_iE_j = 0,\quad i\not= j.</math>

===Γινόμενα Τανυστή===
Αν ''H''<sub>1</sub> και ''H''<sub>2</sub>, τότε το ένα ορίζει ένα [[εσωτερικό γινόμενο]] στo σύνηθες Γινόμενο Τανυστή ως εξής. Ως απλό [[Τανυστής|τανυστή]] έχουμε
:<math> \langle x_1 \otimes x_2, \, y_1 \otimes y_2 \rangle = \langle x_1, y_1 \rangle \, \langle x_2, y_2 \rangle.</math>
Ο τύπος αυτός εκτείνεται στη συνέχεια με 'sesquilinearity' σε ένα εσωτερικό γινόμενο ''H''<sub>1</sub> ⊗ ''H''<sub>2</sub>. Το γινόμενο Hilbertian τανυστής των ''H''<sub>1</sub> και ''H''<sub>2</sub>, μερικές φορές συμβολίζεται με <math>H_1\widehat{\otimes}H_2</math>, είναι ο χώρος Χίλμπερτ που λαμβάνεται με τη συμπλήρωση ''H''<sub>1</sub> ⊗ ''H''<sub>2</sub> για την μετρική που σχετίζεται με αυτό το εσωτερικό γινόμενο.

Ένα παράδειγμα παρέχεται από τον χώρο Χίλμπερτ ''L''<sup>2</sup>([0,&nbsp;1]). Το γινόμενο Hilbertian τανυστής των δύο αντιγράφων του ''L''<sup>2</sup>([0,&nbsp;1]) είναι ισομετρικά και γραμμικά ισομορφικό στο χώρο ''L''<sup>2</sup>([0,&nbsp;1]<sup>2</sup>) τετραγωνικών integrable λειτουργίες στο τετράγωνο [0,&nbsp;1]<sup>2</sup>. Αυτός ο ισομορφισμός στέλνει έναν απλό τανυστή <math>f_1 \otimes f_2</math> στην συνάρτηση :<math> (s, t) \mapsto f_1(s) \, f_2(t) </math> στο τετράγωνο.
Αυτό το παράδειγμα είναι τυπικό με την ακόλουθη έννοια.  Συνδεδεμένη σε κάθε απλό γινόμενο τανυστή ''x''<sub>1</sub> ⊗ ''x''<sub>2</sub> 
είναι η κατάταξη μιας συνάρτησης από τον ''H''<sub>1</sub><sup>∗</sup> στον ''H''<sub>2</sub> που απεικονίζει ένα δεδομένο <math>x^*\in H^*_1</math> ως :<math> x^* \mapsto x^*(x_1) \, x_2.</math>.
Αυτή η απεικόνιση καθορίζεται σε απλές tensors εκτείνεται σε μια γραμμική ταύτιση μεταξύ ''H''<sub>1</sub> ⊗ ''H''<sub>2</sub> και του χώρου των πεπερασμένων σε βαθμό συναρτήσεων από τον ''H*''<sub>1</sub> στον ''H''<sub>2</sub>. Αυτό εκτείνεται σε μια γραμμική ισομετρία του Hilbertian γινομένου τανυστή <math>H_1\widehat{\otimes}H_2</math> με τον χώρο Χίλμπερτ  ''HS''(''H*''<sub>1</sub>, ''H''<sub>2</sub>) των  Χίλμπερτ–Schmidt [https://en.wikipedia.org/wiki/Hilbert%E2%80%93Schmidt_operator] συναρτήσεις από ''H*''<sub>1</sub> to ''H''<sub>2</sub>.

== Ορθοκανονικές βάσεις ==

Η έννοια του της [[Ορθοκανονική βάση|ορθοκανονικής βάσης]] από τη [[γραμμική άλγεβρα]] γενικεύεται πάνω στην περίπτωση των χώρων Χίλμπερτ. Σε ένα χώρο Χίλμπερτ ''H'',μια ορθοκανονική βάση είναι μια οικογένεια  {''e''<sub>''k''</sub>}  των στοιχείων του ''H'' που πληρούν τις προϋποθέσεις:
#''Ορθογωνικότητα'': Κάθε δύο διαφορετικά στοιχεία του ''B'' είναι ορθογώνια:   για κάθε ''k'', ''j'' στο ''B'' με .
#''Κανονικοποίηση'': Κάθε στοιχείο της οικογένειας έχει κανόνα 1:||''e''<sub>''k''</sub>||&nbsp;=&nbsp;1 για κάθε ''k'' στο ''B''.
#'' Πληρότητα'': το γραμμικό άνοιγμα της οικογένειας ''e''<sub>''k''</sub>, ,είναι πυκνό στον ''Η''.

Ένα σύστημα των διανυσμάτων που ικανοποιεί τις δύο πρώτες προϋποθέσεις καλείται ορθοκανονικό σύστημα ή ορθοκανονικό σύνολο (ή ορθοκανονική [[Ακολουθία (μαθηματικά)|ακολουθία]] αν το ''B'' είναι αριθμήσιμο). Ένα τέτοιο σύστημα είναι πάντα γραμμικά ανεξάρτητο.

Η πληρότητα του ορθοκανονικού συστήματος των διανυσμάτων του χώρου Χίλμπερτ μπορεί να επαναδιατυπωθεί ισοδύναμα ως:
: Αν  για κάθε  και κάποια  τότε .

Αυτό σχετίζεται με το γεγονός ότι το μόνο διάνυσμα ορθογώνιο προς ένα πυκνό γραμμικό υποχώρο είναι το [[μηδενικό διάνυσμα]], έτσι αν ''S'' είναι οποιαδήποτε ορθοκανονικό σύστημα  και ''v'' είναι ορθογώνιο ως προς ''S'', τότε το ''v'' είναι ορθογώνιο προς το κλείσιμο του γραμμικού εύρους ''S'',που είναι όλος ο χώρος.

Παραδείγματα ορθοκανονικών βάσεων :
* το σύνολο {(1,0,0), (0,1,0), (0,0,1)} αποτελεί μία ορθοκανονική βάση του **R**<sup>3</sup> με το γινόμενο
* η ακολουθία {''f''<sub>''n''</sub> : ''n'' ∈ **Z**} με ''f''<sub>''n''</sub>(''x'') = [[exponential function|exp]](2π''inx'') αποτελεί μία ορθοκανονική βάση του πολύπλοκου χώρου L<sup>2</sup>([0,1])

Στην περίπτωση άπειρων διαστάσεων η ορθοκανονική βάση δεν θα είναι βάση με την έννοια της [[Γραμμική άλγεβρα|γραμμικής άλγεβρας]], για να διακρίνουμε τα δύο, η τελευταία βάση επίσης ονομάζεται βάση Hamel. Ότι το άνοιγμα των διανυσμάτων βάσης είναι πυκνό συνεπάγεται ότι κάθε διάνυσμα στο χώρο μπορεί να γραφτεί ως το άθροισμα μιας άπειρης σειράς, και η ορθογωνιότητα συνεπάγεται ότι αυτή η αποσύνθεση είναι μοναδική.

=== Χώροι Ακολουθιών ===
Ο χώρος ''ℓ''<sup>&nbsp;2</sup> τετραγωνικών summable ακολουθιών των [[Μιγαδικός αριθμός|μιγαδικών αριθμών]] είναι το σύνολο των άπειρων ακολουθιών 
: <math> (c_1, c_2, c_3, \dots) \, </math>
μιγαδικών αριθμών τέτοιος ώστε
: <math> |c_1|^2 + |c_2|^2 + |c_3|^2 + \cdots < \infty. \, </math>

Αυτός ο χώρος έχει ορθοκανονική βάση:
:<math>\begin{align}
e_1 &= (1,0,0,\dots)\\
e_2 &= (0,1,0,\dots)\\
& \ \  \vdots
\end{align}
</math>
Πιο γενικά, αν ''Β'' είναι ένα οποιοδήποτε σύνολο, τότε τότε μπορεί κανείς να σχηματίσει ένα χώρο Χίλμπερτ  ακολουθιών με δείκτη το σύνολο ''Β'', που ορίζεται από τη σχέση 
:<math> \ell^2(B) =\big\{ x : B \xrightarrow{x} \mathbb{C} \mid \sum_{b \in B} \left|x (b)\right|^2 < \infty \big\}.</math>
Η άθροιση πάνω από το ''B''  εδώ ορίζεται από τη σχέση
:<math>\sum_{b \in B} \left|x (b)\right|^2 = \sup \sum_{n=1}^N |x(b_n)|^2</math>

το ανώτατο μπορεί να αναλάβει όλα τα πεπερασμένα υποσύνολα &nbsp;''B''.Επομένως, για να είναι το άθροισμα αυτό πεπερασμένο, κάθε στοιχείο του ''ℓ''<sup>&nbsp;2</sup>(''B'') έχει μόνο μετρήσιμους πολλούς μη μηδενικούς όρους. Αυτός ο χώρος γίνεται ένας χώρος Χίλμπερτ με εσωτερικό γινόμενο :<math>\langle x, y \rangle = \sum_{b \in B} x(b)\overline{y(b)}</math> για κάθε ''x'' και ''y'' στο ''ℓ''<sup>&nbsp;2</sup>(''B'').
Εδώ το άθροισμα έχει επίσης μόνο μετρήσιμα πολλούς μη μηδενικούς όρους και  συγκλίνει άνευ όρων σύμφωνα με την ανισότητα Κωσύ-Σβαρτς.

Ορθοκανονική βάση του  ''ℓ''<sup>&nbsp;2</sup>(''B'') που υποδεικνύεται από το σύνολο ''B'',είναι η
:<math>e_b(b') = \begin{cases}
1&\text{if } b=b'\\
0&\text{otherwise.}
\end{cases}</math>

=== Ανισότητα του Bessel και τύπος του Parseval ===
Ας είναι  ένα πεπερασμένο ορθοκανονικό σύστημα  in&nbsp;''H''. Για ένα αυθαίρετο διάνυσμα ''x'' στον ''H'', ας είναι :<math>y = \sum_{j=1}^n \, \langle x, f_j \rangle \, f_j.</math>
Τότε &nbsp;=   για κάθε ''k'' = .Επομένως,   είναι ορθογώνιο σε κάθε ''f''<sub>''k''</sub>,ως εκ τούτου, είναι ορθογώνιο στο &nbsp;''y''.

Χρησιμοποιώντας την Πυθαγόρεια ταυτότητα δύο φορές, προκύπτει ότι 
:<math>\|x\|^2 = \|x - y\|^2 + \|y\|^2 \ge \|y\|^2 = \sum_{j=1}^n|\langle x, f_j \rangle|^2.</math>
Ας είναι το , είναι ένα αυθαίρετο ορθοκανονικό σύστημα in&nbsp;''H''.Εφαρμόζοντας την προηγούμενη ανισότητα σε κάθε πεπερασμένο υποσύνολο ''J'' του ''I'' δίνει την '' ανισότητα του Bessel''
:<math>\sum_{i \in I}|\langle x, f_i \rangle|^2 \le \|x\|^2, \quad x \in H</math>
(σύμφωνα με τον ορισμό του αθροίσματος ενός αυθαίρετου συνόλου μη-αρνητικών πραγματικών αριθμών).

Γεωμετρικά, η ανισότητα του Μπεσέλ σημαίνει ότι η ορθή προβολή του ''x'' επί του γραμμικού υποχώρου που εκτείνεται από το ''f''<sub>''i''</sub>, έχει κανόνας που δεν υπερβαίνει εκείνο του ''x''. Σε δύο διαστάσεις, αυτός είναι ο ισχυρισμός ότι το μήκος του σκέλους ενός ορθογωνίου τριγώνου δεν μπορεί να υπερβαίνει το μήκος της υποτείνουσας.

Η ανισότητα του Μπεσέλ είναι ένα σκαλοπάτι για την πιο ισχυρή, Ταυτότητα Parseval που διέπει την περίπτωση όπου η ανισότητα του Μπεσέλ είναι στην πραγματικότητα μια ισότητα. Αν {''e''<sub>''k''</sub>}<sub>''k'' ∈ ''B''</sub> είναι μια ορθοκανονική βάση του ''H'', τότε κάθε στοιχείο ''x'' του ''H'' μπορεί να γραφτεί ως

<math>x = \sum_{k \in B} \, \langle x, e_k \rangle \, e_k. </math>

Ακόμα κι αν το ''Β'' είναι μη αριθμήσιμο, η ανισότητα του Μπεσέλ  εγγυάται ότι η έκφραση είναι καλά ορισμένη και αποτελείται μόνο από μετρήσιμα πολλούς μη μηδενικούς όρους. Το άθροισμα αυτό καλείται ''επέκταση Φουριέ'' του ''Χ'', και οι επιμέρους συντελεστές  ⟨''x'',''e''<sub>''k''</sub>⟩ είναι οι συντελεστές ''Fourier'' του ''x''.Ο τύπος του Parseval είναι τότε 
:<math>\|x\|^2 = \sum_{k\in B}|\langle x, e_k\rangle|^2.</math>

Αντιστρόφως, εάν {''e''<sub>''k''</sub>} είναι ένα ορθοκανονικό σύστημα τέτοιο ώστε η ταυτότητα του Parseval να ισχύει για κάθε ''x'', τότε η {''e''<sub>''k''</sub>} είναι ορθοκανονική βάση.

===Διάσταση Χίλμπερτ  ===
Ως συνέπεια του λήμματος του Zorn ''κάθε'' χώρος Χίλμπερτ δέχεται μια ορθοκανονική βάση. Επιπλέον, οποιασδήποτε δύο ορθοκανονικές βάσεις του ίδιου χώρου έχουν την ίδια πληθάριθμος, που ονομάζεται διάσταση του χώρου Χίλμπερτ. Για παράδειγμα, αφού ο ''ℓ''<sup>2</sup>(''B'') έχει μια ορθοκανονική βάση που υποδεικνύεται από τον ''B'', η Χίλμπερτ διάσταση του είναι ο πληθάριθμος του ''B'' (ο οποίος μπορεί να είναι ένας πεπερασμένος ακέραιος, ή ένας αριθμήσιμος ή μη αριθμήσιμος απόλυτος αριθμός).

Ως συνέπεια της ταυτότητας του Parseval, εάν {''e''<sub>''k''</sub>}<sub>''k'' ∈ ''B''</sub> είναι μια ορθοκανονική βάση του ''Η'' τότε η απεικόνιση  &nbsp;ℓ<sup>2</sup>(''B'') που ορίζεται από τη σχέση  είναι ένας ισομετρικός ισομορφισμός των χώρων Χίλμπερτ:είναι μια αμφιμονοσήμαντη γραμμική απεικόνιση τέτοια ώστε :<math>\langle \Phi \left(x\right), \Phi\left(y\right) \rangle_{\ell^2(B)} = \langle x, y \rangle_H</math> για κάθε ''x'' και ''y'' στον ''H''. Ο απόλυτος αριθμός του ''B'' είναι η διάσταση Χίλμπερτ του ''H''. Έτσι, κάθε χώρος Χίλμπερτ είναι ισομετρικά ισομορφικός με ένα χώρο ακολουθιών &nbsp;ℓ<sup>2</sup>(''B'') για κάποιο σύνολο ''Β''.

=== Διαχωρίσιμοι χώροι ===

Ένας χώρος Χίλμπερτ είναι διαχωρίσιμος χώρος  αν και μόνο αν ο ίδιος δέχεται μία μετρήσιμη [[Ορθοκανονική Βάση|ορθοκανονική βάση]]. Επομένως, όλοι οι απειροδιάστατοι διαχωριζόμενοι χώροι Χίλμπερτ είναι ισομετρικά ισομορφικοίμε τον ''ℓ''<sup>2</sup>.
Στο παρελθόν, οι χώροι Χίλμπερτ συχνά εξ ορισμού απαιτούνταν να είναι διαχωρίσιμοι. Οι περισσότεροι χώροι που χρησιμοποιούνται στη [[φυσική]] είναι διαχωρίσιμοι και δεδομένου ότι όλοι είναι ισόμορφοι μεταξύ τους,ο ένας αναφέρεται συχνά σε οποιοδήποτε απειροδιάστατο διαχωρίσιμο χώρο Χίλμπερτ ως  "χώρο Χίλμπερτ". Ακόμη και στην κβαντική θεωρία πεδίου, οι περισσότεροι από τους χώρους Χίλμπερτ είναι στην πραγματικότητα διαχωρίσιμοι, όπως ορίζεται από τα αξιώματα Wightman. Ωστόσο, μερικές φορές υποστηρίζεται ότι οι μη-διαχωριζόμενοι χώρουι Χίλμπερτ είναι επίσης σημαντικοί για την κβαντική θεωρία πεδίου, κυρίως επειδή τα συστήματα στη θεωρία έχουν έναν άπειρο αριθμό ελευθερίας, και κάθε άπειρο  γινόμενο τανυστή (χώρων διάστασης μεγαλύτερης από ένα) είναι μη διαχωρίσιμο. Για παράδειγμα, ένα μποζονικό πεδίο [https://en.wikipedia.org/wiki/Bosonic_field] μπορεί φυσικά να θεωρηθεί ως ένα στοιχείο ενός γινομένου τανυστή του οποίου οι συντελεστές αντιπροσωπεύουν αρμονικούς ταλαντωτές σε κάθε σημείο του χώρου. Από αυτή την άποψη, το πεδίο ενός μποζονίου μπορεί να φαίνεται σαν να είναι ένας μη-διαχωριζόμενος χώρος. Ωστόσο, αυτός είναι μόνο ένας μικρός διαχωρίσιμος υπόχωρος του πλήρους γινομένου τανυστή που μπορεί να περιέχει πεδία με φυσική σημασία (στο οποίο τα αισθητά μπορούν να οριστούν). Ένας άλλος μη-διαχωριζόμενος χώρος Χίλμπερτ παρουσιάζει την κατάσταση μιας άπειρου συλλογής σωματιδίων σε μια απέραντη περιοχή του χώρου. Μία ορθοκανονική βάση του χώρου αναπροσαρμόζεται από την πυκνότητα των σωματιδίων, μια συνεχή παράμετρο, και δεδομένου ότι το σύνολο των πιθανών πυκνοτήτων είναι αμέτρητο, η βάση δεν είναι μετρήσιμη.

==Ορθογώνια συμπληρώματα και προβολές==
Αν ''S'' είναι ένα υποσύνολο ενός χώρου Χίλμπερτ ''H'', το σύνολο των διανυσμάτων που είναι ορθογώνια προς το ''S'' ορίζεται από τη σχέση:

<math>S^\perp = \left\{ x \in H : \langle x, s \rangle = 0\ \forall s \in S \right\}.</math>
''S''<sup>⊥</sup> είναι ένας κλειστός υποχώρος του ''H'' (μπορεί εύκολα να αποδειχθεί χρησιμοποιώντας την γραμμικότητα και τη συνέχεια του εσωτερικού γινομένου) και έτσι αποτελεί ο ίδιος ένα χώρο Χίλμπερτ. Αν ο ''V'' είναι ένας κλειστός υποχώρος του ''H'', τότε ο ''V''<sup>⊥</sup> ονομάζεται το ''ορθογώνιο συμπλήρωμα'' του ''V''. Στην πραγματικότητα κάθε ''x'' στον ''H'' μπορεί να γραφεί με μοναδικό τρόπο ως ''x'' = ''v'' + ''w'', όπου ''v'' ανήκει στον ''V'' και ''w'' ανήκει στον ''V''<sup>⊥</sup>.Ως εκ τούτου,ο ''H'' είναι το εσωτερικό ευθύ άθροισμα των ''V'' και ''V''<sup>⊥</sup>.
Η γραμμική συνάρτηση P<sub>''V''</sub> : ''H'' → ''H'' που απεικονίζει το ''x'' στο ''v'' ονομάζεται ''ορθή προβολή'' πάνω στον ''V''. Υπάρχει μια φυσική αντιστοιχία ένα-προς-ένα μεταξύ του συνόλου όλων των κλειστών υποχώρων του ''H'' και του συνόλου όλων των φραγμένων αυτο-συζυγών συναρτήσεων ''P'' έτσι ώστε ''P''<sup>2</sup>&nbsp;=&nbsp;''P''. Ειδικότερα,
:**Θεώρημα*'.Η ορθογώνια προβολή P<sub>*V*</sub> είναι μία αυτο-συζυγής γραμμική συνάρτηση στον *H* με  norm ≤ 1 με την ιδιότητα P<sup>2</sup><sub>*V*</sub> = P<sub>*V*</sub>. Επιπλέον, κάθε αυτο-συζυγής γραμμική συνάρτηση *E* τέτοια ώστε 
*E*<sup>2</sup> = *E* είναι της μορφής P<sub>*V*</sub>,όπου *V* είναι το φάσμα των *E*. Για κάθε *x* στον *H*, P<sub>*V*</sub>(*x*) είναι το μοναδικό στοιχείο *v* του *V*,το οποίο ελαχιστοποιεί την απόσταση ||*x* − *v*||.

Αυτό παρέχει την γεωμετρική ερμηνεία της *PV*(*x*):είναι η καλύτερη προσέγγιση του *x* από στοιχεία του *V*.

Προβολές *PU* και *PV* καλούνται αμοιβαία ορθογώνιες εάν *P*<sub>*U*</sub>*P*<sub>*V*</sub> = 0. Αυτό είναι ισοδύναμο με το να είναι οι *U* και *V* ορθογώνιοι ως υποχώροι του *Η*. Το άθροισμα των δύο προβολών *P*<sub>*U*</sub> και *P*<sub>*V*</sub> είναι μια προβολή μόνο εάν *U* και *V* είναι ορθογώνιοι μεταξύ τους, και στην περίπτωση αυτή
*P*<sub>*U*</sub>&nbsp;+&nbsp;*P*<sub>*V*</sub>&nbsp;=&nbsp;*P*<sub>*U*+*V*</sub>. Η σύνθεση *P*<sub>*U*</sub>*P*<sub>*V*</sub> γενικά δεν είναι προβολή, στην πραγματικότητα, η σύνθεση είναι μία προβολή αν και μόνο αν οι δύο προβολές εναλλάσσονται, και στην περίπτωση αυτή ισχύει *P*<sub>*U*</sub>*P*<sub>*V*</sub> = *P*<sub>*U*∩*V*</sub>.

Περιορίζοντας το σύνολο τιμών στο χώρο Χίλμπερτ *V*,η ορθογώνια προβολή *P*<sub>*V*</sub> δημιουργεί μια προβολική απεικόνιση 
π: *H* → *V*, είναι η αυτοσυζυγής of the inclusion απεικόνιση

:<math>i: V \to H,</math>

πράγμα που σημαίνει ότι

:<math>\langle i x, y\rangle_H = \langle x, \pi y\rangle_V</math>

για κάθε *x*&nbsp;∈&nbsp;*V* και *y*&nbsp;∈&nbsp;*H*.

Ο operator norm της ορθογώνιας προβολής *P*<sub>*V*</sub> επάνω σε ένα μη-μηδενικό κλειστό υποχώρο *V* είναι ίσος με ένα 
:<math>\|P_V\| = \sup_{x\in H, x\not=0} \frac{\|P_V x\|}{\|x\|}=1.</math>
Κάθε κλειστός υποχώρος *V* ενός χώρου Χίλμπερτ είναι συνεπώς, η εικόνα μιας συνάρτησης *P* του κανόνα τέτοια ώστε *P*<sup>2</sup>&nbsp;=&nbsp;*P*. Η ιδιότητα της κατοχής κατάλληλων συναρτήσεων προβολής χαρακτηρίζει τους χώρους Χίλμπερτ

* Ένας χώρος Banach με διάσταση μεγαλύτερη από 2 είναι ισομετρικά ένας χώρος Χίλμπερτ αν και μόνο αν, για κάθε κλειστό υποχώρο του *V*,υπάρχει μία συνάρτηση *P*<sub>*V*</sub> του κανόνα μία εικόνα του οποίου είναι *V* τέτοια ώστε <math>P_V^2=P_V.</math>

Ενώ αυτό το αποτέλεσμα χαρακτηρίζει τη μετρική δομή ενός χώρου Χίλμπερτ, η δομή ενός χώρου Χίλμπερτ ως τοπολογικού διανυσματικού χώρου μπορεί από μόνη της  να χαρακτηρίζεται από την άποψη της παρουσίας των συμπληρωματικών υποχώρων.

* Ένας [[χώρος Μπάναχ]] *Χ* είναι τοπολογικά και γραμμικά [[Ισομορφισμός|ισομορφικός]] σε ένα χώρο Χίλμπερτ αν και μόνο αν, σε κάθε κλειστό υποχώρο *V*, υπάρχει ένας κλειστός υπόχωρος ' W*, έτσι ώστε ο *Χ* να είναι ίσος με το εσωτερικό ευθύ άθροισμα *V*⊕ *Δ*.

Το ορθογώνιο συμπλήρωμα ικανοποιεί κάποια πιο στοιχειώδη αποτελέσματα. Είναι μια μονότονη συνάρτηση με την έννοια ότι, εάν *U* ⊂ *V*, τότε V^\perp\subseteq U^\perp με την ισότητα εκμετάλλευση, εάν και μόνο εάν ο *V* περιέχεται στο κλείσιμο του *U*.
Το αποτέλεσμα αυτό είναι μια ειδική περίπτωση του Hahn-Banach θεωρήματος.Το κλείσιμο ενός υπόχωρου μπορεί να χαρακτηρισθεί πλήρως από την άποψη του ορθογώνιου συμπληρώματος: Αν *V* είναι ένας υπόχωρος του *H*, τότε το κλείσιμο του *V* είναι ίσο με V^{\bot\bot}. Το ορθογώνιο συμπλήρωμα είναι συνεπώς μία σύνδεση Γκαλουά στην μερική διάταξη υποχώρων ενός χώρου Χίλμπερτ. Σε γενικές γραμμές, το ορθογώνιο συμπλήρωμα ενός αθροίσματος των υποχώρων είναι η τομή των ορθογωνίων συμπληρωμάτων.
\textstyle{\left(\sum_i V_i\right)^\perp = \bigcap_i V_i^\perp}. Αν οι *V**i* είναι επιπλέον κλειστοί 
\textstyle{\overline{\sum_i V_i^\perp} = \left(\bigcap_i V_i\right)^\perp}.

## Παραπομπές


Κατηγορία:Γραμμική άλγεβρα
Κατηγορία:Θεωρία τελεστών
Κατηγορία:Κβαντική μηχανική
Κατηγορία:Συναρτησιακή ανάλυση