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

-3
votes
4answers
172 views

Three questions about fixed points

Pick out the true statements. Let $f : [0, 2] \to [0, 1]$ be a continuous function. Then, there always exists $x \in [0, 1]$ such that $f(x) = x$. Let $f : [0, 1] \to [0, 1]$ be a continuous ...
1
vote
0answers
59 views

Fixed point of continuous function on compact metric space [duplicate]

Possible Duplicate: Prove the map has a fixed point Let $X$ be a compact metric space and $f:X\rightarrow X$ be a continuous function such that $d(f(x),f(y))<d(x,y)$ for every $x,y\in X$ ...
5
votes
3answers
641 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.
38
votes
0answers
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 ...
2
votes
1answer
160 views

Brouwer's fixed point theorem implies Sperner's lemma

I'm looking for a proof that Brouwer's fixed point theorem implies Sperner's lemma. The proof should be understandable by an undergraduate. Thanks in advance!
1
vote
1answer
102 views

Topology Fixed Point Theorem

suppose the wind is blowing on the surface of the earth in a constant and continuous fashion. Suppose also that at every point on the equator, the wind is blowing directly east, so the wind doesnt ...
4
votes
0answers
271 views

Equivalence of Brouwers fixed point theorem and Sperner's lemma

I'm looking for a proof that Brouwer's fixed point theorem implies Sperner's lemma. All proof I've found just prove that there must be at least one completely colored n-simplex, not that there must be ...
1
vote
0answers
123 views

Fixpoint of monotone operators

Let $X$ be some set and let $F$ be the set of all functions with a domain $X$ and a range $[0,1]$. We consider $F$ to be a partially ordered set with $f\leq g$ if and only if $f(x)\leq g(x)$ for all ...
6
votes
2answers
492 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 ...
0
votes
2answers
56 views

Applying a contraction to balls' centers increases the size of the balls' intersection?

The following statement seems clearly true, but I'm having a hard time proving it: Fix $\alpha\in[0,1]$. Let $\mu$ be Lebesgue measure. For $r\ge 0$, let $B(c,r)\equiv[c-r,c+r]$. Fix ...
1
vote
2answers
508 views

Finding the fixed point of a function

Let $p:A \times B \to \mathbb{R}$ be a nonnegative real-valued function on $A \times B$, where $A$ and $B$ are arbitrary set. Assume $f:A \to B$ and $g:B \to A$ are such that \begin{align*} f(a) ...
0
votes
1answer
186 views

Schauder's fixed point theorem for metric linear space

Is there an analogue of Schauder type fixed point theorems that can be used over a metric linear space. So, here $(X,d)$ is a complete vector space with metric $d$. If $C\subseteq X$ and ...
2
votes
1answer
55 views

continuous map on compact ellipse

will there be any fixed point a continuous $f$ from the ellipse $2x^2+3y^2\le 1$ to itself? Well I think yes but in a solution of a problem hint is given that NO. Just asking to assure myself if I am ...
2
votes
2answers
434 views

Analogue to Fixed Point Theorem for Compact metric spaces

If $\omega:H \rightarrow H$ (into) is continuous and $H$ is compact, does $\omega$ fix any of its subsets other than the empty set?
3
votes
1answer
137 views

Is there any way to give sense to a geometric/visual proof?

Suppose one is given the following visual proof that $$\lim\limits_{n \to \infty} \sum_{k=1}^n \frac{1}{2^k} = 1$$ which is the following construction over $[0,1]\times[0,1]$ What this is ...
2
votes
1answer
151 views

Differences between between concepts related to Gödel's Incompleteness theorems: self-referencing, diagonalization and fixed point theorem?

I am studying the proof of Gödel's first Incompleteness theorem at the moment and I don't understand the differences between self-referencing, diagonalization and fixed point related to Gödel's proof. ...
2
votes
2answers
217 views

Bourbaki-Witt fixed point theorem: two questions

Consider the following theorem: Let $f\colon E \to E$ have the propery that $f(x)\geq x$, where $(E,\leq)$ is a non-void partially ordered set with the property that every totally ordered subset of ...
4
votes
1answer
242 views

Is there a simple way to prove the Brouwer fixed Point theorem?

The quest may be for references but I want to know if there is a simple way to prove the Brouwer fixed point theorem! That is if a function $f:\bar{B}\to\bar{B}$ is continuous then $f$ admits one ...
5
votes
1answer
1k 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$,$\rho (Ax,Ay) < \rho(x,y)$ for $x\neq y$.Prove A have a unique fixed point in K. The uniqueness is easy.My ...
1
vote
1answer
143 views

Fixed point stability of piecewise linear system

I have an autonomous system of nonlinear equations of the form: $$Mx'' + C(\omega)x' + K(\omega)x + F_{nl}(x) = 0$$ where $M$ is the mass, $C$ the damping and $K$ the stiffness matrix. ...
7
votes
1answer
273 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 ...
6
votes
1answer
328 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 ...
1
vote
1answer
114 views

Fixed points in the font with serifs

