Klasse (Mengenlehre): Unterschied zwischen den Versionen
Kowa (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Kowa (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 1: | Zeile 1: | ||
=Anschauliche Definition= | |||
Eine [[Klasse (Mengenlehre)|Klasse]] ist eine Zusammenfassung von wohldefinierten und unterscheidbaren | |||
[[Element]]en. | |||
Als Elemete einer Klasse kommen reale und abstrakte Objekte, aber auch Klassen in Frage. | |||
Eine Klasse, die Element einer anderen Klasse ist heißt [[Menge]]. Ein Klasse, die kein Element irgendeiner | |||
Klasse ist, heißt [[Unmenge]] oder [[echte Klasse]]. | |||
=Axiomatische Definition= | |||
Bevor formale Definitionen der Begriffe [[Klasse (Mengenlehre)|Klasse]] und [[Menge]] angegeben werden, müssen | |||
erst ein paar andere Begriffe definiert werden. | |||
== Elementbeziehung == | |||
Die Elementbeziehung <math>\in</math> ist das einzige nicht-[[Logik|logische]] Element der Sprache der Mengenlehre. | |||
Alle anderen Elemente der Sprache der Mengenlehre sind Elemente der [[Logik]]: <math>\vee, \wedge, \neg, \Rightarrow, \Leftrightarrow, \forall, \exists</math> sowie Variablen. | |||
Atomare Formeln sind von der Bauart <math>x \in y</math> (<math>x\,</math> ist Element von <math>y\,</math>). | |||
Außerdem wird definiert: <math>x \notin y :\Leftrightarrow \neg x \in y</math> (<math>x\,</math> ist kein Element von <math>y\,</math>). | |||
== Gleichheit== | |||
Die Gleichheit <math>=\,</math> ist folgendermaßen definiert: | |||
<math>x = y := \forall z: z \in x \Leftrightarrow z \in y</math> | |||
==1. Axiom (Extensionalitätsaxiom)== | |||
Die Verträglichkeit zwischen der <math>\in</math>-Relation und der Gleichkeit wird mit dem | |||
ersten Axiom der Mengenlehre sicher gestellt: | |||
<math>\forall x,y: (\forall z: z \in x \Leftrightarrow z \in y) \Rightarrow x=y</math> | |||
==Formale Definition der Begriffe [[Klasse]] und [[Menge]]== | |||
Eine [[Klasse]] ist eine durch eine [[Formel]] der Sprache der Mengenlehre definierbare Gesamtheit von [[Menge]]n: | |||
Ist <math>A(x)</math> eine (offene) Formel, in der die Variable <math>x</math> und eventuell weitere Mengenvariablen (so genannte Paramer) vorkommen können, so heißt <math>\{x|A(x)\}</math> [[Klasse (Mengenlehre)|Klasse]] aller [[Menge]]n | |||
<math>x</math> mit der Eigenschaft <math>A(x)</math>. Das heißt insbesondere, eine Menge ist immer Element irgend einer Klasse. Ein beliebige Klasse ''kann'' dagegen Element einer anderen Klasse sein, muss es aber nicht. | |||
=Bemerkungen= | |||
Die Begriffe [[Klasse (Mengenlehre)|Klasse]] und [[Menge]] werden eigentlich gar nicht definiert, | |||
sondern es wird nur gesagt, auf welche Art und Weise Formeln gebildet werden müssen, um mit diesen Begriffen arbeiten | |||
zu können. | |||
Das ist axiomatische Mathematik in Reinform. :-) | |||
[http://www.mathematik.uni-muenchen.de/~schwicht/lectures/logic/ss00/skript.pdf Schwichtenberg, Mathematische Logik, 2000] | |||
[[Kategorie:Mengenlehre]] | [[Kategorie:Mengenlehre]] | ||
Version vom 5. Juli 2006, 16:22 Uhr
Anschauliche Definition
Eine Klasse ist eine Zusammenfassung von wohldefinierten und unterscheidbaren Elementen.
Als Elemete einer Klasse kommen reale und abstrakte Objekte, aber auch Klassen in Frage.
Eine Klasse, die Element einer anderen Klasse ist heißt Menge. Ein Klasse, die kein Element irgendeiner Klasse ist, heißt Unmenge oder echte Klasse.
Axiomatische Definition
Bevor formale Definitionen der Begriffe Klasse und Menge angegeben werden, müssen erst ein paar andere Begriffe definiert werden.
Elementbeziehung
Die Elementbeziehung $ \in $ ist das einzige nicht-logische Element der Sprache der Mengenlehre. Alle anderen Elemente der Sprache der Mengenlehre sind Elemente der Logik: $ \vee, \wedge, \neg, \Rightarrow, \Leftrightarrow, \forall, \exists $ sowie Variablen.
Atomare Formeln sind von der Bauart $ x \in y $ ($ x\, $ ist Element von $ y\, $).
Außerdem wird definiert: $ x \notin y :\Leftrightarrow \neg x \in y $ ($ x\, $ ist kein Element von $ y\, $).
Gleichheit
Die Gleichheit $ =\, $ ist folgendermaßen definiert: $ x = y := \forall z: z \in x \Leftrightarrow z \in y $
1. Axiom (Extensionalitätsaxiom)
Die Verträglichkeit zwischen der $ \in $-Relation und der Gleichkeit wird mit dem ersten Axiom der Mengenlehre sicher gestellt:
$ \forall x,y: (\forall z: z \in x \Leftrightarrow z \in y) \Rightarrow x=y $
Formale Definition der Begriffe Klasse und Menge
Eine Klasse ist eine durch eine Formel der Sprache der Mengenlehre definierbare Gesamtheit von Mengen:
Ist $ A(x) $ eine (offene) Formel, in der die Variable $ x $ und eventuell weitere Mengenvariablen (so genannte Paramer) vorkommen können, so heißt $ \{x|A(x)\} $ Klasse aller Mengen $ x $ mit der Eigenschaft $ A(x) $. Das heißt insbesondere, eine Menge ist immer Element irgend einer Klasse. Ein beliebige Klasse kann dagegen Element einer anderen Klasse sein, muss es aber nicht.
Bemerkungen
Die Begriffe Klasse und Menge werden eigentlich gar nicht definiert, sondern es wird nur gesagt, auf welche Art und Weise Formeln gebildet werden müssen, um mit diesen Begriffen arbeiten zu können. Das ist axiomatische Mathematik in Reinform. :-)
