Continuity of function between convex and compact sets

147 Views Asked by At

Given that $$\Delta_n=(x_1,...,x_{n+1})\in \{\mathbb R^{n+1}: \Sigma x_i=1, x_i\geq0\},$$ set $P=\Delta_m\times\Delta_n$ and $s=m+n$. Since each point of $P$ and $\Delta_s$ can be describe using $s$ parameters, they can be embedded in $\mathbb R^s$ as $P'$ and $\Delta_s'$. Assume, wlog, $P'\subset\Delta_s'$ (scaling and translation are homeomorphisms). Now, let $a$ be a point in the interior of $P'$ and $\partial P'$, $\partial\Delta_s'$ the boundaries of theses sets. Furthermore, for all $x\in P'\backslash\{a\}$, let $r_x$ be the ray that starts at $a$ and passes through $x$. Then, define $h:P'\rightarrow\Delta_s'$ as $h(a)=a$ and $$h(x)=a+\frac{|x'-a|}{|x''-a|}(x-a),$$ where $x'=r_x\cap \partial\Delta_s'$ and $x''=r_x\cap \partial P'$. I'd like to check that $h$ is a continuous function.

My attempt: Since $r_x=\{a+\lambda(x-a):\lambda\in \mathbb R_+\},$ $$h(x)=a+\frac{|\lambda_1(x-a)|}{|\lambda_2(x-a)|}(x-a)=a+k(x-a),$$ where $k=\lambda_1/\lambda_2$. But $k$ depends on $x$, so I guess I have to describe $\lambda_1$ and $\lambda_2$ in terms of $x$, but I could not find them. Any help will be valuable. Thank you!

As an illustration, the figure below represents $P'$ and $\Delta_s'$, if $P=\Delta_2\times\Delta_1$ (then, $\Delta_s=\Delta_3$).

enter image description here

1

There are 1 best solutions below

0
On BEST ANSWER

I could not answer my question exactly, but I found a way to get what I expected by it. My intent was to prove that $\Delta_n\times\Delta_m \simeq \Delta_{m+n}$. For that, I think we can use the following steps:

$(1)$ Define $f:\Delta_{m+n}\rightarrow \mathbb R^{n+m}$ as $(x_1,...,x_{m+n},x_{m+n+1})\mapsto (x_1,...,x_{m+n})$. It is easy to see that $f$ is a continuous (with $\delta:=\epsilon$, e.g.) and injective map. Since $\Delta_{m+n}$ is compact and $A:=Im(f)$ is Hausdorff, $\Delta_{m+n} \simeq A$.

$(2)$ Similarly, setting $g:\Delta_n\times\Delta_m \rightarrow \mathbb R^{n+m}$ as $$(x_1,...,x_{n+1},y_1,...,y_{m+1})\mapsto (x_1,...,x_n,y_1,...,y_m),$$ we conclude $\Delta_n\times\Delta_m \simeq B:=Im(g)$.

$(3)$ Since compactness is topological invariant, $A$ and $B$ are compact, and they are also convex and with nonempty interior. But a compact and convex set $C\subset \mathbb R^{p}$ with nonempty interior is homeomorphic to a closed $p$-ball. Then, $A \simeq B \Rightarrow \Delta_n\times\Delta_m \simeq \Delta_{m+n}$.

A proof of the affirmation in the penultimate phrase can be found in Glen Bredon's Topology and Geometry ($1993$, page $56$).