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
0answers
9 views

Fixed point combinator and functions with no fixed point

In lambda calculus the fixed point combinator is defined as: It is very easy to see how $Yg =g(Yg)$ for any $g$ by using $\beta$-reduction. At the same time I wonder what is the meaning of ...
3
votes
0answers
21 views

Limit of a Discrete Dynamical System, Part 2

In my previous post (i.e., Limit of a Discrete Dynamical System) the following system was considered: ...
1
vote
0answers
14 views

Proof of equality of least fixed point of two continuous function

The question is simple: given a set U, a continuous function (Scott continuity) $f \colon \mathcal{P}(U) \to \mathcal{P}(U)$ and function $g(X) := f(f(X))$, prove that $g$ is continuous and its least ...
2
votes
0answers
43 views

Reference request for the proof of the Brodskii–Milman fixed point theroem for isometries

Can any one help me to access the paper M.S Brodskii and D.P Milman, On the center of a convex set, Dokl. Akad. Nauk SSSR 59 (1948) 837–840 in Russian? or to prove the theorem If $K$ is a ...
4
votes
0answers
133 views
+50

Closest fixed point to a convex set

Consider the compact convex sets $Y \subset X \subset \mathbb{R}^n$, and a Lipschitz continuous function $f : X \rightarrow X$. Assume that $f$ has multiple fixed points. (From Brouwer's theorem, $f$ ...
0
votes
0answers
18 views

About the compactness condition in Schauder fixed point theorem

The theorem is Let $X$ be a locally convex topological vector space, and let $K ⊂ X$ be a non-empty, compact, and convex set. Then given any continuous mapping $f: K → K$ there exists $x ∈ K$ ...
0
votes
2answers
31 views

Fixed point property in topology

I have a few questions concerning relating the fixed point property for a space $X$ (every continuous map from $X$ to $X$ has at least one fixed point) to some concepts in topology. a). I know that a ...
0
votes
1answer
35 views

Find out Fixed Points

Consider a set $M$ of all possible square matrices of dimension $k$ over a finite field $F_p$. Consider a map $f$ defined on $M$ as $f(X)=X^2+C$ where $X \in M$ and C is an arbitrary fixed matrix from ...
1
vote
0answers
28 views

Diffeomorphism and hyperbolic points

Suppose $f$ is a diffeomorphism.Prove that all hyperbolic periodic points are isolated. I tried using the mean value theorem using two diferent periodic points (assuming the periodic points arent ...
0
votes
0answers
17 views

Fixed element $u \in U$ and subsets difference only at the $u$ point.

I have a task with a tip to it. The task: Let U - is not empty ultimate multitude. Prove, that number of subsets of the multitude U, with even power, same as how many subsets with odd power. ...
0
votes
0answers
20 views

Firm non-expansiveness in the context of proximal operators

$\newcommand{\prox}{\operatorname{prox}}$ Probably the most remarkable property of the proximal operator is the fixed point property: The point $x^*$ minimizes $f$ if and only if $x^* = \prox_f(x^*) ...
0
votes
0answers
24 views

Fixed point of projected operator

Let $X \subset \mathbb{R}^n$ be a compact convex set and let $f: X \rightarrow X$ be Lipschitz continuous and such that $$ \left( f(x) - f(y) \right)^\top \left( x-y\right) \leq 0 $$ for all $x, y ...
2
votes
1answer
50 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} ...
3
votes
1answer
86 views

Number of limit cycles: Counterexample of the extended Bendixson-Dulac criterion?

The problem concerns the number of limit cycles in the vector field of coupled differential equations (ODEs) in two dimensions, i.e. $$ \ \dot{x} = X(x,y)\\ \dot{y} = Y(x,y) $$ Specifically, let $$ \ ...
0
votes
2answers
54 views

$|f(x)-f(y)|<|x-y|$ on a non-empty closed bounded set of real numbers

Let $A$ be a non-empty closed bounded set of real numbers and $f: A \to A $ be a function such that $|f(x)-f(y)|<|x-y| , \forall x,y\in A$ , then how to show that $f$ has a unique fixed point ?
0
votes
0answers
19 views

Baillon theorem in fixed point theory

Baillon proved that if $X$ is a Banach space with $\rho'_X(0)<\frac{1}{2}$, then $X$ has the fixed point property (by $\rho_X(t)$ we denote the modulus of smoothness). My questions are as ...
1
vote
1answer
30 views

If $f^N$ is contraction function, show that $f$ has precisely one fixed point.

If $f$ is a mapping of a complete metric space $(X, d)$ into itself and $f^N$(composite $f$ for $N$ times) is a contraction mapping for some positive integer $N$, then $f$ has precisely one ...
0
votes
1answer
57 views

Finding the fixed points of a recurrence relation (and systems of) analytically?

How would I go about finding the fixed points of the following recurrence? $$X_n = 2X_{n-1}(2- 3X_{n-1}) + X_{n-1}$$ And therein, determining their stability analytically? Also, how does one find ...
2
votes
4answers
141 views

