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$.

  • 3
    In order to get the best possible answers, it is helpful if you say in what context you encountered the problem, and what your thoughts on it are; this will prevent people from telling you things you already know, and help them give their answers at the right level. Also, many find the use of imperative ("Prove", "Solve", etc.) to be rude when asking for help; please consider rewriting your post.2012-11-21
  • 0
    It's certainly not true when $B$ is a singleton, unless $C$ is either a singleton of the empty set.2012-11-21

4 Answers 4

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
    +1 A counter example like this, tells the OP whole the story in a very fast way.2012-11-21
  • 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
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
4

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).

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$.