Kurs:Topologische Invertierbarkeitskriterien/P-Regularität über p-Normen

Aus testwiki
Version vom 15. Juli 2021, 09:06 Uhr von imported>Bert Niehaus (Beweisidee)
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)
Zur Navigation springen Zur Suche springen

Einführung

Wenn wir die 𝒫-Regularität eines Elementes zA für eine lokalbeschränkte topologische Algebra (A,A) sprechen, suchen wir nach einer lokalbeschränkten Algebraerweiterungen (B,B) von (A,A) in der zA invertierbar ist. Dabei reicht es nach dem Korrespondenzsatz p-Halbnormen zeigen, dass eine normierte Algebraerweiterung, dass die Algebraerweiterung (B,B)

  • durch eine p-Norm topologisiert werden kann oder (alternativ)
  • die Topologe durch eine Quasinorm B) erzeugt werden kann

Analog zur Vollständigkeit bei Banachalgebren verändert das die Eigenschaft der Vollständigkeit das Vorgehen nicht, denn ist ein aus zA in einer lokalbeschränkten Algebra (B0,𝒯B0) invertierbar, die nicht vollständig ist, dann vervollständig man ggf. die Algebraerweiterung B0 zu B.

Zielsetzung

Zielsetzung einer lokalbeschränkten Algebraerweiterung (B,B) zu einer gegebenen topologischen Algebra (A,A) mit zA ist es, die gegebene lokalbeschränkte Algebraerweiterung so zu vergrößern, dass diese ein inverses Element z1:=bB in der lokalbeschränkten Algebraerweiterung B besitzt. Als topologieerzeugende p-Gaugefunktionale werden hier p-Normen A und B verwendet.

Charakterisierung der P-Regulärität

Der folgende Beweis zeigt die folgende Äquivalenz für kommuntative lokalbeschränkte Algebren (A,A) mit einer p-Norm A:

  • zA permanent singulär z𝒯𝒩𝒯(A) (topologischer Nullteiler)
  • zA 𝒫-regulär es gibt ein D>0 mit xDzx für alle xA

Veranschaulichung

Algebraerweiterung B von A ist hier wieder eine Banachalgebra, die ein inverses Element b=z1B zu einem gegebenen zA enthält.

Algebraerweiterung


Lokalbeschränkte Algebraerweiterung:

Sei 𝒫e die Klasse der lokalbeschränkten unitalen Algebren und A𝒫e. Die Algebraerweiterung B𝒫e bzw. 𝒫-Erweiterung von A benötigt nach Definition es einen Algebraisomorphismus τ:AAB mit:

  • τ(eA)=eB, wobei eA ist das Einselement von A und eBA das Einselement von B ist.
  • A ist homöomorph zu A; d.h. τ und τ1:AA sind stetig.

Veranschaulichung - Algebraisomorphismus

Algebraerweiterung - Einbettung

Algebraisomorphismus - Einbettung in die Algebraerweiterung

  • Im allgemeinen identifiziert man A mit A und schreibt AB. In der jeweiligen Konstruktion der Algebraerweiterung sieht man, dass die Element aus xA mit Elementen τ(x)=x+IB in einem Quotientenraum B:=A[t]/I identifiziert werden.
  • Sei 𝔘A(0) eine Nullumgebungsbasis der Relativtopologie von B auf A und 𝔘A(0) eine Nullumgebungsbasis von A, dann kann man die Homöomorphie zwischen A und A wie immer über die Topologie ausdrücken:
V𝔘A(0)U𝔘A(0):UV(τ(U)V)U𝔘A(0)V𝔘A(0):VU(τ1(V)U).

Stetigkeit über p-Norm

Betrachtet man die p-Normen A und A für Nullumgebungen, so lassen sich die oberen beiden Aussagen wie folgt umformulieren (siehe auch Stetigkeitssatz für lineare Abbildungen):

C1>0xA:xAC1τ(x)A bzw. AτC1AC2>0xA:τ(x)AC2xA bzw. AτC2A.

Kommuntative Algebren und deren Algebraerweiterung

Wir betrachten zunächst kommuntative Algebren (A,A). Die Konstruktion der Algebraerweiterung induziert die Kommuntativität auch auf die Polynomalgebren und letztlich auf die gesuchte Algebraerweiterung (B,B). Ohne die Kommunitativität liefern die Charakterisierungssätze zunächst nur linksinverse bzw. rechtsinverse Elemente.

Beweisidee

Der Beweis für einen p-normierbaren Raum kann analog zur Banachalgebraerweiterungen der -Regularität (nach Arens 1958[1]) geführt werden.

Veranschaulichung Beweisidee

Bei der Konstruktion der Algebraerweiterung, in der ein zA invertierbar ist, wird in einem ersten Schritt die Algebra der Polynome A[t] betrachtet. Die folgende Abbildung zeigt, wie die Algebraerweiterung B über die Polynomalgebra konstruiert wird.

Algebraerweiterung und Polynomalgebren mit Koeffizienten in A

