Tagged Questions

39 views

35 views

28 views

If $\overline{\operatorname{Sp}}(C)=X$ and $C$ is countable, then $X$ is separable.

If $\overline{\operatorname{Sp}}(C)=X$ and $C$ is countable, then $X$ is separable. It seems very obvious intuitive, but how to write a good solid proof? Notice I take the closure of the span (the ...
26 views

Need help with the proof of the KKM-lemma.

I have been working on the proof of the KKM-lemma, which states Let $\lbrace A_0,A_1,...,A_n \rbrace$ be a closed covering of an $n$-simplex $\sigma=[x_0,...,x_n]$ such that for each face ...
53 views

Balanced Core: $U\text{ open }\implies U^*\text{ open}$

I need one last lemma for the proof of finite dimensional subspaces are closed: Is it true that if a subset is open so is its balanced core??
102 views

Connections and dependences between topological and algebraic basis in topological vector space

On my last functional analysis exam, one of the tasks was to show that if normed vector space $X$ have countable Hamel basis, then $X$ is separable space (over field $\mathbb{R}$). I am not sure if ...
40 views

Topological Vector Space: Uniform Structure

Disclaimer: This thread is meant informative and therefore written in Q&A style. Of course everybody is encouraged to give an answer as well! Prove that any topological vector space gives rise ...
Let $X\subseteq\mathbb R^d$ be a compact and $Y=\mathbb R^d.$ Let $\Gamma:X\twoheadrightarrow Y$ be a multi-valued map with closed values. Assume that $\Gamma$ admits a continuous (single-valued) ...
Suppose $X$ is a compact space, $H$ is a Hilbert space, and $f:X \rightarrow B(H)$ is continuous when $B(H)$ is given the strong topology. Does this imply that $f$ is continuous when $B(H)$ is given ...