Matematyka dyskretna 1/Wykład 3: Zliczanie zbiorów i funkcji: Różnice pomiędzy wersjami

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Arek (dyskusja | edycje)
 
(Nie pokazano 100 wersji utworzonych przez 8 użytkowników)
Linia 4: Linia 4:
Służy jedynie ustaleniu terminologii i notacji.  
Służy jedynie ustaleniu terminologii i notacji.  


'''Funkcja''' o dziedzinie <math>X</math> i przeciwdziedzinie <math>Y</math>  
{{kotwica|funkcja|'''Funkcja'''}} o dziedzinie <math>X</math> i przeciwdziedzinie <math>Y</math> to dowolna relacja <math>f \subseteq X \times Y</math> taka, że:
to dowolna relacja <math>f \subseteq X \times Y</math> taka, że:
* <math>\forall x\in X \ \exists y \in Y \ \ \left\langle x,y \right\rangle\in f</math>
* <math>\forall x\in X \ \exists y \in Y \ \ \left\langle x,y \right\rangle\in f</math>
* <math>\forall x\in X \ \forall y_1,y_2\in Y \ \ \left(\left\langle x,y_1 \right\rangle\in f \wedge \left\langle x,y_2 \right\rangle\in f\right) \rightarrow y_1=y_2</math>
* <math>\forall x\in X \ \forall y_1,y_2\in Y \ \ \left(\left\langle x,y_1 \right\rangle\in f \wedge \left\langle x,y_2 \right\rangle\in f\right) \rightarrow y_1=y_2</math>


Pierwszy warunek mówi, że każdy element dziedziny ma jakąś wartość przypisaną funkcją <math>f</math>.
Pierwszy warunek mówi, że każdy element dziedziny ma jakąś wartość przypisaną funkcją <math>f</math>. Drugi, że taka wartość jest co najwyżej jedna (dowolne dwie są bowiem równe). W skrócie oba warunki możemy zapisać łącznie jako
Drugi, że taka wartość jest co najwyżej jedna (dowolne dwie są bowiem równe).
 
W skrócie oba warunki możemy zapisać łącznie jako
 
<center><math>\forall x\in X \ \exists! y \in Y \ \ \left\langle x,y \right\rangle\in f</math>,</center>


<center><math>\forall x\in X \ \exists! y \in Y \ \ \left\langle x,y \right\rangle\in f,
</math></center>


gdzie kwantyfikator <math>\exists!</math> oznacza '' istnieje dokładnie jeden''.
gdzie kwantyfikator <math>\exists!</math> oznacza '' istnieje dokładnie jeden''.
* Ważne jest  
* Ważne jest  
** wykorzystanie wszystkich elementów dziedziny: ''każdemu elementowi dziedziny ...''
** wykorzystanie wszystkich elementów dziedziny: '''''każdemu''' elementowi dziedziny ...''
** i jednoznaczność: ''jest przyporządkowany dokładnie jeden element przeciwdziedziny'',
** i jednoznaczność: jest przyporządkowany '''''dokładnie jeden''' element przeciwdziedziny,''
* nie  wyklucza to sytuacji, gdy np. dwóm elementom dziedziny przyporządkowany jest ten sam element przeciwdziedziny,
* nie  wyklucza to sytuacji, gdy np. dwóm elementom dziedziny przyporządkowany jest ten sam element przeciwdziedziny,
* nie każdy element przeciwdziedziny musi być wykorzystany, tzn. mogą istnieć takie elementy przeciwdziedziny, które nie są przyporządkowane żadnemu elementowi dziedziny,
* nie każdy element przeciwdziedziny musi być wykorzystany, tzn. mogą istnieć takie elementy przeciwdziedziny, które nie są przyporządkowane żadnemu elementowi dziedziny,
Linia 45: Linia 45:
** jest zwartym zapisem, że <math>f</math> jest funkcją postaci <math>f : \mathbb{N} \longrightarrow \mathbb{N}</math> <br> daną przepisem <math>f(n) = 2n</math>
** jest zwartym zapisem, że <math>f</math> jest funkcją postaci <math>f : \mathbb{N} \longrightarrow \mathbb{N}</math> <br> daną przepisem <math>f(n) = 2n</math>
** jako przeciwdziedzinę określiliśmy zbiór liczb naturalnych, <br> ale w istocie wartościami tej funkcji są tylko liczby parzyste
** jako przeciwdziedzinę określiliśmy zbiór liczb naturalnych, <br> ale w istocie wartościami tej funkcji są tylko liczby parzyste
* <math>g : \mathbb{N} \longrightarrow \mathbb{R}, \ g(n) = n/2</math>,  
* <math>g : \mathbb{N} \longrightarrow \mathbb{R}, \ g(n) = n/2</math>,  
** określenie <math>g : \mathbb{N} \longrightarrow \mathbb{N}</math> nie byłoby tu prawidłowe, gdyż wartość <math>n/2</math> nie zawsze jest liczbą naturalną
** określenie <math>g : \mathbb{N} \longrightarrow \mathbb{N}</math> nie byłoby tu prawidłowe, gdyż wartość <math>n/2</math> nie zawsze jest liczbą naturalną
* <math>h : \mathbb{N} \longrightarrow {\left\{ {13} \right\}\ }, \  h(n) = 13</math>,  
* <math>h : \mathbb{N} \longrightarrow {\left\{ {13} \right\}\ }, \  h(n) = 13</math>,  
** to też jest poprawnie określona funkcja, mimo że niezbyt frapująca (tzw. funkcja stała)
** to też jest poprawnie określona funkcja, mimo że niezbyt frapująca (tzw. funkcja stała)
* <math>f : \mathbb{N} \longrightarrow \mathbb{N}, \ f(n) = (1 + 3 + 5 + ... + (2n+1))^n</math>.
* <math>f : \mathbb{N} \longrightarrow \mathbb{N}, \ f(n) = (1 + 3 + 5 + \ldots + (2n+1))^n</math>.
** takie określenie też jest poprawne, choć nie od razu widać, ile to jest
** takie określenie też jest poprawne, choć nie od razu widać, ile to jest
* <math>g : \mathbb{R} \ni x \mapsto \sin\frac{x}{\pi}\in \mathbb{R}</math> jest całkiem poprawną funkcją.
* <math>g : \mathbb{R} \ni x \mapsto \sin\frac{x}{\pi}\in \mathbb{R}</math> jest całkiem poprawną funkcją.
Linia 57: Linia 57:
** to funkcja określona na słowach nad alfabetem dwuelementowym <math>{\left\{ {0,1} \right\}\ }</math>
** to funkcja określona na słowach nad alfabetem dwuelementowym <math>{\left\{ {0,1} \right\}\ }</math>
** każdemu słowu przypisuje to słowo rozszerzone na końcu o symbol <math>1</math>  
** każdemu słowu przypisuje to słowo rozszerzone na końcu o symbol <math>1</math>  
* <math>d: {\left\{ {0,1} \right\}\ }^* \longrightarrow \mathbb{N}, \ d(w) = \mbox{długość słowa </math>w<math>}</math>
* <math>d: {\left\{ {0,1} \right\}\ }^* \longrightarrow \mathbb{N}, \ d(w) =</math> długość słowa <math>w</math>
 
{{kotwica|wielomian|'''Wielomian'''}} to funkcja:
 
 
<center><math>x \mapsto a_nx^n + a_{n-1}x^{n-1} + \ldots + a_2x^2 + a_1 x + a_0</math></center>
 


'''Wielomian''' to funkcja:
<center><math>x \mapsto a_nx^n + a_{n-1}x^{n-1} + \ldots + a_2x^2 + a_1 x + a_0
</math></center>
gdzie
gdzie
* liczby <math>a_n, a_{n-1}, \ldots, a_1,a_0</math> zwane są ''współczynnikami'' wielomianu
* liczby <math>a_n, a_{n-1}, \ldots, a_1,a_0</math> zwane są ''współczynnikami'' wielomianu
** mówimy więc o wielomianach o współczynnikach  
** mówimy więc o wielomianach o współczynnikach  
*** naturalnych -- jeśli <math>a_n, a_{n-1}, \ldots, a_1,a_0 \in \mathbb{N}</math>  
*** naturalnych - jeśli <math>a_n, a_{n-1}, \ldots, a_1,a_0 \in \mathbb{N}</math>  
*** całkowitych -- jeśli <math>a_n, a_{n-1}, \ldots, a_1,a_0 \in \mathbb{Z}</math>  
*** całkowitych - jeśli <math>a_n, a_{n-1}, \ldots, a_1,a_0 \in \mathbb{Z}</math>  
*** wymiernych -- jeśli <math>a_n, a_{n-1}, \ldots, a_1,a_0 \in \mathbb{Q}</math>  
*** wymiernych - jeśli <math>a_n, a_{n-1}, \ldots, a_1,a_0 \in \mathbb{Q}</math>  
*** rzeczywistych -- jeśli <math>a_n, a_{n-1}, \ldots, a_1,a_0 \in \mathbb{R}</math>
*** rzeczywistych - jeśli <math>a_n, a_{n-1}, \ldots, a_1,a_0 \in \mathbb{R}</math>
** liczba <math>n</math> zwana jest stopniem wielomianu, ale tylko o ile <math>a_n \neq 0</math>.
** liczba <math>n</math> zwana jest stopniem wielomianu, ale tylko o ile <math>a_n \neq 0</math>.


===Surjekcje, injekcje i bijekcje===
===Surjekcje, injekcje i bijekcje===


'''Suriekcja''' to funkcja  <math>f : X \longrightarrow Y</math> spełniająca warunek
<div class="thumb tright"><div style="width:250px;">
[[Grafika:Surjekcja.png]]
<div.thumbcaption>Przykład surjekcji</div>
</div></div>
 
{{kotwica|surjekcja|'''Surjekcja'''}} to funkcja  <math>f : X \longrightarrow Y</math> spełniająca warunek
 
 
<center>
<math>\forall y\in Y \ \exists x\in X \ \ f(x) = y
</math>
</center>


<center><math>\forall y\in Y \ \exists x\in X \ \ f(x) = y
</math></center>


* Intuicyjnie, funkcja jest surjekcją, jeśli jej cała przeciwdziedzina jest wykorzystana, tzn. każdy jej element jest wartością funkcji dla jakiegoś elementu dziedziny,
* Intuicyjnie, funkcja jest surjekcją, jeśli jej cała przeciwdziedzina jest wykorzystana, tzn. każdy jej element jest wartością funkcji dla jakiegoś elementu dziedziny,
* surjekcje często są nazywane funkcjami "na",
* surjekcje często są nazywane funkcjami "na",
* piszemy też wtedy <math>f : X \twoheadrightarrow Y</math>.
* piszemy też wtedy <math>f : X \twoheadrightarrow Y</math>.
''Rysunek:'' Rys. 2.1 Szkic na kartce.


{{przyklad|||
{{przyklad|||
<br>
Funkcja <math>\mathbb{R} \ni x \mapsto x^3 \in \mathbb{R}</math> jest surjekcją.
Funkcja <math>\mathbb{R} \ni x \mapsto x^3 \in \mathbb{R}</math> jest surjekcją.
<br>
<br>
Linia 108: Linia 116:
}}
}}


'''Injekcja''' to funkcja  <math>f : X \longrightarrow Y</math> spełniająca warunek:
[[File:SW_2.2.svg|250x200px|thumb|right|Przykład injekcji]]
 
{{kotwica|injekcja|'''Injekcja'''}} to funkcja  <math>f : X \longrightarrow Y</math> spełniająca warunek:
 
 
<center>
<math>\forall x_1,x_2 \in X \ \ x_1\neq x_2 \rightarrow f(x_1)\neq f(x_2)
</math>
</center>


<center><math>\forall x_1,x_2 \in X \ \ x_1\neq x_2 \rightarrow f(x_1)\neq f(x_2)
</math></center>


* Intuicyjnie, funkcja jest injekcją, jeśli różnym elementom dziedziny funkcja przyporządkowuje różne elementy przeciwdziedziny,  
* Intuicyjnie, funkcja jest injekcją, jeśli różnym elementom dziedziny funkcja przyporządkowuje różne elementy przeciwdziedziny,  
* injekcje często są nazywane funkcjami różnowartościowymi,
* injekcje często są nazywane funkcjami różnowartościowymi,
* piszemy też wtedy <math>f : X \hookrightarrow Y</math>.
* piszemy też wtedy <math>f : X \hookrightarrow Y</math>.
''Rysunek:'' Rys. 2.2 Szkic na kartce.


{{przyklad|||
{{przyklad|||
Funkcja <math>\mathbb{R} \ni x \mapsto x^3 \in \mathbb{R}</math> jest injekcją.
Funkcja <math>\mathbb{R} \ni x \mapsto x^3 \in \mathbb{R}</math> jest injekcją.
<br>
<br>
Linia 140: Linia 151:
}}
}}


'''Bijekcja''' to funkcja, która jest jednocześnie surjekcją i injekcją.  
[[File:SW_2.3.svg|250x200px|thumb|right|Przykład bijekcji]]


''Rysunek:'' Rys. 2.3 Szkic na kartce.
{{kotwica|bijekcja|'''Bijekcja'''}} to funkcja, która jest jednocześnie surjekcją i injekcją.  


