Podsilnia

Podsilnia – liczba tzw. nieporządków zbioru skończonego, gdzie „nieporządkiem” nazywa się każdą permutację bez punktów stałych wspomnianego zbioru[1][2]. Po raz pierwszy wzory opisujące nieporządki pojawiają się w pracach Eulera i Bernoulliego; podsilnia z nieujemnej liczby całkowitej jest równa permanentowi macierzy z zerami na głównej przekątnej i jedynkami poza nią stopnia równego wspomnianej liczbie.

W przypadku zbioru n {\displaystyle n} -elementowego, gdzie n {\displaystyle n} jest nieujemną liczbą całkowitą podsilnia ! n {\displaystyle !n} oznacza więc liczbę takich rozmieszczeń n {\displaystyle n} piłeczek, z których każda przypisana jest do jednej z n {\displaystyle n} urn, że żadna z piłeczek nie trafiła do „swojej” urny. Podsilnia dla liczb 0 ,   1 ,   2 ,   3 ,   4 ,   5 {\displaystyle 0,\ 1,\ 2,\ 3,\ 4,\ 5} wynosi odpowiednio 1 ,   0 ,   1 ,   2 ,   9 ,   44 ; {\displaystyle 1,\ 0,\ 1,\ 2,\ 9,\ 44;} przy czym funkcja ta rośnie w podobnym tempie do silni, np. ! 21 = 18 795 307 255 050 944 540 {\displaystyle !21=18\,795\,307\,255\,050\,944\,540} [3] Liczba 148 349 {\displaystyle 148\,349} jest jedyną liczbą, która jest równa sumie podsilni swoich cyfr: 148 349 = ! 1 + ! 4 + ! 8 + ! 3 + ! 4 + ! 9. {\displaystyle 148\,349=\,!1\,+\,!4\,+\,!8\,+\,!3\,+\,!4\,+\,!9.}

Definicja

Podsilnię definiuje się rekurencyjnie jako funkcję ! n {\displaystyle !n} zbioru nieujemnych liczb całkowitych w siebie, która spełnia

{ ! 0 = 1 , ! n = n ( ! ( n 1 ) ) + ( 1 ) n , ! ( n + 1 ) = n ( ! n + ! ( n 1 ) ) ; {\displaystyle {\begin{cases}!0=1,\\!n=n{\big (}!(n-1){\big )}+(-1)^{n},\\!(n+1)=n{\big (}!n+!(n-1){\big )};\end{cases}}}

bądź po derekursywacji, za pomocą wzoru

! n = n ! ( 1 1 1 ! + 1 2 ! 1 3 ! + + ( 1 ) n 1 n ! ) , {\displaystyle !n=n!{\big (}1-{\tfrac {1}{1!}}+{\tfrac {1}{2!}}-{\tfrac {1}{3!}}+\dots +(-1)^{n}{\tfrac {1}{n!}}{\big )},}

gdzie n ! {\displaystyle n!} oznacza zwykłą silnię.

Zobacz też

Przypisy

  1. „Illustred Dictionary of Mathemathics”, Librarie du Liban, 1990 (wersja polska: wyd. Zakład Narodowy im. Ossolińskich – Wydawnictwo we Wrocławiu Sp. z o.o.).
  2. OEIS: A000166.
  3. Zachodzi ! n / n ! 1 / e {\displaystyle !n/n!\to 1/e} dla n {\displaystyle n\to \infty } (zob. granica ciągu i asymptotyczne tempo wzrostu).
  • p
  • d
  • e
Ciągi liczbowe
pojęcia
definiujące
ciągi ogólne
ciągi liczbowe
typy ciągów
ogólne
nieskończone
przykłady ciągów
liczb naturalnych
niemalejące
inne
inne przykłady
ciągów liczb
twierdzenia
o granicach
inne
powiązane pojęcia