Lokal konstante Funktion
# Lokal konstante Funktion

In der Mathematik heißt eine Funktion $f\colon T\to M$ von einem topologischen Raum $T$ in eine Menge $M$ lokal konstant, wenn für jedes $x\in T$ eine Umgebung $U$ von $x$ existiert, auf der $f$ konstant ist.

## Eigenschaften

* Jede konstante Funktion ist auch lokal konstant.
* Jede lokal konstante Funktion von $\mathbb {R}$ in eine beliebige Menge $M$ ist konstant, da $\mathbb {R}$ zusammenhängend ist und nicht durch mindestens zwei disjunkte offene Mengen zu überdecken ist.
* Jede lokal konstante holomorphe Funktion $f\colon M\to \mathbb {C}$ von einer offenen Menge $M$ in die komplexen Zahlen ist konstant, wenn $M$ ein Gebiet ist, also zusammenhängend ist.
* Allgemein ist jede lokal konstante Funktion konstant auf jeder Zusammenhangskomponente, für lokal zusammenhängende Räume gilt auch die Umkehrung.
* Eine Abbildung $f\colon T\to D$ von einem topologischen Raum $T$ in einen diskreten Raum $D$ ist genau dann stetig, wenn sie lokal konstant ist.
* Jede Abbildung $f\colon D\to T$ von einem diskreten Raum $D$ in einen beliebigen topologischen Raum $T$ ist lokal konstant.
* Die Menge der lokal konstanten Funktionen auf einem Raum bilden auf natürliche Weise eine Garbe kommutativer Ringe.

## Beispiele

* Die Funktion $f\colon \mathbb {Q} \to \mathbb {Q}$, definiert durch $f(x)=0$ für $x<\pi$ und $f(x)=1$ für $x>\pi$ ist lokal konstant. (Hierbei geht ein, dass $\pi$ irrational ist, da so $\{x\mid x<\pi \}$ und $\{x\mid x>\pi \}$ offene Mengen sind, die $\mathbb {Q}$ überdecken.)
* Die Funktion $g\colon \mathbb {R} \setminus \{0\}\to \mathbb {R}$, definiert durch $g(x)=0$ für $x<0$ und $g(x)=1$ für $x>0$, ist ebenso lokal konstant.
* Die Vorzeichenfunktion auf $\mathbb {R} \setminus \{0\}$ ist lokal konstant.
* Treppenfunktionen sind nicht lokal, sondern stückweise konstant.