Elementy logiki i teorii mnogości II sprawdzian – 28 I 2013

advertisement
Elementy logiki i teorii mnogości
II sprawdzian – 28 I 2013
Proszę zapisać swoje imię, nazwisko i numer indeksu na górze każdej kartki.
Pod koniec pracy proszę dopisać liczbę zapisanych kartek.
Zadanie 1. a) Sprawdź, czy następująca równość/inkluzja jest prawem rachunku zbiorów:
(1) (A \ B) \ C = A \ (B ∪ C),
(2) A ∪ (∼ B ∩ C) ⊆ (A∪ ∼ B) ∩ C.
Jeśli jest, udowodnij za pomocą rachunku zdań (można używać poznanych praw rachunku
zdań). Jeśli nie, podaj odpowiedni przykład (bez uzasadnienia).
b) Ile wynosi A ∪ (∼ B ∩ C), gdy:
• A = zbiór trójkątów równobocznych, B = zbiór trójkątów nierównoramiennych,
C = zbiór trójkątów prostokątnych (zbiory w przestrzeni wszystkich trójkątów;
wynik opisz słownie, bez uzasadnienia);
• A = [0, 1], B = (2, +∞), C = [2, +∞) (zbiory w R; wynik narysuj na osi, bez
uzasadnienia).
Zadanie 2. Rozważmy relację na płaszczyźnie R2 : (x1 , y1 ) ∼ (x2 , y2 ) ⇔ x1 −y1 = x2 −y2 .
(1) Sprawdź, że jest to relacja równoważności.
(2) Podaj trzy punkty, które są ze sobą w relacji (każdy z każdym) i trzy, które nie
są w relacji (tzn. żadne dwa z nich nie są w relacji); bez uzasadnienia.
(3) Narysuj [(0, 1)]∼ .
Zadanie 3. Rozważmy relację inkluzji „⊆” na niepustych pozbiorach zbioru liczb rzeczywistych X = 2R \ {0} (a więc elementami są zbiory i mogą być w relacji A ⊆ B).
(1) Sprawdź, że jest to relacja częściowego porządku.
(2) Podaj, jeśli istnieją, element najmniejszy i największy, przykłady elementów maksymalnych i minimalnych oraz przykład trójelementowego łańcucha (bez uzasadnienia).
(3) Narysuj diagram Hassego relacji, jeśli zawęzimy ją do zbioru X ′ = {{0}, {1}, {2},
(0, 1], [0, 1], {1, 2}, [1, 2]}.
Zadanie 4. Rozważmy funkcje
2
f : R \ {−1} → R \ {0}, f (x)
=
,
x+1
2 g : R \ {−1} → R, g(x) = x+1 ,
h : R \ {0} → R, h(x) = x2 − 3x.
(1) Czy istnieją złożenia f · f , f · h, h · f , h · g? (bez uzasadnienia). Oblicz jedno ze
złożeń (z tych, które istnieją!)
(2) Oblicz f −1 (4), odczytaj z wykresu f ((0, 1]).
(3) Sprawdź, że f jest bijekcją, a g nie jest różnowartościowa ani „na”. Oblicz f −1 .
Powodzenia!
Download