Professional Documents
Culture Documents
Úvod Do Štúdia Informatiky 4. Cvičenie
Úvod Do Štúdia Informatiky 4. Cvičenie
4. cvičenie
• Zadanie:
Nech pre kaž dé reá lne č ı́slo 𝑥 také , ž e 𝑥 ≥ 1, platı́ 𝐴 = (1 − , 𝑥). Urč te ⋃ ∈ 𝐴 a⋂ ∈ 𝐴 , ak platı́:
1 𝐼 = {1};
2 𝐼 = { };
3 𝐼 = {2, 5};
4 𝐼 = { , };
5 𝐼 = {1, 2, 3, 4, 5};
6 𝐼 = {1, … , 𝑛}, kde 𝑛 je kladné prirodzené č ı́slo.
7 𝐼=ℕ ;
8 𝐼 = {𝑦 ∈ ℝ ∶ 𝑦 ≥ 1}.
Riešenie:
Najprv nač rtnime niektoré z množ ı́n tohto systé mu:
3 • ⋃ ∈ 𝐴 = 𝐴 ∪ 𝐴 = ( , 2) ∪ ( , 5) = ( , 5).
• ⋂ ∈ 𝐴 = 𝐴 ∩ 𝐴 = ( , 2) ∩ ( , 5) = ( , 2).
4 • ⋃ ∈ 𝐴 = 𝐴 ∪ 𝐴 = (1 − , ) ∪ (1 − , ) = ( , ) ∪ ( , ) = ( , ).
• ⋂ ∈ 𝐴 = 𝐴 ∩ 𝐴 = (1 − , ) ∩ (1 − , ) = ( , ) ∩ ( , ) = ( , ).
• Zadanie:
Zistite, č i pre kaž dú neprá zdnu množ inu 𝐼 a systé my množ ı́n {𝐾 ∶ 𝑖 ∈ 𝐼} a {𝐿 ∶ 𝑖 ∈ 𝐼} platia inklú zie medzi
množ inami
𝐾 ∖ 𝐿 a (𝐾 ∖ 𝐿 ).
∈ ∈ ∈
Riešenie:
Najprv rozoberme prı́pad 𝐼 = {1, 2}:
• ⋂ ∈ 𝐾 ∖ ⋂ ∈ 𝐿 = (𝐾 ∩ 𝐾 ) ∖ (𝐿 ∩ 𝐿 ),
• ⋂ ∈ (𝐾 ∖ 𝐿 ) = (𝐾 ∖ 𝐿 ) ∩ (𝐾 ∖ 𝐿 ).
Obrá zky naznač ujú , ž e inklú zia ⋂ ∈ 𝐾 ∖ ⋂ ∈ 𝐿 ⊇ ⋂ ∈ (𝐾 ∖ 𝐿 ) bude platiť vž dy, ale opač ná nie. Doká ž eme
obe tvrdenia:
• Zadanie:
Zistite, č i pre kaž dé neprá zdne množ iny 𝐼 a 𝐽 a systé m množ ı́n {𝐾 , ∶ ⟨𝑖, 𝑗⟩ ∈ 𝐼 × 𝐽} platia inklú zie medzi
množ inami
𝐾, a 𝐾, .
∈ ∈ ∈ ∈
Riešenie:
Najprv rozoberme prı́pad 𝐼 = {1, 2} a 𝐽 = {3, 4}:
• ⋂ ∈{ , } ⋃ ∈{ , } 𝐾 , = ⋂ ∈{ , } (𝐾 , ∪ 𝐾 , ) = (𝐾 , ∪𝐾 , ) ∩ (𝐾 , ∪𝐾 , ),
• ⋃ ∈{ , } ⋂ ∈{ , } 𝐾 , =⋃ ∈{ , } (𝐾 , ∩ 𝐾 , ) = (𝐾 , ∩𝐾 , ) ∪ (𝐾 , ∩𝐾 , ).
( , ∪ , )∩( , ∪ , ) ( , ∩ , )∪( , ∩ , )
, , , ,
, ,
, ,
Obrá zky naznač ujú , ž e inklú zia ⋂ ∈ ⋃ ∈ 𝐾, ⊇⋃ ∈ ⋂ ∈ 𝐾 , asi bude platiť vž dy, ale opač ná nie. Doká ž eme
obe tvrdenia:
⊇ Pre ľubovoľné 𝑥 platı́:
𝑥∈⋃ ∈ ⋂∈ 𝐾, ,
akk (∃𝑗 ∈ 𝐽)𝑥 ∈ ⋂ ∈ 𝐾 ,
(de inı́cia zjednotenia systé mu množ ı́n),
akk (∃𝑗 ∈ 𝐽)(∀𝑖 ∈ 𝐼)𝑥 ∈ 𝐾 ,
(de inı́cia prieniku systé mu množ ı́n),
ztv (∀𝑖 ∈ 𝐼)(∃𝑗 ∈ 𝐽)𝑥 ∈ 𝐾 ,
(ak existuje univerzá lne 𝑗 vyhovujú ce vš etký m 𝑖 ∈ 𝐼, mô ž eme ho vziať pre kaž dé z nich;
(naopak toto tvrdenie neplatı́, univerzá lne 𝑗 nemusı́ existovať)),
akk (∀𝑖 ∈ 𝐼)𝑥 ∈ ⋃ ∈ 𝐾 ,
(de inı́cia zjednotenia systé mu množ ı́n),
akk 𝑥 ∈ ⋂ ∈ ⋃ ∈ 𝐾 ,
(de inı́cia prieniku systé mu množ ı́n).
Uká zali sme, ž e z 𝑥 ∈ ⋃ ∈ ⋂ ∈ 𝐾 , vyplý va 𝑥 ∈ ⋂ ∈ ⋃ ∈ 𝐾 , , č iž e inklú zia ⋂ ∈ ⋃ ∈ 𝐾 , ⊇ ⋃ ∈ ⋂∈ 𝐾,
platı́ vž dy.
⊈ Ná jdeme kontraprı́klad pomocou obrá zku:
( , ∪ , )∩( , ∪ , ) ( , ∩ , )∪( , ∩ , )
, , , ,
, ,
, ,
Zvoľme teda 𝐼 = {1, 2}, 𝐽 = {3, 4}, 𝐾 , = {1}, 𝐾 , = ∅, 𝐾 , = ∅, 𝐾 , = {1}. Potom platı́:
• ⋂ ∈{ , } ⋃ ∈{ , } 𝐾 , = (𝐾 , ∪𝐾 , ) ∩ (𝐾 , ∪𝐾 , ) = ({1} ∪ ∅) ∩ (∅ ∪ {1}) = {1} ∩ {1} = {1},
• ⋃ ∈{ , } ⋂ ∈{ , } 𝐾 , = (𝐾 , ∩𝐾 , ) ∪ (𝐾 , ∩𝐾 , ) = ({1} ∩ ∅) ∪ (∅ ∩ {1}) = ∅ ∪ ∅ = ∅.
Inklú zia ⋂ ∈ ⋃ ∈ 𝐾, ⊆⋃ ∈ ⋂ ∈ 𝐾 , teda neplatı́ vž dy.
Domáce úlohy
1 Ak 𝐼 je neprá zdna množ ina a pre kaž dé 𝑖 z 𝐼 sú 𝐾 a 𝐿 množ iny, rozhodnite, ktoré z inklú ziı́ medzi množ inami
𝐾 ∪ 𝐿 a (𝐾 ∪ 𝐿 )
∈ ∈ ∈
platia.
2 Ak 𝐼 je neprá zdna množ ina a pre kaž dé 𝑖 z 𝐼 sú 𝐾 a 𝐿 množ iny, rozhodnite, ktoré z inklú ziı́ medzi množ inami
𝐾 ∖ 𝐿 a (𝐾 ∖ 𝐿 )
∈ ∈ ∈
platia.
3 Ak 𝐼 a 𝐽 sú neprá zdne množ iny a pre kaž dé 𝑖 z 𝐼 je 𝐾 , množ ina, rozhodnite, ktoré z inklú ziı́ medzi množ inami
𝐾, a 𝐾,
∈ ∈ ∈ ∈
platia.