19
$\begingroup$

What is exactly meant or required for a mapping to be well defined. I was reading the first Homomorphism theorem (link) and the first thing the proof does is define a map and find it if its well defined. Intuitively it makes sense, but what are the requirements for a map to be well defined? For example in the link given, I understand they show one-one relationship as being well defined and later on they again prove its injective.

What have I understood wrongly?

Soham

  • 0
    Related: https://math.stackexchange.com/questions/7820932018-11-29

5 Answers 5

26

One interesting observation is that "well-defined" is basically the converse of (so closely related to) "one-to-one". That is:

We say that $\varphi$ is well-defined if $g=h$ implies that $\varphi(g)=\varphi(h)$.

We say that $\varphi$ is one-to-one if $\varphi(g)=\varphi(h)$ implies that $g=h$.

Thus, if we're trying to prove $\varphi$ is a one-to-one homomorphism (or perhaps even an isomorphism), we can sometimes get that $g=h$ if and only if $\varphi(g)=\varphi(h)$, using double implications the whole way, so that we simultanously prove that $\varphi$ is both well-defined and one-to-one, rather than dealing with them in two separate steps. That then leaves only showing homomorphism (and onto, if we're trying to prove isomorphism). It isn't always so simple--occasionally, we'll need a slick trick to show one-to-one, which doesn't neatly lend itself to reversal and showing well-defined. Still, it's a nice thing to keep in mind as a possibility.

  • 0
    @mt_33: $\phi$ is a relation, given by a rule that putatively makes it a function. For example, one might attempt to define a function from the rationals to the integers by letting $\phi\left(\frac mn\right)=m,$ where $m$ is an integer and $n$ is a positive integer. But this definition doesn't actually give a function, since (for example) $\phi\left(\frac24\right)=2\neq 1=\phi\left(\frac12\right).$ We can avoid this issue (thereby making it well-defined) by further specifying that $\frac mn$ be in lowest terms.2014-06-30
25

Suppose that I try to define a map $f$ from $\Bbb Q$, the set of rational numbers, to $\Bbb Z$, the set of integers by setting $f\left(\frac{a}b\right)=a$; what is $f(1)$?

$1=\frac11$, so $f(1)=f\left(\frac11\right)=1$.

But wait! $1=\frac22$, so $f(1)=f\left(\frac22\right)=2$.

And $1=\frac{100}{100}$, so $f(1)=100$.

Obviously this doesn’t work: by my ‘definition’ $f(1)$ could be any integer at all. In other words, my supposed definition doesn’t actually define anything: $f(1)$ depends on which representation of $1$ as a fraction of two integers I use, and nothing in the ‘definition’ requires me to pick one particular representation. This supposed function is not well-defined.

On the other hand, every rational number $q$ can be uniquely represented in the form $\frac{a}b$ where $\gcd(a,b)=1$ and $b>0$. Had I defined $f(q)$ to be the numberator $a$ of this specific representation, $f$ would have been a genuine function: it would have been well-defined.

Checking that a mathematical object is well-defined is really just checking that it is defined: that the purported definition actually does unambiguously specify the object.

15

It means "does not depend on choices made". Actually the "master" case for this is the following:

Let $A, B$ be groups and $N$ a normal subgroup of $A$. If $f:A\to B$ is a homomorphism with $N$ contained in its kernel, then there is a unique homomorphism $h\colon A/N\to B$ such that $h(xN)= f(x)$ for all $x\in A$.

To make the word "well-defined" appear, one reformulates this as follows: We want to define $h:A/N\to B$. Let $X\in A/N$ be an arbitrary element. Then there exists an $x\in A$such that $X=x N$. Set $h(X):=f(x)$. This is well-defined, i.e. it does not depend on the choice of $x$. For if also $x'N=X$ then $x'=x n$ for some $n\in N$, hence $f(x') = f(x)f(n)=f(x)$ because $N$ is in the kernel.


Note that some authors mistakenly use the term "well-defined" when they should really just say "defined" (as if saying "we defined an object and we did it well"). Please avoid this (ab)use of the term.

  • 0
    Some authors might write something like "For $x \in \mathbb R$ set $f(x)=\frac1{x^2+1}$. Because x^2+1\ge1>0 for all $x\in \mathbb R$, the denominator is never zero, hence $f:\mathbb R\to \mathbb R$ is well-defined." I object to this usage and personally would rather write "hence this expression really defines a function $f:\mathbb R\to \mathbb R$."2012-09-03
5

Say you have an equivalence relation $\equiv$ which defines equivalence classes $[a]=\{b | b\equiv a\}$.

A function $F$, which is defined on elements, will be well-defined, as a function on the equivalence classes if $F(a)=F(b)$ whenever $a\equiv b$.

  • 1
    This answer says it all. I would give it at least +2 if I could.2012-09-05
0

I often explain this via an analogy.

Imagine you have lots of oranges and you define a function that sends each segment of an orange to an apple. As you know, we may describe a particular orange by choosing one of its segments.

The question is; does this function necessarily make a function on whole oranges that agrees with the function on individual segments? Remember that the definition of function demands that each orange would have to be sent to a unique apple, we cannot have one particular orange being sent to two different apples.

The answer to the above is...not necessarily. The only way this could work is if after choosing two segments of the same orange you get the same output from the function.

This is exactly what is happening here, you may describe a particular coset by choosing one of its representatives. You have a function on the representatives and have defined a new "function" on cosets. Just like the above analogy, in order for this to be a true function on cosets we must check that after choosing two representatives for the same coset you get the same outputs.