Theorem
Ifis a continuous function from
into
the there exists at least one
such that
Proof: Suppose thatis a function from
into
Suppose that
and
Then
and
so by the intermediate value theorem, there exists
such that
Hence for this
and
has a fixed point in
It is important to have the codomain is a subset of the domain. For example fordefined on
the codomain is
and no point is fixed. There is of course no solution to
Example:defined on
we have
for some