Bishop-Rand

Der Bishop-Rand, alternativ auch minimaler Rand genannt, ist ein Begriff aus der mathematischen Theorie der Banachalgebren. Er geht auf Errett Bishop zurück, der diese Menge dazu nutzte, den Choquet-Rand in bestimmten Fällen zu charakterisieren. Es handelt sich um die minimale Menge, die in jedem Rand einer kommutativen Banachalgebra enthalten ist. Man spricht daher auch vom minimalen Rand. Man beachte, dass es sich im Allgemeinen nicht um einen echten Rand handelt, er kann im Extremfall sogar leer sein, wie unten durch ein Beispiel belegt wird.

Definition[Bearbeiten]

Es sei <math>X</math> ein kompakter Hausdorffraum und <math>C(X)</math> die Banachalgebra der stetigen Funktionen <math>X\rightarrow \Complex</math> mit der Supremumsnorm <math>\|\cdot\|_\infty</math>. Eine Funktionenalgebra über <math>X</math> ist eine Unteralgebra <math>A\subset C(X)</math>, die die konstanten Funktionen enthält und die Punkte trennt, das heißt, für zwei verschiedene Punkte <math>x,y\in X</math> gibt es ein <math>f\in A</math> mit <math>f(x) \not= f(y)</math>.

Ein Punkt <math>x\in X</math> heißt Peakpunkt zu <math>A</math>, falls es eine Funktion <math>f\in A</math> gibt, so dass

<math>\|f\|_\infty = |f(x)| = 1 </math> und <math>|f(y)| < 1</math> für alle <math>y\in X\setminus\{x\}</math>.

Die Menge <math>\rho A</math> aller Peakpunkte heißt der Bishop-Rand oder der minimale Rand.<ref>Ronald Larsen: Banach Algebras, Marcel Dekker (1973), ISBN 0-8247-6078-6, Definition 9.1.3</ref>

Die Definition lässt sich leicht auf lokalkompakte Räume verallgemeinern. Man betrachtet dann die Banachalgebra <math>C_0(X)</math> derjenigen stetigen Funktionen, die im Unendlichen verschwinden, und ersetzt die Forderung, die konstanten Funktionen zu enthalten, dadurch, dass es keinen Punkt <math>x\in X</math> geben darf, in dem jedes <math>f\in A</math> den Wert 0 hat. Ist schließlich <math>A</math> eine beliebige kommutative Banachalgebra mit dem Gelfand-Raum <math>X_A</math>, so definiert man <math>\rho A</math> als den Bishop-Rand der Funktionenalgebra der Gelfand-Transformierten in <math>C_0(X_A)</math>. Die letzte Definition kann in konstruierten Fällen in Konflikt zur ersten geraten, denn ist eine kommutative Banachalgebra <math>A</math> auch als eine Funktionenalgebra in einer Algebra <math>C(X)</math> realisiert, so muss <math>X</math> nicht notwendigerweise der Gelfand-Raum von <math>A</math> sein.

Beispiele[Bearbeiten]

Ist <math>X</math> kompakt und metrisierbar, so ist <math>\rho C(X) = X</math>. In diesem Fall ist der minimale Rand gleich der dafür maximal möglichen Menge.<ref>Ronald Larsen: Banach Algebras, Marcel Dekker (1973), ISBN 0-8247-6078-6, Beispiel 9.3.1</ref>
Im Falle der Diskalgebra <math>A(\mathbb{D})</math> auf dem Einheitskreis <math>\mathbb{D}</math> stimmt der Bishop-Rand mit dem topologischen Rand <math>\partial \mathbb{D} = \{z\in \Complex\mid |z|=1\}</math> überein.<ref>Ronald Larsen: Banach Algebras, Marcel Dekker (1973), ISBN 0-8247-6078-6, Beispiel 9.3.1</ref>

Datei:BeispielZumRandEinerBanachalgebra.png

X ist die Vereinigung aus Kreisscheibe und im Nullpunkt aufgesetzter Strecke

Wir geben nun eine Funktionenalgebra an, für die der Bishop-Rand nicht abgeschlossen ist. Dazu sei

<math>X := \mathbb{D} \cup [0,1]\cdot e_3 \subset \R^3</math> mit der Relativtopologie.

