Zbiór zadań ze wstępu do matematyki



Podobne dokumenty
Zbiory, relacje i funkcje

Lista zadań - Relacje

IMIĘ NAZWISKO... grupa C... sala Egzamin ELiTM I

1 Zbiory. 1.1 Kiedy {a} = {b, c}? (tzn. podać warunki na a, b i c) 1.2 Udowodnić, że A {A} A =.

Zajęcia nr. 3 notatki

Notatki z Analizy Matematycznej 1. Jacek M. Jędrzejewski

Funkcja kwadratowa. f(x) = ax 2 + bx + c = a

1 Logika (3h) 1.1 Funkcje logiczne. 1.2 Kwantyfikatory. 1. Udowodnij prawa logiczne: 5. (p q) (p q) 6. ((p q) r) (p (q r)) 3.

Funkcja kwadratowa. f(x) = ax 2 + bx + c,

Podstawy logiki i teorii mnogości Informatyka, I rok. Semestr letni 2013/14. Tomasz Połacik

1. Funkcje monotoniczne, wahanie funkcji.

Rozdział 6. Ciągłość. 6.1 Granica funkcji

Pytania i polecenia podstawowe

LX Olimpiada Matematyczna

Kombinowanie o nieskończoności. 3. Jak policzyć nieskończone materiały do ćwiczeń

1 Działania na zbiorach

Relacje. opracował Maciej Grzesiak. 17 października 2011

Zadanie 2. Obliczyć rangę dowolnego elementu zbioru uporządkowanego N 0 N 0, gdy porządek jest zdefiniowany następująco: (a, b) (c, d) (a c b d)

Znaleźć wzór ogólny i zbadać istnienie granicy ciągu określonego rekurencyjnie:

Uzupełnienia dotyczące zbiorów uporządkowanych (3 lutego 2011).

Podstawy logiki i teorii mnogości Informatyka, I rok. Semestr letni 2013/14. Tomasz Połacik

Zbiory, funkcje i ich własności. XX LO (wrzesień 2016) Matematyka elementarna Temat #1 1 / 16

Matematyka dyskretna. 1. Relacje

Przykładowe zadania z teorii liczb

domykanie relacji, relacja równoważności, rozkłady zbiorów

LXIX Olimpiada Matematyczna Rozwiązania zadań konkursowych zawodów stopnia trzeciego 18 kwietnia 2018 r. (pierwszy dzień zawodów)

Teoria miary. WPPT/Matematyka, rok II. Wykład 5

Wykład 10. Stwierdzenie 1. X spełnia warunek Borela wtedy i tylko wtedy, gdy każda scentrowana rodzina zbiorów domkniętych ma niepusty przekrój.

LOGIKA I TEORIA ZBIORÓW

n=0 Dla zbioru Cantora prawdziwe są wersje lematu 3.6 oraz lematu 3.8 przy założeniu α = :

Rodzinę F złożoną z podzbiorów zbioru X będziemy nazywali ciałem zbiorów, gdy spełnione są dwa następujące warunki.

Rozdział 4. Ciągi nieskończone. 4.1 Ciągi nieskończone

Funkcje. Oznaczenia i pojęcia wstępne. Elementy Logiki i Teorii Mnogości 2015/2016

Dlaczego nie wystarczają liczby wymierne

Egzamin z logiki i teorii mnogości, rozwiązania zadań

1 Rachunek zdań, podstawowe funktory logiczne

BOGDAN ZARĘBSKI ZASTOSOWANIE ZASADY ABSTRAKCJI DO KONSTRUKCJI LICZB CAŁKOWITYCH

Finanse i Rachunkowość studia niestacjonarne Wprowadzenie do teorii ciągów liczbowych (treść wykładu z 21 grudnia 2014)

KARTA KURSU. Wstęp do logiki i teorii mnogości Introduction to Logic and Set Theory

LXIII Olimpiada Matematyczna

Zasada indukcji matematycznej

Elementy teorii mnogości. Część II. Wojciech Buszkowski Zakład Teorii Obliczeń Wydział Matematyki i Informatyki Uniwersytet im.

1 Rachunek zdań, podstawowe funk tory logiczne

KARTA KURSU. Kod Punktacja ECTS* 7

Rozważmy funkcję f : X Y. Dla dowolnego zbioru A X określamy. Dla dowolnego zbioru B Y określamy jego przeciwobraz:

Konstrukcja liczb rzeczywistych przy pomocy ciągów Cauchy ego liczb wymiernych

3.Funkcje elementarne - przypomnienie

Zapisujemy:. Dla jednoczesnego podania funkcji (sposobu przyporządkowania) oraz zbiorów i piszemy:.

Zbiory. Specjalnym zbiorem jest zbiór pusty nie zawierajacy żadnych elementów. Oznaczamy go symbolem.

Wykład z Analizy Matematycznej 1 i 2

Rozdział 7 Relacje równoważności

Wstęp do matematyki listy zadań

Zestaw zadań dotyczących liczb całkowitych

VII Olimpiada Matematyczna Gimnazjalistów

Topologia - Zadanie do opracowania. Wioletta Osuch, Magdalena Żelazna, Piotr Kopyrski

Korzystając z własności metryki łatwo wykazać, że dla dowolnych x, y, z X zachodzi

Zad.3. Jakub Trojgo i Jakub Wieczorek. 14 grudnia 2013

Kierunek i poziom studiów: matematyka, studia I stopnia, rok I. Sylabus modułu: Wstęp do matematyki (03-MO1S-12-WMat)

III. Funkcje rzeczywiste

Internetowe Ko³o M a t e m a t yc z n e

Matematyka II - Organizacja zajęć. Egzamin w sesji letniej

XII Olimpiada Matematyczna Juniorów Zawody stopnia pierwszego część korespondencyjna (1 września 2016 r. 17 października 2016 r.)

Przykładami ciągów, które Czytelnik dobrze zna (a jeśli nie, to niniejszym poznaje), jest ciąg arytmetyczny:

Ciągi komplementarne. Autor: Krzysztof Zamarski. Opiekun pracy: dr Jacek Dymel

Funkcje wymierne. Funkcja homograficzna. Równania i nierówności wymierne.

Indukcja. Materiały pomocnicze do wykładu. wykładowca: dr Magdalena Kacprzak

2 Rodziny zbiorów. 2.1 Algebry i σ - algebry zbiorów. M. Beśka, Wstęp do teorii miary, rozdz. 2 11

LI Olimpiada Matematyczna Rozwiązania zadań konkursowych zawodów stopnia trzeciego 3 kwietnia 2000 r. (pierwszy dzień zawodów)

LVIII Olimpiada Matematyczna

Jarosław Wróblewski Analiza Matematyczna 1A, zima 2012/13

Wykład 1. Na początku zajmować się będziemy zbiorem liczb całkowitych

Notatki przygotowawcze dotyczące inwersji na warsztaty O geometrii nieeuklidesowej hiperbolicznej Wrocław, grudzień 2013

Uwaga 1.2. Niech (G, ) będzie grupą, H 1, H 2 < G. Następujące warunki są równoważne:

Algebrą nazywamy strukturę A = (A, {F i : i I }), gdzie A jest zbiorem zwanym uniwersum algebry, zaś F i : A F i

G. Plebanek, MIARA I CAŁKA Zadania do rozdziału 1 28

Projekt Era inżyniera pewna lokata na przyszłość jest współfinansowany przez Unię Europejską w ramach Europejskiego Funduszu Społecznego

Teoria miary. Matematyka, rok II. Wykład 1

Wykład 4. Określimy teraz pewną ważną klasę pierścieni.

Czy kwadrat da się podzielić na nieparzystą liczbę trójkątów o równych polach? Michał Kieza

Wykład 16. P 2 (x 2, y 2 ) P 1 (x 1, y 1 ) OX. Odległość tych punktów wyraża się wzorem: P 1 P 2 = (x 1 x 2 ) 2 + (y 1 y 2 ) 2

Indukcja matematyczna. Zasada minimum. Zastosowania.

Temperatura w atmosferze (czy innym ośrodku) jako funkcja dł. i szer. geogr. oraz wysokości.

1. Liczby naturalne, podzielność, silnie, reszty z dzielenia

Schemat rekursji. 1 Schemat rekursji dla funkcji jednej zmiennej

- Dla danego zbioru S zbiór wszystkich jego podzbiorów oznaczany symbolem 2 S.

2. FUNKCJE. jeden i tylko jeden element y ze zbioru, to takie przyporządkowanie nazwiemy FUNKCJĄ, lub

6. Liczby wymierne i niewymierne. Niewymierność pierwiastków i logarytmów (c.d.).

020 Liczby rzeczywiste

zbiorów domkniętych i tak otrzymane zbiory domknięte ustawiamy w ciąg. Oznaczamy

Definicja i własności wartości bezwzględnej.

Wstęp do Matematyki (1)

Uwaga 1. Zbiory skończone są równoliczne wtedy i tylko wtedy, gdy mają tyle samo elementów.

Matematyka dyskretna. Andrzej Łachwa, UJ, /10

Funkcje - monotoniczność, różnowartościowość, funkcje parzyste, nieparzyste, okresowe. Funkcja liniowa.

FUNKCJA LINIOWA, RÓWNANIA I UKŁADY RÓWNAŃ LINIOWYCH

Indukcja matematyczna

V Konkurs Matematyczny Politechniki Białostockiej

Zadania do samodzielnego rozwiązania

Funkcje liniowe i wieloliniowe w praktyce szkolnej. Opracowanie : mgr inż. Renata Rzepińska

Notatki z Analizy Matematycznej 2. Jacek M. Jędrzejewski

Transkrypt:

Zbiór zadań ze wstępu do matematyki Jan Kraszewski Wrocław 2009 1

Spis treści 2

Przedmowa W zbiorach zadań ze wstępu do matematyki zadania zazwyczaj są tak pogrupowane, by dotyczyły pojęć z poszczególnych działów, omawianych w ramach tego przedmiotu (takich jak Funkcje, Relacje czy Moce zbiorów ). Jest to uzasadnione, gdyż studenci poznają kolejne pojęcia sukcesywnie i nieuprawnionym byłoby oczekiwanie, że będą w stanie rozwiązywać zadania, dotyczące całego materiału. Z takimi spotykają się na ogół dopiero na egzaminie. Przygotowując ten zbiór zadań chciałem odejść od opisanej powyżej zasady. Zebrane w nim zadania wymagają całościowej wiedzy ze wstępu do matematyki. Ważne jest też, by materiał ten był nie tylko opanowany, ale także dobrze zrozumiany. Wiele z tych zadań, choć wygląda skomplikowanie, ma w rzeczywistości krótkie rozwiązania, a główna ich trudność polega na tym, że występujące w nich obiekty mają dość skomplikowaną naturę i wymagają właśnie dobrego zrozumienia. Z tych też powodów zbiór dobrze nadaje się do przygotowań przedegzaminacyjnych. Do wszystkich zadań opracowane są zarówno wskazówki, jak i odpowiedzi. Dzięki temu osoby, które preferują samodzielne rozwiązywanie zadań, a nie mają pomysłu, jak zacząć, mogą najpierw skorzystać ze wskazówki. Wszystkie definicje pojęć i oznaczenia są zgodne z podręcznikiem [?]. W rozwiązaniach nie dowodzę faktów, które zostały udowodnione w tym podręczniku. Autor prosi o zgłaszanie mu wszelkich uwag, dotyczących niniejszego zbioru, w szczególności przeoczonych pomyłek i błędów, pod adresem Jan.Kraszewski@math.uni.wroc.pl. Niniejszy skrypt został przygotowany i sfinansowany w ramach projektu Ministerstwa Nauki i Szkolnictwa Wyższego Zamawianie kształcenia na kierunkach technicznych, matematycznych i przyrodniczych - pilotaż, współfinansowanego przez Unię Europejską w ramach Europejskiego Funduszu Społecznego. Jan Kraszewski i

Rozdział 1 Zadania 1. Niech A, B, C będą dowolnymi niepustymi podzbiorami zbioru R, a D dowolnym podzbiorem zbioru R. (a) Wyjaśnić słowami (bez użycia symboli), jaką własność zbioru D opisuje zdanie ( x D)( y D) x = y. (b) Zapisać symbolicznie wyrażenie Rodzina zbiorów {A, B, C} jest rodziną rozłączną. (c) Czy warunek (A B) C = C jest warunkiem koniecznym do tego, by A C? Odpowiedź uzasadnić. (d) Czy jeśli P(A) P(B) = { }, to może zajść B C C A? Odpowiedź uzasadnić. (e) Podać jak najsłabszy warunek na moce zbiorów A i B, wystarczający do tego, by A B R. Odpowiedź uzasadnić. 2. Niech A, B, C będą dowolnymi, różnymi podzbiorami zbioru R. (a) Zapisać symbolicznie następujące wyrażenia. W podpunkcie (ii) nie wolno użyć kwantyfikatorów. (i) Każdy podzbiór zbioru A zawiera się zbiorze B lub jest rozłączny z pewnym niepustym podzbiorem zbioru C. (ii) Rodzina {A, B, C} jest antyłańcuchem w zbiorze częściowo uporządkowanym P(R),. (b) Czy jeśli A B C C, to A C i B C? Odpowiedź uzasadnić. 1

(c) Czy jeśli A B C, to A B = B C? Odpowiedź uzasadnić. (d) Czy jeśli istnieją surjekcja f : B C i injekcja g : C B, to B C? Odpowiedź uzasadnić. 3. Niech A, B, C będą dowolnymi, różnymi podzbiorami zbioru N. (a) Zapisać symbolicznie następujące wyrażenia. Nie wolno użyć symbolu mocy zbioru. (i) Nieskończenie wiele liczb parzystych należy do zbioru A. (ii) Rodzina {A, B, C} jest podziałem zbioru N. (b) Udowodnić, że jeśli A B C =, to A C = B C A = B. (c) Czy jeśli A B = A C, to C (B A) =? Odpowiedź uzasadnić. (d) Niech D = {n N : ( k N) n = 3k}. Czy jeśli D A < ℵ 0, to D A? Odpowiedź uzasadnić. 4. Niech A, B i C będą dowolnymi niepustymi podzbiorami zbioru R. (a) Zapisać symbolicznie następujące wyrażenia. (i) Każdy niepusty podzbiór zbioru A, który nie jest podzbiorem zbioru B, jest podzbiorem zbioru C. (ii) Rodzina zbiorów {A, B, C} nie jest rodziną zbiorów parami rozłącznych. (b) Czy z faktów, że A C = B C i A C = B C wynika, że A = B? Odpowiedź uzasadnić. (c) Czy z faktu, że A C = B C wynika, że A = B? Odpowiedź uzasadnić. (d) Czy z faktu, że zbiory A i B są nieskończone wynika, że A B? Odpowiedź uzasadnić. 5. Niech A, B, C będą dowolnymi, różnymi podzbiorami zbioru R. (a) Zapisać symbolicznie następujące wyrażenia. (i) Dokładnie dwa spośród zbiorów A, B, C są niepuste. 2

(ii) Zbiór A nie jest ograniczeniem górnym rodziny {B, C} w zbiorze częściowo uporządkowanym P(R),. (b) Czy warunek A B C jest warunkiem wystarczającym do tego, by A =? Odpowiedź uzasadnić. (c) Czy jeśli P(C) P(A) P(B), to C A B? Odpowiedź uzasadnić. (d) Niech f : R R oraz A R. Czy z faktu, że funkcja f A jest surjekcją wynika, że funkcja f jest surjekcją? Odpowiedź uzasadnić. 6. Niech A, B, C będą dowolnymi, różnymi podzbiorami zbioru R. (a) Zapisać symbolicznie następujące wyrażenia. (i) Każdy element zbioru A należy do dokładnie jednego ze zbiorów B i C. (ii) Rodzina {A, B, C} nie jest łańcuchem w zbiorze częściowo uporządkowanym P(R),. (b) Udowodnić, że jeśli niepuste zbiory A, B i C spełniają warunek (i) z podpunktu (a), to spełniają warunek (ii) z podpunktu (a). (c) Czy jeśli C B C A, to B A? Odpowiedź uzasadnić. (d) Czy jeśli istnieje injekcja f : R A, to warunek A B = jest warunkiem wystarczającym na to, by istniała surjekcja g : A B R? Odpowiedź uzasadnić. 7. Niech A, B, C będą dowolnymi niepustymi, różnymi podzbiorami zbioru R. (a) Zapisać symbolicznie następujące wyrażenia. (i) Do zbioru A należą wszystkie ograniczenia dolne zbioru B C. (ii) Rodzina {A, B, C} jest podziałem zbioru R. (b) Podać przykład zbiorów A, B, C, spełniających koniunkcję warunków z podpunktu (a). (c) Czy z faktu, że B A C wynika, że C (A B C) (A B)? Odpowiedź uzasadnić. 3

(d) Zakładamy, że (A C) (C B) =. Czy może zajść A B C =? Odpowiedź uzasadnić. (e) Czy z faktu, że 0 < (A A) (B B) < ℵ 0 wynika, że zbiór A jest skończony? Odpowiedź uzasadnić. 8. Rozważamy funkcję f : Z N daną wzorem f(x) = x 2 + x. (a) Wyznaczyć f[a], gdzie A = [ 2, 1] Z. (b) Wyznaczyć f 1 [B], gdzie B = {x N : x 1 2}. (c) Czy funkcja f jest na? Odpowiedź uzasadnić. (d) Zdefiniować funkcję g : Z Z tak, by obraz rng(g) był zbiorem nieskończonym i funkcja f g była różnowartościowa. Odpowiedź uzasadnić. (e) Czy istnieje funkcja h : Z Z taka, by funkcja f h była na? Odpowiedź uzasadnić. 9. Rozważmy funkcję f : R (0, + ) daną wzorem f(x) = x 2 + 1. (a) Wyznaczyć (f f)(x 2 + 1). (b) Wyznaczyć f[a], gdzie A = [ 2, 1]. (c) Wyznaczyć f 1 [B], gdzie B = (2, 3). (d) Rozważmy funkcję g α : R R, zadaną wzorem g α (x) = f(x α) (gdzie α R jest parametrem). Wyznaczyć zbiór C = {α R : g α jest funkcją różnowartościową}. Odpowiedź uzasadnić. 10. Niech F : N N N N będzie funkcją zadaną wzorem F (f) = f f. Niech id N N N oznacza funkcję identycznościową. Niech h N N będzie funkcją zadaną wzorem h(x) = 0. (a) Podać przykład funkcji g N N {id N, h} takiej, że F (g) = g. Odpowiedź uzasadnić. (b) Czy funkcja F jest injekcją? Odpowiedź uzasadnić. 4

(c) Udowodnić, że jeśli F (f) = id N, to funkcja f jest bijekcją. (d) Znaleźć zbiór A N N jak największej mocy, o następującej własności: A F 1 [{h}]. 11. Niech π 2 : R 2 R będzie rzutem na drugą oś (tzn. π 2 (x, y) = y). Rozważamy funkcję F : P(R 2 ) P(R) zadaną wzorem F (X) = π 2 [X]. (a) Czy funkcja F jest różnowartościowa? Odpowiedź uzasadnić. (b) Czy funkcja F jest surjekcją? Odpowiedź uzasadnić. (c) Wyznaczyć F 1 [{{ 1}}]. (d) Niech g : R R będzie funkcją zadaną wzorem g(x) = x 2. Definiujemy funkcję G : P(R) P(R) wzorem G(X) = g 1 [X]. Czy istnieje zbiór A R 2 taki, że G F (A) = 3? Odpowiedź uzasadnić. 12. Niech funkcja F : N N P(N) będzie zadana wzorem F (f) = f 1 [{1}]. (a) Czy funkcja F jest różnowartościowa? Odpowiedź uzasadnić. (b) Czy funkcja F jest na? Odpowiedź uzasadnić. (c) Niech S N N będzie zbiorem wszystkich funkcji stałych. Wyznaczyć F [S]. (d) Wyznaczyć F 1 [{{1}}]. Odpowiedź uzasadnić. 13. Niech A = {f N N : f nie jest surjekcją} i niech funkcja F : A P(N) będzie zadana wzorem F (f) = rng(f). (a) Czy funkcja F jest różnowartościowa? Odpowiedź uzasadnić. (b) Czy funkcja F jest na? Odpowiedź uzasadnić. (c) Niech B = {f A : f jest ograniczona}. Wyznaczyć F [B]. (d) Niech C = {{0, 1}}. Wyznaczyć F 1 [C]. Odpowiedź uzasadnić. 14. Niech f, g, h N N będą funkcjami danymi wzorami f(x) = 2x, g(x) = x 2 2x + 2 i h(x) = 0. Niech funkcja F : N N N N będzie dana wzorem F (φ) = φ f. 5

(a) Czy prawdą jest, że g[a] g[b] = A B =? (b) Czy funkcja F jest różnowartościowa? (c) Czy g F 1 [{f}]? (d) Wyznaczyć F 1 [{h}]. Wszystkie odpowiedzi należy uzasadnić. 15. Niech X = {x N : x 6}. (a) Czy istnieje funkcja f : X X taka, że f f = id X i ( x X) f(x) = x? Odpowiedź uzasadnić. (b) Rozważmy funkcję g : X X daną wzorem g(x) = x 2. Uzasadnić, że nie istnieje częściowy porządek na zbiorze X taki, że ( x X) x g(x). (c) Rozważmy funkcję h : X N X N daną wzorem h(x, y) = x, x+y. (i) Wyznaczyć h 1 [{ 3, 2 }]. (ii) Wyznaczyć rng(h). Odpowiedź uzasadnić. 16. Niech R i S będą relacjami na zbiorze A = {x N : x 10}, zdefiniowanymi następująco: xry ( k Z) x 2 y 2 = 5k, xsy x y = 8. (a) Uzasadnić, że R jest, a S nie jest relacją równoważności. (b) Wyznaczyć [2] R. (c) Wyznaczyć A/ R. Odpowiedź uzasadnić. (d) Czy R S jest relacją równoważności? Odpowiedź uzasadnić. 17. Niech I = {2, 3, 5, 7}. Niech R N + N + będzie relacją równoważności zadaną warunkiem xry ( p I)(p x p y). (a) Czy 12 [18] R? (b) Czy {2n + 1 : n N} N + / R? 6

(c) Czy relacja R R jest spójna? (d) Wyznaczyć N + / R. Wszystkie odpowiedzi uzasadnić. 18. Dla każdego n {0, 1, 2} na zbiorze N N definiujemy relację równoważności R n warunkiem f R n g ( k N)(f(k) > n g(k) > n). Niech φ, ψ N N będą funkcjami, zadanymi wzorami φ(x) = 0, ψ(x) = x. (a) Wyznaczyć [φ] R0. (b) Wyznaczyć [φ] R1. Odpowiedź uzasadnić. (c) Czy ψ R 1 R 2 φ? Odpowiedź uzasadnić. (d) Wyznaczyć N N / R1. Odpowiedź uzasadnić. 19. Rozważmy funkcję f : Z 2 Z zadaną wzorem f(x, y) = x 2 y. Niech R będzie relacją równoważności na zbiorze Z 2, zadaną warunkiem x, y R a, b f(x, y) = f(a, b). (a) Czy funkcja f jest na? Odpowiedź uzasadnić. (b) Wyznaczyć klasę abstrakcji [ 0, 0 ] R. (c) Wyznaczyć obraz klasy abstrakcji f [[ 2, 3 ] R ]. (d) Niech A Z 2 będzie nieskończonym zbiorem, który z każdą klasą abstrakcji relacji R ma co najwyżej jeden wspólny element. Czy funkcja f A jest różnowartościowa? Czy jest na? Odpowiedzi uzasadnić. (e) Niech X = {0, 1, 2}. Wyznaczyć X 2 / R X 2. Odpowiedź uzasadnić. 20. Niech π 1, π 2 : R 2 R będą rzutami odpowiednio na pierwszą i drugą oś (tzn. π 1 (x, y) = x, π 2 (x, y) = y). Na zbiorze P(R 2 ) definiujemy relację równoważności R warunkiem A R B π 1 [A] = π 1 [B]. (a) Niech C = { x, y R 2 : xy = 1}. Czy C [R 2 ] R? Odpowiedź uzasadnić. 7

(b) Podać przykład zbioru D [R 2 ] R, takiego że π 2 [D] = 2. (c) Wyznaczyć [{ 0, 0 }] R. (d) Niech E = R Q. Czy istnieje zbiór F [E N] R, taki że F = ℵ 0? Odpowiedź uzasadnić. 21. Niech T będzie relacją równoważności na zbiorze N N zadaną warunkiem a n : n N T b n : n N a 0 = b 0. Niech c n : n N będzie ciągiem, zadanym warunkiem ( n N) c n = 0. (a) Podać przykład ciągu d n : n N, różnego od ciągu c n : n N i takiego, że [ c n : n N ] T [ d n : n N ] T =. Odpowiedź uzasadnić. (b) Opisać zbiór ilorazowy N N / T. (c) Jaka jest moc zbioru N N / T? Odpowiedź uzasadnić. (d) Pokazać, że [ c n : n N ] T = c. 22. Niech R będzie relacją równoważności na zbiorze P(Z) zadaną warunkiem gdzie A + x = {a + x : a A}. A R B ( x Z) B = A + x, (a) Czy {1, 2, 4} [{5, 7, 8}] R? Odpowiedź uzasadnić. (b) Czy istnieje pięcioelementowa klasa abstrakcji relacji R? Odpowiedź uzasadnić. (c) Wyznaczyć {A (P(Z))/ R : ( B A) B = 1}. Odpowiedź uzasadnić. (d) Udowodnić, że {A (P(Z))/ R : ( B A) B = 2} = ℵ 0. (e) Wyznaczyć P(Z)/ R. Odpowiedź uzasadnić. 23. Rozważmy relację równoważności R na zbiorze funkcji Z N zadaną warunkiem f R g ( n N)(f(n) 0 g(n) 0). 8

