Lokal konstante Funktion

Die auf $\R\setminus\{0\}$ beschränkte Vorzeichenfunktion ist lokal konstant

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

Eigenschaften

Jede konstante Funktion ist auch lokal konstant.
Jede lokal konstante Funktion von $\mathbb{R}$ in eine beliebige Menge 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 in die komplexen Zahlen ist konstant, wenn 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 in einen diskreten Raum ist genau dann stetig, wenn sie lokal konstant ist.
Jede Abbildung $f\colon D \to T$ von einem diskreten Raum in einen beliebigen topologischen Raum ist lokal konstant.
Die Menge der lokal konstanten Funktionen auf einem Raum bilden auf natürliche Weise eine Garbe kommutativer Ringe.

Die Funktion $f\colon \Q \to \Q$ , definiert durch für $x < \pi$ und 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 \R \setminus\{0\} \to \R$ , definiert durch für und für , ist ebenso lokal konstant.
Die Vorzeichenfunktion ist nicht lokal konstant.
Treppenfunktionen sind nicht lokal, sondern stückweise konstant

Basierend auf einem Artikel in: