Search the corpus

    Injective maps between finite sets of different sizes

    E-MUN-6-1

    Area
    Topology
    Topics
    Finite Sets
    Status
    draft
    1. Make a list of all the injective maps

    \[ f: \{1, 2, 3 \} \longrightarrow \{1, 2, 3, 4 \}. \]

    Show that none is bijective. (This constitutes a direct proof that a set \(A\) of cardinality three does not have cardinality four.)

    1. How many injective maps

    \[ f: \{1, \dots , 8 \} \longrightarrow \{1, \dots , 1 0 \} \]

    are there? (You can see why one would not wish to try to prove directly that there is no bijective correspondence between these sets.)

    Solution
    1. An injective map is determined by the ordered triple \[ (f(1),f(2),f(3)), \] whose entries must be distinct elements of \(\{1,2,3,4\}\). The complete list is \[ \begin{array}{llll} (1,2,3),&(1,2,4),&(1,3,2),&(1,3,4),\\ (1,4,2),&(1,4,3),&(2,1,3),&(2,1,4),\\ (2,3,1),&(2,3,4),&(2,4,1),&(2,4,3),\\ (3,1,2),&(3,1,4),&(3,2,1),&(3,2,4),\\ (3,4,1),&(3,4,2),&(4,1,2),&(4,1,3),\\ (4,2,1),&(4,2,3),&(4,3,1),&(4,3,2). \end{array} \] These are all possibilities because one chooses \(f(1)\) in \(4\) ways, then \(f(2)\) in \(3\) remaining ways, then \(f(3)\) in \(2\) remaining ways, for \(4\cdot3\cdot2=24\) maps.

    None is surjective: each image contains exactly three points of a four-point codomain, so one codomain point is omitted. Hence none is bijective.

    1. For an injection \[ f:\{1,\dots,8\}\to\{1,\dots,10\}, \] there are successively \[ 10,9,8,7,6,5,4,3 \] choices for the images of \(1,\dots,8\). Thus the number of injective maps is \[ 10\cdot9\cdot8\cdot7\cdot6\cdot5\cdot4\cdot3 =\frac{10!}{2!} =\boxed{1,814,400}. \]