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

2
votes
1answer
48 views

Does Particular Point Topology has Fixed Point Property?

A Particular Point Topology is not compact, is path-connected but what about Fixed Point Property? Does it have fixed point property? If so how? I have been told that it should have Fixed Point ...
1
vote
1answer
94 views

Brouwer Fixed Point Theorem $f(S^1)\subset B$

I have a question about the Brouwer Fixed Point Theorem: Theorem 1.(Brouwer Fixed Point Theorem) Let $B=\{x\in \mathbb R^2 :∥x∥≤1\}$ be the closed unit ball in $\mathbb R^2$ . Any continuous ...
1
vote
2answers
56 views

Prove that a real variable function that satisfies certain conditions has a fixed point.

Let $f: \mathbb R \to \mathbb R$ be a differentiable function such that $f(0)=1$ and $|f'(x)|<\dfrac{1}{2}$. $i)$ Prove that there exists $x_0 \in [0,2] :f(x_0)=x_0$. $ii)$ Let ...
2
votes
1answer
82 views

Application of fixed point theorem in $R^n$

Let $A=(a_{ij}) \in \mathbb R^{n \times n}$ a matrix such that $|a_{ij}|<\frac{1}{n}$ for every $i,j$. Prove that $I-A$ is invertible. My attempt at a solution: $I-A$ is invertible $\iff$ ...
1
vote
1answer
232 views

Function iteration and intervals of attraction for fixed points

I am currently studying iteration sequences and I am a bit hung up on one specific bit which involves determining intervals of attraction of fixed points. I've been given a graphical method to ...
2
votes
1answer
115 views

Proving a particular function is surjective on a Banach space.

Let $(E,\|x\|)$ and let $f: E \to E$ such that $f+Id$ is a contraction ($Id$ is the identity map). Prove that $f$ is surjective and prove that, if $f$ is linear, then $f$ is a homeomorphism. The ...
2
votes
2answers
559 views

Must a holomorphic function from $D(0,1)$ to $D(0,1)$ have a fixed point?

Must every holomorphic function $f:D(0,1)\longrightarrow D(0,1)$ have a fixed point? I know that any holomorphic function with two fixed points is the identity: $f=Id$, but I can't find out an ...
1
vote
1answer
40 views

Two indexes $c$ and $b$, such that $Dom(\varphi_a)=\{b\}$ and $Dom(\varphi_b)=\{c\}$

Problem: Assume $\{\varphi_i\}_{i=1}^\infty$ is an effective enumeration of the computable functions. Find two indexes $c$ and $b$, such that $Dom(\varphi_c)=\{b\}$ and $Dom(\varphi_b)=\{c\}$. ...
1
vote
1answer
132 views

Fixed point in plane transformation.

Some one give me a idea to solve this one. It's a problem from Vladimir Zorich mathematical analysis I. Problem 9.c from 1.3.5: A point $p \in X$ is a fixed point of a mapping $f:X \to X$ if ...
1
vote
1answer
76 views

Fixed point iteration for $\sqrt[3]{a}$

So I'm given the scheme for computing $\sqrt[3]{a}$ $$x_{k+1}=px_k + \frac{qa}{x_k^2} + \frac{ra^2}{x_k^5}$$ and I have to find the p, q, and r so that this scheme is as fast as possible. Any hints ...
0
votes
2answers
73 views

Number of Fixed points of an odd degree polynomial

Let $p(x)$ be a polynomial of degree $2n+1$ with real coefficients. then $p(x)$ has (I) exactly $2n+1$ fixed points (II) at least one fixed point (III) at most one fixed point (Iv) $n$ fixed ...
3
votes
1answer
97 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 ...
3
votes
0answers
82 views

Reference request: generalized Lefschetz-Hopf fixed point theorem

Let $X$ be a smooth projective variety over $\mathbb{F}_p$. A basic (and very important) theorem is that we have equality $$ \# X(\mathbb{F}_{p^n}) = \sum_{i=0}^{2\dim X} (1)^i ...
2
votes
0answers
92 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 ...
4
votes
0answers
113 views

Showing a sequence $x_{n+1} = Tx_n$ forms a contraction mapping

