Difference between revisions of "Factorials"

From Department of Mathematics at UTSA
Jump to navigation Jump to search
(Created page with "In mathematics, the '''factorial''' of a non-negative integer {{mvar|n}}, denoted by {{math|''n''!}}, is the product of all positive integers less than or equal to {{mvar|n}}:...")
 
 
Line 82: Line 82:
 
<math display=block>n!\approx\sqrt{2\pi n}\left(\frac{n}{e}\right)^n\exp\left({\frac 1{12n}-\frac 1{360n^3}}\right) \,.</math>
 
<math display=block>n!\approx\sqrt{2\pi n}\left(\frac{n}{e}\right)^n\exp\left({\frac 1{12n}-\frac 1{360n^3}}\right) \,.</math>
  
==References==
+
== Licensing ==  
# Graham, Ronald L.; Knuth, Donald E.; Patashnik, Oren (1988), Concrete Mathematics, Reading, MA: Addison-Wesley, ISBN 0-201-14236-8
+
Content obtained and/or adapted from:
# Wilson, Robin; Watkins, John J.; Graham, Ronald (2013). Combinatorics: Ancient & Modern. Oxford University Press. p. 111. ISBN 978-0-19-965659-2.
+
* [https://en.wikipedia.org/wiki/Factorial Factorial, Wikipedia] under a CC BY-SA license
# Biggs, Norman L. (May 1979). "The roots of combinatorics". Historia Mathematica. 6 (2): 109–136. doi:10.1016/0315-0860(79)90074-0. ISSN 0315-0860.
 
# Stedman, Fabian (1677), Campanalogia, London The publisher is given as "W.S." who may have been William Smith, possibly acting as agent for the Society of College Youths, to which society the "Dedicatory" is addressed.
 
# Aggarwal, M.L. (2021). "8. Permutations and Combinations". Understanding ISC Mathematics Class XI. I. Industrial Area, Trilokpur Road, Kala Amb-173030, Distt. Simour (H.P.): Arya Publications (Avichal Publishing Company). p. A-400. ISBN 978-81-7855-743-4.
 
# Higgins, Peter (2008), Number Story: From Counting to Cryptography, New York: Copernicus, ISBN 978-1-84800-000-1
 
# Cheng, Eugenia (2017-03-09). Beyond Infinity: An expedition to the outer limits of the mathematical universe. Profile Books. ISBN 9781782830818.
 
# Conway, John H.; Guy, Richard (1998-03-16). The Book of Numbers. Springer Science & Business Media. ISBN 9780387979939.
 
# Knuth, Donald E. (1997-07-04). The Art of Computer Programming: Volume 1: Fundamental Algorithms. Addison-Wesley Professional. ISBN 9780321635747.
 
# "18.01 Single Variable Calculus, Lecture 37: Taylor Series". MIT OpenCourseWare. Fall 2006. Archived from the original on 2018-04-26. Retrieved 2017-05-03.
 
# Kardar, Mehran (2007-06-25). "Chapter 2: Probability". Statistical Physics of Particles. Cambridge University Press. pp. 35–56. ISBN 9780521873420.
 
# "18.01 Single Variable Calculus, Lecture 4: Chain rule, higher derivatives". MIT OpenCourseWare. Fall 2006. Archived from the original on 2018-04-26. Retrieved 2017-05-03.
 
# Impens, Chris (2003), "Stirling's series made easy", American Mathematical Monthly, 110 (8): 730–735, doi:10.2307/3647856, hdl:1854/LU-284957, JSTOR 3647856, MR 2024001
 

Latest revision as of 12:24, 14 November 2021

In mathematics, the factorial of a non-negative integer n, denoted by n!, is the product of all positive integers less than or equal to n:

For example,

The value of 0! is 1, according to the convention for an empty product. The factorial operation is encountered in many areas of mathematics, notably in combinatorics, algebra, and mathematical analysis. Its most basic use counts the possible distinct sequences – the permutations – of n distinct objects: there are n!.

The factorial function can also be extended to non-integer arguments while retaining its most important properties by defining x! = Γ(x + 1), where Γ is the gamma function; this is undefined when x is a negative integer.

Notation

Factorial of n is denoted by n! or n. The notation n! was introduced by the French mathematician Christian Kramp in 1808.

Definition

The factorial function is defined by the product

for integer n ≥ 1. This may be written in pi product notation as

This leads to the recurrence relation

For example,
and so on.

Factorial of zero

The factorial of 0 is 1, or in symbols, 0! = 1.

There are several motivations for this definition:

  • For n = 0, the definition of n! as a product involves the product of no numbers at all, and so is an example of the broader convention that the product of no factors is equal to the multiplicative identity.
  • There is exactly one permutation of zero objects (with nothing to permute, the only rearrangement is to do nothing).
  • It makes many identities in combinatorics valid for all applicable sizes. The number of ways to choose 0 elements from the empty set is given by the binomial coefficient:
    More generally, the number of ways to choose all n elements among a set of n is:
  • It allows for the compact expression of many formulae, such as the exponential function, as a power series:
  • It extends the recurrence relation to 0.
  • It matches the gamma function .

Applications

Although the factorial function has its roots in combinatorics, formulas involving factorials occur in many areas of mathematics.

  • There are n! different ways of arranging n distinct objects into a sequence, the permutations of those objects.
  • Often factorials appear in the denominator of a formula to account for the fact that ordering is to be ignored. A classical example is counting k-combinations (subsets of k elements) from a set with n elements. One can obtain such a combination by choosing a k-permutation: successively selecting and removing one element of the set, k times, for a total of
    possibilities. This, however, produces the k-combinations in a particular order that one wishes to ignore; since each k-combination is obtained in k! different ways, the correct number of k-combinations is
    This number is known as the binomial coefficient, because it is also the coefficient of xk in (1 + x)n. The term is often called a falling factorial (pronounced "n to the falling k").
  • Factorials occur in algebra for various reasons, such as via the already mentioned coefficients of the binomial formula, or through averaging over permutations for symmetrization of certain operations.
  • Factorials also turn up in calculus; for example, they occur in the denominators of the terms of Taylor's formula, where they are used as compensation terms due to the nth derivative of xn being equivalent to n!.
  • Factorials are also used extensively in probability theory and number theory.
  • Factorials can be useful to facilitate expression manipulation. For instance the number of k-permutations of n can be written as
    while this is inefficient as a means to compute that number, it may serve to prove a symmetry property of binomial coefficients:
  • The factorial function can be shown, using the power rule, to be
    where Dn xn is Euler's notation for the nth derivative of xn.

Rate of growth and approximations for large n

Plot of the natural logarithm of the factorial

As n grows, the factorial n! increases faster than all polynomials and exponential functions (but slower than and double exponential functions) in n.

Most approximations for n! are based on approximating its natural logarithm

The graph of the function f(n) = ln n! is shown in the figure on the right. It looks approximately linear for all reasonable values of n, but this intuition is false. We get one of the simplest approximations for ln n! by bounding the sum with an integral from above and below as follows:

which gives us the estimate

Hence ln n! ∼ n ln n. This result plays a key role in the analysis of the computational complexity of sorting algorithms. From the bounds on ln n! deduced above we get that

It is sometimes practical to use weaker but simpler estimates. Using the above formula it is easily shown that for all n we have ()n < n!}}, and for all n ≥ 6 we have {{math|n! < ()n.

Comparison of Stirling's approximation with the factorial

For large n we get a better estimate for the number n! using Stirling's approximation:

This in fact comes from an asymptotic series for the logarithm, and n factorial lies between this and the next approximation:

Another approximation for ln n! is given by Srinivasa Ramanujan (Ramanujan 1988)

Both this and Stirling's approximation give a relative error on the order of , but Ramanujan's is about four times more accurate. However, if we use two correction terms in a Stirling-type approximation, as with Ramanujan's approximation, the relative error will be of order :

Licensing

Content obtained and/or adapted from: