Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [fixed-point-theorems]

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) etc.

6
votes
2answers
877 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!
5
votes
2answers
197 views

Contractive Operators on Compact Spaces

Suppose that $T: M \to M$ is a compact contractive Operator on a nonempty compact subset $M$ of a complete metric space $X$. Show that $T$ has a unique fixed point. Further show that the sequence ...
4
votes
1answer
199 views

Fixed points of polynomial ring homomorphism

$S=\mathbb R[x+y+z, xy+yz+zx, xyz]$ is the ring of the symmetric polynomials in $\mathbb R[x,y,z]$. Let $\psi\colon S \to R[x,y,z]$ be a ring homomorphism such that \begin{align} x &\mapsto -x,\\...
4
votes
1answer
671 views

Every 1-Lipschitz function in the closed unit ball has a fixed point

I'm currently trying to solve the following exercise: Let B be the closed unit ball in $\mathbb R^n$ together with the euclidean metric. Show that every 1-Lipschitz function $f:B\to B$ has a fixed ...
2
votes
1answer
962 views

What are the conditions for a compact, convex set to be homeomorphic to the closed unit ball in the plane?

A generalization of Brower's fixed point theorem says that any continuous map from compact, convex set in the plane $K$ to itself, $f:K \to K$, must have a fixed point. It is easy to see that any set ...
9
votes
2answers
1k 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 ...
8
votes
1answer
4k views

Blackwell's condition for a contraction: Why is boundedness neccessary?

I'm trying to understand the proof that certain operators $T$ are a contraction if they fulfill Blackwell's sufficient conditions. In particular, I try to understand why the operator $T$ has to map ...
7
votes
1answer
279 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
2answers
639 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
2answers
210 views

If two continuous maps of an interval commute, then they agree at some point

Let $f,g:[0,1] \rightarrow [0,1]$ be continuous functions such that $f\circ g =g\circ f$. Prove that there exists $x \in [0,1]$ such that $f(x)=g(x)$
5
votes
1answer
526 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
1answer
232 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 ...
2
votes
2answers
828 views

What kinds of functions have fixed points?

Among continuous functions, can we characterize those which have fixed points and those which do not? Geometrically, these are the functions that intersect the line $f(x) = x$. Is that the most ...
2
votes
1answer
315 views

Mandelbrot set: periodicity of secondary and subsequent bulbs as multiples of their parent bulbs

In the Mandelbrot set, all points of the main carodioid are asymptotic (that is, the iterations of c^2 + c approach a constant). In contrast, it seems that all bulbs have a periodicity greater than 1, ...
8
votes
1answer
475 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
1k 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 ...
6
votes
0answers
2k 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 ...
6
votes
1answer
614 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 ...
5
votes
2answers
813 views

Prove that a function is contractive

I'm stuck with the following. I need to prove that in $D:=[0,1]\times[0,1]$ the function $F$ is contractive, where $F:\mathbb{R}^2\rightarrow\mathbb{R}^2$ is defined as: \begin{align} F(x,y):=(\frac{...
4
votes
3answers
134 views

Prove $(x_n)$ defined by $x_n= \frac{x_{n-1}}{2} + \frac{1}{x_{n-1}}$ converges when $x_0>1$

$x_n= \dfrac{x_{n-1}}{2} + \dfrac{1}{x_{n-1}}$ I know it converges to $\sqrt2$ and I do not want the answer. I just want a prod in the right direction. I have tried the following and none have ...
4
votes
1answer
108 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
2answers
1k 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 $0<\...
4
votes
2answers
455 views

Showing that a function $f$ has a unique fixed point in a metric space.

Let $(X, d)$ be a compact metric space, and suppose $f : X → X$ satisfies $$d(f(x), f(y)) < d(x, y)$$ for all $x \neq y \in X$. Show that f has a unique fixed point. All I've gotten it so far ...
4
votes
1answer
1k 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
2k views

Brouwer's fixed point theorem (for unit balls) and retractions

Let $X$ be a generic Banach space over $\mathbb R$ (also infinite dimensional), and let $B$ be the unit ball in $X$. I want to prove that the following proposition $B$ is a fixed-point space if ...
3
votes
1answer
329 views

Use the Contraction Mapping Principle to show that $x=\frac19\sin\left(3x\right) + \sqrt{x}$ has exactly one solution $x\geqslant\frac{8}{9}$

