Why is There No Inverse Factorial Function?

[PFuser1232]

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?

 

[jedishrfu]

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

http://en.wikipedia.org/wiki/Factorial

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.

 

[zoki85]

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

http://en.wikipedia.org/wiki/Factorial

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.

That comment is ridiculous . There are good reasons why 0!=1 per definition.

 

[PeroK]

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?

What makes you think there isn't an inverse factorial function?

 

[PFuser1232]

This does not pertain to my question.

 

[PFuser1232]

What makes you think there isn't an inverse factorial function?

Is there?

 

[PeroK]

Is there?

The existence of a function is not dependent on its being given a name or on being useful.

 

[PFuser1232]

The existence of a function is not dependent on its being given a name or on being useful.

You're right.
But what I meant was, is there a way to define such a function algebraically?

 

[PeroK]

You're right.
But what I meant was, is there a way to define such a function algebraically?

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

 

[David Carroll]

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.

 

[David Carroll]

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?

 

[PFuser1232]

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

I must input a username and password combination before gaining access to the pdf file.

 

[jbriggs444]

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?

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.

 

[David Carroll]

Ahhh, I see. Thank you.