{{przyklad|||
{{przyklad|||
Funkcja <math>\mathbb{R} \ni x \mapsto x^3 \in \mathbb{R}</math> jest bijekcją.
Funkcja <math>\mathbb{R} \ni x \mapsto x^3 \in \mathbb{R}</math> jest bijekcją.
<br>
<br>
Linia 177: Linia 187:


* Nieformalnie tworzenie funkcji odwrotnej polega na odwracaniu strzałek.
* Nieformalnie tworzenie funkcji odwrotnej polega na odwracaniu strzałek.
* Gdyby <math>f</math> nie była surjekcją, to przy próbie odwrócenia strzałek niektóre elementy zbioru <math>Y</math>  
* Gdyby <math>f</math> nie była surjekcją, to przy próbie odwrócenia strzałek niektóre elementy zbioru <math>Y</math> nie miałyby przyporządkowanego żadnego elementu z <math>X</math>.
nie miałyby przyporządkowanego żadnego elementu z <math>X</math>.
* Gdyby zaś <math>f</math> nie była injekcją, to przy próbie odwrócenia strzałek niektóre strzałki byłyby "rozdwojone".
* Gdyby zaś <math>f</math> nie była injekcją, to przy próbie odwrócenia strzałek niektóre strzałki byłyby "rozdwojone".


{{przyklad|||
{{przyklad|||


* Funkcja <math>f : \mathbb{R} \ni x \mapsto 2x \in \mathbb{R}</math> jest bijekcją,  
* Funkcja <math>f : \mathbb{R} \ni x \mapsto 2x \in \mathbb{R}</math> jest bijekcją, a zatem posiada funkcję odwrotną. Tę funkcję odwrotną można wyliczyć: skoro <math>y = f(x) = 2x</math>, to <math>f^{-1}(y) = x = y/2</math>. Zatem <math>f^{-1} : \mathbb{R} \ni x \mapsto x/2 \in \mathbb{R}</math>.
a zatem posiada funkcję odwrotną. Tę funkcję odwrotną można wyliczyć: skoro <math>y = f(x) = 2x</math>,  
to <math>f^{-1}(y) = x = y/2</math>. Zatem <math>f^{-1} : \mathbb{R} \ni x \mapsto x/2 \in \mathbb{R}</math>.
* Funkcja <math>\mathbb{R} \ni x \mapsto \left\lfloor x\right\rfloor \in \mathbb{Z}</math>  nie jest injekcją. Nie posiada więc funkcji odwrotnej.
* Funkcja <math>\mathbb{R} \ni x \mapsto \left\lfloor x\right\rfloor \in \mathbb{Z}</math>  nie jest injekcją. Nie posiada więc funkcji odwrotnej.
* Funkcja <math>\mathbb{N} \ni x \mapsto 2x \in \mathbb{N}</math> nie jest surjekcją. Nie posiada więc funkcji odwrotnej. Ale rozważając tę funkcję z przeciwdziedziną <math>\mathbb{P}</math> będącą zbiorem liczb parzystych, tzn. <math>\mathbb{N} \ni x \mapsto 2x \in \mathbb{P}</math> staje się ona bijekcją i posiada funkcję odwrotną <math>\mathbb{P} \ni x \mapsto x/2 \in \mathbb{N}</math>.
* Funkcja <math>\mathbb{N} \ni x \mapsto 2x \in \mathbb{N}</math> nie jest surjekcją. Nie posiada więc funkcji odwrotnej. Ale rozważając tę funkcję z przeciwdziedziną <math>\mathbb{P}</math> będącą zbiorem liczb parzystych, tzn. <math>\mathbb{N} \ni x \mapsto 2x \in \mathbb{P}</math> staje się ona bijekcją i posiada funkcję odwrotną <math>\mathbb{P} \ni x \mapsto x/2 \in \mathbb{N}</math>.
* Funkcja <math>\mathbb{R} \ni x \mapsto x^2 \in \mathbb{R}</math>  nie jest ani injekcją ani surjekcją. Nie posiada więc funkcji odwrotnej. Surjektywność można by "uratować", rozważając <center><math>f : \mathbb{R} \ni x \mapsto x^2 \in [0, +\infty).</math></center> Wciąż jednak brakowałoby injektywności.
* Funkcja <math>\mathbb{R} \ni x \mapsto x^2 \in \mathbb{R}</math>  nie jest ani injekcją ani surjekcją. Nie posiada więc funkcji odwrotnej. Surjektywność można by "uratować", rozważając
Ograniczając jednak, tę funkcję do liczb nieujemnych, tzn. traktując ją jako:
 
<center><math>f|_{[0, +\infty)}: [0, +\infty) \ni x \mapsto x^2 \in [0, +\infty),
<center><math>f : \mathbb{R} \ni x \mapsto x^2 \in [0, +\infty)</math>.</center>
</math></center>
 
 
Wciąż jednak brakowałoby injektywności. Ograniczając jednak, tę funkcję do liczb nieujemnych, tzn. traktując ją jako:
 
 
<center><math>f|_{[0, +\infty)}: [0, +\infty) \ni x \mapsto x^2 \in [0, +\infty)</math>,</center>
 
 
staje się już bijekcją, więc posiada funkcję odwrotną, którą jest
 
 
<center><math>[0, +\infty) \ni x \mapsto \sqrt{x} \in [0, +\infty)</math>.</center>


staje się już bijekcją, więc posiada funkcję odwrotną, którą jest
<center><math>[0, +\infty) \ni x \mapsto \sqrt{x} \in [0, +\infty).
</math></center>


}}
}}
Linia 201: Linia 216:
===Składanie funkcji===
===Składanie funkcji===


'''Złożenie''' funkcji  <math>f : X \longrightarrow Y</math> i funkcji <math>g : Y \longrightarrow Z</math> to funkcja  
{{kotwica|zlozenie|'''Złożenie'''}} funkcji  <math>f : X \longrightarrow Y</math> i funkcji <math>g : Y \longrightarrow Z</math> to funkcja  
 


<center><math>gf: X \longrightarrow Z
<center><math>gf: X \longrightarrow Z
</math></center>
</math></center>


określona dla wszystkich argumentów <math>x \in X</math> jako <math>(gf)(x) = g(f(x))</math>.
określona dla wszystkich argumentów <math>x \in X</math> jako <math>(gf)(x) = g(f(x))</math>.


* Nieformalnie -- najpierw obliczamy wartość funkcji <math>f</math> dla elementu <math>x</math>,<br> a następnie obliczamy wartość funkcji <math>g</math> dla wyniku tego obliczenia; <br> czyli "idziemy dalej wzdłuż następnej strzałki" <center><math>X \longrightarrow Y \longrightarrow Z</math></center>
* Nieformalnie - najpierw obliczamy wartość funkcji <math>f</math> dla elementu <math>x</math>,<br> a następnie obliczamy wartość funkcji <math>g</math> dla wyniku tego obliczenia; czyli "idziemy dalej wzdłuż następnej strzałki"  
 
<center><math>X \longrightarrow Y \longrightarrow Z</math></center>
 
* Piszemy <math>gf</math> (a nie <math>fg</math>) na oznaczenie złożenia, w którym najpierw obliczana jest wartość funkcji <math>f</math>, a potem funkcji <math>g</math>.
* Piszemy <math>gf</math> (a nie <math>fg</math>) na oznaczenie złożenia, w którym najpierw obliczana jest wartość funkcji <math>f</math>, a potem funkcji <math>g</math>.
* W praktyce, przy złożeniu <math>gf</math>, dziedzina funkcji <math>g</math> nie musi być tym samym zbiorem, co przeciwdziedzina funkcji <math>f</math> -- wystarczy, by była większa.
* W praktyce, przy złożeniu <math>gf</math>, dziedzina funkcji <math>g</math> nie musi być tym samym zbiorem, co przeciwdziedzina funkcji <math>f</math> - wystarczy, by była większa.


{{przyklad|||
{{przyklad|||


* Niech <math>f : \mathbb{N} \ni n \mapsto n + 2 \in \mathbb{N}</math> i <math>g : \mathbb{N} \ni n \mapsto 3n \in \mathbb{N}</math>.
* Niech <math>f : \mathbb{N} \ni n \mapsto n + 2 \in \mathbb{N}</math> i <math>g : \mathbb{N} \ni n \mapsto 3n \in \mathbb{N}</math>. Wówczas dla <math>gf : \mathbb{N} \longrightarrow \mathbb{N}</math> mamy <math>(gf)(n) = g(f(n)) = g(n + 2) = 3(n + 2)= 3n+6</math> a dla <math>fg : \mathbb{N} \longrightarrow \mathbb{N}</math> mamy <math>(fg)(n) = f(g(n)) = f(3n) = 3n + 2</math>.
Wówczas dla <math>gf : \mathbb{N} \longrightarrow \mathbb{N}</math> mamy <math>(gf)(n) = g(f(n)) = g(n + 2) = 3(n + 2)= 3n+6</math>
a dla <math>fg : \mathbb{N} \longrightarrow \mathbb{N}</math> mamy <math>(fg)(n) = f(g(n)) = f(3n) = 3n + 2</math>.
<br>
Morał: złożenia <math>fg</math> i <math>gf</math>  to (na ogół) różne funkcje.
Morał: złożenia <math>fg</math> i <math>gf</math>  to (na ogół) różne funkcje.
* Niech <math>f : \mathbb{R} \ni x \mapsto \sin 3x \in \mathbb{R}</math>  
* Niech <math>f : \mathbb{R} \ni x \mapsto \sin 3x \in \mathbb{R}</math> i <math>g : \mathbb{R} \ni x \mapsto  (x + \pi)^2 \in\mathbb{R}</math>. Wówczas złożenie <math>fg: \mathbb{R} \longrightarrow \mathbb{R}</math> dane jest wzorem
i <math>g : \mathbb{R} \ni x \mapsto  (x + \pi)^2 \in\mathbb{R}</math>.
 
Wówczas złożenie <math>fg: \mathbb{R} \longrightarrow \mathbb{R}</math> dane jest wzorem  
<center><math>(fg)(x) = f(g(x)) = f((x + \pi)^2) = \sin(3(x + \pi)^2)</math></center>
<center><math>(fg)(x) = f(g(x)) = f((x + \pi)^2) = \sin(3(x + \pi)^2).
 
</math></center>
 
Morał: Nie zawsze da się łatwo wyliczyć przepis na funkcję złożoną.
Morał: Nie zawsze da się łatwo wyliczyć przepis na funkcję złożoną.
* Gdy <math>f : X \longrightarrow Y</math> jest bijekcją,  
* Gdy <math>f : X \longrightarrow Y</math> jest bijekcją, to istnieje funkcja odwrotna <math>f^{-1} : Y \longrightarrow X</math>. Jeśli złożymy <math>f^{-1} f</math>, to uzyskamy funkcję <math>X \longrightarrow X</math>, która "nic nie robi":
to istnieje funkcja odwrotna <math>f^{-1} : Y \longrightarrow X</math>.
 
Jeśli złożymy <math>f^{-1} f</math>, to uzyskamy funkcję <math>X \longrightarrow X</math>, która "nic nie robi":
<center><math>(f^{-1} f)(x) = f^{-1}(f(x)) = x</math></center>
<center><math>(f^{-1} f)(x) = f^{-1}(f(x)) = x.
 
</math></center>
 
Taka funkcja zwana jest identycznością na zbiorze <math>X</math> i oznaczana <math>id_X</math>.
Taka funkcja zwana jest identycznością na zbiorze <math>X</math> i oznaczana <math>id_X</math>. Podobnie - składając <math>f f^{-1} : Y \longrightarrow Y</math>, otrzymamy identyczność na zbiorze <math>Y</math>.
<br>
Podobnie -- składając <math>f f^{-1} : Y \longrightarrow Y</math>, otrzymamy identyczność na zbiorze <math>Y</math>.


}}
}}
Linia 238: Linia 253:
Widzieliśmy, że nie zawsze <math>fg = gf</math>.
Widzieliśmy, że nie zawsze <math>fg = gf</math>.


{{obserwacja|||
{{obserwacja|3.1|obs 3.1|
 
Dla funkcji <math>X \stackrel{h}{\longrightarrow} Y \stackrel{g}{\longrightarrow} Z \stackrel{f}{\longrightarrow} W</math>
Dla funkcji <math>X \stackrel{h}{\longrightarrow} Y \stackrel{g}{\longrightarrow} Z \stackrel{f}{\longrightarrow} W</math>
zachodzi <math>f(gh) = (fg)h</math>.
zachodzi <math>f(gh) = (fg)h</math>.
}}
}}


{{obserwacja|||
{{obserwacja|3.2|obs 3.2|
 
Nadto dla <math>X \stackrel{f}{\longrightarrow} Y \stackrel{g}{\longrightarrow} Z</math> mamy:
Nadto dla <math>X \stackrel{f}{\longrightarrow} Y \stackrel{g}{\longrightarrow} Z</math> mamy:
* Jeśli <math>f, g</math> są surjekcjami, to <math>gf</math>  jest surjekcją.
* Jeśli <math>f, g</math> są surjekcjami, to <math>gf</math>  jest surjekcją.
* Jeśli <math>f, g</math> są injekcjami, to <math>gf</math>  jest injekcją.
* Jeśli <math>f, g</math> są injekcjami, to <math>gf</math>  jest injekcją.
* Jeśli <math>f, g</math> są bijekcjami, to <math>gf</math>  jest bijekcją.
* Jeśli <math>f, g</math> są bijekcjami, to <math>gf</math>  jest bijekcją.
Pierwsza i trzecia z powyższych własności nie zachodzą, jeśli dziedzina funkcji <math>g</math> jest większa niż przeciwdziedzina funkcji <math>f</math>.
* Pierwsza i trzecia z powyższych własności nie zachodzą, jeśli dziedzina funkcji <math>g</math> jest większa niż przeciwdziedzina funkcji <math>f</math>.


}}
}}


{{przyklad|||
{{przyklad|||
Zbadaj czy dla funkcji <math>X \stackrel{f}{\longrightarrow} Y \stackrel{g}{\longrightarrow} Z</math> zachodzi:
Zbadaj czy dla funkcji <math>X \stackrel{f}{\longrightarrow} Y \stackrel{g}{\longrightarrow} Z</math> zachodzi:
* jeśli <math>gf</math> jest surjekcją, to <math>f</math> jest surjekcją
* jeśli <math>gf</math> jest surjekcją, to <math>f</math> jest surjekcją
Linia 272: Linia 284:


{{przyklad|||
{{przyklad|||
Przykładem funkcji dwóch zmiennych są działania arytmetyczne:
Przykładem funkcji dwóch zmiennych są działania arytmetyczne:


Linia 282: Linia 293:


a także konkatenacja (sklejenie) słów
a także konkatenacja (sklejenie) słów
* <math>X^* \times X^* \ni (v,w) \mapsto vw \in X^*</math>,  
 
gdzie <math>vw</math> oznacza słowo (krotkę) powstałe z doklejenia słowa <math>w</math> na końcu słowa <math>v</math>.
* <math>X^* \times X^* \ni (v,w) \mapsto vw \in X^*</math>, gdzie <math>vw</math> oznacza słowo (krotkę) powstałe z doklejenia słowa <math>w</math> na końcu słowa <math>v</math>.


}}
}}
Linia 289: Linia 300:
==Zliczanie zbiorów==
==Zliczanie zbiorów==


Gdy chcemy policzyć liczbę samochodów na parkingu
[[grafika:Parking.jpg|thumb|250px|right|Liczenie samochodów na parkingu]]
zazwyczaj wskazujemy na kolejne samochody odliczając:  
 
jeden, dwa, trzy, itd.,  
Gdy chcemy policzyć liczbę samochodów na parkingu zazwyczaj wskazujemy na kolejne samochody odliczając: jeden, dwa, trzy, itd., aż do momentu gdy każdy samochód zostanie wskazany. Wtedy ostatnia liczba, którą wypowiedzieliśmy  
aż do momentu gdy każdy samochód zostanie wskazany.  
Wtedy ostatnia liczba, którą wypowiedzieliśmy  
jest uważana za liczbę samochodów na parkingu.
jest uważana za liczbę samochodów na parkingu.


''Rysunek:'' 2.4 Zdjęcie samochodów na parkingu.
Aby wprowadzić matematyczny model procedury zliczania definiujemy początkowe odcinki liczb naturalnych:
Samochody są ponumerowane liczbami tak jakby ktoś je zliczał.


Aby wprowadzić matematyczny model procedury zliczania
definiujemy początkowe odcinki liczb naturalnych:


<center><math>\aligned \mathbb{Z}_0&=&\emptyset,\\
<center>
\mathbb{Z}_1&=&{\left\{ {0} \right\}\ },\\
<math>\begin{align} \mathbb{Z}_0&=\emptyset,\\
\mathbb{Z}_2&=&{\left\{ {0,1} \right\}\ },\\
\mathbb{Z}_1&={\left\{ {0} \right\}\ },\\
&\vdots&\\
\mathbb{Z}_2&={\left\{ {0,1} \right\}\ },\\
\mathbb{Z}_k&=&{\left\{ {0,\ldots,k-1} \right\}\ }.
&\vdots\\
\endaligned</math></center>
\mathbb{Z}_k&={\left\{ {0,\ldots,k-1} \right\}\ }.
\end{align}</math>
</center>


Załóżmy, że na parkingu stoi <math>n</math> samochodów.  
 
Zliczając je wybieramy elementy <math>\mathbb{Z}_n</math> (zazwyczaj kolejne liczby)  
Załóżmy, że na parkingu stoi <math>n</math> samochodów. Zliczając je wybieramy elementy <math>\mathbb{Z}_n</math> (zazwyczaj kolejne liczby) i przypisujemy je do samochodów na parkingu. Uwaga: wybierając liczby z <math>\mathbb{Z}_n</math> zaczynamy od <math>0</math> i kończymy na <math>n-1</math> (na ogół nie-informatycy zliczają od <math>1</math> do <math>n</math>). Określamy zatem w trakcie tego zliczania bijekcję <math>f:\mathbb{Z}_n\rightarrow S</math>,
i przypisujemy je do samochodów na parkingu.  
gdzie <math>S</math> jest zbiorem samochodów na parkingu. W istocie jest to bijekcja, bo dwa różne samochody mają różne numery (injektywność)
Uwaga: wybierając liczby z <math>\mathbb{Z}_n</math> zaczynamy od <math>0</math> i kończymy na <math>n-1</math>
(na ogół nie-informatycy zliczają od <math>1</math> do <math>n</math>).
Określamy zatem w trakcie tego zliczania bijekcję <math>f:\mathbb{Z}_n\rightarrow S</math>,  
gdzie <math>S</math> jest zbiorem samochodów na parkingu.  
W istocie jest to bijekcja,  
bo dwa różne samochody mają różne numery (injektywność)  
i każdy samochód jest policzony (surjektywność).
i każdy samochód jest policzony (surjektywność).


{{obserwacja|||
{{obserwacja|3.3|obs 3.3|
 
Gdy <math>m<n</math>, to nie istnieje injekcja z <math>\mathbb{Z}_n</math> w <math>\mathbb{Z}_m</math>.
Gdy <math>m<n</math>, to nie istnieje injekcja z <math>\mathbb{Z}_n</math> w <math>\mathbb{Z}_m</math>.
}}
}}
[[File:SW 2.5.svg|250x250px|thumb|right|SW 2.5.swf]]


{{dowod|||
{{dowod|||
Niech <math>S</math> będzie zbiorem liczb naturalnych <math>n</math> takich,  
Niech <math>S</math> będzie zbiorem liczb naturalnych <math>n</math> takich,  
że istnieje injekcja postaci
że istnieje injekcja postaci <math>f:\mathbb{Z}_m\rightarrow\mathbb{Z}_n</math>, przy pewnym <math>m<n</math>. Oczywiście <math>0\notin S</math>, bo nie istnieje liczba naturalna <math>m</math> taka, że <math>0\leq m<0</math>.  
<math>f:\mathbb{Z}_m\rightarrow\mathbb{Z}_n</math>, przy pewnym <math>m<n</math>.  
Także <math>1\notin S</math>, bo nie istnieje funkcja z niepustego zbioru <math>\mathbb{Z}_1</math> w pusty <math>\mathbb{Z}_0</math>. Dla dowodu niewprost załóżmy, że <math>S</math> jest niepusty. Wtedy, z [[Matematyka dyskretna 1/Wykład 1: Indukcja#zmin|Zasady Minimum]], <math>S</math> ma element najmniejszy, powiedzmy math>n_0>1</math>. Istnieje zatem <math>m<n_0</math> i injekcja <math>f:\mathbb{Z}_{n_0}\rightarrow\mathbb{Z}_m</math>. Analogicznie jak wcześniej <math>m\neq 0</math> oraz <math>m\neq 1</math>, bo inaczej wszystkie elementy <math>N_{n_0}</math> musiałyby mieć tę samą wartość, co stoi w sprzeczności z injektywnością <math>f</math>. Zatem <math>m-1</math> jest dodatnią liczbą naturalną.
Oczywiście <math>0\notin S</math>, bo nie istnieje liczba naturalna <math>m</math> taka, że <math>0\leq m<0</math>.  
Także <math>1\notin S</math>,  
bo nie istnieje funkcja z niepustego zbioru <math>\mathbb{Z}_1</math> w pusty <math>\mathbb{Z}_0</math>.  
Dla dowodu niewprost załóżmy, że <math>S</math> jest niepusty.  
Wtedy, z Zasady Minimum,  
<math>S</math> ma element najmniejszy, powiedzmy <math>n_0>1</math>.  
Istnieje zatem <math>m<n_0</math> i injekcja <math>f:\mathbb{Z}_{n_0}\rightarrow\mathbb{Z}_m</math>.  
Analogicznie jak wcześniej <math>m\neq 0</math> oraz <math>m\neq 1</math>,  
bo inaczej wszystkie elementy <math>N_{n_0}</math> musiałyby mieć tę samą wartość,  
co stoi w sprzeczności z injektywnością <math>f</math>.  
Zatem <math>m-1</math> jest dodatnią liczbą naturalną.


Jeśli <math>m-1\notin f({\left\{ {0,\ldots,n_0-2} \right\}\ })</math>,  
Jeśli <math>m-1\notin f({\left\{ {0,\ldots,n_0-2} \right\}\ })</math>, to restrykcja <math>f|_{\mathbb{Z}_{n_0-1}}</math> jest injekcją z <math>\mathbb{Z}_{n_0-1}</math> w <math>\mathbb{Z}_{m-1}</math>, czyli <math>n_0-1\in S</math> co stoi w sprzeczności z minimalnością <math>n_0</math> w <math>S</math>.
to restrykcja <math>f|_{\mathbb{Z}_{n_0-1}}</math>  
jest injekcją z <math>\mathbb{Z}_{n_0-1}</math> w <math>\mathbb{Z}_{m-1}</math>,  
czyli <math>n_0-1\in S</math> co stoi w sprzeczności z minimalnością <math>n_0</math> w <math>S</math>.


Jeśli <math>m-1\in f({\left\{ {0,\ldots,n_0-2} \right\}\ })</math>, to niech <math>a</math> i <math>b</math>  
Jeśli <math>m-1\in f({\left\{ {0,\ldots,n_0-2} \right\}\ })</math>, to niech <math>a</math> i <math>b</math> będą takimi liczbami, że <math>f(a)=m-1</math> i <math>f(n_0-1)=b</math>.
będą takimi liczbami, że <math>f(a)=m-1</math> i <math>f(n_0-1)=b</math>.


''Rysunek:'' Rys 2.5 Szkic na kartce.
Wtedy funkcja <math>g:\ N_{n_0-1}\rightarrow\mathbb{Z}_{m-1}</math> zadana przez


Wtedy funkcja <math>g:\ N_{n_0-1}\rightarrow\mathbb{Z}_{m-1}</math> zadana przez


<center><math>g(x)=
<center><math>g(x)=
\left\{
\left\{
\begin{array} {cl}
\begin{array} {cl}
f(x),& \textrm{dla } x\neq a
f(x),& \text{dla} \quad x\neq a
\\  
\\  
b,& \textrm{dla </math>x<nowiki>=</nowiki>a<math>}
b,& \text{dla} \quad x=a
\end{array}  
\end{array}  
\right.
\right.</math></center>
</math></center>
 


jest injekcją, bo dla <math>x_1,x_2\in\mathbb{Z}_{n_0-1}-{\left\{ {a} \right\}\ }</math>  
jest injekcją, bo dla <math>x_1,x_2\in\mathbb{Z}_{n_0-1}-{\left\{ {a} \right\}\ }</math> zachodzi <math>g(x_1)=g(x_2)\rightarrow x_1=x_2</math> i dodatkowo <math>b\notin g(\mathbb{Z}_{n_0}-{\left\{ {a} \right\}\ })=f(\mathbb{Z}_{n_0}-{\left\{ {a} \right\}\ })</math>. Zatem znów <math>n_0-1\in S</math>, co stoi w sprzeczności z minimalnością <math>n_0</math> w <math>S</math>.
zachodzi <math>g(x_1)=g(x_2)\rightarrow x_1=x_2</math>  
i dodatkowo <math>b\notin g(\mathbb{Z}_{n_0}-{\left\{ {a} \right\}\ })=f(\mathbb{Z}_{n_0}-{\left\{ {a} \right\}\ })</math>.  
Zatem znów <math>n_0-1\in S</math>, co stoi w sprzeczności z minimalnością <math>n_0</math> w <math>S</math>.
}}
}}


{{wniosek|||
{{wniosek|3.4|wn 3.4|
 
Jeśli istnieje bijekcja ze zbioru <math>\mathbb{Z}_m</math> na <math>\mathbb{Z}_n</math>, to <math>m=n</math>.
Jeśli istnieje bijekcja ze zbioru <math>\mathbb{Z}_m</math> na <math>\mathbb{Z}_n</math>, to <math>m=n</math>.
}}
}}


'''Zbiór skończony''' to zbiór bijektywny z pewnym zbiorem postaci <math>\mathbb{Z}_n</math>.
{{kotwica|zbskon|'''Zbiór skończony'''}} to zbiór bijektywny z pewnym zbiorem postaci <math>\mathbb{Z}_n</math>.


'''Zbiór nieskończony''' to zbiór, który nie jest skończony.
{{kotwica|zbnieskon|'''Zbiór nieskończony'''}} to zbiór, który nie jest skończony.


Jeśli <math>X</math> jest zbiorem skończonym,  
Jeśli <math>X</math> jest zbiorem skończonym, to [[#wn_3.4|Wniosek 3.4]]
to Wniosek [[##bijekcja Nm Nm|Uzupelnic bijekcja Nm Nm|]]
gwarantuje nam, że <math>X</math> jest bijektywny z dokładnie jednym zbiorem postaci <math>\mathbb{Z}_n</math>. Rozważając skończony zbiór <math>n</math>-elementowy <math>X</math>, często używamy notacji <math>X={\left\{ {x_0,x_1,\ldots,x_{n-1}} \right\}\ }</math> ukrywającej w sobie bijekcję postaci <math>\mathbb{Z}_n \longrightarrow X</math>.
gwarantuje nam, że <math>X</math> jest bijektywny z dokładnie jednym zbiorem postaci <math>\mathbb{Z}_n</math>.
Rozważając skończony zbiór <math>n</math>-elementowy <math>X</math>,  
często używamy notacji <math>X={\left\{ {x_0,x_1,\ldots,x_{n-1}} \right\}\ }</math>
ukrywającej w sobie bijekcję postaci <math>\mathbb{Z}_n \longrightarrow X</math>.


'''Liczba elementów''' skończonego zbioru <math>X</math>, to
{{kotwica|lelem|'''Liczba elementów'''}} skończonego zbioru <math>X</math>, to
jedyna liczba naturalna <math>n</math> taka, że istnieje bijekcja z <math>\mathbb{Z}_n</math> w <math>X</math>.  
jedyna liczba naturalna <math>n</math> taka, że istnieje bijekcja z <math>\mathbb{Z}_n</math> w <math>X</math>. Liczbę te oznaczamy <br> przez <math>\left\vert X\right\vert</math>.  
Liczbę te oznaczamy przez <math>\left\vertX\right\vert</math>.  


{{przyklad|||
{{przyklad|||
Oczywiście <math>\left\vert\mathbb{Z}_n\right\vert = n</math>.
Oczywiście <math>\left\vert\mathbb{Z}_n\right\vert = n</math>.
W szczególności zbiór pusty ma, zgodnie z intuicją, liczbę elementów równą <math>0</math>.
W szczególności zbiór pusty ma, zgodnie z intuicją, liczbę elementów równą <math>0</math>.
Linia 397: Linia 373:


{{przyklad|||
{{przyklad|||
Zbiór liczb parzystych <math>\mathbb{P}</math> jest nieskończony.
Zbiór liczb parzystych <math>\mathbb{P}</math> jest nieskończony.


Dla dowodu niewprost załóżmy, że <math>\left\vert\mathbb{P}\right\vert=k</math>, tzn.  
Dla dowodu niewprost załóżmy, że <math>\left\vert\mathbb{P}\right\vert=k</math>, tzn. <math>\mathbb{P} = {\left\{ {p_0,\ldots,p_{k-1}} \right\}\ }</math>. Oczywiście <math>\mathbb{P} \neq \emptyset</math>, bo <math>0\in \mathbb{P}</math>. Nadto suma wszystkich <math>p_i</math> jest ograniczeniem zbioru <math>\mathbb{P}</math>, a więc, z Zasady Maksimum, <math>\mathbb{P}</math> posiada element największy, powiedzmy <math>p_0</math>.  
<math>\mathbb{P} = {\left\{ {p_0,\ldots,p_{k-1}} \right\}\ }</math>.  
Ponieważ <math>p_0</math> jest największą liczbą parzystą, <math>p_0+2\notin \mathbb{P}</math>, co oczywiście daje sprzeczność.
Oczywiście <math>\mathbb{P} \neq \emptyset</math>, bo <math>0\in \mathbb{P}</math>.  
Nadto suma wszystkich <math>p_i</math> jest ograniczeniem zbioru <math>\mathbb{P}</math>,  
a więc, z Zasady Maksimum, <math>\mathbb{P}</math> posiada element największy, powiedzmy <math>p_0</math>.  
Ponieważ <math>p_0</math> jest największą liczbą parzystą, <math>p_0+2\notin \mathbb{P}</math>,  
co oczywiście daje sprzeczność.
}}
}}


{{obserwacja|||
{{obserwacja|3.5|obs 3.5|
 
Zbiór <math>X</math> jest nieskończony wtedy i tylko wtedy, gdy istnieje injekcja z <math>\mathbb{N}</math> w <math>X</math>.
Zbiór <math>X</math> jest nieskończony wtedy i tylko wtedy, gdy istnieje injekcja z <math>\mathbb{N}</math> w <math>X</math>.
}}
}}


{{dowod|||
{{dowod|||
Załóżmy, że <math>X</math> jest nieskończony i zdefiniujmy indukcyjnie funkcję  
Załóżmy, że <math>X</math> jest nieskończony i zdefiniujmy indukcyjnie funkcję  
<math>f:\mathbb{N}\longrightarrow X</math>, kładąc:
<math>f:\mathbb{N}\longrightarrow X</math>, kładąc:
Linia 422: Linia 390:
# gdy <math>f(0),\ldots,f(n)</math> są już określone, wtedy niech <math>f(n+1)</math> będzie dowolnie wybranym elementem z <math>X-{\left\{ {f(0),\ldots,f(n)} \right\}\ }</math>.
# gdy <math>f(0),\ldots,f(n)</math> są już określone, wtedy niech <math>f(n+1)</math> będzie dowolnie wybranym elementem z <math>X-{\left\{ {f(0),\ldots,f(n)} \right\}\ }</math>.


To, że wyboru opisanego w punkcie drugim możemy zawsze dokonać,  
To, że wyboru opisanego w punkcie drugim możemy zawsze dokonać, wynika wprost z nieskończoności zbioru <math>X</math>. Istotnie, gdyby zbiór <math>X-{\left\{ {f(0),\ldots,f(n)} \right\}\ }</math> był pusty, to <math>f</math> byłoby bijekcją <math>\mathbb{Z}_{n+1} \longrightarrow X</math> świadczącą o tym, że <math>X</math> jest skończony. Oczywiście, tak zdefiniowana funkcja <math>f : \mathbb{N} \longrightarrow X</math> jest injekcją.
wynika wprost z nieskończoności zbioru <math>X</math>.  
Istotnie, gdyby zbiór <math>X-{\left\{ {f(0),\ldots,f(n)} \right\}\ }</math> był pusty, to
<math>f</math> byłoby bijekcją <math>\mathbb{Z}_{n+1} \longrightarrow X</math> świadczącą o tym, że <math>X</math> jest skończony.
Oczywiście, tak zdefiniowana funkcja <math>f : \mathbb{N} \longrightarrow X</math> jest injekcją.


Dla dowodu implikacji odwrotnej załóżmy,  
Dla dowodu implikacji odwrotnej załóżmy, że istnieje injekcja <math>f:\mathbb{N}\longrightarrow X</math> oraz że <math>X</math> jest skończony tzn. że istnieje bijekcja <math>g:\mathbb{Z}_n\longrightarrow X</math> dla pewnego <math>n</math>. Zauważmy, że restrykcja <math>f|_{\mathbb{Z}_{n+1}}</math> jest również injekcją. A zatem złożenie <math>g^{-1} f|_{\mathbb{Z}_{n+1}}</math>
że istnieje injekcja <math>f:\mathbb{N}\longrightarrow X</math> oraz że <math>X</math> jest skończony  
jest injekcją z <math>\mathbb{Z}_{n+1}</math> w <math>\mathbb{Z}_n</math>, co stoi w sprzeczności z [[#obs_3.3|Obserwacją 3.3]].
tzn. że istnieje bijekcja <math>g:\mathbb{Z}_n\longrightarrow X</math> dla pewnego <math>n</math>.  
Zauważmy, że restrykcja <math>f|_{\mathbb{Z}_{n+1}}</math> jest również injekcją.  
A zatem złożenie <math>g^{-1} f|_{\mathbb{Z}_{n+1}}</math>
jest injekcją z <math>\mathbb{Z}_{n+1}</math> w <math>\mathbb{Z}_n</math>, co stoi w sprzeczności
z Obserwacją [[##obserwacja - nie ma injekcji z m do n|Uzupelnic obserwacja - nie ma injekcji z m do n|]].
}}
}}


'''Zbiór przeliczalny''' to zbiór skończony lub bijektywny z <math>\mathbb{N}</math>.
{{kotwica|zbprzeli|'''Zbiór przeliczalny'''}} to zbiór skończony lub bijektywny z <math>\mathbb{N}</math>.


{{przyklad|||
{{przyklad|||
* zbiór pusty jest przeliczalny, bo jest skończony,
* zbiór pusty jest przeliczalny, bo jest skończony,
* zbiór liczb parzystych jest przeliczalny, bo <math>f(x)=2x</math> jest bijekcją <math>\mathbb{N}\longrightarrow\mathbb{P}</math>  
* zbiór liczb parzystych jest przeliczalny, bo <math>f(x)=2x</math> jest bijekcją <math>\mathbb{N}\longrightarrow\mathbb{P}</math>  
* zbiór liczb całkowitych jest przeliczalny, bo <center><math>f(x)=
* zbiór liczb całkowitych jest przeliczalny, bo
 
 
<center><math>f(x)=
\left\{
\left\{
\begin{array} {cl}
\begin{array} {cl}
\frac{x}{2},&\textrm{dla parzystych } x,
\frac{x}{2},&\text{dla parzystych } x,
\\  
\\  
\frac{-1-x}{2},&\textrm{dla nieparzystych } x,
\frac{-1-x}{2},&\text{dla nieparzystych } x,
\end{array}  
\end{array}  
\right.
\right.</math></center>
</math></center>
 


jest bijekcją z <math>\mathbb{N}</math> w <math>\mathbb{Z}</math>.
jest bijekcją z <math>\mathbb{N}</math> w <math>\mathbb{Z}</math>.
Linia 459: Linia 420:
===Zasada Szufladkowa===
===Zasada Szufladkowa===


Wróćmy jeszcze do Obserwacji [[##obserwacja - nie ma injekcji z m do n|Uzupelnic obserwacja - nie ma injekcji z m do n|]] --
Wróćmy jeszcze do [[#obs_3.3|Obserwacji 3.3]] - formalnej podstawy zliczania skończonych zbiorów. Ma ona także bardziej praktyczną interpretację. Jest to formalne ujęcie faktu powszechnie znanego jako Zasada Szufladkowa Dirichleta  
formalnej podstawy zliczania skończonych zbiorów.  
Ma ona także bardziej praktyczną interpretację.  
Jest to formalne ujęcie faktu powszechnie znanego jako  
Zasada Szufladkowa Dirichleta  
(wierzy się, że jako pierwszy opisał ja Dirichlet w 1834).
(wierzy się, że jako pierwszy opisał ja Dirichlet w 1834).


{{wniosek|||
{{wniosek|3.6 [Zasada Szufladkowa Dirichleta]|3.6|
[Zasada Szufladkowa Dirichleta]
Jeśli <math>n</math> obiektów jest rozmieszczonych w <math>m</math> szufladach i <math>n>m</math>, to istnieje szuflada z przynajmniej dwoma obiektami.
Jeśli <math>n</math> obiektów jest rozmieszczonych w <math>m</math> szufladach i <math>n>m</math>,  
to istnieje szuflada z przynajmniej dwoma obiektami.
}}
}}
''Rysunek:'' Rys. 2.6 Szkic i omówienie na kartce.


{{dowod|||
{{dowod|||
 
Zbiór obiektów jest bijektywny ze zbiorem <math>\mathbb{Z}_n</math>, zaś zbiór szuflad z <math>\mathbb{Z}_m</math>. Rozmieszczenie obiektów w szufladach to określenie funkcji z <math>\mathbb{Z}_n</math> w <math>\mathbb{Z}_m</math>.  
Zbiór obiektów jest bijektywny ze zbiorem <math>\mathbb{Z}_n</math>,  
Ponieważ <math>n>m</math> to [[#obs_3.3|Obserwacja 3.3]]
zaś zbiór szuflad z <math>\mathbb{Z}_m</math>.  
mówi nam, ze funkcja ta nie jest injekcją, a zatem lokuje co najmniej dwa obiekty w tej samej szufladzie.
Rozmieszczenie obiektów w szufladach to określenie funkcji z <math>\mathbb{Z}_n</math> w <math>\mathbb{Z}_m</math>.  
Ponieważ <math>n>m</math> to Obserwacja [[##obserwacja - nie ma injekcji z m do n|Uzupelnic obserwacja - nie ma injekcji z m do n|]]  
mówi nam, ze funkcja ta nie jest injekcją,  
a zatem lokuje co najmniej dwa obiekty w tej samej szufladzie.
}}
}}


Linia 487: Linia 436:
Proste przykłady:
Proste przykłady:


* Wśród mieszkańców Krakowa co najmniej dwie osoby mają tę samą liczbę włosów na głowie.
* Wśród mieszkańców Krakowa co najmniej dwie osoby mają tę samą liczbę włosów na głowie.}}


{{dowod|||
{{dowod|||
 
Rzeczywiście, liczba włosów na głowie człowieka nie przekracza <math>500 000</math>, natomiast liczba mieszkańców Krakowa przekracza <math>800 000</math>. Weźmy <math>500 000</math> szufladek ponumerowanych kolejnymi liczbami naturalnymi od <math>0</math> do <math>499 999</math> i wkładajmy do szufladki o danym numerze osoby, które mają taką liczbę włosów na głowie, jak numer szufladki. Ponieważ osób jest <math>800 000</math>, a szufladek <math>500 000</math>, z Zasady Szufladkowej wynika, że w jednej szufladce muszą znaleźć się co najmniej dwie osoby.
Rzeczywiście, liczba włosów na głowie człowieka nie przekracza <math>500 000</math>,  
natomiast liczba mieszkańców Krakowa przekracza <math>800 000</math>.  
Weźmy <math>500 000</math> szufladek ponumerowanych kolejnymi liczbami naturalnymi  
od <math>0</math> do <math>499 999</math>  
i wkładajmy do szufladki o danym numerze osoby,  
które mają taką liczbę włosów na głowie, jak numer szufladki.  
Ponieważ osób jest <math>800 000</math>, a szufladek <math>500 000</math>,  
z Zasady Szufladkowej wynika,  
że w jednej szufladce muszą znaleźć się co najmniej dwie osoby.
}}
}}


* W grupie <math>13</math> osób muszą być co najmniej dwie,  
* W grupie <math>13</math> osób muszą być co najmniej dwie, które urodziły się w tym samym miesiącu.
które urodziły się w tym samym miesiącu.


{{dowod|||
{{dowod|||
 
Weźmy <math>12</math> szufladek z nazwami miesięcy i wkładajmy do nich osoby, które urodziły się w danym miesiącu. Ponieważ osób jest <math>13</math>, a szufladek <math>12</math>, w jednej z nich muszą być co najmniej dwie osoby.
Weźmy <math>12</math> szufladek z nazwami miesięcy i wkładajmy do nich osoby,  
które urodziły się w danym miesiącu.  
Ponieważ osób jest <math>13</math>, a szufladek <math>12</math>,  
w jednej z nich muszą być co najmniej dwie osoby.
}}
 
}}
}}


Linia 518: Linia 451:


{{przyklad|||
{{przyklad|||
Pewna grupa osób wita się podając sobie ręce.
Pewna grupa osób wita się podając sobie ręce.
Nikt nie wita się z samym sobą i żadna para osób nie wita się podwójnie.
Nikt nie wita się z samym sobą i żadna para osób nie wita się podwójnie.
Linia 524: Linia 456:


* Gdy jest <math>n</math> osób, to każda z nich przywita <math>0</math> lub <math>1</math> lub <math>2</math> lub ... <math>n-1</math> osób.
* Gdy jest <math>n</math> osób, to każda z nich przywita <math>0</math> lub <math>1</math> lub <math>2</math> lub ... <math>n-1</math> osób.
* Utwórzmy więc <math>n</math> szuflad z etykietami <math>k=0,1,2,\ldots, n-1</math><br> i umieśćmy osobę w szufladzie o etykiecie <math>k</math>, jeśli witała się z dokładnie <math>k</math> osobami.
* Utwórzmy więc <math>n</math> szuflad z etykietami <math>k=0,1,2,\ldots, n-1</math> i umieśćmy osobę w szufladzie o etykiecie <math>k</math>, jeśli witała się z dokładnie <math>k</math> osobami.
* Skoro jest <math>n</math> osób i <math>n</math> szuflad, to ... <br>{ niewiele z tego wynika  :-(}
* Skoro jest <math>n</math> osób i <math>n</math> szuflad, to ... <br> niewiele z tego wynika  :-(
* Ale... niewiele wynika tylko jeśli wszystkie szuflady będą zajęte,<br>a tak jest w przypadku, gdy również dwa konkretne pudełka o etykietach <math>0</math> i <math>n-1</math> są zajęte. Tyle, że nie jest to możliwe -- nie może być osoby,  
* Ale... niewiele wynika tylko jeśli wszystkie szuflady będą zajęte, a tak jest w przypadku, gdy również dwa konkretne pudełka o etykietach <math>0</math> i <math>n-1</math> są zajęte. Tyle, że nie jest to możliwe - nie może być osoby, która przywitała wszystkie pozostałe i równocześnie takiej, która nie przywitała nikogo.
która przywitała wszystkie pozostałe i równocześnie takiej, która nie przywitała nikogo.
* A zatem <math>n</math> osób zajęło co najwyżej <math>n-1</math> szuflad, więc w jednej z nich są co najmniej dwie osoby - takie, które przywitały tę samą liczbę osób.
* A zatem <math>n</math> osób zajęło co najwyżej <math>n-1</math> szuflad,  
więc w jednej z nich są co najmniej dwie osoby --
takie, które przywitały tę samą liczbę osób.


}}
}}


{{przyklad|||
{{przyklad|||
 
Wybierając <math>n+1</math> liczb spośród <math>1,2,3,\ldots, 2n</math>, wśród wybranych liczb zawsze znajdziemy dwie, z których jedna dzieli drugą.
Wybierając <math>n+1</math> liczb spośród <math>1,2,3,\ldots, 2n</math>, wśród wybranych liczb
zawsze znajdziemy dwie, z których jedna dzieli drugą.


Istotnie:
Istotnie:


* Określmy relacje <math>xRy</math> na liczbach naturalnych, tak by:
* Określmy relacje <math>xRy</math> na liczbach naturalnych, tak by:
<center><math>xRy \ \ \Leftrightarrow \ \
 
\mbox{iloraz </math>{x}{y}<math> jest potęgą (być może ujemną) liczby </math>2<math>.}
<center><math>xRy \ \ \Leftrightarrow</math> iloraz <math>\frac{x}{y}</math> jest potęgą (być może ujemną) liczby <math>2</math>.</center>
</math></center>
 
 
Oznacza to, że <math>xRy</math> jeśli liczby <math>x, y</math> mają ten sam największy czynnik nieparzysty.
Oznacza to, że <math>xRy</math> jeśli liczby <math>x, y</math> mają ten sam największy czynnik nieparzysty.
* Szufladami niech będą klasy równoważności relacji <math>R</math>.
* Szufladami niech będą klasy równoważności relacji <math>R</math>.
* Ile jest klas-szuflad dla liczb ze zbioru <math>{\left\{ {1,2,3,\ldots, 2n} \right\}\ }</math>? <br>
* Ile jest klas-szuflad dla liczb ze zbioru <math>{\left\{ {1,2,3,\ldots, 2n} \right\}\ }</math>? Co najwyżej <math>n</math>, gdyż tyle może być liczb nieparzystych w zbiorze <math>{\left\{ {1, 2, \ldots, 2n} \right\}\ }</math>.
Co najwyżej <math>n</math>, gdyż tyle może być liczb nieparzystych w zbiorze <math>{\left\{ {1, 2, ..., 2n} \right\}\ }</math>.
* Skoro wybrano <math>n + 1</math>, to rozkładając je do naszych szuflad jakieś dwie, powiedzmy <math>a,b</math> muszą trafić do wspólnej szuflady.
* Skoro wybrano <math>n + 1</math>, to rozkładając je do naszych szuflad jakieś dwie,  
powiedzmy <math>a,b</math> muszą trafić do wspólnej szuflady.<br>
Oznacza to, że któryś z ilorazów <math>\frac{a}{b}, \frac{b}{a}</math>  
Oznacza to, że któryś z ilorazów <math>\frac{a}{b}, \frac{b}{a}</math>  
jest dodatnią potęgą dwójki, a zatem <math>a </math> dzieli <math>b</math> lub <math>b</math> dzieli <math>a</math>.
jest dodatnią potęgą dwójki, a zatem <math>a</math> dzieli <math>b</math> lub <math>b</math> dzieli <math>a</math>.


}}
}}


{{przyklad|||
{{przyklad|||
Wybierzmy dowolnie <math>10</math> różnych liczb naturalnych  
Wybierzmy dowolnie <math>10</math> różnych liczb naturalnych  
<math>a_1,a_2,\ldots,a_{10}</math> spośród <math>1,2,3,\ldots,100</math>.  
<math>a_1,a_2,\ldots,a_{10}</math> spośród <math>1,2,3,\ldots,100</math>.  
Pokażemy, że w zbiorze <math>{\left\{ {a_1,a_2,\ldots,a_{10}} \right\}\ }</math>  
Pokażemy, że w zbiorze <math>{\left\{ {a_1,a_2,\ldots,a_{10}} \right\}\ }</math> można wybrać dwa rozłączne podzbiory, dające tę samą sumę.
można wybrać dwa rozłączne podzbiory, dające tę samą sumę.


Istotnie:
Istotnie:


* Szuflady poetykietujmy liczbami reprezentującymi możliwe sumy liczb  
* Szuflady poetykietujmy liczbami reprezentującymi możliwe sumy liczb w co najwyżej 10-cio elementowych podzbiorach zbioru <math>{\left\{ {1,2,3,\ldots,100} \right\}\ }</math>. Ponieważ największa możliwa taka suma to <math>91+92+93+\cdots+99+100 = 955</math>, to mamy <math>955</math> szuflad z etykietami: <math>0,1,2,3,\ldots, 955</math>
w co najwyżej 10-cio elementowych  
* z drugiej strony <math>10</math>-cio elementowy zbiór <math>{\left\{ {a_1,a_2,\ldots,a_{10}} \right\}\ }</math> ma <math>2^{10}=1024</math> podzbiory, więc muszą być dwa podzbiory zbioru <math>{\left\{ {a_1,a_2,\ldots,a_{10}} \right\}\ }</math> o tej samej sumie.
podzbiorach zbioru <math>{\left\{ {1,2,3,\ldots,100} \right\}\ }</math>.<br>
* Te dwa podzbiory nie muszą być rozłączne. Ale jeśli z obu z nich usuniemy wspólne liczby, to  pozostałe dalej będą dawać takie same sumy, a powstałe zbiory będą już rozłączne.
Ponieważ największa możliwa taka suma to <math>91+92+93+\cdots+99+100 = 955</math>,  
to mamy 955 szuflad z etykietami: <math>0,1,2,3,\ldots, 955</math>
* z drugiej strony <math>10</math>-cio elementowy zbiór <math>{\left\{ {a_1,a_2,\ldots,a_{10}} \right\}\ }</math>  
ma <math>2^{10}=1024</math> podzbiory,  
więc muszą być dwa podzbiory zbioru <math>{\left\{ {a_1,a_2,\ldots,a_{10}} \right\}\ }</math> o tej samej sumie.
* Te dwa podzbiory nie muszą być rozłączne.  
Ale jeśli z obu z nich usuniemy wspólne liczby,  
to  pozostałe dalej będą dawać takie same sumy,  
a powstałe zbiory będą już rozłączne.


}}
}}
Linia 592: Linia 507:
i w sposób intuicyjny stosowana od początków cywilizacji.
i w sposób intuicyjny stosowana od początków cywilizacji.


====Zasada dodawania====
===={{kotwica|zasdod|Zasada dodawania}}====


''Dla skończonych i rozłącznych zbiorów <math>A</math> i <math>B</math> mamy:
''Dla skończonych i rozłącznych zbiorów <math>A</math> i <math>B</math> mamy:


<center><math>\left\vertA\cup B\right\vert=\left\vertA\right\vert+\left\vertB\right\vert.
</math></center>


''
<center><math>\left\vert A\cup B\right\vert=\left\vert A\right\vert+\left\vert B\right\vert</math>.</center>''
 


{{dowod|||
{{dowod|||
Niech liczności zbiorów <math>\left\vert A\right\vert=m</math>, <math>\left\vert B\right\vert=n</math> będą poświadczone bijekcjami <math>f:\mathbb{Z}_m\rightarrow A</math> i <math>g:\mathbb{Z}_n\rightarrow B</math>. Wtedy funkcja <math>h:\mathbb{Z}_{m+n}\rightarrow A\cup B</math>  zadana przez:


Niech liczności zbiorów <math>\left\vertA\right\vert=m</math>, <math>\left\vertB\right\vert=n</math>
będą poświadczone bijekcjami <math>f:\mathbb{Z}_m\rightarrow A</math> i <math>g:\mathbb{Z}_n\rightarrow B</math>.
Wtedy funkcja <math>h:\mathbb{Z}_{m+n}\rightarrow A\cup B</math>  zadana przez:


<center><math>h(x)=
<center><math>h(x)=
\left\{
\left\{
\begin{array} {ll}
\begin{array} {ll}
f(x),&\textrm{dla }x\in{\left\{ {0,\ldots,m-1} \right\}\ }
f(x),&\text{dla }x\in{\left\{ {0,\ldots,m-1} \right\}\ }
\\  
\\  
g(x-m),& \textrm{dla } x\in{\left\{ {m,\ldots,m+n-1} \right\}\ }
g(x-m),& \text{dla } x\in{\left\{ {m,\ldots,m+n-1} \right\}\ }
\end{array}  
\end{array}  
\right.
\right.</math></center>
</math></center>
 


jest bijekcją.
jest bijekcją. Istotnie, skoro zbiory <math>A</math> i <math>B</math> są rozłączne, to dla dowolnych <math>x_1\in{\left\{ {0,\ldots,m-1} \right\}\ }</math>, <math>x_2\in{\left\{ {m,\ldots,m+n-1} \right\}\ }</math> zachodzi <math>h(x_1)\neq h(x_2)</math>. Ponadto restrykcje <math>h</math> do zbiorów zbiorów <math>{\left\{ {0,\ldots,m-1} \right\}\ }</math> i <math>{\left\{ {m,\ldots,m+n-1} \right\}\ }</math> są injekcjami. A zatem <math>h</math> jest injekcją.  
Istotnie, skoro zbiory <math>A</math> i <math>B</math> są rozłączne, to  
dla dowolnych <math>x_1\in{\left\{ {0,\ldots,m-1} \right\}\ }</math>, <math>x_2\in{\left\{ {m,\ldots,m+n-1} \right\}\ }</math>  
zachodzi <math>h(x_1)\neq h(x_2)</math>.  
Ponadto restrykcje <math>h</math> do zbiorów zbiorów  
<math>{\left\{ {0,\ldots,m-1} \right\}\ }</math> i <math>{\left\{ {m,\ldots,m+n-1} \right\}\ }</math> są injekcjami.
A zatem <math>h</math> jest injekcją.  


Dla dowodu surjektywności <math>h</math> weźmy dowolny element <math>y\in A\cup B</math>.  
Dla dowodu surjektywności <math>h</math> weźmy dowolny element <math>y\in A\cup B</math>. Załóżmy, że <math>y\in A</math> (w drugim przypadku dowód przebiega analogicznie). Wtedy z surjektywności <math>f</math> wiemy,  
Załóżmy, że <math>y\in A</math> (w drugim przypadku dowód przebiega analogicznie).  
Wtedy z surjektywności <math>f</math> wiemy,  
że istnieje <math>x\in\mathbb{Z}_m</math> takie, że <math>f(x)=y</math>.   
że istnieje <math>x\in\mathbb{Z}_m</math> takie, że <math>f(x)=y</math>.   
Ale <math>h(x)=f(x)=y</math>.  
Ale <math>h(x)=f(x)=y</math>. Zatem <math>h</math> jest surjekcją.
Zatem <math>h</math> jest surjekcją.
}}
}}


Linia 636: Linia 539:
na dowolnie wiele skończonych zbiorów.
na dowolnie wiele skończonych zbiorów.


{{wniosek|||
{{wniosek|3.7|wn 3.7|
Dla zbiorów <math>A_1,\ldots,A_n</math> skończonych i parami rozłącznych:
 


Dla zbiorów <math>A_1,\ldots,A_n</math> skończonych i parami rozłącznych:
<center><math>\left\vert A_1\cup\ldots\cup A_n\right\vert=\left\vert A_1\right\vert+\ldots+\left\vert A_n\right\vert</math></center>


<center><math>\left\vertA_1\cup\ldots\cup A_n\right\vert=\left\vertA_1\right\vert+\ldots+\left\vertA_n\right\vert.
</math></center>


}}
}}


Więcej pracy wymaga analiza sytuacji, gdy zbiory <math>A,B</math> nie są rozłączne.  
Więcej pracy wymaga analiza sytuacji, gdy zbiory <math>A,B</math> nie są rozłączne.


====Zasada włączania i wyłączania====
===={{kotwica|zaswlwyl|Zasada włączania i wyłączania}}====


''Dla zbiorów skończonych <math>{\left\{ {A_1,A_2,\ldots,A_n} \right\}\ }</math> zachodzi
''Dla zbiorów skończonych <math>{\left\{ {A_1,A_2,\ldots,A_n} \right\}\ }</math> zachodzi''


<center><math>\aligned &&\left\vertA_1\cup A_2\cup\ldots\cup A_n\right\vert\ =\ \sum_{I\subseteq{\left\{ {1,\ldots,n} \right\}\ }}\left(-1\right)^{\left\vertI\right\vert+1}\left\vert\bigcap_{i\in I}A_i\right\vert\\
<center><math>\begin{align} &&\left\vert A_1\cup A_2\cup\ldots\cup A_n\right\vert=  \sum_{I\subseteq{\left\{ {1,\ldots,n} \right\}\ }}\left(-1\right)^{\left\vert I\right\vert+1}\left\vert\bigcap_{i\in I}A_i\right\vert\\
&&\begin{array} {lr}
&&\begin{array} {lr}
= \left\vertA_1\right\vert+\left\vertA_2\right\vert+\left\vertA_3\right\vert+\ldots\quad&+\left\vertA_{n-2}\right\vert+\left\vertA_{n-1}\right\vert+\left\vertA_n\right\vert\\
= \left\vert A_1\right\vert+\left\vert A_2\right\vert+\left\vert A_3\right\vert+\ldots &+\left\vert A_{n-2}\right\vert+\left\vert A_{n-1}\right\vert+\left\vert A_n\right\vert\\
-\left\vertA_1\cap A_2\right\vert-\left\vertA_1\cap A_3\right\vert-\ldots&-\left\vertA_{n-2}\cap A_n\right\vert-\left\vertA_{n-1}\cap A_n\right\vert\\
-\left\vert A_1\cap A_2\right\vert-\left\vert A_1\cap A_3\right\vert-\ldots&-\left\vert A_{n-2}\cap A_n\right\vert-\left\vert A_{n-1}\cap A_n\right\vert\\
+\left\vertA_1\cap A_2 \cap A_3\right\vert+\ldots&+\left\vertA_{n-2}\cap A_{n-1} \cap A_n\right\vert\\
+\left\vert A_1\cap A_2 \cap A_3\right\vert+\ldots&+\left\vert A_{n-2}\cap A_{n-1} \cap A_n\right\vert\\
-\left\vertA_1\cap A_2 \cap A_3\cap A_4\right\vert-\ldots&-\left\vertA_{n-3}\cap A_{n-2}\cap A_{n-1} \cap A_n\right\vert\\
-\left\vert A_1\cap A_2 \cap A_3\cap A_4\right\vert-\ldots&-\left\vert A_{n-3}\cap A_{n-2}\cap A_{n-1} \cap A_n\right\vert\\
+\ldots&\\
+\ldots&\\
\left(-1\right)^{n+1}\left\vertA_1\cap A_2\cap\ldots\cap A_n\right\vert&
\left(-1\right)^{n+1}\left\vert A_1\cap A_2\cap\ldots\cap A_n\right\vert&
\end{array}  
\end{array}  
\endaligned</math></center>
\end{align}</math></center>
 


W szczególności, <math>\left\vertA\cup B\right\vert=\left\vertA\right\vert+\left\vertB\right\vert-\left\vertA\cap B\right\vert</math>,  
''W szczególności, <math>\left\vert A\cup B\right\vert=\left\vert A\right\vert+\left\vert B\right\vert-\left\vert A\cap B\right\vert</math>,  
o ile tylko <math>A,B</math> są skończone.
o ile tylko <math>A,B</math> są skończone.
''
''


{{dowod|||
{{dowod|||
Zaczniemy od dowodu drugiego zdania. Ponieważ trzy zbiory <math>A - B, A\cap B</math> i <math>B- A</math> są parami rozłączne i sumują się do <math>(A - B) \cup (A\cap B) \cup (B- A) = A \cup B</math>, na mocy [[#wn_3.7|Wniosku 3.7]] mamy:


Zaczniemy od dowodu drugiego zdania.
Ponieważ trzy zbiory <math>A - B, A\cap B</math> i <math>B- A</math> są parami rozłączne
i sumują się do <math>(A - B) \cup (A\cap B) \cup (B- A) = A \cup B</math>,
na mocy Wniosku [[##wniosek - moc sumy wielu zbiorow|Uzupelnic wniosek - moc sumy wielu zbiorow|]] mamy:


<center><math>|A \cup B| = |(A - B) \cup (A\cap B) \cup (B- A)| =  
<center><math>|A \cup B| = |(A - B) \cup (A\cap B) \cup (B- A)| =  
|A - B| + |A\cap B| + |B- A|  
|A - B| + |A\cap B| + |B- A|  
</math></center>
</math></center>


skąd
skąd


<center><math>\aligned |A \cup B| + |A \cap B|  
 
& = &
<center><math>\begin{align} |A \cup B| + |A \cap B|  
|A - B| + |A\cap B| + |B- A| + |A\cap B|
& =|A - B| + |A\cap B| + |B- A| + |A\cap B|
\\
\\
& = &
& =(|A - B| + |A\cap B|) + (|B- A| + |A\cap B|)  
(|A - B| + |A\cap B|) + (|B- A| + |A\cap B|)  
\\
\\
& = &
& =|(A - B) \cup (A\cap B)| + |(B- A) \cup (A\cap B)|  
|(A - B) \cup (A\cap B)| + |(B- A) \cup (A\cap B)|  
\\
\\
& = &
& =|A| + |B|
|A| + |B|
\end{align}</math></center>
\endaligned</math></center>
}}
 


skąd już natychmiast dostajemy:
skąd już natychmiast dostajemy:


<center><math>
\left\vertA\cup B\right\vert=\left\vertA\right\vert+\left\vertB\right\vert-\left\vertA\cap B\right\vert.
</math></center>


W sytuacji dowolnie wielu <math>n</math> zbiorów użyjemy rozumowania indukcyjnego.
{{wzor|wzor 1|1|
Oczywiście  <math>n=1,2</math> twierdzenie jest prawdziwe.  
<math>
Załóżmy, że <math>n>2</math>.  
\left\vert A\cup B\right\vert=\left\vert A\right\vert+\left\vert B\right\vert-\left\vert A\cap B\right\vert</math>}}
Na mocy równości ([[##suma-zb|Uzupelnic suma-zb|]]) otrzymujemy:
 
 
W sytuacji dowolnie wielu <math>n</math> zbiorów użyjemy rozumowania indukcyjnego. Oczywiście  <math>n=1,2</math> twierdzenie jest prawdziwe.  
Załóżmy, że <math>n>2</math>. Na mocy równości ([[#wzor_1|1]]) otrzymujemy:
 
 
<center><math>\begin{align} \left\vert\bigcup_{k=1}^nA_k\right\vert= \left\vert\bigcup_{k=1}^{n-1}A_k\right\vert+\left\vert A_n\right\vert-\left\vert\bigcup_{k=1}^{n-1}A_k\cap A_n\right\vert.
\end{align}</math></center>


<center><math>\left\vert\bigcup_{k=1}^nA_k\right\vert\ =\ \left\vert\bigcup_{k=1}^{n-1}A_k\right\vert+\left\vertA_n\right\vert-\left\vert\bigcup_{k=1}^{n-1}A_k\cap A_n\right\vert.
</math></center>


Wykorzystując założenie indukcyjne dla wartości <math>n-1</math> zachodzi
Wykorzystując założenie indukcyjne dla wartości <math>n-1</math> zachodzi


<center><math>\aligned \left\vert\bigcup_{k=1}^nA_k\right\vert&=&\sum_{I\subseteq{\left\{ {1,\ldots,n-1} \right\}\ }}\left(-1\right)^{\left\vertI\right\vert+1}\left\vert\bigcap_{i\in I}A_i\right\vert+\left\vertA_n\right\vert-\sum_{I\subseteq{\left\{ {1,\ldots,n-1} \right\}\ }}\left(-1\right)^{\left\vertI\right\vert+1}\left\vert\bigcap_{i\in I}A_i\cap A_n\right\vert\\
&=&\sum_{I\subseteq{\left\{ {1,\ldots,n-1} \right\}\ }}\left(-1\right)^{\left\vertI\right\vert+1}\left\vert\bigcap_{i\in I}A_i\right\vert+\sum_{I\subseteq{\left\{ {1,\ldots,n-1} \right\}\ }}\left(-1\right)^{\left\vertI\cup{\left\{ {n} \right\}\ }\right\vert+1}\left\vert\bigcap_{i\in I\cup{\left\{ {n} \right\}\ }}A_i\right\vert.
\endaligned</math></center>


Rodzina wszystkich podzbiorów <math>I</math> zbioru liczb <math>{\left\{ {1,\ldots,n} \right\}\ }</math>  
<center><math>\begin{align} \left\vert\bigcup_{k=1}^nA_k\right\vert&=\sum_{I\subseteq{\left\{ {1,\ldots,n-1} \right\}\ }}\left(-1\right)^{\left\vert I\right\vert+1}\left\vert\bigcap_{i\in I}A_i\right\vert+\left\vert A_n\right\vert-\sum_{I\subseteq{\left\{ {1,\ldots,n-1} \right\}\ }}\left(-1\right)^{\left\vert I\right\vert+1}\left\vert\bigcap_{i\in I}A_i\cap A_n\right\vert\\
można podzielić na dwie rozłączne rodziny:
&=\sum_{I\subseteq{\left\{ {1,\ldots,n-1} \right\}\ }}\left(-1\right)^{\left\vert I\right\vert+1}\left\vert\bigcap_{i\in I}A_i\right\vert+\sum_{I\subseteq{\left\{ {1,\ldots,n-1} \right\}\ }}\left(-1\right)^{\left\vert I\cup{\left\{ {n} \right\}\ }\right\vert+1}\left\vert\bigcap_{i\in I\cup{\left\{ {n} \right\}\ }}A_i\right\vert.
\end{align}</math></center>
 
 
Rodzina wszystkich podzbiorów <math>I</math> zbioru liczb <math>{\left\{ {1,\ldots,n} \right\}\ }</math> można podzielić na dwie rozłączne rodziny:


* pierwsza składa się z tych <math>I</math>, które nie zawierają <math>n</math>, czyli
* pierwsza składa się z tych <math>I</math>, które nie zawierają <math>n</math>, czyli <math>{\left\{ {I:I\subseteq{\left\{ {1,\ldots,n-1} \right\}\ }} \right\}\ }</math>
<math>{\left\{ {I:I\subseteq{\left\{ {1,\ldots,n-1} \right\}\ }} \right\}\ },
* druga jest rodziną tych <math>I</math>, które zawierają <math>n</math>, czyli <math>{\left\{ {I\cup{\left\{ {n} \right\}\ }:I\subseteq{\left\{ {1,\ldots,n-1} \right\}\ }} \right\}\ }</math>.
</math>
* druga jest rodziną tych <math>I</math>, które zawierają <math>n</math>, czyli
<math>{\left\{ {I\cup{\left\{ {n} \right\}\ }:I\subseteq{\left\{ {1,\ldots,n-1} \right\}\ }} \right\}\ }
</math>.


W rezultacie otrzymujemy, że
W rezultacie otrzymujemy, że


<center><math>\left\vert\bigcup_{k=1}^nA_k\right\vert\ =\ \sum_{I\subseteq{\left\{ {1,\ldots,n} \right\}\ }}\left(-1\right)^{\left\vertI\right\vert+1}\left\vert\bigcap_{i\in I}A_i\right\vert,
 
</math></center>
<center><math>\begin{align}\left\vert\bigcup_{k=1}^nA_k\right\vert=  \sum_{I\subseteq{\left\{ {1,\ldots,n} \right\}\ }}\left(-1\right)^{\left\vert I\right\vert+1}\left\vert\bigcap_{i\in I}A_i\right\vert,\end{align}</math></center>
 


co kończy dowód.
co kończy dowód.
}}


Wniosek [[##wniosek - moc sumy wielu zbiorow|Uzupelnic wniosek - moc sumy wielu zbiorow|]] pozwala uogólnić Zasadę Szufladkową.  
[[#wn3.7|Wniosek 3.7]] pozwala uogólnić Zasadę Szufladkową. Załóżmy, że pewna ilość obiektów jest rozmieszczona w <math>n</math> szufladach. Niech <math>A_i</math> będzie zbiorem obiektów w <math>i</math>-tej szufladce. Ponieważ zbiory obiektów w różnych szufladach są rozłączne, to ilość obiektów we wszystkich szufladach wynosi <math>\left\vert A_1\cup\ldots\cup A_n\right\vert=\left\vert A_1\right\vert\cup\ldots\cup\left\vert A_n\right\vert</math>. Zatem jeśli każda szufladka ma co najwyżej <math>r</math> obiektów, to w sumie jest co najwyżej <math>nr</math> obiektów.
Załóżmy, że pewna ilość obiektów jest rozmieszczona w <math>n</math> szufladach.  
Niech <math>A_i</math> będzie zbiorem obiektów w <math>i</math>-tej szufladce.  
Ponieważ zbiory obiektów w różnych szufladach są rozłączne,  
to ilość obiektów we wszystkich szufladach wynosi  
<math>\left\vertA_1\cup\ldots\cup A_n\right\vert=\left\vertA_1\right\vert\cup\ldots\cup\left\vertA_n\right\vert</math>.  
Zatem jeśli każda szufladka ma co najwyżej <math>r</math> obiektów,  
to w sumie jest co najwyżej <math>nr</math> obiektów.


====Uogólniona Zasada Szufladkowa====
===={{kotwica|uzasszufl|Uogólniona Zasada Szufladkowa}}====


''Jeśli <math>m</math> obiektów rozmieszczonych jest w <math>n</math> szufladach i <math>m>nr</math>,  
''Jeśli <math>m</math> obiektów rozmieszczonych jest w <math>n</math> szufladach i <math>m>nr</math>, dla pewnego naturalnego <math>r</math>, to istnieje szufladka z co najmniej <math>r+1</math> obiektami.
dla pewnego naturalnego <math>r</math>,  
to istnieje szufladka z co najmniej <math>r+1</math> obiektami.
''
''


Przypomnijmy, że iloczyn kartezjański (produkt) zbiorów <math>X</math> i <math>Y</math> to zbiór  
Przypomnijmy, że {{kotwica|ilkart|iloczyn kartezjański}} (produkt) zbiorów <math>X</math> i <math>Y</math> to zbiór  
 


<center><math>X\times Y={\left\{ {(x,y): x\in X, y\in Y} \right\}\ }.
<center><math>X\times Y={\left\{ {(x,y): x\in X, y\in Y} \right\}\ }</math></center>
</math></center>


====Zasada Mnożenia====
===={{kotwica|zasmnoz|Zasada Mnożenia}}====


''Dla skończonych zbiorów <math>X,Y</math>:
''Dla skończonych zbiorów <math>X,Y</math>:


<center><math>\left\vertX\times Y\right\vert=\left\vertX\right\vert\cdot\left\vertY\right\vert.
 
</math></center>
<center><math>\left\vert X\times Y\right\vert=\left\vert X\right\vert\cdot\left\vert Y\right\vert</math></center>
 


''
''


{{dowod|||
{{dowod|||
Najpierw pokażemy, że <math>\left\vert\mathbb{Z}_m\times\mathbb{Z}_n\right\vert=m \cdot n</math>. W tym celu pokażemy, że funkcja


Najpierw pokażemy, że <math>\left\vert\mathbb{Z}_m\times\mathbb{Z}_n\right\vert=m \cdot n</math>.
W tym celu pokażemy, że funkcja


<center><math>f:\mathbb{Z}_m\times\mathbb{Z}_n \ni (i,j) \mapsto in+j \in \mathbb{Z}_{mn}
<center><math>f:\mathbb{Z}_m\times\mathbb{Z}_n \ni (i,j) \mapsto in+j \in \mathbb{Z}_{mn}
</math></center>
</math></center>


jest bijekcją.  
jest bijekcją.  


Dla dowodu injektywności załóżmy, że <math>f(i,j)=f(i',j')</math>, czyli <math>in+j=i'n+j'</math>.  
Dla dowodu injektywności załóżmy, że <math>f(i,j)=f(i',j')</math>, czyli <math>in+j=i'n+j'</math>. Bez straty ogólności możemy założyć, że <math>i\leq i'</math>, wtedy <math>(i'-i)n=j-j'</math>. Lewa strona równości jest wielokrotnością <math>n</math>, zaś prawa leży w zbiorze <math>{\left\{ {-n+1,\ldots,n-1} \right\}\ }</math>, gdyż <math>j,j'\in\mathbb{Z}_n</math>.
Bez straty ogólności możemy założyć, że <math>i\leq i'</math>, wtedy <math>(i'-i)n=j-j'</math>.  
Ponieważ <math>0</math> jest jedyną wielokrotnością liczby <math>n</math> w tym zbiorze, to <math>i'-i=0</math> i <math>j-j'=0</math>, co dowodzi injektywności <math>f</math>.
Lewa strona równości jest wielokrotnością <math>n</math>,  
 
zaś prawa leży w zbiorze <math>{\left\{ {-n+1,\ldots,n-1} \right\}\ }</math>, gdyż <math>j,j'\in\mathbb{Z}_n</math>.  
Dla dowodu surjektywności rozważmy <math>y\in\mathbb{Z}_{mn}</math>. Niech <math>i</math> będzie największą liczbą taką, że <math>in\leq y</math>. Wtedy <math>y<(i+1)n</math> zatem istnieje <math>j\in{\left\{ {0,\ldots,n-1} \right\}\ }</math> takie, że <math>y=in+j=f(i,j)</math>, co było do udowodnienia.
Ponieważ <math>0</math> jest jedyną wielokrotnością liczby <math>n</math> w tym zbiorze,  
 
to <math>i'-i=0</math> i <math>j-j'=0</math>, co dowodzi injektywności <math>f</math>.
Załóżmy teraz, że <math>\left\vert X\right\vert=m</math> i <math>\left\vert Y\right\vert=n</math>. Wtedy, z poczynionej wyżej obserwacji, dowód Zasady Mnożenia jest natychmiastowy, gdyż


Dla dowodu surjektywności rozważmy <math>y\in\mathbb{Z}_{mn}</math>.
Niech <math>i</math> będzie największą liczbą taką, że <math>in\leq y</math>.
Wtedy <math>y<(i+1)n</math> zatem istnieje <math>j\in{\left\{ {0,\ldots,n-1} \right\}\ }</math> takie,
że <math>y=in+j=f(i,j)</math>, co było do udowodnienia.


Załóżmy teraz, że <math>\left\vertX\right\vert=m</math> i <math>\left\vertY\right\vert=n</math>.
<center><math>\left\vert X\times Y\right\vert=\left\vert\mathbb{Z}_m\times \mathbb{Z}_n\right\vert=m\cdot n=\left\vert X\right\vert\cdot\left\vert Y\right\vert</math></center>
Wtedy, z poczynionej wyżej obserwacji, dowód Zasady Mnożenia jest natychmiastowy, gdyż


<center><math>\left\vertX\times Y\right\vert=\left\vert\mathbb{Z}_m\times \mathbb{Z}_n\right\vert=m\cdot n=\left\vertX\right\vert\cdot\left\vertY\right\vert.
</math></center>


}}
}}


{{przyklad|||
{{przyklad|||
 
Rozważ turniej rycerski między bractwem czerwonych a bractwem niebieskich. Bractwo czerwonych ma <math>12</math> rycerzy, bractwo niebieskich <math>15</math>. Ile różnych indywidualnych pojedynków może być stoczonych,
Rozważ turniej rycerski między bractwem czerwonych a bractwem niebieskich.  
Bractwo czerwonych ma <math>12</math> rycerzy, bractwo niebieskich <math>15</math>.  
Ile różnych indywidualnych pojedynków może być stoczonych,  
jeśli rycerze z tego samego bractwa nigdy ze sobą nie walczą?
jeśli rycerze z tego samego bractwa nigdy ze sobą nie walczą?


* Niech <math>C</math> i <math>N</math> będą zbiorami rycerzy, odpowiednio  
* Niech <math>C</math> i <math>N</math> będą zbiorami rycerzy, odpowiednio z bractwa czerwonych i z bractwa niebieskich,
z bractwa czerwonych i z bractwa niebieskich,
* każdy pojedynek może być interpretowany jako uporządkowana para <math>(c,n)</math>, gdzie <math>c\in C</math>, <math>n\in N</math>. Zatem liczba pojedynków to liczność zbioru <math>C\times N</math>.
* każdy pojedynek może być interpretowany jako uporządkowana para <math>(c,n)</math>,  
* <math>\left\vert C\times N\right\vert=\left\vert C\right\vert\cdot\left\vert N\right\vert=12\cdot15=300</math>.
gdzie <math>c\in C</math>, <math>n\in N</math>.  
Zatem liczba pojedynków to liczność zbioru <math>C\times N</math>.
* <math>\left\vertC\times N\right\vert=\left\vertC\right\vert\cdot\left\vertN\right\vert=12\cdot15=300</math>.


}}
}}
Linia 809: Linia 688:
===Zliczanie podzbiorów===
===Zliczanie podzbiorów===


'''Zbiór potegowy''', lub inaczej zbiór podzbiorów, zbioru <math>X</math>  
{{kotwica|zbpoteg|'''Zbiór potegowy'''}}, lub inaczej zbiór podzbiorów, zbioru <math>X</math> oznaczamy przez <math>\mathcal{P}(X)</math>.
oznaczamy przez <math>\mathcal{P}(X)</math>.


{{przyklad|||
{{przyklad|||
Linia 816: Linia 694:
* <math>\mathcal{P}(\emptyset)={\left\{ {\emptyset} \right\}\ }</math> i <math>\left\vert\mathcal{P}(\emptyset)\right\vert=1</math>
* <math>\mathcal{P}(\emptyset)={\left\{ {\emptyset} \right\}\ }</math> i <math>\left\vert\mathcal{P}(\emptyset)\right\vert=1</math>
* <math>\mathcal{P}({\left\{ {\emptyset} \right\}\ })={\left\{ {\emptyset,{\left\{ {\emptyset} \right\}\ }} \right\}\ }</math> i <math>\left\vert\mathcal{P}({\left\{ {\emptyset} \right\}\ })\right\vert=2</math>
* <math>\mathcal{P}({\left\{ {\emptyset} \right\}\ })={\left\{ {\emptyset,{\left\{ {\emptyset} \right\}\ }} \right\}\ }</math> i <math>\left\vert\mathcal{P}({\left\{ {\emptyset} \right\}\ })\right\vert=2</math>
}}
}}


{{przyklad|||
{{przyklad|||
Ile podzbiorów ma skończony zbiór <math>n</math>-elementowy? Łatwo jest odpowiedzieć na to pytanie dla małych liczb <math>n</math>. Np. zbiór <math>{\left\{ {a,b} \right\}\ }</math> ma następujące cztery podzbiory:


Ile podzbiorów ma skończony zbiór <math>n</math>--elementowy?
<br>
Łatwo jest odpowiedzieć na to pytanie dla małych liczb <math>n</math>.
Np. zbiór <math>{\left\{ {a,b} \right\}\ }</math> ma następujące  cztery podzbiory:


<center><math>\emptyset,{\left\{ {a} \right\}\ }, {\left\{ {b} \right\}\ }, {\left\{ {a,b} \right\}\ }
<center><math>\emptyset,{\left\{ {a} \right\}\ }, {\left\{ {b} \right\}\ }, {\left\{ {a,b} \right\}\ }
</math></center>
</math></center>


a zbiór trzyelementowy <math>{\left\{ {a,b,c} \right\}\ }</math> ma osiem podzbiorów:
a zbiór trzyelementowy <math>{\left\{ {a,b,c} \right\}\ }</math> ma osiem podzbiorów:


<center><math>\emptyset, {\left\{ {a} \right\}\ }, {\left\{ {b} \right\}\ }, {\left\{ {c} \right\}\ }, {\left\{ {a,b} \right\}\ }, {\left\{ {a,c} \right\}\ }, {\left\{ {b,c} \right\}\ }, {\left\{ {a,b,c} \right\}\ }
 
</math></center>
<center><math>\emptyset, {\left\{ {a} \right\}\ }, {\left\{ {b} \right\}\ }, {\left\{ {c} \right\}\ }, {\left\{ {a,b} \right\}\ }, {\left\{ {a,c} \right\}\ }, {\left\{ {b,c} \right\}\ }, {\left\{ {a,b,c} \right\}\ }</math></center>
 


Spróbujmy odpowiedzieć na to pytanie w ogólnej sytuacji i w sposób rekurencyjny.
Spróbujmy odpowiedzieć na to pytanie w ogólnej sytuacji i w sposób rekurencyjny.
Niech <math>p_n</math> oznacza liczbę podzbiorów zbioru <math>n</math>--elementowego.
Niech <math>p_n</math> oznacza liczbę podzbiorów zbioru <math>n</math>-elementowego. Na podstawie dotychczasowych przykładów mamy:}}
Na podstawie dotychczasowych przykładów mamy:


{| border=1
|+ <span style="font-variant:small-caps">Uzupelnij tytul</span>
|-
|
<math>n</math>      || 0  || 1  || 2  || 3  || <math>\cdots</math> 
|-
|
<math>p_n</math>    || 1  || 2  || 4  || 8  || <math>\cdots</math> 
|-
|


|}
<center><math>\begin{array} {|c||c|c|c|c|c}
\hline
n&0&1&2&3&\ldots\\
\hline
p_n&1&2&4&8&\ldots\\
\hline
\end{array}  
</math></center>


i można wysunąć hipotezę, że w ogólności <math>p_n = 2^n</math>.
Ale jak ją uzasadnić?


Załóżmy, że znamy liczbę <math>p_n</math> i chcemy policzyć <math>p_{n+1}</math>.  
i można wysunąć hipotezę, że w ogólności <math>p_n = 2^n</math>. Ale jak ją uzasadnić?
Niech więc zbiór <math>Z</math> ma <math>n+1</math> elementów,  
 
czyli po usunięciu ze zbioru <math>Z</math> elementu <math>a\in Z</math>  
Załóżmy, że znamy liczbę <math>p_n</math> i chcemy policzyć <math>p_{n+1}</math>. Niech więc zbiór <math>Z</math> ma <math>n+1</math> elementów,
dostajemy <math>n</math>--elementowy zbiór <math>Z'</math>.  
czyli po usunięciu ze zbioru <math>Z</math> elementu <math>a\in Z</math>
Podobnie jak w dowodzie Zasady Włączania-Wyłączania,  
dostajemy <math>n</math>-elementowy zbiór <math>Z'</math>. Podobnie jak w dowodzie Zasady Włączania-Wyłączania, podzbiory zbioru <math>Z</math> można podzielić na dwa typy:
podzbiory zbioru <math>Z</math> można podzielić na dwa typy:


* albo mają w sobie element <math>a</math>,
* albo mają w sobie element <math>a</math>,
* albo go nie mają.
* albo go nie mają.


W drugim przypadku są to podzbiory zbioru <math>Z'</math>.  
W drugim przypadku są to podzbiory zbioru <math>Z'</math>. Jest więc ich dokładnie <math>p_n</math>.
Jest więc ich dokładnie <math>p_n</math>.


Każdy zaś podzbiór pierwszego typu,
Każdy zaś podzbiór pierwszego typu, czyli <math>A \subseteq Z</math> takie, że <math>a\in A</math> jest jednoznacznie wyznaczony przez swoje pozostałe elementy, tzn. elementy różne od <math>a</math>. A zatem każdy taki zbiór <math>A</math>, że <math>a \in A \subseteq Z</math>, jest postaci
czyli <math>A \subseteq Z</math> takie, że <math>a\in A</math>  
<math>A'\cup {\left\{ {a} \right\}\ }</math> dla pewnego <math>A'\subseteq Z'</math>. A zatem podzbiorów zbioru <math>Z</math>, w których jest element <math>a</math> jest też tyle ile podzbiorów zbioru <math>Z'</math>, tzn.&nbsp;<math>p_n</math>.
jest jednoznacznie wyznaczony przez swoje pozostałe elementy,  
tzn. elementy różne od <math>a</math>.  
A zatem każdy taki zbiór <math>A</math>, że <math>a \in A \subseteq Z</math>, jest postaci
<math>A'\cup {\left\{ {a} \right\}\ }</math> dla pewnego <math>A'\subseteq Z'</math>.  
A zatem podzbiorów zbioru <math>Z</math>  
w których jest element <math>a</math> jest też tyle ile podzbiorów zbioru <math>Z'</math>, tzn.&nbsp;<math>p_n</math>.


Łącznie więc zbiór <math>Z</math> ma <math>p_n + p_n</math> podzbiorów, czyli
Łącznie więc zbiór <math>Z</math> ma <math>p_n + p_n</math> podzbiorów, czyli
<math>p_{n+1} = 2\cdot p_n
<math>p_{n+1} = 2\cdot p_n</math> Teraz już bez trudu stwierdzamy, że to wraz z warunkiem <math>p_0 = 1</math> jest spełnione przez  
</math>
 
Teraz już bez trudu stwierdzamy, że to wraz z warunkiem <math>p_0 = 1</math> jest spełnione przez  


<center><math>p_n = 2^n
<center><math>p_n = 2^n
</math></center>
</math></center>


co można łatwo uzasadnić przez indukcję.
co można łatwo uzasadnić przez indukcję.
}}


{{obserwacja|||


{{obserwacja|3.8|obs 3.8|
Dla dowolnego, skończonego zbioru <math>X</math>
Dla dowolnego, skończonego zbioru <math>X</math>


<center><math>\left\vert\mathcal{P}(X)\right\vert=2^{\left\vertX\right\vert}.
 
</math></center>
<center><math>\left\vert\mathcal{P}(X)\right\vert=2^{\left\vert X\right\vert}</math></center>
 


}}
}}
Linia 898: Linia 760:
==Zliczanie funkcji==
==Zliczanie funkcji==


'''Zbiór funkcji''' postaci  <math>X \longrightarrow Y</math> oznaczamy przez <math>Y^X</math>.     
{{kotwica|zbiorfun|'''Zbiór funkcji'''}} postaci  <math>X \longrightarrow Y</math> oznaczamy przez <math>Y^X</math>.     
 
{{obserwacja|3.9|obs 3.9|
Dla  skończonych zbiorów <math>X,Y</math> mamy:


{{obserwacja|||


Dla  skończonych zbiorów <math>X,Y</math> mamy:
<center><math>\left\vert Y^X\right\vert=\left\vert Y\right\vert^{\left\vert X\right\vert}</math></center>


<center><math>\left\vertY^X\right\vert=\left\vertY\right\vert^{\left\vertX\right\vert}.
</math></center>


}}
}}


{{dowod|||
{{dowod|||
Niech <math>X={\left\{ {x_0,\ldots,x_{m-1}} \right\}\ }</math> oraz <math>Y={\left\{ {y_0,\ldots, y_{n-1}} \right\}\ }</math>. Każda funkcja <math>f: X \longrightarrow Y</math> to krotka wartości dla kolejnych <math>x_i</math>:
<center><math>(f(x_0),f(x_1),\ldots,f(x_{m-1}))\in \underbrace{Y\times\ldots\times Y}_{m\ razy}</math></center>


Niech <math>X={\left\{ {x_0,\ldots,x_{m-1}} \right\}\ }</math> oraz <math>Y={\left\{ {y_0,\ldots, y_{n-1}} \right\}\ }</math>.
Każda funkcja <math>f: X \longrightarrow Y</math> to krotka wartości dla kolejnych <math>x_i</math>:


<center><math>(f(x_0),f(x_1),\ldots,f(x_{m-1}))\in \underbrace{Y\times\ldots\times Y}_{m\ razy}.
A więc zbiór funkcji z <math>X</math> w <math>Y</math> jest równoliczny z <math>Y^m</math>. Z Zasady Mnożenia otrzymujemy więc:
</math></center>


A więc zbiór funkcji z <math>X</math> w <math>Y</math> jest równoliczny z <math>Y^m</math>.
Z Zasady Mnożenia otrzymujemy więc:


<center><math>\vert\underbrace{Y\times\ldots\times Y}_{m\ razy}\vert
<center><math>\vert\underbrace{Y\times\ldots\times Y}_{m\ razy}\vert
=\underbrace{\left\vertY\right\vert\times\ldots\times\left\vertY\right\vert}_{m\ razy}
=\underbrace{\left\vert Y\right\vert\times\ldots\times\left\vert Y\right\vert}_{m\ razy}
=n^m= \left\vertY\right\vert^{\left\vertX\right\vert}.
=n^m= \left\vert Y\right\vert^{\left\vert X\right\vert}</math></center>
</math></center>
 


}}
}}


{{przyklad|||
{{przyklad|||
Trzech kolegów: Bartek, Paweł i Piotrek spotkali się w pubie tuż po zdanym egzaminie z matematyki dyskretnej. Okazało się, że jest pięć marek piwa do wyboru. Na ile sposobów mogą oni wypić pierwszą kolejkę?


Trzech kolegów: Bartek, Paweł i Piotrek spotkali się w pubie
Każdy wybór marki piwa przez wszystkie <math>3</math> osoby możemy interpretować jako funkcję ze zbioru <math>{\left\{ {\text{Bartek},\text{Paweł},\text{Piotrek}} \right\}\ }</math> w pięcioelementowy zbiór marek piwa. A więc istnieje <math>5^3=125</math> sposobów spożycia pierwszej kolejki.
tuż po zdanym egzaminie z matematyki dyskretnej.
Okazało się, że jest pięć marek piwa do wyboru.
Na ile sposobów mogą oni wypić pierwszą kolejkę?
 
Każdy wybór marki piwa przez wszystkie <math>3</math> osoby  
możemy interpretować jako funkcję  
ze zbioru <math>{\left\{ {\textrm{Bartek},\textrm{Paweł},\textrm{Piotrek}} \right\}\ }</math>  
w pięcioelementowy zbiór marek piwa.
A więc istnieje <math>5^3=125</math> sposobów spożycia pierwszej kolejki.
I tyleż sposobów dla każdej nastepnej......  
I tyleż sposobów dla każdej nastepnej......  
}}
}}


{{przyklad|||
{{przyklad|||
Kod PIN jest kodem autoryzującym właściciela karty bankomatowej. Składa się on z <math>4</math> cyfr dziesiętnych. Ile jest różnych kodów PIN?


Kod PIN jest kodem autoryzującym właściciela karty bankomatowej.
Każdy kod PIN to funkcja z czteroelementowego zbioru pozycji <math>{\left\{ {0,1,2,3} \right\}\ }</math> w dziesięcioelementowy zbiór cyfr <math>{\left\{ {0,1,\ldots,9} \right\}\ }</math>. Z [[#obs_3.9|Obserwacji 3.9]] wynika że kodów PIN jest dokładnie <math>10^4=10000</math>.
Składa się on z <math>4</math> cyfr dziesiętnych. Ile jest różnych kodów PIN?
 
Każdy kod PIN to funkcja z czteroelementowego zbioru pozycji <math>{\left\{ {0,1,2,3} \right\}\ }</math>  
w dziesięcioelementowy zbiór cyfr <math>{\left\{ {0,1,\ldots,9} \right\}\ }</math>.  
Z Obserwacji [[##obserwacja - zliczanie funkcji|Uzupelnic obserwacja - zliczanie funkcji|]] wynika że kodów PIN jest dokładnie
<math>10^4=10000.
</math>
}}
}}


Posługując się Obserwacją [[##obserwacja - zliczanie funkcji|Uzupelnic obserwacja - zliczanie funkcji|]]  
Posługując się [[#obs_3.8|Obserwacją 3.8]] udowodnimy jeszcze raz wzór na ilość podzbiorów skończonego zbioru. Zatem [[#obs_3.9|Obserwację 3.9]] możemy traktować jako uogólnienie [[#obs_3.8|Obserwacji 3.8]].
udowodnimy jeszcze raz wzór na ilość podzbiorów skończonego zbioru.  
Zatem Obserwację [[##obserwacja - zliczanie funkcji|Uzupelnic obserwacja - zliczanie funkcji|]] możemy traktować jako
uogólnienie Obserwacji [[##obserwacja - liczba podzbiorów|Uzupelnic obserwacja - liczba podzbiorów|]].


{{dowod|||
{{dowod|||
{Alternatywny dowód Obserwacji [[##obserwacja - liczba podzbiorów|Uzupelnic obserwacja - liczba podzbiorów|]].}
Alternatywny dowód [[#obs_3.8|Obserwacji 3.8]]<br>
<br>
Zauważmy, że dowolny podzbiór <math>A\subseteq X</math> wyznacza jednoznacznie funkcję <math>\chi_A:X\rightarrow \mathbb{Z}_2</math> w następujący sposób:
Zauważmy, że dowolny podzbiór <math>A\subseteq X</math>  
 
wyznacza jednoznacznie funkcję <math>\chi_A:X\rightarrow \mathbb{Z}_2</math> w następujący sposób:


<center><math>\chi_Y(x)=
<center><math>\chi_Y(x)=
\left\{
\left\{
\begin{array} {cl}
\begin{array} {cl}
0,&\textrm{dla }x\in X- A
0,&\text{dla }x\in X- A
\\  
\\  
1,&\textrm{dla }x\in A
1,&\text{dla }x\in A
\end{array}  
\end{array}  
\right.
\right.</math></center>
</math></center>
 
 
Również każda funkcja <math>f :X \longrightarrow \mathbb{Z}_2</math> wyznacza jednoznacznie podzbiór <math>A_f{\left\{ {x\in X:f(x)=1} \right\}\ }</math> zbioru <math>X</math>. Nadto, odpowiedniość


Również każda funkcja <math>f :X \longrightarrow \mathbb{Z}_2</math> wyznacza jednoznacznie podzbiór
<math>A_f{\left\{ {x\in X:f(x)=1} \right\}\ }</math> zbioru <math>X</math>.
Nadto, odpowiedniość


<center><math>\mathcal{P}(X) \ni A \mapsto \chi_A \in \mathbb{Z}_2^X
<center><math>\mathcal{P}(X) \ni A \mapsto \chi_A \in \mathbb{Z}_2^X
</math></center>
</math></center>


jest bijektywna.
 
Zatem <math>\left\vert\mathcal{P}(X)\right\vert=\left\vert\mathbb{Z}_2^X\right\vert =2^{\left\vertX\right\vert}</math>.
jest bijektywna. Zatem <math>\left\vert\mathcal{P}(X)\right\vert=\left\vert\mathbb{Z}_2^X\right\vert =2^{\left\vert X\right\vert}</math>.
}}
}}


{{obserwacja|||
{{obserwacja|3.10|obs 3.10|
Liczba injekcji ze zbioru skończonego <math>X</math> w zbiór skończony <math>Y</math> wynosi:


Liczba injekcji ze zbioru skończonego <math>X</math> w zbiór skończony <math>Y</math> wynosi:


<center><math>\left\vertY\right\vert(\left\vertY\right\vert-1)\cdot\ldots\cdot(\left\vertY\right\vert-\left\vertX\right\vert+1)= \frac{\left\vertY\right\vert!}{(\left\vertY\right\vert-\left\vertX\right\vert)!}.
<center><math>\left\vert Y\right\vert(\left\vert Y\right\vert-1)\cdot \ldots \cdot(\left\vert Y\right\vert-\left\vert X\right\vert+1) =  
</math></center>
\frac{\left\vert Y\right\vert!}{(\left\vert Y\right\vert-\left\vert X\right\vert)!}</math></center>
 


}}
}}


{{dowod|||
{{dowod|||
Niech <math>X={\left\{ {x_0,\ldots,x_{m-1}} \right\}\ }</math> i  <math>Y={\left\{ {y_0,\ldots,y_{n-1}} \right\}\ }</math>. Każdą injekcję z <math>X</math> w <math>Y</math> możemy utożsamić z uporządkowanym wyborem <math>m</math> różnych elementów ze zbioru <math>Y</math>:


Niech <math>X={\left\{ {x_0,\ldots,x_{m-1}} \right\}\ }</math> i  <math>Y={\left\{ {y_0,\ldots,y_{n-1}} \right\}\ }</math>.
<center><math>f(x_0),f(x_1),\ldots,f(x_{m-1})</math></center>
Każdą injekcję z <math>X</math> w <math>Y</math> możemy utożsamić 
z uporządkowanym wyborem <math>m</math> różnych elementów ze zbioru <math>Y</math>:


<center><math>f(x_0),f(x_1),\ldots,f(x_{m-1}).
</math></center>


Pierwszy element możemy wybrać na <math>n</math> sposobów,  
Pierwszy element możemy wybrać na <math>n</math> sposobów, drugi na <math>n-1</math>, bo musi być różny od poprzednio wybranego, trzeci już tylko na <math>n-2</math> sposoby, itd., aż wreszcie <math>m</math>-ty na <math>n-m+1</math> sposobów. Zatem liczba injekcji równa jest <math>n(n-1)\cdot\ldots\cdot(n-m+1)</math>.
drugi na <math>n-1</math>, bo musi być różny od poprzednio wybranego,  
trzeci już tylko na <math>n-2</math> sposoby, itd.,  
aż wreszcie <math>m</math>-ty na <math>n-m+1</math> sposobów.  
Zatem liczba injekcji równa jest <math>n(n-1)\cdot\ldots\cdot(n-m+1)</math>.
}}
}}


{{przyklad|||
{{przyklad|||
 
Ile jest PIN-ów, czyli cztero-elementowych słów złożonych z cyfr dziesiętnych,
Ile jest PIN-ów, czyli cztero-elementowych słów złożonych z cyfr dziesiętnych,  
takich że żadna cyfra się nie powtarza?
takich że żadna cyfra się nie powtarza?


Każdy PIN z niepowtarzającymi się cyframi to injekcja  
Każdy PIN z niepowtarzającymi się cyframi to injekcja z cztero-elementowego zbioru pozycji <math>{\left\{ {0,1,2,3} \right\}\ }</math> w <math>10</math>-elementowy zbiór cyfr <math>{\left\{ {0,1,\ldots,9} \right\}\ }</math>. Zatem jest ich dokładnie <math>10\cdot9\cdot8\cdot7=5040</math>.
z cztero-elementowego zbioru pozycji <math>{\left\{ {0,1,2,3} \right\}\ }</math>  
w <math>10</math>-elementowy zbiór cyfr <math>{\left\{ {0,1,\ldots,9} \right\}\ }</math>.  
Zatem jest ich dokładnie <math>10\cdot9\cdot8\cdot7=5040</math>.
}}
}}


{{obserwacja|||
{{obserwacja|3.11|obs 3.11|
 
Liczba bijekcji pomiędzy skończonymi zbiorami <math>X</math> i <math>Y</math>, gdzie <math>\left\vert X\right\vert=\left\vert Y\right\vert</math> wynosi
Liczba bijekcji pomiędzy skończonymi zbiorami <math>X</math> i <math>Y</math>, gdzie <math>\left\vertX\right\vert=\left\vertY\right\vert</math> wynosi
<math>\left\vert X\right\vert!</math>.
<math>\left\vertX\right\vert!.
</math>
}}
}}


{{dowod|||
{{dowod|||
Pokażemy najpierw, że każda injekcja <math>f: X \longrightarrow Y</math> jest bijekcją. Istotnie, gdyby <math>f</math> nie było surjekcją, to <math>f(X)</math> byłoby właściwym podzbiorem zbioru <math>Y</math>. A zatem <math>\left\vert f(X)\right\vert < \left\vert Y\right\vert</math> i funkcja <math>f : X \longrightarrow f(X)</math> ustalałaby injekcję ze zbioru o większej liczbie elementów w zbiór o mniej liczny. A to nie jest możliwe na mocy [[#obs_3.3|Obserwacji 3.3]]. Udowodniliśmy, że liczba bijekcji z <math>X</math> w <math>Y</math> równa jest liczbie injekcji z <math>X</math> w <math>Y</math>, czyli, z [[#obs_3.10|Obserwacji 3.10]]), wynosi ona:


Pokażemy najpierw, że każda injekcja <math>f: X \longrightarrow Y</math> jest bijekcją.
<center><math>n(n-1)\cdot\ldots\cdot(n-n+2)(n-n+1)=n!</math></center>
Istotnie, gdyby <math>f</math> nie było surjekcją, to <math>f(X)</math> byłoby właściwym podzbiorem
zbioru <math>Y</math>. A zatem <math>\left\vertf(X)\right\vert < \left\vertY\right\vert</math> i funkcja <math>f : X \longrightarrow f(X)</math>
ustalałaby injekcję ze zbioru o większej liczbie elementów w zbiór o mniej liczny.
A to nie jest możliwe na mocy Obserwacji [[##obserwacja - nie ma injekcji z m do n|Uzupelnic obserwacja - nie ma injekcji z m do n|]].
Udowodniliśmy, że liczba bijekcji z <math>X</math> w <math>Y</math> równa jest liczbie injekcji z <math>X</math> w <math>Y</math>,
czyli, z Obserwacji [[##obserwacja - zliczanie injekcji|Uzupelnic obserwacja - zliczanie injekcji|]]), wynosi ona:


<center><math>n(n-1)\cdot\ldots\cdot(n-n+2)(n-n+1)=n!.
</math></center>


Zauważmy jeszcze, że <math>\emptyset \subseteq \emptyset \times \emptyset</math>
Zauważmy jeszcze, że <math>\emptyset \subseteq \emptyset \times \emptyset</math> jest nie tylko funkcją <math>\emptyset : \emptyset \longrightarrow \emptyset</math>, ale i bijekcją i jest to jedyna bijekcja <math>\emptyset \longrightarrow \emptyset</math>.
jest nie tylko funkcją <math>\emptyset : \emptyset \longrightarrow \emptyset</math>,  
ale i bijekcją i jest to jedyna bijekcja <math>\emptyset \longrightarrow \emptyset</math>.
}}
}}


{{przyklad|||
{{przyklad|||
Na kurs tańca uczęszcza pięciu chłopaków i pięć dziewcząt. Większość kroków tanecznych ćwiczy się parami. Dla urozmaicenia pary często się zmieniają. Na ile sposobów może być wykonany jeden taniec?


Na kurs tańca uczęszcza pięciu chłopaków i pięć dziewcząt. 
Niech <math>C</math> będzie zbiorem chłopaków, a <math>D</math> zbiorem dziewcząt. Matematycznym modelem doboru par do tańca jest bijekcja <math>f:C\rightarrow D</math>. Zatem możliwych wyborów jest tyle samo co bijekcji pomiędzy <math>5</math>-elementowymi zbiorami, czyli <math>5!=5\cdot4\cdot3\cdot2\cdot1=120</math>.
Większość kroków tanecznych ćwiczy się parami.
Dla urozmaicenia pary często się zmieniają.
Na ile sposobów może być wykonany jeden taniec?
 
Niech <math>C</math> będzie zbiorem chłopaków, a <math>D</math> zbiorem dziewcząt.  
Matematycznym modelem doboru par do tańca jest bijekcja <math>f:C\rightarrow D</math>.  
Zatem możliwych wyborów jest tyle samo co bijekcji pomiędzy <math>5</math>-elementowymi zbiorami,  
czyli <math>5!=5\cdot4\cdot3\cdot2\cdot1=120</math>.
}}
}}


==Permutacje==
==Permutacje==


'''Permutacja''' zbioru skończonego <math>X</math> to bijekcja z <math>X</math> w <math>X</math>.  
{{kotwica|permutacja|'''Permutacja'''}} zbioru skończonego <math>X</math> to bijekcja z <math>X</math> w <math>X</math>.  


'''Zbiór permutacji zbioru <math>\mathbb{Z}_n</math>''' oznaczamy przez <math>S_n</math>,  
{{kotwica|zbpermzb|'''Zbiór permutacji zbioru <math>\mathbb{Z}_n</math>'''}} oznaczamy przez <math>S_n</math>, a permutacje bedziemy w tym kursie oznaczać małymi literami greckimi.  
a permutacje bedziemy w tym kursie oznaczać małymi literami greckimi.  


{{przyklad|||
{{przyklad|||
Rozważ funkcję <math>\alpha:\mathbb{Z}_7\rightarrow\mathbb{Z}_7</math> zadaną przez poniższą tabelę:


Rozważ funkcję <math>\alpha:\mathbb{Z}_7\rightarrow\mathbb{Z}_7</math> zadaną przez poniższą tabelę:


<center><math>\begin{array} {|c||c|c|c|c|c|c|c|}
<center><math>\begin{array} {|c||c|c|c|c|c|c|c|}
Linia 1080: Linia 895:
</math></center>
</math></center>


Funkcja <math>\alpha</math> jest bijekcją z <math>\mathbb{Z}_7</math> w <math>\mathbb{Z}_7</math>,  
 
zatem jest permutacją i <math>\alpha\in S_7</math>.
Funkcja <math>\alpha</math> jest bijekcją z <math>\mathbb{Z}_7</math> w <math>\mathbb{Z}_7</math>, zatem jest permutacją i <math>\alpha\in S_7</math>.
}}
}}


{{przyklad|||
{{przyklad|||
Dla permutacji <math>\alpha,\beta\in S_5</math> zadanych przez poniższą tabelę:


Dla permutacji <math>\alpha,\beta\in S_5</math> zadanych przez poniższą tabelę:


<center><math>\begin{array} {|c||c|c|c|c|c|}
<center><math>\begin{array} {|c||c|c|c|c|c|}
Linia 1098: Linia 913:
\end{array}  
\end{array}  
</math></center>
</math></center>


ich złożenia podane są poniżej:
ich złożenia podane są poniżej:


<center><math>\begin{array} {|c||c|c|c|c|c|}
<center><math>\begin{array} {|c||c|c|c|c|c|}
Linia 1111: Linia 928:
\end{array}  
\end{array}  
</math></center>
</math></center>


Zauważ, że oba złożenia także są permutacjami <math>\mathbb{Z}_5</math>.
Zauważ, że oba złożenia także są permutacjami <math>\mathbb{Z}_5</math>.
}}
}}


Ponieważ permutacje są bijekcjami,  
Ponieważ permutacje są bijekcjami, to natychmiast z [[#obs_3.2|Obserwacji 3.2]] dostajemy:
to natychmiast z Obserwacji [[##obs-zlozenia|Uzupelnic obs-zlozenia|]] dostajemy:
 
{{obserwacja|||


{{obserwacja|3.12|obs 3.12|
Dla dowolnych permutacji <math>\alpha,\beta</math> skończonego zbioru <math>X</math>:
Dla dowolnych permutacji <math>\alpha,\beta</math> skończonego zbioru <math>X</math>:


* <math>\alpha\beta,\beta\alpha</math> są permutacjami <math>X</math>,
* <math>\alpha\beta,\beta\alpha</math> są permutacjami <math>X</math>,
* <math>\alpha^{-1}</math> jest permutacją <math>X</math> taką,  
* <math>\alpha^{-1}</math> jest permutacją <math>X</math> taką, że <math>\alpha\alpha^{-1}=id_{X}=\alpha^{-1}\alpha=</math>.
że <math>\alpha\alpha^{-1}=id_{X}=\alpha^{-1}\alpha=</math>.


}}
}}


Następne spostrzeżenie jest natychmiastowym wnioskiem  
Następne spostrzeżenie jest natychmiastowym wnioskiem z [[#obs_3.11|Obserwacji 3.11]].
z Obserwacji [[##obserwacja - zliczanie bijekcji|Uzupelnic obserwacja - zliczanie bijekcji|]].


{{wniosek|||
{{wniosek|3.13|wn 3.13|
 
Zbiór <math>n</math>-elementowy ma dokładnie <math>n!</math> permutacji, <math>\left\vert S_n\right\vert=n!</math>.
Zbiór <math>n</math>-elementowy ma dokładnie <math>n!</math> permutacji, <math>\left\vertS_n\right\vert=n!</math>.
}}
}}


{{przyklad|||
{{przyklad|||
Oto wszystkie (<math>3!=6</math>) permutacje zbioru <math>S_3</math>:


Oto wszystkie (<math>3!=6</math>) permutacje zbioru <math>S_3</math>:


<center><math>\begin{array} {ccccccccccc}
<center><math>\begin{array} {ccccccccccc}
Linia 1150: Linia 963:
\end{array}  
\end{array}  
</math></center>
</math></center>


}}
}}


Permutację <math>\alpha</math> zbioru <math>X={\left\{ {x_0,\ldots,x_{n-1}} \right\}\ }</math>
wygodnie jest identyfikować z krotką
<math>(\alpha(x_0),\ldots,\alpha(x_{n-1}))\in X^n</math>.
Często też permutację interpretuje się jako uporządkowanie zbioru <math>X</math>.


{{przyklad|||
Permutację <math>\alpha</math> zbioru <math>X={\left\{ {x_0,\ldots,x_{n-1}} \right\}\ }</math> wygodnie jest identyfikować z krotką <math>(\alpha(x_0),\ldots,\alpha(x_{n-1}))\in X^n</math>. Często też permutację interpretuje się jako uporządkowanie zbioru <math>X</math>.
 
[[File:7ksiazek.jpg|250x250px|thumb|left|7 książek]]


Na ile sposobów można poukładać koło siebie na półce 7 książek?
[[File:MD1-2-8.svg|250x250px|thumb|right| ]]


''Rysunek:'' 2.7 Rysunek bądź zdjęcie siedmiu książek na półce.
{{przyklad|||
Na ile sposobów można poukładać koło siebie na półce <math>7</math> książek?


Na dokładnie tyle, ile jest permutacji zbioru siedmio-elementowego, a więc <math>7!=5040</math>.
Na dokładnie tyle, ile jest permutacji zbioru siedmio-elementowego, a więc <math>7!=5040</math>.
}}
}}


'''Cykl''' zbioru <math>n</math>-elementowego <math>X</math> to taka permutacja zbioru <math>X</math>,  
{{kotwica|cykl|'''Cykl'''}} zbioru <math>n</math>-elementowego <math>X</math> to taka permutacja zbioru <math>X</math>, dla której <math>{\left\{ {x,\alpha(x),\alpha^2(x),\ldots,\alpha^{n-1}(x)} \right\}\ }=X</math>, przy dowolnym <math>x\in X</math>. Łatwo zauważyć, że jeśli dla pewnego <math>x_0\in X</math> mamy <math>{\left\{ {x,\alpha(x),\alpha^2(x),\ldots,\alpha^{n-1}(x)} \right\}\ }=X</math>, to jest tak dla wszystkich <math>x\in X</math>, czyli <math>\alpha</math> jest cyklem na <math>X</math>. Cykl <math>\alpha</math> zbioru <math>X</math> zapisujemy jako <math>(x,\alpha(x),\ldots,\alpha^{n-1}(x))</math> dla dowolnie wybranego <math>x\in X</math>.
dla której <math>{\left\{ {x,\alpha(x),\alpha^2(x),\ldots,\alpha^{n-1}(x)} \right\}\ }=X</math>,  
przy dowolnym <math>x\in X</math>.
Łatwo zauważyć, że jeśli dla pewnego <math>x_0\in X</math>  
mamy <math>{\left\{ {x,\alpha(x),\alpha^2(x),\ldots,\alpha^{n-1}(x)} \right\}\ }=X</math>,  
to jest tak dla wszystkich <math>x\in X</math>, czyli <math>\alpha</math> jest cyklem na <math>X</math>.  
Cykl <math>\alpha</math> zbioru <math>X</math> zapisujemy jako <math>(x,\alpha(x),\ldots,\alpha^{n-1}(x))</math>  
dla dowolnie wybranego <math>x\in X</math>.


{{przyklad|||
{{przyklad|||
Rozważmy <math>\alpha\in S_6</math> daną przez
Rozważmy <math>\alpha\in S_6</math> daną przez


<center><math>\begin{array} {|c||c|c|c|c|c|c|}
<center>
<math>\begin{array} {|c||c|c|c|c|c|c|}
\hline
\hline
n&0&1&2&3&4&5\\
n&0&1&2&3&4&5\\
Linia 1187: Linia 993:
\hline
\hline
\end{array}  
\end{array}  
</math></center>
</math>
</center>


* sekwencja <math>0</math>, <math>\alpha(0)=3</math>, <math>\alpha^2(0)=1</math>, <math>\alpha^3(0)=5</math>, <math>\alpha^4(0)=4</math>, <math>\alpha^5(0)=2</math> pokwywa całe <math>\mathbb{Z}_6</math>,
* sekwencja <math>0</math>, <math>\alpha(0)=3</math>, <math>\alpha^2(0)=1</math>, <math>\alpha^3(0)=5</math>, <math>\alpha^4(0)=4</math>, <math>\alpha^5(0)=2</math> pokwywa całe <math>\mathbb{Z}_6</math>,
* zatem <math>\alpha=(0,3,1,5,4,2)</math> jest cyklem.
* zatem <math>\alpha=(0,3,1,5,4,2)</math> jest cyklem.
''Rysunek:'' 2.8 Szkic na kartce.


}}
}}


1  {Rozkład permutacji na rozłączne cykle.}
====Rozkład permutacji na rozłączne cykle====


Dowolną permutację <math>\alpha</math> zbioru <math>X</math> można rozłożyć na rozłączne cykle  
Dowolną permutację <math>\alpha</math> zbioru <math>X</math> można rozłożyć na rozłączne cykle w sposób następujący:
w sposób następujący:
# wybierz dowolny element <math>x\in X</math>, który nie jest jeszcze w żadnym cyklu,
# wybierz dowolny element <math>x\in X</math>, który nie jest jeszcze w żadnym cyklu,
# iteruj permutację <math>\alpha</math> otrzymując kolejno:  
#iteruj permutację <math>\alpha</math> otrzymując kolejno: <math>\alpha(x),\alpha^2(x),\alpha^3(x),\ldots</math> aż do uzyskania <math>\alpha^j(x)=x</math>,
<math>\alpha(x),\alpha^2(x),\alpha^3(x),\ldots </math>  
#dodaj do rozkładu cykl <math>x,\ldots,\alpha^{j-1}(x)</math>,
aż do uzyskania <math>\alpha^j(x)=x</math>,
#jeśli w zbiorze <math>X</math> pozostały jeszcze elementy niepokryte przez żaden cykl, to wróć do pierwszego punktu.
# dodaj do rozkładu cykl <math>x,\ldots,\alpha^{j-1}(x)</math>,
# jeśli w zbiorze <math>X</math> pozostały jeszcze elementy niepokryte przez żaden cykl,  
to wróć do pierwszego punktu.


{{dowod|||
{{dowod|||
Dla dowodu poprawności algorytmu rozkładu pokażemy najpierw, że iteracja w drugim punkcie zawsze osiąga element wyjściowy <math>x</math>. Ponieważ zbiór <math>X</math> jest skończony iteracja <math>x,\alpha(x),\alpha^2(x)\ldots</math> w pewnym kroku musi wrócić do elementu już rozważanego, zatem <math>\alpha^i(x)=\alpha^j(x)</math> dla pewnych <math>i<j</math>. Weźmy najmniejsze takie <math>j</math>, że <math>\alpha^i(x)=\alpha^j(x)</math> dla pewnego <math>0\leq i<j</math>. Gdyby <math>i\neq 0</math> to z faktu, że <math>\alpha</math> jest permutacją mamy <math>\alpha^{i-1}(x)=\alpha^{j-1}(x)</math>, co stoi w sprzeczności z minimalnością <math>j</math>. A zatem <math>\alpha^j(x)=x</math>.


Dla dowodu poprawności algorytmu rozkładu
Pozostaje jeszcze pokazać, że otrzymane cykle są rozłączne. Załóżmy, że nie są i weźmy pierwszy napotkany element <math>y=\alpha^i(x)</math>, który był już w którymś z poprzednich cykli. Zauważmy, że <math>i>0</math> gdyż <math>x</math> był wybrany jako element nie pokryty przez żaden cykl (patrz punkt pierwszy). Wiemy, że istnieje element <math>z</math> w tym samym cyklu co <math>y</math> taki, że <math>\alpha(z)=y</math>, ale także <math>\alpha(\alpha^{i-1}(x))=y</math>. Ponieważ <math>\alpha</math> jest permutacją, otrzymujemy <math>\alpha^{i-1}(x)=z</math>, co stoi w sprzeczności z faktem, że <math>y</math> jest jedynym elementem z poprzedniego cyklu.
pokażemy najpierw, że iteracja w drugim punkcie zawsze osiąga element wyjściowy <math>x</math>.
Ponieważ zbiór <math>X</math> jest skończony iteracja <math>x,\alpha(x),\alpha^2(x)\ldots</math>
w pewnym kroku musi wrócić do elementu już rozważanego,
zatem <math>\alpha^i(x)=\alpha^j(x)</math> dla pewnych <math>i<j</math>.
Weźmy najmniejsze takie <math>j</math>, że <math>\alpha^i(x)=\alpha^j(x)</math>
dla pewnego <math>0\leq i<j</math>.
Gdyby <math>i\neq 0</math> to z faktu, że <math>\alpha</math> jest permutacją
mamy <math>\alpha^{i-1}(x)=\alpha^{j-1}(x)</math>,
co stoi w sprzeczności z minimalnością <math>j</math>.
A zatem <math>\alpha^j(x)=x</math>.
 
Pozostaje jeszcze pokazać,  
że otrzymane cykle są rozłączne.  
Załóżmy, że nie są i weźmy pierwszy napotkany element <math>y=\alpha^i(x)</math>,
który był już w którymś z poprzednich cykli.  
Zauważmy, że <math>i>0</math> gdyż <math>x</math> był wybrany jako element nie pokryty przez żaden cykl  
(patrz punkt pierwszy).  
Wiemy, że istnieje element <math>z</math> w tym samym cyklu co <math>y</math> taki,  
że <math>\alpha(z)=y</math>, ale także <math>\alpha(\alpha^{i-1}(x))=y</math>.  
Ponieważ <math>\alpha</math> jest permutacją, otrzymujemy <math>\alpha^{i-1}(x)=z</math>,  
co stoi w sprzeczności z faktem,  
że <math>y</math> jest jedynym elementem z poprzedniego cyklu.
}}
}}


Jeśli permutacja <math>\alpha</math> złożona jest z <math>k</math> rozłącznych cykli,  
Jeśli permutacja <math>\alpha</math> złożona jest z <math>k</math> rozłącznych cykli, to zapisujemy <math>\alpha=(x_0,\ldots)(x_1,\ldots)\ldots(x_{k-1},\ldots)</math>, gdzie w kolejnych nawiasach są elementy kolejnych cykli startujące od odpowiednio: <math>x_0,\ldots,x_{k-1}</math>.
to zapisujemy <math>\alpha=(x_0,\ldots)(x_1,\ldots)\ldots(x_{k-1},\ldots)</math>,  
gdzie w kolejnych nawiasach są elementy kolejnych cykli startujące od odpowiednio:  
<math>x_0,\ldots,x_{k-1}</math>.


'''#1''' 


{{przyklad|||
{{przyklad|||
Rozważmy jeszcze raz permutację <math>\alpha\in S_7</math>:


Rozważmy jeszcze raz permutację <math>\alpha\in S_7</math>:


<center><math>\begin{array} {|c||c|c|c|c|c|c|c|}
<center><math>\begin{array} {|c||c|c|c|c|c|c|c|}
Linia 1255: Linia 1031:
</math></center>
</math></center>


Rozkład <math>\alpha</math> na cykle:
 
Rozkład <math>\alpha</math> na cykle:  
* <math>0</math>, <math>\alpha(0)=2</math>, <math>\alpha(2)=6</math>, <math>\alpha(6)=5</math>, <math>\alpha(5)=1</math>, <math>\alpha(1)=3</math>, <math>\alpha(3)=0</math>,
* <math>0</math>, <math>\alpha(0)=2</math>, <math>\alpha(2)=6</math>, <math>\alpha(6)=5</math>, <math>\alpha(5)=1</math>, <math>\alpha(1)=3</math>, <math>\alpha(3)=0</math>,
* <math>4</math>, <math>\alpha(4)=4</math>,
* <math>4</math>, <math>\alpha(4)=4</math>,
* <math>\alpha=(026513)(4)</math>.
* <math>\alpha=(026513)(4)</math>.


}}
}}

Aktualna wersja na dzień 22:22, 15 wrz 2023

Funkcje

Ten fragment wykładu przypomina poznany już wcześniej materiał. Służy jedynie ustaleniu terminologii i notacji.

Funkcja o dziedzinie X i przeciwdziedzinie Y to dowolna relacja fX×Y taka, że:

  • xX yY  x,yf
  • xX y1,y2Y  (x,y1fx,y2f)y1=y2

Pierwszy warunek mówi, że każdy element dziedziny ma jakąś wartość przypisaną funkcją f. Drugi, że taka wartość jest co najwyżej jedna (dowolne dwie są bowiem równe). W skrócie oba warunki możemy zapisać łącznie jako


xX !yY  x,yf,


gdzie kwantyfikator ! oznacza istnieje dokładnie jeden.

  • Ważne jest
    • wykorzystanie wszystkich elementów dziedziny: każdemu elementowi dziedziny ...
    • i jednoznaczność: jest przyporządkowany dokładnie jeden element przeciwdziedziny,
  • nie wyklucza to sytuacji, gdy np. dwóm elementom dziedziny przyporządkowany jest ten sam element przeciwdziedziny,
  • nie każdy element przeciwdziedziny musi być wykorzystany, tzn. mogą istnieć takie elementy przeciwdziedziny, które nie są przyporządkowane żadnemu elementowi dziedziny,
  • dziedzina i przeciwdziedzina mogą być tym samym zbiorem.

Notacja:

  • Piszemy f:XY lub XfY na oznaczenie funkcji o nazwie f, której dziedziną jest zbiór X, a przeciwdziedziną zbiór Y.
    • elementy dziedziny nazywamy argumentami funkcji
    • elementy przeciwdziedziny im przyporządkowane nazywamy wartościami funkcji.
  • Piszemy f(x)=y lub f:xy na oznaczenie tego, że funkcja f elementowi x przyporządkowuje element y
    • mówimy wtedy, że y jest wartością funkcji f na argumencie x.
  • Często podaje się przepis na funkcję, wykorzystując
    • operacje arytmetyczne: f(x)=3x+7
    • lub inne powszechnie znane funkcje g(x)=2sin(x)cos(x).
  • W powyższych przykładach dziedziny i przeciwdziedziny można się domyślić (zapewne liczby rzeczywiste), ale dla ścisłości powinno się je podać, np. f:.

Przykłady funkcji

Najczęściej będziemy się zajmowali funkcjami, które działają na liczbach (dziedziną i przeciwdziedziną będą zbiory liczbowe, np. ,), ale można mówić o funkcjach na różnych zbiorach.

  • f:n2n,
    • jest zwartym zapisem, że f jest funkcją postaci f:
      daną przepisem f(n)=2n
    • jako przeciwdziedzinę określiliśmy zbiór liczb naturalnych,
      ale w istocie wartościami tej funkcji są tylko liczby parzyste
  • g:, g(n)=n/2,
    • określenie g: nie byłoby tu prawidłowe, gdyż wartość n/2 nie zawsze jest liczbą naturalną
  • h:{13} , h(n)=13,
    • to też jest poprawnie określona funkcja, mimo że niezbyt frapująca (tzw. funkcja stała)
  • f:, f(n)=(1+3+5++(2n+1))n.
    • takie określenie też jest poprawne, choć nie od razu widać, ile to jest
  • g:xsinxπ jest całkiem poprawną funkcją.
  • h:xsinπx,
    • to określenie (mimo, że podobne do poprzedniego) jest błędne:
      nie da się policzyć wartości h(0);
      należałoby więc napisać np. h:{0} 
  • {0,1} *ww1{0,1} *,
    • to funkcja określona na słowach nad alfabetem dwuelementowym {0,1} 
    • każdemu słowu przypisuje to słowo rozszerzone na końcu o symbol 1
  • d:{0,1} *, d(w)= długość słowa w

Wielomian to funkcja:


xanxn+an1xn1++a2x2+a1x+a0


gdzie

  • liczby an,an1,,a1,a0 zwane są współczynnikami wielomianu
    • mówimy więc o wielomianach o współczynnikach
      • naturalnych - jeśli an,an1,,a1,a0
      • całkowitych - jeśli an,an1,,a1,a0
      • wymiernych - jeśli an,an1,,a1,a0
      • rzeczywistych - jeśli an,an1,,a1,a0
    • liczba n zwana jest stopniem wielomianu, ale tylko o ile an0.

Surjekcje, injekcje i bijekcje

<div.thumbcaption>Przykład surjekcji

Surjekcja to funkcja f:XY spełniająca warunek


yY xX  f(x)=y


  • Intuicyjnie, funkcja jest surjekcją, jeśli jej cała przeciwdziedzina jest wykorzystana, tzn. każdy jej element jest wartością funkcji dla jakiegoś elementu dziedziny,
  • surjekcje często są nazywane funkcjami "na",
  • piszemy też wtedy f:XY.

Przykład

Funkcja xx3 jest surjekcją.
Funkcja xx3 nie jest surjekcją.
Funkcja x2x nie jest surjekcją.
Funkcja x2x jest surjekcją.
Funkcja xx jest surjekcją.
Funkcja xx jest surjekcją.
Funkcja xx nie jest suriekcją.
Funkcja xsinx nie jest surjekcją.
Funkcja {0,1} *ww1{0,1} * nie jest suriekcją.
Funkcja {0,1} *wd(w) jest suriekcją.

Przykład injekcji

Injekcja to funkcja f:XY spełniająca warunek:


x1,x2X  x1x2f(x1)f(x2)


  • Intuicyjnie, funkcja jest injekcją, jeśli różnym elementom dziedziny funkcja przyporządkowuje różne elementy przeciwdziedziny,
  • injekcje często są nazywane funkcjami różnowartościowymi,
  • piszemy też wtedy f:XY.

Przykład

Funkcja xx3 jest injekcją.
Funkcja xx2 nie jest injekcją.
Funkcja xx jest injekcją.
Funkcja xx nie jest injekcją.
Funkcja x2x jest injekcją.
Funkcja x2x jest injekcją.
Funkcja xsinx nie jest injekcją.
Funkcja {0,1} *ww1{0,1} * jest injekcją.
Funkcja {0,1} *wd(w) nie jest injekcją.

Przykład bijekcji

Bijekcja to funkcja, która jest jednocześnie surjekcją i injekcją.

Przykład

Funkcja xx3 jest bijekcją.
Funkcja xx3 nie jest bijekcją.
Funkcja x2x nie jest bijekcją.
Funkcja x2x jest bijekcją.
Funkcja xx jest bijekcją.
Funkcja xx nie jest bijekcją.
Funkcja xx nie jest bijekcją.
Funkcja {0,1} *ww1{0,1} * nie jest bijekcją.
Funkcja {0,1} *wd(w) nie jest bijekcją.

Funkcje odwrotne

Traktując funkcję f:XY jako relację fX×Y (zbiór par), możemy rozważać relację f1 odwrotną do f.

Kiedy ta relacja jest funkcją?

  • ponieważ f1 ma spełniać warunek, że każdy element dziedziny f1 (tzn. zbioru Y) ma przypisaną jakąś wartość, oznacza to, że sama funkcja f wyczerpuje wszystkie elementy przeciwdziedziny, a zatem, że f jest surjekcją,
  • nadto f1 ma przypisywać dokładnie jeden taki element, czyli że każdy element z Y jest przypisany poprzez f jednemu elementowi z X, a zatem f musi być injekcją.

A zatem: funkcja posiada funkcję odwrotną, wtedy i tylko wtedy, gdy jest bijekcją.

  • Nieformalnie tworzenie funkcji odwrotnej polega na odwracaniu strzałek.
  • Gdyby f nie była surjekcją, to przy próbie odwrócenia strzałek niektóre elementy zbioru Y nie miałyby przyporządkowanego żadnego elementu z X.
  • Gdyby zaś f nie była injekcją, to przy próbie odwrócenia strzałek niektóre strzałki byłyby "rozdwojone".

Przykład

  • Funkcja f:x2x jest bijekcją, a zatem posiada funkcję odwrotną. Tę funkcję odwrotną można wyliczyć: skoro y=f(x)=2x, to f1(y)=x=y/2. Zatem f1:xx/2.
  • Funkcja xx nie jest injekcją. Nie posiada więc funkcji odwrotnej.
  • Funkcja x2x nie jest surjekcją. Nie posiada więc funkcji odwrotnej. Ale rozważając tę funkcję z przeciwdziedziną będącą zbiorem liczb parzystych, tzn. x2x staje się ona bijekcją i posiada funkcję odwrotną xx/2.
  • Funkcja xx2 nie jest ani injekcją ani surjekcją. Nie posiada więc funkcji odwrotnej. Surjektywność można by "uratować", rozważając
f:xx2[0,+).


Wciąż jednak brakowałoby injektywności. Ograniczając jednak, tę funkcję do liczb nieujemnych, tzn. traktując ją jako:


f|[0,+):[0,+)xx2[0,+),


staje się już bijekcją, więc posiada funkcję odwrotną, którą jest


[0,+)xx[0,+).


Składanie funkcji

Złożenie funkcji f:XY i funkcji g:YZ to funkcja


gf:XZ


określona dla wszystkich argumentów xX jako (gf)(x)=g(f(x)).

  • Nieformalnie - najpierw obliczamy wartość funkcji f dla elementu x,
    a następnie obliczamy wartość funkcji g dla wyniku tego obliczenia; czyli "idziemy dalej wzdłuż następnej strzałki"
XYZ
  • Piszemy gf (a nie fg) na oznaczenie złożenia, w którym najpierw obliczana jest wartość funkcji f, a potem funkcji g.
  • W praktyce, przy złożeniu gf, dziedzina funkcji g nie musi być tym samym zbiorem, co przeciwdziedzina funkcji f - wystarczy, by była większa.

Przykład

  • Niech f:nn+2 i g:n3n. Wówczas dla gf: mamy (gf)(n)=g(f(n))=g(n+2)=3(n+2)=3n+6 a dla fg: mamy (fg)(n)=f(g(n))=f(3n)=3n+2.

Morał: złożenia fg i gf to (na ogół) różne funkcje.

  • Niech f:xsin3x i g:x(x+π)2. Wówczas złożenie fg: dane jest wzorem
(fg)(x)=f(g(x))=f((x+π)2)=sin(3(x+π)2)


Morał: Nie zawsze da się łatwo wyliczyć przepis na funkcję złożoną.

  • Gdy f:XY jest bijekcją, to istnieje funkcja odwrotna f1:YX. Jeśli złożymy f1f, to uzyskamy funkcję XX, która "nic nie robi":
(f1f)(x)=f1(f(x))=x


Taka funkcja zwana jest identycznością na zbiorze X i oznaczana idX. Podobnie - składając ff1:YY, otrzymamy identyczność na zbiorze Y.

Widzieliśmy, że nie zawsze fg=gf.

Obserwacja 3.1

Dla funkcji XhYgZfW zachodzi f(gh)=(fg)h.

Obserwacja 3.2

Nadto dla XfYgZ mamy:

  • Jeśli f,g są surjekcjami, to gf jest surjekcją.
  • Jeśli f,g są injekcjami, to gf jest injekcją.
  • Jeśli f,g są bijekcjami, to gf jest bijekcją.
  • Pierwsza i trzecia z powyższych własności nie zachodzą, jeśli dziedzina funkcji g jest większa niż przeciwdziedzina funkcji f.

Przykład

Zbadaj czy dla funkcji XfYgZ zachodzi:

  • jeśli gf jest surjekcją, to f jest surjekcją
  • jeśli gf jest surjekcją, to g jest surjekcją
  • jeśli gf jest injekcją, to f jest injekcją
  • jeśli gf jest injekcją, to g jest injekcją

Funkcje wielu zmiennych

  • Funkcja dwóch zmiennych to funkcja, której dziedziną jest zbiór par (zamiast pojedynczych elementów).
  • Piszemy np. f:X×YZ.
  • Zatem funkcja taka każdej parze (x,y)X×Y przyporządkowuje dokładnie jeden element f(x,y)Z.
  • Podobnie można zdefiniować funkcje trzech i więcej zmiennych.

Przykład

Przykładem funkcji dwóch zmiennych są działania arytmetyczne:

  • ×(x,y)x+y
  • ×(x,y)xy
  • ×(x,y)xy
  • ×{0} (x,y)xy
  • ×(x,y)xy

a także konkatenacja (sklejenie) słów

  • X*×X*(v,w)vwX*, gdzie vw oznacza słowo (krotkę) powstałe z doklejenia słowa w na końcu słowa v.

Zliczanie zbiorów

Liczenie samochodów na parkingu

Gdy chcemy policzyć liczbę samochodów na parkingu zazwyczaj wskazujemy na kolejne samochody odliczając: jeden, dwa, trzy, itd., aż do momentu gdy każdy samochód zostanie wskazany. Wtedy ostatnia liczba, którą wypowiedzieliśmy jest uważana za liczbę samochodów na parkingu.

Aby wprowadzić matematyczny model procedury zliczania definiujemy początkowe odcinki liczb naturalnych:


0=,1={0} ,2={0,1} ,k={0,,k1} .


Załóżmy, że na parkingu stoi n samochodów. Zliczając je wybieramy elementy n (zazwyczaj kolejne liczby) i przypisujemy je do samochodów na parkingu. Uwaga: wybierając liczby z n zaczynamy od 0 i kończymy na n1 (na ogół nie-informatycy zliczają od 1 do n). Określamy zatem w trakcie tego zliczania bijekcję f:nS, gdzie S jest zbiorem samochodów na parkingu. W istocie jest to bijekcja, bo dwa różne samochody mają różne numery (injektywność) i każdy samochód jest policzony (surjektywność).

Obserwacja 3.3

Gdy m<n, to nie istnieje injekcja z n w m.

SW 2.5.swf

Dowód

Niech S będzie zbiorem liczb naturalnych n takich, że istnieje injekcja postaci f:mn, przy pewnym m<n. Oczywiście 0S, bo nie istnieje liczba naturalna m taka, że 0m<0. Także 1S, bo nie istnieje funkcja z niepustego zbioru 1 w pusty 0. Dla dowodu niewprost załóżmy, że S jest niepusty. Wtedy, z Zasady Minimum, S ma element najmniejszy, powiedzmy math>n_0>1</math>. Istnieje zatem m<n0 i injekcja f:n0m. Analogicznie jak wcześniej m0 oraz m1, bo inaczej wszystkie elementy Nn0 musiałyby mieć tę samą wartość, co stoi w sprzeczności z injektywnością f. Zatem m1 jest dodatnią liczbą naturalną.

Jeśli m1f({0,,n02} ), to restrykcja f|n01 jest injekcją z n01 w m1, czyli n01S co stoi w sprzeczności z minimalnością n0 w S.

Jeśli m1f({0,,n02} ), to niech a i b będą takimi liczbami, że f(a)=m1 i f(n01)=b.

Wtedy funkcja g: Nn01m1 zadana przez


g(x)={f(x),dlaxab,dlax=a


jest injekcją, bo dla x1,x2n01{a}  zachodzi g(x1)=g(x2)x1=x2 i dodatkowo bg(n0{a} )=f(n0{a} ). Zatem znów n01S, co stoi w sprzeczności z minimalnością n0 w S.

Wniosek 3.4

Jeśli istnieje bijekcja ze zbioru m na n, to m=n.

Zbiór skończony to zbiór bijektywny z pewnym zbiorem postaci n.

Zbiór nieskończony to zbiór, który nie jest skończony.

Jeśli X jest zbiorem skończonym, to Wniosek 3.4 gwarantuje nam, że X jest bijektywny z dokładnie jednym zbiorem postaci n. Rozważając skończony zbiór n-elementowy X, często używamy notacji X={x0,x1,,xn1}  ukrywającej w sobie bijekcję postaci nX.

Liczba elementów skończonego zbioru X, to jedyna liczba naturalna n taka, że istnieje bijekcja z n w X. Liczbę te oznaczamy
przez |X|.

Przykład

Oczywiście |n|=n. W szczególności zbiór pusty ma, zgodnie z intuicją, liczbę elementów równą 0.

Przykład

Zbiór liczb parzystych jest nieskończony.

Dla dowodu niewprost załóżmy, że ||=k, tzn. ={p0,,pk1} . Oczywiście , bo 0. Nadto suma wszystkich pi jest ograniczeniem zbioru , a więc, z Zasady Maksimum, posiada element największy, powiedzmy p0. Ponieważ p0 jest największą liczbą parzystą, p0+2, co oczywiście daje sprzeczność.

Obserwacja 3.5

Zbiór X jest nieskończony wtedy i tylko wtedy, gdy istnieje injekcja z w X.

Dowód

Załóżmy, że X jest nieskończony i zdefiniujmy indukcyjnie funkcję f:X, kładąc:

  1. niech f(0) będzie dowolnym, wybranym elementem X,
  2. gdy f(0),,f(n) są już określone, wtedy niech f(n+1) będzie dowolnie wybranym elementem z X{f(0),,f(n)} .

To, że wyboru opisanego w punkcie drugim możemy zawsze dokonać, wynika wprost z nieskończoności zbioru X. Istotnie, gdyby zbiór X{f(0),,f(n)}  był pusty, to f byłoby bijekcją n+1X świadczącą o tym, że X jest skończony. Oczywiście, tak zdefiniowana funkcja f:X jest injekcją.

Dla dowodu implikacji odwrotnej załóżmy, że istnieje injekcja f:X oraz że X jest skończony tzn. że istnieje bijekcja g:nX dla pewnego n. Zauważmy, że restrykcja f|n+1 jest również injekcją. A zatem złożenie g1f|n+1 jest injekcją z n+1 w n, co stoi w sprzeczności z Obserwacją 3.3.

Zbiór przeliczalny to zbiór skończony lub bijektywny z .

Przykład

  • zbiór pusty jest przeliczalny, bo jest skończony,
  • zbiór liczb parzystych jest przeliczalny, bo f(x)=2x jest bijekcją
  • zbiór liczb całkowitych jest przeliczalny, bo


f(x)={x2,dla parzystych x,1x2,dla nieparzystych x,


jest bijekcją z w .

Zasada Szufladkowa

Wróćmy jeszcze do Obserwacji 3.3 - formalnej podstawy zliczania skończonych zbiorów. Ma ona także bardziej praktyczną interpretację. Jest to formalne ujęcie faktu powszechnie znanego jako Zasada Szufladkowa Dirichleta (wierzy się, że jako pierwszy opisał ja Dirichlet w 1834).

Wniosek 3.6 [Zasada Szufladkowa Dirichleta]

Jeśli n obiektów jest rozmieszczonych w m szufladach i n>m, to istnieje szuflada z przynajmniej dwoma obiektami.

Dowód

Zbiór obiektów jest bijektywny ze zbiorem n, zaś zbiór szuflad z m. Rozmieszczenie obiektów w szufladach to określenie funkcji z n w m. Ponieważ n>m to Obserwacja 3.3 mówi nam, ze funkcja ta nie jest injekcją, a zatem lokuje co najmniej dwa obiekty w tej samej szufladzie.

Przykład

Proste przykłady:

  • Wśród mieszkańców Krakowa co najmniej dwie osoby mają tę samą liczbę włosów na głowie.

Dowód

Rzeczywiście, liczba włosów na głowie człowieka nie przekracza 500000, natomiast liczba mieszkańców Krakowa przekracza 800000. Weźmy 500000 szufladek ponumerowanych kolejnymi liczbami naturalnymi od 0 do 499999 i wkładajmy do szufladki o danym numerze osoby, które mają taką liczbę włosów na głowie, jak numer szufladki. Ponieważ osób jest 800000, a szufladek 500000, z Zasady Szufladkowej wynika, że w jednej szufladce muszą znaleźć się co najmniej dwie osoby.

  • W grupie 13 osób muszą być co najmniej dwie, które urodziły się w tym samym miesiącu.

Dowód

Weźmy 12 szufladek z nazwami miesięcy i wkładajmy do nich osoby, które urodziły się w danym miesiącu. Ponieważ osób jest 13, a szufladek 12, w jednej z nich muszą być co najmniej dwie osoby.

Czasem, umiejętnie dobierając "pudełka" można pokazać bardziej zaskakujące fakty...

Przykład

Pewna grupa osób wita się podając sobie ręce. Nikt nie wita się z samym sobą i żadna para osób nie wita się podwójnie. Czy muszą być dwie osoby, które witały taką samą liczbę osób?

  • Gdy jest n osób, to każda z nich przywita 0 lub 1 lub 2 lub ... n1 osób.
  • Utwórzmy więc n szuflad z etykietami k=0,1,2,,n1 i umieśćmy osobę w szufladzie o etykiecie k, jeśli witała się z dokładnie k osobami.
  • Skoro jest n osób i n szuflad, to ...
    niewiele z tego wynika  :-(
  • Ale... niewiele wynika tylko jeśli wszystkie szuflady będą zajęte, a tak jest w przypadku, gdy również dwa konkretne pudełka o etykietach 0 i n1 są zajęte. Tyle, że nie jest to możliwe - nie może być osoby, która przywitała wszystkie pozostałe i równocześnie takiej, która nie przywitała nikogo.
  • A zatem n osób zajęło co najwyżej n1 szuflad, więc w jednej z nich są co najmniej dwie osoby - takie, które przywitały tę samą liczbę osób.

Przykład

Wybierając n+1 liczb spośród 1,2,3,,2n, wśród wybranych liczb zawsze znajdziemy dwie, z których jedna dzieli drugą.

Istotnie:

  • Określmy relacje xRy na liczbach naturalnych, tak by:
xRy   iloraz xy jest potęgą (być może ujemną) liczby 2.


Oznacza to, że xRy jeśli liczby x,y mają ten sam największy czynnik nieparzysty.

  • Szufladami niech będą klasy równoważności relacji R.
  • Ile jest klas-szuflad dla liczb ze zbioru {1,2,3,,2n} ? Co najwyżej n, gdyż tyle może być liczb nieparzystych w zbiorze {1,2,,2n} .
  • Skoro wybrano n+1, to rozkładając je do naszych szuflad jakieś dwie, powiedzmy a,b muszą trafić do wspólnej szuflady.

Oznacza to, że któryś z ilorazów ab,ba jest dodatnią potęgą dwójki, a zatem a dzieli b lub b dzieli a.

Przykład

Wybierzmy dowolnie 10 różnych liczb naturalnych a1,a2,,a10 spośród 1,2,3,,100. Pokażemy, że w zbiorze {a1,a2,,a10}  można wybrać dwa rozłączne podzbiory, dające tę samą sumę.

Istotnie:

  • Szuflady poetykietujmy liczbami reprezentującymi możliwe sumy liczb w co najwyżej 10-cio elementowych podzbiorach zbioru {1,2,3,,100} . Ponieważ największa możliwa taka suma to 91+92+93++99+100=955, to mamy 955 szuflad z etykietami: 0,1,2,3,,955
  • z drugiej strony 10-cio elementowy zbiór {a1,a2,,a10}  ma 210=1024 podzbiory, więc muszą być dwa podzbiory zbioru {a1,a2,,a10}  o tej samej sumie.
  • Te dwa podzbiory nie muszą być rozłączne. Ale jeśli z obu z nich usuniemy wspólne liczby, to pozostałe dalej będą dawać takie same sumy, a powstałe zbiory będą już rozłączne.

Zasady zliczania

Bardzo często w tym kursie będziemy stać przed problemem zliczenia pewnego skończonego zbioru obiektów. Skrajnie niewygodne i nieefektywne byłoby, gdybyśmy za każdym razem konstruowali bijekcję z n w nasz zbiór dla pewnego naturalnego n. Na szczęście istnieje wiele reguł pozwalających szybciej zliczać obiekty kombinatoryczne. Poniżej przedstawiamy te podstawowe. Pierwsza z nich jest bardzo prosta i w sposób intuicyjny stosowana od początków cywilizacji.

Zasada dodawania

Dla skończonych i rozłącznych zbiorów A i B mamy:


|AB|=|A|+|B|.


Dowód

Niech liczności zbiorów |A|=m, |B|=n będą poświadczone bijekcjami f:mA i g:nB. Wtedy funkcja h:m+nAB zadana przez:


h(x)={f(x),dla x{0,,m1} g(xm),dla x{m,,m+n1} 


jest bijekcją. Istotnie, skoro zbiory A i B są rozłączne, to dla dowolnych x1{0,,m1} , x2{m,,m+n1}  zachodzi h(x1)h(x2). Ponadto restrykcje h do zbiorów zbiorów {0,,m1}  i {m,,m+n1}  są injekcjami. A zatem h jest injekcją.

Dla dowodu surjektywności h weźmy dowolny element yAB. Załóżmy, że yA (w drugim przypadku dowód przebiega analogicznie). Wtedy z surjektywności f wiemy, że istnieje xm takie, że f(x)=y. Ale h(x)=f(x)=y. Zatem h jest surjekcją.

Łatwy dowód indukcyjny pozwala uogólnić zasadę dodawania na dowolnie wiele skończonych zbiorów.

Wniosek 3.7

Dla zbiorów A1,,An skończonych i parami rozłącznych:


|A1An|=|A1|++|An|


Więcej pracy wymaga analiza sytuacji, gdy zbiory A,B nie są rozłączne.

Zasada włączania i wyłączania

Dla zbiorów skończonych {A1,A2,,An}  zachodzi

|A1A2An|=I{1,,n} (1)|I|+1|iIAi|=|A1|+|A2|+|A3|++|An2|+|An1|+|An||A1A2||A1A3||An2An||An1An|+|A1A2A3|++|An2An1An||A1A2A3A4||An3An2An1An|+(1)n+1|A1A2An|


W szczególności, |AB|=|A|+|B||AB|, o ile tylko A,B są skończone.

Dowód

Zaczniemy od dowodu drugiego zdania. Ponieważ trzy zbiory AB,AB i BA są parami rozłączne i sumują się do (AB)(AB)(BA)=AB, na mocy Wniosku 3.7 mamy:


|AB|=|(AB)(AB)(BA)|=|AB|+|AB|+|BA|


skąd


|AB|+|AB|=|AB|+|AB|+|BA|+|AB|=(|AB|+|AB|)+(|BA|+|AB|)=|(AB)(AB)|+|(BA)(AB)|=|A|+|B|


skąd już natychmiast dostajemy:


|AB|=|A|+|B||AB|      (1)


W sytuacji dowolnie wielu n zbiorów użyjemy rozumowania indukcyjnego. Oczywiście n=1,2 twierdzenie jest prawdziwe. Załóżmy, że n>2. Na mocy równości (1) otrzymujemy:


|k=1nAk|=|k=1n1Ak|+|An||k=1n1AkAn|.


Wykorzystując założenie indukcyjne dla wartości n1 zachodzi


|k=1nAk|=I{1,,n1} (1)|I|+1|iIAi|+|An|I{1,,n1} (1)|I|+1|iIAiAn|=I{1,,n1} (1)|I|+1|iIAi|+I{1,,n1} (1)|I{n} |+1|iI{n} Ai|.


Rodzina wszystkich podzbiorów I zbioru liczb {1,,n}  można podzielić na dwie rozłączne rodziny:

  • pierwsza składa się z tych I, które nie zawierają n, czyli {I:I{1,,n1} } 
  • druga jest rodziną tych I, które zawierają n, czyli {I{n} :I{1,,n1} } .

W rezultacie otrzymujemy, że


|k=1nAk|=I{1,,n} (1)|I|+1|iIAi|,


co kończy dowód.

Wniosek 3.7 pozwala uogólnić Zasadę Szufladkową. Załóżmy, że pewna ilość obiektów jest rozmieszczona w n szufladach. Niech Ai będzie zbiorem obiektów w i-tej szufladce. Ponieważ zbiory obiektów w różnych szufladach są rozłączne, to ilość obiektów we wszystkich szufladach wynosi |A1An|=|A1||An|. Zatem jeśli każda szufladka ma co najwyżej r obiektów, to w sumie jest co najwyżej nr obiektów.

Uogólniona Zasada Szufladkowa

Jeśli m obiektów rozmieszczonych jest w n szufladach i m>nr, dla pewnego naturalnego r, to istnieje szufladka z co najmniej r+1 obiektami.

Przypomnijmy, że iloczyn kartezjański (produkt) zbiorów X i Y to zbiór


X×Y={(x,y):xX,yY} 

Zasada Mnożenia

Dla skończonych zbiorów X,Y:


|X×Y|=|X||Y|


Dowód

Najpierw pokażemy, że |m×n|=mn. W tym celu pokażemy, że funkcja


f:m×n(i,j)in+jmn


jest bijekcją.

Dla dowodu injektywności załóżmy, że f(i,j)=f(i,j), czyli in+j=in+j. Bez straty ogólności możemy założyć, że ii, wtedy (ii)n=jj. Lewa strona równości jest wielokrotnością n, zaś prawa leży w zbiorze {n+1,,n1} , gdyż j,jn. Ponieważ 0 jest jedyną wielokrotnością liczby n w tym zbiorze, to ii=0 i jj=0, co dowodzi injektywności f.

Dla dowodu surjektywności rozważmy ymn. Niech i będzie największą liczbą taką, że iny. Wtedy y<(i+1)n zatem istnieje j{0,,n1}  takie, że y=in+j=f(i,j), co było do udowodnienia.

Załóżmy teraz, że |X|=m i |Y|=n. Wtedy, z poczynionej wyżej obserwacji, dowód Zasady Mnożenia jest natychmiastowy, gdyż


|X×Y|=|m×n|=mn=|X||Y|


Przykład

Rozważ turniej rycerski między bractwem czerwonych a bractwem niebieskich. Bractwo czerwonych ma 12 rycerzy, bractwo niebieskich 15. Ile różnych indywidualnych pojedynków może być stoczonych, jeśli rycerze z tego samego bractwa nigdy ze sobą nie walczą?

  • Niech C i N będą zbiorami rycerzy, odpowiednio z bractwa czerwonych i z bractwa niebieskich,
  • każdy pojedynek może być interpretowany jako uporządkowana para (c,n), gdzie cC, nN. Zatem liczba pojedynków to liczność zbioru C×N.
  • |C×N|=|C||N|=1215=300.

Zliczanie podzbiorów

Zbiór potegowy, lub inaczej zbiór podzbiorów, zbioru X oznaczamy przez 𝒫(X).

Przykład

  • 𝒫()={}  i |𝒫()|=1
  • 𝒫({} )={,{} }  i |𝒫({} )|=2

Przykład

Ile podzbiorów ma skończony zbiór n-elementowy? Łatwo jest odpowiedzieć na to pytanie dla małych liczb n. Np. zbiór {a,b}  ma następujące cztery podzbiory:


,{a} ,{b} ,{a,b} 


a zbiór trzyelementowy {a,b,c}  ma osiem podzbiorów:


,{a} ,{b} ,{c} ,{a,b} ,{a,c} ,{b,c} ,{a,b,c} 


Spróbujmy odpowiedzieć na to pytanie w ogólnej sytuacji i w sposób rekurencyjny.

Niech pn oznacza liczbę podzbiorów zbioru n-elementowego. Na podstawie dotychczasowych przykładów mamy:


n0123pn1248


i można wysunąć hipotezę, że w ogólności pn=2n. Ale jak ją uzasadnić?

Załóżmy, że znamy liczbę pn i chcemy policzyć pn+1. Niech więc zbiór Z ma n+1 elementów, czyli po usunięciu ze zbioru Z elementu aZ dostajemy n-elementowy zbiór Z. Podobnie jak w dowodzie Zasady Włączania-Wyłączania, podzbiory zbioru Z można podzielić na dwa typy:

  • albo mają w sobie element a,
  • albo go nie mają.

W drugim przypadku są to podzbiory zbioru Z. Jest więc ich dokładnie pn.

Każdy zaś podzbiór pierwszego typu, czyli AZ takie, że aA jest jednoznacznie wyznaczony przez swoje pozostałe elementy, tzn. elementy różne od a. A zatem każdy taki zbiór A, że aAZ, jest postaci A{a}  dla pewnego AZ. A zatem podzbiorów zbioru Z, w których jest element a jest też tyle ile podzbiorów zbioru Z, tzn. pn.

Łącznie więc zbiór Z ma pn+pn podzbiorów, czyli pn+1=2pn Teraz już bez trudu stwierdzamy, że to wraz z warunkiem p0=1 jest spełnione przez


pn=2n


co można łatwo uzasadnić przez indukcję.


Obserwacja 3.8

Dla dowolnego, skończonego zbioru X


|𝒫(X)|=2|X|


Zliczanie funkcji

Zbiór funkcji postaci XY oznaczamy przez YX.

Obserwacja 3.9

Dla skończonych zbiorów X,Y mamy:


|YX|=|Y||X|


Dowód

Niech X={x0,,xm1}  oraz Y={y0,,yn1} . Każda funkcja f:XY to krotka wartości dla kolejnych xi:


(f(x0),f(x1),,f(xm1))Y××Ym razy


A więc zbiór funkcji z X w Y jest równoliczny z Ym. Z Zasady Mnożenia otrzymujemy więc:


|Y××Ym razy|=|Y|××|Y|m razy=nm=|Y||X|


Przykład

Trzech kolegów: Bartek, Paweł i Piotrek spotkali się w pubie tuż po zdanym egzaminie z matematyki dyskretnej. Okazało się, że jest pięć marek piwa do wyboru. Na ile sposobów mogą oni wypić pierwszą kolejkę?

Każdy wybór marki piwa przez wszystkie 3 osoby możemy interpretować jako funkcję ze zbioru {Bartek,Paweł,Piotrek}  w pięcioelementowy zbiór marek piwa. A więc istnieje 53=125 sposobów spożycia pierwszej kolejki. I tyleż sposobów dla każdej nastepnej......

Przykład

Kod PIN jest kodem autoryzującym właściciela karty bankomatowej. Składa się on z 4 cyfr dziesiętnych. Ile jest różnych kodów PIN?

Każdy kod PIN to funkcja z czteroelementowego zbioru pozycji {0,1,2,3}  w dziesięcioelementowy zbiór cyfr {0,1,,9} . Z Obserwacji 3.9 wynika że kodów PIN jest dokładnie 104=10000.

Posługując się Obserwacją 3.8 udowodnimy jeszcze raz wzór na ilość podzbiorów skończonego zbioru. Zatem Obserwację 3.9 możemy traktować jako uogólnienie Obserwacji 3.8.

Dowód

Alternatywny dowód Obserwacji 3.8
Zauważmy, że dowolny podzbiór AX wyznacza jednoznacznie funkcję χA:X2 w następujący sposób:


χY(x)={0,dla xXA1,dla xA


Również każda funkcja f:X2 wyznacza jednoznacznie podzbiór Af{xX:f(x)=1}  zbioru X. Nadto, odpowiedniość


𝒫(X)AχA2X


jest bijektywna. Zatem |𝒫(X)|=|2X|=2|X|.

Obserwacja 3.10

Liczba injekcji ze zbioru skończonego X w zbiór skończony Y wynosi:


|Y|(|Y|1)(|Y||X|+1)=|Y|!(|Y||X|)!


Dowód

Niech X={x0,,xm1}  i Y={y0,,yn1} . Każdą injekcję z X w Y możemy utożsamić z uporządkowanym wyborem m różnych elementów ze zbioru Y:


f(x0),f(x1),,f(xm1)


Pierwszy element możemy wybrać na n sposobów, drugi na n1, bo musi być różny od poprzednio wybranego, trzeci już tylko na n2 sposoby, itd., aż wreszcie m-ty na nm+1 sposobów. Zatem liczba injekcji równa jest n(n1)(nm+1).

Przykład

Ile jest PIN-ów, czyli cztero-elementowych słów złożonych z cyfr dziesiętnych, takich że żadna cyfra się nie powtarza?

Każdy PIN z niepowtarzającymi się cyframi to injekcja z cztero-elementowego zbioru pozycji {0,1,2,3}  w 10-elementowy zbiór cyfr {0,1,,9} . Zatem jest ich dokładnie 10987=5040.

Obserwacja 3.11

Liczba bijekcji pomiędzy skończonymi zbiorami X i Y, gdzie |X|=|Y| wynosi |X|!.

Dowód

Pokażemy najpierw, że każda injekcja f:XY jest bijekcją. Istotnie, gdyby f nie było surjekcją, to f(X) byłoby właściwym podzbiorem zbioru Y. A zatem |f(X)|<|Y| i funkcja f:Xf(X) ustalałaby injekcję ze zbioru o większej liczbie elementów w zbiór o mniej liczny. A to nie jest możliwe na mocy Obserwacji 3.3. Udowodniliśmy, że liczba bijekcji z X w Y równa jest liczbie injekcji z X w Y, czyli, z Obserwacji 3.10), wynosi ona:


n(n1)(nn+2)(nn+1)=n!


Zauważmy jeszcze, że × jest nie tylko funkcją :, ale i bijekcją i jest to jedyna bijekcja .

Przykład

Na kurs tańca uczęszcza pięciu chłopaków i pięć dziewcząt. Większość kroków tanecznych ćwiczy się parami. Dla urozmaicenia pary często się zmieniają. Na ile sposobów może być wykonany jeden taniec?

Niech C będzie zbiorem chłopaków, a D zbiorem dziewcząt. Matematycznym modelem doboru par do tańca jest bijekcja f:CD. Zatem możliwych wyborów jest tyle samo co bijekcji pomiędzy 5-elementowymi zbiorami, czyli 5!=54321=120.

Permutacje

Permutacja zbioru skończonego X to bijekcja z X w X.

Zbiór permutacji zbioru n oznaczamy przez Sn, a permutacje bedziemy w tym kursie oznaczać małymi literami greckimi.

Przykład

Rozważ funkcję α:77 zadaną przez poniższą tabelę:


n0123456α(n)2360415


Funkcja α jest bijekcją z 7 w 7, zatem jest permutacją i αS7.

Przykład

Dla permutacji α,βS5 zadanych przez poniższą tabelę:


n01234α(n)42301β(n)23140


ich złożenia podane są poniżej:


n01234βα(n)01423αβ(n)30214


Zauważ, że oba złożenia także są permutacjami 5.

Ponieważ permutacje są bijekcjami, to natychmiast z Obserwacji 3.2 dostajemy:

Obserwacja 3.12

Dla dowolnych permutacji α,β skończonego zbioru X:

  • αβ,βα są permutacjami X,
  • α1 jest permutacją X taką, że αα1=idX=α1α=.

Następne spostrzeżenie jest natychmiastowym wnioskiem z Obserwacji 3.11.

Wniosek 3.13

Zbiór n-elementowy ma dokładnie n! permutacji, |Sn|=n!.

Przykład

Oto wszystkie (3!=6) permutacje zbioru S3:


012012012012021102012012012102201210



Permutację α zbioru X={x0,,xn1}  wygodnie jest identyfikować z krotką (α(x0),,α(xn1))Xn. Często też permutację interpretuje się jako uporządkowanie zbioru X.

7 książek

Przykład

Na ile sposobów można poukładać koło siebie na półce 7 książek?

Na dokładnie tyle, ile jest permutacji zbioru siedmio-elementowego, a więc 7!=5040.

Cykl zbioru n-elementowego X to taka permutacja zbioru X, dla której {x,α(x),α2(x),,αn1(x)} =X, przy dowolnym xX. Łatwo zauważyć, że jeśli dla pewnego x0X mamy {x,α(x),α2(x),,αn1(x)} =X, to jest tak dla wszystkich xX, czyli α jest cyklem na X. Cykl α zbioru X zapisujemy jako (x,α(x),,αn1(x)) dla dowolnie wybranego xX.

Przykład

Rozważmy αS6 daną przez

n012345α(n)350124

  • sekwencja 0, α(0)=3, α2(0)=1, α3(0)=5, α4(0)=4, α5(0)=2 pokwywa całe 6,
  • zatem α=(0,3,1,5,4,2) jest cyklem.

Rozkład permutacji na rozłączne cykle

Dowolną permutację α zbioru X można rozłożyć na rozłączne cykle w sposób następujący:

  1. wybierz dowolny element xX, który nie jest jeszcze w żadnym cyklu,
  2. iteruj permutację α otrzymując kolejno: α(x),α2(x),α3(x), aż do uzyskania αj(x)=x,
  3. dodaj do rozkładu cykl x,,αj1(x),
  4. jeśli w zbiorze X pozostały jeszcze elementy niepokryte przez żaden cykl, to wróć do pierwszego punktu.

Dowód

Dla dowodu poprawności algorytmu rozkładu pokażemy najpierw, że iteracja w drugim punkcie zawsze osiąga element wyjściowy x. Ponieważ zbiór X jest skończony iteracja x,α(x),α2(x) w pewnym kroku musi wrócić do elementu już rozważanego, zatem αi(x)=αj(x) dla pewnych i<j. Weźmy najmniejsze takie j, że αi(x)=αj(x) dla pewnego 0i<j. Gdyby i0 to z faktu, że α jest permutacją mamy αi1(x)=αj1(x), co stoi w sprzeczności z minimalnością j. A zatem αj(x)=x.

Pozostaje jeszcze pokazać, że otrzymane cykle są rozłączne. Załóżmy, że nie są i weźmy pierwszy napotkany element y=αi(x), który był już w którymś z poprzednich cykli. Zauważmy, że i>0 gdyż x był wybrany jako element nie pokryty przez żaden cykl (patrz punkt pierwszy). Wiemy, że istnieje element z w tym samym cyklu co y taki, że α(z)=y, ale także α(αi1(x))=y. Ponieważ α jest permutacją, otrzymujemy αi1(x)=z, co stoi w sprzeczności z faktem, że y jest jedynym elementem z poprzedniego cyklu.

Jeśli permutacja α złożona jest z k rozłącznych cykli, to zapisujemy α=(x0,)(x1,)(xk1,), gdzie w kolejnych nawiasach są elementy kolejnych cykli startujące od odpowiednio: x0,,xk1.


Przykład

Rozważmy jeszcze raz permutację αS7:


n0123456α(n)2360415


Rozkład α na cykle:

  • 0, α(0)=2, α(2)=6, α(6)=5, α(5)=1, α(1)=3, α(3)=0,
  • 4, α(4)=4,
  • α=(026513)(4).