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

43
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 ...
30
votes
2answers
695 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 ...
22
votes
1answer
342 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
760 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
197 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 ...
10
votes
2answers
669 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 ...
8
votes
3answers
421 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
343 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
209 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
760 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
578 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
2k 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 ...
7
votes
1answer
313 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
385 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
247 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
299 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
199 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
95 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
265 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
303 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
142 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
123 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
114 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
257 views

Fixed point of a shrinking map. Proof.

Could you please verify my proof? Let $f:X \to X$ be a shrinking map on a compact metric space $(X,d)$. In other words: $d(f(x),f(y)) < d(x,y)$ for all $x,y \in X$. Prove: $f$ has a unique ...
7
votes
0answers
340 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
3answers
431 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 ...
6
votes
1answer
255 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
563 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
71 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
410 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
538 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
226 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
99 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
532 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
161 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
215 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
151 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
485 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 ...
5
votes
2answers
267 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
3answers
750 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
161 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
54 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
2answers
84 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
45 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 ...
5
votes
1answer
118 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
122 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 ...
5
votes
1answer
148 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 ...
5
votes
0answers
95 views

Converse to Lefschetz fixed point theorem (counterexample)

The celebrated Lefschetz fixed point theorem, in its simplest form, says (following Wikipedia) that if $f\colon X \to X$ is a continuous map of a compact triangulable space $X$ to itself, then $f$ has ...
4
votes
5answers
262 views

Why $e^x$ never equal $x$?

Je veux savoir pourquoi $x=e^x$ n'a aucune solution dans $\Bbb R$. Lorsque j'ai essayé de tracer le graphe de la fonction $e^x$, j'ai trouvé en fait qu'elle est une fonction strictement croissante ...
4
votes
2answers
286 views

Fixed points in category theory

Is there a usual way to express the concept of fixed points in category theory? What would I say to express that a morphism has a fixed point? Thank you!