Consider the English alphabet in this font with serifs A B C D E F G H I J K L M N O P Q R S T U V W X Y Z Consider any letter in this font as a topological space (assume that letters don't have ...
2
votes
2answers
254 views

Fixed point iteration

Assume that $g$ is a continuously differentiable function and that the Fixed-Point Iteration $g(x)$ has exactly three fixed points, $-3, 1$ and $2$. Assume that $g '(-3) = 2.4$ and that FPI ...
1
vote
0answers
62 views

Fixed Point Theorem for Set-to-Set Mappings

Is there a fixed-point theorem regarding mappings of the form $T:2^S\to 2^S$, i.e. mappings that map subsets of $S$ to other subsets in $S$: $$ T:S\supseteq A \mapsto T(A)\subseteq S $$ Where $S$ ...
4
votes
2answers
396 views

banach fixed point theorem

Let $T:X \to X$ be a map on a complete non-empty metric space. Assume that for all $x$ and $y$ in $X$, $\sum_n d(T^n(x),T^n(y))<\infty$. Then $T$ has a unique fixed point. guess: I assume that the ...
3
votes
1answer
138 views

Are the practical analogies of the Brouwer fixed-point theorem meant to be trivially understood?

When reading about the Brouwer fixed-point theorem on Wikipedia there are some "real world illustrations" of what the theorem says, one of them being the following: [T]ake two sheets of graph ...
21
votes
1answer
304 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 ...
4
votes
1answer
109 views

Fixed point property of Cayley plane

I want to know whether the Cayley plane has fixed point property or not. I think it is so but I am not able to prove this. It certainly does not admit maps of period two without fixed points. By fixed ...
4
votes
1answer
452 views

If $f: \mathbb R^n \to \mathbb R^n$ is a contraction, then $x-f(x)$ is a homeomorphism

I am stuck in following homework question. Let $f : \mathbb R^n \to \mathbb R^n$ be a uniform contraction and $g(x) = x - f(x)$. Investigate whether $g : \mathbb R^n \to \mathbb R^n$ is a ...
11
votes
2answers
577 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 ...
8
votes
3answers
397 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 ...
1
vote
0answers
107 views

length of orbits and fixed point

Given a dynamical system $ \frac{dx}{dt}= F(x(t))$ Then is there a relationship between the Cardinal of the fixed point of the classical system $ |\operatorname{Fix}(f^{m})| $ with $ f^{m}(x)= ...
2
votes
2answers
168 views

Question about Fixed Point Theorem Hypotheses

Consider the following (less general than possible) statement of Schauder's fixed point theorem: Suppose that $X$ is a Banach space, that $B_1$ is the unit ball of $X$ and that $f: X \to X$ is a ...
5
votes
2answers
329 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 ...
1
vote
1answer
225 views

A corollary of Banach's fixed-point theorem

Can someone give me an idea how to generalize Banach's fixed-point theorem for complete metric spaces such that the constant contraction coefficient $c$ (as in $d(Tx,Ty)\leq c \ d(x,y)$ ) may be ...
4
votes
2answers
490 views

What can Lefschetz fixed point theorem tell us about the group of automorphisms of a compact Riemann surface?

Let $X$ be a compact Riemann surface of genus $g>1$, $f\in Aut(X)$, a biholomorphism of $X$ onto itself, $x\in X$ a fixed point of $f$. Since tangent map of a holomorphic map (on the real tangent ...
5
votes
2answers
591 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 ...
3
votes
2answers
856 views

Contraction mapping does not hold in metric space

Let $X=\mathbb{Q}\cap [1,2]$, i.e $X$ is the set of rational number between 1 and 2 inclusive. We can consider $X$ to be a metric space by endowing it with the usual distance function, i.e for $x,y ...
4
votes
2answers
360 views

Question regarding upper bound of fixed-point function

The problem is to estimate the value of $\sqrt[3]{25}$ using fixed-point iteration. Since $\sqrt[3]{25} = 2.924017738$, I start with $p_0 = 2.5$. A sloppy C++ program yield an approximation to within ...
10
votes
2answers
574 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 ...
3
votes
1answer
151 views

Fixed point: a consequence of symmetry?

I'm studying a dynamical system with $\mathbf{D}_{3}$ symmetry (the symmetry group of an equilateral triangle), which is given by: $\begin{align*} d\mathbf{x}_{0}/dt &= ...
7
votes
1answer
194 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 ...
3
votes
0answers
125 views

Fixed point: general case

This is the second part of the question Fixed point: linear operators. Here I would like to ask you about the general case. A lot of concepts can be described or even defined as a solution of a ...
6
votes
0answers
269 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$ ...
2
votes
3answers
353 views

Fixed point theorem

Is $|g'(x)|<1\ \forall x\in(a,b)$ is one of the hypothesis of the Fixed-Point Theorem? The answer is NO. Can someone please enlightened me about this? My teacher reason is this... Note that ...
3
votes
1answer
178 views

Brouwer FPT and solutions to a system of equations

I am trying to solve the following problem: Let f, g be continuous positive functions $\mathbb{R}^2 \to \mathbb{R}$: show that the system of equations $$(1-x^2)f^2(x,y) = x^2 g^2(x,y)$$ ...
2
votes
2answers
251 views

Brouwer's fixed point theorem in a practical setting

If we assume that a fluid is a continuum then if we have for example a cup of tea and we stir the fluid then there will be a point in the fluid that is on the same location before and after the ...
8
votes
1answer
329 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? ...
4
votes
0answers
170 views

Vector valued contraction

I am familiar with the Banach Fixed Point Theorem and I have used it to prove existence and uniqueness of functional equations in Banach spaces like $C(X)$, the space of bounded continuous function ...