Discrete Math Problems: VI Injective and Surjective Functions
Injective and Surjective Functions
-
If \(g\circ f\) is injective, then \(f\) is injective.
Proof. Assume that \(g\circ f\) is injective. To show that \(f\) is injective, suppose that \(f(x_1)=f(x_2)\) for some \(x_1,x_2 \in X\). Applying \(g\) to both sides gives $g(f(x_1)) = g(f(x_2))$, so \((g\circ f)(x_1) = (g\circ f)(x_2)\). Since \(g\circ f\) is injective, it follows that \(x_1=x_2\). Therefore \(f\) is injective.
-
A function \(f:X\to Y\) is injective if and only if, for any functions \(g,h:W\to X\), if \(f\circ g=f\circ h\), then \(g=h\).
Proof. ($\Rightarrow$) First assume that \(f\) is injective and suppose that \(f\circ g=f\circ h\). Let \(w\in W\). Then \((f\circ g)(w)=(f\circ h)(w)\), so \(f(g(w))=f(h(w))\). Since \(f\) is injective, we get \(g(w)=h(w)\). Because this holds for all \(w\in W\), we conclude \(g=h\). ($\Leftarrow$) Conversely, assume that for all functions \(g,h:W\to X\), the condition \(f\circ g=f\circ h\) implies \(g=h\). To show that \(f\) is injective, suppose \(f(a)=f(b)\) for some \(a,b\in X\). Let \(W\) be any singleton set, and choose an element \(x\in W\). Using $W$, we define functions \(g,h:W\to X\) by \(g(x)=a\) and \(h(x)=b\). Then \((f\circ g)(x)=f(a)\) and \((f\circ h)(x)=f(b)\), so \((f\circ g)(x)=(f\circ h)(x)\). By assumption, \(g(x)=h(x)\), which implies \(a=b\). Therefore \(f\) is injective.
-
If \(f:X\to Y\) is injective and \(A,B \subseteq X\), then $f(A \cap B) = f(A) \cap f(B)$.
Proof. ($\subseteq$) Let \(y \in f(A \cap B)\). Then there exists \(x \in A \cap B\) such that \(f(x)=y\). Since \(x \in A\) and \(x \in B\), it follows that \(y \in f(A)\) and \(y \in f(B)\). Hence \(y \in f(A) \cap f(B)\). ($\supseteq$) Conversely, let \(y \in f(A) \cap f(B)\). Then there exist \(a \in A\) and \(b \in B\) such that \(f(a)=y=f(b)\). Since \(f\) is injective, we conclude \(a=b\). Therefore this common value lies in \(A \cap B\), so \(y \in f(A \cap B)\). Hence \(f(A \cap B)=f(A)\cap f(B)\).
-
If \(g\circ f\) is surjective, then \(g\) is surjective.
Proof. Assume that \(g\circ f : X \to Z\) is surjective. To show that \(g : Y \to Z\) is surjective, let \(z \in Z\). Since \(g\circ f\) is surjective, there exists \(x \in X\) such that \((g\circ f)(x)=z\), i.e. \(g(f(x))=z\). Let \(y=f(x)\in Y\). Then \(g(y)=z\). Hence for every \(z \in Z\), there exists \(y \in Y\) such that \(g(y)=z\), so \(g\) is surjective.
-
A function \(f:X\to Y\) is surjective if and only if for all functions \(g,h: Y\to Z\), if \(g\circ f = h\circ f\), then \(g=h\).
Proof. ($\Rightarrow$) First assume that \(f\) is surjective and suppose that \(g\circ f = h\circ f\). Let \(y \in Y\). Since \(f\) is surjective, there exists \(x \in X\) such that \(f(x)=y\). Then $g(y)=g(f(x))=(g\circ f)(x)=(h\circ f)(x)=h(f(x))=h(y)$. Since this holds for all \(y \in Y\), we conclude \(g=h\). ($\Leftarrow$) Conversely, assume that for all functions \(g,h: Y\to Z\), the condition \(g\circ f = h\circ f\) implies \(g=h\). Suppose by contradiction that \(f\) is not surjective, so there exists \(y_0 \in Y\) such that \(y_0 \notin f(X)\). Define functions \(g,h: Y\to Z\) by choosing some \(z_1 \neq z_2\) in \(Z\) and setting
\[ g(y)=z_1, \quad h(y)= \begin{cases} z_2, & y=y_0 \\ z_1, & y \neq y_0 \end{cases} \]
Then \(g(y) \neq h(y)\), but for every \(x \in X\), we have \(f(x) \neq y_0\), so \(g(f(x))=h(f(x))=z_1\). Hence \(g\circ f = h\circ f\), contradicting the contrapositive of the assumption. Therefore \(f\) is surjective.
-
If \(f:X\to Y\) is injective and \(A \subseteq X\), then $f^{-1}(f(A))=A$.
Proof. ($\subseteq$) First, let \(x \in f^{-1}(f(A))\). Then by definition of preimage \(f(x)\in f(A)\), so by definition of image there exists \(a \in A\) such that \(f(x)=f(a)\). Since \(f\) is injective, it follows that \(x=a\). Because \(a \in A\), we conclude \(x \in A\). Thus \(f^{-1}(f(A)) \subseteq A\). ($\supseteq$) Conversely, let \(x \in A\). Then \(f(x)\in f(A)\) by definition of image, so \(x \in f^{-1}(f(A))\) by definition of preimage. Hence \(A \subseteq f^{-1}(f(A))\). Conversely, Therefore $f^{-1}(f(A))=A$.
-
If \(f:X\to Y\) is surjective and \(B \subseteq Y\), then $f\bigl(f^{-1}(B)\bigr)=B$.
Proof. ($\subseteq$) Let \(y \in f(f^{-1}(B))\). Then by definition of image there exists \(x \in f^{-1}(B)\) such that \(f(x)=y\). Since \(x \in f^{-1}(B)\), we have \(f(x)\in B\) by definition of preimage, hence \(y \in B\). Therefore \(f(f^{-1}(B)) \subseteq B\). ($\supseteq$) Conversely, let \(y \in B\). Since \(f\) is surjective, there exists \(x \in X\) such that \(f(x)=y\). Because \(y \in B\), this implies \(x \in f^{-1}(B)\) by definition of preimage. Hence \(y=f(x) \in f(f^{-1}(B))\) by definition of image. Therefore \(B \subseteq f(f^{-1}(B))\). Thus $f\bigl(f^{-1}(B)\bigr)=B$.
-
$f:X\to Y$ is injective if and only if $f$ has a left inverse $g:Y\to X$ such that $g\circ f = \mathrm{id}_X$ where $\mathrm{id}_X(x)=x$ for all $x\in X$.
Proof. $(\Rightarrow)$ Assume that $f$ is injective. For each $y \in f(X)$, there exists a unique $x \in X$ such that $f(x)=y$. Define $g:Y\to X$ by
\[ g(y)= \begin{cases} x & y=f(x)\text{ for some }x\in X\\ x_0 & y\notin f(X) \end{cases} \]
Where $x_0\in X$ is fixed. Then for any $x\in X$, we have $f(x)\in f(X)$, so $g(f(x))=x$. Hence $g\circ f=\mathrm{id}_X$, and $g$ is a left inverse of $f$. $(\Leftarrow)$ Conversely, assume that there exists a function $g:Y\to X$ such that $g\circ f=\mathrm{id}_X$. Let $x_1,x_2\in X$ and suppose that $f(x_1)=f(x_2)$. Applying $g$ to both sides gives $g(f(x_1))=g(f(x_2))$. Since $g\circ f=\mathrm{id}_X$, it follows that $x_1=x_2$. Therefore $f$ is injective.
-
A function \(f:X\to Y\) is surjective if and only if \(f\) has a right inverse \(g:Y\to X\) such that \(f\circ g = \mathrm{id}_Y\) where $\mathrm{id}_Y(y) = y$ for all $y \in Y$.
Proof. (\(\Rightarrow\)) Suppose \(f\) is surjective. Then for each \(y \in Y\), there exists \(x \in X\) such that \(f(x)=y\). Define \(g:Y\to X\) by choosing, for each \(y \in Y\), an element \(g(y)\in X\) such that \(f(g(y))=y\). Then for every \(y \in Y\), $(f\circ g)(y)=f(g(y))=y$. Hence \(f\circ g=\mathrm{id}_Y\), so \(g\) is a right inverse of \(f\). (\(\Leftarrow\)) Conversely, suppose there exists \(g:Y\to X\) such that \(f\circ g=\mathrm{id}_Y\). Let \(y \in Y\). Then $y=\mathrm{id}_Y(y)=(f\circ g)(y)=f(g(y))$. Thus \(y\) is in the image of \(f\). Since \(y\) was arbitrary, \(f\) is surjective.
-
A function \(f:X\to Y\) is bijective if and only if there exists a function \(f^{-1}:Y\to X\) such that $f^{-1}\circ f=\mathrm{id}_X$ and $f\circ f^{-1}=\mathrm{id}_Y$.
Proof. (\(\Rightarrow\)) Suppose \(f\) is bijective. Since \(f\) is injective, it has a left inverse \(g:Y\to X\) such that $g\circ f=\mathrm{id}_X$. Since \(f\) is surjective, it has a right inverse \(h:Y\to X\) such that $f\circ h=\mathrm{id}_Y$. Then for all \(y \in Y\), $g(y)=g(\mathrm{id}_Y(y))=g(f(h(y)))=(g\circ f)(h(y))=\mathrm{id}_X(h(y))=h(y)$, so \(g=h\). Denote this common function by \(f^{-1}\). Hence $f^{-1}\circ f=\mathrm{id}_X$ and $f\circ f^{-1}=\mathrm{id}_Y$. (\(\Leftarrow\)) Conversely, suppose there exists a function \(f^{-1}:Y\to X\) such that $f^{-1}\circ f=\mathrm{id}_X$ and $f\circ f^{-1}=\mathrm{id}_Y$. If \(f(x_1)=f(x_2)\), then applying \(f^{-1}\) gives $x_1=x_2$, so \(f\) is injective. If \(y \in Y\), then $y=f(f^{-1}(y))$, so \(f\) is surjective. Therefore \(f\) is bijective.
-
$|A| \leq |B|$ if and only if there exists an injective function \(f:A\to B\).
Proof. (\(\Rightarrow\)) suppose \(|A|\le |B|\). Then there exists a subset \(C\subseteq B\) such that \(A\) is in bijection with \(C\). That is, there exists a bijection \(g:A\to C\). Define the inclusion map \(i:C\to B\) by \(i(c)=c\). Then \(i\) is injective. Consider the composition $f = i\circ g : A \to B$. Since \(g\) is bijective and \(i\) is injective, their composition \(f\) is injective. Hence there exists an injective function \(f:A\to B\). (\(\Leftarrow\)) Conversely, suppose there exists an injective function \(f:A\to B\). We define the statement \(|A|\le |B|\) to mean that there exists a one-to-one correspondence between \(A\) and a subset of \(B\). Let \(f:A\to B\) be injective and define \(f(A)=\{f(a):a\in A\}\subseteq B\). Then the function $f: A \to f(A)$ is bijective, since it is injective by assumption and surjective by definition of its image. Hence \(A\) is in bijection with a subset of \(B\), so \(|A|\le |B|\).
-
$|A| \geq |B|$ if and only if there exists a surjective function \(f:A\to B\).
Proof. (\(\Rightarrow\)) Suppose there exists a surjective function \(f:A\to B\). We show that \(|A|\ge |B|\), meaning there exists an injective function \(g:B\to A\). Since \(f\) is surjective, for each \(b\in B\) choose an element \(g(b)\in A\) such that \(f(g(b))=b\). Then \(g:B\to A\) satisfies \(f\circ g=\mathrm{id}_B\). If \(g(b_1)=g(b_2)\), then applying \(f\) gives $b_1 = f(g(b_1)) = f(g(b_2)) = b_2$, so \(g\) is injective. Hence \(B\) injects into \(A\), so \(|A|\ge |B|\). (\(\Leftarrow\)) Conversely, suppose \(|A|\ge |B|\). Then there exists an injective function \(g:B\to A\). Let \(C=g(B)\subseteq A\). Then \(g:B\to C\) is a bijection, so it has an inverse \(g^{-1}:C\to B\). Define a function \(f:A\to B\) by
\[ f(a)= \begin{cases} g^{-1}(a) & a\in C\\ b_0 & a\notin C \end{cases} \]
Where \(b_0\in B\) is fixed. Then for every \(b\in B\), $f(g(b)) = g^{-1}(g(b)) = b$, so \(f\) is surjective. Hence there exists a surjection \(f:A\to B\).
-
Cantor's Theorem. There is no surjective function \(f:A\to \mathcal{P}(A)\). Equivalently, \(|A| < |\mathcal{P}(A)|\).
Proof. Suppose, by contradiction, that there exists a surjective function \(f:A\to \mathcal{P}(A)\). We will construct a subset of \(A\) that cannot lie in the image of \(f\). Define \[ S = \{a \in A \mid a \notin f(a)\}. \] Then \(S \subseteq A\), so \(S \in \mathcal{P}(A)\). Since \(f\) is surjective, there exists some \(x \in A\) such that \(f(x)=S\). Now we ask whether \(x \in S\). If \(x \in S\), then by definition of \(S\), we have \(x \notin f(x)\). Since \(f(x)=S\), this implies \(x \notin S\), a contradiction. If \(x \notin S\), then by definition of \(S\), we have \(x \in f(x)\). Since \(f(x)=S\), this implies \(x \in S\), again a contradiction. In both cases we obtain a contradiction, so no such surjective function \(f:A\to \mathcal{P}(A)\) exists. Therefore there is no bijection between \(A\) and \(\mathcal{P}(A)\), and hence \(|A| < |\mathcal{P}(A)|\).
Comments
Post a Comment