Beweisidee 1 - Konstruktion der Algebraerweiterung

  • Ausgehend von (A,A) wird die Polynomalgebra (A[t],||A[t]) mit einer p-Norm ||A[t] topologisiert und die p-Norm ||A[t] macht A[t] zu einer topologischen Algebra, wobei die Stetigkeit der Cauchy-Multiplikation nachzuweisen ist.
  • Übergang zu dem Quotientenraum B:=A[t]/I, wobei das Polynom o(t):=zteA das Hauptideal I:=oA[t] definiert und oA[t] ein Repräsentant des Nullvektors 0B:=I=o+I in B ist.

Beweisidee 2 - Konstruktion der Algebraerweiterung

Die Konstruktion des Ideals I liefert die algebraische Invertierbarkeit, denn mit b(t):=eAt ist bI:=b+IB=A[t]/I das inverse Element zu zA mit zI:=τ(z)=z+IB mit zIbIeB=0B bzw. zIbI=eB. Die Kommutativität liefert dann, dass auch bIzI=eB gilt.

Normierte Polynomalgebra

Wir betrachten nun zu einer gegeben Banachalgebra (A,𝒜)(𝕂) die Menge der Polynome mit Koeffizienten in A.

p(t)=k=0npktk mit pkA für k{0,1,...,n}

und Potenzreihen mit Koeffizienten in der Algebra A

p(t)=k=0pktk mit pkA für ko

Grad von Polynomen

Zunächst einmal würde man Polynome formal eher in der obigen Form mit no notieren und mit pn=0A würde n den Grad des Polynoms angeben. Für das Cauchyprodukt von zwei Polynomen p,qA[t] ist diese Schreibweise allerdings ungeeignet, da bei der Addition und Multiplikation zwei Polynomen p,qA[t] die Handhabung des Grades zusätzlichen formalen Aufwand nach sich zieht, der aber für die weitern Betrachtungen von Algebraerweiterungen keine Rolle spielt.

Schreibweise für die Polynomalgebra

Daher werden die Polynome wie folgt über "endliche" Folgen coo(A) definiert, die ab einer Indexschranke no nur noch aus dem Nullvektor 0A in A besteht.

p(t)=k=0pktk mit (pk)k0coo(A)

Topologischer Nullteiler

Wenn zA ein topologischer Nullteiler in A ist (z\in 𝒯𝒩𝒯(A)), gilt:

infxA=1zxA=0

Aus der Negation der Eigenschaft erhält man eine Konstante D>0 mit:

xADzxA

Topologisierung der Polynomalgebra

Die pA[t] wird nun mit einer Folge (Dk)k mit einer positiven Konstanten D+ topologisiert, wobei die Konstante D sich aus der Eigenschaft ergibt, dass zA topologischer Nullteiler ist.

|p|:=k=0DkpkA mit (pk)k0coo(A)

coo(A) sind abbrechende Folgen in A, bei denen ab einer Indexschranke nur noch der Nullvektor 0A als Folgenglied auftritt.

Stetigkeit der Multiplikation

Für eine gegebene feste positive Konstante D>0 kann man die Folge (Dk)k wie folgt definieren:

|p|D:=k=0DkpkA mit (pk)k0coo(A)

p-Homogenität

Die Eigenschaft der p-Homogenität überträgt sich von A auf ||D, denn:

|λp|D=k=0DkλpkA=k=0Dk|λ|ppkA=|λ|pk=0DkpkA=|λ|p|λp|D

Dreiecksungleichung p-Norm - Stetigkeit der Addition

Die Eigenschaft der p-Homogenität überträgt sich ebenfalls von A auf ||D, denn mit q,rA[t]:

|q+r|D=k=0Dkqk+rkAk=0Dk(qkA+rkA)=k=0(DkqkA+DkrkA)=|q|D+|r|D

Cauchy-Produkt 1 - Stetigkeit der Multiplikation

Betrachtet man zwei Polynome q,rA[t] in dem p-normierten Raum (A[t],||D).

q(t):=k=0pktk und r(t):=k=0qktk

Dann liefert die Definition der Norm für das Produkt pq:

|qr|D=n=0Dnk=0nqkrnkA

Cauchy-Produkt 2 - Stetigkeit der Multiplikation

Die gegebene p-Norm sei ohne Einschränkung submultiplikativ mit xyAxAyA

|qr|D=n=0Dnk=0nqkrnkAn=0Dnk=0nqkrnkAn=0k=0nDnqkArnkA=n=0k=0nDkqkADnkrnkA=(k=0DkqkA)(k=0DkrkA)=|q|D|r|D

Topologisierung der Algebraerweiterung

Die p-Norm auf der Polynomalgebra (A[t],||D) induziert auch die p-Norm auf dem Quotientenraum (B,B) mit B:=A[t]/I. Sowohl (A,A), (A[t],||C) und (B,B) sind dann lokalbeschränkte topologische Algebren, wobei alle p-Normen bzgl. des gleichen p>0 dann p-homogen sind.

