# Definition:Fixed Point

Jump to navigation
Jump to search

## Definition

Let $f: S \to T$ be a mapping.

Then a **fixed point** (or **fixed element**) **of $S$ under $f$** is an $x \in S$ such that $\map f x = x$.

## Also defined as

The concept of a **fixed point** is usually encountered in the context of self-maps, that is, where $S = T$.

This article is complete as far as it goes, but it could do with expansion.You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by adding this information.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{Expand}}` from the code.If you would welcome a second opinion as to whether your work is correct, add a call to `{{Proofread}}` the page. |

## Also see

## Sources

- 2010: Raymond M. Smullyan and Melvin Fitting:
*Set Theory and the Continuum Problem*(revised ed.) ... (previous) ... (next): Chapter $3$: The Natural Numbers: $\S 4$ A double induction principle and its applications: Definition $4.13$