Udowodnić podane własności
-
- Użytkownik
- Posty: 486
- Rejestracja: 22 lut 2017, o 14:21
- Płeć: Mężczyzna
- Lokalizacja: Warszawa
- Podziękował: 114 razy
- Pomógł: 8 razy
Udowodnić podane własności
1. \(\displaystyle{ (A \setminus B) \cap B = \emptyset}\)
\(\displaystyle{ x \in \left[ (A \setminus B) \cap B\right]}\)
\(\displaystyle{ x \in A \wedge \neg (x \in B)}\), wynika z tego, że \(\displaystyle{ \neg (x \in B)}\)
więc:
\(\displaystyle{ \neg (x \in B) \wedge x \in B \Rightarrow \neg (x \in B)}\)
Zbiór ten jest więc zbiorem pustym (bo nie posiada żadnych elementów).
2. \(\displaystyle{ (A \setminus B) \cup B = A \cup B}\)
\(\displaystyle{ x \in (A \setminus B) \cup B}\),
wówczas:
\(\displaystyle{ x \in A \wedge \neg (x \in B) \vee x \in B}\), teraz z definicji alternatywy \(\displaystyle{ (a \vee (\neg a) \Leftrightarrow a)}\) :
\(\displaystyle{ x \in A \vee x \in B \Leftrightarrow x \in (A \cup B)}\)
Jest OK?
\(\displaystyle{ x \in \left[ (A \setminus B) \cap B\right]}\)
\(\displaystyle{ x \in A \wedge \neg (x \in B)}\), wynika z tego, że \(\displaystyle{ \neg (x \in B)}\)
więc:
\(\displaystyle{ \neg (x \in B) \wedge x \in B \Rightarrow \neg (x \in B)}\)
Zbiór ten jest więc zbiorem pustym (bo nie posiada żadnych elementów).
2. \(\displaystyle{ (A \setminus B) \cup B = A \cup B}\)
\(\displaystyle{ x \in (A \setminus B) \cup B}\),
wówczas:
\(\displaystyle{ x \in A \wedge \neg (x \in B) \vee x \in B}\), teraz z definicji alternatywy \(\displaystyle{ (a \vee (\neg a) \Leftrightarrow a)}\) :
\(\displaystyle{ x \in A \vee x \in B \Leftrightarrow x \in (A \cup B)}\)
Jest OK?
- jutrvy
- Użytkownik
- Posty: 1202
- Rejestracja: 24 lis 2014, o 18:04
- Płeć: Mężczyzna
- Podziękował: 10 razy
- Pomógł: 239 razy
Re: Udowodnić podane własności
Nie. Bardzo nie ok.
Pierwsze idzie tak:
Ponieważ \(\displaystyle{ A\setminus B\subset B^c}\), gdzie \(\displaystyle{ B^c}\) oznacza dopełnienie zbioru \(\displaystyle{ B}\) (np. w zbiorze \(\displaystyle{ A\cup B}\)) - łatwo to pokazać (jak?), więc \(\displaystyle{ (A\setminus B)\cap B\subset B\cap B^c = \emptyset}\). Jedynym podzbiorem zbioru pustego jest on sam - koniec.
Drugie: pokaż zawierania w obie strony, tj pokaż, że \(\displaystyle{ (A\setminus B)\cup B \subseteq A\cup B}\) i na odwrót.
Pierwsze idzie tak:
Ponieważ \(\displaystyle{ A\setminus B\subset B^c}\), gdzie \(\displaystyle{ B^c}\) oznacza dopełnienie zbioru \(\displaystyle{ B}\) (np. w zbiorze \(\displaystyle{ A\cup B}\)) - łatwo to pokazać (jak?), więc \(\displaystyle{ (A\setminus B)\cap B\subset B\cap B^c = \emptyset}\). Jedynym podzbiorem zbioru pustego jest on sam - koniec.
Drugie: pokaż zawierania w obie strony, tj pokaż, że \(\displaystyle{ (A\setminus B)\cup B \subseteq A\cup B}\) i na odwrót.
-
- Administrator
- Posty: 34487
- Rejestracja: 20 mar 2006, o 21:54
- Płeć: Mężczyzna
- Lokalizacja: Wrocław
- Podziękował: 4 razy
- Pomógł: 5220 razy
Udowodnić podane własności
Skąd Ty to wytrzasnąłeś?Rozbitek pisze:teraz z definicji alternatywy \(\displaystyle{ (a \vee (\neg a) \Leftrightarrow a)}\)
Staraj się nie myśleć znaczkami, bo na razie Twoje dowody wyglądają na przeprowadzane według schematu: jak pomanipulować znaczkami żeby otrzymać pożądany efekt.
JK
-
- Użytkownik
- Posty: 486
- Rejestracja: 22 lut 2017, o 14:21
- Płeć: Mężczyzna
- Lokalizacja: Warszawa
- Podziękował: 114 razy
- Pomógł: 8 razy
Re: Udowodnić podane własności
Mogę prosić o podpowiedź? Widzę to, ale totalnie nie wiem jak pokazać.jutrvy pisze: Ponieważ \(\displaystyle{ A\setminus B\subset B^c}\), gdzie \(\displaystyle{ B^c}\) oznacza dopełnienie zbioru \(\displaystyle{ B}\) (np. w zbiorze \(\displaystyle{ A\cup B}\)) - łatwo to pokazać (jak?)
2. \(\displaystyle{ (A\setminus B)\cup B \subseteq A\cup B}\)
Zgodnie z zaleceniami staram się nie myśleć znaczkami, chociaż może powinienem się zastosować do rady Twaina:
Ale wracając do zadania:Lepiej jest nie odzywać się wcale i wydać się głupim, niż odezwać się i rozwiać wszelkie wątpliwości.
Jeżeli mamy element \(\displaystyle{ x}\), taki, że należy do zbioru \(\displaystyle{ A}\) i jednocześnie nie należy do zbioru \(\displaystyle{ B}\) lub \(\displaystyle{ x}\) należy do zbioru B. Zauważam, że \(\displaystyle{ (A \setminus B) \cap B = \emptyset}\)... Eh, tragedia, przecież to widać
Nie wiem co dalej. A pewnie nawet źle zacząłem...
- Zaratustra
- Użytkownik
- Posty: 182
- Rejestracja: 24 lut 2015, o 16:10
- Płeć: Mężczyzna
- Lokalizacja: Polska
- Podziękował: 68 razy
- Pomógł: 6 razy
Udowodnić podane własności
\(\displaystyle{ A \setminus B := \{ x : x \in A}\) i \(\displaystyle{ x \notin B \}}\)
Z definicji dopełnienia zbioru, \(\displaystyle{ x \in B^{c}}\) wtedy i tylko wtedy, gdy \(\displaystyle{ x \notin B}\).
Możemy napisać w ten sposób:
\(\displaystyle{ x \in A \cap B^{c} \Leftrightarrow x \in A}\) i \(\displaystyle{ x \in B^{c} \Leftrightarrow x \in A}\) i \(\displaystyle{ x \notin B}\).
Krótko mówiąc \(\displaystyle{ A \setminus B = A \cap B^{c}}\).
Korzystając z tej tożsamości można łatwo skorzystać potem z innych przydatnych tożsamości algebry zbiorów typu prawa pochłaniania, przemienności, rozdzielności, prawa De Morgana, etc. ;]
Z definicji dopełnienia zbioru, \(\displaystyle{ x \in B^{c}}\) wtedy i tylko wtedy, gdy \(\displaystyle{ x \notin B}\).
Możemy napisać w ten sposób:
\(\displaystyle{ x \in A \cap B^{c} \Leftrightarrow x \in A}\) i \(\displaystyle{ x \in B^{c} \Leftrightarrow x \in A}\) i \(\displaystyle{ x \notin B}\).
Krótko mówiąc \(\displaystyle{ A \setminus B = A \cap B^{c}}\).
Korzystając z tej tożsamości można łatwo skorzystać potem z innych przydatnych tożsamości algebry zbiorów typu prawa pochłaniania, przemienności, rozdzielności, prawa De Morgana, etc. ;]
-
- Administrator
- Posty: 34487
- Rejestracja: 20 mar 2006, o 21:54
- Płeć: Mężczyzna
- Lokalizacja: Wrocław
- Podziękował: 4 razy
- Pomógł: 5220 razy
Udowodnić podane własności
Musimy oczywiście pamiętać też, że nie istnieje coś takiego, jak dopełnienie zbioru. Żeby mówić o dopełnianiu, zawsze musimy dopełniać do czegoś, zatem zawsze musi być jakaś ustalona przestrzeń, a my musimy zajmować się wyłącznie jej podzbiorami. jutrvy o tym pamiętał...Zaratustra pisze:\(\displaystyle{ A \setminus B := \{ x : x \in A}\) i \(\displaystyle{ x \notin B \}}\)
Z definicji dopełnienia zbioru, \(\displaystyle{ x \in B^{c}}\) wtedy i tylko wtedy, gdy \(\displaystyle{ x \notin B}\).
Zauważyłeś tezę, ale nie wiadomo skąd.Rozbitek pisze:Jeżeli mamy element \(\displaystyle{ x}\), taki, że należy do zbioru \(\displaystyle{ A}\) i jednocześnie nie należy do zbioru \(\displaystyle{ B}\) lub \(\displaystyle{ x}\) należy do zbioru B. Zauważam, że \(\displaystyle{ (A \setminus B) \cap B = \emptyset}\)... Eh, tragedia, przecież to widać
Nie wiem co dalej. A pewnie nawet źle zacząłem...
W tym zadaniu lepiej sprawdzi się dowód nie wprost. Przypuść, że \(\displaystyle{ (A \setminus B) \cap B \neq \emptyset}\). Wtedy istnieje \(\displaystyle{ x\in (A \setminus B) \cap B}\), a stąd już blisko do sprzeczności...
JK
-
- Użytkownik
- Posty: 486
- Rejestracja: 22 lut 2017, o 14:21
- Płeć: Mężczyzna
- Lokalizacja: Warszawa
- Podziękował: 114 razy
- Pomógł: 8 razy
Udowodnić podane własności
Przypuśćmy, że \(\displaystyle{ (A \setminus B) \cap B \neq \emptyset}\), wynika stąd, że istnieje \(\displaystyle{ x \in (A \setminus B) \cap B}\)Jan Kraszewski pisze:Zauważyłeś tezę, ale nie wiadomo skąd.Rozbitek pisze:Jeżeli mamy element \(\displaystyle{ x}\), taki, że należy do zbioru \(\displaystyle{ A}\) i jednocześnie nie należy do zbioru \(\displaystyle{ B}\) lub \(\displaystyle{ x}\) należy do zbioru B. Zauważam, że \(\displaystyle{ (A \setminus B) \cap B = \emptyset}\)... Eh, tragedia, przecież to widać
Nie wiem co dalej. A pewnie nawet źle zacząłem...
W tym zadaniu lepiej sprawdzi się dowód nie wprost. Przypuść, że \(\displaystyle{ (A \setminus B) \cap B \neq \emptyset}\). Wtedy istnieje \(\displaystyle{ x\in (A \setminus B) \cap B}\), a stąd już blisko do sprzeczności...
JK
\(\displaystyle{ x \in (A \setminus B) \Rightarrow \neg (x \in B)}\), wówczas zbiory \(\displaystyle{ A}\) i \(\displaystyle{ B}\) nie mają punktów wspólnych. Tutaj strasznie kusi, żeby użyć tezy i powiedzieć, że przecięcie dwóch niepustych rozłącznych zbiorów jest puste. No, ale jeżeli nie można (?), to może byśmy spróbowali tak, że:
Wynika z tego, że istnieje taki, że \(\displaystyle{ x \in B \wedge \neg (x \in B)}\), a to bzdura.
-
- Administrator
- Posty: 34487
- Rejestracja: 20 mar 2006, o 21:54
- Płeć: Mężczyzna
- Lokalizacja: Wrocław
- Podziękował: 4 razy
- Pomógł: 5220 razy
Udowodnić podane własności
Kombinujesz jak koń pod górkę... Zauważasz potrzebne rzeczy, ale zamiast napisać je normalnie, to mieszasz.Rozbitek pisze:Przypuśćmy, że \(\displaystyle{ (A \setminus B) \cap B \neq \emptyset}\), wynika stąd, że istnieje \(\displaystyle{ x \in (A \setminus B) \cap B}\)
\(\displaystyle{ x \in (A \setminus B) \Rightarrow \neg (x \in B)}\), wówczas zbiory \(\displaystyle{ A}\) i \(\displaystyle{ B}\) nie mają punktów wspólnych. Tutaj strasznie kusi, żeby użyć tezy i powiedzieć, że przecięcie dwóch niepustych rozłącznych zbiorów jest puste. No, ale jeżeli nie można (?), to może byśmy spróbowali tak, że:
Wynika z tego, że istnieje taki, że \(\displaystyle{ x \in B \wedge \neg (x \in B)}\), a to bzdura.
A to robi się najprościej jak się da. Skoro \(\displaystyle{ x \in (A \setminus B) \cap B}\), to z def. przekroju \(\displaystyle{ x\in A\setminus B}\) i \(\displaystyle{ x\in B}\). Ale jeśli \(\displaystyle{ x\in A\setminus B}\), to (z def. różnicy) w szczególności \(\displaystyle{ x\notin B}\). Sprzeczność.
JK
-
- Użytkownik
- Posty: 486
- Rejestracja: 22 lut 2017, o 14:21
- Płeć: Mężczyzna
- Lokalizacja: Warszawa
- Podziękował: 114 razy
- Pomógł: 8 razy
Re: Udowodnić podane własności
Pozostało wykazać 2. \(\displaystyle{ (A \setminus B) \cup B = A \cup B}\)
Niech \(\displaystyle{ x \in (A\setminus B)\cup B}\), więc w szczególności, z definicji różnicy zbiorów: \(\displaystyle{ x \in A \vee x \in B}\) więc \(\displaystyle{ x \in A \vee x \in B \Leftrightarrow A \cup B}\).
Niech \(\displaystyle{ x \in (A\setminus B)\cup B}\), więc w szczególności, z definicji różnicy zbiorów: \(\displaystyle{ x \in A \vee x \in B}\) więc \(\displaystyle{ x \in A \vee x \in B \Leftrightarrow A \cup B}\).
-
- Administrator
- Posty: 34487
- Rejestracja: 20 mar 2006, o 21:54
- Płeć: Mężczyzna
- Lokalizacja: Wrocław
- Podziękował: 4 razy
- Pomógł: 5220 razy
Re: Udowodnić podane własności
Po pierwsze, zbiór nie może być równoważny funkcji zdaniowej, więc zapis \(\displaystyle{ x \in A \vee x \in B \Leftrightarrow A \cup B}\) jest niepoprawny. Powinno być \(\displaystyle{ x \in A \vee x \in B \Leftrightarrow \red x\in\black A \cup B}\).Rozbitek pisze:Pozostało wykazać 2. \(\displaystyle{ (A \setminus B) \cup B = A \cup B}\)
Niech \(\displaystyle{ x \in (A\setminus B)\cup B}\), więc w szczególności, z definicji różnicy zbiorów: \(\displaystyle{ x \in A \vee x \in B}\) więc \(\displaystyle{ x \in A \vee x \in B \Leftrightarrow A \cup B}\).
Po drugie, rozumowanie jest poprawne, ale pokazałeś tylko zawieranie \(\displaystyle{ (A \setminus B) \cup B \subseteq A \cup B}\). Zostało jeszcze drugie, minimalnie trudniejsze zawieranie.
JK
-
- Użytkownik
- Posty: 486
- Rejestracja: 22 lut 2017, o 14:21
- Płeć: Mężczyzna
- Lokalizacja: Warszawa
- Podziękował: 114 razy
- Pomógł: 8 razy
Re: Udowodnić podane własności
A nie pokazałem w jedną i w drugą stronę? :OJan Kraszewski pisze: Po drugie, rozumowanie jest poprawne, ale pokazałeś tylko zawieranie \(\displaystyle{ (A \setminus B) \cup B \subseteq A \cup B}\). Zostało jeszcze drugie, minimalnie trudniejsze zawieranie.
JK
Przepraszam, ale nie widzę...
-
- Administrator
- Posty: 34487
- Rejestracja: 20 mar 2006, o 21:54
- Płeć: Mężczyzna
- Lokalizacja: Wrocław
- Podziękował: 4 razy
- Pomógł: 5220 razy
Re: Udowodnić podane własności
Oczywiście, że nie. NapisałeśRozbitek pisze:A nie pokazałem w jedną i w drugą stronę? :O
"Niech \(\displaystyle{ x \in (A\setminus B)\cup B}\), więc w szczególności, z definicji różnicy zbiorów: \(\displaystyle{ x \in A \vee x \in B}\)".
To jest ewidentne wynikanie, zdecydowanie nie równoważność.
JK
-
- Użytkownik
- Posty: 486
- Rejestracja: 22 lut 2017, o 14:21
- Płeć: Mężczyzna
- Lokalizacja: Warszawa
- Podziękował: 114 razy
- Pomógł: 8 razy
Re: Udowodnić podane własności
\(\displaystyle{ A \cup B \subset (A \setminus B) \cup B}\)
Niech \(\displaystyle{ x \in A \cup B \Rightarrow x \in A \vee x \in B}\) (z definicji sumy zbiorów). Z prawa podwójnej negacji: \(\displaystyle{ \neg \left( \neg \left( x \in A \vee x \in B\right) \right)}\) z prawa de Morgana wynika, że \(\displaystyle{ \neg (x \in A \wedge x \in B)}\) z definicji iloczynu zbiorów: \(\displaystyle{ \neg x\in A \cap B}\) z tego wynika, że \(\displaystyle{ x \in A \setminus B}\).
\(\displaystyle{ A \setminus B \subset (A \setminus B) \cup B}\).
Niech \(\displaystyle{ x \in A \cup B \Rightarrow x \in A \vee x \in B}\) (z definicji sumy zbiorów). Z prawa podwójnej negacji: \(\displaystyle{ \neg \left( \neg \left( x \in A \vee x \in B\right) \right)}\) z prawa de Morgana wynika, że \(\displaystyle{ \neg (x \in A \wedge x \in B)}\) z definicji iloczynu zbiorów: \(\displaystyle{ \neg x\in A \cap B}\) z tego wynika, że \(\displaystyle{ x \in A \setminus B}\).
\(\displaystyle{ A \setminus B \subset (A \setminus B) \cup B}\).
-
- Administrator
- Posty: 34487
- Rejestracja: 20 mar 2006, o 21:54
- Płeć: Mężczyzna
- Lokalizacja: Wrocław
- Podziękował: 4 razy
- Pomógł: 5220 razy
Re: Udowodnić podane własności
Znów manipulujesz znaczkami zamiast pisać dowód. I mylisz się w tych manipulacjach, bo to
Ustalasz dowolne \(\displaystyle{ x \in A \cup B}\). Wtedy \(\displaystyle{ x \in A \vee x \in B}\). Teraz rozważ dwa przypadki: \(\displaystyle{ x\in B}\) i \(\displaystyle{ x\notin B}\).
JK
zdecydowanie nie jest prawdą - z prawa de Morgana wynika, że \(\displaystyle{ \neg (x \red\notin\black A \wedge x \red\notin\black B)}\).Rozbitek pisze:Z prawa podwójnej negacji: \(\displaystyle{ \neg \left( \neg \left( x \in A \vee x \in B\right) \right)}\) z prawa de Morgana wynika, że \(\displaystyle{ \neg (x \in A \wedge x \in B)}\)
Ustalasz dowolne \(\displaystyle{ x \in A \cup B}\). Wtedy \(\displaystyle{ x \in A \vee x \in B}\). Teraz rozważ dwa przypadki: \(\displaystyle{ x\in B}\) i \(\displaystyle{ x\notin B}\).
JK
-
- Użytkownik
- Posty: 486
- Rejestracja: 22 lut 2017, o 14:21
- Płeć: Mężczyzna
- Lokalizacja: Warszawa
- Podziękował: 114 razy
- Pomógł: 8 razy
Re: Udowodnić podane własności
Na jednym z wykładów tak sobie myślałem nad rozwiązaniem i wpadłem na:Jan Kraszewski pisze: Ustalasz dowolne \(\displaystyle{ x \in A \cup B}\). Wtedy \(\displaystyle{ x \in A \vee x \in B}\). Teraz rozważ dwa przypadki: \(\displaystyle{ x\in B}\) i \(\displaystyle{ x\notin B}\).
JK
\(\displaystyle{ x \in A \cup B \Rightarrow x \in A \vee x \in B}\) , wynika z tego (korzystając z definicji alternatywy), że \(\displaystyle{ (x \in A \vee x \in B) \vee (x \in A \vee x \notin B)}\) w szczególności: \(\displaystyle{ (x \in A \vee x \notin B)}\) więc z definicji różnicy zbiorów \(\displaystyle{ x \in A \setminus B}\).
To znaczy, że \(\displaystyle{ A \cup B \subset A \setminus B}\), tym bardziej: \(\displaystyle{ A \cup B \subset (A \setminus B) \cup B}\).