Theorem
If
is a continuous function from
into
the there exists at least one
such that![]()
Proof: Suppose that
is 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 for
defined on
the codomain is
and no point is fixed. There is of course no solution to![]()
Example:
defined on
we have
for some![]()