Skip to main content
Editing typos
Source Link
tsm
  • 229
  • 1
  • 5

Let $X$ be a compact and convex space and let $T=[0,1]$ be some parameter space. Let $F:X\times T\rightarrow X$$F:X\times T\rightrightarrows X$ be a correspondence that is compact-valued, convex, and upper-hemicontinous. By Kakutani's fixed point theorem, there is a fixed point $x(t)=F(x(t),t)$ for each parameter $t\in T$.

Suppose we also know that

  1. the set $F(x, t')$ converges $F(x, t)$ as $t'\to t$ for any $x\in X$ (in the sense that the indicator functions for the two sets converge pointwise), and
  2. there is a unique fixed point $x(t)$ for each $t\in T$.

Question: Is this enough to determine that $x(t)$ is a continuous function?

Here is my very informal attempt at a proof: Consider sequences $(x_n, t_n)\to (x, t)$ such that $x_n\in F(x_n, t_n)$. Suppose $x\notin F(x, t)$. Since, $F(\cdot, t)$ and $F(\cdot, t_n)$ are close for large enough $n$, then $x\notin F(x,t_n)$. By UHC of $F$, for any open set $V$ containing $F(x, t_n)$, I can find an open set $U$ of $x$ such that for all $x'\in U$, $F(x', t_n)\in V$. I can pick $V$ such that it excludes $x$, and by consequence, any $x_n$ for $n$ large enough. However, this would imply that there is an $x_n\in U$ and $x_n\notin V$, which implies $x_n\notin F(x_n, t_n)$. Hence, $x\in F(x, t)$, and the graph $$ \{(x,t): x\in F(x, t) \} $$ is closed. This along with the uniqueness should be sufficient for showing that $x(t)$ is a continuous function.

Let $X$ be a compact and convex space and let $T=[0,1]$ be some parameter space. Let $F:X\times T\rightarrow X$ be a correspondence that is compact-valued, convex, and upper-hemicontinous. By Kakutani's fixed point theorem, there is a fixed point $x(t)=F(x(t),t)$ for each parameter $t\in T$.

Suppose we also know that

  1. the set $F(x, t')$ converges $F(x, t)$ as $t'\to t$ for any $x\in X$ (in the sense that the indicator functions for the two sets converge pointwise), and
  2. there is a unique fixed point $x(t)$ for each $t\in T$.

Question: Is this enough to determine that $x(t)$ is a continuous function?

Here is my very informal attempt at a proof: Consider sequences $(x_n, t_n)\to (x, t)$ such that $x_n\in F(x_n, t_n)$. Suppose $x\notin F(x, t)$. Since, $F(\cdot, t)$ and $F(\cdot, t_n)$ are close for large enough $n$, then $x\notin F(x,t_n)$. By UHC of $F$, for any open set $V$ containing $F(x, t_n)$, I can find an open set $U$ of $x$ such that for all $x'\in U$, $F(x', t_n)\in V$. I can pick $V$ such that it excludes $x$, and by consequence, any $x_n$ for $n$ large enough. However, this would imply that there is an $x_n\in U$ and $x_n\notin V$, which implies $x_n\notin F(x_n, t_n)$. Hence, $x\in F(x, t)$, and the graph $$ \{(x,t): x\in F(x, t) \} $$ is closed. This along with the uniqueness should be sufficient for showing that $x(t)$ is a continuous function.

Let $X$ be a compact and convex space and let $T=[0,1]$ be some parameter space. Let $F:X\times T\rightrightarrows X$ be a correspondence that is compact-valued, convex, and upper-hemicontinous. By Kakutani's fixed point theorem, there is a fixed point $x(t)=F(x(t),t)$ for each parameter $t\in T$.

Suppose we also know that

  1. the set $F(x, t')$ converges $F(x, t)$ as $t'\to t$ for any $x\in X$ (in the sense that the indicator functions for the two sets converge pointwise), and
  2. there is a unique fixed point $x(t)$ for each $t\in T$.

Question: Is this enough to determine that $x(t)$ is a continuous function?

Here is my very informal attempt at a proof: Consider sequences $(x_n, t_n)\to (x, t)$ such that $x_n\in F(x_n, t_n)$. Suppose $x\notin F(x, t)$. Since, $F(\cdot, t)$ and $F(\cdot, t_n)$ are close for large enough $n$, then $x\notin F(x,t_n)$. By UHC of $F$, for any open set $V$ containing $F(x, t_n)$, I can find an open set $U$ of $x$ such that for all $x'\in U$, $F(x', t_n)\in V$. I can pick $V$ such that it excludes $x$, and by consequence, any $x_n$ for $n$ large enough. However, this would imply that there is an $x_n\in U$ and $x_n\notin V$, which implies $x_n\notin F(x_n, t_n)$. Hence, $x\in F(x, t)$, and the graph $$ \{(x,t): x\in F(x, t) \} $$ is closed. This along with the uniqueness should be sufficient for showing that $x(t)$ is a continuous function.

Source Link
tsm
  • 229
  • 1
  • 5

Continuity of Kakutani fixed points

Let $X$ be a compact and convex space and let $T=[0,1]$ be some parameter space. Let $F:X\times T\rightarrow X$ be a correspondence that is compact-valued, convex, and upper-hemicontinous. By Kakutani's fixed point theorem, there is a fixed point $x(t)=F(x(t),t)$ for each parameter $t\in T$.

Suppose we also know that

  1. the set $F(x, t')$ converges $F(x, t)$ as $t'\to t$ for any $x\in X$ (in the sense that the indicator functions for the two sets converge pointwise), and
  2. there is a unique fixed point $x(t)$ for each $t\in T$.

Question: Is this enough to determine that $x(t)$ is a continuous function?

Here is my very informal attempt at a proof: Consider sequences $(x_n, t_n)\to (x, t)$ such that $x_n\in F(x_n, t_n)$. Suppose $x\notin F(x, t)$. Since, $F(\cdot, t)$ and $F(\cdot, t_n)$ are close for large enough $n$, then $x\notin F(x,t_n)$. By UHC of $F$, for any open set $V$ containing $F(x, t_n)$, I can find an open set $U$ of $x$ such that for all $x'\in U$, $F(x', t_n)\in V$. I can pick $V$ such that it excludes $x$, and by consequence, any $x_n$ for $n$ large enough. However, this would imply that there is an $x_n\in U$ and $x_n\notin V$, which implies $x_n\notin F(x_n, t_n)$. Hence, $x\in F(x, t)$, and the graph $$ \{(x,t): x\in F(x, t) \} $$ is closed. This along with the uniqueness should be sufficient for showing that $x(t)$ is a continuous function.