Loading AI tools
Aus Wikipedia, der freien Enzyklopädie
Als club-Menge wird in der Mengenlehre eine Teilmenge einer Limesordinalzahl bezeichnet, die abgeschlossen und unbeschränkt (engl. closed und unbounded) ist.
Sei eine Limesordinalzahl. Eine Teilmenge heißt
heißt club-Menge, falls sowohl abgeschlossen als auch unbeschränkt ist.
Für ist die Bedingung der Abgeschlossenheit trivialerweise erfüllt, weil es keine Limesordinalzahlen unter gibt; club-Mengen von sind also lediglich unbeschränkte, d. h. unendliche Teilmengen der natürlichen Zahlen.
Fasst man und die Klasse der Ordinalzahlen mittels der Ordnungstopologie als topologische Räume auf, so ist das Bild jeder stetigen, monoton steigenden Funktion eine club-Menge.
Ist die Konfinalität der Limesordinalzahl überabzählbar, , so ist der Schnitt zweier club-Mengen wieder eine club-Menge. Setzt man , so bildet also einen Filter, den club-Filter. Er hat unter anderem folgende Eigenschaften:
Das zu duale Ideal, definiert durch , wird als Ideal der dünnen Teilmengen bezeichnet.
Eine Menge heißt stationär, falls sie nicht dünn ist, also gilt. Eine Menge ist genau dann stationär, wenn ihr Schnitt mit jeder club-Menge nicht leer ist.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.