Benutzer:Bocardodarapti/Fakten
Es sei ein kompakter topologischer Raum. Es sei eine Folge in , die punktweise und monoton gegen ein konvergiert.
Dann ist die Konvergenz gleichmäßig.
Es sei ein kompakter topologischer Raum und , versehen mit der Maximumsnorm.
Dann ist genau dann kompakt, wenn die drei folgenden Bedingungen erfüllt sind.
- ist abgeschlossen.
- ist gleichgradig stetig.
- Für jeden Punkt ist das Auswertungsbild beschränkt.
Es seien normierte -Vektorräume und sei eine lineare Abbildung. Dann sind die folgenden Eigenschaften äquivalent.
- ist kompakt.
- Das Bild der (offenen oder abgeschlossenen) Einheitskugel von ist relativ kompakt in .
- Jede beschränkte Folge in besitzt eine Teilfolge, deren Bildfolge in konvergiert.
Es sei ein -Hilbertraum und eine Teilmenge.
Dann erzeugt genau dann einen dichten Untervektorraum in , wenn die Eigenschaft
für alle nur für gilt.
Es sei ein -Hilbertraum und sei ein selbstadjungierter kompakter Operator.
Dann besitzt ein vollständiges Orthonormalsystem aus Eigenvektoren zu .
bilden ein Orthogonalsystem in bezüglich des Maßes mit der Dichte .
Die Familie und , , bilden ein vollständiges Orthonormalsystem.