Thm 11.1.2 (the pigeonhole principle):
Suppose that f:X( Y is a function between non-empty finite sets such
that |X| > |Y|. Then f is not an injection, i.e. there exist distinct
elements x1 and x2 E (epsilon) X such that f(x1) = f(x2).
Need help in determining the following proof.
(See attached file for full problem description)
---
Thm 11.1.2 (the pigeonhole principle):
Suppose that f:X Y is a function between non-empty finite sets such that |X| > |Y|. Then f is not an injection, i.e. there exist distinct elements x1 and x2 E (epsilon) X such that f(x1) = f(x2).
---
This solution is comprised of a detailed explanation to prove the problem.