The Hahn–Banach Theorem

Prove that if an LTS $L_1$ is Hausdorff and finite-dimensional, then every linear mapping $L_1\to L_2$, where $L_2$ is an arbitrary LTS, is continuous.

Let $P$ be the space of all polynomials in $x$ with real coefficients, and $U_+$ (resp., $U_-$) the subset of polynomials with positive (resp., negative) leading coefficient. Prove that the sets $U_+$ and $U_-$ are convex, but cannot be separated by a hyperplane.

Prove that disjoint convex closed sets $A$ and $B$ can be strictly separated by a hyperplane if one is compact. (This means that there exist a continuous linear functional $f$ and constants $c_1<c_2$ such that $f(x)\leq c_1$ on $A$ and $f(x)\geq c_2$ on $B$.)

Let $L$ be a normed linear space with norm $p$, $L'$ the dual space with norm $p'$, and $L''$ the space dual to $L'$, with norm $p''$. Assign to each $x\in L$ an element $F_x\in L''$ according to the formula $F_x(f)=f(x)$ for $f\in L'$. Prove that $p''(F_x)=p(x)$.

Let $L$ be a finite-dimensional normed space. Prove that $L$ and $L''$ are isomorphic (i.e., there exists a linear isometric mapping of $L$ onto $L''$).

Prove that every normed linear space is isometric to a subspace of some space of the form $C(X)$, where $C(X)$ is the space of continuous functions on a compact set $X$, with the norm $\left\| f\right\| =\max_{x\in X}\left|f(x)\right|$.

Construct an isometric imbedding of $l_p(2,\mathbb {R})$ into $C[0,1]$ for $p=1,2,\infty$.

Prove that there exists an isometric imbedding of $l_p(n,\mathbb {R})$ into $l_\infty (\mathbb {R})$.

Let $l_\infty (\mathbb {R})$ be the space of bounded real sequences $\left\{ x_n\right\}$, $n=1,2,\ldots$. Prove that there exists a linear functional $\operatorname {LIM}\in l_\infty (\mathbb {R})'$ having the following properties:

1. $\sup x_n\geq \operatorname {LIM}\left\{ x_n\right\} \geq \inf x_n$;

2. If $\lim_{n\to \infty }x_n=a$ exists, then $\operatorname {LIM}\left\{ x_n\right\} =a$;

3. $\operatorname {LIM}\left\{ x_{n+1}\right\} =\operatorname {LIM}\left\{ x_n\right\}$.

Prove that the assertions of Problem 303 carry over to the case of two-sided sequences $\left\{ x_n\right\}$, $n\in \mathbb {Z}$.

Let $L$ be a normed space, and $T$ a linear invertible operator on $L$ having the property that

Prove that there is a norm $\widetilde p$ in $L$ that is equivalent to $p$, and with respect to which $T$ is an isometry.

Let $L$ be an LCS. Prove that it can be imbedded continuously in a product of lines $\mathbb {R}^{\alpha }$, where $\alpha$ is a sufficiently large cardinal number. (In other words, every LCS admits a coordinate description.)

Let $B(\mathbb {R}^{n})$ be the space of bounded real functions on $\mathbb {R}^{n}$, with the norm $\left\| f\right\| =\sup_{x\in \mathbb {R}^{n}}\left|f(x)\right|$. Prove that there exists a linear functional $\operatorname {LIM}\in B(\mathbb {R}^{n})'$ having the properties:

1. $\inf_{\mathbb {R}^{n}}f(x)\leq \operatorname {LIM}f(x)\leq \sup_{\mathbb {R}^{n}}f(x)$;

2. If $\lim_{\left|x\right|\to \infty }f(x)=a$ exists, then $\operatorname {LIM}f(x)=a$;

3. $\operatorname {LIM}f(x+y)=\operatorname {LIM}f(x)$ for any $y\in \mathbb {R}^{n}$.

Prove that every closed convex set in a real LCS $L$ is the intersection of some family of half-spaces of the form $f(x)\leq c$, where $f\in L'$, $c\in \mathbb {R}$.

Represent the unit ball of $L_p(n,\mathbb {R})$ as an intersection of countably many half-spaces.

Let $I^N$ be the $N$-dimensional cube defined in $\mathbb {R}^{N}$ by the inequalities $\left|x_i\right|\leq 1$, $1\leq i\leq N$. Prove that any convex bounded subset of the plane can be approximated to any degree of accuracy by two-dimensional sections of $I^N$. (More precisely, for any $\varepsilon >0$ and any convex set $V\subset \mathbb {R}^{2}$ there exist an $N$ and an imbedding $\varphi :\mathbb {R}^{2}\to \mathbb {R}^{N}$ such that the Minkowski functionals of the sets $U$ and $V=\varphi^{-1}(I^N)$ are connected by the inequalities $1-\varepsilon <p_U/p_V<1+\varepsilon$.)

Construct an isometric imbedding of $l_p(n,\mathbb {R})$ into $C[0,1]$ for any $p\in [1,\infty ]$.

Prove that if a family of convex subsets of $\mathbb {R}^{n}$ is such that any $n+1$ sets of the family have a common point, then all the sets of the family have a common point.

Define a topology in $C[0,1]$ by taking the sets $U_\varepsilon =\left\{ f\in C[0,1]:\int_0^1\sqrt{\left|f(x)\right|}\, dx<\varepsilon \right\}$ as a base of neighborhoods of zero. Prove that each continuous linear functional on the resulting topological space is equal to zero.

Let $L$ be an LCS, $X$ a set with a measure $\mu$, and $f$ a function on $X$ with values in $L$. The function $f$ is said to be weakly measurable if the numerical function $F(f(x))$ is $\mu$-measurable for every $F\in L'$. An element $\varphi \in L$ is called a weak integral of $f$ with respect to the measure $\mu$ on $X$ if $F(f)=\int_K F(f(x))\, d\mu (x)$ for all $F\in L'$. Prove: