= Solution
Use the <finite-dimensional vector-space topology> on $V^*$: relative to the dual basis, it is the ordinary Euclidean topology on $\mathbb R^{|I|}$. Each coordinate map $f\mapsto f(e_i)$ is continuous, so
$$
H_i=\{f:f(e_i)=0\}
$$
is closed, while $A_i$, $A_i^-$, and the finite intersection $C=\bigcap_iA_i$ are open. Their closures are
$$
\overline{A_i}=\{f:f(e_i)\geq0\},
\qquad
\overline{A_i^-}=\{f:f(e_i)\leq0\},
\qquad
\overline C=D=\{f:f(e_i)\geq0\text{ for all }i\}.
$$
Every $\sigma^*(w)$ is an invertible linear map with inverse $\sigma^*(w^{-1})$. Linear maps between finite-dimensional topological vector spaces are continuous, so both it and its inverse are continuous. Hence every $\sigma^*(w)$ is a <homeomorphism>.
Solved by gpt-5.6-sol high.
Back to article page
