Halbsichtigkeit

In der Mathematikheißt eine reellwertigeFunktionf oberhalbstetig (oder halbstetig von oben) in einem Punkt x, wenn die Funktionswerte für Argumentenahe bei x von x ausgehend nicht nach oben springen. Wenn die Funktionswerte nicht nach unten springen, dann heißt die Funktion unterhalbstetig in x (oder halbstetig von unten).

Inhaltsverzeichnis

1 Definition
2 Beispiele
3 Eigenschaften
4 Alternative Beschreibung

Definition

Bild:Upper semi.png

Oberhalbstetige Funktion

Sei X ein topologischer Raum, x in X und $f: X \to \mathbb{R}$ eine reellwertige Funktion. f heißt in x oberhalbstetig, wenn für jedes ? > 0 eine Umgebung U von x existiert, so dass $f (y) < f (x) + ε$ für alle y in U. Äquivalent dazu ist die Bedingung

$\limsup_{y\to x} f(y) \le f(x)$

f heißt oberhalbstetig in X, wenn sie in jedem Punkt von X oberhalbstetig ist.

Bild:Lower semi.png

Unterhalbstetige Funktion

Analog heißt f im Punkt x unterhalbstetig, wenn für jedes ? > 0 eine Umgebung U von x existiert, so dass $f (y) > f (x) - ε$ für alle y in U. Äquivalent dazu ist die Bedingung

$\liminf_{y\to x} f(y) \ge f(x)$ .

f heißt unterhalbstetig in X, wenn sie in jedem Punkt von X unterhalbstetig ist.

Beispiele

Die Funktion f mit $f (x) = 0$ für x < 0 und $f (x) = 1$ für x ? 0 ist oberhalbstetig, aber nicht unterhalbstetig in x = 0. Denn geht man mit den Argumenten in negative Richtung von der 0 weg, dann springen die Funktionswerte plötzlich von 1 auf 0 runter, aber sie springen nicht nach oben, egal wohin man weggeht.

Die Gaussklammerist oberhalbstetig, denn sie verhält sich an jeder ganzen Zahl so wie die eben beschriebene Funktion f.

Eigenschaften

Eine Funktion ist stetigin x genau dann, wenn sie dort halbstetig von oben und von unten ist.

Sind f und g zwei in x oberhalbstetige Funktionen, dann ist auch ihre Summe f+g in x oberhalbstetig. Sind beide Funktionen nichtnegativ in einer Umgebung von x, dann ist auch das Produkt fg in x oberhalbstetig. Die Multiplikation einer positiven oberhalbstetigen Funktion mit einer negativen reellen Zahl ergibt eine unterhalbstetige Funktion.

Ist $D$ eine kompakteMenge (zum Beispiel ein abgeschlossenesIntervall [a, b] mit reellen Zahlen a < b) und $f: D \to \mathbb{R}$ oberhalbstetig, dann hat f ein Maximum auf $D$ . Analoges gilt für eine unterhalbstetige Funktion und ihr Minimum.

Sind die Funktionen $f_n: X \to \mathbb{R}$ (für alle n aus N) unterhalbstetig und ihr Supremum

$f(x) := \sup \{f_n(x) : n \in \mathbb{N}\}$

kleiner als ? für jedes x in X, dann ist f unterhalbstetig. Selbst wenn alle f_n stetig sind, muss f aber nicht stetig sein.

Alternative Beschreibung

Durch eine geeignete Wahl einer Topologie auf $\mathbb{R}$ können oberhalbstetige und unterhalbstetige Funktionen als stetige Funktionen aufgefasst werden, und somit lassen sich einige der Eigenschaften direkt aus allgemeinen Aussagen aus der Topologieherleiten.

Auf $\mathbb{R}$ bilden die offenen Intervalle der Form $]-\infty,a[$ für reelle Zahlen a eine Topologie, die mit $O <$ bezeichnet wird. Sei X ein topologischer Raum. Eine Funktion $f:X\rightarrow \mathbb{R}$ ist genau dann oberhalbstetig, wenn f als Abbildung $X\rightarrow (\mathbb{R},O_{<})$ stetig ist. Für unterhalbstetige Funktionen verwendet man analog die Topologie $O >$ , deren offenen Mengen die Intervalle der Form $]a,\infty[$ sind.en:Semi-continuity

Von "http://de.wikipedia.org/Halbstetigkeit"

Seitenkategorien: Topologie| Analysis

Dieser Artikel basiert auf dem Artikel aus der freien Enzyklopädie Wikipedia und steht unter der GNU-Lizenz für freie Dokumentation.
In der Wikipedia ist eine Liste der Autoren verfügbar.