Kwantyfikator suma i iloczyn mnogościowy.

Permutacje. Kombinacje. Wariacje. Rozmieszczanie kul w urnach. Silnie i symbole Newtona. Przeliczanie zbiorów. Funkcje tworzące. Teoria grafów.
_ludolfina_
Użytkownik
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.

Post autor: _ludolfina_ »

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
Ostatnio zmieniony 16 sty 2008, o 12:29 przez _ludolfina_, łącznie zmieniany 1 raz.
lukasz1804
Użytkownik
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.

Post autor: lukasz1804 »

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ę.
_ludolfina_
Użytkownik
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.

Post autor: _ludolfina_ »

Niestety tak nie bedzie poprawnie.
Musze miec dowod jak w rachunku zdan (zapewne rozmyty rachunek zdan), kwantyfikatorow. ale dziekuje Panu za pomoc.
ODPOWIEDZ