Eine freie Initiative von Menschen bei anthrowiki.at, anthro.world, biodyn.wiki und steiner.wiki mit online Lesekreisen, Übungsgruppen, Vorträgen ... |
Wie Sie die Entwicklung von AnthroWiki durch Ihre Spende unterstützen können, erfahren Sie hier. |
Use Google Translate for a raw translation of our pages into more than 100 languages. Please note that some mistranslations can occur due to machine translation. |
Entwicklungsbiologie und Menge: Unterschied zwischen den Seiten
imported>Joachim Stiller Keine Bearbeitungszusammenfassung |
imported>Odyssee |
||
Zeile 1: | Zeile 1: | ||
[[Datei:Example of a set.svg|mini|Eine Menge von Polygonen]] | |||
[[Datei:Set subsetAofB.svg|mini||''A'' ist eine (echte) '''Teilmenge''' von ''B''.]] | |||
Die '''Menge''' (von {{mhd|''manic''}} „viel“) fasst eine endliche oder unendliche [[Anzahl]] beliebiger, wohlunterschiedener '''Elemente''' zu einer Gesamtheit zusammen und ist heute eines der grundlegendsten Konzepte der [[Mathematik]]. Mengen werden häufig auch durch entsprechende [[Mengendiagramm]]e grafisch veranschaulicht. | |||
== Grundlagen == | |||
[[ | Die '''Mengenlehre''' wurde in der Zeit von 1874 bis 1897 von [[Georg Cantor]] (1845-1918) begründet. Er definierte den [[Begriff]] „Menge“ wie folgt: | ||
{{Zitat|Unter einer „Menge“ verstehen wir jede Zusammenfassung M von bestimmten wohlunterschiedenen Objekten m unserer Anschauung oder unseres Denkens (welche die „Elemente“ von M genannt werden) zu einem Ganzen.|Georg Cantor<ref>Georg Cantor: ''Beiträge zur Begründung der transfiniten Mengenlehre.'' In: ''[[Wikipedia:Mathematische Annalen|Mathematische Annalen]]'' 46 (1895), S. 481. [http://gdz.sub.uni-goettingen.de/dms/load/img/?PPN=PPN237853094&DMDID=DMDLOG_0069&LOGID=LOG_0069&PHYSID=PHYS_0295 Online].</ref>}} | |||
Vereinbarungsgemäß werden die Elemente einer Menge entweder explizit oder durch eine geeignete Definition innerhalb geschwungener Klammern angegeben, z.B. für die abzählbar unendliche Menge der [[Natürliche Zahl|natürlichen Zahlen]] <math>\mathbb{N} = \{1; 2; 3; \ldots\}</math>. Eine Menge, die keine Elemente enthält, wird als [[leere Menge]] <math>\emptyset</math> oder auch <math>\{\}</math> bezeichnet. Wird bei einer Menge auch die Reihenfolge der Elemente berücksichtigt, spricht man von einer [[Folge (Mathematik)|Folge]]. | |||
=== Grundmenge === | |||
Die '''Grundmenge''', die auch als '''Universum''' <math>U</math> bezeichnet wird, umfasst die Menge aller im gegebenen Zusammenhang betrachteten Elemente und ist damit die Basis für alle weiteren Überlegungen. | |||
=== Teilmenge === | |||
Cantor prägte auch den Begriff der '''Teilmenge''' oder ''Untermenge''. <math>A</math> ist eine '''Untermenge''' (Teilmenge) von <math>B</math> und <math>B</math> ist eine '''Obermenge''' von <math>A</math>, wenn jedes Element von <math>A</math> auch in <math>B</math> enthalten ist: | |||
::<math>A \subseteq B \Longleftrightarrow B \supseteq A: \forall x \in A\colon x \in B</math> | |||
Enthält <math>B</math> zudem weitere Elemente, die nicht in <math>A</math> enthalten sind, so ist <math>A</math> eine '''echte Teilmenge''' von <math>B</math> und <math>B</math> ist eine '''echte Obermenge''' von <math>A</math>. | |||
Die Menge aller Teilmengen einer gegebenen '''Grundmenge''' <math>X</math> wird als '''Potenzmenge''' <math>\mathcal P(X)</math> bezeichnet. | |||
=== Potenzmenge === | |||
Als '''Potenzmenge''' <math>\mathcal P(X)</math> wird die Menge aller Teilmengen <math>U</math> einer gegebenen Grundmenge <math>X</math> bezeichnet: | |||
:<math>\mathcal P(X) := \{ U \mid U \subseteq X \}</math> | |||
=== Differenzmenge und Komplementärmenge === | |||
[[Datei:absolute complement.svg|thumb|Das absolute Komplement A<sup>C</sup> von A in U]] | |||
Die '''Differenzmenge''' zweier Mengen <math>A</math> und <math>B</math> ist die Menge aller Elemente, die in <math>A</math>, aber nicht in <math>B</math> enthalten sind, d.h.: | |||
::<math>A \setminus B := \{ x \mid \left( x\in A \right) \land \left( x\not\in B \right) \}</math> | |||
Gilt dabei <math>B \subseteq A</math>, so wird die Differenzmenge auch als '''Komplementärmenge''' von <math>B</math> in <math>A</math> oder kurz als '''Komplement''' bezeichnet. Dabei wird zwischen einem '''relativem Komplement''' bezüglich beliebiger Teilmengen und einem '''absoluten Komplement''' bezüglich der Grundmenge <math>U</math> unterschieden. | |||
=== Mächtigkeit === | |||
Die [[Mächtigkeit (Mathematik)|Mächtigkeit]] oder ''Kardinalität'' einer Menge wird durch die [[Kardinalzahl]] angegeben. Für endliche Menge ist sie gleich der [[Anzahl]] ihrer Elemente. Unendliche Mengen können unterschiedliche Mächtigkeiten haben, die durch den [[Hebräisches Alphabet|hebräischen Buchstaben]] <math>\aleph</math> und einen Index bezeichnet werden. Für die abzählbar unendliche Menge der [[Natürliche Zahl|natürlichen Zahlen]], die unter den unendlichen Mengen die geringste Mächtigkeit haben, schreibt man entsprechend <math>\aleph_0</math>. Die ''überabzählbare'' unendliche Menge der [[Reelle Zahl|reellen Zahlen]] hat unter Annahme der [[Kontinuumshypothese]]<ref>Die Kontinuumshypothese besagt, dass es keine Menge gibt, deren Mächtigkeit zwischen der Mächtigkeit der natürlichen Zahlen und der Mächtigkeit der reellen Zahlen liegt. Diese Hypothese hat sich aber als ''[[unentscheidbar]]'' erwiesen.</ref> die Mächtigkeit <math>\aleph_1</math>, andernfalls gilt zumindest <math>\aleph_1 \le \left\vert\mathbb{R}\right\vert</math>. | |||
== Punktmenge == | |||
In der [[Geometrie]] werden verschieden dimensionale [[Raum (Mathematik)|Räume]], wie die [[eindimensional]]e [[Linie]], die [[2D|zweidimensionale]] Ebene oder der [[3D|dreidimensionale]] Raum, traditionell als '''Punktmengen''' bezeichnet. | |||
== Offene Menge und abgeschlossene Menge == | |||
Eine '''offene Menge''' enthält keine Randelemente. Die Elemente einer offenen Menge <math>U</math> sind daher nur von Elementen dieser Menge und von keinen äußeren Elementen umgeben, d.h.: | |||
:<math>\forall x \in U</math> gibt es eine reelle Zahl <math>\varepsilon > 0</math>, sodass jeder Punkt <math>y</math> des <math>n</math>-dimensionalen [[euklidischer Raum|euklidischen Raums]] <math>\mathbb R^n</math>, dessen [[Abstand]] zu <math>x</math> kleiner ist als <math>\varepsilon</math>, in <math>U</math> liegt. | |||
Andernfalls handelt es sich um eine '''abgeschlossene Menge'''. | |||
== Disjunkte Mengen == | |||
[[Datei:Disjunkte Mengen.svg|miniatur|Zwei disjunkte Mengen]] | |||
Zwei Mengen <math>A</math> und <math>B</math> heißen '''disjunkt''', wenn sie kein gemeinsames Element besitzen, d.h. wenn ihre Schnittmenge leer ist: | |||
: <math>A\cap B=\emptyset</math> | |||
So sind beispielsweise die Mengen <math>A = \{1, 7, 12\}</math> und <math>B = \{3, 5, 9\}</math> ''disjunkt'', da sie kein gemeinsames Element haben. Die Mengen <math>A = \{1, 7, 12\}</math> und <math>B = \{3, 7, 9\}</math> sind hingegen ''nicht disjunkt'', da sie das Element <math>7</math> gemeinsam haben. | |||
Mehrere Mengen sind '''paarweise disjunkt''', wenn beliebige Paare von ihnen disjunkt sind. | |||
== Einzelnachweise == | |||
<references /> | |||
[[Kategorie:Mengenlehre]] |
Version vom 7. Juli 2019, 10:08 Uhr
Die Menge (von mhd. manic „viel“) fasst eine endliche oder unendliche Anzahl beliebiger, wohlunterschiedener Elemente zu einer Gesamtheit zusammen und ist heute eines der grundlegendsten Konzepte der Mathematik. Mengen werden häufig auch durch entsprechende Mengendiagramme grafisch veranschaulicht.
Grundlagen
Die Mengenlehre wurde in der Zeit von 1874 bis 1897 von Georg Cantor (1845-1918) begründet. Er definierte den Begriff „Menge“ wie folgt:
„Unter einer „Menge“ verstehen wir jede Zusammenfassung M von bestimmten wohlunterschiedenen Objekten m unserer Anschauung oder unseres Denkens (welche die „Elemente“ von M genannt werden) zu einem Ganzen.“
Vereinbarungsgemäß werden die Elemente einer Menge entweder explizit oder durch eine geeignete Definition innerhalb geschwungener Klammern angegeben, z.B. für die abzählbar unendliche Menge der natürlichen Zahlen . Eine Menge, die keine Elemente enthält, wird als leere Menge oder auch bezeichnet. Wird bei einer Menge auch die Reihenfolge der Elemente berücksichtigt, spricht man von einer Folge.
Grundmenge
Die Grundmenge, die auch als Universum bezeichnet wird, umfasst die Menge aller im gegebenen Zusammenhang betrachteten Elemente und ist damit die Basis für alle weiteren Überlegungen.
Teilmenge
Cantor prägte auch den Begriff der Teilmenge oder Untermenge. ist eine Untermenge (Teilmenge) von und ist eine Obermenge von , wenn jedes Element von auch in enthalten ist:
Enthält zudem weitere Elemente, die nicht in enthalten sind, so ist eine echte Teilmenge von und ist eine echte Obermenge von .
Die Menge aller Teilmengen einer gegebenen Grundmenge wird als Potenzmenge bezeichnet.
Potenzmenge
Als Potenzmenge wird die Menge aller Teilmengen einer gegebenen Grundmenge bezeichnet:
Differenzmenge und Komplementärmenge
Die Differenzmenge zweier Mengen und ist die Menge aller Elemente, die in , aber nicht in enthalten sind, d.h.:
Gilt dabei , so wird die Differenzmenge auch als Komplementärmenge von in oder kurz als Komplement bezeichnet. Dabei wird zwischen einem relativem Komplement bezüglich beliebiger Teilmengen und einem absoluten Komplement bezüglich der Grundmenge unterschieden.
Mächtigkeit
Die Mächtigkeit oder Kardinalität einer Menge wird durch die Kardinalzahl angegeben. Für endliche Menge ist sie gleich der Anzahl ihrer Elemente. Unendliche Mengen können unterschiedliche Mächtigkeiten haben, die durch den hebräischen Buchstaben und einen Index bezeichnet werden. Für die abzählbar unendliche Menge der natürlichen Zahlen, die unter den unendlichen Mengen die geringste Mächtigkeit haben, schreibt man entsprechend . Die überabzählbare unendliche Menge der reellen Zahlen hat unter Annahme der Kontinuumshypothese[2] die Mächtigkeit , andernfalls gilt zumindest .
Punktmenge
In der Geometrie werden verschieden dimensionale Räume, wie die eindimensionale Linie, die zweidimensionale Ebene oder der dreidimensionale Raum, traditionell als Punktmengen bezeichnet.
Offene Menge und abgeschlossene Menge
Eine offene Menge enthält keine Randelemente. Die Elemente einer offenen Menge sind daher nur von Elementen dieser Menge und von keinen äußeren Elementen umgeben, d.h.:
- gibt es eine reelle Zahl , sodass jeder Punkt des -dimensionalen euklidischen Raums , dessen Abstand zu kleiner ist als , in liegt.
Andernfalls handelt es sich um eine abgeschlossene Menge.
Disjunkte Mengen
Zwei Mengen und heißen disjunkt, wenn sie kein gemeinsames Element besitzen, d.h. wenn ihre Schnittmenge leer ist:
So sind beispielsweise die Mengen und disjunkt, da sie kein gemeinsames Element haben. Die Mengen und sind hingegen nicht disjunkt, da sie das Element gemeinsam haben.
Mehrere Mengen sind paarweise disjunkt, wenn beliebige Paare von ihnen disjunkt sind.
Einzelnachweise
- ↑ Georg Cantor: Beiträge zur Begründung der transfiniten Mengenlehre. In: Mathematische Annalen 46 (1895), S. 481. Online.
- ↑ Die Kontinuumshypothese besagt, dass es keine Menge gibt, deren Mächtigkeit zwischen der Mächtigkeit der natürlichen Zahlen und der Mächtigkeit der reellen Zahlen liegt. Diese Hypothese hat sich aber als unentscheidbar erwiesen.