Mam problem z dowodem takiegoż wyrażenia:
\(\displaystyle{ A \times (B \cap C) = (A \times B) \cap (A \times C)}\)
Dowód - zbiory
-
- Administrator
- Posty: 34334
- Rejestracja: 20 mar 2006, o 21:54
- Płeć: Mężczyzna
- Lokalizacja: Wrocław
- Podziękował: 3 razy
- Pomógł: 5204 razy
Dowód - zbiory
Nic dziwnego, bo to nie musi być prawda...
Było: zbiory-teoria-mnogosci-f56/rownosc-zbiorow-t169227.html
Było: zbiory-teoria-mnogosci-f56/rownosc-zbiorow-t169227.html
-
- Użytkownik
- Posty: 22233
- Rejestracja: 15 maja 2011, o 20:55
- Płeć: Mężczyzna
- Lokalizacja: Bydgoszcz
- Podziękował: 38 razy
- Pomógł: 3759 razy
Re: Dowód - zbiory
Robię za archeologa, ale w linku było pytanie o równość \(\displaystyle{ A \cap (B\times C)=(A\times B)\cap(A\times C)}\), a to jednak trochę innego.
-
- Użytkownik
- Posty: 1413
- Rejestracja: 20 lip 2012, o 21:19
- Płeć: Mężczyzna
- Lokalizacja: Rzeszów
- Podziękował: 68 razy
- Pomógł: 83 razy
Re: Dowód - zbiory
Niech \(\displaystyle{ A,B}\) i \(\displaystyle{ C}\) będą zbiorami.
Pokażemy, że: \(\displaystyle{ A \times \left( B \cap C\right)= \left( A \times B\right) \cap \left( A \times C\right). }\)
Oto ilustracja tego faktu: \(\displaystyle{ \\}\) \(\displaystyle{ \\}\)
I oto:
DOWÓD TEGO FAKTU:
Ponieważ obydwa zbiory, po obu stronach równości, są zbiorami par, więc wykażemy, że dowolna para należy do jednego zbioru, wtedy i tylko wtedy, gdy należy do drugiego.
Weźmy zatem dowolną parę \(\displaystyle{ \left( x,y\right). }\)
Wtedy:
\(\displaystyle{ (x,y)\in A\times (B\cap C)\Leftrightarrow x\in A \wedge y\in (B\cap C)\Leftrightarrow x\in A\wedge (y\in B \wedge y\in C)\Leftrightarrow \\ \Leftrightarrow (x\in A\wedge y\in B) \wedge (x\in A\wedge y\in C)\Leftrightarrow (x,y)\in A\times B \wedge (x,y)\in A\times C\Leftrightarrow \\ \Leftrightarrow(x,y)\in \left( A\times B\right) \cap \left( A\times C\right).}\)
A zatem, ponieważ obydwa zbiory, po obu stronach równości, są zbiorami par (więc innego rodzaju elementy nie należą do żadnego z tych dwóch zbiorów); a dla par, wykazaliśmy, że dowolna para należy do jednego zbioru, dokładnie wtedy, gdy należy do drugiego, a zatem te dwa zbiory mają takie same elementy, są więc równe\(\displaystyle{ .\square}\)
Pokażemy, że: \(\displaystyle{ A \times \left( B \cap C\right)= \left( A \times B\right) \cap \left( A \times C\right). }\)
Oto ilustracja tego faktu: \(\displaystyle{ \\}\) \(\displaystyle{ \\}\)
I oto:
DOWÓD TEGO FAKTU:
Ponieważ obydwa zbiory, po obu stronach równości, są zbiorami par, więc wykażemy, że dowolna para należy do jednego zbioru, wtedy i tylko wtedy, gdy należy do drugiego.
Weźmy zatem dowolną parę \(\displaystyle{ \left( x,y\right). }\)
Wtedy:
\(\displaystyle{ (x,y)\in A\times (B\cap C)\Leftrightarrow x\in A \wedge y\in (B\cap C)\Leftrightarrow x\in A\wedge (y\in B \wedge y\in C)\Leftrightarrow \\ \Leftrightarrow (x\in A\wedge y\in B) \wedge (x\in A\wedge y\in C)\Leftrightarrow (x,y)\in A\times B \wedge (x,y)\in A\times C\Leftrightarrow \\ \Leftrightarrow(x,y)\in \left( A\times B\right) \cap \left( A\times C\right).}\)
A zatem, ponieważ obydwa zbiory, po obu stronach równości, są zbiorami par (więc innego rodzaju elementy nie należą do żadnego z tych dwóch zbiorów); a dla par, wykazaliśmy, że dowolna para należy do jednego zbioru, dokładnie wtedy, gdy należy do drugiego, a zatem te dwa zbiory mają takie same elementy, są więc równe\(\displaystyle{ .\square}\)
Jak widać musi to być prawda- trzeba czytać uważniej polecenia.