Wie könnte man eine Mengengleichung Beweisen?

Erste Frage Aufrufe: 346     Aktiv: 30.01.2023 um 11:51

0
Hey, ich bin mir nicht sicher was mein Professor mit diesem frage hier genau will:
"Beweisen sie das (A\B) ∩ (B\C) ⊆ A gilt"
will er, dass ich zeige, dass (A\B) ∩ (B\C) eine Teilmenge von A ist?
gefragt

Punkte: 12

 
Kommentar schreiben
1 Antwort
0
Hallo Ja will er, weißt du was zu tuhen ist oder mehr Hilfe?
Diese Antwort melden
geantwortet

Student, Punkte: 10.87K

 

Ja, ich bin mir nicht sicher, ob meine Lösung dann richtig ist,

beweis:
(A\B) ∩ (B\C) ist ein Leere Menge, da ein Element nicht außer B und auch in B sein kann, deshalb gilt (A\B) ∩ (B\C) ⇔ {} und da {} die Teilmenge von jede Menge ist, gilt (A\B) ∩ (B\C) ⊆ A
  ─   user6ab395 28.01.2023 um 18:32

Die Argumentation ist leider falsch. Wenn man es ohne elementenweise nachrechnen machen will man nutzt z.B. \(A\cap B \subseteq A\) und \(A - C \subseteq A\). Ansonsten nimm dir ein Element \(x \in \) linke Seite und zeige es ist auch rechts drinnen. Dann siehst du auch warum nicht leere Menge unbedingt ist   ─   mathejean 28.01.2023 um 19:57

Was meinst du genau mit elementenweise ?

um mengengleichungen zu zeigen haben wir normalerweise in die vorlesungen sowas gemacht:

(x ∈ A ∧ ¬x ∈ B) ∧ (x ∈ B ∧ ¬x ∈ C) ⇒ x ∈ A ⇔
¬((x ∈ A ∧ ¬x ∈ B) ∧ (x ∈ B ∧ ¬x ∈ C)) ⇒ x ∈ A⇔
(¬x ∈ A ∨ x ∈ B) ∨ (¬x ∈ B ∨ x ∈ C) ∨ x ∈ A⇔
x ∈ C
Ich bin mir aber ziemlich sicher, dass es so falsch ist.

  ─   user6ab395 29.01.2023 um 19:27

Genau, das meine ich mit elementenweise (also den ansatz). Hier geht es nur um eine inklusion es braucht also keine äquivalenzumformungen. Sind die Aussagen \(A \cap B\subseteq A\) und \(A-C \subseteq A\) klar, dann kann man es viel leichter und eleganter machen   ─   mathejean 29.01.2023 um 20:12

wäre dass dann ein der richtiger beweis?

beweis:
x ∈ (A\B) ∩ (B\C) ⇔
(x ∈ A ∧ ¬x ∈ B) ∧ (x ∈ B ∧ ¬x ∈ C) ⇔
(x ∈ A ∧ ¬x ∈ C) ⇔
(A\C)
Also Alle Elemente aus A ohne C sind eine Teilmenge von A, deshalb gilt (A\B) ∩ (B\C) ⊆ A ⇔ (A\C) ⊆ A.



  ─   user6ab395 30.01.2023 um 11:51

Kommentar schreiben