Fixed-point theorem is a result about existence of fixed points, i.e. points fulfilling F(x)=x, under some conditions on the function F. Results of this type appear in many areas of mathematics, e.g. functional analysis (Banach), algebraic topology (Brouwer), lattice theory (Knaster-Tarski, ...

learn more… | top users | synonyms

45
votes
1answer
1k views

What is the algebraic structure of functions with fixed points?

So I just noticed that the set of functions with a fixed point $$f(x_0)=x_0,$$ are closed under composition $$(f\circ g)(x):=g(f(x)),$$ and with $e(x)=x$, the inverible functions even seem to form ...
31
votes
2answers
762 views

Homeomorphic to the disk implies existence of fixed point common to all isometries?

A fellow grad student was working on this seemingly simple problem which appears to have us both stuck. (The problem naturally came up in his work so isn't from the literature as far as we know). Let ...
23
votes
1answer
379 views

Does every continuous map from $\mathbb{H}P^{2n+1}$ to itself have a fixed point?

This question is motivated by Fixed point property of Cayley plane and idle curiosity. In the link, it is shown that every continuous map from the Cayley plane to itself has a fixed point and the ...
14
votes
2answers
1k views

Generalization of “easy” 1-D proof of Brouwer fixed point theorem

In topology class, before we learned the homotopy-based proof of Brouwer's fixed point theorem, the professor mentioned the easy proof of the one-dimensional case: just draw the graph $f(x) = x$ in ...
12
votes
2answers
767 views

Contraction mapping in an incomplete metric space

Let us consider a contraction mapping $f$ acting on metric space $(X,~\rho)$ ($f:X\to X$ and for any $x,y\in X:\rho(f(x),f(y))\leq k~\rho(x,y),~ 0 < k < 1$). If $X$ is complete, then there ...
12
votes
1answer
203 views

Converse of a fixed-point theorem

I'm having some trouble furnishing a proof here. Let $(E, d)$ be a metric space such that any $k$-Lipschitz function has a fixed point for $0 < k < 1$. Does it follow, then, that $E$ is ...
8
votes
3answers
588 views

Why is convexity a requirement for Brouwer fixed points? Shouldn't “no holes” be good enough?

Brouwer's fixed point theorem: Every continuous function $f$ from a convex compact subset $K$ of a Euclidean space to $K$ itself has a fixed point. I am wondering why the word "convex" is in ...
8
votes
3answers
431 views

In this case, does $\{x_n\}$ converge given that $\{x_{2m}\}$ and $\{x_{2m+1}\}$ converge?

I'm playing around with a sequence $\{x_n\}$ defined by $$ x_{n+1}=\frac{\alpha+x_n}{1+x_n}=x_n+\frac{\alpha-x_n^2}{1+x_n}. $$ Here $\alpha\gt 1$, and $x_1\gt\sqrt{\alpha}$. I'm trying to compute ...
8
votes
1answer
3k views

Prove the map has a fixed point

Assume $K$ is a compact metric space with metric $\rho$ and $A$ is a map from $K$ to $K$ such that $\rho (Ax,Ay) < \rho(x,y)$ for $x\neq y$. Prove A have a unique fixed point in $K$. The ...
8
votes
1answer
372 views

Common knowledge as a fixed point

I read on a wikipedia page that from the modal logic formalization CK can be formulated as a fixed point. If it also holds for the set theory formalization? If it does, where I can find about it? ...
8
votes
2answers
187 views

eventually constant maps

Let $f:[0,1]\to [0,1]$ be a continuous function with a unique fixed point $x_{0}$ Assume that $\forall x\in [0,1], \exists n\in \mathbb{N}$ such that $f^{n}(x)=x_{0}$. Does this implies ...
8
votes
2answers
221 views

Finding a functor satisfying a recursive equation

Say I want to find a functor satisfying something like: \[FA = 1 \sqcup (A \times FA).\] Equivalently, I want to find for each $A$ a fixed point of: \[GB = 1 \sqcup (A \times B)\] (I'll worry about ...
8
votes
1answer
115 views

Fixed points of the Gamma Function?

I am interested in complex values of $z$ such that $$ \Gamma (z) =z$$ Clearly, the one trivial value of $z$ is 1. Also, looking at a graph of the gamma function on the real axis, I can tell that there ...
7
votes
2answers
892 views

Opposite of a contraction mapping

I am taking Real Analysis and we recently went over the Banach Fixed-point Theorem, also commonly known as the Contraction Mapping Theorem which states: If $(X,d)$ is a complete metric space, and ...
7
votes
3answers
640 views

Is the Knaster-Tarski Fixed Point Theorem constructive?

According to Tarski's Fixed Point Theorem, for a complete lattice $L$, and monotone function $f:L \rightarrow L$, the set of fixed points of $f$ forms complete lattice. Definition of $lfp(f)$ and ...
7
votes
2answers
609 views

There exists x on closed interval such that f(x)=x

If $f$ is a continuous function on a closed interval, how can I show that there exists some $x$ on $f$ that $f(x)=x$? I know it will require the Intermediate Value Theorem. Initially I thought of ...
7
votes
1answer
353 views

Schwarz's Lemma, fixed points question

This is from an old qualifying examination question. If f is holomorphic in the unit disk $D$ and $|f(z)|<1$ for all $z\in D$. Suppose also that $f$ has two distinct fixed points in $D$ then ...
7
votes
2answers
470 views

Continuous Brouwer's fixed point theorem via Stokes's theorem?

Let $B$ denote the closed unit ball in $\mathbf{R}^n$. Brouwer's fixed point theorem states that every continuous map $f:B\to B$ has a fixed point. There is a simple proof using Stokes's theorem, at ...
7
votes
1answer
250 views

Do there exist sets $A\subseteq X$ and $B\subseteq Y$ such that $f(A)=B$ and $g(Y-B)=X-A$?

This is a little exercise I've been fiddling with for a while now. Let $f\colon X\to Y$ and $g\colon Y\to X$ be functions. I want to show that there are subsets $A\subseteq X$ and $B\subseteq Y$ ...
7
votes
1answer
321 views

Minimax Theorems V.S. Fixed Point Theorems.

Is there any relationship between the minimax theorems $$ \mbox{Regularly hypothesis on } f:U\times V\to\mathbb{R} \implies \min_{u}\max_{v}f(u,v)=\max_{v}\min_{u}f(u,v) $$ and fixed point ...
7
votes
1answer
210 views

Fixed point: sets and measures

Let $X$ be a Borel space with a Borel measure $\mu$. Suppose $\xi: X\times X\to\mathbb R_{\geq 0}$ is a continuous function and put $s(x) = \{y\in X:\xi(x,y) = 0\}$. For any set $b\in\mathcal B(X)$ we ...
7
votes
1answer
324 views

Fixed Point Theorems

Theorem 1. Let $B=\{x\in \mathbb R^n :∥x∥≤1\}$ be the closed unit ball in $\mathbb R^n$ . Any continuous function $f:B\rightarrow B$ has a fixed point. Theorem 2. Let $X$ be a finite dimensional ...
7
votes
2answers
363 views

Is there a simple proof of Borsuk-Ulam, given Brouwer?

(Brouwer) Any continuous function from a convex compact subset K of a Euclidian space to itself has a fixed point. Given this lemma, is there a simple proof of: (Borsuk-Ulam) Any continuous ...
7
votes
2answers
671 views

Convergence of fixed point iteration for polynomial equations

I'm looking for the solution $x$ of $$x^n+nx-n=0.$$ Thoughts: From graphing it for several $n$ it seems there is always a solution in the interval $[\tfrac{1}{2},1)$. For $n=1$, the ...
7
votes
1answer
146 views

Least common fixed-point

I have been reading a book, "Introduction to Lattices and Order", and I'm trying to solve exercise 8.29 as the following in it: Suppose that $P$ is a complete lattice and let $F$ and $G$ be ...
7
votes
0answers
152 views

Why use the Lefschetz Zeta function?

Given a compact, triangulable space $X$ and a continuous function $f: X\rightarrow X$, then we define the Lefschetz number $\Lambda_{f}$ by $$\Lambda_{f} = \sum_{k\geq0}(-1)^{k}Tr(f_{\ast}\vert ...
7
votes
0answers
194 views

Fixed points in computability and logic

I asked this question on CS.SE, too: http://cstheory.stackexchange.com/questions/27322/fixed-points-in-computability-and-logic I would like to understand better the relation between fixed point ...
7
votes
0answers
417 views

Fixed point: linear operators

I ask my question in two parts: though the topic is similar, I would like to distinguish linear and general cases since methods may be too different while my questions are broad. Consider a space $X$ ...
6
votes
2answers
759 views

Banach theorem example

By Banach fixed point theorem, if a metric on a metric space $X$ is such that $d(f(x),f(y))\leq K d(x,y)$ for $K\in (0,1)$ then $f$ has one unique fixed point. Is there an example where ...
6
votes
1answer
310 views

Can the proof of fixed point theorems ever be constructive?

Overall, Brouwer fixed point theorem and Kakutani fixed theorem are non-constructive. Is there any established paper that demonstrates that there exists constructive proofs that do exactly what these ...
6
votes
2answers
85 views

Path Connectedness and fixed points

We have the following given to us, Let $α, β \colon [0, 1] \to [0, 1]$ be (not necessarily continuous) functions such that $α(x) ≤ β(x)$, for all $x ∈ [0, 1]$. The set $K = \{\,(x, y); α(x) ≤ y ≤ ...
6
votes
1answer
476 views

A fixed point theorem for the unit disk?

In Dynamical Systems and Ergodic Theory by Pollicott and Yuri, there is an easy, one dimensional, fixed point theorem: If $T$ is a continuous map on a closed interval $J$ so that $T(J)\supseteq ...
6
votes
2answers
571 views

Proof $\lim\limits_{n \rightarrow \infty} {\sqrt{2+\sqrt{2+\cdots+\sqrt{2}}}}=2$ using Banach's Fixed Point

I'd like to prove $\lim\limits_{n \rightarrow \infty} \underbrace{\sqrt{2+\sqrt{2+\cdots+\sqrt{2}}}}_{n\textrm{ square roots}}=2$ using Banach's Fixed Point theorem. I think I should use the ...
6
votes
2answers
287 views

How to figure out the starting point for this Mandelbrot?

My answer for another math stackexchange question, asked by Gottfried, involved observing Mandelbrot bifurcation for the iterated function in question, $f(z)\mapsto z-\log_b(z)$. In particular, for ...
6
votes
1answer
76 views

Corollary of Banach fixed-point theorem

Let $(X, \left\lVert\cdot\right\rVert)$ be a Banach space. Let $A:X\to X$ be a linear map and $\nu\in \mathbb{N}$ such that $A^k:X\to X$ is a contraction for every $k>\nu$. Is it true that for ...
6
votes
1answer
154 views

Proof for the existence of a second fixed point in Poincaré's last geometric theorem

In "Geometry and Billiards" by S. Tabachnikov the author proves Poincaré's last geometric theorem: "An area-preserving transformation of an annulus that moves the boundary circles in opposite ...
6
votes
1answer
105 views

periodic point of homeomorphism of plane

Let $h$ be a homeomorphism of $\mathbb{R}^2$ onto itself such that $h(K)=K$ for some compact subset $K$ of $\mathbb{R}^2$. Show that $h$ has a periodic point in $\mathbb{R}^2$.
6
votes
2answers
177 views

A function over the integers and its fixed points

Define $f:\mathbb{N}\rightarrow\mathbb{N}$ as follows, $f(n)$ is the number of times the digit "1" is needed if we were to write all integers between 1 and $n$ (inclusive) in base 10. So for example ...
6
votes
0answers
243 views

Closest fixed point to a convex set

Consider the compact convex sets $Y \subset X \subset \mathbb{R}^n$, and a Lipschitz continuous function $f : X \rightarrow X$. Assume that $f$ has multiple fixed points. (From Brouwer's theorem, $f$ ...
6
votes
0answers
152 views

A fixed point theorem [duplicate]

Let $\emptyset \not = X\subseteq \Bbb{R}^n$ be convex and compact and let $\cal{A}$ be a family of affine maps from $\Bbb{R}^n$ into $\Bbb{R}^n$ such that $X$ is invariant under each element of $\cal ...
5
votes
2answers
346 views

How to show something is a contraction?

If we let $X$ be a complete metric space, and let $S:X\to X$ be a map, such that $S^m$ is a contraction. We now want to show, that $S$ has a unique fixed point This is what I've thought so far: Due ...
5
votes
1answer
172 views

Continuous function on closed unit ball

Take a continuous mapping $f: \bar{B^{n}} \rightarrow \bar{B^{n}}$, where $\bar{B^{n}}$ is a closed unit ball in $\mathbb{R}^{n}$. Assume that $f(x) \neq x$ for every $x \in \bar{B^{n}}$. Define ...
5
votes
3answers
911 views

Continuous function on unit circle has fixed point

The question I have is: Let $f: S^1 \rightarrow S^1$ be a continuous function, where $S^1$ is the unit circle. Prove that if $f$ is not onto, then $f$ must have a fixed point.
5
votes
1answer
175 views

No fixed points imply no periodic points

Let $f:\mathbb{R}^n\to \mathbb{R}^n$ be a smooth injective function with $\operatorname{det}[f'(x)]\not=0 $ for all $x\in\mathbb{R}^n$. Moreover assume that $f$ has no fixed points. Can $f$ have a ...
5
votes
1answer
598 views

Does a compact connected complete linear order have the fixed point property?

Would the same arguments used for showing $[0,1]$ has the fixed point property hold in this general case? What could go wrong? EDIT: The fixed point property can be interpreted in two ways that I ...
5
votes
1answer
69 views

Show that there exists $\xi\in [a,b]: f(\xi)=\xi$.

Let $a,b\in\mathbb{R},~a<b$ and consider $f\colon[a,b]\to [a,b]$ continuous. Show that $f$ has a fixed point. i.e. that there exists a $\xi\in [a,b]$ with $f(\xi)=\xi$. My idea is to ...
5
votes
1answer
121 views

Complete Condition in Banach Fixed Point Theorem

Can someone provide an example to show that for the Banach fixed point theorem, that is if $T : X → X$ is a contraction in a complete metric space $(X, d)$ then $T$ has a unique fixed point that $X$ ...
5
votes
1answer
165 views

fixed-point iteration

Are there functions $f$ of one real variable $x\in X$ that are not contracting maps on the set $X$ but for which, given the starting point $x_0$, the fixed-point iteration $x_n=f(x_{n-1})$, for ...
5
votes
1answer
40 views

Function on a Power Set

Let $f\colon \mathcal{P}(A)\mapsto \mathcal{P}(A)$ be a function such that $U \subseteq V$ implies $f(U) \subseteq f(V)$ for every $U, V \in \mathcal{P}(A)$. Show there exists a $W \in \mathcal{P}(A)$ ...
5
votes
1answer
656 views

Continuous bijections from the open unit disc to itself - existence of fixed points

I'm wondering about the following: Let $f:D \mapsto D$ be a continuous real-valued bijection from the open unit disc $\{(x,y): x^2 + y^2 <1\}$ to itself. Does f necessarily have a fixed point? I ...