Use the Contraction Mapping Principle to show that $x=\frac19\sin\left(3x\right) + \sqrt{x}$ has exactly one solution $x\geqslant\frac{8}{9}$. I have literally no idea if this is right, please could ...
3
votes
1answer
72 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 $m\in\mathbb{...
3
votes
1answer
202 views

Convergence of a recursively defined sequence

Let a sequence $(a_n)_{n=0}^\infty$ be defined recursively $a_{n+1} = (1-a_n)^{\frac1p}$, where $p>1$, $0<a_0<(1-a_0)^{\frac1p}$. Let $a$ be the unique real root of $a=(1-a)^{\frac1p}$, $0<...
2
votes
4answers
197 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 sequence ...
2
votes
1answer
518 views

Brouwer's fixed-point theorem and the intermediate value theorem?

In one dimension, Brouwer's fixed-point theorem (BPFT) can be proved easily based on the Intermediate Value Theorem (IVT). Is the inverse also true? I.e, is it possible to prove the IVT directly from ...
2
votes
4answers
1k views

Fixed point iteration convergence of $\sin(x)$ in Java [duplicate]

Is it mathematically correct to say that $\sin(x)$ converges to zero as $x$ approaches $0$? If the $\sin(x)$ iteration is done starting at $\dfrac{\pi}{2}$ in Java, for $10^9$ iterations, the result ...
2
votes
1answer
54 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 ...
1
vote
1answer
1k views

Suppose $f(z)$ is analytic in the closed unit disc…

Suppose $f(z)$ is analytic in the closed unit disc and $$|f(z)|<1 \quad \text{for} \quad |z|=1$$ Show that $f(z)$ has one and only one fixed point; that is, there exist a unique point $z_0$ in the ...
1
vote
3answers
106 views

A question about fixed points and non-expansive map

Let $$K=\{x=(x(n))_n\in l_2(\mathbb{N}):\|x\|_2\le 1\ \text{ and } x(n)\ge 0 \text{ for all } n\in \mathbb{N} \}$$ and define $T:K\to c_0$ by $T(x)=(1-\|x\|_2,x(1),x(2),\ldots)$. Prove : (1) $T$ is ...
1
vote
4answers
464 views

Fix point of $L:S^2\rightarrow S^2$

Let $L:S^2\rightarrow S^2$ be a bijective continue map. Is there exists $L$ such that $\forall x\in S^2 \Rightarrow Lx\neq x$ and $Lx\ne -x$? I mean that whether $L$ must have fix point? In fact ...
1
vote
1answer
386 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
0answers
245 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 $...
1
vote
3answers
913 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$.
0
votes
1answer
103 views

Show that $|T(x) - T(y)| \lt |x-y|$ when $x \neq y$ but the mapping has no fixed points.

Consider $X = \{ x \in \mathbb{R} \mid 1 \le x \lt \infty \}$, taken with the usual metric of the real line, and $T \colon X \to X$ defined by $x \mapsto x +x^{-1}$. Show that $|T(x) - T(y)| \lt |x-y|$...
0
votes
1answer
103 views

Identify $\sum\limits_{n=0}^\infty \left(x_n-L\right)$ where $x_{n+1}=\sqrt[3]{1+x_n}$ and $L^3=L+1$

Let $x>2$ and let $f(x) = \sqrt[3] {1 + x}$. Let $f^n(x)$ be the $n$ th iterate of $f(x) $. Let $ L $ be the positive fixpoint of $ \sqrt[3] { 1 + x}$: the plastic constant. See http://...
0
votes
1answer
124 views

Banach fixed-point theorem for a recursive functional equation

I was asked to prove that the functional equation $$ x(t) = \begin{cases} \frac{1}{2} x(3t) + \frac{1}{2},& 0 \leq t \leq \frac{1}{3}\\\ f(t), & \frac{1}{3} < t\leq \frac{2}{3}\\\ \frac{1}{...
-1
votes
1answer
81 views

Uniformly convex implies strictly convex [closed]

How to prove Uniformly convex implies strictly convex
9
votes
0answers
1k 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$ ...
8
votes
2answers
2k 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 is ...
5
votes
0answers
382 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 $f:...
4
votes
0answers
107 views

Fixed points of an endomorphism of a ring

Let $R$ be a commutative $k$-algebra, where $k$ is a field of characteristic zero. Let $f$ be a $k$-algebra endomorphism of $R$. ($f$ is not assumed to be either injective nor surjective). Are ...
4
votes
1answer
118 views

A technical step in the proof of Atiyah-Bott fixed point formula

From John Roe, Elliptic operators, topology and asymptotic methods, page 135. Here Roe tried to prove that $$ \DeclareMathOperator{\Tr}{Tr} \sum_{q}(-1)^{q} \Tr(Fe^{-t\bigtriangleup})=L(\zeta,\...
3
votes
1answer
163 views

No clear analytic method to prove unique maximum? ($2^{-x}+2^{-1/x}$)

Prove that $f(x) = 2^{-x}+2^{-1/x}$ has the unique local maximum $(1,1)$ for $x>0$. Do not use computer software. Proving that $(1,1)$ is a maximum is easy, but I'm having trouble with the ...
3
votes
3answers
290 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
1answer
55 views

For what $x$ does $g(x)$ converge to a fixed point?

Show that the iteration: $x_{k+1}=2x_k-αx_{k}^2$ where $α > 0$ converges quadratically to $\frac{1}{α}$ for any $x_0$ such that $0 < x_0 < \frac{2}{α}$. I have been able to prove that it ...