Kurs:Topologische Invertierbarkeitskriterien/Algebraische Eigenschaften - permament singulär

Aus testwiki
Zur Navigation springen Zur Suche springen

Einführung

Zunächst werden algebraische Eigenschaften untersucht, die ein Element z aus einer Algebra A zu einem permanent singulären Element machen, d.h. bei dem also in beliebigen Algebraerweiterung kein inverses Element b=z1B existieren kann.

Algebraerweiterung B von A

Nullelement - permanent singulär

Sei (A,𝒯A) sei eine unitale topologische Algebra mit dem Einselement eA mit e=0A. Der Nullvektor 0AA ist permanent singulär.

Beweis durch Widerspruch

Annahme: Es gibt eine Algebraerweiterung (B,𝒯B) von (A,𝒯A), in der Nullvektor 0A invertierbar ist, d.h. das multiplikative Inverse Element boB besitzt:

0Abo=0Abo=e

Wir erhalten nun den Widerspruch durch den Nachweis, dass 0Ab=b0A=0A für alle bB über die Algebraeigenschaften zeigt, denn es gilt mit den Eigenschaften von Vektorräumen bzw. Algebren (bitte ergänzen in den Übungen in Wikiversity)

Nilpotentes Element - permanent singulär

Sei (A,𝒯A) sei eine unitale topologische Algebra mit dem Einselement eA mit e=0A und zA ein nilpotentes Element in A mit zn=0A und zn1=0A für n, dann ist zA permanent singulär.

Beweis durch Widerspruch

Sei zA ein nilpotentes Element in A mit zn=0A und zn1=0A. Ferner definiert man z0:=eA und zn+1:=znz.

Annahme: Es gibt eine Algebraerweiterung (B,𝒯B) von (A,𝒯A), in der das nilpotente Element zA invertierbar ist, d.h. es existiert ein multiplikatives inverses Element b:=z1B mit:

zb=bz=e

Wir erhalten nun den Widerspruch durch den Nachweis:

0A=0Ab=(zn1z)b=zn1(zb)=zn1e=zn10A=zn1

Wiederspruch zu zn10A!

analog (da Multiplikation nicht kommutativ sein muss):

0A=b0A=b(zzn1)=(bz)zn1=enn1=zn10A=zn1

Wiederspruch zu zn10A!

Nullteiler - permanent singulär

Sei (A,𝒯A) sei eine unitale topologische Algebra mit dem Einselement eA mit e=0A und zA ein Nullteiler in A, dann ist zA permanent singulär.

Beweis durch Widerspruch

Annahme: Es gibt eine Algebraerweiterung (B,𝒯B) von (A,𝒯A), in ein Nullteiler zoA invertierbar ist, d.h. das multiplikative Inverse Element zo1B besitzt:

zozo1=zo1zo=e

Ferner nutzen wir die Eigenschaft, dass zoA ein Nullteiler in A ist, d.h. zo=0A und es gibt ein Element z1=0A mit z1A mit:

zoz1=0A bzw. z1zo=0A.

Wir erhalten nun den Widerspruch durch den Nachweis

0A=0Az01=(z1z0)z01=z1(z0z01)=z1e=z10A=z1
Dies ist ein Widerspruch zu z10A

analog gilt, da die Multiplikation nicht zwingend kommutativ ist:

0A=z010A=z01(z0z1)=(z01z0)z1=ez1=z10A=z1
Dies ist ein Widerspruch zu z10A


0A=0Az01=(z1z0)z01=z1(z0z01)=z1e=z1
0A=z1

Widerspruch zu: z10A

Analog gilt (da Multiplikation nicht zwingend kommutativ):

0A=z010A=z01(z0z1)=(z01z0)z1=ez1=z1
0A=z1

Widerspruch zu: z10A


Beweis durch Widerspruch:

0A=0Az01=(z1z0)z01=z1(z0z01)=z1e=z10A=z1
Dies steht in Widerspruch zu z10A

Analog (da Multiplikation nicht zwingend kommutativ):

0A=z010A=z01(z0z1)=(z01z0)z1=ez1=z10A=z1
Dies widerspricht z10A

Bemerkung

Die oben genannten Elemente sind allein durch ihre algebraischen Eigenschaften permanent singulär. Im weiteren Verlauf der Vorlesung werden wir auch topologische Eigenschaften betrachten, die ein Element permanent singulär machen. Dazu gehören die topologischen Nullteiler in einer Algebra. Jeder Nullteiler ist auch ein topologischer Nullteiler - aber nicht umgekehrt.

Aufgaben für Lernende

  • Zeigen Sie, dass ein nilpotentes Element in einer Algebra auch ein Nullteiler ist.
  • Erläutern Sie, warum in den Beweisen oben die Topologie auf A keine Rolle spielt. Argumentieren Sie dabei über die Eigenschaften in der topologischen Algebra, die Sie für den Nachweis der permanenten Singulärität verwendet haben.

Siehe auch

Quellennachweis

  1. Arens, R. (1958). Inverse-producing extensions of normed algebras. Transactions of the American Mathematical Society, 88(2), 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.