1 / 82
Diskr´ etn´ı matematika
Petr Kov´aˇr petr.kovar@vsb.cz
Vysok´a ˇskola b´aˇnsk´a – Technick´a univerzita Ostrava
zimn´ı semestr 2021/2022
DiM 470-2301/01, 470-2301/03*, 470-2301/05
O tomto souboru
Tento soubor je zam´yˇslen pˇredevˇs´ım jako pom˚ucka pro pˇredn´aˇsej´ıc´ıho.
Radu d˚ˇ uleˇzit´ych informac´ı v souboru nenajdete, protoˇze pˇredn´aˇsej´ıc´ı je ˇr´ık´a, ukazuje, pˇr´ıpadnˇe maluje na tabuli. Pˇredn´aˇsky jsou na webu k dispozici, aby studenti mohli snadno dohledat prob´ıran´a t´emata z pˇredn´aˇsek, kter´e zameˇskali.
Pro samostatn´e studium doporuˇcuji skripta:
M. Kubesa: Z´aklady diskr´etn´ı matematiky, v´yukov´y text P. Kov´aˇr: ´Uvod do teorie graf˚u, v´yukov´y text
Pro pˇr´ıpravu ke zkouˇsce a p´ısemk´am doporuˇcuji cviˇcebnici:
P. Kov´aˇr: Cviˇcen´ı z diskr´etn´ı matematiky, sb´ırka pˇr´ıklad˚u Vˇse na http://homel.vsb.cz/~kov16/predmety dm.php
3 / 82
Pˇrehled pˇredn´aˇsky
Kapitola 0. Opakov´ an´ı
mnoˇziny, podmnoˇziny a operace s nimi princip inkluze a exkluze
relace
d˚ukazov´e techniky
Mnoˇziny a mnoˇzinov´e operace
Mnoˇzina
je soubor r˚uzn´ych (rozliˇsiteln´ych) objekt˚u. Obvykle znaˇc´ıme velk´ymi p´ısmeny A,B,X,M, . . .
Prvky mnoˇzin znaˇc´ıme mal´ymi p´ısmenya,b,x, . . . Pr´azdn´a mnoˇzina ∅ nikoli{∅}!
Mnoˇziny zad´av´ame
v´yˇctem prvk˚u (taxativnˇe): M ={a,b,c,d}, plat´ıa∈M,d ∈M, alee 6∈M
charakteristickou vlastnost´ı: N={x:x ∈N,x>5}.
Mohutnost mnoˇziny M
ud´av´a poˇcet prvk˚u v mnoˇzinˇe M, znaˇc´ıme |M|.
Podmnoˇzina
5 / 82
Mnoˇzinov´e operace
Sjednocen´ımnoˇzin A∪B={x :x∈Anebox ∈B} Pr˚unik mnoˇzin A∩B ={x:x ∈A a souˇcasnˇe x∈B}
Rozd´ıl mnoˇzin A\B ={x :x∈Aa souˇcasnˇe x 6∈B}
Symetrick´y rozd´ıl mnoˇzin A∆B= (A\B)∪(B\A) Pˇr´ıklady
A={a,b,c}, B ={c,d}
A∪B ={a,b,c,d}, A∩B={c}, A\B ={a,b}, A∆B ={a,b,d} Ot´azky
Najdete takov´e dvˇe mnoˇzinyA,B, ˇze A\B=B\A?
Najdete takov´e dvˇe r˚uzn´emnoˇziny A,B, ˇze A\B =B\A?
Rozˇs´ıˇren´e sjednocen´ı a pr˚unik mnoˇzin Rozˇs´ıˇren´e sjednocen´ı
n
[
i=1
Xi a pr˚unik
n
\
i=1
Xi mnoˇzin.
Mˇejme mnoˇzinuJ, lze pouˇz´ıt i [
j∈J
Xj a \
j∈J
Xj.
Pˇr´ıklady
Ai ={1,2, . . . ,i}
5
[
i=1
Ai ={1,2,3,4,5},
5
\
i=1
Ai ={1},
∞
\
i=1
Ai ={1}
Ot´azky Jak vypad´a \
j∈J
Aj proJ ={2,5}?
7 / 82
Kart´ezsk´y souˇcin a kart´ezsk´a mocnina
Kart´ezsk´y souˇcinmnoˇzin A×B ={(a,b) :a∈A, b ∈B}
je mnoˇzina vˇsech uspoˇr´adan´ych dvojic prvk˚u vybran´ych po sloˇzk´ach z mnoˇzin AaB v dan´em poˇrad´ı.
A1×A2× · · · ×An={(a1,a2, . . . ,an) :ai ∈Ai, i = 1,2, . . . ,n}
Pro A1 =A2=. . .=Andostaneme kart´ezskou mocninu An. Definujeme A0 ={∅},A1=A.
Pˇr´ıklad
A={a,b}, B={♣,♥,♠}
A×B={(a,♣),(a,♥),(a,♠),(b,♣),(b,♥),(b,♠)}
Typick´y pˇr´ıklad
Kart´ezsk´e souˇradnice (x,y) v R2=R×Ra (x,y,z) v R3=R×R×R.
A
B A×B a
b
♣ ♥ ♠
(a,♣) (b,♣)
(a,♥) (b,♥)
(a,♠) (b,♠)
Kart´ezsk´y souˇcinu mnoˇzin A×B ={a,b} × {♣,♥,♠}.
r b
g y
g r
b y
9 / 82
Potenˇcn´ı mnoˇzina
je mnoˇzina obsahuj´ıc´ı vˇsechny podmnoˇziny mnoˇziny A 2A ={X :X ⊆A}.
Mnoˇzinov´y syst´em nad A
nebo tak´e syst´em mnoˇzinnad Aje nˇejak´a mnoˇzina T ⊆2A. D´av´ame pˇrednost term´ınu
”syst´em mnoˇzin“ pˇred
”mnoˇzina mnoˇzin“.
Pˇr´ıklady
A={a,b} 2A ={∅,{a},{b},{a,b}}
2A
= 2|A|
Doplnˇek mnoˇziny na univerzu
Univerzumobsahuje vˇsechny moˇzn´e prvky.
Pro dan´e Aobsahuje doplnˇek Apr´avˇe ty prvky, kter´e nepatˇr´ı do A.
Ot´azky
B×A×B =?, A× ∅=?, ∅ × ∅=?, ∅0=?, ∅∅=?
Kter´e mnoˇzinov´e operace jsou komutativn´ı?
asociativn´ı?
Ot´azky
|A×B|=?, |2A|=? |A2|, |2A|<? |A2|, |2A|≤ |A? 2|
Ot´azky
Mnoˇzina S obsahuje vˇsechna sud´a ˇc´ısla.
Jak vypad´a S pro univerzumZ? Jak vypad´aS pro univerzum R?
11 / 82
C´ıseln´ˇ e obory a celoˇc´ıseln´y interval
Pˇrirozen´a a cel´a ˇc´ısla
pˇrirozen´a ˇc´ısla znaˇc´ıme N={1,2,3,4,5, . . .} neobsahuj´ıˇc´ıslo 0 pˇrirozen´a ˇc´ısla vˇcetnˇe nuly znaˇc´ıme N0 ={0,1,2,3,4,5, . . .}
cel´a ˇc´ısla znaˇc´ıme Z={. . . ,−3,−2,−1,0,1,2,3,4, . . .}
Interval cel´ych ˇc´ısel od a do b je mnoˇzina {a,a+ 1, . . . ,b−1,b}
znaˇc´ıme: [a,b] ={a,a+ 1, . . . ,b−1,b}
srovnejte s intervalem re´aln´ych ˇc´ısel (a,b) Pˇr´ıklady
[3,7] ={3,4,5,6,7} [−2,−2] ={−2}
[5,0] =∅ (pr´azdn´a mnoˇzina)
Princip inkluze a exkluze Naz´yv´an tak´e
”princip zapojen´ı a vypojen´ı“, nebo
”zahrnut´ı a vylouˇcen´ı“.
Pro mal´an jej ˇcasto intuitivnˇe pouˇz´ıv´ame:
Vˇeta
Poˇcet prvk˚u ve sjednocen´ı dvou mnoˇzin je:
|A∪B|=|A|+|B| − |A∩B|.
A B
Poˇcet prvk˚u ve sjednocen´ı tˇr´ı je:
|A∪B∪C|=|A|+|B|+|C| − |A∩B| − |B∩C| − |A∩C|+|A∩B∩C|.
C
13 / 82
Obecn´y tvar principu inkluze a exkluze Poˇcet prvk˚u ve sjednocen´ın mnoˇzin je:
n
[
i=1
Ai
= X
J⊆{1,...,n}
J6=∅
(−1)|J|−1·
\
i∈J
Ai .
Abychom zjistili, kolik prvk˚u m´a sjednocen´ı seˇcteme velikosti jednotliv´ych mnoˇzin, odeˇcteme velikosti pr˚unik˚u vˇsech dvojic, pˇriˇcteme velikosti pr˚unik˚u vˇsech trojic, odeˇcteme velikosti pr˚unik˚u vˇsech ˇctveˇric, . . .
Velikost sjednocen´ı tˇr´ı mnoˇzin
Napˇr´ıklad pro n= 3 dost´av´ame
3
[
i=1
Ai
= X
J⊆{1,2,3}
J6=∅
(−1)|J|−1·
\
i∈J
Ai
=
= |A1|+|A2|+|A3| −
− |A1∩A2| − |A1∩A3| − |A2∩A3|+ +|A1∩A2∩A3|.
A1 A2
A3
15 / 82
Velikost sjednocen´ı ˇctyˇr mnoˇzin pro n= 4 dost´av´ame
4
[
i=1
Ai
= X
J⊆{1,2,3,4}
J6=∅
(−1)|J|−1·
\
i∈J
Ai
=
= |A1|+|A2|+|A3|+|A4| −
− |A1∩A2| − |A1∩A3| − |A2∩A3| − |A1∩A4| − |A2∩A4| − |A3∩A4|+ + |A1∩A2∩A3|+|A1∩A2∩A4|+|A1∩A3∩A4|+|A2∩A3∩A4| −
− |A1∩A2∩A3∩A4|.
A1 A2
A3
A4
Speci´aln´ı tvar principu inkluze a exkluze
Jednoduˇsˇs´ı tvar (s m´enˇe sˇc´ıtanci), maj´ı-li mnoˇziny a pr˚uniky i mnoˇzin stejn´e velikosti:
n
[
i=1
Ai
=
n
X
k=1
(−1)k−1· n
k
·
k
\
j=1
Aj
.
Abychom zjistili, kolik prvk˚u m´a sjednocen´ı poˇcet jednoprvkov´ych mnoˇzin mnoˇzin,
odeˇcteme poˇcet dvouprvkov´ych pr˚unik˚u ×velikost pr˚unik˚u dvojic, pˇriˇcteme poˇcet tˇr´ıprvkov´ych pr˚unik˚u ×velikost pr˚unik˚u trojic, odeˇcteme poˇcet ˇctyˇrprvkov´ych pr˚unik˚u ×velikost pr˚unik˚u ˇctveˇric, . . .
17 / 82
Velikost sjednocen´ı tˇr´ı mnoˇzin maj´ı-li mnoˇziny i pr˚uniky mnoˇzin stejn´e velikosti
Pro n= 3 dost´av´ame
3
[
i=1
Ai
=
3
X
k=1
(−1)k−1· 3
k
·
k
\
j=1
Aj
=
= 3
1
· |A1| − 3
2
· |A1∩A2|+ 3
3
· |A1∩A2∩A3|.
A1 A2
A3
Velikost sjednocen´ı ˇctyˇr mnoˇzin maj´ı-li mnoˇziny i pr˚uniky mnoˇzin stejn´e velikosti
Pro n= 4 dost´av´ame
4
[
i=1
Ai
=
n
X
k=1
(−1)k−1· n
k
·
k
\
j=1
Aj
=
= 4
1
· |A1| − 4
2
· |A1∩A2|+ +
4 3
· |A1∩A2∩A3| − 4
4
|A1∩A2∩A3∩A4|.
A1 A2
A3
19 / 82
Venn˚uv diagram pro sedm mnoˇzin – Adelaide
Pˇr´ıklad
Ve tˇr´ıdˇe je 25 ˇz´ak˚u. 17 z nich se uˇc´ı anglicky a 10 nˇemecky. 4 se uˇc´ı anglicky a nˇemecky, 4 anglicky a francouzsky, 2 nˇemecky a francouzsky a jeden studuje vˇsechny tˇri jazyky. Kolik student˚u se uˇc´ı jen francouzsky?
Mnoˇziny oznaˇc´ıme A,N aF. Zap´ıˇseme si
|A|= 17, |N|= 10, |A∩N|=|A∩F|= 4, |N∩F|= 2, |A∩N∩F|= 1 Z rovnice
|A∪N∪F|=|A|+|N|+|F| − |A∩N| − |N∩F| − |A∩F|+|A∩N∩F| dostaneme
|F|=|A∪N∪F| − |A| − |N|+|A∩N|+|N∩F|+|A∩F| − |A∩N∩F|
|F|= 25−17−10 + 4 + 4 + 2−1 = 7.
F
21 / 82
Pˇr´ıklad (pokraˇcov´an´ı)
Ale nˇekteˇr´ı z tˇechto 7 student˚u se uˇc´ı i jin´e jazyky!
A N
F
Jen francouzsky
x =|F| − |A∩F| − |N∩F|+|A∩N∩F| x = 7−4−2 + 1 = 2 ˇz´aci.
Jen francouzsky se uˇc´ı 2 ˇz´aci.
0.3. Relace a zobrazen´ı
Pˇri studiu diskr´etn´ı matematiky nevystaˇc´ıme s naivn´ım pˇr´ıstupem
k pojm˚um funkce,uspoˇr´ad´an´ınebo b´yt ekvivalentn´ı, je potˇreba tyto pojmy korektnˇe definovat. Vˇsechny vych´azej´ı ze spoleˇcn´eho z´akladu – relace.
V´yznam pojm˚u ekvivalence afunkce pˇrekraˇcuje r´amec pˇredmˇetu Diskr´etn´ı matematiky.
Pˇrehled
pojem relace
uspoˇr´ad´an´ı a ekvivalence funkce a zobrazen´ı skl´ad´an´ı zobrazen´ı princip inkluze a exkluze
23 / 82
0.3.1. Bin´arn´ı an-´arn´ı relace (na mnoˇzinˇe a mezi mnoˇzinami) Pˇripomeˇnme:Kart´ezsk´y souˇcinmnoˇzin A×B ={(a,b) :a∈A,b∈B}
je mnoˇzina vˇsech uspoˇr´adan´ych dvojic prvk˚u vybran´ych po sloˇzk´ach z mnoˇzin AaB (v dan´em poˇrad´ı).
Definice
(Heterogenn´ı) bin´arn´ı relace R mezi mnoˇzinami A,B je libovoln´e podmnoˇzina kart´ezsk´eho souˇcinu A×B, tj.
R ⊆A×B.
R´ık´ˇ ame, ˇze
”prvek x ∈A je v relaci sy ∈B“ (v tomto poˇrad´ı).
P´ıˇseme (x,y)∈R nebo (x,y)∈/R, ˇcasto jen xRy.
(napˇr. x =y,x <y m´ısto (x,y)∈=, (x,y)∈<) Definice – obecnˇejˇs´ı
(Heterogenn´ı) n-´arn´ı relace S mezi mnoˇzinami A1,A2, . . . ,An je libovoln´e podmnoˇzina kart´ezsk´eho souˇcinu A1×A2× · · · ×An, tj.
S ⊆A1×A2× · · · ×An.
A
B A×B x
y z
a b c d
(x, a) (y, a) (z, a)
(x, b) (y, b) (z, b)
(x, c) (y, c) (z, c)
(x, d) (y, d) (z, d)
Kart´ezsk´y souˇcinu mnoˇzin A×B ={x,y,z} × {a,b,c,d}.
25 / 82
Pˇr´ıklad
Z´aznam v datab´azi odpov´ıd´a jednomu prvku relace. Napˇr´ıklad v´ysledek zkouˇsky v Edisonu:
(jm´eno, osobn´ı ˇc´ıslo, datum, bodov´e hodnocen´ı) Prvek souˇcinuJmeno×OsCis×Datum×Body
V datab´azi m˚uˇzeme vyhledat vˇsechny z´aznamy s pˇredepsan´ymi vlastnostmi:
studenti, kteˇr´ı vykonali zkouˇsku ve zvolen´y den, studenti, kteˇr´ı pˇriˇsli na zkouˇsku spoleˇcnˇe, bodov´e v´ysledky v dan´em term´ınu, . . .
V´ysledek m˚uˇze urˇcovat vztah (relaci) mezi prvkystejn´emnoˇziny souˇcinu:
vztah (relaci) mezi studenty, relaci mezi body za p´ısemku.
Definice
(Homogenn´ı) bin´arn´ı relaceR na mnoˇzinˇeA je libovoln´e podmnoˇzina kart´ezsk´eho souˇcinuA×A=A2, tj.
R⊆A2.
Definice
(Homogenn´ı) n-´arn´ı relace S na mnoˇzinˇe Aje libovoln´e podmnoˇzina kart´ezsk´e mocniny A×A× · · · ×A=An, tj.
S ⊆An.
Pˇr´ıklad
Relace mezi studenty, kteˇr´ı z´ıskali stejnou zn´amku z DiM.
Relace mezi dvojicemi student˚u, kdo m´a vyˇsˇs´ı sk´ore z p´ısemky.
Relace mezi dokumenty s podobn´ymi pojmy (plagi´aty). . .
27 / 82
Definice
(Bin´arn´ı) relaceR na mnoˇzinˇeA je
reflexivn´ıpokud (x,x)∈R pro vˇsechna x∈A,
symetrick´apokud (x,y)∈R ⇔(y,x)∈R pro vˇsechna x,y ∈A, antisymetrick´apokud (x,y),(y,x)∈R⇒x =y pro vˇsechna x,y ∈A,
tranzitivn´ıpokud (x,y),(y,z)∈R ⇒(x,z)∈R pro vˇsechna x,y,z ∈A.
line´arn´ı(´upln´a) pokud (x,y)∈R nebo (y,x)∈R pro kaˇzd´ex,y ∈A Pˇr´ıklady
relace rovnosti
”=“ je reflexivn´ı, tranzitivn´ı, symetrick´a i antisymetrick´a
relace menˇs´ı
”<“ je tranzitivn´ı a antisymetrick´a,
”≤“ je i reflexivn´ı relace dˇelitelnosti
”|“ naN(i N0) je reflexivn´ı, tranzitivn´ı a antisymetrick´a
relace
”b´yt pˇr´ıbuzn´y“ je jistˇe symetrick´a, tranzitivn´ı a reflexivn´ı relace
”podˇr´ızen´y/nadˇr´ızen´y“ je antisymetrick´a a tranzitivn´ı relace
”dorozumˇen´ı se“ je obvykle symetrick´a, nemus´ı b´yt tranzitivn´ı
0.3.2. Relace ekvivalence Definice
Ekvivalence na mnoˇzinˇeA jereflexivn´ı, symetrick´a a tranzitivn´ıbin´arn´ı relace na mnoˇzinˇe A. Znaˇc´ıme '.
Definice
Mˇejme relaci ekvivalence'na mnoˇzinˇe A.Tˇr´ıdou ekvivalence prvkux (znaˇc´ıme ['x]) rozum´ıme podmnoˇzinu ['x] ={z ∈A:z 'x}.
['a]
['b]
['c]
['d]
Relace ekvivalence vyjadˇruje vztah
”m´ıt stejnou vlastnost“.
Pˇr´ıklady
relace kongruence(m´ıt stejn´y zbytek po dˇelen´ı ˇc´ıslemn); znaˇc´ı se ≡
29 / 82
Definice rozkladu mnoˇziny Y
R´ık´ˇ ame, ˇze podmnoˇziny X1,X2, . . . ,Xm mnoˇzinyY tvoˇr´ırozkladY, jestliˇze
X1,X2, . . . ,Xm jsou po dvou disjunktn´ı: Xi∩Xj =∅pro ∀i 6=j jejich sjednocen´ı je ´upln´e: X1∪X2∪ · · · ∪Xm =Y
Ot´azky
pˇr´ıklad rozkladu, kter´y m´a koneˇcnˇe mnoho nekoneˇcn´ych tˇr´ıd rozkladu pˇr´ıklad rozkladu, kter´y m´a nekoneˇcnˇe mnoho tˇr´ıd rozkladu
pˇr´ıklad rozkladu, kter´y m´a nekoneˇcnˇe mnoho nekoneˇcn´ych tˇr´ıd rozkladu
Mezi relac´ı ekvivalence na mnoˇzinˇe Aa rozkladem mnoˇziny Aje ´uzk´y vztah:
Vˇeta
R˚uzn´e tˇr´ıdy ekvivalence' na mnoˇzinˇe Atvoˇr´ı rozklad A.
Plat´ı i opaˇcn´e tvrzen´ı: rozklad mnoˇziny A urˇcuje relaci ekvivalence na A.
Vˇeta
R˚uzn´e tˇr´ıdy ekvivalence' na mnoˇzinˇe Atvoˇr´ı rozklad A.
D˚ukaz Vˇsimneme si, ˇze pro kaˇzdou dvojici a'b se tˇr´ıdy ekvivalence rovnaj´ı ['a] = ['b] i kdyˇz maj´ı jin´e oznaˇcen´ı, nebot’ pro kaˇzd´e x∈['a]
jex 'a, z tranzitivityx 'b a tedy x∈['b]. D´ale ovˇeˇr´ıme:
S
x∈A['x] =A
Je zˇrejm´e z reflexivity relace', nebot’x∈['x].
['x]∩['y] =∅ pro kaˇzd´ex 6'y
Uk´aˇzeme nepˇr´ımo, tj. ['x]∩['y]6=∅, potom ['x] = ['y].
Mˇejme u∈['x]∩['y]. Pak podle definice tˇr´ıdy rozkladu jeu'x a u 'y, coˇz z tranzitivity a symetrie d´av´ax 'y. To ale znamen´a, ˇze kaˇzd´y prvek u ∈['x] je tak´e v ['y] a naopak, tj. ['x] = ['y].
Pˇr´ıklady
rozklad mnoˇziny pˇrirozen´ych ˇc´ısel podle relace kongruence pˇri dˇelen´ın rozklad mnoˇziny student˚u podle relace m´ıt stejnou zn´amku z DIM“
31 / 82
0.3.3. Relace ˇc´asteˇcn´eho uspoˇr´ad´an´ı
Uspoˇr´ad´an´ı a ekvivalence jsou nejbˇeˇznˇejˇs´ı typy relac´ı.
Definice
C´ˇasteˇcn´e uspoˇr´ad´an´ıjereflexivn´ı, antisymetrick´a a tranzitivn´ıbin´arn´ı relace na mnoˇzinˇe A. Mnoˇzina s relac´ıse naz´yv´aposet.
Slovoˇc´asteˇcn´e zd˚urazˇnuje, ˇze se nemus´ı jednat o´uplnou relaci naA, tj. ne kaˇzd´a dvojice prvk˚u mus´ı b´yt v relacixRy nebo yRx.
C´ˇasteˇcn´e uspoˇr´ad´an´ı m˚uˇzeme zn´azornit pomoc´ıhasseovsk´eho diagramu je-lix y, bude prveky zakreslen v´yˇs neˇz prvek x,
prvkyx ay spoj´ıme ˇc´arkou, jestliˇze xy; vynech´ame vˇsechny spojnice, kter´e vyplynou z tranzitivity.
1
2 3
4
5 6
7 8
9 10
1 2
3
4 5
6
Pˇr´ıklady
relace inkluze⊆(b´yt podmnoˇzinou). Dvˇe mnoˇziny mohou snadno b´yt neporovnateln´e inkluz´ı, tˇreba{1,2} a{1,3,4}.
relace dˇelitelnosti |naN (pˇredchoz´ı obr´azek)
rozehran´y turnaj po prvn´ım kole — nˇekter´e t´ymy spolu jeˇstˇe nehr´aly, nev´ıme kdo je
”lepˇs´ı“
Definice
Je-li ab, ˇr´ık´ame, ˇzea jemenˇs´ıneˇz prvekb v ˇc´asteˇcn´em uspoˇr´ad´an´ı. D´ale prvky a,b jsouneporovnateln´e, jestliˇze nen´ı aniab, anib a.
R´ık´ˇ ame, ˇze posloupnosta1,a2, . . . ,an tvoˇr´ıˇretˇezec v ˇc´asteˇcn´em uspoˇr´ad´an´ı, jestliˇze a1a2 · · · an.
Prvek mnazvememaxim´aln´ıv ˇc´asteˇcn´em uspoˇr´ad´an´ımnoˇzinyA, jestliˇze neexistuje prvek x∈Avˇetˇs´ı neˇz m, tj. ∀x∈A:mx ⇒x=m.
Prvek mje nejvˇetˇs´ıv ˇc´asteˇcn´em uspoˇr´ad´an´ı mnoˇziny A, pokud je kaˇzd´y
33 / 82
Pˇr´ıklady
1 je nejmenˇs´ı pˇrirozen´e ˇc´ıslo (bez nuly) v uspoˇr´ad´an´ı podle velikosti mnoˇzina {2,3,4,5,6}uspoˇr´adan´a dˇelitelnost´ı nem´a nejmenˇs´ı prvek, minim´aln´ı prvky jsou 2, 3, a 5; prvky 4 ani 6 nejsou minim´aln´ı prvky, protoˇze 2|4 a 2|6, (tj.
”2 je menˇs´ı neˇz 4 a 6“)
pˇrirozen´a ˇc´ısla nemaj´ı nejvˇetˇs´ı ani maxim´aln´ı prvek v klasick´em uspoˇr´ad´an´ı podle velikosti
kladn´a racion´aln´ı ˇc´ısla nemaj´ı nejmenˇs´ı ani minim´aln´ı prvek nez´aporn´a racion´aln´ı ˇc´ısla maj´ı nejmenˇs´ı prvek 0 (je i minim´aln´ı) C´ˇasteˇcn´e uspoˇr´ad´an´ıse naz´yv´aline´arn´ı uspoˇr´ad´an´ı na mnoˇzinˇe A (zkr´acenˇe uspoˇr´ad´an´ı naA), pokud nem´a neporovnateln´e prvky.
M´ame-li uspoˇr´ad´an´ı na A, tak m˚uˇzeme prvky Auspoˇr´adat do jednoho ˇretˇezce.
Pˇr´ıklady
klasick´e uspoˇr´ad´an´ı cel´ych, racion´aln´ıch ˇci re´aln´ych ˇc´ısel podle velikosti
abecedn´ı (lexikografick´e) uspoˇr´ad´an´ı slov – vˇzdy um´ıme rozhodnout
Pˇr´ıklad
Z´avodu se ´uˇcastnila ˇctyˇri auta: ˇcerven´e, modr´e, zelen´e a fialov´e.
Cerven´ˇ e auto pˇrijelo do c´ıle dˇr´ıve neˇz fialov´e. Zelen´e auto pˇrijelo dˇr´ıve neˇz ˇ
cerven´e. Fialov´e auto pˇrijelo dˇr´ıve neˇz modr´e. Zelen´e auto pˇrijelo dˇr´ıve neˇz fialov´e. Kter´e auto pˇrijelo posledn´ı?
Zavedeme relaci na mnoˇzinˇe aut. Auto x je v relaci s autemy (v tomto poˇrad´ı), pokud auto x pˇrijelo pozdˇeji neˇz autoy.
Jedn´a se o relaci ˇc´asteˇcn´eho uspoˇr´ad´an´ı: je tranzitivn´ı a antisymetrick´a, ale nen´ı reflexivn´ı. Bez ´ujmy na platnosti ˇreˇsen´ı m˚uˇzeme doplnit relaci o trivi´aln´ı dvojice
”auto x dorazilo dˇr´ıve nebo souˇcasnˇe jako autoy“.
M˚uˇzeme nakreslit hasseovsk´y diagram, ve kter´em jsou auta, kter´e pˇrijela dˇr´ıve, zakreslena v´yˇse. Z
C
35 / 82
0.3.4. Zobrazen´ı (funkce)
Definice
Mˇejme bin´arn´ı relacif ⊆A×B, pro kterou plat´ı, ˇze ke kaˇzd´emux ∈A existuje pr´avˇe jedna uspoˇr´adan´a dvojice (x,y)∈f, kdey ∈B. Potom relaci f naz´yv´ame zobrazen´ımnoˇziny Ado mnoˇzinyB; zapisujeme f :A→B.
Zobrazen´ı mnoˇzinyA do mnoˇziny B v DiM ˇr´ık´amefunkce.
Druh´y (jedin´y) prvek dvojice zapisujeme jednoduˇse jako y =f(x) m´ısto (x,y)∈f.
Pozn´amka
Obvykle je pojem funkce ch´ap´an jako speci´aln´ı pˇr´ıpad zobrazen´ı, kdy A,B⊆R(pˇr´ıpadnˇe C). V tomto kurzu budeme pojmyfunkce azobrazen´ı povaˇzovat za synonyma.
Pˇr´ıklady
v anal´yzef :R→R, pˇr´ıpadnˇe funkce v´ıce promˇenn´ychf :R×R→R zobrazen´ıf :A→B, kter´e pointer˚umA pˇriˇrazuje pamˇet’ov´e adresyB
Nˇekter´e vlastnosti zobrazen´ı jsou natolik v´yznamn´e, ˇze maj´ı jm´ena:
Definice
Funkce f :A→B se naz´yv´a
prost´a (injektivn´ı) jestliˇze r˚uzn´e prvky z Ase zobraz´ı na r˚uzn´e prvky B tj.x 6=y ⇒f(x)6=f(y), tot´eˇz jakof(x) =f(y)⇒x =y
na (surjektivn´ı) jestliˇze na kaˇzd´y prvek B se zobraz´ı nˇejak´y prvek A tj.∀y ∈B existuje x ∈Atak, ˇze f(x) =y
vz´ajemnˇe jednoznaˇcn´a (bijektivn´ı) je-lif
”prost´a“ i
”na“
A B A B A B
Pˇr´ıklady
je-lif :R→R, takf(x) =x2 nen´ı ani prost´a ani na
37 / 82
V pˇredmˇetu UTI budete rozliˇsovat:
tot´aln´ı funkci
Bin´arn´ı relaci f ⊆A×B, pro kterou plat´ı, ˇze ke kaˇzd´emux∈A existuje pr´avˇe jedna uspoˇr´adan´a dvojice (x,y)∈f, kdey ∈B. parci´aln´ı funkci
Bin´arn´ı relaci f ⊆A×B, pro kterou plat´ı, k ˇz´adn´emux ∈A neexistujenejv´yˇse jedna uspoˇr´adan´a dvojice (x,y)∈f, kdey ∈B.
A B A B A B
Zobrazen´ı a funkce zaveden´e na pˇredchoz´ıch slidech odpov´ıdaj´ı tot´aln´ı funkci. Parci´aln´ı funkce nen´ı
”funkce“ ve smyslu pˇredchoz´ı definice.
Pozor: Bijektivn´ı zobrazen´ı definov´ano pouze pro tot´aln´ı zobrazen´ı, nestaˇc´ı injektivn´ı a surjektivn´ı zobrazen´ı.
Skl´ad´an´ı zobrazen´ı
Definice skl´ad´an´ı zobrazen´ı
Mˇejme dvˇe zobrazen´ı (funkce) f :A→B a g :B →C. Jejich sloˇzen´ımrozum´ıme zobrazen´ı (g◦f) :A→C (ˇcti
”g pof“) definovan´e vztahem
(g◦f)(x) =g(f(x)).
Ve sloˇzen´em zobrazen´ı (g◦f) :A→C pˇriˇrad´ı nejdˇr´ıve zobrazen´ıf vzoru x ∈A jeho obraz f(x)∈B a pak zobrazen´ıg pˇriˇrad´ı vzoruf(x)∈B jeho obraz g(f(x))∈C.
Pozn´amka
Vˇsimnˇete si: mnoˇzina obraz˚u prvn´ıho zobrazen´ıf mus´ı b´yt podmnoˇzinou mnoˇziny vzor˚u druh´eho zobrazen´ıg.
39 / 82
Isomorfismus
Casto se setk´ˇ av´ame s diskr´etn´ımi strukturami, kter´e jsou sice jinak pojmenovan´e, jinak znaˇcen´e i jinak definovan´e, ale ve sv´e podstatˇe jsou analogick´e. Prvky jedn´e lze pˇrev´est bijekc´ına prvky druh´e, pˇriˇcemˇz
”vlastnosti“ se zachovaj´ı. Tuto vlastnost vyjadˇrujeme slovem b´ytisomorfn´ı. Pˇr´ıklady
potenˇcn´ı mnoˇzina mnoˇziny{a,b} s relac´ı
”b´yt podmnoˇzinou“ je isomorfn´ı mnoˇzinˇe{1,2,3,6} s relac´ı dˇelitelnosti
mnoˇzina {1,2, . . . ,n} m´a stejnˇe mnoho podmnoˇzin jako mnoˇzina {n+ 1,n+ 2, . . . ,2n}; mezi prvky existuje snadn´a bijekceb(i) =i+n;
tak´e ˇc´asteˇcn´a uspoˇr´ad´an´ı tˇechto syst´em˚u podmnoˇzin inkluz´ı jsou si isomorfn´ı pˇres rozˇs´ıˇrenou bijekcib∗(X) ={i+n:i ∈X}
relace dˇelitelnosti na mnoˇzinˇe {1,2,3,4,6,9,12,18,36}je isomorfn´ı s dˇelitelnost´ı na mnoˇzinˇe{1,2,4,5,10,20,25,50,100}; bijekcip v prvoˇc´ıseln´em rozkladu nahrad´ı prvoˇc´ıslo 3 prvoˇc´ıslem 5, tj.p(1) = 1, p(3) = 5, p(6) = 10, p(9) = 25, . . .
Mˇejme (A, ρ), (B, σ). (A, ρ)'(B, σ) jestliˇze existuje bijekce f :A→B kde xρy ⇔f(x)σf(y)
0.3.5. Bijekce koneˇcn´e mnoˇziny, permutace
Permutaci (bez opakov´an´ı) na mnoˇzinˇe Alze ch´apat jako bijektivn´ı zobrazen´ıπ :A→A.
Mˇejme mnoˇzinuA= [1,n].
Permutace na A je urˇcena poˇrad´ım prvk˚u (p1,p2, . . . ,pn). Zobrazen´ıπ definujeme pˇredpisem π(i) =pi.
Pˇr´ıklady
Permutace zapisujeme napˇr´ıklad
π=
1 2 3 4 5 6
3 1 5 4 2 6
, σ=
1 2 3 4 5 6
2 5 4 3 1 6
.
Nyn´ı m˚uˇzeme permutace skl´adat
σ◦π=
1 2 3 4 5 6
4 2 1 3 5 6
, π◦σ =
1 2 3 4 5 6
1 2 4 5 3 6
.
41 / 82
Pozn´amky
Vˇsechny permutace mnoˇziny [1,n] spolu s operac´ı skl´ad´an´ı tvoˇr´ı grupu, kter´e ˇr´ık´ame symetrick´anebopermutaˇcn´ı grupa. Znaˇc´ı se Sn. Kaˇzd´a grupa je isomorfn´ı nˇekter´e grupˇe (podgrupˇe) permutac´ı.
Pozor!Pouˇz´ıvaj´ı se i jin´a znaˇcen´ı pro skl´ad´an´ı permutac´ı.
Pˇri z´apisu permutace vynech´av´ame (uspoˇr´adan´y) prvn´ı ˇr´adek 1,2, . . . ,n.
Zavedeme si jin´y v praxi pouˇz´ıvan´y z´apis permutac´ı, pomoc´ı jejichcykl˚u.
Definice
Necht’ π je permutace na mnoˇzinˇe A.Cyklem permutace π rozum´ıme takovou posloupnost (a1,a2, . . . ,ak) r˚uzn´ych prvk˚u A, ˇze
π(ai) =ai+1 proi = 1,2, . . . ,k−1 a π(ak) =a1. Pˇr´ıklady
π =
1 2 3 4 5 6
3 1 5 4 2 6
zap´ıˇseme jakoπ = (1,3,5,2)(4)(6)
σ =
1 2 3 4 5 6
2 5 4 3 1 6
zap´ıˇseme jakoσ = (1,2,5)(3,4)(6)
Z´apis permutace pomoc´ı cykl˚u
Nen´ı d˚uleˇzit´e, kter´ym prvkem z´apis permutace zaˇc´ın´ame, avˇsak obvykle se snaˇz´ıme zaˇc´ınat
”od nejmenˇs´ıho“ prvku.
Vˇeta
Kaˇzdou permutaci koneˇcn´e mnoˇziny Alze zapsat jako sloˇzen´ı cykl˚u na disjunktn´ıch podmnoˇzin´achA.
D˚ukaz Vezmeme libovoln´y (napˇr. nejmenˇs´ı) prvek a1∈Aa iterujeme zobrazen´ıa2 =π(a1), a3=π(a2) atd., aˇz dostaneme a1 (postup je koneˇcn´y, protoˇze Aje koneˇcn´a). Tak z´ısk´ame prvn´ı cyklus (a1, . . . ,ak).
Pokraˇcujeme v sestavov´an´ı cykl˚u ve zbyl´e mnoˇzinˇe A\ {a1, . . . ,ak} (napˇr.
od nejmenˇs´ıho prvku), dokud prvky Anevyˇcerp´ame.
nev´yhodou z´apisu permutac´ı pomoc´ı cykl˚u je sloˇzitˇejˇs´ı skl´ad´an´ı v´yhodou z´apisu permutac´ı pomoc´ı cykl˚u je snadn´e urˇcen´ıˇr´adu (d´elky) permutace, tj. poˇctu kolikr´at sloˇz´ıme permutaci samu se sebou,
43 / 82
Definice
Necht’ n∈N. Pakn-tou mocninu permutaceπ budeme definovat rekurentnˇe:
π1 =π pron= 1 aπn=πn−1◦π=π◦πn−1 pron>1.
Definice
Mˇejme nejmenˇs´ı moˇzn´e k ∈N takov´e, ˇze πk =id, kdeπ je nˇejak´a permutace. Potom ˇc´ıslok naz´yv´ameˇr´ad permutaceπ.
Pˇr´ıklad
Permutaceτ =
1 2 3 4 5
3 1 2 5 4
m´a ˇr´ad 6.
Snadno ovˇeˇr´ıme τ◦τ ◦τ ◦τ ◦τ ◦τ =ida menˇs´ı poˇcet sloˇzen´ı ned´a identick´e zobrazen´ı.
Vˇeta
R´ˇad permutace je nejmenˇs´ım spoleˇcn´ym n´asobkem d´elek jednotliv´ych disjunktn´ıch cykl˚u v cyklick´em z´apisu permutace.
Pˇr´ıklad
Skl´ad´an´ı permutac´ı zadan´ych pomoc´ı cykl˚u M´ame d´any permutace
π=
1 2 3 4 5 6
3 1 5 4 2 6
= (1,3,5,2)(4)(6),
σ=
1 2 3 4 5 6
2 5 4 3 1 6
= (1,2,5)(3,4)(6).
V´ıme
σ◦π=
1 2 3 4 5 6
4 2 1 3 5 6
, π◦σ =
1 2 3 4 5 6
1 2 4 5 3 6
. Sloˇz´ıme permutace jako cykly:
σ◦π= (1,2,5)(3,4)(6)◦(1,3,5,2)(4)(6) = (1,4,3)(2)(5)(6).
45 / 82
Pˇr´ıklad
M´ame automat na m´ıch´an´ın karet.
Pokaˇzd´e provede stejnou permutaci mnoˇziny karet{1,2, . . . ,n}.
pouˇzijeme-lik-kr´at (k je ˇr´ad permutace), seˇrazen´ı bude jako pˇred m´ıch´an´ım
lze uk´azat, ˇze jedn´ım strojem nem˚uˇzeme pron >2 z´ıskat vˇsechny permutace (vˇsechna rozm´ıch´an´ı)
Pˇr´ıklad
Elegantn´ı zd˚uvodnˇen´ı, ˇze nen´ı moˇzno vyˇreˇsit hlavolam Loydova patn´actka s vyuˇzit´ım permutac´ı.
Pˇr´ıklad
Nˇemeck´y ˇsifrovac´ı stroj Enigma byl rozluˇstˇen spojenci. Kl´ıˇcov´ym krokem byla anal´yza, kterou v roce 1932 udˇelal Polsk´y matematik Marian Rejewski rozborem grupy permutac´ı. Byl schopen odhalit spoje jednotliv´ych kotouˇc˚u aniˇz stroj kdy vidˇel.
Pˇr´ıklad
Deˇsifrovac´ı kl´ıˇc pro n´apovˇedu ve hˇre geocaching je pops´an sch´ematem A|B|C|D|E|F|G|H|I|J|K|L|M
--- N|O|P|Q|R|S|T|U|V|W|X|Y|Z
47 / 82
Pˇr´ıklad
Gener´ator n´ahodn´ych ˇc´ısel v programovac´ıch jazyc´ıch obvykle nen´ı n´ahodn´y, ale d´av´a prvky permutace s velk´ym ˇr´adem.
Na prvn´ı pohled nen´ı zˇrejm´e, protoˇze obvykle vypisujeme ˇc´ısla zaokrouhlen´a z pˇredepsan´e mnoˇziny ˇc´ısel.
Ot´azky
Jak´y je rozd´ıl mezi bijekc´ı a surjekc´ı?
Jak uk´aˇzete, ˇze jsou mnoˇziny stejnˇe velk´e?
Jak uk´aˇzete, ˇze jsou mnoˇziny s operac´ı stejn´e?
Jak porovn´avat velikosti koneˇcn´ych mnoˇzin pomoc´ı zobrazen´ı?
Jak porovn´avat velikosti nekoneˇcn´ych mnoˇzin pomoc´ı zobrazen´ı?
Kolik nejv´ıce r˚uzn´ych rozm´ıch´an´ı um´ı automat pro 10 karet?
Kolik nejv´ıce r˚uzn´ych rozm´ıch´an´ı um´ı automat pro 32 karet?
0.4. D˚ ukazov´ e techniky v diskr´ etn´ı matematice
Matematika se jako vˇedn´ı discipl´ına vyznaˇcuje svou exaktnost´ı. Rozum´ıme t´ım schopnostdok´azattvrzen´ı nade vˇs´ı pochybnost.
Pojem matematick´eho d˚ukazu se vyv´ıjel nˇekolik stolet´ı. K nejzn´amˇejˇs´ım historicky doloˇzen´ym d˚ukaz˚um patˇr´ı:
grafick´e d˚ukazy Pythagorovy vˇety (tvrzen´ı: Babylonsk´a tabulka cca. 1900–1600 pˇr.n.l.,
”Rhind˚uv Papyrus“ z Egypta 1788–1580 pˇr.n.l.,
d˚ukaz: Pythagorejsk´a ˇskola cca. 560–480 pˇr.n.l., v ˇC´ınˇe cca. 500–200 pˇred n.l.)
Euklidovy
”Z´aklady“ cca. 300 pˇr.n.l.
V modern´ı matematice: pojem matematick´eho d˚ukazu je posloupnost element´arn´ıch ovˇeˇriteln´ych krok˚u vedouc´ıch od zn´am´ych/pˇredpokl´adan´ych fakt˚u k nov´emu/poˇzadovan´emu tvrzen´ı.
V diskr´etn´ı matematice jsou z´akladn´ı pˇredpoklady tvoˇrenyaxiomy
49 / 82
0.4.1. Z´akladn´ı logick´e symboly Zn´am´e pojmy:
Tvrzen´ıje v´yrok, o kter´em m´a smysl rozhodnout, zda jepravdiv´eˇci nepravdiv´e
Logick´e hodnoty: 1/0, True/False, Pravda/Nepravda Logick´e spojky:
”NOT“¬X,
”AND“ X ∧Y,
”OR“ X∨Y Implikace:
”jestliˇze (je pravda)X, pak (mus´ı b´yt) Y“ X ⇒Y Ekvivalence:
”X (je pravda), pr´avˇe kdyˇzY (je pravda)“ X ⇔Y Negace ¬ jeun´arn´ıoper´ator,∧,∨,⇒,⇔ jsoubin´arn´ı oper´atory.
Dalˇs´ı oper´atory jsou kombinac´ı:
A XORB je tot´eˇz jako¬(A⇔B).
Ot´azky
Kolik existuje logick´ych bin´arn´ıch oper´ator˚u?
Je ”? : “ plnohodnotn´y tern´arn´ı oper´ator?
Kvantifik´atory vˇseobecn´y
”Pro kaˇzd´ex ∈M plat´ı tvrzen´ıP(x)“
p´ıˇseme: ∀x∈M :P(x) existenˇcn´ı
”Existuje x∈M, pro kter´e plat´ı tvrzen´ıP(x)“
p´ıˇseme: ∃x∈M :P(x)
Mnoˇzinu M m˚uˇzeme vynechat, pokud je zˇrejm´e o jakouM se jedn´a.
Jak vypad´a negace obecn´eho v´yroku s kvantifik´atorem?
Pˇr´ıklad
Vyslovte negaci v´yroku ∀x∈M :P(x)?
∃x ∈M :¬P(x) Pˇr´ıklad
Vyslovte negaci v´yroku ∃x∈M :P(x)?
∀x ∈M :¬P(x)
51 / 82
0.4.2. Pojem matematick´eho d˚ukazu
Struktura vˇety (tvrzen´ı) v matematice: P ⇒D
Pˇresnˇe formulovan´e pˇredpokladyP, za kter´ych plat´ıtvrzen´ı vˇetyD. Podrobn´y postup, jak z pˇredpoklad˚u odvodit tvrzen´ı vˇety naz´yv´ame d˚ukaz.
Matematick´y d˚ukaz
nˇejak´eho tvrzen´ıD je koneˇcn´a posloupnost krok˚u/v´yrok˚u, kde kaˇzd´y krok je:
axiom– obecnˇe platn´y ˇci pˇredpokl´adan´y fakt (volba axiom˚u z´avis´ı na matematick´e teorii∗), pˇredpoklad P je podm´ınka, na kterou se omez´ıme,
v´yrok odvozen´yz pˇredchoz´ıch krok˚u uˇzit´em nˇekter´eho z platn´ych odvozovac´ıch pravidel (z´avis´ı na pouˇzit´e logice).
Posledn´ı krok obsahuje jako v´yrok tvrzen´ı D.
∗R˚uzn´a odvˇetv´ı matematiky vych´az´ı z r˚uzn´ych axiom˚u. Zat´ımco diskr´etn´ı matematika vych´az´ı z Peanov´ych axiom˚u, napˇr´ıklad geometrie (nejstarˇs´ı exaktnˇe budovan´a matematick´a discipl´ına) vych´az´ı z pˇetiEuklidov´ych axiom˚u.
K ˇcemu to budu jako absolvent potˇrebovat?
”K ˇcemu je novorozenˇe?“
spr´avn´e pochopen´ı omezen´ı pouˇzit´ych metod argumentace pro a proti navrˇzen´emu ˇreˇsen´ı srovn´an´ı kvality r˚uzn´ych ˇreˇsen´ı
100% korektnost metody/algoritmu je nˇekdy vyˇzadov´ana (autopilot, jednotka intenzivn´ı p´eˇce, ˇr´ızen´ı satelit˚u)
54 / 82
Pˇr´ıklad
Abstraktn´ı o inverzn´ım prvku
Dok´aˇzeme, ˇze v libovoln´e (i nekomutativn´ı!) algebraick´e grupˇe plat´ı komutativita operace vzhledem k
”n´asoben´ı inverzn´ım prvkem“. Tj. jestliˇze A·B =E, potom tak´e B·A=E.
Vzpomeˇnte na n´asoben´ı regul´arn´ıch matic: jednotkov´a matice m˚uˇze vyj´ıt pouze pro regul´arn´ı matice, nebot’ existuje inverzn´ı matice.
Grupa (G,·) je mnoˇzina prvk˚u s jednou operac´ı, pro kterou plat´ı nˇejak´e vlastnosti, tzv. axiomy grupy. N´as zaj´ımaj´ı tˇri
1 operace je asociativn´ı
2 v grupˇe existuje
”jedniˇcka“ (neutr´aln´ı prvek)
3 ke kaˇzd´emu prvku existuje prvek inverzn´ı Pozn´amka
Pˇri psan´ı d˚ukaz˚u m˚uˇzeme nˇekter´e element´arn´ı kroky vynechat, pˇr´ıpadnˇe zkr´atit. Nesm´ı vˇsak b´yt poruˇsena korektnost tvrzen´ı (vynechat nˇekter´y pˇredpoklad). M´ıra
”zkratky“ z´avis´ı i na oˇcek´avan´em
”pr˚umˇern´em ˇcten´aˇri“.
Grupa (G,·) je mnoˇzina prvk˚u s jednou operac´ı, pro kterou plat´ı tzv.
axiomy grupy. Vyuˇzijeme n´asleduj´ıc´ı tˇri axiomy
1 operace je asociativn´ı:
∀A,B,C ∈G : (A·B)·C =A·(B·C)
2 v grupˇe existuje
”jedniˇcka“:
∃E ∈G :E ·A=A·E =Apro ∀A∈G
3 ke kaˇzd´emu prvku existuje prvek inverzn´ı:
∀A∈G ∃A−1 :A·A−1=E ∧ A−1·A=E.
D˚ukaz tvrzen´ı:
A·B = E pˇredpoklad
A−1·(A·B) = A−1·E z axiomu 3. existuje A−1 (A−1·A)·B = A−1 z axiomu 1. a axiomu 2.
E·B = A−1 z axiomu 3.
B = A−1 z axiomu 2.
· −1·
57 / 82
0.4.3.Z´akladn´ı d˚ukazov´e techniky pˇr´ım´y d˚ukaz:A⇒B
nepˇr´ım´y d˚ukaz:¬B ⇒ ¬A
d˚ukaz sporem:A∧ ¬B ⇒spor (sporje souˇcasn´a platnost T a¬T) d˚ukaz matematickou indukc´ı (slab´aa siln´a)
Pˇr´ıklad
Kaˇzd´e lich´e ˇc´ıslo je moˇzno napsat jako rozd´ıl dvou ˇctverc˚u.
Uk´aˇzeme pˇr´ımo. Mˇejme lich´e ˇc´ıslo 2k+ 1, kde k ∈Z, potom 2k+ 1 =k2+ 2k+ 1−k2 = (k+ 1)2−k2.
Pˇr´ıklad
Prvoˇc´ısel je nekoneˇcnˇe mnoho.
V´ıme, ˇze kaˇzd´e kladn´e pˇrirozen´e ˇc´ıslo je moˇzno napsat jako souˇcin prvoˇc´ısel. Sporem:
Pˇredpokl´ad´ame, ˇze prvoˇc´ısel je koneˇcnˇe mnoho, oznaˇc´ıme jep1,p2, . . . ,pn
(jsou vˇsechna). Ale ˇc´ıslox=p1·p2· · ·pn+ 1 nen´ı dˇeliteln´e ani jedn´ım z prvoˇc´ısel! M´ame spor (= m´a souˇcasnˇe platit nˇejak´e tvrzen´ı i jeho negace), proto pˇredpoklad nepravdiv´y, tj. prvoˇc´ısel je nekoneˇcnˇe mnoho.
0.4.4. Princip matematick´e indukce
Princip matematick´e indukceje jedna z nejˇcastˇeji pouˇz´ıvan´ych d˚ukazov´ych technik pro tvrzen´ı (v´yrokov´e formy) z´avisl´e na pˇrirozen´em parametru n (oznaˇcujemeP(n)).
Matematick´a indukce
Mˇejme tvrzen´ıP(n) s celoˇc´ıseln´ym parametrem n. Necht’ plat´ı:
Z´aklad indukce:
Tvrzen´ıP(n0) je pravdiv´e, kde n0 = 0 nebo 1, nebo obecn´e cel´en0. Indukˇcn´ı krok:
Vyslov´ımeindukˇcn´ı pˇredpoklad: Pro nˇejak´e n tvrzen´ıP(n) plat´ı.
Uk´aˇzeme, ˇze pro kaˇzd´e n>n0 z platnosti P(n) plyne platnost P(n+ 1).
Pak P(n)plat´ı pro vˇsechna pˇrirozen´a n≥n0.
Matematickou indukci lze ´uspˇeˇsnˇe vyuˇz´ıvat pˇri dokazov´an´ı spr´avnosti
59 / 82
Poˇckat!
Ale. . .
uk´aˇzeme z´aklad indukce,
uk´aˇzeme platnost indukˇcn´ıho kroku (s vyuˇzit´ım indukˇcn´ıho pˇredpokladu),
. . . nicm´enˇe tvrzen´ı m´a platit pronekoneˇcnˇe mnohohodnot!?!
Pˇr´ıklad
Jak vysoko lze vystoupat na ˇzebˇr´ık?
Pˇredpokl´adejme, ˇze um´ıme vstoupit na prvn´ı pˇr´ıˇcku,
z kaˇzd´e pˇr´ıˇcky n vystoupit na pˇr´ıˇckun+ 1.
. . . tak um´ıme vystoupat libovolnˇe vysoko!
Vˇeta
Souˇcet prvn´ıch n sud´ych ˇc´ısel jen(n+ 1).
2 + 4 + 6 = 12 = 3·4
2 + 4 + 6 + 8 + 10 + 12 + 14 + 16 + 18 + 20 = 110 = 10·11 D˚ukaz matematickou indukc´ı vzhledem k n:
Dokazujeme, ˇze ∀n∈Nplat´ıPn
i=12i =n(n+ 1).
Z´aklad indukce: Pro n= 1 tvrzen´ı P(1) zn´ı
”2 = 1·2“.
Indukˇcn´ı krok: Plyne z platnostiP(n) platnostP(n+ 1)?
Tj. pokudPn
i=12i =n(n+ 1), takPn+1
i=1 2i = (n+ 1)(n+ 2)?
Vyslov´ımeindukˇcn´ı pˇredpoklad P(n):
Pˇredpokl´adejme, ˇze ∃n∈N:Pn
i=12i =n(n+ 1).
Nyn´ı Pn+1
i=1 2i = Pn
i=12i+ 2(n+ 1)IP=n(n+ 1) + 2(n+ 1) = (n+ 1)(n+ 2).
Uk´azali jsme ˇze s vyuˇzit´ım znalosti vztahu pro souˇcet prvn´ıch n
61 / 82
Struktura d˚ukazu matematickou indukc´ı
Lze postupovat podle n´asleduj´ıc´ıho sch´ematu:
1 Rozpozn´ame, ˇze se jedn´a o tvrzen´ı dokazovateln´e matematickou indukc´ı:
”∀n∈N,n≥n0 plat´ı P(n).“
2 Uk´aˇzemeZ´aklad indukce: Dok´aˇzeme platnost P(n0).
3 Zformulujeme indukˇcn´ı pˇredpoklad:∃n∈N,n≥n0 aby platilo P(n).
4 Uk´aˇzemeIndukˇcn´ı krok:
S vyuˇzit´ım indukˇcn´ıho pˇredpokladu odvod´ıme platnost P(n+1).
(V´ıme, jak m´a tvrzen´ı nebo vztah P(n+1) vypadat!)
5 Shrneme, ˇze platnost tvrzen´ı P(n) pro vˇsechna n≥n0 plyne z principu matematick´e indukce.
Dalˇs´ı vzorov´y d˚ukaz (dˇelitelnost ˇc´ısel):
Vˇeta
Pro kaˇzd´e pˇrirozen´e ˇc´ıslon je v´yrazn3+ 2n dˇeliteln´y 3.
Rekneme, ˇˇ ze ˇc´ısloa dˇel´ı ˇc´ıslob, jestliˇze ∃k ∈Z:b=ka. P´ıˇseme a|b.
D˚ukaz matematickou indukc´ı vzhledem k n:
Dokazujeme, ˇze ∀n∈Nplat´ı, ˇze 3 dˇel´ın3+ 2n.
Z´aklad indukce: Pro n= 1 tvrzen´ı P(1) zn´ı
”3 dˇel´ı 13+ 2·1“.
Indukˇcn´ı krok: Plyne z platnostiP(n) platnostP(n+ 1)?
Tj. pokud 3 dˇel´ın3+ 2n, tak 3 dˇel´ı (n+ 1)3+ 2(n+ 1).
Vyslov´ımeindukˇcn´ı pˇredpoklad P(n):
Pˇredpokl´adejme, ˇze ∃n∈N: 3|n3+ 2n, tj.∃k ∈Z:n3+ 2n= 3k.
Nyn´ı (n+ 1)3+ 2(n+ 1) = (n3+ 3n2+ 3n+ 1) + (2n+ 2) = (n3+ 2n) + (3n2+ 3n+ 3)IP= 3k+ 3(n3+n+ 1).
63 / 82
Dalˇs´ı vzorov´y d˚ukaz (nerovnost):
Vˇeta
Pro kaˇzd´e pˇrirozen´e ˇc´ıslon≥4 plat´ın!>2n.
Velikost faktori´alu n! roste (super)exponenci´alnˇe vzhledem kn.
D˚ukaz matematickou indukc´ı vzhledem k n:
Dokazujeme, ˇze ∀n∈N,n≥4 plat´ın!>2n. Z´aklad indukce: Pron= 4 tvrzen´ı P(4) zn´ı
”4!>24“, tj. 24>16.
Indukˇcn´ı krok: Plyne z platnostiP(n) platnostP(n+ 1)?
Tj. uk´aˇzeme, ˇze pokudn!>2n, tak tak´e (n+ 1)!>2n+1. Vyslov´ımeindukˇcn´ı pˇredpoklad P(n):
Pˇredpokl´adejme, ˇze ∃n∈N,n≥4, pro kter´e plat´ın!>2n. Nyn´ı (n+ 1)! = (n+ 1)·n!IP>(n+ 1)2n>2·2n= 2n+1.
Uk´azali jsme s vyuˇzit´ım indukˇcn´ıho pˇredpokladu, ˇze (n+ 1)!>2n+1. Podle principu matematick´e indukce tvrzen´ı plat´ı∀n∈N,n≥4.
Dalˇs´ı pˇr´ıklady:
Vˇeta
Vˇsech zobrazen´ı libovoln´e b-prvkov´e mnoˇziny doa-prvkov´e mnoˇziny jeab. D˚ukaz matematickou indukc´ı podleb ∈N0:
Z´aklad indukce:
Pro b= 0 m´ame jedinou moˇznost (jak nic nepˇriˇradit:ab =a0 = 1).
Pro b= 1 m´ame amoˇzn´ych obraz˚u pro jedin´y prvek (ab =a1=a).
Indukˇcn´ı krok:
IP: pro nˇejak´e b je poˇcet r˚uzn´ych zobrazen´ıB →Arovenab. Mˇejme libovolnou mnoˇzinu B ob+ 1>0 prvc´ıch. Zvolme nˇejak´y prvek x ∈B (takov´y existuje) a oznaˇcmeB0 =B\ {x},|B0|=b.
Vˇsech zobrazen´ı zB0 doA je podle indukˇcn´ıho pˇredpokladuab. Pro prvek x m´ame nav´ıc nez´avisl´y v´ybˇer z amoˇzn´ych obraz˚u. Celkem je dle principu nez´avisl´ych v´ybˇer˚u a·ab=ab+1 r˚uzn´ych zobrazen´ı zB doA.
66 / 82
Siln´a matematick´a indukce (ve srovn´an´ı s matematickou indukc´ı)
Matematick´a indukce
Mˇejme tvrzen´ıP(n) s celoˇc´ıseln´ym parametrem n. Necht’ plat´ı:
Z´aklad indukce:
Tvrzen´ıP(n0) je pravdiv´e, kde n0 = 0 nebo 1, nebo obecn´e cel´en0. Indukˇcn´ı krok:
Vyslov´ımeindukˇcn´ı pˇredpoklad: Pro nˇejak´e n tvrzen´ıP(n) plat´ı.
Uk´aˇzeme, ˇze pro kaˇzd´e n>n0 z platnosti P(n) plyne platnost P(n+ 1).
Pak P(n)plat´ı pro vˇsechna pˇrirozen´a n≥n0. Siln´a matematick´a indukce
Z´aklad indukce: Tvrzen´ıP(n0) je pravdiv´e.
Indukˇcn´ı krok:
Indukˇcn´ı pˇredpoklad: Tvrzen´ıP(k) plat´ı pro vˇsechnan0≤k <n.
Uk´aˇzeme, ˇze pak plat´ı tak´eP(n).
Pak P(n)plat´ı pro vˇsechna pˇrirozen´a n≥n0.
Pˇr´ıklad
Pro nal´am´an´ı ˇcokol´ady rozmˇeru p×r d´ılk˚u je vˇzdy potˇrebapr−1 zlom˚u.
D˚ukaz silnou matematickou indukc´ı podle n=pr:
Z´aklad indukce:
Pro n0 = 1 m´ame jeden d´ılek a je tˇreba pr−1 = 0 zlom˚u.
Indukˇcn´ı krok:
Necht’ nyn´ı tvrzen´ı plat´ı pro vˇsechny ˇcokol´ady o m´enˇe neˇz n d´ılc´ıch.
Mˇejme libovolnou tabulku o n d´ılc´ıch. Tabulku rozlom´ıme a dostaneme dvˇe menˇs´ı tabulky o s,t d´ılc´ıch, kde 1≤s,t<n a s+t=n. Kaˇzdou z nich um´ıme podle pˇredpokladu nal´amat pomoc´ı s−1 resp.t−1 zlom˚u. Celkem je tˇreba
(s −1) + (t−1) + 1 =s+t−1 =n−1 zlom˚u.
Podle principu siln´e matematick´e indukce tvrzen´ı plat´ı∀p,r ∈N.
68 / 82
Pˇr´ıklad
M´ame sloupeˇcekn krabic. Budeme hr´at n´asleduj´ıc´ı hru (pro jednoho/libovoln´y poˇcet hr´aˇc˚u):
Z jednom kroku vˇzdy rozdˇel´ıme nˇejak´y sloupec z krabic (z ≥2) na dva menˇs´ı sloupce s x ay krabicemi. Za tento krok z´ısk´ame poˇcet bod˚u, kter´y je d´an souˇcinemx·y.
Hra konˇc´ı, jakmile m´ame n sloupc˚u kaˇzd´y s jedinou krabic´ı. Zaˇc´ın´ame s nulov´ym poˇctem bod˚u a chtˇeli bychom dos´ahnout co nejvˇetˇs´ıho poˇctu bod˚u. Hr´aˇc s nejvˇetˇs´ım poˇctem bod˚u vyhr´al.
Jakou strategii zvolit, abychom z´ıskali co nejvˇetˇs´ı sk´ore?
Dokaˇzte, ˇze ˇz´adn´a jin´a strategie nevede k vyˇsˇs´ımu sk´ore.
0.4.5. D˚ukazy vztah˚u s kombinaˇcn´ımi ˇc´ısly
Pro kombinaˇcn´ı ˇc´ısla m˚uˇzeme dok´azat celou ˇradu zaj´ımav´ych vztah˚u.
Zab´yv´a se jimi dokonce cel´a samostatn´a ˇc´ast diskr´etn´ı matematiky.
Fakt (na prvn´ı pohled zˇrejm´e tvrzen´ı) Pro vˇsechna n≥0 plat´ı
n 0
= n
n
= 1.
Lemma (pomocn´e tvrzen´ı) Pro vˇsechna n≥k ≥0 plat´ı
n k
= n
n−k
.
Tvrzen´ı, jejichˇz d˚ukaz spoˇc´ıv´a v dosazen´ı do definice (jedna/dvˇe
70 / 82
Lemma
Pro vˇsechna n≥k ≥0 plat´ı n+ 1
k+ 1
= n
k
+ n
k+ 1
.
Pˇr´ım´y (dosazen´ım a ´upravou) n
k
+ n
k+ 1
= n!
k!·(n−k)!+ n!
(k+ 1)!·(n−k−1)! =
= n!·(k+ 1) +n!·(n−k)
(k+ 1)!·(n−k)! = n!·(n+ 1) (k+ 1)!·(n−k)! =
= (n+ 1)!
(k+ 1)!·((n+ 1)−(k+ 1))! =
n+ 1 k+ 1
.
Vztahy mohou slouˇzit jako alternativn´ı definice kombinaˇcn´ıch ˇc´ısel.
n 0
= n
n
= 1
n k
= n
n−k
n+ 1 k+ 1
= n
k
+ n
k+ 1
.
Pascal˚uv troj´uheln´ık
0 0
= 1 1
0
= 1 1
1
= 1 2
0
= 1 2
1
= 2 2
2
= 1 3
0
= 1 3
1
= 3 3
2
= 3 3
3
= 1 4
0
= 1 4
1
= 4 4
2
= 6 4
3
= 4 4
4
= 1 5
0
= 1 5
1
= 5 5
2
= 10 5
3
= 10 5
4
= 5 5
5
= 1 . . . .
72 / 82
Binomick´a vˇeta Pro vˇsechna n>0 plat´ı
(1 +x)n= n
0
+ n
1
x+ n
2
x2+· · ·+ n
n−1
xn−1+ n
n
xn.
D˚ukazTvrzen´ı je moˇzno dok´azat indukc´ı (skripta). Avˇsak moˇzn´y je i d˚ukaz jednoduchou ´uvahou (s vyuˇzit´ım lemmatu):
Algebraick´em rozvoji souˇcinu pouˇz´ıv´ame pravidlo
”vyn´asobit kaˇzd´y ˇclen s kaˇzd´ym“. Proto se v rozvoji vztahu (1 +x)(1 +x). . .(1 +x)
| {z }
n
ˇclenxk objev´ı tolikr´at, kolik je moˇznost´ı (neuspoˇr´adanˇe) vybratk z n ˇcinitel˚u – z´avorek. To je pr´avˇe nk
kr´at = poˇcetk prvkov´ych podmnoˇzin z nprvk˚u.
Z binomick´e vˇety ihned plyne (pro pˇrirozen´a n≥0 a druh´e pro n>0) n
0
+ n
1
+ n
2
+ n
3
+· · ·+ n
n−1
+ n
n
= 2n, n
0
− n
1
+ n
2
− n
3
+. . .−(−1)n n
n−1
+ (−1)n n
n
= 0.
0.4.6. D˚ukazy vztah˚u pro kombinatorick´e v´ybˇery
Pˇri d˚ukazech vyuˇzijeme matematickou indukci a metodu dvoj´ıho poˇc´ıt´an´ı.
Vˇeta
Poˇcet vˇsech permutac´ın-prvkov´e mnoˇziny je n!, pro kaˇzd´e n≥0.
Indukc´ı podle n:
Z´aklad indukce: Tvrzen´ı plat´ı pron = 0, protoˇze ˇz´adn´e prvky lze uspoˇr´adat jen jedn´ım zp˚usobem. (Stejnˇe jednoprvkov´e mnoˇziny.) Indukˇcn´ı krok: Mˇejme nyn´ın≥0 a mnoˇzinuP o n+ 1 prvc´ıch, pˇredpokl´adejme pro jednoduchost P ={1,2, . . . ,n+ 1}. Zvolme prvn´ı prvek p ∈P (existuje!) permutace zn+ 1 moˇznost´ı. Nez´avisle na volbˇe prvn´ıho prvku pak sestavujeme permutace mnoˇziny P\ {p}.
(Jedn´a se sice o permutacijin´e mnoˇziny, ale vˇzdy m˚uˇzeme prvky P\ {p}
oindexovat/
”pˇreˇc´ıslovat“ na{1,2, . . . ,n}, coˇz neovlivn´ı poˇcet moˇznost´ı.) Potom n-prvkov´a mnoˇzina{1,2, . . . ,n} m´a podle indukˇcn´ıho pˇredpokladu
74 / 82
Vˇeta
Poˇcet vˇsechk-prvkov´ych variac´ı zn-prvkov´e mnoˇziny je n!
(n−k)!, pro kaˇzd´en ≥k ≥0.
Metodou dvoj´ıho poˇc´ıt´an´ı:
Dvˇema zp˚usoby spoˇc´ıt´ame poˇcet permutac´ın-prvkov´e mnoˇziny:
Uˇz v´ıme, ˇze tyto permutace lze vybratn! r˚uzn´ymi zp˚usoby.
Souˇcasnˇe lze vz´ıt nˇekterouk-prvkovou variaci, jej´ı prvky zapsat na zaˇc´atek permutace (dodrˇz´ıme poˇrad´ı) a zb´yvaj´ıc´ıch n−k prvk˚u seˇrad´ıme za nimi jedn´ım z (n−k)!r˚uzn´ych zp˚usob˚u. Z r˚uzn´ych variac´ı t´ımto postupem z´ısk´ame r˚uzn´e permutace, a pˇritom kaˇzdou permutaci lze z´ıskat z variace vyb´ıraj´ıc´ı jej´ıch prvn´ıch k prvk˚u.
Oznaˇc´ıme x nezn´am´y poˇcet vˇsech k-prvkov´ych variac´ı zn-prvkov´e mnoˇziny. V´yˇse popsan´ym postupem vytvoˇrit pr´avˇe x·(n−k)! vˇsech r˚uzn´ych permutac´ın-prvkov´e mnoˇziny. Proto plat´ı
x·(n−k)! = n!
x = n!
(n−k)!.
Vˇeta
Poˇcet vˇsechk-prvkov´ych kombinac´ı zn-prvkov´e mnoˇziny je n
k
, pro kaˇzd´e n≥k ≥0.
Metodou dvoj´ıho poˇc´ıt´an´ı:
Nyn´ı budeme dvoj´ım zp˚usobem poˇc´ıtat vˇsechnyk-prvkov´e variace z n-prvkov´e mnoˇziny:
Na jednu stranu uˇz v´ıme, ˇze jich je (n−k)!n! , na druhou stranu m˚uˇzeme z jedn´e k-prvkov´e kombinace z´ıskat celkemk! r˚uzn´ych variac´ı uspoˇr´ad´an´ım prvk˚u t´eto kombinace. Oznaˇc´ımex nezn´am´y poˇcet vˇsechk-prvkov´ych kombinac´ı z n-prvkov´e mnoˇziny a dostaneme, obdobnˇe jako v pˇredchoz´ım d˚ukazu,
x·k! = n!
(n−k)!
x = n!
k!·(n−k)!
n
76 / 82
0.4.7. D˚ukazy
”metodou poˇc´ıt´an´ı moˇznost´ı“
Nˇekdy m´ame uk´azat existenci nˇejak´eho objektu nebo vlastnosti, aniˇz jsme schopni objekt zkonstruovat nebo jinak specifikovat. Takov´ym d˚ukaz˚um ˇr´ık´amenekonstruktivn´ı, nˇekdy tak´e existenˇcn´ı.
M´ısto abychom ˇreˇsen´ı
”zkonstruovali“, tak se n´am podaˇr´ı
”spoˇc´ıtat“, ˇze ˇreˇsen´ı mus´ı existovat.
Dirichlet˚uv princip (the pigeon-hole principle)
Rozm´ıst´ıme-li `+ 1 (nebo v´ıce) objekt˚u do` pˇrihr´adek, v nˇekter´e pˇrihr´adce mus´ı b´yt alespoˇn dva objekty.
D˚ukazy poˇc´ıt´an´ım moˇznost´ı
Existenci konkr´etn´ı moˇznosti (ze zn´am´e mnoˇziny) uk´aˇzeme, pokud poˇcet moˇznost´ı, kter´e nemohou nastat je menˇs´ı neˇz celkov´y poˇcet moˇznost´ı.
Pˇr´ıklad
Vid´ıme, jak do tunelu vjedou tˇri auta a jen dvˇe vid´ıme vyjet ven. To znamen´a, ˇze jedno auto v tunelu z˚ustalo (pˇrestoˇze ho nyn´ı nevid´ıme).
Pˇr´ıklad
8 kamar´ad˚u jelo na 9 dn´ı dovolen´e. Kaˇzd´y den nˇekter´a (jedna) trojice z nich ˇsla na v´ylet. Dokaˇzte, ˇze nˇekteˇr´ı dva z nich ani jednou nebyli spolu na v´yletˇe.
D˚ukaz rozeb´ır´an´ı moˇznost´ı by asi k niˇcemu nevedlo. . .
D˚ukaz poˇc´ıt´an´ım je vˇsak snadn´y: Jedna trojice m´a celkem 3 dvojice, proto po 9 dnech se mohlo vystˇr´ıdat nejv´yˇse r˚uzn´ych 9·3 dvojic, ale
9·3 = 27< 82
= 28, jedna dvojice n´am zde sch´az´ı.
80 / 82
Pˇr´ıklad
V ˇsupl´ıku je (poh´azeno) 30 p´ar˚u ˇcern´ych ponoˇzek, 10 p´ar˚u hnˇed´ych ponoˇzek a 3 p´ary b´ıl´ych ponoˇzek. Kolik mus´ıme potmˇe vyt´ahnout ponoˇzek, abychom mˇeli jistotu, ˇze m´ame alespoˇn jeden p´ar stejn´e barvy?
”Pˇrihr´adky“ Dirichletova principu budou odpov´ıdat tˇrem r˚uzn´ym barv´am.
Vyt´ahneme-li ˇctyˇri ponoˇzky (nerozliˇsujeme pravou a levou ponoˇzku), mus´ı b´yt alespoˇn dvˇe ponoˇzky stejn´e barvy.
Ot´azka
M´ame 4 pˇrirozen´a ˇc´ısla. Ukaˇzte, ˇze mezi nimi vˇzdy najdete dvˇe ˇc´ısla tak, aby jejich rozd´ıl dˇeliteln´y ˇc´ıslem 3.
Ot´azka
M´ame 3 pˇrirozen´a ˇc´ısla. Ukaˇzte, ˇze mezi nimi vˇzdy najdete dvˇe ˇc´ısla tak, aby jejich souˇcet byl dˇeliteln´y nˇejak´ym prvoˇc´ıslem.
Handshaking problem
V m´ıstnosti je n lid´ı, nˇekteˇr´ı si podali ruce. Ukaˇzte, ˇze alespoˇn dva lid´e podali ruku stejn´emu poˇctu lid´ı.
Pˇr´ıklad
M´ame 5 pˇrirozen´ych ˇc´ısel. Ukaˇzte, ˇze mezi nimi vˇzdy najdeme dvˇe ˇc´ısla tak, ˇze jejich souˇcet je dˇeliteln´y 9.
D˚ukaz (chybn´y!) Celkem m´ame 9 r˚uzn´ych zbytkov´ych tˇr´ıd po dˇelen´ı ˇc´ıslem 9. Z pˇeti ˇc´ısel m˚uˇzeme z´ıskat 10 r˚uzn´ych souˇct˚u. Jistˇe bude v kaˇzd´e zbytkov´e tˇr´ıdˇe alespoˇn jeden souˇcet, v nˇekter´e budou dokonce dva souˇcty.
Proto dvojice ˇc´ısel, jejichˇz souˇcet odpov´ıd´a zbytkov´e tˇr´ıdˇe 0, m´a souˇcet ˇ
c´ısel dˇeliteln´y dev´ıti.
Ot´azka
Co je ˇspatnˇe v uveden´em d˚ukazu pˇredchoz´ıho tvrzen´ı?
82 / 82
Pˇr´ıˇstˇe
Kapitola 1. Posloupnosti
posloupnosti sumy a produkty aritmetick´a posloupnost geometrick´a posloupnost horn´ı a doln´ı cel´a ˇc´ast