Satz von Bishop
# Satz von Bishop

Der Satz von Bishop ist ein Lehrsatz des mathematischen Teilgebiet der Funktionalanalysis, der auf eine Arbeit des US-amerikanischen Mathematikers Errett Bishop aus dem Jahr 1961 zurückgeht. Er ist eng mit dem Approximationssatz von Stone-Weierstraß verbunden, welchen er als unmittelbare Folge nach sich zieht und damit verallgemeinert. Der bishopsche Satz lässt sich mit Hilfe der Sätze von Krein-Milman, Hahn-Banach und Banach-Alaoglu herleiten.

## Formulierung des Satzes

Er lässt sich angeben wie folgt:
    Gegeben seien ein kompakter Hausdorff-Raum $X\neq \emptyset$ und dazu die Funktionenalgebra $C=C(X,\mathbb {C} )$ der stetigen komplexwertigen Funktionen $f\colon X\to \mathbb {C}$.
    Darin sei eine abgeschlossene Unteralgebra $A\subseteq C$ gegeben und weiter ein $g\in C$.
    $A$ enthalte die konstanten Funktionen und darüber hinaus gelte folgende Bedingung:
       Ist $E\subseteq X$ irgend eine maximale $A$-antisymmetrische Teilmenge, so gibt es stets ein $f\in A$ mit $g(x)=f(x)$ für alle $x\in E$.
    Dann ist $g\in A$.

### Erläuterungen und Anmerkungen

* Die Funktionenalgebra $C$ ist wie üblich mit der Supremumsnorm versehen.
* Abgeschlossenheit innerhalb der Funktionenalgebra $C$ ist im Sinne der aus der Supremumsnorm erwachsenden Topologie der gleichmäßigen Konvergenz zu verstehen.
* In der Funktionenalgebra $C$ ist $A\subseteq C$ genau dann eine Unteralgebra, wenn $A$ ein linearer Unterraum von $C$ ist und zudem die Eigenschaft hat, dass für je zwei $f_{1}\in A$ und $f_{2}\in A$ stets auch für die durch komplexe Multiplikation entstehende Funktion $f_{1}f_{2}\colon X\to \mathbb {C} \;,\;x\mapsto f_{1}(x)f_{2}(x)\;,\;$ in $A$ enthalten ist.
* Eine Teilmenge $E\subseteq X$ wird $A$-antisymmetrisch genannt, wenn jedes $f\in A$ mit $f(E)\subseteq {\mathbb {R} }$ stets eine konstante Funktion ist.
* Eine maximale $A$-antisymmetrische Teilmenge ist eine solche, welche von keiner anderen $A$-antisymmetrischen Teilmenge echt umfasst wird.
* Jede maximale $A$-antisymmetrische Teilmenge ist innerhalb des topologischen Raums $X$ abgeschlossen.
* Das Mengensystem aller maximalen $A$-antisymmetrischen Teilmenge bildet eine Zerlegung von $X$.
* Den Approximationssatz von Stone-Weierstraß gewinnt man aus dem Satz von Bishop, indem man berücksichtigt, dass wegen der beim Approximationssatz gemachten Voraussetzungen keine $A$-antisymmetrische Teilmenge zwei oder mehr Punkte enthalten kann.

## Das Lemma von Machado

Zum Satz von Bishop und zum Approximationssatz von Stone-Weierstraß hat der brasilianische Mathematiker Silvio Machado ein Lemma geliefert, mit dem er diese Resultate auf neuem Wege hergeleitet und verallgemeinert hat. Es ergibt sich auf nichtkonstruktivem Wege, nämlich unter Anwendung des zornschen Lemmas. Das Lemma von Machado lässt sich angeben wie folgt:
    Gegeben seien ein Hausdorffraum $X\neq \emptyset$ und dazu die Funktionenalgebra $C_{0}=C_{0}(X,\mathbb {K} )$ der im Unendlichen verschwindenden stetigen Funktionen $f\colon X\to \mathbb {K}$, wobei ${\mathbb {K} }$ der Körper der reellen Zahlen oder der Körper der komplexen Zahlen sein möge.
    Weiterhin sei $A$ eine abgeschlossene Unteralgebra von $C_{0}$ und $f_{0}\in C_{0}$ .
    Dann gilt:
    Es existiert eine nichtleere abgeschlossene $A$-antisymmetrische Teilmenge $E\subseteq X$ mit der Eigenschaft, dass hinsichtlich der zugehörigen Distanzfunktionen die Gleichung ${\operatorname {dist} }_{E}(f_{0},A)={\operatorname {dist} }_{X}(f_{0},A)$ erfüllt ist.

### Erläuterungen und Anmerkungen

* In der Funktionenalgebra $C_{0}$ gelten hinsichtlich Norm und Topologie die gleichen Gegebenheiten wie oben.
* Man sagt von einer (stetigen) Funktion $f\colon X\to \mathbb {K}$, dass sie im Unendlichen verschwindet, wenn zu jeder beliebigen positiven Zahl $\epsilon$ eine kompakte Teilmenge $C\subseteq X$ existiert, so dass für $x\in {X\setminus C}$ stets $|f(x)|<\epsilon$ erfüllt ist.
* Für eine Teilmenge $S\subseteq X$ und eine Funktion $f\in C_{0}$ ist hierbei ${\operatorname {dist} }_{S}(f,A)=\inf _{g\in A}\|f-g\|_{S}$, wobei $\|f\|_{S}=\sup _{x\in S}|f(x)|$ bedeutet und $|\cdot |$ die Betragsfunktion ist.

### Eine verallgemeinerte Fassung des Approximationssatzes von Stone-Weierstraß

Sie besagt:
    Hat die im Lemma von Machado auftretende abgeschlossene Unteralgebra $A\subseteq C_{0}$ die im Approximationssatz genannten allgemeinen Eigenschaften, so ist $A=C_{0}$.
    Das heißt:.
    Für jede abgeschlossene Unteralgebra $A\subseteq C_{0}$, welche die folgenden drei Eigenschaften hat, nämlich:
       1. dass zu je zwei verschiedenen $x,y\in X$ ein $f\in A$ existiert mit $f(x)\neq f(y)$,
       2. dass zu jedem $x\in X$ ein $g\in A$ existiert mit $g(x)\neq 0$,
       3. dass – im Falle $\mathbb {K} =\mathbb {C}$ – mit jedem $f\in A$ auch die zugehörige konjugiert-komplexe Funktion ${\overline {f}}\colon X\to \mathbb {K} ,x\mapsto {\overline {f(x)}},$ in $A$ enthalten ist,
    gilt auch schon $A=C_{0}$.