The fixed-point-theorems tag has no wiki summary.

**20**

votes

**3**answers

1k views

### Does the Brouwer fixed point theorem admit a constructive proof?

Wikipedia and a few websites (and a few mathoverflow answers) say there is a constructive proof of the Brouwer fixed point theorem, some others say no. The argument for a constructive proof is always ...

**0**

votes

**1**answer

58 views

### Fixed point property for the projectivization of manifold of fixed rank matrices

Let $M$ be the manifold of all matrices in $M_{n}(\mathbb{R})$ with fixed rank $0<k<n$. The projectivization of $M$ is denoted by $PM$.
Does $PM$ satisfy fixed point property?

**0**

votes

**1**answer

85 views

### Totally non fixed point property

Edit: According to the comment of Pietro Majer, I revise the question
Is there a non singleton compact connected Hausdorff topological space $X$ for which the following property hold?:
"Constant ...

**2**

votes

**0**answers

194 views

### Fixed points of self maps

Given $m$ points on $S^n$, is there an explicit polynomial self $1-1$ map of minimum degree $f:S^n\rightarrow S^n$ that fixes only these $m$ points? Can we say something about symmetry group of $f$ if ...

**1**

vote

**1**answer

82 views

### Existence of a fixed-point free map in a manifold [closed]

I'm having some to proof a question. I have to show that a compact manifold that admits a nowhere vanishing smooth vector field has a smooth map fixed-point free homotopic to the identity map.
I know ...

**5**

votes

**1**answer

102 views

### Continuity of central point operation

Stanisław Mazur and Stanisław Ulam, in their joint paper, characterized the mid-point $\ \frac{a+b}2\ $ in a Banach space in pure metric terms (without algebra). This allowed them to show that any two ...

**1**

vote

**1**answer

137 views

### Lefschetz fixed notation

