# Definition:Fixed Point

Jump to navigation
Jump to search

From ProofWiki

Jump to navigation
Jump to search
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$.

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

You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by adding this information.

*To discuss it in more detail, feel free to use the talk page.*

*If you are able to do this, then when you have done so you can 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 (see the proofread template for usage).*

- This page was last modified on 1 November 2018, at 18:45 and is 0 bytes
- Content is available under Creative Commons Attribution-ShareAlike License unless otherwise noted.