(a) Niech funkcje f, g Z N będą zadane wzorami f(n) = n 2 1 i g(n) = n. Czy [f] R = [g] R? Odpowiedź uzasadnić. (b) Wyznaczyć klasę abstrakcji funkcji h Z N, zadanej wzorem h(n) = ( 1) n. (c) Znaleźć zbiór A Z N jak największej mocy, mający następującą własność: ( f, g A) f = g f R g. 24. Niech R będzie relacją równoważności na zbiorze P(Z) zadaną warunkiem ARB (A Z N B Z N A = B) (A Z N B Z N A N = B N). (a) Czy {2n + 1 : n N} [{1}] R? Odpowiedź uzasadnić. (b) Podać przykład zbioru C Z, takiego że [C] R < ℵ 0. Odpowiedź uzasadnić. (c) Podać przykład nieskończonego zbioru D Z takiego, że D [{x Z : x + 1 1}] R. (d) Wyznaczyć [Z] R. Odpowiedź uzasadnić. (e) Wyznaczyć P(Z)/ R. Odpowiedź uzasadnić. 25. Niech X = {n N + : n 6}. Niech funkcja f : X X będzie dana wzorem f(x) = [ 3x], gdzie [x] oznacza największą liczbę całkowitą nie większą od x R. Na zbiorze P(X) definiujemy relację równoważności R warunkiem A R B f[a] = f[b] oraz relację S warunkiem (a) Wyznaczyć [ ] R. A S B f 1 [A] f 1 [B]. (b) Czy {3, 6} S R {4}? Odpowiedź uzasadnić. (c) Wyznaczyć P(X)/ R. Odpowiedź uzasadnić. (d) Wyznaczyć największy zbiór C P(X), dla którego relacja S P(C) jest relacją częściowego porządku. Odpowiedź uzasadnić. 9

26. Niech X = {(a, b) : a R b R a < b}. Rozważmy zbiór częściowo uporządkowany X,, gdzie I J inf I inf J sup I sup J. (a) Czy istnieje J X nieporównywalny z przedziałem (0, 2) i taki, że J (1, 3)? Odpowiedź uzasadnić. (b) Podać przykład nieprzeliczalnego antyłańcucha w X. (c) Podać przykład nieskończonego łańcucha w X, którego żadne dwa elementy nie są rozłączne. (d) Czy w zbiorze A = P([0, 1]) X istnieje element maksymalny? Odpowiedź uzasadnić. 27. Niech 1 będzie częściowym porządkiem na zbiorze R, zadanym warunkiem x 1 y ( z R)(x < z y < z). Poniższe pytania dotyczą zbioru uporządkowanego R, 1. (a) Czy 3 1 π? Odpowiedź uzasadnić. (b) Czy porządek 1 jest liniowy? Odpowiedź uzasadnić. (c) Wskazać podzbiór B R, w którym nie ma elementu maksymalnego i sup B = 2. (d) Niech 2 będzie obcięciem relacji 1 do zbioru N. Czy dla dowolnych x, y N prawdą jest, że Odpowiedź uzasadnić. x 2 y ( z N)(x < z y < z)? 28. Niech relacja będzie częściowym porządkiem na zbiorze N 2, zadanym warunkiem x, y a, b (x = a y = b) (x < a y < b). (a) Podać przykład nieskończonego antyłańcucha w N 2. (b) Wyznaczyć zbiór elementów minimalnych w N 2. 10

(c) Niech π : N 2 N będzie rzutem na pierwszą oś (tzn. π(x, y) = x). Czy istnieje nieskończony łańcuch L N 2 taki, że π[l] < ℵ 0? Odpowiedź uzasadnić. 29. Niech X = {(a, b) : a R b R a < b}. Rozważmy zbiór częściowo uporządkowany X,, gdzie I J I = J sup I inf J. (a) Czy istnieje J X taki, że (0, 1) J (1, 2)? Odpowiedź uzasadnić. (b) Czy w P((, 1)) X istnieje element największy? Odpowiedź uzasadnić. (c) Podać przykład nieskończonego antyłańcucha A X, takiego że I AI =. (d) Czy istnieje nieprzeliczalny łańcuch w X? Odpowiedź uzasadnić. 30. Niech będzie częściowym porządkiem na zbiorze N + zadanym wzorem x y (2 x 2 y ( k N) y = 2 k x) (2 x 2 y x y). Pytania dotyczą zbioru częściowo uporządkowanego N +,. (a) Czy 2 12? Odpowiedź uzasadnić. (b) Czy w zbiorze N + istnieje element maksymalny? Odpowiedź uzasadnić. (c) Podać przykład nieskończonego antyłańcucha w zbiorze N +. (d) Czy istnieje element z N +, który ma dwa nieporównywalne poprzedniki (element t N + nazywamy poprzednikiem elementu z N +, gdy t z)? Odpowiedź uzasadnić. 31. Niech f : Z N będzie bijekcją zadaną wzorem { 2x 1 jeśli x < 0 f(x) = 2x jeśli x 0. Niech będzie częściowym porządkiem na zbiorze N, zadanym warunkiem n m f 1 (n) f 1 (m). Podpunkty (a) (c) dotyczą zbioru częściowo uporządkowanego N,. 11

(a) Czy 7 9? Odpowiedź uzasadnić. (b) Czy istnieje zbiór A N, który ma dwa różne elementy maksymalne? Odpowiedź uzasadnić. (c) Podać przykład zbioru B N, nieograniczonego z dołu i takiego, że sup B = 4. (d) Niech g = f N i niech C = {x N : x 100}. Wyznaczyć (g f) 1 [C]. 32. Niech będzie częściowym porządkiem na (N + ) 2 zadanym wzorem (a) Niech A = {2, 4, 6} 2. x, y a, b x a b y. (i) Narysować (czytelny) diagram Hassego zbioru częściowo uporządkowanego A, (z podpisaniem wierzchołków). (ii) Wyznaczyć kres górny zbioru A (w (N + ) 2 ). (b) Czy w zbiorze częściowo uporządkowanym (N + ) 2, jest element maksymalny? Odpowiedź uzasadnić. (c) Podać przykład łańcucha L (N + ) 2 takiego, że {x N + : ( y N + ) x, y L} = ℵ 0 oraz {y N + : ( x N + ) x, y L} > 1. 33. Na zbiorze N N definiujemy relację częściowego porządku warunkiem f g ( n N)f(n) g(n). (a) Jakie są elementy największe, najmniejsze, maksymalne i minimalne w zbiorze częściowo uporządkowanym N N, (jeśli istnieją wskazać, jeśli nie istnieją uzasadnić)? (b) Wskazać nieskończony łańcuch w zbiorze częściowo uporządkowanym N N,. (c) Niech h : N N będzie dana wzorem h(n) = n + 1. Pokazać, że {f N N : f h} = c. 12

34. Niech relacja będzie częściowym porządkiem na zbiorze R, zadanym warunkiem x y x = y {x} < {y}, gdzie {x} oznacza część ułamkową z liczby x. Polecenia dotyczą zbioru częściowo uporządkowanego R,. (a) Czy istnieje x R takie, że 10 3 x 5? Odpowiedź uzasadnić. 2 (b) Czy w R istnieje element najmniejszy? Odpowiedź uzasadnić. (c) Podać przykład nieskończonego zbioru A R, takiego że w A istnieją dokładnie dwa elementy maksymalne. (d) Czy w R istnieje nieprzeliczalny antyłańcuch? Odpowiedź uzasadnić. 35. Niech relacja będzie częściowym porządkiem na zbiorze R 2, zadanym warunkiem x, y a, b (x = a y = b) (x 2 + y 2 < a 2 + b 2 ). Polecenia dotyczą zbioru częściowo uporządkowanego R 2,. (a) Wyznaczyć zbiór elementów minimalnych. (b) Łańcuch L R 2 nazywamy łańcuchem maksymalnym, jeśli nie istnieje łańcuch L R 2, będący właściwym nadzbiorem łańcucha L. Podać przykład łańcucha maksymalnego. (c) Czy zbiór A = [ 1, 1] 2 ma kres górny? Odpowiedź uzasadnić. (d) Czy istnieje nieskończony podzbiór B R 2, taki że relacja B jest relacją równoważności na zbiorze B? Odpowiedź uzasadnić. 13

Rozdział 2 Wskazówki do zadań 1. (a) Czy narzucająca się odpowiedź jest na pewno kompletna? (b) Żadnych kwantyfikatorów (bo i po co?)! (c) Czy z faktu, że A C wynika, że A B C? (d) Pokazać, że jeśli B C C A, to B C i C A. (e) Im mniej zakładamy o mocy zbioru B, tym słabszy warunek dostajemy. 2. (b) Czy jeśli x, y / C C, to x / C i y / C? (c) Skorzystać z równości A B = (A B) (A B). (d) Jakie znamy warunki, równoważne nierówności B C? 3. (a) (i) Podzbiór zbioru liczb naturalnych jest nieskończony dokładnie wtedy, gdy jest nieograniczony. (ii) Jakie trzy warunki spełnia podział? Uproszczenie: o zbiorach A, B, C wiemy, że są różne. (b) Kluczowa jest niepustość zbioru C. (c) Nie wprost? (d) Wiemy, że D = (D A) (D A). 4. (a) (ii) Bez kwantyfikatorów. (b) Patrz wskazówka do zad. (c) Kontrapozycja? (d) Czy jeden zbiór może być bardziej nieskończony od drugiego?. 5. (a) (i) Ile spośród zbiorów A, B, C jest pustych? (ii) Bez kwantyfikatorów. 14

(b) Co wynika z faktu, że zbiór A B jest pusty. (c) Wiemy, że P(X) P(Y ) X Y. (d) Funkcja jest surjekcją, gdy przyjmuje wszystkie możliwe wartości. 6. (a) (i) Skorzystać z przydatnej operacji teoriomnogościowej. (ii) Któreś zbiory muszą być nieporównywalne w sensie zawierania. (b) Nie wprost. (c) Czy zbiory A, B, C są niepuste? (d) Czy jeśli przekrój pewnego zbioru ze zbiorem dużym jest niepusty, to też musi być duży? 7. (a) (i) Każda liczba rzeczywista, jeśli jest ograniczeniem dolnym zbioru B C, to należy do zbioru A; (ii) Co z założenia wiemy o zbiorach A, B, C? (b) Przedziały i półproste? (c) Diagram Venna może pomóc w podjęciu decyzji. (d) Co wynika z założenia? Czy to wystarczy? (e) Niepustość jest istotna, a rysunek może pomóc. 8. (a) A = { 2, 1, 0, 1}. (b) B = {0, 1, 2, 3}. (c) Jaka jest przeciwdziedzina funkcji f? (d) Funkcja g musi być różnowartościowa, podobnie jak obcięcie funkcji f do obrazu funkcji g. (e) Patrz podpunkt (c). 9. (a) (f f)(x 2 + 1) = f(f(x 2 + 1)) = f((x 2 + 1) 2 + 1). (b) Wykres może pomóc. (c) Wykres może pomóc. (d) f(x α) = (x α) 2 + 1 = x 2 2αx + α 2 + 1. 10. (a) Funkcja bardzo podobna do funkcji h? (b) Nie. (c) Wprost z definicji bijekcji. (d) Jak znaleźć continuum funkcji, z których każda po złożeniu z sobą samą daje funkcję stałą, równą zero? Wystarczy ograniczyć się do funkcji zero-jedynkowych. 15

11. (a) Czy istnieją dwa podzbiory płaszczyzny o tym samym rzucie na oś OY? (b) W jaki sposób, mając dany podzbiór prostej, skonstruować podzbiór płaszczyzny, którego rzutem będzie dany podzbiór? (c) F 1 [{{ 1}}] to rodzina podzbiorów płaszczyzny. Teraz trzeba dokładnie odczytać z definicji przeciwobrazu, co to znaczy, że X F 1 [{{ 1}}]. (d) Czy istnieje podzbiór prostej rzeczywistej, którego przeciwobraz przez funkcję g ma dokładnie 3 elementy? 12. (a) Czy istnieją dwa różne ciągi liczb naturalnych, mające jedynki na tych samych miejscach? (b) Czy mając dany podzbiór zbioru liczb naturalnych umiemy wskazać ciąg, dla którego zbiór numerów wyrazów równych 1 pokrywa się z danym zbiorem? (c) Wynikiem musi być rodzina podzbiorów N. (d) Pamiętamy, że F 1 [{{1}}] N N. Następnie korzystamy uważnie z definicji przeciwobrazu, by zorientować się, z jakich dokładnie funkcji składa się rozważany przeciwobraz. By wyznaczyć jego moc, dokonujemy szacowań do otrzymania oszacowania z dołu wystarczy znaleźć podzbiór zbioru F 1 [{{1}}] o którym łatwo możemy stwierdzić, że ma moc continuum. 13. (a) Czy trudno znaleźć dwie różne funkcje o tym samym obrazie? (b) Co wynika z faktu, że elementy zbioru A nie są surjekcjami? (c) Co możemy powiedzieć o obrazie funkcji ograniczonej? (d) Które funkcje mają obraz {0, 1}? 14. (a) Kontrapozycja? (b) Warto zauważyć, że działanie funkcji F polega na wybieraniu pewnego podciągu. (c) Czy F (g) = f?. (d) Ile jest ciągów liczb naturalnych, których parzyste wyrazy są zerami? 15. (a) Funkcja f o podanych własnościach łączy elementy zbioru X w pary. (b) Nie wprost. 16

(c) (i) Dla jakich par x, y mamy x = 3 i x + y = 2? (ii) Tw. Cantora-Bernsteina. 16. (a) Czy relacja S jest przechodnia? (b) Kwadraty jakich liczb dają resztę 4 w dzieleniu przez 5? (c) Najprościej wyznaczyć zbiór ilorazowy, najszybciej zbadać reszty kwadratów w dzieleniu przez 5. (d) Czy relacja R S jest przechodnia? 17. (a) Jakie dzielniki ze zbioru I mają liczby 12 i 18? (b) Czy liczby 1 i 3 są w relacji R? (c) Czy istnieje spójna, nietrywialna relacja równoważności? (d) Jaka cecha jest wyabstrahowana? Jakie są jej możliwe wartości? Ile ich jest? 18. (a) Wystarczy dobrze zrozumieć definicję relacji odpowiedź jest prosta. (b) Trzeba odczytać z definicji, jakim zbiorem jest [φ] R1. (c) Czy może istnieć świadek na to, że ψ R 1 R 2 φ? (d) Zastanowić się, jakie są możliwe wartości cechy, wyabstrahowanej przy pomocy relacji R 1, albo znaleźć dużo funkcji, parami nierównoważnych względem tej relacji. 19. (a) Tak. (b) Jakie pary przechodzą przez funkcję f na 0? (c) Bycie w jednej klasie abstrakcji relacji R to dawanie tej samej wartości przez funkcję f. (d) Co najwyżej jest kluczowe. (e) Nie należy bać się notacji to proste zadanie. 20. (a) Wyznaczyć rzuty obu zbiorów. (b) Trzeba podać przykład zbioru, znając jego rzuty na obie osie. (c) [{ 0, 0 }] R P(R 2 ) uwaga na byty (i zbiór pusty...)! (d) Co to jest π 1 [E N]? 21. (a) Jaki ciąg jest równoważny z ciągiem c n : n N? (b) Warto zastanowić się, jaki jest efekt procesu abstrahowania to pomoże elegancko opisać zbiór ilorazowy. 17

(c) Wprost z (b) pod warunkiem, że mamy porządny opis... (d) Tw. Cantora-Bernsteina oszacowanie z dołu nie jest trudne, wystarczy zdefiniować odpowiednią injekcję. 22. (a) Skojarz relację R z przesuwaniem (translacją) zbiorów. (b) Odpowiedz najpierw na to samo pytanie dla dwuelementowej klasy abstrakcji. (c) Ile jest klas abstrakcji, składających się ze zbiorów jednoelementowych? (d) Po czym poznajemy, że dwie pary liczb całkowitych są w relacji R? (e) Kluczowe jest dobre oszacowanie z dołu. 23. (a) Jakie są wartości funkcji f i g w zerze. (b) Trzeba dokładnie opisać szukany zbiór (ważne są zarówno miejsca parzyste, jak i nieparzyste). (c) Można wskazać zbiór A mocy continuum. 24. (a) {2n + 1 : n N}, {1} Z N. (b) C Z N? (c) { 2, 1, 0} Z N. (d) [Z] R = {A P(Z) : N A}. (e) Czy dwa różne podzbiory zbioru liczb naturalnych wyznaczają różne klasy abstrakcji relacji R? 25. (a) Czy niepusty zbiór może mieć pusty obraz? (b) Tak. (c) Uwaga! Opisywanie zbioru ilorazowego na piechotę jest ryzykowne... (d) Jakiej cechy brakuje relacji S do bycia częściowym porządkiem? 26. (a) Kiedy dwa przedziały są nieporównywalne? (b) Jw. (c) Wystarczy ustalić jeden koniec i zmieniać drugi. (d) Nie. 27. (a) Czy porządek 1 da się opisać w prostszy sposób? 18

(b) Natychmiastowe, gdy znamy ww. prostszy opis. (c) Odcinek otwarty? (d) Tak. 28. (a) 0, 0 0, 1. (b) 0, 0 1, 0. (c) Nie. 29. (a) Nie. (b) Czy można znaleźć dwa elementy maksymalne? (c) Rodzina zstępująca? (d) Gdy dwa różne odcinki są porównywalne, to są rozłączne. 30. (a) Czy liczba 12 jest potęgą liczby 2? (b) Dla każdej liczby nieparzystej łatwo znaleźć liczbę od niej większą (w sensie ). A dla parzystej? (c) Szukamy wśród podzbiorów zbioru liczb parzystych. (d) Nie. 31. (a) Rysunek może pomóc. (b) Czy w zbiorze uporządkowanym Z, istnieją dwa różne elementy maksymalne? (c) Zbiór liczb nieparzystych plus coś? (d) Można skorzystać z faktu, że (g f) 1 [C] = f 1 [g 1 [C]]. 32. (a) (ii) Zaczynamy od szukania ograniczenia górnego. (b) Patrzymy na pierwszą oś. (c) Warto najpierw znaleźć nieskończony łańcuch przy ustalonej drugiej współrzędnej, a potem trochę go poprawić, by spełnić drugi warunek. 33. (a) Czy dla każdej funkcji istnieje funkcja od niej większa? (b) Warto zacząć od funkcji stale równej zero. (c) Dobry rysunek bardzo pomaga w znalezieniu prostych szacowań. 34. (a) { } 10 3 = 1, { } 5 3 2 = 1. 2 (b) Ile jest elementów minimalnych w zbiorze R? 19

(c) Elementy maksymalne muszą mieć tę samą część ułamkową. (d) Kiedy dwie liczby są nieporównywalne? 35. (a) Nie ma ich zbyt dużo. (b) Prosta nie jest dobra. (c) Jak ograniczyć z góry wierzchołki kwadratu? (d) Kiedy relacja porządku może być relacją równoważności? 20

Rozdział 3 Odpowiedzi do zadań 1. (a) Zbiór D jest pusty lub ma przynajmniej dwa elementy. (b) A B = A C = B C =. (c) Tak. Ponieważ A B A, więc jeśli A C, to tym bardziej A B C, co z kolei jest równoważne warunkowi (A B) C = C. (d) Nie. Przypuśćmy nie wprost, że B C C A. Ustalmy dowolne b B i niech c będzie elementem zbioru C (takowy istnieje, bo C = ). Wówczas b, c B C, zatem b, c C A, czyli w szczególności b C. Oznacza to, że B C. Rozumując analogicznie pokazujemy, że C A. Wobec tego B A. Wówczas A B = B i mamy P(A) P(B) = P(A B) = P(B) = { } (bo B = ), wbrew założeniu. (e) Niech A = c i B < c. Wówczas A B = c, czyli A B R (warto też zauważyć, że warunek B < c można by zastąpić jeszcze słabszym warunkiem A B < c gdyby treść zadania na to pozwalała...). 2. (a) (i) ( X A)(X B ( Y C)(Y = X Y = )); (ii) A B B A A C C A B C C B. (b) Nie. Zauważmy, że jeśli x, y A B C C, to wprawdzie x A i y B, ale x / C lub y / C. Zatem jedno z zawierań A C, B C nie będzie zachodzić, ale niekoniecznie oba. Pozostaje podać kontrprzykład, np. A = {1}, B = {2}, C = {2, 3}. (c) Tak. Załóżmy, że A B C i A B =. Ponieważ A B = (A B) (A B), więc A B C. Ale wówczas tym bardziej B C. 21

(d) Nie. Warunki podane w zadaniu są równoważne i znaczą to samo: B C. Zatem kontrprzykład to np. B = N, C = {0}, f(n) = 0, g(0) = 0. 3. (a) (i) ( n N)( m A)(m n 2 m); (ii) A = B = C = A B = B C = A C = A B C = N. (b) Załóżmy nie wprost, że A = B. Bez zmniejszenia ogólności możemy przyjąć, że istnieje a A B. Ustalmy dowolne c C (możemy to zrobić, bo z założenia A B C = wynika, że C = ). Wówczas a, c A C, ale a, c / B C, czyli A C = B C, wbrew założeniu. Otrzymana sprzeczność kończy dowód. (c) Tak. Przypuśćmy nie wprost, że istnieje x C (B A). Wówczas w szczególności x C i x / A. Pierwszy warunek zapewnia nam, że x A C, a drugi że x / A B. Wobec tego A B = A C, sprzeczność. (d) Tak. Łatwo można pokazać, że D = ℵ 0. Ponieważ D = (D A) (D A), więc skoro zbiór D A jest skończony, to zbiór D A musi być nieskończony. Tym bardziej nieskończony jest zbiór A, jako nadzbiór zbioru D A. Ale wiemy, że A N, czyli (z tw. Cantora-Bernsteina) otrzymujemy A = ℵ 0. Wobec tego A D. 4. (a) (i) ( X A)(X = (X B X C)); (ii) A B = B C = A C =. (b) Tak. Mamy A = (A C) (A C) = (B C) (B C) = B. (c) Tak. Zgodnie z zasadą kontrapozycji wystarczy zauważyć, że jeśli A = B, to A C = B C. Ale to jest oczywiste. (d) Nie. Np. zbiory N i R są nieskończone, ale N R. 5. (a) (i) ( X {A, B, C})(X = ( Y {A, B, C})(Y = Y = X)), ale można też (A = B = C = ) (B = A = C = ) (C = A = B = ); (ii) B A C A. (b) Nie. Ponieważ zbiór A B, jeśli jest niepusty, to jest zbiorem par liczb rzeczywistych, więc nie może się wówczas zawierać w zbiorze C. Zatem A B =. Stąd jednak nie wynika, że A =, bo równie dobrze może być B =. Kontrprzykład: A = {1}, B =, C = {2}. 22

(c) Tak. Wiemy, że X Y Z wtedy i tylko wtedy, gdy X Y i X Z oraz że jeśli P(X) P(Y ), to X Y. Wobec tego jeśli P(C) P(A) P(B), to P(C) P(A) i P(C) P(B), skąd C A i C B. Zatem C A B, co kończy dowód. (d) Tak. Skoro A R, to rng(f A) rng(f) (bo wartości funkcji obciętej są też wartościami funkcji obcinanej). Ale z założenia mamy rng(f A) = R, więc tym bardziej rng(f) = R, czyli f jest surjekcją. 6. (a) (i) A B C; (ii) ( X, Y {A, B, C})(X Y Y X) lub (A B B A) (A C C A) (B C C B). (b) Przypuśćmy nie wprost, że zbiory A, B, C tworzą łańcuch. Gdyby zbiór A zawierał którykolwiek ze zborów B, C, to z założenia (i) wnioskujemy, że B B C lub C B C, skąd wynika B C =, co jest niemożliwe. Zatem A B i A C, skąd A B C, czyli A (B C) =. Ale z warunku (i) wiemy, że A B C. Wobec tego A =, wbrew założeniu. (c) Nie. Jeśli C =, to założenie jest spełnione, niezależnie od zbiorów A i B. Kontrprzykład: A = {1}, B = {2}, C =. (d) Nie. Pytamy się bowiem, czy jeśli zbiór A ma moc continuum i A B =, to zbiór A B ma moc continuum. Kontrprzykład: A = R, B = {0}. 7. (a) (i) ( m R)(( x B C)(m x) m A); (ii) (A B = ) (A C = ) (B C = ) (A B C = R). (b) Np. A = (, 0], B = (0, 1), C = [1, + ). (c) Nie. Z diagramu Venna można odczytać, że dobrym kontrprzykładem będą takie zbiory A, B, C, że (A C) B =, np. A = {1, 2}, B = {1}, C = {2}. (d) Tak. Z założenia wynika, że istnieje para x, y (A C) (C B), skąd x A C i y B C. To jednak za mało, by przekrój A B C musiał być niepusty. Przykład: A = {1}, B = {2}, C = {1, 2}. (e) Tak. Przypuśćmy bowiem nie wprost, że zbiór A jest nieskończony. Zauważmy, że wówczas zbiór A A również jest nieskończony, zatem nieskończony musi być też zbiór B. Istotnie, w przeciwnym przypadku zbiór B B byłby skończony, co oznacza, że zbiór (A A) (B B) byłby nieskończony. Ale (A A) (B B) 23