The tag has no usage guidance.

learn more… | top users | synonyms

14
votes
0answers
211 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
1answer
286 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
1answer
87 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 ...
0
votes
0answers
36 views

Criteria for being below the least fixed point

Given a complete partial order $(D,\, {\leq})$ and a Scott-continuous function $F\colon D \rightarrow D$ and some fixed point $X = F(X)$. Are there any criteria that ensure that $X = \mathsf{lfp} F$ ...
6
votes
2answers
257 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 ...
3
votes
0answers
78 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$ has the tangential fixed point property if for every continuous $f:M\to ...
3
votes
2answers
243 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
2answers
242 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
2answers
211 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
2answers
272 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
0answers
34 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
1answer
307 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
1answer
125 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
1answer
223 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
0answers
60 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
0answers
87 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
1answer
230 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
0answers
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. ...
20
votes
3answers
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
1answer
63 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
1answer
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
0answers
241 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
1answer
111 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
1answer
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
1answer
148 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
0answers
135 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
1answer
81 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
1answer
107 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
0answers
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
2answers
228 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
2answers
333 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
0answers
98 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
2answers
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
1answer
141 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
0answers
148 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 ...
33
votes
3answers
975 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
0answers
107 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
1answer
190 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
2answers
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
2answers
272 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 ...
35
votes
2answers
902 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
2answers
272 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
1answer
254 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
2answers
284 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
1answer
203 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
1answer
706 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
4answers
199 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: ...
22
votes
1answer
1k 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
0answers
52 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 ...
2
votes
2answers
321 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 ...