<math>X</math> ist ein kompakter Raum und <math>C(X)</math> enthält die Funktionenalgebra

<math>A:=\{f\in C(X) \mid f|_{\mathrm{int}(\mathbb{D})} \text{ ist holomorph }\}</math>,

wobei <math>\mathrm{int}(\mathbb{D})</math> das Innere des Einheitskreises bezeichne. Für den Schilow-Rand <math>\partial A </math> zeigt man

<math>\partial A = \partial \mathbb{D} \cup [0,1]\cdot e_3 </math>.

Der Bishop-Rand erweist sich als um einen Punkt kleiner

<math>\rho A = \partial \mathbb{D} \cup (0,1]\cdot e_3 = \partial A \setminus \{(0,0,0)\}</math>.

Wir zeigen dazu nur, dass <math>0 = (0,0,0)</math> kein Peakpunkt ist und damit nicht zum Bishop-Rand gehört. Wäre nämlich 0 ein Peakpunkt, so gäbe es ein <math>f\in A</math> mit <math>|f(0)| = 1</math> und <math>|f(x)| < 1</math> für alle anderen Punkte. Da aber <math>f|_{\mathrm{int}(\mathbb{D})}</math> holomorph ist, widerspricht das dem Maximumprinzip der Funktionentheorie.<ref>Ronald Larsen: Banach Algebras, Marcel Dekker (1973), ISBN 0-8247-6078-6, Beispiel 9.3.4</ref>

Ist <math>\Lambda</math> eine überabzählbare Menge, so ist der Produktraum <math>X=[0,1]^\Lambda</math> mit der Produkttopologie nach dem Satz von Tichonow kompakt. Man kann zeigen, dass in diesem Falle überhaupt keine Peakpunkte existieren, das heißt, es ist <math>\rho C(X) = \emptyset</math>. In diesem Fall ist der Bishop-Rand also kein Rand.<ref>Ronald Larsen: Banach Algebras, Marcel Dekker (1973), ISBN 0-8247-6078-6, Beispiel 9.3.5</ref>

Charakterisierung[Bearbeiten]

Für abgeschlossene Funktionenalgebren <math>A\subset C(X)</math> können Peakpunkte topologisch anders charakterisiert werden, was dann zu einer Charakterisierung des Bishop-Randes führt. Dazu nennt man einen Punkt <math>x\in X</math> einen starken Randpunkt, wenn es zu jeder offenen Umgebung <math>U</math> von <math>x</math> eine Funktion <math>f\in A</math> gibt mit <math>\|f\|_\infty = |f(x)| = 1</math> und <math>|f(y)|<1</math> für alle <math>y\in X\setminus U</math>. Mit dieser Definition gilt folgender Satz:

Ist <math>X</math> ein kompakter Hausdorffraum und <math>A\subset C(X)</math> eine abgeschlossene Funktionenalgebra, so sind folgende Aussagen über <math>x\in X</math> äquivalent:<ref>Ronald Larsen: Banach Algebras, Marcel Dekker (1973), ISBN 0-8247-6078-6, Lemma 9.7.3</ref>

<math>x\in \rho A</math>
<math>x</math> ist ein starker Randpunkt und <math>\{x\}</math> ist eine G_δ-Menge.

Damit wird nun auch das zuletzt genannte Beispiel klar, denn in <math>X=[0,1]^\Lambda</math> ist bei überabzählbarem <math>\Lambda</math> keine einpunktige Menge eine G_δ-Menge.

Beziehung zum Choquet-Rand[Bearbeiten]

E. Bishop untersuchte den Raum der Peakpunkte, um folgenden Satz zu zeigen:<ref>E. Bishop: A minimal boundary for function algebras, Pacific Journal of Mathematics (1959), Band 9, Seiten 629–642</ref><ref>Ronald Larsen: Banach Algebras, Marcel Dekker (1973), ISBN 0-8247-6078-6, Theorem 9.7.2</ref>

Ist <math>X</math> ein kompakter Hausdorffraum und <math>A\subset C(X)</math> eine abgeschlossene Funktionenalgebra, so stimmt der Bishop-Rand mit dem Choquet-Rand überein und ist eine G_δ-Menge.

Insbesondere ist der Bishop-Rand in diesem Fall ein Rand.

Einzelnachweise[Bearbeiten]