Zum Inhalt springen

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

Aus Wikiversity

Einführung

[Bearbeiten]

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

Algebraerweiterung B von A

Nullelement - permanent singulär

[Bearbeiten]

Sei sei eine unitale topologische Algebra mit dem Einselement mit . Der Nullvektor ist permanent singulär.

Beweis durch Widerspruch

[Bearbeiten]

Annahme: Es gibt eine Algebraerweiterung von , in der Nullvektor invertierbar ist, d.h. das multiplikative Inverse Element besitzt:

Wir erhalten nun den Widerspruch durch den Nachweis, dass für alle ü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

[Bearbeiten]

Sei sei eine unitale topologische Algebra mit dem Einselement mit und ein nilpotentes Element in mit und für , dann ist permanent singulär.

Beweis durch Widerspruch

[Bearbeiten]

Sei ein nilpotentes Element in mit und . Ferner definiert man und .

Annahme - nilpotentes Element T-regulär

[Bearbeiten]

Man nimmt nun an, dass es eine Algebraerweiterung von gibt, in der das nilpotente Element invertierbar ist, d.h. es existiert ein multiplikatives inverses Element mit:

Widerspruch - nilpotentes Element T-regulär

[Bearbeiten]

Wir erhalten nun den Widerspruch durch die Voraussetzung , wobei die folgenden algebraischen Umformungen zeigen, dass auch gelten müsste:

Widerspruch!

Nullteiler - permanent singulär

[Bearbeiten]

Sei sei eine unitale topologische Algebra mit dem Einselement mit und ein Nullteiler in , dann ist permanent singulär.

Beweis durch Widerspruch

[Bearbeiten]

Annahme: Es gibt eine Algebraerweiterung von , in ein Nullteiler invertierbar ist, d.h. das multiplikative Inverse Element besitzt:

Nullteilereigenschaft

[Bearbeiten]

Ferner nutzen wir die Eigenschaft, dass ein Nullteiler in ist, d.h. und es gibt ein Element mit mit:

Fall 1 - Nullteilereigenschaft

[Bearbeiten]

Wir erhalten nun den Widerspruch durch den Nachweis

Dies ist ein Widerspruch zu

Fall 2 - Nullteilereigenschaft

[Bearbeiten]

Analog zeigt man den zweiten Fall, da die Multiplikation in Algebren nicht zwingend kommutativ sein muss:

Dies führt ebenfalls zu einem Widerspruch zur Voraussetzung

Bemerkung

[Bearbeiten]

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

[Bearbeiten]
  • Zeigen Sie, dass ein nilpotentes Element in einer Algebra auch ein Nullteiler ist!
  • Zeigen Sie, dass ein nilpotentes Element in einer topologischen Algebra auch ein kleine Potenzen besitzt!
  • Zeigen Sie, dass ein Nullteiler in einer topologischen Algebra auch ein topologischer Nullteiler ist!
  • Geben Sie eine Beispiel für eine topologischen Nullteiler an, der aber kein Nullteiler ist!
  • Erläutern Sie, warum in den Beweisen oben die Topologie auf 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

[Bearbeiten]

Quellennachweis

[Bearbeiten]
  1. Arens, R. (1958). Inverse-producing extensions of normed algebras. Transactions of the American Mathematical Society, 88(2), 536-548.

Seiteninformation

[Bearbeiten]

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

Wiki2Reveal

[Bearbeiten]

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.