2
$\begingroup$

Given three functions,

$f\colon A\to B, g\colon C\to A,h\colon C\to A$

Prove or disprove that if $f \circ g = f \circ h$, then $g = h$.

  • 0
    It's certainly not true when $B$ is a singleton, unless $C$ is either a singleton of the empty set.2012-11-21

5 Answers 5

6

Here is a counterexample: \begin{align} g(1) & = 1 \\ g(2) & = 2 \\ g(3) & = 3 \\ \\ h(1) & = 1 \\ h(2) & = 3 \\ h(3) & = 2 \\ \\ f(1) & = 1 \\ f(2) & = 2 \\ f(3) & = 2 \end{align}

  • 0
    g:C→A,h:C→A both gives A from a C input. So why does g(2) and h(2) produce different outputs, since they have the same C value?2012-11-21
6

A function with the property that $f \circ g = f \circ h \implies g = h$ would be one such that $f$ has a left inverse. This would mean $f$ is injective. Thus your statement holds if and only if $f$ is injective (or more generally $f$ is a monomorphism).

4

Let $g:\mathbb R\to\mathbb R,g(x)=x$, $h:\mathbb R\to\mathbb R,h(x)=2x$, and $f:\mathbb R\to\mathbb R,f(x)=0$ for a counterexample.

  • 0
    nice example, Won't Hunting!2012-11-22
0

Put $g(x) = x^2$, $h(x) =\cos(x)$ and $f(x) = 1$ for a real number $x$. We have $f\circ g = f\circ h$.