You are here: Foswiki>Math Web>WasIstSeminar>WasIstVorträge>WasIstUltrafilter (09 Dec 2008, PeterKrautzberger)Edit Attach

Was ist eigentlich... ein Ultrafilter?

Diese Seite enthält weitere Informationen, Anregungen und Kritik zum Vortrag "Was ist eigentlich... ein Ultrafilter (und was kann man damit anfangen)?" aus der Reihe Was ist eigentlich...?.

Materialien

  • Die LaTeX-Beamer Folien, die zur Übersicht dienten, sind in der Attachment-Liste abrufbar.

Antworten auf Fragen

  • Nathan fragte beim Thema Ultrapotenz von $\mathbb{R}$, ob es auch umgekehrt zu jedem maximalen Ideal des Rings $\mathbb{R}^\mathbb{N}$ einen Ultrafilter gibt, so dass die Ultrapotenz gerade dem Quotientenkörper entspricht. Dies ist der Fall
    • Beweis: Sei $I$ maximales Ideal des Rings. Definiere $ U:= \{ A \subseteq \mathbb{N} \ |\ (\exists x \in I)\, A = x^{-1}( 0) \}$. Dann ist $ U $ schon Ultrafilter!
      • $\mathbb{N} \in U$, denn die Nullfolge ist in $I$ (da additive Unterhalbgruppe); $ \emptyset \notin U$, denn jede Folge, die nirgends $ 0 $ ist, ist invertierbar (durch die Folge der Kehrwerte) -- $I$ ist aber echtes Ideal, enthält also keine Einheiten.
      • Sind $ A,\, B\in U$, z.B. $A= x^{-1}(0),\, B = y^{-1}(0)$. Dann ist $x+y \in I$ (da additive Gruppe) und gerade (!) $x+y^{-1}(0) = A \cap B$.
      • Ist $A\in U$ und $A \subseteq B$ und wieder $ A = x^{-1}(0)$, so ist für die charakteristische Funktion $\chi$ von $\mathbb{N} \setminus B$ (die genaue bei den Elementen von $B$ nur $0$ und sonst $1$ ist) gerade $x \cdot \chi^{-1} = B$ (!!) und $x \cdot \chi \in I$ (da Ideal).
      • Zuletzt sei $ \mathbb{N} = A \cup B$ mit $ A \cap B = \emptyset$. Dann ist für die jeweiligen charakteristischen Funktionen $ \chi_A, \chi_B$ ja gerade $ \chi_A \cdot \chi_B (k) = 0 $ für jedes $ k\in \mathbb{N}$. Da in einem kommutativen Ring mit Eins jedes maximale Ideal prim ist, folgt, dass schon $\chi_A$ bzw. $ \chi_b $ in $I$, also $ B$ bzw. $ A$ in $U$ ist. Damit ist der Filter $U$ prim, also ein Ultrafilter.

Kleiner Hinweis: Das Argumentieren mit der charakteristischen Funktion ist etwas frickelig, weil die charakteristische Funktion einer Menge gerade dann im Ideal ist, wenn ihr Komplement im Filter ist. Das legt die Formulierung eines Ideal Begriffs dual zum Filterbegriff nahe, wie er auch in der Literatur vorhanden ist, d.h. ein Ideal dual zum Filter besteht aus den Komplementen der Filtermengen, ist abgeschlossen unter Vereinigungen und Teilmengen etc..

Anregungen und Kritik

Hier sollen die Anregungen aus den Kommentaren am Seitenende gesammelt und organisiert werden.

Kommentare

Der Vortrag war "zu kurz" -- Tobias Einwände wurden von mir (Peter) nicht verstanden. Ich hätte ja länger reden können, weil schon viele Fragen während des Vortrags kamen. Vorschlag: "Zeitplanung" sollte nicht vom Vortragenden übernommen werden.

-- krautzbe@PCPOOL/MI/FU-BERLIN.DE - 23 May 2008
 

Latex rendering error!! dvi file was not created.
 




Attachments 1
Edit  | Attach | Print version | History: r18 < r17 < r16 < r15 | Backlinks | View wiki text | Edit wiki text | More topic actions
Topic revision: r17 - 09 Dec 2008, PeterKrautzberger
			 - This page was cached on 04 Mar 2025 - 20:57.



		  








 This site is powered by FoswikiCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors. 
 Ideas, requests, problems regarding Foswiki? Send feedback