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
2answers
180 views

Question about Fixed Point Theorem Hypotheses

Consider the following (less general than possible) statement of Schauder's fixed point theorem: Suppose that $X$ is a Banach space, that $B_1$ is the unit ball of $X$ and that $f: X \to X$ is a ...
5
votes
2answers
457 views

Banach theorem example

By Banach fixed point theorem, if a metric on a metric space $X$ is such that $d(f(x),f(y))\leq K d(x,y)$ for $K\in (0,1)$ then $f$ has one unique fixed point. Is there an example where ...
1
vote
1answer
248 views

A corollary of Banach's fixed-point theorem

Can someone give me an idea how to generalize Banach's fixed-point theorem for complete metric spaces such that the constant contraction coefficient $c$ (as in $d(Tx,Ty)\leq c \ d(x,y)$ ) may be ...
4
votes
2answers
592 views

What can Lefschetz fixed point theorem tell us about the group of automorphisms of a compact Riemann surface?

Let $X$ be a compact Riemann surface of genus $g>1$, $f\in Aut(X)$, a biholomorphism of $X$ onto itself, $x\in X$ a fixed point of $f$. Since tangent map of a holomorphic map (on the real tangent ...
6
votes
2answers
739 views

Opposite of a contraction mapping

I am taking Real Analysis and we recently went over the Banach Fixed-point Theorem, also commonly known as the Contraction Mapping Theorem which states: If $(X,d)$ is a complete metric space, and ...
3
votes
2answers
976 views

Contraction mapping does not hold in metric space

Let $X=\mathbb{Q}\cap [1,2]$, i.e $X$ is the set of rational number between 1 and 2 inclusive. We can consider $X$ to be a metric space by endowing it with the usual distance function, i.e for $x,y ...
4
votes
2answers
416 views

Question regarding upper bound of fixed-point function

The problem is to estimate the value of $\sqrt[3]{25}$ using fixed-point iteration. Since $\sqrt[3]{25} = 2.924017738$, I start with $p_0 = 2.5$. A sloppy C++ program yield an approximation to within ...
10
votes
2answers
651 views

Contraction mapping in an incomplete metric space

Let us consider a contraction mapping $f$ acting on metric space $(X,~\rho)$ ($f:X\to X$ and for any $x,y\in X:\rho(f(x),f(y))\leq k~\rho(x,y),~ 0 < k < 1$). If $X$ is complete, then there ...
3
votes
1answer
158 views

Fixed point: a consequence of symmetry?

I'm studying a dynamical system with $\mathbf{D}_{3}$ symmetry (the symmetry group of an equilateral triangle), which is given by: $\begin{align*} d\mathbf{x}_{0}/dt &= ...
7
votes
1answer
198 views

Fixed point: sets and measures

Let $X$ be a Borel space with a Borel measure $\mu$. Suppose $\xi: X\times X\to\mathbb R_{\geq 0}$ is a continuous function and put $s(x) = \{y\in X:\xi(x,y) = 0\}$. For any set $b\in\mathcal B(X)$ we ...
3
votes
0answers
134 views

Fixed point: general case

This is the second part of the question Fixed point: linear operators. Here I would like to ask you about the general case. A lot of concepts can be described or even defined as a solution of a ...
7
votes
0answers
329 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$ ...
2
votes
3answers
376 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 ...
3
votes
1answer
184 views

Brouwer FPT and solutions to a system of equations

I am trying to solve the following problem: Let f, g be continuous positive functions $\mathbb{R}^2 \to \mathbb{R}$: show that the system of equations $$(1-x^2)f^2(x,y) = x^2 g^2(x,y)$$ ...
2
votes
2answers
273 views

Brouwer's fixed point theorem in a practical setting

If we assume that a fluid is a continuum then if we have for example a cup of tea and we stir the fluid then there will be a point in the fluid that is on the same location before and after the ...
8
votes
1answer
343 views

Common knowledge as a fixed point

I read on a wikipedia page that from the modal logic formalization CK can be formulated as a fixed point. If it also holds for the set theory formalization? If it does, where I can find about it? ...
4
votes
0answers
184 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 ...
7
votes
1answer
246 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$ ...
4
votes
1answer
566 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 ...
7
votes
2answers
568 views

Is the Knaster-Tarski Fixed Point Theorem constructive?

According to Tarski's Fixed Point Theorem, for a complete lattice $L$, and monotone function $f:L \rightarrow L$, the set of fixed points of $f$ forms complete lattice. Definition of $lfp(f)$ and ...
1
vote
2answers
1k views

Prove Fixed Point Theorem using the Mean Value Theorem

Assume $f$ has a finite derivative and $|f'(x)| \leq y < 1$ for all $x \in (a,b)$ $f$ is continuous and $a \leq f(x) \leq b$ for all $x \in [a,b]$. Prove $f$ has a unique fixed point in ...
1
vote
3answers
415 views

Finding the fixed points of a contraction

Banach's fixed point theorem gives us a sufficient condition for a function in a complete metric space to have a fixed point, namely it needs be a contraction. I'm interested in how to calculate the ...
2
votes
1answer
513 views

Fixed point Fourier transform (and similar transforms)

The Fourier transform can be defined on $L^1(\mathbb{R}^n) \cap L^2(\mathbb{R}^n)$, and we can extend this to $X:=L^2(\mathbb{R}^n)$ by a density argument. Now, by Plancherel we know that ...