I want to show that the sequence given by $$x_{n+1} = Tx_n = x_n-\frac{(x_n^2-2)}{x_n+x_{n-1}}$$ forms a contraction mapping. That is $$|Tx_1-Tx_2|\leq c|x_1-x_2|.$$ Where $c$ is to be determined. I ...
3
votes
2answers
82 views

Continuous mapping on unit ball such that $T(\Bbb x_0)=0$

got a question from a course in functional analysis. " Let $T:\{\Bbb x\in\Bbb R: ||\Bbb x||\leq 1\}\to\Bbb R^n$ be a continuous mapping. Moreover assume that $\langle T(\Bbb x),\Bbb x\rangle>0$ ...
0
votes
1answer
82 views

Is $f : [0,\infty]\rightarrow [0,\infty]$ which is continuous and bounded has a fixed point

Question is to check if : $f : [0,\infty]\rightarrow [0,\infty]$ which is continuous and bounded has a fixed point. I have first of all considered boundedness. So, $f(x)$ should not have $x$ as ...
0
votes
1answer
37 views

Is it possible to show that the Gaussian is a fixed point of the Fourier transform using a fixed point theorem?

We know that $\text{exp}(-\alpha |x|^2)$ is a fixed point for the unitary Fourier transform if $\text{Re } \alpha > 0$. Is it possible to show this using a fixed point theorem?
30
votes
2answers
694 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 ...
1
vote
0answers
81 views

Does my fixed point proof hold?

I have am looking for existence of a fixed point for an operator that I have. I already looked at some related fixed point theorems such as Schrauder's and Rothe's. But most of them seem to require ...
2
votes
0answers
64 views

Proving $\frac{k-1}{k}$ is an attractor of the logistic map $kx(1-x)$.

Consider the logistic map $f(x) = kx(1-x)$ defined on $\mathbb{R}$. We already know $\frac{k-1}{k}$ is a fixed point of $f$, but my issue is showing it's an attractor when $k \in [1,3]$. There is an ...
2
votes
1answer
91 views

Questions about $\ln(z)$ recurrence and fixed points.

Define property $A_R$ for an analytic function $f(z)$ as $1)$ $f(z)=0$ has exactly one solution being $z=0$ for $|z|<R$ where $R$ is a radius. And $f(z)$ is analytic within the radius $R$ ...
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 ...
4
votes
1answer
277 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 ...
1
vote
0answers
80 views

Importance of Banach fixed point in mathematics

I know the proof of Banach fixed point theorem in complete metric space and two example of it. It is useful to prove Picard's theorem on existence and uniqueness of ordinary differential equation. In ...
0
votes
1answer
79 views

Fixed point of matrix

Suppose that $a$ is a fixed point of matrix $A$, what that means? What is a fixed point of matrix? Thank you!
0
votes
1answer
39 views

How to decide if these two maps are proper?

We define a mapping $f$ of a topological space $X$ into a topological space $Y$ to be proper if the subspace $f^{-1}(C)$ is compact in $X$ whenever $C$ is a compact subspace of $Y$. Now how to ...
5
votes
1answer
148 views

Is Poincare-Hopf index theorem connected with Leftschetz fixed point theorem?

Lefschetz Fixed Point Theorem: For a compact triangulable space $X$, and a continuous map $f:X\rightarrow X$, we have ...
0
votes
1answer
137 views

Calculating the fixed points of a model

Does anyone know how I would go about calculating the fixed points of this model?
0
votes
1answer
63 views

Simulating Mixed Nash Equilibria

I have a $N$ person game where each person has a set of $M$ discrete strategies. I know from the theory that at least one mixed strategy Nash Equilibrium exists. Can someone please tell me how do I ...
4
votes
2answers
116 views

A function that is not contractive with respect to any metric

I am struggling with this homework question with is related to iterated function system and fixed point theory. The question is: Let $\Delta \in R^2$ be a filled non-degenerate triangle with ...
5
votes
1answer
161 views

No fixed points imply no periodic points

