• Nebyly nalezeny žádné výsledky

Diskr´etn´ı matematika

N/A
N/A
Protected

Academic year: 2022

Podíl "Diskr´etn´ı matematika"

Copied!
77
0
0

Načítání.... (zobrazit plný text nyní)

Fulltext

(1)

1 / 82

Diskr´ etn´ı matematika

Petr Kov´aˇr petr.kovar@vsb.cz

Vysok´a ˇskola b´nsk´a – Technick´a univerzita Ostrava

zimn´ı semestr 2021/2022

DiM 470-2301/01, 470-2301/03*, 470-2301/05

(2)

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)

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

(4)

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)

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?

(6)

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)

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.

(8)

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)

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.

(10)

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)

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)

(12)

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)

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, . . .

(14)

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)

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

(16)

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)

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

(18)

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)

19 / 82

Venn˚uv diagram pro sedm mnoˇzin – Adelaide

(20)

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)

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.

(22)

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)

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.

(24)

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)

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.

(26)

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)

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´ı

(28)

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)

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.

(30)

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)

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

(32)

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)

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

(34)

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)

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

(36)

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)

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´ı.

(38)

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)

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)

(40)

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)

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)

(42)

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)

43 / 82

Definice

Necht’ n∈N. Pakn-tou mocninu permutaceπ budeme definovat rekurentnˇe:

π1 =π pron= 1 aπnn−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.

(44)

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)

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´ı.

(46)

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)

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?

(48)

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)

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?

(50)

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)

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.

(52)

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)

(53)

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“.

(54)

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·

(55)

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.

(56)

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

(57)

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!

(58)

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

(59)

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.

(60)

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).

(61)

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.

(62)

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.

(63)

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.

(64)

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.

(65)

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.

(66)

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

(67)

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

.

(68)

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 . . . .

(69)

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.

(70)

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

(71)

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)!.

(72)

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

(73)

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.

(74)

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´ı.

(75)

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.

(76)

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´ı?

(77)

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

Odkazy

Související dokumenty

Shrneme-li moˇ znosti z´ısk´ av´ an´ı textur a tak´ e moˇ znosti jejich ´ uprav, m˚ uˇ zeme po zamyˇ slen´ı nal´ ezt mnoho zp˚ usob˚ u jak textury prakticky pouˇ z´ıt..

Z moˇ zn´ ych poloh paraboly grafu vzhledem k ose x pak snadno odvod´ıme, jak´ e jsou moˇ zn´ e poˇ cty ˇ reˇ sen´ı kvadratick´ e rovnice. Jsou to buˇ d dva koˇ reny,

S vyuˇ zit´ım kombinatorick´ eho pravidla souˇ cinu dostaneme celkov´ y poˇ cet jako souˇ cin tˇ r´ı poˇ ct˚ u podv´ ybˇ er˚ u: prvn´ı cifry z 9 moˇ znost´ı (ne 0), dalˇ

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

To ale nen´ı moˇ zn´ e, pokud nen´ı pro kaˇ zd´ y pˇredmˇ et defino- v´ ana konkr´ etn´ı akce, protoˇ ze dokud se v A* bude objevovat pouze akce typu

Ne kaˇ zd´ a posloupnost je stupˇ novou posloupnost´ı nˇ ejak´ eho grafu.. Nav´ıc budeme umˇ et pˇr´ıklad takov´ eho

Podstatn´ e bude, podaˇ r´ı-li se n´ am v teorii mnoˇ zin naj´ıt mnoˇ zinu obsahuj´ıc´ı vˇ sechna konkr´ etn´ı pˇ rirozen´ a ˇ c´ısla (rozum´ı se jejich mnoˇ zinov´

Multiplatformnost – pro vˇ etˇ sinu aplikac´ı je poˇ zadov´ ano, aby bylo moˇ zn´ e jejich fungov´ an´ı na v´ıce syst´ emech, nebo aby toho bylo moˇ zn´ e v