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

0
votes
1answer
80 views

Is antipodal symmetry really necessary for Tucker's Lemma?

Tucker's Lemma is here. Let's stay within the 2D case for now. A standard proof is constructive: (1) Pick an arced edge on the boundary of the circle. Note its labeling (for example, (1, 2)). (2) ...
8
votes
3answers
527 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 ...
7
votes
2answers
343 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 ...
5
votes
2answers
327 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 ...
1
vote
3answers
170 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 ...
1
vote
1answer
50 views

Name a stable output of a function taking 2 arguments

$\mathbb{C}$ is a fixed finite set, a fair chaotic sequence $(c_n \in \mathbb{C})$ is defined such that $\forall c \in \mathbb{C}, \exists n_0 \in \mathbb{N}, n > n_0 \wedge c_n = c$. That means ...
1
vote
3answers
353 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
1answer
107 views

Fixed Point Iteration and contraction principle.

So I have this function $g(x$) which is continuously differentiable on some domain in $R$ such that there exists a value $c$ with $|g'(c)| \lt 1$ and $g(c)=c$ i.e. the fixed point. I have already ...
6
votes
2answers
630 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
1answer
165 views

Iteration of $x/\log x$

Consider $f(x)= \frac{x}{\log x}$ iterated n times for given x in $Z^+.$ $f^2 = f \circ f.$ Let $x_1 = x^2.$ What I would like to show (or disprove) : $\exists ~\alpha = x_n - e > 0 $ such ...
1
vote
1answer
322 views

Lipschitz condition on nonlinear ODE

Suppose we have the ODE $$x''=-a\sin{x}.$$ Then let $$x'=y$$ and $$y'=-a\sin{x}.$$ So $$\mathbf X = \begin{pmatrix} y \\ -a\sin{x} \end{pmatrix}.$$ Im confused about how to show a Lipschitz ...
8
votes
2answers
217 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 ...
3
votes
1answer
90 views

Brouwer's fixed point theorem for infinite dimensional real space in subsystems of second order arithmetic

$\text{WKL}_0$ proves Brouwer's fixed point theorem for continuous functions on $\lbrack 0,1 \rbrack^n$, when $n$ is finite. What subsystem of second order arithmetic is needed to prove Brouwer's ...
1
vote
1answer
67 views

Show the following using fixed point theorem

Show that if A is s pxp real matrix such that $||I_p-A|| <1$, then for any choice of b$\in\mathbb{R}^p$ and $u_0\in\mathbb{R}^p$ the vector $u_{n+1}=b+(I_p-A)u_n$ converge to a solution x of the ...
1
vote
2answers
134 views

Show that a function $f(x)$ maps to a set of points.Fixed point theorem

Show that the function $f(x)=\frac{1+x^2}{2}$ maps the set of points $0\leqslant x\leqslant 1$ into itself and has a fixed point in that interval even though there does not exists a positive ...
4
votes
2answers
325 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
192 views

The equation $2 \cosh(3.1786803659501505 z) = z$?

Let $a$ be a positive real number and $z$ a complex number. I was wondering about the equation $2 \cosh(a z) = z$ where we solve for $z$. Clearly if $z$ is a solution than so is its conjugate. It ...
2
votes
3answers
217 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 ...
3
votes
1answer
93 views

$x_{n+1}=\frac{2x_n+3f(x_n)}{5}$ showing $f$ has a fixed point

Let $f: \Bbb{R} \rightarrow \Bbb{R}$ be a differentiable function , and suppose that there is a constant $A<1$ such that $|f'(t)|\le A$ for all real $t$. Define a sequence $\{x_n\}$ by $ ...
4
votes
1answer
154 views

fixed-point iteration

Are there functions $f$ of one real variable $x\in X$ that are not contracting maps on the set $X$ but for which, given the starting point $x_0$, the fixed-point iteration $x_n=f(x_{n-1})$, for ...
2
votes
2answers
172 views

does it have unique fixed point?

$p:C[0,1]\rightarrow C[0,1]$ defined by $p(f(x))=\int_{0}^{x} (x-t)f(t)dt$, well, I am getting all constant functions are fixed points, but the answer says that it has unique fixed point. I got ...
2
votes
1answer
219 views

Homotopy equivalence an retractions

I have some questions about homotopy. Before starting here a definition: A topological space $X$ is called contractible if $X$ is homotopy equivalent with a one-point-space Suppose $X$ a toplogical ...
2
votes
1answer
181 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} ...
2
votes
3answers
202 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 ...
7
votes
1answer
338 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 ...
2
votes
2answers
83 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 ...
4
votes
1answer
235 views

Can a finite group act freely (as homeomorphisms) on $R^n$

And what for a single finite order element $f$, i.e. $f:R^n\rightarrow R^n$ is a homeomorphism such that $f^d=id_{R^n}$, must $f$ have a fixed point?
7
votes
1answer
145 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 ...
1
vote
3answers
125 views

Let $0 \leq \alpha < 1$ and let f be a function from $\mathbb{R} $ into $\mathbb{R}$ which satisfies…

Let $0 \leq \alpha < 1$ and let f be a function from $\mathbb{R} $ into $\mathbb{R}$ which satisfies $$ | f(x) - f(y)| \leq \alpha|x-y| \; \forall x,y \in \mathbb{R}.$$ Let $a_{1} \in \mathbb{R}$ ...
6
votes
2answers
167 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 ...
4
votes
1answer
227 views

