0 Daumen
478 Aufrufe

Seien X,Y Mengen und X ⊂ Y. Wie zeige ich, dass Y \ ( Y \ X )= X gilt?

Avatar von

1 Antwort

0 Daumen

Seien X,Y Mengen und X ⊂ Y. Wie zeige ich, dass Y \ ( Y \ X )= X gilt?

Mengengleicheit zeigt man immer so:

Man denke sich ein x aus der einen Menge und zeigt dass es

dann auch in der anderen ist und umgekehrt.

Sei also x aus  Y \ ( Y \ X ).

Dann ist x aus Y  und  x  nicht in   Y \ X .

↔ x aus Y und  nicht  [ ( x  aus Y ) und ( x nicht aus X ) }

↔  x aus Y  und  [  ( x nicht  aus Y ) oder ( x aus X ) } ]

weil das rote sicher falsch ist ; denn x ist ja aus Y

↔  x aus Y  und    ( x aus X ) 

wegen der Teilmengeneigenschaft, also x aus X.

Damit ist  der 1. Teil gezeigt.

Sei nun x aus X. Dann ist jedenfalls nicht x aus Y \ X.

Aber, da X ⊂ Y. ist x aus Y, also gilt 

x aus Y und    nicht x aus Y \ X.

also x aus   Y \ ( Y \ X ).

Avatar von 289 k 🚀

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community