MHB How Many Functions Meet the Fixed Point Criterion?

  • Thread starter Thread starter Saitama
  • Start date Start date
  • Tags Tags
    Functions
AI Thread Summary
The discussion revolves around determining the number of functions from the set {1,2,3,4,5} to itself that satisfy the fixed point criterion, specifically where at least one element maps to itself. Participants explore the problem by considering the opposite case, calculating the total functions as 5^5 and the derangements as 4^5, leading to a preliminary result of 2101 functions meeting the criterion. There is confusion regarding the distinction between "into" and "onto" functions, with participants clarifying that "into" functions do not require the range to equal the co-domain. Ultimately, the conversation highlights the complexities of combinatorial reasoning and the need for clear definitions in mathematical terminology.
Saitama
Messages
4,244
Reaction score
93
Problem:
Let $f:\{1,2,3,4,5\}\rightarrow \{1,2,3,4,5\}$, then the number of functions which are into and satisfy $f(i)=i$ for at least one $i=1,2,3,4,5$ are

A)435
B)2121
C)2025
D)None of these

Attempt:
Looking at the opposite case i.e where $f(i)=i$ for at least one of the given i's is not satisfied, I can find the number of derangements but I am not sure if it helps. I need a few hints to begin with. My mind goes blank on these combinatorics problems. (Doh)

Any help is appreciated. Thanks!
 
Physics news on Phys.org
Keyword : Derangement function.

Count the number of permutations (this is just $5!$) and then exclude the derangement.
 
mathbalarka said:
Keyword : Derangement function.

Count the number of permutations (this is just $5!$) and then exclude the derangement.

Hi mathbalarka! :)

I am not sure but number of possible functions are $5^5$ or perhaps I misunderstood what you meant by the number of permutations.

The derangement is $!5=44$.

Thanks!
 
Pranav said:
I am not sure but number of possible functions are $5^5$

Then we are talking of different things. Is $f(\{1, 2, 3, 4, 5\}) = \{2, 2, 2, 2, 2\}$ allowed?
 
mathbalarka said:
Then we are talking of different things. Is $f(\{1, 2, 3, 4, 5\}) = \{2, 2, 2, 2, 2\}$ allowed?

Yes.
 
Pranav said:
Yes.

Then you are obviously correct.
 
mathbalarka said:
Then you are obviously correct.

?

I still have no idea about approaching this problem. :(
 
Neither do I. This new interpretation seems harder than mine.
 
Pranav said:
Problem:
Let $f:\{1,2,3,4,5\}\rightarrow \{1,2,3,4,5\}$, then the number of functions which are into and satisfy $f(i)=i$ for at least one $i=1,2,3,4,5$ are

A)435
B)2121
C)2025
D)None of these

Attempt:
Looking at the opposite case i.e where $f(i)=i$ for at least one of the given i's is not satisfied, I can find the number of derangements but I am not sure if it helps. I need a few hints to begin with. My mind goes blank on these combinatorics problems. (Doh)

Any help is appreciated. Thanks!

Hey Pranav! :)

Let's indeed look at the opposite case, where $f(i) \ne i$ for each $i$.
Then $1$ can be mapped to 4 possible numbers and so can any of the other numbers.
Therefore the opposite case contains $4^5$ functions.
 
  • #10
I like Serena said:
Hey Pranav! :)

Let's indeed look at the opposite case, where $f(i) \ne i$ for each $i$.
Then $1$ can be mapped to 4 possible numbers and so can any of the other numbers.
Therefore the opposite case contains $4^5$ functions.

Hi ILS! :)

Yes, agreed, so the total number of functions where $f(i)=i$ for at least one $i$ are $5^5-4^5=2101$. This brings me close to option C. Since I need the into functions, I have to subtract the onto ones but how should I do it? :confused:
 
Last edited:
  • #11
Pranav said:
Yes, agreed, so the total number of functions where $f(i)=i$ for at least one $i$ are $5^5-4^5=2101$. This brings me close to option C. Since I need the into functions, I have to subtract the onto ones but how should I do it? :confused:
I think that there is a typo in the question. I thinkm 2101 is correct.
Using inclusion/exclusion I get \sum\limits_{k = 1}^5 {{{\left( { - 1} \right)}^{k + 1}}\binom{5}{k}{{\left( 5 \right)}^{5 - k}}} = 2101. See here
 
  • #12
Sorry for the late reply. :o

Plato said:
I think that there is a typo in the question. I thinkm 2101 is correct.
Using inclusion/exclusion I get \sum\limits_{k = 1}^5 {{{\left( { - 1} \right)}^{k + 1}}\binom{5}{k}{{\left( 5 \right)}^{5 - k}}} = 2101. See here

Hi Plato!

I found the number of functions where $f(i)=i$ for at least one $i$ by $5^5-4^5=2101$ but I don't see how it deals with the into functions. I mean there can be onto functions too in these 2101 functions. How do I eliminate those? :confused: :confused:

Please help, I have got a mindblock here. (Sweating)
 
  • #13
Pranav said:
I found the number of functions where $f(i)=i$ for at least one $i$ by $5^5-4^5=2101$ but I don't see how it deals with the into functions. I mean there can be onto functions too in these 2101 functions. How do I eliminate those?

That is a matter of vocabulary. If f:A\to B it is easy to find text material says the f maps A into B..

On the other hand, to say f is onto means that f(A)=B.

I am not saying that there is no author who uses into in some special way. I am just saying that I am not aware of such.

To see what I mean look at this.
 
Last edited:
  • #14
Plato said:
That is a matter of vocabulary. If f:A\to B it is easy to find text material says the f maps A into B..

On the other hand, to say f is onto means that f(A)=B.

I am not saying that there is no author who uses into in some special way. I am just saying that I am not aware of such.

To see what I mean look at this.

Thank you Plato! I just saw my textbook and yes, there is really no special use of "into".

I remember my teacher saying that into functions are those where range is not equal to co-domain but I am unable find this definition anywhere, I will have to talk about this to my teacher. Thank you once again Plato. :)
 

Similar threads

Replies
23
Views
3K
Replies
2
Views
2K
Replies
2
Views
2K
2
Replies
69
Views
8K
Replies
3
Views
2K
Replies
14
Views
3K
Back
Top