Witam
Dział chyba odpowiedni - matematyka dyskretna.
Za bardzo nie wiem jak zabrać się do tych zdań.
Jakieś pomysły?
\(\displaystyle{ \forall_i (X_{i} Y_{i}) \bigcup_{i} X_i\subseteq\bigcup_{i} Y_i}\)
\(\displaystyle{ \forall_i(X_{i}\subseteq Y_{i}) \bigcap_{i} X_i\subseteq\bigcap_{i} Y_i}\)
Jedno wyrażenie - jedne klamry nad całością. Inaczej niewygodnie się czyta.
Kasia
Dz za poprawke bo byl wlasnie problem z nawiasem
Kwantyfikator suma i iloczyn mnogościowy.
-
- Użytkownik
- Posty: 22
- Rejestracja: 10 paź 2007, o 20:44
- Płeć: Kobieta
- Lokalizacja: stad
- Pomógł: 1 raz
Kwantyfikator suma i iloczyn mnogościowy.
Ostatnio zmieniony 16 sty 2008, o 12:29 przez _ludolfina_, łącznie zmieniany 1 raz.
-
- Użytkownik
- Posty: 4438
- Rejestracja: 17 kwie 2007, o 13:44
- Płeć: Mężczyzna
- Lokalizacja: Łódź
- Podziękował: 12 razy
- Pomógł: 1313 razy
Kwantyfikator suma i iloczyn mnogościowy.
Wykażemy pierwszą implikację.
Weźmy dowolny \(\displaystyle{ x\in\bigcup_iX_i}\). Wówczas \(\displaystyle{ x\in X_{i_0}}\) dla pewnego \(\displaystyle{ i_0}\). Ponieważ w szczególności \(\displaystyle{ X_{i_0}\subset Y_{i_0}}\), to \(\displaystyle{ x\in Y_{i_0}}\). Co za tym idzie \(\displaystyle{ x\in\bigcup_iY_i}\). Z dowolności wyboru x dostajemy tezę.
Wykażemy teraz drugą implikację.
Weźmy dowolony \(\displaystyle{ x\in\bigcap_iX_i}\). Wówczas \(\displaystyle{ x\in X_i}\) dla każdego \(\displaystyle{ i}\). Z założenia \(\displaystyle{ X_i\subset Y_i}\) dla każdego \(\displaystyle{ i}\), więc \(\displaystyle{ x\in Y_i}\) dla każdego \(\displaystyle{ i}\). W konsekwencji \(\displaystyle{ x\in\bigcap_iY_i}\). Z dowolności wyboru x dostajemy tezę.
Weźmy dowolny \(\displaystyle{ x\in\bigcup_iX_i}\). Wówczas \(\displaystyle{ x\in X_{i_0}}\) dla pewnego \(\displaystyle{ i_0}\). Ponieważ w szczególności \(\displaystyle{ X_{i_0}\subset Y_{i_0}}\), to \(\displaystyle{ x\in Y_{i_0}}\). Co za tym idzie \(\displaystyle{ x\in\bigcup_iY_i}\). Z dowolności wyboru x dostajemy tezę.
Wykażemy teraz drugą implikację.
Weźmy dowolony \(\displaystyle{ x\in\bigcap_iX_i}\). Wówczas \(\displaystyle{ x\in X_i}\) dla każdego \(\displaystyle{ i}\). Z założenia \(\displaystyle{ X_i\subset Y_i}\) dla każdego \(\displaystyle{ i}\), więc \(\displaystyle{ x\in Y_i}\) dla każdego \(\displaystyle{ i}\). W konsekwencji \(\displaystyle{ x\in\bigcap_iY_i}\). Z dowolności wyboru x dostajemy tezę.
-
- Użytkownik
- Posty: 22
- Rejestracja: 10 paź 2007, o 20:44
- Płeć: Kobieta
- Lokalizacja: stad
- Pomógł: 1 raz
Kwantyfikator suma i iloczyn mnogościowy.
Niestety tak nie bedzie poprawnie.
Musze miec dowod jak w rachunku zdan (zapewne rozmyty rachunek zdan), kwantyfikatorow. ale dziekuje Panu za pomoc.
Musze miec dowod jak w rachunku zdan (zapewne rozmyty rachunek zdan), kwantyfikatorow. ale dziekuje Panu za pomoc.