Das Kefk Network Wiki befindet sich im Testbetrieb.

---

Aus Kefk.

Unter der Supremumsnorm versteht man in der Analysis, einem Teilgebiet der Mathematik, eine Norm auf einem Funktionenraum.

Formale Definition

Sei M eine nichtleere Menge, ein normierter Raum und der Funktionenraum der beschränkten Funktionen von M nach Y.

Dann wird durch

eine Norm auf definiert.

Hierbei ist es wichtig, dass die Funktionen beschränkt sind, weil das Supremum sonst nicht endlich zu sein bräuchte.

Eigenschaften

• Ist der Bildraum vollständig, also ein Banachraum, so ist es auch der gesamte Funktionenraum.
• Ist M nicht endlich, so ist nicht jede abgeschlossene, beschränkte Teilmenge von automatisch kompakt. Beispielsweise ist im Falle von die abgeschlossene Einheitskugel abgeschlossen und beschränkt. Es gibt aber eine Folge ohne konvergente Teilfolge. Diese lässt sich wie folgt konstruieren:
  • Da M nicht endlich ist, gibt es eine injektive Abbildung
  • Sei χ_A die Indikatorfunktion für .
  • Betrachte .
  • Dann ist für .
  • Also ist keine Cauchyfolge
• Ist M nicht endlich, so ist nicht zu allen Normen auf äquivalent

Siehe auch

• Funktionenraum
• Normierter Raum
• Kompakter Raum
• Folge

Dieses Dokument entstammt in seiner ersten oder einer späteren Version der deutschsprachigen Wikipedia. Es ist dort zu finden unter dem Stichwort Supremumsnorm, die Liste der bisherigen Autoren befindet sich in der Versionsliste; die Originalfassung kann dort auch bearbeitet werden. Alle Texte der Wikipedia und ihre Derivate stehen unter der GNU-Lizenz für freie Dokumentation.