Lassen Sie uns die Aussage über die Extremität der Differenz zweier endlicher Mengen beweisen. Lassen Sie uns zwei endliche Mengen haben: A und B. Betrachten Sie ihre Differenz A \ B. Um zu beweisen, dass die Differenz endgültig ist, müssen wir zeigen, dass die Menge A \ B nur eine endliche Anzahl von Elementen enthält.
Angenommen, Menge A enthält n Elemente und Menge B enthält m Elemente.
Wir möchten die Anzahl der Elemente in der Differenz A \ B. Wenn Menge A nur die Elemente enthält, die in Menge B nicht vorhanden sind, enthält die Differenz A \ B alle n Elemente in Menge A. In diesem Fall ist die Anzahl der Elemente in der Differenz genau gleich n.
Wenn es jedoch Elemente in Menge A gibt, die auch in Menge B vorhanden sind, müssen wir diese Elemente von der Differenz ausschließen. Daher ist die Anzahl der Elemente in der Differenz kleiner als n. Da sowohl A als auch B endgültig sind, ist die Anzahl solcher Elemente jedoch begrenzt. Daher wird auch die Anzahl der Elemente in der Differenz A \ B endgültig sein.
Beweisen Sie, dass die Differenz der beiden endlichen Mengen natürlich ist
Der Beweis dafür, dass die Differenz zweier endlicher Mengen natürlich wie folgt durchgeführt werden kann:
Lassen Sie uns die zwei endlichen Mengen A und B. Definieren wir die Differenz dieser Mengen als Menge C, die aus Elementen besteht, die in Menge A enthalten sind, aber nicht in Menge B enthalten sind.
Um zu beweisen, dass die Menge von C natürlich ist, kann man die Methode des Induktionsbeweises verwenden.
Der grundlegende Schritt: Lassen Sie uns zwei Sätze von A und B mit jeweils einem Element haben. Dann wird C eine leere Menge sein, da wir keine Elemente haben, die nur in einer der Mengen vorhanden sind.
Induktionsschritt: Angenommen, für eine natürliche Zahl k enthält die Mengendifferenz von A und B k der Elemente. Dann wird die neue Mengendifferenz von C' aus k+1 Elementen bestehen, da ein Element zu C hinzugefügt wird, da das Element zu A hinzugefügt wird. So haben wir bewiesen, dass, wenn für ein k die Mengendifferenz endgültig ist, sie auch für k+1 endgültig ist.
Unter Verwendung des Prinzips der mathematischen Induktion kann daher argumentiert werden, dass die Differenz zweier endlicher Mengen auch eine endliche Menge ist.
Das Konzept der endlichen Menge
Die Endmengen können als Tabelle dargestellt werden, wobei jedes Element der Menge in einer separaten Zelle dargestellt wird. Eine solche Tabelle wird als Mengentabelle oder Punktmenge bezeichnet. Zur besseren Übersicht und Organisation geben Sie in der Mengentabelle normalerweise die Elementnummern an und geben für jedes Merkmal der Mengenelemente separate Spalten ein.
| № | Element | Eigenschaft 1 | Eigenschaft 2 | Eigenschaft 3 |
|---|---|---|---|---|
| 1 | element1 | wert1 | wert2 | wert3 |
| 2 | element2 | wert1 | wert2 | wert3 |
| 3 | element3 | wert1 | wert2 | wert3 |
Sie können eine der folgenden Formeln verwenden, um die Größe, d. H. Die Anzahl der Elemente in der Endmenge, zu bestimmen:
- Summieren Sie die Anzahl der Elemente in der Mengentabelle: Größe = (Anzahl der Elemente in der Spalte Element)
- Die erste Formel berechnet die Anzahl der Elemente anhand einer Liste von Elementen in der Menge: Größe = (Anzahl der Elemente in der Liste)
- Die zweite Formel berechnet die Anzahl der Elemente anhand der Eigenschaften der Elemente in der Menge: Größe = (Anzahl der verschiedenen Eigenschaftswerte)
Daher ist der Begriff der endlichen Menge in der Mathematik wichtig für die Definition und Arbeit mit endlichen Gruppen von Elementen. Und endliche Mengen haben die Eigenschaft, dass die Differenz zweier endlicher Mengen auch eine endliche Menge ist, dh sie enthält eine endliche Anzahl von Elementen.
Mengendifferenzoperation
Formal wird die Differenz zwischen den beiden Mengen A und B als A \ B bezeichnet und wie folgt definiert:
Das heißt, die Differenz der Mengen A und B enthält alle Elemente, die zu Menge A gehören, aber nicht zu Menge B gehören.
Die Mengendifferenzoperation hat mehrere wichtige Eigenschaften:
1. Kommutativität: A \ B = B \ A. Das heißt, die Reihenfolge der Mengen hat keinen Einfluss auf das Ergebnis der Differenzoperation.
2. Assoziativität: (A \ B) \ C = A \ (B ∪ C). Das heißt, wenn mehrere Differenzoperationen ausgeführt werden, hat die Reihenfolge ihrer Ausführung keinen Einfluss auf das Ergebnis.
3. Idempotenz: A \ A = ∅. Das heißt, die Differenz der Menge mit sich selbst ist immer gleich einer leeren Menge.
Der Beweis, dass die Differenz zweier endlicher Mengen eine endliche Menge ist, basiert auf der Definition der Differenzoperation und den Eigenschaften von Kommutativität und Assoziativität. Intuitiv kann man sich vorstellen, dass wir bei einer Differenzoperation alle Elemente, die sich damit kreuzen, von Menge B "subtrahieren", wobei nur die Elemente übrig bleiben, die nur zu Menge A gehören.
Daher ist die Mengendifferenzoperation ein wichtiges Werkzeug für die Arbeit mit Mengen und ermöglicht es uns, neue Mengen basierend auf vorhandenen Mengen zu erhalten. Es ist wichtig sich daran zu erinnern, dass eine Mengendifferenzoperation nur für endliche Mengen durchgeführt werden kann.
Eigenschaften der Mengendifferenz
Eigenschaft 1: Wenn A und B endliche Mengen sind, ist die Differenz A\B auch die endliche Menge. Um diese Eigenschaft zu beweisen, genügt es, alle Elemente von Menge A aufzulisten und die Elemente, die zu Menge B gehören, von ihnen auszuschließen.
Eigentum 2: Wenn A und B die Endmengen sind, enthält die Differenz A\B keine doppelten Elemente. Diese Eigenschaft folgt aus der Definition der Mengendifferenz - Elemente, die zu A und B gehören, werden von der Differenz ausgeschlossen.
Eigenschaft 3: Wenn A eine endliche Menge ist, ist die Differenz A\A eine leere Menge. Diese Eigenschaft ist offensichtlich, da die Differenz von zwei identischen Mengen kein Element enthält.
Eigenschaft 4: Die Mengendifferenz ist keine kommutative Operation, dh im Allgemeinen Fall von A\B ≠ B\A. Diese Eigenschaft folgt der Definition der Differenz – sie berücksichtigt die Reihenfolge der Mengen nicht und schließt Elemente nur aus der ersten Menge aus.
Mithilfe dieser Eigenschaften können Sie beweisen, dass die Differenz zweier endlicher Mengen immer eine endliche Menge ist.
Nachweis der Gliedmaßen der Differenz zweier endlicher Mengen
Angenommen, wir haben zwei endliche Mengen A und B, und wir wollen beweisen, dass ihre Differenz A\B endgültig ist. Die Mengendifferenz ist Elemente, die nur in einer der Mengen vorhanden sind, aber nicht in beiden gleichzeitig.
Um die Gliedmaßen der Differenz A\B zu beweisen, nehmen wir an, dass Menge A n Elemente enthält und Menge B m Elemente enthält. Dann können wir uns die Menge A als A = 1 vorstellen, a2, . an> und Menge B als B = 1, b2, . bm>.
Betrachten wir nun die Elemente der Differenz A\B. Angenommen, es gibt eine unendliche Anzahl von Elementen in der Differenz. Dann muss jedes Element der Differenz eindeutig sein und in der Menge B fehlen.
Da Menge B jedoch nur m Elemente enthält, darf die Anzahl der möglichen Differenzelemente m nicht überschreiten. Wenn die Anzahl der Differenzelemente m übersteigt, bedeutet dies, dass einige Elemente in Menge B vorhanden sein müssen, was der Definition der Mengendifferenz widerspricht.
Daher ist die Anzahl der Elemente der Differenz A\B von oben auf m begrenzt und daher natürlich. Es ist bewiesen, dass die Differenz zweier endlicher Mengen endgültig ist.
