Z Wykład 29.03.2008, Zajęcia, II semestr 2008, Matematyka dyskretna i logika


Dzis przejdziemy do kombinatoryki. Na początek zbiory z powtórzeniami. Zbiór z powtórzeniami jest to para Q = (X, K), gdzie 0x01 graphic
jest zbiorem n elementowym, zaś 0x01 graphic
ciągiem liczb naturalnych. X nazywamy zbiorem podstawowym, a liczby 0x01 graphic
krotnościami elementów 0x01 graphic
w zbiorze z powtórzeniami Q. Stosujemy nastepujące oznaczenie: 0x01 graphic
. Liczność zbioru z powtórzeniami jest równa 0x01 graphic
. Podzbiorem zbioru z powtórzeniami 0x01 graphic
jest 0x01 graphic
, gdzie 0x01 graphic
dla i = 1,…,n.

Twierdzenie

Liczba wszystkich k elementowych podzbiorów zbioru z powtórzeniami 0x01 graphic
, gdzie 0x01 graphic
dla i = 1,…,n jest równa 0x01 graphic
.

Przejdźmy teraz do podziałów zbioru. Podziałem zbioru X na k bloków nazywamy rodzinę zbiorów A = 0x01 graphic
spełniającą trzy warunki:

0x01 graphic

Pozdzbiory 0x01 graphic
nazywamy blokami A.

Zastosujmy nastepujące oznaczenia. Niech 0x01 graphic
będzie zbiorem wszystkich podziałów zbioru skończonego X na k bloków, a 0x01 graphic
niech będzie zbiorem wszystkich podziałów zbioru X. Wtedy 0x01 graphic
. Oznaczamy 0x01 graphic
, gdzie |X| = n i nazywamy liczbą Stirlinga drugiego rodzaju.

Twierdzenie

Dla n, k 0x01 graphic
, 0 < k < n mamy, że: 0x01 graphic
. Przyjmujemy dodatkowo: 0x01 graphic
dla k > n. Mamy ponadto: 0x01 graphic
dla 0x01 graphic
, oraz 0x01 graphic
dla n > 0.

Twierdzenie

Wzór dokładny na liczby Stirlinga drugiego rodzaju:

0x01 graphic
. Z tego wzoru otrzymujemy wzór na liczbę surjekcji.

Liczbe wszystkich możliwych podziałów zbioru n elementowego oznaczamy 0x01 graphic
i nazywamy entą liczbą Bella. Mamy, że: 0x01 graphic
. Stąd wynika twierdzenie podstawowe, że relacja równoważności an zbiorze X wyznacza podział tego zbioru na bloki. Istnieje tez odwrotne do tego twierdzenie, które mówi, że każdy podział zbioru na bloki wyznacza relację równoważności na tym zbiorze.

Twierdzenie

Liczba wszystkich różnych relacji różnowartościowych, jakie można wprowadzić w zbiorze n elementowym jest równa entej liczbie Bella.

