Faktoriell är en funktion definierad på uppsättningen av icke-negativa heltal . Namnet kommer från lat. factorialis - agerar, producerar, multiplicerar; betecknas , uttalas en factorial . Faktorialen för ett naturligt tal definieras som produkten av alla naturliga tal från 1 till och med :
.Till exempel,
.För tas som ett avtal att
.n | n ! |
---|---|
0 | ett |
ett | ett |
2 | 2 |
3 | 6 |
fyra | 24 |
5 | 120 |
6 | 720 |
7 | 5040 _ |
åtta | 40 320 |
9 | 362 880 |
tio | 3 628 800 |
elva | 39 916 800 |
12 | 479 001 600 |
13 | 6 227 020 800 [1] |
fjorton | 87 178 291 200 [2] |
femton | 1 307 674 368 000 [ 3 ] _ _ |
16 | 20 922 789 888 000 [ 4 ] _ _ |
17 | 355 687 428 096 000 [5] |
arton | 6 402 373 705 728 000 [6] |
19 | 121 645 100 408 832 000 [7] |
tjugo | 2 432 902 008 176 640 000 [8] |
25 | 15 511 210 043 330 985 984 000 000 [9] |
femtio | 30 414 093 201 713 378 043 612 608 166 064 768 844 377 641 568 960 512 000 000 000 000 [10] |
70 | 11 978 571
669 969 891 796 072 783 721 689 098 736 458 938 142 546 [11] |
100 | ≈ 9,332621544⋅10 157 |
450 | ≈ 1,733368733⋅10 1000 |
1000 | ≈ 4,023872601⋅10 2567 |
3 249 | ≈ 6,412337688⋅10 10000 |
10 000 _ | ≈ 2,846259681⋅10 35659 |
25 206 | ≈ 1,205703438⋅10 100 000 |
100 000 _ | ≈ 2,824229408⋅10 456573 |
205 023 | ≈ 2,503898932⋅10 1000004 |
1 000 000 _ _ | ≈ 8,263931688⋅10 5565708 |
10 100 | ≈10 9,956570552⋅10 101
|
10 1000 | ≈10 10 1003 |
10 10 000 | ≈10 10 10 004 |
10 100 000 | ≈10 10 100 005 |
10 10 100 | ≈10 10 10 100 |
Faktorialen används aktivt i olika grenar av matematiken: kombinatorik , matematisk analys , talteori , funktionell analys , etc.
Factorial är en extremt snabbväxande funktion. Den växer snabbare än någon exponentialfunktion eller någon potensfunktion , och även snabbare än någon summa av produkterna av dessa funktioner. Exponentialfunktionen växer dock snabbare än faktorialen, liksom de flesta dubbla exponenter, som .
Faktorialen kan ges med följande rekursiva formel :
I kombinatorik tolkas faktorialet för ett naturligt tal n som antalet permutationer (ordningar) av en uppsättning av n element.
Till exempel, för en mängd { A , B , C , D } med 4 element, finns det 4! = 24 permutationer:
ABCD BACD CABD DABC ABDC BADC CADB DACB ACBD BCAD CBAD DBAC ACDB BCDA CBDA DBCA ADBC BDAC CDAB DCAB ADCB BDCA CDBA DCBADen kombinatoriska tolkningen av faktorialen bekräftar avtalets ändamålsenlighet - antalet permutationer av den tomma uppsättningen är lika med en. Dessutom formeln för antalet placeringar av element med
när förvandlas till en formel för antalet permutationer av element (av ordning ), som är lika med .
Faktorialen är relaterad till gammafunktionen för ett heltalsargument genom relationen
.Samma uttryck används för att generalisera begreppet faktoriell till mängden reella tal . Genom att använda den analytiska fortsättningen av gammafunktionen utökas även definitionsdomänen för faktorialet till hela det komplexa planet , exklusive singulära punkter vid .
En direkt generalisering av faktorialen till mängderna av reella och komplexa tal är pi-funktionen , som för kan definieras som
(integrerad definition).Pi-funktionen för ett naturligt tal eller noll sammanfaller med dess faktorial: . Liksom faktorialen uppfyller pi-funktionen återfallsrelationen .
Stirlingformeln är en asymptotisk formel för beräkning av faktorn:
I många fall, för en ungefärlig beräkning av fakulteten, räcker det att endast överväga huvudtermen i Stirling-formeln:
Samtidigt kan man hävda att
Stirlings formel låter dig få ungefärliga värden på fakulteten av stora tal utan att direkt multiplicera en sekvens av naturliga tal. Till exempel, med hjälp av Stirling-formeln, är det lätt att beräkna det
Varje primtal p kommer in i expansionen av n ! med primtal till den potens som definieras av följande formel:
På det här sättet,
där produkten tas över alla primtal. Det kan ses att för varje primtal p större än n är motsvarande faktor i produkten 1; därför kan produkten endast tas över primtal p som inte överstiger n .
För ett icke-negativt heltal n :
Till exempel:
Faktoriella uttryck dök upp i tidig forskning om kombinatorik , även om den franske matematikern Christian Kramp föreslog en kompakt notation först 1808 [13] . En viktig milstolpe var upptäckten av Stirlings formel , som James Stirling publicerade i sin avhandling The Differential Method ( lat. Methodus differentialis , 1730). Lite tidigare publicerades nästan samma formel av Stirlings vän Abraham de Moivre , men i en mindre komplett form (istället för en koefficient fanns en obestämd konstant) [14] .
Stirling studerade egenskaperna hos faktorial i detalj, fram till att klargöra frågan om det är möjligt att utvidga detta koncept till godtyckliga reella tal. Han beskrev flera möjliga sätt att implementera denna idé och menade att:
Stirling visste inte att Leonhard Euler redan hade hittat en lösning på problemet ett år tidigare . I ett brev till Christian Goldbach beskrev Euler den nödvändiga generaliseringen [15] :
Genom att utveckla denna idé introducerade Euler nästa år, 1730, konceptet med gammafunktionen i form av en klassisk integral. Han publicerade dessa resultat i tidskriften för St. Petersburgs vetenskapsakademi 1729-1730.
Dubbelfaktorialen för ett tal n betecknas n ‼ och definieras som produkten av alla naturliga tal i segmentet [1, n ] som har samma paritet som n .
Förhållandet mellan de dubbla faktorerna för två intilliggande icke-negativa heltal och den vanliga faktorialen för ett av dem.
Härledning av formlerHärledning av formeln: |
Härledning av formeln: Således är det möjligt att visa sambandet mellan de dubbla faktorerna för två intilliggande icke-negativa heltal genom den vanliga faktorialen för en av dem. Därefter fortsätter vi att härleda formeln för dubbelfaktorialet av udda n . Låt oss gå tillbaka ett steg (före det explicita utseendet på ( n -1)!! ) och utföra några identiska algebraiska transformationer på nämnaren: Vi ersätter det resulterande uttrycket för nämnaren tillbaka i formeln för : |
Ett exempel som illustrerar härledningen av formeln som används ovan:
Efter att ha gjort ersättningen för jämnt n respektive udda n , där är ett icke-negativt heltal, får vi:
Efter överenskommelse : Även denna jämlikhet gäller naturligtvis:
Den dubbla faktorialen, liksom den vanliga faktorialen, definieras endast för icke-negativa heltal.
Sekvensen av värden n !! börjar så här [16] :
1, 1, 2, 3, 8, 15, 48, 105, 384, 945, 3840, 10395, 46080, 135135, 645120, 2027025, 10321920, 34459425, 185794560, 654 729 075, 3 715 891 200, 13 749 310 575, 81 749 606 400, 316 234 143 225, 1 961 990 553 600, 7 905 853 580 625, 51 011 753.Den m -faldiga faktorntal n betecknasoch definieras enligt följande. Låt talet n representeras somdärDå [17]
De ordinarie och dubbla faktorerna är specialfall av m -faldig faktorial för m = 1 respektive m = 2 .
Multipelfaktorialen är relaterad till gammafunktionen genom följande förhållande [18] :
Det är också möjligt att skriva multipla faktorial i en förkortad form .
Den minskande faktorn är uttrycket
.Till exempel:
n = 7; k = 4 ( n − k ) + 1 = 4, nk = 7 • 6 • 5 • 4 = 840.Den minskande faktorn ger antalet placeringar från n till k .
Ökar faktoriellEn ökande faktorial är ett uttryck
Primorial eller primorial ( eng. primorial ) av ett tal n betecknas med p n # och definieras som produkten av de första n primtalen. Till exempel,
.Ibland är ett primtal ett tal definierat som produkten av alla primtal som inte överstiger ett givet n .
Sekvensen av primorials (inklusive ) börjar så här [19] :
1 , 2 , 6 , 30 , 210 , 2310 , 30 030, 510 510, 9 699 690, 223 092 870, 6 469 693 230, 200 560 490 130, 7 420 738 134 810, 304 250 263 527 210, 13 082 761 331 670 030, 614 889 782 588 491 400, 32 589 158 477 190 046 000, 1 922 760 350 154 202 000, …Produkten av de första Fibonacci-talen. Skrivet n ! F. _
Till exempel: 6! F = .
Neil Sloane och Simon Plouffet definierade 1995 superfaktorialet som produkten av de första n faktorialerna . Enligt denna definition är överfaktorn av fyra lika med
(eftersom det inte finns någon etablerad beteckning används en funktionell sådan).
Allt som allt
Sekvensen av superfaktoriella tal börjar så här [20] :
1, 1, 2, 12, 288, 34 560, 24 883 200, 125 411 328 000, 5 056 584 744 960 000, 1 834 933 472 251 084 800 000, 6 658 606 584 104 737 000 000 000 000 000 000, 2655, 2651 , 265 790 267 296 391 960,000,000,000,000,000,000Idén generaliserades 2000 av Henry Bottomley , vilket ledde till hyperfaktoriella faktorer ( eng. Hyperfaktoriella ), som är produkten av de första n superfaktorerna. Sekvensen av hyperfaktoriella tal börjar så här [21] :
1, 1, 2, 24, 6912, 238 878 720, 5 944 066 965 504 000, 745 453 331 864 786 800 000 000 000, 3 769 447 945 987 085 600 000 000 000 000 000 000 000 000, 6 916 686 207 999 801 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000, …Fortsätter man återkommande kan man definiera multipelnivåfaktorialen , eller m -nivåfaktorialen för n , som produkten av ( m − 1)-nivåfaktorialerna av talen 1 till n , dvs.
var för och
Subfaktoriellt ! n definieras som antalet permutationer av ordningen n , det vill säga permutationer av en n - elementuppsättning utan fixpunkter .
Matematiska tecken | |
---|---|
| |