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, Kleene)...

learn more… | top users | synonyms

46
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 ...
32
votes
2answers
843 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 ...
26
votes
1answer
431 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 ...
15
votes
2answers
961 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 ...
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
1answer
127 views

Algebraic fixed point theorem

I was wondering if there are some "algebraic" fixed point theorems, in group theory. More precisely, given a group $G$ and a group morphism $f : G \to G$, what conditions on $G$ and $f$ should we ...
12
votes
1answer
216 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 ...
11
votes
1answer
4k 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 ...
9
votes
3answers
812 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 ...
9
votes
3answers
453 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 $\...
9
votes
1answer
120 views

Does the fixed point in the Brouwer's Fixed-Point Theorem have to be an interior point?

As the question suggests, does the fixed point in the Brouwer's Fixed-Point Theorem have to be an interior point? Many thanks in advance. To be clear, I'm using the statement of Brouwer's Fixed-Point ...
9
votes
0answers
183 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 H_{k}(...
8
votes
1answer
404 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
208 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
3answers
646 views

Mapping homotopic to the identity map has a fixed point

Suppose $\phi:\mathbb{S}^2\to\mathbb{S}^2$ is a mapping, homotopic to the identity map. Show that there is a fixed point $\phi(p)=p$.
8
votes
2answers
233 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
141 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 ...
8
votes
0answers
241 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
2answers
1k 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 $f:...
7
votes
3answers
725 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
1answer
79 views

Free $\mathbb{Z}_{2}$ action on the plane

Motivated by the following question we ask: Is there a free action of $\mathbb{Z}_{2}$ by homeomorphism on $\mathbb{R}^{2}$? Lie groups with no free $\mathbb{Z}/2\mathbb{Z}$ action
7
votes
2answers
712 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
467 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 $f(z)=...
7
votes
2answers
561 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
2answers
620 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 ...
7
votes
1answer
270 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
341 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
221 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
393 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
450 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
853 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 solution ...
7
votes
1answer
155 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 order-...
7
votes
0answers
478 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
1k 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 $d(f(x),f(y))\...
6
votes
3answers
1k 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.
6
votes
1answer
360 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
110 views

How can I prove $x_{n+1} = e^{-x_n}$ is convergent?

I'm doing a practice problem which asks to prove that the sequence defined by $x_{n+1} = e^{-x_n}$ is convergent (or rather "study the convergence of $(x_n)$"). So I'd like to try and find some ...
6
votes
1answer
575 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 J$...
6
votes
1answer
134 views

Fixed point combinator (Y) and fixed point equation

In Hindley (Lambda-Calculus and Combinators, an Introduction), Corollary 3.3.1 to the fixed-point theorem states: In $\lambda$ and CL: for every $Z$ and $n \ge 0$ the equation $$xy_1..y_n = Z$$ can ...
6
votes
2answers
94 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
245 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 $n=1,2,...
6
votes
2answers
338 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
119 views

A homeomorphism of the plane has a periodic point if it leaves a compact set invariant

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$. My idea is consider ...
6
votes
1answer
119 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
176 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
223 views

Is Poincare-Hopf index theorem connected with Leftschetz fixed point theorem?

Lefschetz Fixed Point Theorem: For a compact triangulable space $X$, and a continuous map $f:X\rightarrow X$, we have $$\sum_i(-1)^i\mathrm{Tr}(f_*|H_k(X,\mathbb{Q})=\sum_{x\in\mathrm{Fix}(f)}\...
6
votes
2answers
183 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
276 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
155 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
3answers
338 views

unique fixed point problem

Let $f: \mathbb{R}_{\ge0} \to \mathbb{R} $ where $f$ is continuous and derivable in $\mathbb{R}_{\ge0}$ such that $f(0)=1$ and $|f'(x)| \le \frac{1}{2}$. Prove that there exist only one $ x_{0}$ such ...