Let $f:\mathbb{R}^n\to \mathbb{R}^n$ be a smooth injective function with $\operatorname{det}[f'(x)]\not=0 $ for all $x\in\mathbb{R}^n$. Moreover assume that $f$ has no fixed points. Can $f$ have a ...
2
votes
2answers
829 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 ...
1
vote
1answer
76 views

An application of fixed point theorem

I want to use the fixed point method to solve the equation to find $y$: $$ y = c_1 y^3 - c_2 y$$where $c_1, c_2$ are real valued constants. So I designed $$ y_{k+1} = c_1 y_k^3 - c_2 y_k$$ to ...
0
votes
1answer
48 views

Condition for A,B s.t $x_{n+1}=\frac{112233+Ax_n^2}{Bx_n}$ converges

Given the following fixed point iteration $x_{n+1}=\frac{112233+Ax_n^2}{Bx_n}$ find values for A,B s.t the iteration converges to $\alpha$ (a root) with maximal order of convergence. Find the ...
4
votes
1answer
571 views

Does a compact connected complete linear order have the fixed point property?

Would the same arguments used for showing $[0,1]$ has the fixed point property hold in this general case? What could go wrong? EDIT: The fixed point property can be interpreted in two ways that I ...
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 ...
0
votes
1answer
37 views

Compactness of a subset of a specific bounded $L^2$ space

For my research, I am working with the set $$S = [0,1] \times [0,\delta] \times[0,\delta^2] \times \cdots $$ where $S\subset \mathbb{R}^\infty$. I am using the $\|\cdot\|_2$ norm. I was hoping to ...
1
vote
1answer
131 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 ...
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 ...
4
votes
1answer
57 views

Fix point of squaring numbers mod p

Take the set of integers $\{0, 1, .., p-1\}$, square each element, you get the (smaller) set of quadratic residues. Repeat until you get a fix point set. The size of this set is a function of $p$. ...
3
votes
2answers
446 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 ...
7
votes
1answer
265 views

Fixed Point Theorems

Theorem 1. Let $B=\{x\in \mathbb R^n :∥x∥≤1\}$ be the closed unit ball in $\mathbb R^n$ . Any continuous function $f:B\rightarrow B$ has a fixed point. Theorem 2. Let $X$ be a finite dimensional ...
0
votes
2answers
52 views

The limit of a fixed-point equation

Consider the following fixed-point equation: \begin{equation} x = (1-x)^{1-\frac{2}{a+1}} - 1, \end{equation} where $x \in [0,1]$ and $a \in [0,1]$. If we write the solution of $x$ in terms of $a$ as ...
0
votes
1answer
73 views

Fixed point and non-fixed point function

For constructing another proof I need two functions explicitly and therefore I was wondering whether there exists a function that has nowhere a fixed point and a function that (maybe depending on the ...
0
votes
0answers
354 views

Newton iteration- estimate the error

I was wondering whether there are equations available to estimate the a priori and a posteriori error for newton's method? My idea was to use that it is a fixed point iteration and therefore one can ...
0
votes
1answer
54 views

Numerical Analysis, build a contractive function

I have a question regarding Numerical Analysis. I've never been asked these sorts of questions before and don't even know where to begin. The goal of this exercise is to find a value alpha such that: ...
6
votes
0answers
151 views

A fixed point theorem [duplicate]

Let $\emptyset \not = X\subseteq \Bbb{R}^n$ be convex and compact and let $\cal{A}$ be a family of affine maps from $\Bbb{R}^n$ into $\Bbb{R}^n$ such that $X$ is invariant under each element of $\cal ...
0
votes
0answers
39 views

correctness of functional iteration and contraction proof

I need to prove: If $F$ is contractive from $[a, b]$ to $[a, b]$ and $x_{n+1} = F(x_n)$ with $x_0\in[a,b]$ then $|x_n -s| \leq C\lambda^n$ for an appropriate $C$ where $s$ is a fixed point of $F(x)$. ...
2
votes
1answer
109 views

Quesion on a detail of the proof of Schauder-Tychonoff fixed point theorem

I'm trying to understand the proof of Schauder-Tychonoff fixed point theorem on page $96-97$, in Fixed Point Theory and Applications, Ravi P. Agarwal,Maria Meehan,Donal O'Regan, which can be found ...