Uniforme Algebra

Uniforme Algebren werden im mathematischen Teilgebiet der Funktionalanalysis, genauer in der Theorie der Banachalgebren, untersucht. Es handelt sich dabei um abgeschlossene Unteralgebren von Algebren stetiger Funktionen auf einem Kompaktum bzgl. der Supremumsnorm. Da man letztere auch die uniforme Norm nennt, denn sie definiert die Topologie der gleichmäßigen Konvergenz (engl. uniform convergence), erklärt sich der auch im Deutschen gebräuchliche Name uniforme Algebra.

Definitionen

Für einen kompakten Hausdorffraum $X$ sei $C(X)$ die $ℂ$-Algebra der stetigen Funktionen $C\to ℂ$. $C(X)$ enthält die konstanten Funktionen und trennt nach dem Lemma von Urysohn die Punkte von $X$, das heißt zu je zwei verschiedenen Punkten $x_1,x_2\in X$ gibt es eine Funktion $f\in C(X)$ mit $f(x_1)=f(x_2)$. Mit der Supremumsnorm $\Vert f{\Vert }_X:=\underset{x\in X}{\sup }|f(x)|$ wird $C(X)$ eine kommutative Banachalgebra.

Eine uniforme Algebra auf einem kompakten Hausdorffraum $X$ ist eine $\Vert \cdot \Vert$-abgeschlossene Unteralgebra $A\subset C(X)$, die die Konstanten enthält und die Punkte von $X$ trennt.

Beispiele

• Die Algebren der Form $C(X)$, $X$ kompakter Hausdorffraum, sind selbst uniforme Algebren.
• Für eine kompakte Teilmenge $X\subset {ℂ}^n$ sei $P(X)\subset C(X)$ die Unteralgebra aller Funktionen, die auf $X$ gleichmäßig durch Polynome approximiert werden können. Ist $S^1$ die Einheitskreislinie, so ist $P(S^1)$ die Diskalgebra.
• Für eine kompakte Teilmenge $X\subset {ℂ}^n$ sei $R(X)\subset C(X)$ die Unteralgebra aller Funktionen, die auf $X$ gleichmäßig durch rationale und in einer Umgebung von $X$ holomorphen Funktionen approximiert werden können.
• Für eine kompakte Teilmenge $X\subset {ℂ}^n$ sei $A(X)\subset C(X)$ die Unteralgebra aller Funktionen, die auf $\mathrm{i}\mathrm{n}\mathrm{t}(X)$ holomorph sind, wobei $\mathrm{i}\mathrm{n}\mathrm{t}(X)$ das Innere von $X$ bezeichne. Ist $D\subset ℂ$ der Einheitskreis, so ist $A(D)$ die Diskalgebra. Es ist also $P(S^1)\cong A(D)$, beachte aber, dass es sich um uniforme Algebren über verschiedenen Mengen handelt.

Bemerkungen

Der Begriff der uniformen Algebra hängt ganz wesentlich von $X$ ab. Die Algebra $A:=\{f\in C([0,1])\mid f(0)=f(1)\}$ ist keine uniforme Algebra auf $X=[0,1]$, denn die Punkte 0 und 1 werden nicht durch $A$ getrennt. Aber $A$ ist isometrisch isomorph zur uniformen Algebra $C(S^1)$ der stetigen Funktionen auf der Einheitskreislinie $S^1$, denn

$\mathrm{\Phi }:C(S^1)\to A,(\mathrm{\Phi }(f))(t):=f(e^{2\pi \mathrm{i}t}),t\in [0,1]$

ist offenbar ein solcher Isomorphismus.

Ist $A\subset C(X)$ eine uniforme Algebra auf $X$, so definiert jedes $x\in X$ einen Homomorphismus

${\delta }_x:A\to ℂ,{\delta }_x(f):=f(x)$.

Da $A$ die konstante Funktion 1 enthält und ${\delta }_x(1)=1$, ist ${\delta }_x=0$, das heißt ${\delta }_x$ ist ein Element des Gelfand-Raums $X_A$. Da $A$ die Punkte von $X$ trennt, ist ${\delta }_{x_1}={\delta }_{x_2}$ für zwei verschiedene Punkte $x_1,x_2\in X$. Daher ist

