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
745 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
374 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 ...
12
votes
2answers
965 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
755 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
201 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
556 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
369 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
218 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 ...
7
votes
2answers
867 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
2answers
618 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
348 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
452 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
320 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
208 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
107 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
1answer
316 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
353 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
1answer
145 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
146 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
182 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
400 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
714 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
304 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
605 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 ...
6
votes
2answers
84 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
471 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
567 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
284 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
72 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
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
644 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 ...
6
votes
2answers
168 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
238 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
342 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
161 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
889 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
172 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
67 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
119 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
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
644 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 ...
5
votes
2answers
139 views

Fun with Newton's Method - Infinitely many cycles

I'd like to preface this problem by saying that I have absolutely no clue if it is solvable or not. This is just the result of some musings, and I'm looking for either some guidance, or to be pointed ...
5
votes
1answer
137 views

Composition of projections has a fixed point in a Hilbert space

Let Let H be a Hilbert space with an inner product ⟨⋅,⋅⟩ : H×H→R, and induced norm $∥⋅∥ : H→R_+$ Let $C_1$ and $C_2$ be closed, convex, nonempty, disjoint subsets of $H$ with at least one of ...
5
votes
1answer
149 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 ...