Counting One-to-One Functions from n to m with Property f(i)<f(j)

Click For Summary
SUMMARY

This discussion focuses on counting one-to-one functions from the set {1, 2, ..., n} to the set {1, 2, ..., m} where m ≥ n. The total number of such functions is calculated by assigning m possible values for f(1), m-1 for f(2), and so on, leading to the formula m!/(m-n)!. The property f(i) < f(j) for some 1 ≤ i < j ≤ n excludes functions that are strictly decreasing. The notation ^{m-1}P_n is incorrectly used in this context, as it pertains to permutations rather than the required counting of functions.

PREREQUISITES
  • Understanding of combinatorial functions and permutations
  • Familiarity with one-to-one function properties
  • Basic knowledge of set theory and notation
  • Ability to apply logical reasoning in mathematical contexts
NEXT STEPS
  • Research the concept of permutations and combinations in combinatorial mathematics
  • Learn about the properties of one-to-one functions and their applications
  • Explore logical negation in mathematical statements and its implications
  • Study the principles of counting functions under specific constraints
USEFUL FOR

Mathematicians, students studying combinatorics, educators teaching function properties, and anyone interested in advanced counting techniques.

22990atinesh
Messages
143
Reaction score
1

Homework Statement


Let F be the set of one-to-one functions from the set ##{1,2,..,n}## to the set ##{1,2,...,m}## where ##m \geq n \geq 1##. Then how many functions f in F satisfy the property ##f(i)<f(j)## for some ##1 \leq i \leq j \leq n##

Homework Equations

The Attempt at a Solution


##^{m-1}P_n##. Is it correct
 
Physics news on Phys.org
22990atinesh said:
##^{m-1}P_n##. Is it correct

What does that notation mean?
 
Two more questions:
- How many functions are there in F altogether?
- What kind of functions fail to satisfy the given property?
 
22990atinesh said:

Homework Statement


Let F be the set of one-to-one functions from the set ##{1,2,..,n}## to the set ##{1,2,...,m}## where ##m \geq n \geq 1##. Then how many functions f in F satisfy the property ##f(i)<f(j)## for some ##1 \leq i \leq j \leq n##

Homework Equations

The Attempt at a Solution


##^{m-1}P_n##. Is it correct

Show your reasoning---do not just write down the answer, or what you think is the answer.
 
Joffan said:
Two more questions:
- How many functions are there in F altogether?
- What kind of functions fail to satisfy the given property?

That's the exact question that has been asked.
 
Stephen Tashi said:
What does that notation mean?

Its a Permutation
 
22990atinesh said:
Its a Permutation

I think should be a "number of permutations". But how is it defined? Is it the number of permutations of m-1 things taken n at a time?
 
Joffan said:
Two more questions:
- How many functions are there in F altogether?
- What kind of functions fail to satisfy the given property?
22990atinesh said:
That's the exact question that has been asked.
No, those are simpler questions: the first about the whole of F, not the restricted set your question asks for, and the second about the nature of the excluded functions in your question. But they can lead to answering the original question.Incidentally...
22990atinesh said:
## ^{m-1}P_n##. Is it correct
No.
 
Last edited:
Joffan said:
No, those are simpler questions: the first about the whole of F, not the restricted set your question asks for, and the second about the nature of the excluded functions in your question. But they can lead to answering the original question.Incidentally...

No.
So How can we solve this
 
  • #10
22990atinesh said:
So How can we solve this
Back to my 2 questions...

1. The total number of functions in F is relatively simple: what is that number? Obviously you could assign ##m## possible values for ##f(1)##, then ##m-1## possible values for ##f(2)##, etc., to count all functions

2. What functions does the condition "##f(i)<f(j)## for some ##1 \leq i \lt j \leq n##" exclude? How many ways are there to make such functions?
 
  • #11
22990atinesh said:
So How can we solve this

Think of an example. Suppose we have the set of numbers {1,2,3,4,5}. Suppose we have the constraint "List the numbers so that at least two of them are listed in ascending order". You could count the number N of possible lists that satisfy this constraint by counting the number M that do not satisfy it and computing 5! - M = N.

The number M counts the lists satisfying the statement "It is not true that at least two of the numbers are listed in ascending order" which can be phrased as "It is not true that there exists x in the list and there exists a y in the list such that x and y are listed in ascending order.". You could approach this as an exercise in logic. How do you negate a statement that has a "there exists..." requirement? The general pattern is "It is not true that there exists..." changes to "For each... it is not true that...".

Or you might try writing an example of a list that satisfys the condition "It is not true that there are at least two numbers listed in ascending order".
 

Similar threads

  • · Replies 11 ·
Replies
11
Views
3K
Replies
4
Views
4K
  • · Replies 15 ·
Replies
15
Views
3K
Replies
15
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 12 ·
Replies
12
Views
3K
Replies
3
Views
2K
  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 12 ·
Replies
12
Views
3K