Understanding the Banach fixed point theorem

The Banach fixed point theorem is stated in my book (Applied Asymptotic Analysis by Miller) as Let $\mathcal B$ be a Banach space with norm $\|\cdot\|$. Let $X$ be a nonempty bounded subset of ...
0
votes
2answers
122 views

Question on fixed point

I had some trouble to approach the question above. Especially (2) and (3). I appreciate if you can help!
3
votes
1answer
410 views

Convergence of fixed-point iteration for convex function

Let $f:[0,1]\to[0,1]$ be a smooth, convex (downward) function satisfying $$ f(0)=f(1)=1,\quad \lim_{x\to 0}f'(x)=-\infty,\quad \lim_{x\to 1}f'(x)=+\infty. $$ I am confident to be able to argue that ...
3
votes
2answers
276 views

fixed point of homeomorphism and compactness of a complete metric space.

I need to know that the following statements if true or false: Every homeomorphism of $S^2\rightarrow S^2$ has a fixed point. Let $X$ be a complete metric space such that distance between any two ...
1
vote
1answer
85 views

Orbit of $\frac{1}{2}$ of the dynamical system defined by $f:[0,1] \to [0,\frac{3}{4}]$ where $f(x)=3x(1-x)$ converges.

I view the orbit of $\frac{1}{2}$ of the dynamical system defined by $f:[0,1] \to [0,\frac{3}{4}]$ where $f(x)=3x(1-x)$ as the sequence $(x_{n})$. So $$x_n = \frac{1}{2}, f\bigg(\frac{1}{2}\bigg), ...
4
votes
2answers
601 views

Brouwer's fixed point theorem for free?

I think I found a proof of Brouwer's fixed point theorem which is much simpler than any of the proofs in my books. One part is standard: Suppose there is an $f:D^n \rightarrow D^n$ with no fixed ...
1
vote
1answer
192 views

The wedge sum of two circles has fixed point property?

The wedge sum of two circles has fixed point property? I'm trying to find a continuous map from the wedge sum to itself, that this property fails, I couldn't find it, I need help. Thanks
0
votes
2answers
572 views

Find all the fixed points of the system $f(x,y)=-x+x^3, g(x,y)=-2y$ and use linearization to classify them.

Find all the fixed points of the system $f(x,y)=-x+x^3, g(x,y)=-2y$ and use linearization to classify them. I have found the solutions to be : $x = 0$ or $x = ±1$ and $y = 0 \implies 3$ fixed points ...
2
votes
1answer
115 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 ...
1
vote
1answer
99 views

Fixed Points of a system of diff.equations

I have $f'_1(t)=-af_1(t)f_2(t)+bf_3(t)$ $f'_2(t)=f_1(t)$ $2f'_3(t)=-f_1(t)$ How is it possible to evaluate fixed points of this system of equations and afterwards the stability of these points. I ...
2
votes
2answers
214 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 ...
1
vote
2answers
205 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 ...
1
vote
1answer
106 views

about fixed point set?

let $K$ be a closed convex subset of a normed space $V$. For any $f: K \to K$ define the fixed-point set of $f$ as follows: $fix(f)=\{x$ belongs to $K$ $|f(x)=x \}$. I have to show that a nonempty ...
4
votes
1answer
224 views

Fixed Point of a complex dynamical spiral system

Last semester I finished my first class on complex variables and of course we had to show that $i^i$ was real. That got me wondering about quantities like $i^{i^i}$ and similar power towers. For my ...
2
votes
0answers
109 views

Conjecture on continuous selection of fixed points of a correspondence

I have the following conjecture to show some sort of a continuous selection of fixed points in a correspondence: Let $S$ and $\Theta $ be non-empty, compact and convex subsets of some Euclidean space ...
1
vote
1answer
84 views

Finding the fixed point

Trying to solve this question, got this answer but have a gut feeling that this might not be the way to do it, by the way this topic is related to fixedpoints The solution that I came up with
3
votes
2answers
334 views

Some homework questions about a Lipschitz function (cauchy sequence)

Do you want to help me with my homework? The exercise is as follows: Consider a Lipschitz function, $h:\mathbb{R}\rightarrow\mathbb{R}$, satisfying for every $x, y$: $$\left| h(x)-h(y) \right| ...
2
votes
2answers
106 views

Distance between fixed points of functions

I'm trying to bound the distance of fixed points of two functions assuming there's some bound on the distance between the functions. Specifically, assume $f_1, f_2:[0,1] \rightarrow [0,1]$ are two ...
2
votes
3answers
64 views

Squaring modulo n — is there a systematic way to generate the fixpoints?

The natural function $$f_k(n) = n^2 \bmod k,\quad f_k(n) \in [0;k-1]$$ has at least the fixpoints $n\in\{0;1\}$ for each $n$, but for some $k$ there are other fixpoints. For instance, $f_{100}$ has ...
0
votes
1answer
63 views

IVP- Has at most one solution

Suppose $f(t, x)$ is nonincreasing with respect to $x$ for all $t \geq 0$ and $x \in \mathbb{R}$. Prove that the IVP problem $$ \left\{ \begin{array}{l} x'(t)=f(t,x) \\ x(t_0)=x_0 \end{array} \right. ...