Popatrzmy teraz, jak wyglądają liczby Stirlinga pierwszego rodzaju (definicja rekurencyjna dla 0x01 graphic
: 0x01 graphic
, oraz ponadto 0x01 graphic
dla k > n. Liczby te mają interpretacje w teorii permutacji. Przejdźmy więc do permutacji. Niech 0x01 graphic
zbiór permutacji n elementowych. Mamy |0x01 graphic
| = n!, 0x01 graphic
zapisujemy: 0x01 graphic
, lub 0x01 graphic
. Dla 0x01 graphic
okreslone jest złożenie permutacji 0x01 graphic
, co zapisujemy w skrócie: fg. 0x01 graphic
jest grupa, gdy:

1. 0x01 graphic
jest działaniem łącznym, czyli f (gh) = (fg) h.

2. Elementem neutralnym jest permutacja identycznościowa I = (1,…,n) 0x01 graphic
dla

0x01 graphic

3. Dla 0x01 graphic
określona jest permutacja odwrotna 0x01 graphic
. Grupa 0x01 graphic
jest nieprzemienna. W ogólności dla składania permutacji: 0x01 graphic
. Cykl długości k dla permutacji 0x01 graphic
oznaczamy 0x01 graphic
. Każda permutację można rozłożyć na cykle. Na przykład: 0x01 graphic

Twierdzenie

Liczba permutacji ze zbioru 0x01 graphic
, których rozkład na cykle rozłączne zawiera dokładnie k czynników 0x01 graphic
jest równa liczbie Stirlinga pierwszego rodzaju

0x01 graphic
. Mamy zatem 0x01 graphic

Mówimy, że permutacja 0x01 graphic
jest typu 0x01 graphic
jeśli jej rozkład na cykle rozłączne zawiera dokładnie 0x01 graphic
cykli o długości i dla i = 1,…,n. Typ permutacji zapisujemy 0x01 graphic
, gdzie będziemy pomijac czynniki, dla których 0x01 graphic
. Na przykład:

0x01 graphic
jest typu 0x01 graphic
. Inwersją permutacji 0x01 graphic
nazywamy parę (0x01 graphic
) dla której 0x01 graphic
, oraz 0x01 graphic
. Liczbę wszystkich inwersji permutacji f oznaczamy symbolem I(f). Znakiem permutacji 0x01 graphic
nazywamy liczbę sgn (f) = 0x01 graphic
, gdzie sgn(f) = 1 to permutacja parzysta, a sgn(f) = - 1 to permutacja nieparzysta.

Twierdzenie

Niech 0x01 graphic
typu 0x01 graphic
. Wtedy sgn(f) = 0x01 graphic
. Dla 0x01 graphic
typu 0x01 graphic
mamy

sgn(f) = 0x01 graphic



Wyszukiwarka

Podobne podstrony:
Wykład z dnia 10.05.2008, Zajęcia, II semestr 2008, Matematyka dyskretna i logika
Z Wykład 27.04.2008, Zajęcia, II semestr 2008, Matematyka dyskretna i logika
Systemy bankowe wyklad z 29[1].03.2008 (poprawione), pliki zamawiane, edukacja
Z Ćwiczenia 06.04.2008, Zajęcia, II semestr 2008, Matematyka dyskretna i logika
Z Ćwiczenia 27.04.2008, Zajęcia, II semestr 2008, Matematyka dyskretna i logika
Z Ćwiczenia 11.05.2008, Zajęcia, II semestr 2008, Matematyka dyskretna i logika
Z Wykład 29 03 2008 3
Rozp. Ministra Zdrowia z dn. 29.03.2007 r., Polibuda, II semestr, Techologia oczyszczania wód i ście
Z Wykład 15.03.2008, Zajęcia, II semestr 2008, Analiza matematyczna
Z Ćwiczenia 29.03.2008, Zajęcia, II semestr 2008, Wstęp do kryptologii
Z Wykład 01.03.2008, Zajęcia, II semestr 2008, Rachunek prawdopodobieństwa
Z Wykład 16.03.2008, Zajęcia, II semestr 2008, Techniki Internetowe
Z Wykład 30.03.2008, Zajęcia, II semestr 2008, Teoria informacji i kodowania
Z Wykład 02.03.2008, Zajęcia, II semestr 2008, Algorytmy i struktury danych
Z Wykład 15.03.2008, Zajęcia, II semestr 2008, Analiza matematyczna
Z Ćwiczenia 15.03.2008, Zajęcia, II semestr 2008, Analiza matematyczna
Z Wykład 19.04.2008, Zajęcia, II semestr 2008, Analiza matematyczna
Z Wykład 23.02.2008, Zajęcia, II semestr 2008, Analiza matematyczna
Z Ćwiczenia 01.03.2008, Zajęcia, II semestr 2008, Analiza matematyczna

więcej podobnych podstron