logowanie

matematyka » forum » forum zadaniowe - uczelnie wyższe » zadanie

Teoria mnogości, zadanie nr 4372

ostatnie wiadomości  |  regulamin  |  latex

AutorZadanie / Rozwiązanie

geometria
postów: 865
2016-03-10 15:15:34

Dane sa pewne zbiory A, B, C w przestrzeni X. Wiemy, ze A $\cap$B = A$\backslash$C. Czy stad wynika, ze A$\cap$C=$\emptyset$?

Nie wynika, bo dla A={1, 2}, B={2, 3}, C={1} mamy
A $\cap$B={2}= A$\backslash$C, czyli zachodza zalozenia.
Natomiast A$\cap$C={1}$\neq$$\emptyset$, czyli teza nie zachodzi.

Poprawne rozumowanie?


tumor
postów: 8070
2016-03-10 20:05:22




geometria
postów: 865
2016-03-11 22:00:27

Dziekuje.


geometria
postów: 865
2016-03-12 10:14:05

A czy stad wynika, ze A$\backslash$(B$\cup$C)=$\emptyset$?

Chcialbym przeprowadzic dowod nie wprost.
Przypuscmy, ze teza nie zachodzi, czyli A$\backslash$(B$\cup$C)$\neq$$\emptyset$. Wiec istnieja elementy wspolne. Jakie kroki poczynic dalej?


tumor
postów: 8070
2016-03-12 14:49:39




geometria
postów: 865
2016-03-12 16:54:34

Czyli wyszla sprzecznosc z zalozeniem, ze te zbiory sa rowne. Zatem odpowiedzia jest, ze wynika. Ale nie rozumiem tego, ze wyszlo, ze nie sa rowne ale jak ma sie to do elementow wspolnych? Byla potrzeba zakladania, ze teza nie zachodzi?


tumor
postów: 8070
2016-03-12 18:17:17




geometria
postów: 865
2016-03-13 13:10:44

A czy stad wynika, ze A$\cap$B$\cap$C=$\emptyset$?
d-d nie wprost
Przypuscmy, ze A$\cap$B$\cap$C$\neq$$\emptyset$, czyli istnieje przynajmniej jeden element nalezacy do tego zbioru.
Z definicji iloczynu zbiorow mamy, ze x (dowolny) musi nalezec jednoczesnie do wszystkich trzech zbiorow.
Ale z zalozenia wiemy, ze element ten nalezy do zbioru A$\cap$B ale nie nalezy do zbioru A$\backslash$C, czyli jest sprzecznosc z zalozeniem, ze te zbiory sa rowne w wyniku czego zbior A$\cap$B$\cap$C bylby pusty (bo element x nie nalezalby do zbioru C) co tez jest sprzeczne z zalozenia o tezie.
Zatem wynika zbior A$\cap$B$\cap$C jest pusty.

Poprawne rozumowanie?



tumor
postów: 8070
2016-03-13 14:30:22




geometria
postów: 865
2016-03-13 18:02:47

Albo tak
A$\cap$B$\cap$C=A$\cap$C'$\cap$C=A$\cap\emptyset$=$\emptyset$.

strony: 1

Prawo do pisania przysługuje tylko zalogowanym użytkownikom. Zaloguj się lub zarejestruj

© 2019 Mariusz Śliwiński      o serwisie | kontakt   drukuj