If $f\colon X\to X$ is a self-map of a nice space with isolated fixed points, then the Lefschetz fixed point theorem relates a global number to local numbers. Some write: $L(f)=\sum_{x\in ...

**6**

votes

**0**answers

119 views

### Do commuting homeomorphisms of the $2$-disk have a common fixed point?

Problem 2.20 (attributed to Lima) in Kirby's list of unsolved problems in low-dimensional topology asks:
Are there commuting homeomorphisms of the $2$-ball $B^2$ without a
common fixed point?
...

**3**

votes

**1**answer

66 views

### Fixed points of finite order isometries of metric spaces

I would like to show the following:
Let $X$ be a complete metric space that is uniquely geodesic (i.e. each two distinct points are connected by a unique geodesic segment) and $\phi\colon X\to X$ an ...

**1**

vote

**1**answer

86 views

### Almost fixed point property

Let $X$ be a Hausdorff topological space with the following property:
For every continuous function $f:X\to X$, there is a finite subset $S\neq \emptyset$ of $X$ with $F(S)\subset S$
...

**1**

vote

**0**answers

116 views

### Noncommutativization of fixed point theory

What papers or references have been devoted for a noncommutativization of "Fixed point theory". Here the terminology Noncommutativiztion, as usual, indicates to that famous table with 2 columns: ...

**3**

votes

**2**answers

214 views

### A problem on chains of squares — can one find an easy combinatorial proof?

Consider the unit square $ S = [0,1] \times [0,1] $. For each $ n \in \mathbb{N} $, we can tessellate $ S $ by the collection
$$
A
= \left\{
\left[ \frac{i}{n},\frac{i + 1}{n} \right] \times
...

**6**

votes

**2**answers

225 views

### Homeo-Fixed point property

Edit: According to comment of Michał Kukieła I revised the question
A topological space $X$ satisfies "Homeo-fixed point" property if every homeomorphism $f$ on $X$ possess a fixed point.
...

**4**

votes

**0**answers

85 views

### Prove a complicated function (in epidemic spreading search) to be convex

When analyse epidemic spreading, I came across to prove that a complicated function $f(x)$ is convex when $0 \leq x \leq 1$.
\begin{equation}
f(x)=\frac{b_1g'(x) f_1(x)^{n-2}+g'(1) \gamma}{g'(1) ( ...

**3**

votes

**3**answers

206 views

### What do you call a fixed point theorem for a mapping from a subset of a space to the whole space?

There are a number of fixed point theorems in which we have a map from some subset of a (metric, topological, ...) space to the whole space. (Usually, there is some condition regarding the behavior ...

**2**

votes

**1**answer

123 views

### Reference request for proof of Brodskii-Milman theorem “On the center of a convex set”

Can anyone 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 ...

**8**

votes

**0**answers

129 views

### Fixed points and universal maps for posets

In a recent post about f.p.p. for poset products, @M.Mirabi brought back an old-standing problem about the fixed point property of the product of two arbitrary posets which already enjoy the fixed ...

**28**

votes

**3**answers

866 views

### Is the fixed point property for posets preserved by products?

Recall that a partially ordered set (poset) $P$ has the fixed point property (FPP) if any order preserving function $f:P\longrightarrow P$ has a fixed point.
Theorem. Suppose $P$ and $Q$ are posets ...

**3**

votes

**0**answers

93 views

### Brouwer fixed points via flow

Let $B$ be a closed ball in $n$-dimensional space, let $f$ be a "sufficiently smooth" map from $B$ to $B$, and let $p$ be a point on the boundary of $B$.
It seems to me that something like the ...

**3**

votes

**1**answer

186 views

### Fixed point relation $\ Fix\ $ for pairs of manifolds

First the classical definition: a topological space $X$ has the fixed point property (fpp) $\ \Leftarrow:\Rightarrow\ $ for every continuous $\ f : X\rightarrow X\ $ there exists $\ p\in X\ $ such ...

**0**

votes

**0**answers

93 views

### Relation between modulus of smoothness and reflexivity

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

**9**

votes

**2**answers

851 views

### A question on fixed point theory

I asked this question in MSE, but I did not received any answer, so I repeat it here:
http://math.stackexchange.com/questions/858238/a-question-on-fixed-point-property
Assume that $0<k<n-1$, ...

**3**

votes

**2**answers

240 views

### Existence of an integral equation (Faedo-Galerkin, Banach fixed point, Picard-Lindelof)

Let $m \geq 2$ and let $m'$ be its conjugate. Let $w_j$ for $j=1, ..., k$ be a basis of $H_1 \cap L^{m'}$. The task is to show that there is a $u(t) \in \text{span}(w_1, ..., w_k)=:A$ such that
...

**33**

votes

**2**answers

734 views

### Is Schauder's Conjecture Resolved?

Schauder's Conjecture: "Every continuous function, from a nonempty
compact and convex set in a (Hausdorff) topological vector space into
itself, has a fixed point." [Problem 54 in The Scottish ...

**0**

votes

**2**answers

266 views

### Fixed point problem with a monotone vector as a fixed point?

Suppose $F : [0,1]^n \to [0,1]^n$ is continuously differentiable and $0 < \frac{\partial F_1}{\partial x_i} \leq \dots \leq \frac{\partial F_n}{\partial x_i} < \beta < 1$ for all $i ...

**0**

votes

**1**answer

244 views

### A variation of the Banach fixed-point theorem

Let $(X, d)$ be complete metric space, $q \in [0, 1)$ be a real number, and $f$ be a map that satisfies $$d(f(x), f(y)) \leq q \cdot d(x, y)$$ for all $x, y \in X$. Then, Banach fixed-point theorem ...

**6**

votes

**2**answers

216 views

### Fixed points and their continuity (2)

Yesterday I asked a question about fixed point. Here is the link.
In summary, the question was,
Let $f : I^2 \to I$ be a continuous map, where $I := [0,1]$ is the unit interval. It is a basic ...

**6**

votes

**1**answer

185 views

### Fixed points and their continuity

Let $f : I^2 \to I$ be a continuous map, where $I := [0,1]$ is the unit interval. It is a basic fact that for each $y\in I$, the function $x \mapsto f(x,y)$ admits a fixed point. I want to ask whether ...

**6**

votes

**1**answer

515 views

### What is the relation between Lefschetz fixed point theorem and Poincare-Hopf theorem on vector fields?

In Dubrovin/Fomenko/Novikov Modern geometry--Methods and applications, Part II, the (Poincare-)Hopf theorem is treated in section 15.2 (see theorem 15.2.7 on page 129), while the Lefschetz theorem on ...

**2**

votes

**4**answers

188 views

### Seemingly ill-founded recursion and the recursion theorem

The following line well-defines a family of subsets $\{S_i\}_{i\in\mathbb N}$ of $\mathbb N$:
$n\in S_i$ iff $n=2i$ or $\exists j<i$ such that $n\in S_j$.
The following line does not:
...

**15**

votes

**1**answer

763 views

### Periodic Orbit property

A topological space $X$ satisfies "Periodic orbit property", briefly POP, if for every continuous map
$f:X \to X$, there exist a natural number $n$ and a point $x_{0}\in X$ such that ...

**1**

vote

**0**answers

50 views

### A fixed point problem in infinite dimensions for monotonic algebras

Let $A$ be an algebra over $[0,1]$, whose operations are all unary monotone (increasing or decreasing) bijections, except that $A$ also includes the infimum operation over finite or countably many ...

**1**

vote

**2**answers

259 views

### Fixed point for a self-mapping on subset of C[0,1]

Let $f_1$ and $f_2$ be arbitrary self-mappings on $C([0,1])$ with $f_2 > f_1$. Define set $F = \{f \in (C[0,1])| f_1 \leq f \leq f_2 \mbox{ and } f \mbox{ is increasing}\}$. Is it true that every ...

**3**

votes

**1**answer

307 views

### A weak fixed point property for Grassmannian

Let $f$ be a continuous function on complex Grassmannian $G(k, 2n+1)$. Is it true to say that there is a $k$-plane $Y$ such that $Y$ has nontrivial intersection with $f(Y)$?
A motivation for ...

**7**

votes

**1**answer

230 views

### Infinite-dimensional hex

Suppose $n$ players take turns selecting vertices of the grid $[k]^n = \left\{0, 1, 2, \ldots, k-1\right\}^n$. Each player is assigned a pair of opposite faces of the grid, and wins the game if they ...

**4**

votes

**2**answers

232 views

### An approximate infinite-dimensional fixed point theorem

Given $\epsilon > 0$ and $f : [0, 1]^{\omega} \rightarrow [0, 1]^{\omega}$, can we find $x$ such that $x \in \textrm{Conv}\left( \left\{f(y) : ||y - x||_{\infty} < \epsilon\right\}\right)$?
In ...

**0**

votes

**0**answers

65 views

### Fixed point theorm that does not require the hemi-continuity of the set valued map?

All of the fixed point theorem I have seen (like Kakutani and Brower, Browder ) required the set valued map to be hemi-continuous (lower). Is any fixed point theorem that can assure the existence of ...

**0**

votes

**0**answers

58 views

### can we say fixed point existance of a set valued map over a compact set is homotopy invariant?

Consider two set valued maps over different compact sets as $F(\mathbf{x}):D\rightarrow\rightarrow D$, $G(\mathbf{x}):E\rightarrow\rightarrow E$ where $D,R\subset Y$. Assume there is a homotopy pair ...

**2**

votes

**2**answers

228 views

### A Fixed point Theorem that does not need the convexity of set valued map?

I am looking for a fixed point theorem for set valued maps that does not assume the set valued map should be convex valued.
Something like contractiblity or other properties can be replaced with ...

**2**

votes

**1**answer

254 views

### Browder's fixed point theorem in non-Hausdorff topological vector spaces

Browder proved the following fixed point theorem in his 1968 Mathematische Annelen paper (Theorem 1):
Theorem. Let $K$ be a non-empty compact convex subset of a topological vector space $E$ (where we ...

**15**

votes

**3**answers

656 views

### fixed point property for maps of compacts

Definition. A topological space $X$ has the Fixed Point Property (FPP) if every continuous self-map $X\to X$ has a fixed point.
Question. If $X$ and $Y$ are homotopy-equivalent compact metrizable ...

**25**

votes

**1**answer

630 views

### Applications of Lawvere's fixed point theorem

Lawvere's fixed point theorem states that in a cartesian closed category, if there is a morphism $A \to X^A$ which is point-surjective (meaning that $\hom(1,A) \to \hom(1,X^A)$ is surjective), then ...

**11**

votes

**0**answers

156 views

### Fundamental groups of reduced subgroup lattices

Let $G$ be a group. Its subgroup lattice, denoted $\Sigma G$, consists of all subgroups of $G$ partially ordered by inclusion. The topology of this poset is quite trivial, since it always has a ...

**2**

votes

**1**answer

235 views

### A fixed point problem

Let $A = \lbrace (tr,1-t)\; | \; t \in [0,1], r \in \Bbb{Q}\rbrace$. Is it true that any continuous function from $A$ into $A$ has a fixed point?

**34**

votes

**2**answers

1k views

### Can the Lawvere fixed point theorem be used to prove the Brouwer fixed point theorem?

The Lawvere fixed point theorem asserts that if $X, Y$ are objects in a category with finite products such that the exponential $Y^X$ exists, and if $f : X \to Y^X$ is a morphism which is surjective ...

**11**

votes

**1**answer

334 views

### Does a self map from the wedge sum of two spheres have either a fixed point or a point of period 2?

Let $X$ be the wedge sum of two $2$-dimensional spheres and $f$ a continuous function from $X$ into $X$. Does $f$ have either a fixed point or a periodic point of order 2?
Thanks

**11**

votes

**0**answers

387 views

### Classes of (non-continuous) functions with the fixed point property

Let $K$ be a convex body in $ R^d$. (Say, a ball, say a cube...) For which classes $ \cal C$ of functions, every function $ f \in {\cal C}$ which takes $K$ into itself admits a fixed point in $K$.
...

**10**

votes

**3**answers

2k views

### Has the Fundamental Theorem of Algebra been proved using just fixed point theory?

Question:
Is there already in the literature a proof of the fundamental theorem of algebra as a consequence of Brouwer's fixed point theorem?
N.B. The original post contained superfluous ...

**2**

votes

**2**answers

420 views

### What structure has been found for functions with this relationship.

Given $f$ and $g$
$\forall x y. f(x) = f(y) \Longrightarrow f(g(x)) = f(g(y))$
Or equivalently
$ker\ f \subseteq ker\ (f \circ g)$.
Note: if $f$ is injective then this holds for any $g$.
...

**3**

votes

**2**answers

226 views

### Uniqueness of fixed points for rational transformations

Background
Let $a,b,c,d$ be nonnegative constants and consider the map $T\colon [0,1]\times[0,1] \rightarrow [0,1]\times[0,1]$ defined by
$$
T(x,y) := \left( \frac{1}{1 + ax + by}, \frac{1}{1 + cx + ...