Abgeschlossenes Hauptideal in der Polynomalgebra

Für das gegebene zA in der kommutativen lokalbeschränkten topologische Algebren (A,A) definiert man ein Polynom oA[t] mit o(t):=zteA, wobei eA das Einselement der Multiplikation in A ist. Als Ideal definiert man I:=oA[t] als abgeschlossenes Hauptideal in A[t]. Als Untervektorraum I wäre der Quotientenraum auch ein Vektorraum. Die zusätzliche Eigenschaft des Ideals sorgt dafür, dass auch die Multiplikation auf dem Quotientenraum wohldefiniert ist.

Topologisierung des Quotientenraumes Algebraerweiterung

Die Algebraerweiterung wird mit einer Quotienten-p-Norm versehen, die wie folgt definiert ist:

qIB:=q+IB:=infrI|q+r|D

Dabei bezeichnen man die Nebenklassen in Kurzform mit qIB, wobei diese Mengen wie folgt definiert sind:

qI:=q+I:={q+r:rI}

Man muss hier keine Linknebenklassen und Rechtnebenklassen unterscheiden, da die Addition in einem Vektorraum kommuntativ ist.

Stetigkeit Algebrahomomorphismus

Sei xA beliebig gewählt, dann gilt mit der Norm B auf dem Quotientenraum B:=A[t]/I die folgende Abschätzung

τ(x)B=xIB=x+IB:=infrI|x+r|D|x+0A[t]|D=D0xA=xA

Damit ist τ stetig (siehe Stetigkeitssatz für lineare Abbildungen).

Struktur der Polynome aus dem Ideal

Betrachten nun das Bild τ(A)B von τ in B. Sei nun A=τ(A)={xI:xI=x+I=τ(x)} gegeben und man betrachtet die Abschätzung für ein beliebiges qA[t] mit r=oqI mit o(t)=zteA. Dabei gilt:

r(t)=k=0rktk=o(t)q(t)=q0+k=1(zqk1qk)tk

Homöomorphie der Einbettung

Nun ist die Algebraerweiterung B topologisiert und es ist noch nachzuweisen, dass die bijektive Abbildung τ und τ1 als lineare Abbildungen stetig sind (siehe Stetigkeitssatz für lineare Abbildungen)

Stetigkeit der Einbettung von A in B

Für die Stetigkeit der Umkehrabbildung τ1 gilt bzgl. dem Nullpolynom 0A[t]I:

x+IB:=infrI|x+r|D|x+0A[t]|D=D0xA=xA

Insgesamt ist der Algebraisomorphismus der Einbettung von A in AB:=A[t]/I eine Isometrie mit x+IB=xA.

Stetigkeit der Umkehrabbildung der Einbettung 1

Unter Verwendung der Abschätzung xADzxA erhält man

|x+r|D=D0xq0A+k=0Dkzqk1qkAD0xq0A+k=0Dk(zqk1AqkA)D0xq0A+k=0Dkzqk1ADkqkAxq0A+k=0Dk1qk1ADkqkxq0A+q0AxA

Stetigkeit der Umkehrabbildung der Einbettung 2

Durch Infimumbildung über alle Polynome rI bleibt die obige Ungleichung erhalten. x+IB:=infrI|x+r|DxA

Invertierbarkeit in der Algebraerweiterung

Wir betrachteten eine kommutative lokalbeschränkte Algebra A𝒫ek(𝕂) über dem Körper 𝕂.

Neutrales Element der Multiplkation und Addition

  • Die Abbildung τ:AB mit τ(x)=xI=x+I bettet ein xA hömöomorph in die Algebraerweiterung B von A ein.
  • Das Element eB:=eA+I=τ(eA) ist das neutrale Element der Multiplikation in B mit der Multiplikation pIqI:=(pq)+I.
  • Da das Polynom o(t):=zteAA das abgeschlossene Hauptideal I:=oA[t] erzeugt, ist oA[t] ein Repräsentant des Nullvektor 0B=o+I=0A+I in B:=A[t]/I

Invertierbarkeit von z

Mit b(t):=eAt erhält man eine Element bI=b+IB im Quotientenraum B:=A[t]/I und b(t):=eAt ist ein Repräsentant des inversen Elementes von z bzw.τ(z)=zI, denn es gilt mit o(t)=zteA auch 0B=oI=zIbIeB. Mit Umformung in B gilt dann mit der Kommuntativität von A und B auch:

zIbI=bIzI=eB

Siehe auch

Quellennachweis

  1. Arens R., Inverse producing extensions of normed algebras, Trans. Amer. Math. Soc. 88, (1958), S. 536-548

Seiteninformation

Diese Lernresource können Sie als Wiki2Reveal-Foliensatz darstellen.

Wiki2Reveal

Dieser Wiki2Reveal Foliensatz wurde für den Lerneinheit Kurs:Topologische Invertierbarkeitskriterien' erstellt der Link für die Wiki2Reveal-Folien wurde mit dem Wiki2Reveal-Linkgenerator erstellt.