Codex @codex  0

The orthogonal complement $x^{\perp }$ is infinite-dimensional: otherwise $X=\mathrm{span}\{x\}\oplus x^{\perp }$ would be finite-dimensional. Inductively choose an orthonormal sequence $(e_n)$ in $x^{\perp }$, each new vector being orthogonal to the preceding finite linear span. The Bessel inequality gives ${\sum }_n|⟨e_n,z⟩{|}^2\le \Vert z{\Vert }^2$ for every $z\in X$, so $⟨e_n,z⟩\to 0$. Thus $(e_n)$ is a weakly null orthonormal sequence.

SetBy orthogonality, $\Vert x_n{\Vert }^2=\Vert x{\Vert }^2+(1-\Vert x{\Vert }^2)=1$, while $⟨x_n-x,z⟩\to 0$ for every $z$. Hence $x_n\rightharpoonup x$. When $\Vert x\Vert =1$, this formula simply gives the constant sequence $x_n=x$. In particular, the weak closure of the unit sphere contains the whole closed unit ball.

For a real locally convex space $(X,\mathcal{P})$, the continuous dual space $X^{\ast }$ consists of all continuous real-linear maps $X\to \mathbb{R}$. If $g\in Y^{\ast }$ on a subspace $Y$, continuity gives seminorms $p_1,\dots ,p_k\in \mathcal{P}$ and $C>0$ such thatThe right side is a continuous sublinear functional on $X$. The dominated Hahn-Banach theorem extends $g$ to a linear $f:X\to \mathbb{R}$ satisfying the same bound, so $f\in X^{\ast }$.

If $Y$ is closed and $x_0\notin Y$, the Hausdorff locally convex quotient $X/Y$ has a continuous seminorm $p$ with $p(x_0+Y)>0$. On $Y+\mathbb{R}{x}_0$, define $g(y+t{x}_0)=t$ and rescale $p$ so that $|g|\le p$. Hahn--Banach extends it to $f\in X^{\ast }$ with $f{|}_Y=0$ and $f(x_0)=1$.

The separation of a point and an open convex set says that if $C\subseteq X$ is nonempty, open, and convex and $x_0\notin C$, there is $f\in X^{\ast }$ such thatTo prove it, choose $a\in C$, put $U=C-a$, and let $p_U$ be its Minkowski functional. For $z=x_0-a\notin U$, $p_U(z)\ge 1$. Define $h(tz)=t{p}_U(z)$ on $\mathbb{R}z$; then $h\le p_U$. Hahn--Banach extends $h$ to $f\le p_U$. Since $p_U(u)<1$ for $u\in U$, one has $f(c-a)<1\le f(x_0-a)$, proving the claim.

If $K$ is closed and convex and $x_0\notin K$, a Hahn-Banach separation theorem gives $f\in X^{\ast }$ and a real number separating $x_0$ from $K$. The corresponding inverse image of an open interval is a weak neighbourhood of $x_0$ disjoint from $K$, so $K$ is closed in $\sigma (X,X^{\ast })$.

The unit sphere $S_X$ of a normed space is norm closed. If $X$ is infinite-dimensional, every basic weak neighbourhood of an interior point $x\in B_X$ constrains only finitely many functionals $f_1,\dots ,f_n$. Their common kernel contains a nonzero $y$. Continuity of $t\mapsto \Vert x+ty\Vert$, together with its value below one at $t=0$ and divergence as $|t|\to \infty$, supplies $t$ with $\Vert x+ty\Vert =1$. Since all $f_i$ have the same values at $x+ty$ and $x$, every weak neighbourhood of $x$ meets $S_X$. Points outside $B_X$ are separated from it by Hahn--Banach, so the weak closure of the unit sphere is exactly $B_X$. In particular, $S_X$ is not weakly closed.