# 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.

1,420 questions
Filter by
Sorted by
Tagged with
1answer
225 views

### Role of determinant of the matrix of any Homology group.

I was thinking about the proof of the Lefschetz's Fixed point theorem and the ingeniuty of the Hopf's Trace formula, i.e. associating the trace of the matrix for deciding about the fixed points. Now ...
2answers
463 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 ...
1answer
124 views

### Fixed point in a metric space with distance at most 1

The question is: Suppose that $X$ is a complete metric space such that the distance function is at most 1, and $f:X\rightarrow X$ is such that $d(f(x),f(y))\le d(x,y)−1/2(d(f(x),f(y)))^2$. Prove that ...
2answers
972 views

### How to find fixed point

I have recurrence equations of \begin{align*} x_{n+1} &:= 0.5\cdot (x_{n}^2+2\cdot y_{n}-2\cdot x_{n}\cdot y_{n}-2\cdot y_{n}^2) \\ y_{n+1} &:= -0.8\cdot (x_{n}^2+2\cdot y_{n}-2\cdot x_{n}\...
1answer
313 views

### Getting a root of a continuously differentiable function by Banach's Fixed Point Theorem.

Banach Fixed Point Theorem: Consider a metric space $X = (X, d)$, where $X\neq \varnothing$. Suppose that $X$ is complete and let $T: X \to X$ be a contraction on $X$. Then $T$ has precisely one fixed ...
1answer
72 views

1answer
284 views

### Fixed point of a non linear contraction in a convex set

Hi I'm stuck on the following problem of Haim's functional analysis book. Let $C\subseteq H$ ($H$ a Hilbert space) be a non-empty closed convex subset and let $T:C\rightarrow C$ be a non linear ...
2answers
540 views

1answer
556 views

0answers
451 views

### On the Proof of the Perron-Frobenius Theorem.

The Perron-Frobenius theorem states that a square matrix with nonnegative entries has a real nonnegative eigenvalue. One possible proof uses the Brouwer fixed point theorem, and every proof I've seen ...
1answer
466 views

### upper semi-continuity of a multi-valued function $T$ and lower semi-continuity of $d(x,T(x))$

Let $(X,d)$ be a complete metric space, $CB(X)$ the set of closed and bounded subsets of $X$, and $T:X\rightarrow C(X)$ be a multi-valued function. How can you prove this: If $T$ is upper semi-...
5answers
1k views

4answers
235 views

### Banach Contraction mapping of $\Phi(f)(x)=\int_0^x \frac{1}{1+f(t)^2}dt$ , find a fixed point.

Let $(X,d)$ be metric space with $d(f,g)=\sup |f(x)-g(x)|$ where $X$ is the set of continuous function on $[0,1/2]$. Show $\Phi:X\rightarrow X$ $$\Phi(f)(x)=\int_0^x \frac{1}{1+f(t)^2}dt$$ has a ...
2answers
2k views

### Contradict the Contraction Mapping Theorem

I am trying to show that the function $f(x) = 2\pi+x-\tan^{-1}x$ is contractive but has no fixed points. Finally I wish to conclude that it does not contradict the contraction mapping theorem. $f$ is ...
3answers
477 views

### Where should I begin the study of fixed point theory, especially of multi-valued maps?

How should one begin one's study of fixed point theory, especially of multi-valued maps? What background --- in topology, analysis, functional analysis, algebra, and set theory --- should one have? ...
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 ...
3answers
409 views

### Limit of a sequence of fixed points also a fixed point?

Suppose I have a continuous function $f : [0,1]^n \rightarrow [0,1]^n$ (maybe $n$ is infinite). Suppose I have a sequence $\{a_n\}_{n=1}^\infty$ of points in $[0,1]^n$ where each $a_n$ is a fixed ...
3answers
715 views

### Continuous function with no fixed point

I am searching an example of a continuous function $f: [0,1) \to [0,1)$ but f has no fixed point, that is, there is no point $x_0 \in [0,1)$ such that $f(x_0)\not= x_0 \forall x_0$.
2answers
106 views

### a fixed point theorem

A hiker starts to climb up from base B to the summit S on sat 6am one day,spends the night at S and starts to climb down at 6am the next day.Prove that there is a point on the path B-S (there is only ...
3answers
741 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 ...
3answers
127 views

### Proving $\sqrt{n}(x_n)$ converges when $x_n = \sin(x_{n-1}), x_1=1$ [duplicate]

This is a problem that showed up on a qual exam that I have been stuck on for a while. Let $$x_n = \sin(x_{n-1}), x_1 = 1$$ Prove $\lim_{n \rightarrow \infty} \sqrt{n} x_n$...
3answers
330 views

### Prove that $f:[0,1] \to [0,1]$ has a fixed point

Let $f:[0,1] \to [0,1]$ such that $f$ has lateral limits at any point, is continuous at $0$ and $1$ and $$\lim_{t\nearrow x}f(t) \leq f(x) \leq \lim_{t \searrow x}f(t), \forall x \in (0,1)$$ Prove ...
4answers
999 views

### Prove that the equation $\cos x - x -1/2 = 0$ has a unique real solution

Prove that the equation $\cos x - x -1/2 = 0$ has a unique real solution. My solution: I was starting with a function $F(x) = \cos x - 1/2$ and the interval $[0,\pi/4]$ and trying to show that the ...
1answer
510 views

### If $d(f(x), f(y)) \leq kd(x, y)$ for all $x, y \in X$. Then $f$ is continuous and has exactly one fixed point

Let $d$ be a complete metric for $X$. Let $f: X \to X$ be a function. Suppose there is a number $k$, with $0 < k < 1$, such that $d(f(x), f(y)) \leq kd(x, y)$ for all $x, y \in X$. Then $f$ is ...
3answers
887 views

1answer
326 views

### Fixed point theorem on graphs?

I have a graph $G=(V,E)$ where to each vertex $v$ I have associated a value, $\hat{v}$ (ie I have a "network" in the terminology here http://snap.stanford.edu/snap/index.html ). Let \$\phi : \hat{V} \...