Gemeinsames Spektrum

Das gemeinsame Spektrum von endlich vielen Elementen einer kommutativen $ℂ$-Banachalgebra verallgemeinert den in der Mathematik bei der Untersuchung von Banachalgebren verwendeten Begriff des Spektrums eines Elementes.

Motivation und Definition

Sei $A$ eine $ℂ$-Banachalgebra mit Einselement 1. Das Spektrum $\sigma (a)$ eines Elementes $a\in A$ ist die Menge aller komplexen Zahlen $\lambda$, für die das Element $a-\lambda \cdot 1$ nicht invertierbar ist. Bezeichnet man mit $X_A$ die Menge aller $ℂ$-Homomorphismen $A\to ℂ$, so hat man im Falle einer kommutativen Banachalgebra die Beziehung

$\sigma (a)=\{\varphi (a);\varphi \in X_A\}\subset ℂ$.

Diese Beziehung kann man auch auf mehrere Elemente einer Banachalgebra ausdehnen. Für eine kommutative $ℂ$-Banachalgebra $A$ mit Einselement und Elementen $a_1,\dots a_n\in A$ setzt man

$\sigma (a_1,\dots ,a_n)=\{(\varphi (a_1),\dots ,\varphi (a_n));\varphi \in X_A\}\subset {ℂ}^n$.

$\sigma (a_1,\dots ,a_n)$ heißt das gemeinsame Spektrum der Elemente $a_1,\dots a_n$. Hat die Banachalgebra kein Einselement, so adjungierte man ein Einselement und definiere dort das gemeinsame Spektrum.

Eigenschaften

Invertierbarkeit

Der Zusammenhang zwischen Spektrum und Invertierbarkeit verallgemeinert sich wie folgt auf die Situation mehrerer Elemente:

Ist $A$ eine kommutative $ℂ$-Banachalgebra mit 1, $a_1,\dots ,a_n\in A$, ${\lambda }_1,\dots {\lambda }_n\in ℂ$, so sind folgende Aussagen äquivalent:

• $({\lambda }_1,\dots {\lambda }_n)\notin \sigma (a_1,\dots ,a_n)$
• Es gibt $b_1,\dots ,b_n\in A$ mit $\sum _{k=1}^n(a_k-{\lambda }_k)b_k=1$

Kompaktheit

Das gemeinsame Spektrum $\sigma (a_1,\dots ,a_n)$ von endlich vielen Elementen einer kommutativen $ℂ$-Banachalgebra ist eine kompakte Teilmenge von ${ℂ}^n$. Die Abbildung $X_A\to {ℂ}^n,\varphi \mapsto (\varphi (a_1),\dots ,\varphi (a_n))$ ist nach Definition der schwach-*-Topologie, die auf dem Gelfand-Raum $X_A$ betrachtet wird, stetig. Da der Gelfand-Raum einer Banachalgebra mit 1 kompakt ist, ergibt sich daraus die Kompaktheit des gemeinsamen Spektrums, denn stetige Bilder kompakter Mengen sind wieder kompakt.

Polynomkonvexität

Eine Banachalgebra $A$ wird per definitionem von Elementen $a_1,\dots ,a_n\in A$ erzeugt, wenn $A$ die kleinste Unterbanachalgebra von $A$ ist, die $a_1,\dots ,a_n$ enthält.

Für eine Teilmenge $K\subset ℂ$ kann man zeigen, dass genau dann $K=\sigma (a)$ gilt für eine kommutative $ℂ$-Banachalgebra mit Einselement, die von einem Element $a\in A$ erzeugt wird, wenn $K$ kompakt und $ℂ\setminus K$ zusammenhängend ist.

Eine entsprechende topologische Charakterisierung von Mengen im ${ℂ}^n$, die als gemeinsames Spektrum von erzeugenden Elementen $a_1,\dots ,a_n$ einer kommutativen $ℂ$-Banachalgebra mit Einselement auftreten, gelingt nicht. Da eine kompakte Menge $K\subset ℂ$ genau dann polynomkonvex ist, wenn $ℂ\setminus K$ zusammenhängend ist, stellt der folgende Satz eine Verallgemeinerung obigen Sachverhaltes dar:

Für eine Menge $K\subset {ℂ}^n$ sind folgende Aussagen äquivalent:

• Es gibt eine kommutative $ℂ$-Banachalgebra mit Einselement, die von $n$ Elementen $a_1,\dots ,a_n\in A$ erzeugt wird, so dass $K=\sigma (a_1,\dots ,a_n)$.
• $K$ ist kompakt und polynomkonvex.

Hat man endlich viele Elemente, die nicht die gesamte Banachalgebra erzeugen, so ist deren gemeinsames Spektrum im Allgemeinen nicht polynomkonvex.

Literatur

• F. F. Bonsall, J. Duncan: Complete Normed Algebras. Springer-Verlag 1973, ISBN 3540063862
• Lars Hörmander: An Introduction to Complex Analysis in Several Variables, North-Holland Mathematical Library 1973