$\delta :X\to X_A,x\mapsto {\delta }_x$

eine homöomorphe Einbettung, die im Allgemeinen aber nicht surjektiv ist.

Damit ist $X\cong \delta (X)\subset X_A$ definitionsgemäß ein Rand der Banachalgebra und kann daher als abgeschlossene Menge des Schilow-Randes ${\partial }_A$ von $A$ aufgefasst werden. In Analogie obiger Beispiele $P(X)$ oder $A(X)$ versucht man in der Theorie der uniformen Algebren für die Restmenge $X_A\setminus X$ unter anderem Begriffsbildungen aus der Theorie der analytischen Funktionen zu verallgemeinern.

Spezialfälle

Eine uniforme Algebra $A$ heißt antisymmetrisch, wenn alle reellwertigen Funktionen aus $A$ konstant sind. Die oben genannte Diskalgebra ist ein Beispiel für eine antisymmetrische uniforme Algebra.

Eine uniforme Algebra $A\subset C(X)$ heißt maximal, wenn es keine echt zwischen $A$ und $C(X)$ gelegene uniforme Algebra auf $X$ gibt. Nach dem Maximalitätssatz von Wermer ist die Diskalgebra $P(S^1)\subset C(S^1)$ maximal. Die Diskalgebra tritt auch als uniforme Algebra $A(D)\subset C(D)$ auf und ist offenbar nicht maximal in $C(D)$. Der Begriff der Maximalität hängt also von $X$ ab.

Eine uniforme Algebra $A\subset C(X)$ heißt Dirichlet auf $X$, wenn der $ℝ$-Vektorraum $\mathrm{R}\mathrm{e}(A):=\{\mathrm{R}\mathrm{e}(f)\mid f\in A\}$ der Realteile der Funktionen aus $A$ eine dichte Teilmenge in $\mathrm{R}\mathrm{e}(C(X))$ ist. Ist zusätzlich $X={\partial }_A$, so nennt man $A$ eine Dirichlet-Algebra.

Eine uniforme Algebra $A\subset C(X)$ heißt logmodular, wenn die Menge $\mathrm{l}\mathrm{o}\mathrm{g}|A^{-1}|:=\{\mathrm{l}\mathrm{o}\mathrm{g}\circ |f|\mid f\in A^{-1}\}$ der Logarithmen der Beträge von in $A$ invertierbaren Funktionen dicht in $\mathrm{R}\mathrm{e}(C(X))$ ist. Dirichlet-Algebren sind logmodular.

Verallgemeinerung

Das obige Beispiel $A:=\{f\in C([0,1])\mid f(0)=f(1)\}$ wirft die Frage auf, wann eine kommutative Banachalgebra mit Einselement isometrisch isomorph zu einer uniformen Algebra ist. Mittels der Gelfand-Transformation und der Spektralradiusformel sieht man leicht, dass eine kommutative Banachalgebra $A$ mit Einselement genau dann isometrisch isomorph zu einer uniformen Algebra ist, wenn $\Vert a^2\Vert =\Vert a{\Vert }^2$ für alle $a\in A$. Im unten angegebenen Lehrbuch von H. Goldmann wird das sogar als Definition verwendet. Ist die Banachalgebra endlich erzeugt, so kann ihr Gelfand-Raum mit dem gemeinsamen Spektrum eines Erzeugendensystems identifiziert werden und daher mit einer kompakten Teilmenge des ${ℂ}^n$.

Diese Charakterisierung kann für eine Verallgemeinerung auf Fréchet-Algebren verwendet werden. Eine Fréchet-Algebra $A$ heißt uniforme Fréchet-Algebra, wenn die Fréchet-Raum-Topologie durch eine Folge $(p_n{)}_{n\in \mathbb{N}}$ submultiplikativer Halbnormen gegeben ist, für die $p_n(a^2)=p_n(a{)}^2$ gilt für alle $n\in \mathbb{N}$ und $a\in A$.