Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Inverse Factorials

  1. Oct 29, 2014 #1
    Why exactly is there no such thing as an inverse factorial function? Now I am fully aware of the fact that the factorial function (##f(x) = x!##) is not one-to-one, since both 0! and 1! equal 1. But can't we circumvent this by restricting the domain of f such that it only includes values of x greater than or equal to 1?
  2. jcsd
  3. Oct 29, 2014 #2


    Staff: Mentor

    There's some interesting reasoning behind the 0! = 1 definition:


    Notice the comment there is exactly 1 way to order zero objects hence the 0!=1 instead of thinking that anything times 0 is 0.
  4. Oct 29, 2014 #3
    That comment is ridiculous . There are good reasons why 0!=1 per definition.
  5. Oct 29, 2014 #4


    User Avatar
    Science Advisor
    Homework Helper
    Gold Member

    What makes you think there isn't an inverse factorial function?
  6. Oct 29, 2014 #5
    This does not pertain to my question.
  7. Oct 29, 2014 #6
    Is there?
  8. Oct 30, 2014 #7


    User Avatar
    Science Advisor
    Homework Helper
    Gold Member

    The existence of a function is not dependent on its being given a name or on being useful.
  9. Oct 30, 2014 #8
    You're right.
    But what I meant was, is there a way to define such a function algebraically?
  10. Oct 30, 2014 #9


    User Avatar
    Science Advisor
    Homework Helper
    Gold Member

    Here's a paper on the subject (inverse of the Gamma function, which extends factorial beyond the whole numbers).

    http://www.ams.org/journals/proc/2012-140-04/S0002-9939-2011-11023-2/S0002-9939-2011-11023-2.pdf [Broken]
    Last edited by a moderator: May 7, 2017
  11. Oct 30, 2014 #10
    I love this thread! Finding an easy inverse factorial function was an obsession of mine a couple years ago. And I have Asperger's and OCD, so that isn't good. I failed. Miserably. Logarithms of polynomials inside other logarithms...etc. It was a mess and a waste of time.

    By the way, 0! = 1 for the simple reason that (n-1)! is found by dividing n! by n. And since 1! = 1, just divide 1 by 1 and you get 1.
  12. Oct 30, 2014 #11
    I'm not sure if I understand the intuitive principle that there is only one way to order zero objects. How many ways can you order a complex object?
  13. Oct 30, 2014 #12
    I must input a username and password combination before gaining access to the pdf file.
    Last edited by a moderator: May 7, 2017
  14. Oct 30, 2014 #13


    User Avatar
    Science Advisor

    Intuitively, one "orders" a set of objects by assigning them a sequence from first to last. This works for any finite number of objects which is all we need here. (The full formal definition of a "total order" on a set of objects is somewhat more general and removes the need for a first or last object).

    Intuitively, the number of ways to "order" a set of objects is simply the number of different possible sequences of that set of objects.

    Wrapping an intuition around the notion of an empty sequence is much like wrapping an intuition around the notion of an empty set. There is only one empty sequence. It has no elements and is identical to every other sequence with no elements.
  15. Oct 30, 2014 #14
    Ahhh, I see. Thank you.
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Similar Discussions: Inverse Factorials
  1. Factorial of infinity (Replies: 1)

  2. Factorials of Fractions (Replies: 16)