Vnitrosemestrální písemka — Základy matematiky, B, 4. 11. 2005
Jméno: UCO:
Hodnocení						
						
Na každý příklad získáte nezáporný počet bodů. Celkový součet bude zaokrouhlen na celé body. Maximum 20 bodů. Pro řešení použijte volné místo nebo druhou stranu. Na vypracování máte 90 min.
1. (2 body (za každou správnou odpověď 1/2, chybnou —1/2, bez odpovědi 0)) Odpovězte (škrtnutím nehodícího se ano nebo ne na patřičném řádku), zda jsou pravdivá následující tvrzení:
(a) ano - ne {0} U {{0}} = {0} n {{0}}
(b) ano — ne {{0}} G {0} x {{0}}
(c) ano - ne {0, {{0}}, {0, {0}}} C V {V {{<&}))
(d) ano — ne A® = B® pro libovolné neprázdné množiny A, B.
2. (5 bodů (za každou správnou odpověď 1/3, chybnou —1/3, bez odpovědi 0)) Do každého pole tabulky doplňte ano (resp. ne), jestliže daná relace p na množině všech kladných celých čísel N splňuje (resp. nesplňuje) příslušnou vlastnost.
a p b a p b a p b a p b a p b
2\a + b 2a < b \a-b\ > 1 a I b2
[a
b)2 = a2 + b2
reflexivní	symetrická	tranzitivní
		
		
		
		
		
3. (2 body) Určete kolik prvků má množina {A, A — B, 0}. (Pozor, odpovědi se liší v závislosti na množinách A a B.)
4. (2 body) Dokažte, že pro libovolné množiny A, B a C platí
CCA ==> (AnB)UC = An(BUC).
5. (2 body) Nechť je dána množina A, neprázdná množina I a systém množin {At\í 6 /}. Dokažte, že potom
Axf]Ai = f](AxAi).
6. (3 body) Necht A, B jsou neprázdné množiny a definujme zobrazení / : V (A) x V(B) —> V (A U B) x V {A n B) předpisem /((X, Y)) = {X U Y, Y n X). Rozhodněte, zda je zobrazení / injektivní. (Odpověď zdůvodněte.)
Rozhodněte, zda je zobrazení / surjektivní. (Odpoveď zdůvodněte.)
7. (4 body) Buď A = {1, 2, 3, 4}. Nalezněte: (Relace i zobrazení zadávejte výčtem prvků z množiny A x A.)
(a) dvojici relací R, S na množině A takových, že R C S, R ^ S, R je zobrazení a S je relace, která je tranzitivní a není reflexivní;
(b) injektivní zobrazení / : A —> A, které není symetrickou relací;
(c) symetrickou relaci R na množině A, která není zobrazením;
(d) relaci R na množině A takovou, že R o R = A x A, přičemž R ^ A x A.