**1**

vote

**1**answer

44 views

### leray schauder fixed point and schauder fixed point

I have seen these 2 fixed point theorem and I think the condition of Leray Schauder fixed point theorem is very strong and we require to consider the fixed point of $u=\sigma Tu$ $\forall \sigma ...

**6**

votes

**2**answers

263 views

### Proof of Lefschetz-Hopf Fixpoint Theorem with de Rham cohomology?

Looking for a proof of the Lefschetz-Hopf Fixpoint Theorem with the de Rham Cohomology.
(I´m more interestet in the Formula then just the simple statement that if the Lefschetz number is not zero ...

**3**

votes

**0**answers

153 views

### Can the following system of equations be solved analytically/in a closed form?

From a constrained non-linear maximization problem I obtained the following system of equations:
$a_1=\frac{1+a_3-\sqrt{a_2a_3}\sqrt{v_1}}{1+\sqrt{\frac{a_3}{a_2}}\sqrt{v_1}}$
...

**2**

votes

**0**answers

127 views

### On a matrix algorithm involving rank-one projections

Let $\{v_i\}_{i=1}^N$ be a set of $n$-dimensional real vectors spanning $\mathbb{R}^n$. Let $p\in [0,1]$ be a rational number and consider the iteration
\begin{equation}
...

**0**

votes

**1**answer

95 views

### Fixed point of quantum operations

A quantum operation is defined as
\begin{equation}
\varepsilon(\rho)=\sum_{k}M_k\rho M_k^{\dagger}
\end{equation}
where $\varepsilon(\rho)$ takes an initial state $\rho$ to some final state $\rho'$ ...

**14**

votes

**0**answers

237 views

### Does every automorphism of a separably rationally connected variety have a fixed point?

Let $k$ be an algebraically closed field. Let $X$ be a smooth, projective variety over $k$ that is separably rationally connected, i.e., there exists a $k$-morphism $u:\mathbb{P}^1_k \to X$ such that ...

**7**

votes

**1**answer

294 views

### A property stronger than the fixed point property

Assume that $X$ is a topological space. We say that $X$ satisfies the strong fixed point property if the graph of every surjective continuous self-map intersect the graph of every continuous ...

**1**

vote

**1**answer

97 views

### A weak fixed point property

The usual fixed point property can be interpreted in terms of non empty intersection of the graph of all maps with the graph of the identity map.
This motivates us to consider the following "weak ...

**6**

votes

**2**answers

270 views

### Intermediate value for a vector-valued function

Consider a vector-valued function $f: [0,1]^n\rightarrow[0,1]^n$. Write $f(x)=\{f_1(x), ..., f_n(x)\}$ with $x\in[0,1]^n$, where the $f_i: [0,1]^n\rightarrow[0,1]$ are continuous functions with the ...

**6**

votes

**0**answers

171 views

### A tangential fixed point property for manifolds embedded in Euclidean spaces

Assume that $M$ is a compact orientable manifold which is embedded in some Euclidean space $\mathbb{R}^{N}$
We say that $M\subset \mathbb{R}^{N}$ has the tangential fixed point property if for ...

**3**

votes

**2**answers

250 views

### Example of measure of non-compactness

I can't understand the following example of measure of non-compactness, which was given in this article.
Definition: A non-negative function $\phi$ defined on the bounded subsets of $X$ will be ...

**2**

votes

**2**answers

248 views

### Reference request: using integral equations to study asymptotics of ODEs

I was told by my supervisor that one way to study the asymptotic behaviour of solutions to ODEs is "to reformulate them as integral equations, and use fixed-point kind theorems on the resulting ...

**5**

votes

**2**answers

214 views

### Does a continuous map $f$ from the $n$-ball $B$ into $R^n$ such that $B\subset f(B)$ have a fixed point?

If $f$ is a continuous map from the $n$-ball $B$ into itself, the Brouwer fixed point theorem guarantees a fixed point. What if we assume that $f$ maps $B$ into all $R^n$, and $f(B)$ contains $B$? For ...

**6**

votes

**2**answers

281 views

### Convergence of Fixed-Point Iteration of a dependent map

Suppose that we have two mappings $T_1(\cdot): Y \mapsto Y$ and $T_2(\cdot,\cdot) : X \times Y \mapsto X$ where both $X$ and $Y$ are compact and convex subsets of the same Euclidean space. Furthermore ...

**1**

vote

**0**answers

36 views

### Condition for maximizer of convex combination to be expansion mapping

I have $\Pi_n:\mathbb R^{n+1}\rightarrow \mathbb R$ and $F_n:\mathbb R^2\rightarrow \mathbb R$ with $$F_n(x,a)=\Pi_n(x,...,x,a)$$
$$f_n(x)=\operatorname{ArgMax}_{a\in\mathbb R}\{F_n(x,a)\} $$
such ...

**7**

votes

**1**answer

310 views

### Z/p action on finite contractible complex

Let $p$ be a prime and $X$ a finite contractible CW-complex. Assume $\mathbb Z/p$ acts on $X$. Then it is easy to see that there has to be a fixed point. (E.g. use Lefschetz's fixed point theorem or ...

**1**

vote

**1**answer

126 views

### Row-stochasticity of the Jacobian matrix of a stationary distribution

Let $P_{\mathbf{p}}$ be a $n \times n$ row-stochastic matrix whose entries are a function of a probability vector $\mathbf{p} \in \mathbf{R}_{> 0}^n$, $\sum_i p_i = 1$ and define the following ...

**11**

votes

**1**answer

232 views

### Does Peano's existence theorem admits a constructive proof?

$$y(t)=y_0+\int_0^t b(y(s))ds$$ $b\in C(R^d)\cap L^\infty(R^d)$
The classical proof for Peano's existence theorem in ODE need use the Ascoli's theorem, so it's not constructive. When $d=1$, in the ...

**4**

votes

**0**answers

62 views

### Multi-podal points

Two points $x,y \in \mathbb{R}^n$ are called antipodal if $x = -y$.
Stated differently, $x,y$ are antipodal if:
They have the same absolute value in each of their $n$ coordinates;
Each of their ...

**0**

votes

**0**answers

91 views

### Alternating projections and trace preserving maps

Let $\{\Pi_i\}_{i=1}^N$, $\Pi_i\in \mathbb{C}^{n\times n}$ be a set of orthogonal projections. By the Von Neumann alternating projection theorem, it holds that
$$
...

**3**

votes

**1**answer

235 views

### Fixed point property for intersection of spaces which are homeomorphic to a disk

The following question is question 9.8 from Miller's paper ``Some interesting problems
'':
Question Suppose $D_n$ a subset of the plane is homeomorphic to a disk and for every
$n\in \omega, ...

**2**

votes

**0**answers

94 views

### Fixed point theorem in ordered spaces

Can someone provide a proof or a source containing a proof of the following theorem
Theorem: Let $D$ be a subset of the cone $K$ of partially
ordered space $E,$ $F:D\rightarrow E$ be nondecreasing. ...

**21**

votes

**3**answers

2k 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

66 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

99 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

247 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

116 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

116 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

150 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

138 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

85 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

111 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

121 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

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

**10**

votes

**2**answers

339 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

101 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

**2**answers

211 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

148 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

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

**34**

votes

**3**answers

1k 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

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

**4**

votes

**1**answer

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

**9**

votes

**2**answers

879 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

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

**36**

votes

**2**answers

947 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

273 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

258 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

310 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

208 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

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