Zrozumieniu tożsamości współczynnika dwumiennego

Permutacje. Kombinacje. Wariacje. Rozmieszczanie kul w urnach. Silnie i symbole Newtona. Przeliczanie zbiorów. Funkcje tworzące. Teoria grafów.
vtvs
Użytkownik
Użytkownik
Posty: 53
Rejestracja: 11 maja 2008, o 20:00
Płeć: Mężczyzna
Podziękował: 11 razy

Zrozumieniu tożsamości współczynnika dwumiennego

Post autor: vtvs »

Mam następujący wzór:

\(\displaystyle{ \sum_{i=0}^{n}{n \choose i}i=n2^{n-1}}\)

A wytłumaczenie następujące:
Aby to udowodnić, utwórzmy listę zawierającą kolejno elementy wszystkich podzbiorów zbioru n-elementowego \(\displaystyle{ X}\). Lista ta zawiera \(\displaystyle{ {n \choose i}}\) podzbiorów i-elementowych dla i = 0, ..., n, tak więc jej długość (tzn. liczba wystąpień elementów zbioru \(\displaystyle{ X}\)) wyraża się sumą po lewej stronie wzoru. Ponadto każdy element \(\displaystyle{ x \in X}\) występuje na liście \(\displaystyle{ n2^{n-1}}\) razy, gdyż taka jest liczba podzbiorów zawierających \(\displaystyle{ x}\) (jest ich tyle, ile wszystkich podzbiorów zbioru \(\displaystyle{ X \setminus \left\{x \right\} }}\)). Długość naszej listy jest więc równa \(\displaystyle{ n2^{n-1}}\). Dowód jest tym samym zakończony.
Teraz czego nie rozumiem.
"Lista zawierająca kolejno elementy wszystkich podzbiorów". Czy to oznacza, że są to po prostu wszystkie elementu zbioru X? Czy może elementami tej listy są podzbiory zbioru X?

To, że lista ma \(\displaystyle{ {n \choose i}}\) podzbiorów to rozumiem i dlaczego je sumujemy chyba też kumam. Jednak nie dociera do mnie mnożenie każdego składnika przez i. Wg przytoczonej definicji jest to "liczba wystąpień elementów zbioru X". Ale weźmy przykład zbioru \(\displaystyle{ \{1, 2, 3, 4\}}\).

Czy ta lista ma wyglądać tak?:
\(\displaystyle{ \left\{\emptyset \right\},\left\{ 1\right\},\left\{ 2\right\},\left\{ 3\right\},\left\{ 4\right\},\left\{ 1, 2\right\}, \left\{1, 3\right\}\left\{ 1, 4\right\},\left\{ 2, 3\right\}\left\{ 2,4\right\},\left\{ 3,4\right\}}\)

Co w tym konkretnym przypadku będzie oznaczać i dla każdego wystąpienia? Mam rozumieć, że dla i = 2 liczba wystąpień, no właśnie - czego, ma się równać \(\displaystyle{ {n \choose 2}2}\)?

Na razie skupmy się na lewej części równania. Później, w razie potrzeby, przejdziemy do prawej.
Awatar użytkownika
Errichto
Użytkownik
Użytkownik
Posty: 1629
Rejestracja: 17 mar 2011, o 18:55
Płeć: Mężczyzna
Lokalizacja: Suwałki
Podziękował: 28 razy
Pomógł: 272 razy

Zrozumieniu tożsamości współczynnika dwumiennego

Post autor: Errichto »

Po lewej jest suma długości (mocy) podzbiorów zbioru X.
Mamy \(\displaystyle{ {n \choose 3}}\) podzbiorów 3-elementowych, każdy o długości 3. Czyli musimy pomnożyć ilość tych podzbiorów przez 3 - ich moc.
Tutaj mieliśmy \(\displaystyle{ i=3}\), ale to samo robimy dla \(\displaystyle{ i=0,1,...,n}\) - stąd ta suma.

To lista podzbiorów zbioru (A,B,C);
(), (A), (B), (C), (A,B), (A,C), (B,C), (A,B,C)
To omawiana lista elementów podzbiorów:
A, B, C, A, B, A, B, B, C, A, B, C
Ile (w tej liście) mamy wystąpień A? Tyle ile w pierwszej liście było podzbiorów zawierających A.
Takie podzbiory są postaci A+[podzbiór zbioru (B,C)] (wiesz dlaczego?)
Czyli A występuje tyle razy ile mamy podzbiorów w zbiorze X bez elementu A - czyli \(\displaystyle{ 2^{n-1}}\) (wiesz dlaczego?)
To samo dla B,C,...
Dla każdego z \(\displaystyle{ n}\) elementów - mamy \(\displaystyle{ 2^{n-1}}\) wystąpień.
Czyli wszystkich wystąpień mamy \(\displaystyle{ n \cdot 2^{n-1}}\)
vtvs
Użytkownik
Użytkownik
Posty: 53
Rejestracja: 11 maja 2008, o 20:00
Płeć: Mężczyzna
Podziękował: 11 razy

Zrozumieniu tożsamości współczynnika dwumiennego

Post autor: vtvs »

Dzięki, w końcu zajarzyłem.
ODPOWIEDZ