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

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 ...
4
votes
1answer
116 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 ...
3
votes
2answers
146 views

On Tarski-Knaster theorem

Let $P(X)$ denote the power set of $X$ (the set of all subsets of $X$) with a partial order given by inclusion. If $F: P(X) \to P(X)$ is monotone (order preserving), then $F$ has a fixed point. How ...
3
votes
2answers
180 views

Check Points are line, triangle, circle or rectangle

How to determine geometric properties of four distinct points in a plane (x1,y1), (x2,y2), (x3,y3), (x4,y4) represented in the 2-D Cartesian coordinate system, whether these four points are on a ...
2
votes
2answers
196 views

Periodic orbits

Let $x\in\mathbb R$ be a periodic point with lenght 2 of the recursion $x_{n+1}=f(x_n)$ My book about Dynamic systems says that this recursion has a fixed point now, because a periodic point with ...
2
votes
2answers
281 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 ...
1
vote
2answers
190 views

Apply Banach's fixed point theorem

Let $$T:f\mapsto (x\mapsto \frac{2}{5}\int_0^1 (x^2+t^5)f(t) dt + \sin(x))$$ for any $x\in[0,1]$, $f\in C([0,1])$. I want to show that that there is a uniqu $\tilde{f}$ that solves that equation ...
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 ...
4
votes
3answers
234 views

Iterates of $f_b(x) = x - \log_b(x) $ - for $\log(b) \approx 0.399$: convergence to accumulation points or chaos?

In a previous question I arrived at the family of functions (depending on a real parameter b for the base of exponentiation/logarithm): $$ f(x) = x - \log_b(x) \qquad \qquad b \gt 0$$ with the ...
1
vote
1answer
39 views

Fixed Points and Graphical Analysis

For the following functions (i) find the fixed points and (ii) use the graphical analysis to determine the dynamics for all points on R: $f(x)=2sin(x)$. I have no problem finding the fixed points, ...
1
vote
3answers
374 views

Prove that $f$ has a fixed point . [duplicate]

For $f:[a,b]\rightarrow [a,b]$ is a continuous . Prove that $f$ has a fixed point . Is that true if we change $[a,b]$ by $[a,b)$ or $(a,b)$.
4
votes
1answer
278 views

In a complete lattice every monotone function has a fixpoint (Knaster–Tarski Theorem)

L is a complete lattice, so every subset has a supremum and infimum. In addition, there exists a function $f:L \rightarrow L$ such that $a \leq b$ implies $f(a) \leq f(b)$. Prove that there exists ...
4
votes
0answers
330 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
4answers
173 views

Fix-Point Theorem Proof.

Firstly, the assignment: Let $a,b \in\mathbb{R}$ and $a < b$. Furthermore let $f: [a,b] \rightarrow [a,b]$ be monotone increasing. Show that if $x:= \mathbf {sup}\{y \in [a,b] \| \ y ≤ f(y)\}$ ...
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 ...
4
votes
2answers
599 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 ...
12
votes
2answers
766 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 ...
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$ ...
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 ...
4
votes
1answer
215 views

Proof that the solution to cosx = x, is the limit of a recursive sequence.

So I've got this question. Exists a sequence $a_n$ such that: $$a_0 = \frac \pi4, a_n=\cos\left(a_{n-1}\right)$$ Prove that $\lim_{n\rightarrow\infty} a_n = \alpha$ Where $\alpha$ is the solution to ...
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!
3
votes
2answers
447 views

Proving and understanding the Fixed point lemma (Diagonal Lemma) in Logic - used in proof of Godel's incompleteness theorem

http://en.wikipedia.org/wiki/Diagonal_lemma I am wondering about the proof of the "Fixed-Point Lemma" $\text{Mod } \Sigma$ is the class of all models of $ \Sigma$. $\text{Th Mod } \Sigma$ is the set ...
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 ...
4
votes
1answer
47 views

Is this a valid way to show $\chi(SL_n(\mathbb{R}))=0$?

Why does $\chi(SL_n(R))=0$? I'm going about it like this. Let $X:=SL_n(R)$. Define a map $f:X\to X$ such by $A\mapsto BA$, where $B$ is the identity matrix, except with an extra $1$ in the upper ...
4
votes
1answer
117 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
543 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 ...
3
votes
1answer
39 views

Brouwer transformation plane theorem

Can somebody show that BPTT, version 2 is deduced from BPTT, version 1 [BPTT, version 1] Let $h$ be a fixed point free orientation preserving homeomorphism of $\mathbb{R}^2$ Every point ...
2
votes
1answer
112 views

Every increasing function from a certain set to itself has at least one fixed point

I need a hint for the following question: Let $S$ be a nonempty ordered set such that every nonempty subset $E\subseteq S$ has both a least upper bound and a greatest lower bound. Suppose $f:S ...
2
votes
1answer
45 views

Question about fixpoints and zero's on the complex plane.

Define property $A$ for an entire function $f(z)$ as $1)$ $f(z)=0$ has exactly one solution being $z=0$ $2)$ $f(z)=z$ has exactly one solution $=>z=0$ (follows from $1)$ ) $3)$ $f(z)$ is not a ...
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
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
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 ...
4
votes
2answers
166 views

Prove the Contraction Mapping Theorem.

Prove the Contraction Mapping Theorem. Let $(X,d)$ be a complete metric space and $g : X \rightarrow X$ be a map such that $\forall x,y \in X, d(g(x), g(y)) \le \lambda d(x,y)$ for some ...
4
votes
0answers
184 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 ...
4
votes
1answer
571 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 ...
3
votes
2answers
121 views

Confused about a version of Schauder's fixed point theorem

I have read this: We have a map $S:W_0 \to W_0$. Moreover $W_0$ is not empty, convex, and weakly compact in $W$. Thus we can apply Schauder's fixed point theorem: Schauder's fixed point ...
3
votes
2answers
313 views

Using the Banach Fixed Point Theorem to prove convergence of a sequence

Use the Banach fixed point theorem to show that the following sequence converges. What is the limit of this sequence? $$\left(\frac{1}{3}, \frac{1}{3+\frac{1}{3}}, ...
2
votes
0answers
47 views

Fixed-Points Limit Set

Let $f : \mathbb{R}^n \rightarrow X$ be continuous and $X \subset \mathbb{R}^n$ be compact and convex. For all $p \in \mathbb{R}$, consider $A_p \in \mathbb{R}^{n \times n}$, with $p \mapsto A_p$ ...
2
votes
0answers
53 views

How to use the COUNTING THEOREM to determine patterns? [duplicate]

This question tests your understanding of the Counting Theorem. A flower has 6 identical petals, equally spaced. Each petal is to be coloured either red or yellow. Use the Counting Theorem to ...
2
votes
4answers
143 views

Proving $\displaystyle\lim_{n\to\infty}a_n=\alpha$ $a_1=\frac\pi4, a_n = \cos(a_{n-1})$

Let $a_1=\frac\pi4, a_n = \cos(a_{n-1})$ Prove $\displaystyle\lim_{n\to\infty}a_n=\alpha$. Where $\alpha$ is the solution for $\cos x=x$. Hint: check that $(a_n)$ is a cauchy ...
2
votes
3answers
203 views

Where does the iteration of the exponential map switch from one fixpoint to the 3-periodic fixpoint cycle?

In the answering of another question in MSE I've dealt with the iteration of $x=b^x$ where the base $b=i$. If I reversed that iteration $x=log(x)/log(i)$ then I run into a cycle of 3 periodic ...
2
votes
3answers
189 views

Is this function necessarily a contraction?

If $(X, d)$ is a compact metric space satisfying $d(f(x), f(y)) < d(x, y)$ for all $x, y \in X$ such that $x \ne y$, is $f$ necessarily a contraction? I know an analogue of the Banach Fixed Point ...
2
votes
1answer
174 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!
2
votes
3answers
501 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?
1
vote
3answers
66 views

why do we take this interval?

I am looking at an exercise,where given that $a_{n}=\sqrt{2+\sqrt{2+...+\sqrt{2}}}$,I have to show that $\lim_{n \to \infty}a_{n}=2$. We find that $a_{0}=0,a_{1}=\sqrt{2},a_{2}=\sqrt{2+a_{1}} \text{ ...
1
vote
1answer
87 views

If $T^n$ is $q$-contractive, $T$ exactly has one fixed point

Consider a complete metric space $(X,d)$ and $T\colon X\to X$. Suppose there exists $n\in\mathbb{N}$ such that the n-th power of $T$ is $q$-contractive. Show that then $T$ has exactly one ...
1
vote
3answers
311 views

Prove the sequence $x_n = \frac{x_{n-1}}{2}+\frac{A}{2x_{n-1}} \rightarrow \sqrt{A}$ as $n \to \infty$

Show that if A is any positive number, then the sequence defined by: $$x_n = \frac{x_{n-1}}{2}+\frac{A}{2x_{n-1}}$$ for any $n \geq 1$ converges to $\sqrt{A}$ whenever $x_0 > 0$.
1
vote
0answers
137 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 ...
0
votes
0answers
71 views

System of differential equations, phase portraits

Consider the system of differential equations: $$x'=y-x^2$$ $$y'=x-y$$ a. Determine the fixed points. So setting both equation equal to 0, I get: $y=x^2$ and $x=y$ So the only fixed points would ...
0
votes
0answers
35 views

What Projections preserve Pseudocontractiveness?

Let $f: \mathbb{R}^n \rightarrow \mathbb{R}^n$ be a pseudocontraction, i.e., $$ \left\| f(x) - f(y) \right\|^2 \leq \left\| x-y\right\|^2 + \left\| f(x) - f(y) - (x-y) \right\|^2 $$ for all $x,y \in ...