Difference between revisions of "Passing to the quotient (function)"

Existence

Let $\tilde{f}:W\rightarrow Y$ be given by: $f:v\mapsto f(w^{-1}(v))$ - I need to prove this is a Function

This means I must check it is well defined, a function must associate each point in its domain with exactly 1 element of its codomain

Let $v\in W$ be given

Let $a\in w^{-1}(v)$ be given

Let $b\in w^{-1}(v)$ be given

We know $$\forall a\in w^{-1}(v)$$ that $$w(a)=v$$ by definition of $$w^{-1}$$

This means $$w(a)=w(b)$$

But by hypothesis $$w(a)=w(b)\implies f(a)=f(b)$$

So $$f(a)=f(b)$$

Thus given an $a\in w^{-1}(v)$, $$\forall b\in w^{-1}[f(a)=f(b)]$$

We now know (formally) that: (given a $v$) $$\exists y\in Y\forall a\in w^{-1}(v)[f(a)=y]$$ - notice the $$\exists y$$ comes first. We can uniquely define $$f(w^{-1}(v))$$

Since $v\in W$ was arbitrary we know $$\forall v\in W\exists y\in Y\forall a\in w^{-1}(v)[f(a)=y]$$

We have now shown that $$\tilde{f}$$ can be well defined (as the function that maps a $v\in W$ to a $y\in Y$.

To calculate $$\tilde{f}(v)$$ we may choose any $$a\in w^{-1}(v)$$ and define $$\tilde{f}(v)=f(a)$$ - we know $$f(a)$$ is the same for whichever $$a\in w^{-1}(v)$$ we choose.

So we know the function $$\tilde{f}:W\rightarrow Y$$ given by $$\tilde{f}:x\mapsto f(w^{-1}(x))$$ exists

This completes the proof^[1]

Uniqueness

Suppose another function exists, $$\tilde{f}':W\rightarrow Y$$ that isn't the same as $$\tilde{f}:W\rightarrow Y$$

That means $$\exists u\in W:[\tilde{f}(u)\ne\tilde{f}'(u)]$$

• Note, as $w:X\rightarrow W$ is surjective, that $\exists x'\in X[w(x')=u]$

However for both $\tilde{f}$ and $\tilde{f}'$ we have the property of $$f=\tilde{f}\circ w=\tilde{f}'\circ w$$ so:

By hypothesis we have: $\forall x\in X[f(x)=\tilde{f}(w(x))=\tilde{f}'(w(x))]$ however we know:

• $\exists x'\in X[w(x')=u]$ and $\tilde{f}(u)\ne \tilde{f}'(u)$, this means:
  • $f(x')=\tilde{f}(w(x'))\ne\tilde{f}'(w(x'))$ - which contradicts the hypothesis.

However if $w$ is not surjective, then the parts of the domain on which $\tilde{f}$ and $\tilde{f}'$ disagree on may never actually come up; that is to say:

• $\forall x\in X[\tilde{f}(w(x))=\tilde{f}'(w(x))]$ as $w:X\rightarrow W$ may never take an $x\in X$ to a $z\in W$ where $\tilde{f}(z)$ and $\tilde{f}'(z)$ differ; but they could still be different functions.

This completes the proof^[1]

Notes:

1. Notice that if $w$ is not surjective, the point(s) on which $\tilde{f}$ and $\tilde{f}'$ disagree on may never actually come up, so it is indeed not-unique if $w$ isn't surjective.