Fixed point for a continuous function on a compact set?

If $f:X \rightarrow X$ is continuous and X is compact, will $f$ have a fixed point? We know that a contraction will have a fixed point but I have not come across an example of a continuous function ...
7
votes
1answer
88 views

Fixed points of the Gamma Function?

I am interested in complex values of $z$ such that $$ \Gamma (z) =z$$ Clearly, the one trivial value of $z$ is 1. Also, looking at a graph of the gamma function on the real axis, I can tell that there ...
0
votes
0answers
9 views

Reference request: result concerning Leray trace

Let $V$ be a vector space (possibly of infinite dimension). For a linear homomorphism $f\colon V\to V$ define $$N(f)=\bigcup_{n\in\mathbb{N}} \operatorname{ker}(\underbrace{f\circ\ldots\circ ...
0
votes
1answer
34 views

Homogeneous topological space with the fixed-point property

Let $X$ be a topological space. $X$ is said to be homogeneous if for every $x$ and $y\in X$ there is an self-homeomorphism $f$ of $X$ such that $f(x)=y$. Further, $X$ is said to have the fixed-point ...
1
vote
2answers
45 views

Find the Fixed points (Knaster-Tarski Theorem)

Let $L=\mathcal P(\mathbb N)$ be a complete lattice of subsets of $\mathbb N$. a) Justify that the function $F(X)=\mathbb N \setminus X$ does not have a Fixed Point. I don't know how to solve this. ...
0
votes
1answer
25 views

Firmly nonexpansive mapping with the fixed point set same as for given nonexpansive mapping

I found PAMS publication vol. 113, no. 3, 1991 by Ryszard Smarzewski called "On firmly nonexpansive mappings". It is written that "to each nonexpansive T on set C one can associate a firmly ...
1
vote
0answers
62 views

Banach Fixed Point Theorem. Measurable version.

The Banach fixed point theorem has the following statement THEOREM ( Banach contraction principle). Let $(Y,d)$ be a complete metric space and $F:Y\to Y$ be contractive . Then $F$ has a uniqe ...
5
votes
1answer
225 views

Can the proof of fixed point theorems ever be constructive?

Overall, Brouwer fixed point theorem and Kakutani fixed theorem are non-constructive. Is there any established paper that demonstrates that there exists constructive proofs that do exactly what these ...
0
votes
0answers
38 views

Use of closed and convex set in fixed point property

Let $(X, ||.||)$ be a Banach space and C a subset of X. A mapping $T:C{\to}C$ is non-expansive if $||Tx-Ty||\leq||x-y||$ for all $x, y \in C.$ A Banach space is said to satisfy the fixed point (FPP) ...
0
votes
1answer
27 views

Continuity of fixed points of an equation

Say I have a function $f(x,\theta)$ such that for each value of $\theta$ the function $f$ has a unique fixed point $x^*(\theta)$, i.e. $$x^{*}(\theta) = f(x^{*}(\theta),\theta)$$ My question is when ...
1
vote
0answers
31 views

Use a fixed point argument to show there exists a unique solution to the following BVP

Show using a fixed point argument that there exists a unique solution $f\in C[0,1]$ to $$ -f''(x)+\sin(f(x))=\sin(x) , x\in (0,1), y(0)=y'(1)=0 $$ This is what I have so far: We can show ...
2
votes
0answers
35 views

Dense subgroup of an extremely amenble group is extremely amenable??

Recall that a topological group $G$ is called extremely amenable if every continuous action of $G$ on a compact space $K$ admit a fixed point. i.e there is a point $\xi\in K$ such that $g.\xi=\xi$ for ...
2
votes
1answer
37 views

Derivative of the Solution to a Fixed Point Iteration

Let $\theta_s$ is the solution to a fixed point equation $$\theta=f(\theta,\lambda)$$ Let $d(\theta,\lambda)$ be another function of $\theta,\ \lambda$. I know $f$ but I have no explicit expression ...
0
votes
0answers
47 views

How to compute the Lefschetz number

Given a continuous function $f: X \to X$ how do you compute: $$ \Lambda_f = \sum_{k \geq 0} (-1)^k \mathrm{Tr}(f_*|H_k(X,\mathbb{Q})) $$ which is known as the Lefschetz number. For instance let $X: ...
3
votes
1answer
78 views

How to prove $F$ is a contraction mapping?

Given a $n\times n$ matrix $\mathbf{D}$ in which each entry $\mathbf{D}_{ij} \in [0,1]$. Let $i$-th row vector of $\mathbf{D}$ denote by $\mathbf{D}_{i\ast}$. The mapping $F:[0,1]^n \mapsto [0,1]^n$, ...
4
votes
0answers
79 views

A question on fixed point property

Assume that $0<k<n-1$, Note that $\mathbb{C}P^{k}$ can be considered as a closed subset of $\mathbb{C}P^{n}$, in a natural way. We collapse $\mathbb{C}P^{k}$ to a point. The resulting space is ...
4
votes
5answers
247 views

Why $e^x$ never equal $x$?

Je veux savoir pourquoi $x=e^x$ n'a aucune solution dans $\Bbb R$. Lorsque j'ai essayé de tracer le graphe de la fonction $e^x$, j'ai trouvé en fait qu'elle est une fonction strictement croissante ...
5
votes
0answers
77 views

Converse to Lefschetz fixed point theorem (counterexample)

The celebrated Lefschetz fixed point theorem, in its simplest form, says (following Wikipedia) that if $f\colon X \to X$ is a continuous map of a compact triangulable space $X$ to itself, then $f$ has ...
1
vote
1answer
18 views

completeness of $A=\{(x_1,x_2)\in\mathbb R^2| \max\{ |x_1|,|x_2|\}<1\}$

Let $A=\{(x_1,x_2)\in\mathbb R^2| \max\{ |x_1|,|x_2|\}<1\}$ and $g(x_1,x_2)=\frac14(x_1^2x_2,x_1+1)$. I want to show that $g$ has a fixed point in $A$. So ...
1
vote
0answers
40 views

Fixed point method where the derivative is one - does it converge

I'm trying to see if the iterative method $x_n=g(x_{n-1})$ where $g(x)=2\sqrt{x-1}$ will converge to $2$, if I take $x_0$ that is sufficiently close to $2$. Indeed notice that $g(2)=2$. and we have a ...
1
vote
0answers
16 views

Existence of Galerkin approximations to PDE

Given a weak PDE $$ \langle b(u),v \rangle +\langle a(\nabla u), \nabla v\rangle=\langle f, v \rangle,\qquad v\in H^1_0 $$ where $b\in C(\mathbb{R})$ and $a\in C(\mathbb{R}^n,\mathbb{R}^n)$ grow ...
1
vote
0answers
21 views

Statement of Markov-Kakutani fixed-point theorem

Markov-Kakutani fixed-point theorem is usually stated as follows: "Let $E$ be a locally convex topological vector space. Let $C$ be a compact convex subset of $E$. Let $S$ be a commuting family of ...
1
vote
1answer
30 views

Trouble understanding the steps to go from $x^x = 1000$ to the fixed point of $f(x) = \frac{log(1000)}{log(x)}$

I'm following through the Structure and Interpretation of Computer Programs, and in an example, they talk about finding fixed points of function (where $f(x) = x$) They then go on to say, if we want ...
1
vote
1answer
55 views

quotient of an amenable group

I have a question about amenable groups. The notion of amenability I am using is: The action of $G$ on $k$ ($k$ locally compact in a topological vector space) is amenable if there exists a point $x ...
2
votes
0answers
34 views

Identification of (Centers of) Cycles in a Discrete Time Dynamical System

I am studying dynamics on nonlinear Discrete Time Dynamical System of the form $$ \vec{X}_{t+1} = D(\vec{X}_t), $$ where D is some nonlinear function. I was looking for a (relatively) quick ...
4
votes
1answer
89 views

Unique fixed point of a contraction defined on a closed ball which maps the boundary back into the ball

Let $X$ be a Banach space, $r > 0$, $A: K_r(X) \rightarrow X$ a contraction (where $K_r(X)$ is the closed ball of radius $r$ and center $0$ in $X$), with contraction constant $0<q<1$, which ...
1
vote
1answer
59 views

An application of Banach fixed point theorem for initial value problem

Find a condition for $\beta>0$ which implies that the differential equation system \begin{align} x'(t)&=x(t)+y(t) ,\\ y'(t)&=t^{2}+tx(t) \end{align} with initial conditions $x(0)=0, ...
2
votes
0answers
44 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$ ...
1
vote
1answer
46 views

An application of Banach fixed theorem on an integral equation

I'm learning some applications of the Banach Fixed Point Theorem and I have the following question: Consider the integral equation $\displaystyle x(t)=\int_{0}^{\frac{\pi}{2}}\arctan ...
3
votes
1answer
33 views

Is there a proof for the Central Limit Theorem via some fixed point theorem?

This question arose in my mind when I learned that the Gaussian is a fixed point for the Fourier transform. On the other hand, in e.g. the Banach fixed point theorem we have convergence to a fixed ...
1
vote
2answers
230 views

if $f_{n}(x)=f(f_{n-1}(x))$then $f_{10}(x)=x,x\in [0,1]$

Define the function $f:[0,1]\to[0,1]$ by the following. $$f(x)=\begin{cases} x+\dfrac{1}{2},&0\le x\le\dfrac{1}{2}\\ 2(1-x),&\dfrac{1}{2}<x\le 1. \end{cases}$$ Let $f_1(x)=f(x)$ and ...
2
votes
1answer
62 views

Show that $f$ has infinitely many fixed points

Let $f:ℂ→ℂ$ be an entire function. Assume that the equation $f(s)=a$ has infinitely many real solutions for all reals $a$. Show that $f$ has infinitely many fixed points, i.e., there exists infinitely ...