# Do these sets have the fixed-point property?

I need some help determining if the following sets have the "fixed-point property" (A topological space $X$ has this property if for every continuous function $f: X \to Y,$ there exists an $x_0 \in X$ such that $f(x_0)=x_0).$

$X = (0,1) \times (0,1)$

The continuous function $f:(0,1) \times (0,1) \to Y, \hspace{0.4mm} (x,y) \mapsto (\frac{1}{2}x, \frac{1}{2}y)$ has no fixed point $(x_0,y_0) \in (0,1) \times (0,1)$ such that $f(x_0,y_0) = (x_0,y_0),$ so $X$ does not have the fixed-point property.

$D = \big \{(x,y):(x-1)^2+y^2 < 1 \big \}$

An open disk centered at $(1,0):$ The continuous function $f(x,y) = (\frac{1}{2}x,\frac{1}{2}y)$ has no fixed point $(x_0,y_0) \in D$ such that $f(x_0,y_0) = (x_0,y_0),$ so $D$ does not have the fixed-point property.

$A = \big \{(x,y):1 \leqslant x^2+y^2 \leqslant 2 \big \}$

Define $f:A \to Y$ by $(x,y) \mapsto (x+1,y+1).$ Then $f$ has no fixed points in $A$ and so $A$ does not have the fixed point property.

Questions: Do my functions work here? Do they show that these sets do not have the fixed-point property? (I'm pretty sure all of them don't have it)

• Your definition of "fixed-point property" is a bit odd. What is $Y$? Presumably $Y$ has to be some set that could contain an element of $X$ (otherwise no set has the fixed-point property by choosing $Y$ completely unrelated to $X$). Oct 27, 2015 at 1:18
• Perhaps I copied it wrong in my notes. Is the $Y$ in my definition supposed to be equal to $X$? Oct 27, 2015 at 1:43

The target space "$Y$" of these maps is supposed to be the same as the domain (otherwise, it would be quite a coincidence if $f(x_0)=x_0$, since $x_0$ is a point of the domain and $f(x_0)$ is a point of $Y$!). For your first two examples, it turns out that range of your map is contained in the domain so they actually do work, but your last one doesn't.
• Would the function $f(x,y)=(-x,-y)$ work? Since $\operatorname{Im}f \subseteq A$ Oct 27, 2015 at 1:51
• One more quick question: Should my definition for the fixed-point property be A topological space $X$ has this property if for every continuous function $f: X \to \boldsymbol{X},$ there exists an $x_0 \in X$ such that $f(x_0)=x_0).$ Oct 27, 2015 at 2:00
$$f(x,y)=(-x,-y)$$ does fix all points with $$x=0$$ or $$y=0$$. Consider using polar coordinates instead of Cartesian coordinates to find an example which doesn't fix any points.
• Points with $x=0$ or $y=0$ aren't in domain for $X$, $D$, or $A$ in this context. Feb 17, 2021 at 18:39