Kernoperator

Kernoperator

In der Mathematik versteht man unter dem Kern einer Menge eine Teilmenge, die klein genug ist, um bestimmte Anforderungen zu erfüllen, und zugleich die größte Menge ist, die diese Anforderungen erfüllt. Das wichtigste Beispiel ist der offene Kern bzw. das Innere einer Teilmenge eines topologischen Raums. Kernoperator bezeichnet die Vorschrift, durch die jeder Menge von Objekten ihr Kern zugeordnet wird.

Inhaltsverzeichnis

Definitionen

Ein Kernoperator ist eine intensive, monotone, idempotente Abbildung K, die jeder Teilmenge A einer gegebenen Menge X wiederum eine Teilmenge von X, nämlich den Kern K(A), zuordnet. Im Einzelnen bedeuten die Anforderungen:

Intensivität
K(A) \subseteq A, das heißt: der Kern von A ist mindestens in der Menge A selbst enthalten.
Monotonie bzw. Isotonie
A\subseteq B\ \Rightarrow\ K(A)\subseteq K(B), das heißt: wenn A Teilmenge von B ist, so gilt das entsprechend auch für ihre Kerne.
Idempotenz
K(K(A)) = K(A), das heißt: bildet man vom Kern einer Menge nochmals den Kern, so wird nichts mehr weggenommen.

Kernsysteme

Definition

Ein Kernsystem ist ein unter beliebiger Vereinigungsmengenbildung abgeschlossenes Mengensystem, d. h. ein Kernsystem auf einer Menge X ist eine aus Teilmengen von X bestehende Menge S mit folgenden Eigenschaften:

  • \emptyset ist Element von S.
  • Für jede nichtleere Teilmenge T von S ist die Vereinigung der Elemente von T ein Element aus S, oder anders ausgedrückt: Die Vereinigung von beliebig vielen Elementen von S ist selbst ein Element von S.

Wegen

\bigcup\emptyset = \emptyset

lassen sich die beiden genannten Bedingungen zu einer einzigen – gleichwertigen – Bedingung vereinfachen:

  • Für jede Teilmenge T von S ist die Vereinigung der Elemente von T ein Element aus S.

Zusammenhang zwischen Kernsystemen und Kernoperatoren

Kernoperatoren und Kernsysteme entsprechen einander:

  • Ist S ein Kernsystem auf X, dann kann man einen Kernoperator KS auf X wie folgt definieren:
K_S(A) := \bigcup \{ Y \in S \mid Y \subseteq A \} für alle A \subseteq X.
  • Umgekehrt kann aus jedem Kernoperator K auf X ein Kernsystem SK auf X gewonnen werden:
S_K := \{ K(A) | A \subseteq X \}.

Beispiel

Literatur

  • Marcel Erné: Einführung in die Ordnungstheorie. Bibliographisches Institut, Mannheim 1982, ISBN 3-411-01638-8.
  • Heinrich Werner: Einführung in die allgemeine Algebra. Bibliographisches Institut, Mannheim 1978, ISBN 3-411-00120-8.

Siehe auch

Hüllenoperator


Wikimedia Foundation.

Игры ⚽ Нужно решить контрольную?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Hüllensystem — Eine Menge aus 8 Punkten und ihre konvexe Hülle In der Mathematik versteht man unter der Hülle einer Menge eine Obermenge, die groß genug ist, um bestimmte Anforderungen zu erfüllen, und zugleich die kleinste Menge ist, die diese Anforderungen… …   Deutsch Wikipedia

  • Adhärenzpunkt — Dies ist ein Glossar einiger Begriffe, die in dem Bereich der Mathematik vorkommen, der als Topologie bekannt ist. Dieses Glossar besteht aus zwei Teilen. Der erste Teil beschäftigt sich mit allgemeinen Konzepten und der zweite Teil erklärt Typen …   Deutsch Wikipedia

  • Extensiv (Mathematik) — Dieser Artikel wurde auf der Qualitätssicherungsseite des Portals Mathematik eingetragen. Dies geschieht, um die Qualität der Artikel aus dem Themengebiet Mathematik auf ein akzeptables Niveau zu bringen. Dabei werden Artikel gelöscht, die nicht… …   Deutsch Wikipedia

  • Extensivität — Dieser Artikel wurde auf der Qualitätssicherungsseite des Portals Mathematik eingetragen. Dies geschieht, um die Qualität der Artikel aus dem Themengebiet Mathematik auf ein akzeptables Niveau zu bringen. Dabei werden Artikel gelöscht, die nicht… …   Deutsch Wikipedia

  • Hüllenoperator — Eine Menge aus 8 Punkten und ihre konvexe Hülle In der Mathematik versteht man unter der Hülle einer Menge eine Obermenge, die groß genug ist, um bestimmte Anforderungen zu erfüllen, und zugleich die kleinste Menge ist, die diese Anforderungen… …   Deutsch Wikipedia

  • Innerer Punkt — sowie Inneres bzw. offener Kern sind Begriffe aus der Topologie, einem Teilgebiet der Mathematik. Jedes Element einer Teilmenge M eines topologischen Raums X, zu dem sich eine Umgebung in X finden lässt, die vollständig in M liegt, ist ein… …   Deutsch Wikipedia

  • Intensiv (Mathematik) — Dieser Artikel wurde auf der Qualitätssicherungsseite des Portals Mathematik eingetragen. Dies geschieht, um die Qualität der Artikel aus dem Themengebiet Mathematik auf ein akzeptables Niveau zu bringen. Dabei werden Artikel gelöscht, die nicht… …   Deutsch Wikipedia

  • Intensive Abbildung — Dieser Artikel wurde auf der Qualitätssicherungsseite des Portals Mathematik eingetragen. Dies geschieht, um die Qualität der Artikel aus dem Themengebiet Mathematik auf ein akzeptables Niveau zu bringen. Dabei werden Artikel gelöscht, die nicht… …   Deutsch Wikipedia

  • Topologie Glossar — Dies ist ein Glossar einiger Begriffe, die in dem Bereich der Mathematik vorkommen, der als Topologie bekannt ist. Dieses Glossar besteht aus zwei Teilen. Der erste Teil beschäftigt sich mit allgemeinen Konzepten und der zweite Teil erklärt Typen …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”