I want the proof of following theorems, which is the exact words from Zeidler's nonlinear functional analysis. Vol, III, page 171.

Suppose that the following two conditions hold. (i) $X$ is a real locally convex space. $K$ is a convex cone in $K$ and $L$ is a linear subspace of $X$ such that $L\cap int\,{K}\neq \emptyset$. (ii) $f:L\to \mathbb{R}$ is a linear functional such that $f(u)\geq 0$ for all $u\in L\cap K$. Then $f$ can be extended to a continuous linear functional $f:X\to \mathbb{R}$ such that $f(u)\geq 0$ all $u\in K$.

Does anyone know some exact references or notes that contain this theorem?


I have found a proof from "Real Analysis with Economic Applications" and would like to post here for anyone that may be interested in this problem. We introduce a preorder $\preceq $ in $X$ such that $y\preceq x $ if and only if $x\in y+ K$. Then we introduce a functional
$$ \varphi(x)=\inf\{f(y); x \preceq y,\,\, y\in L\}. $$ We need to show that it is well-defined for all $x$. Let $x_0\in int(K)\cap L$ and $U$ be any balanced neighbourhood of $0$ in $X$ such that $x_0+U\subset K$. Then for any $x$, there exits a $\lambda>0$ such that $\lambda x\in U$, then $-\frac{x}{\lambda}\in U$ and so $x_0-x/\lambda \in P$. Hence, $\varphi(x)\leq \lambda f(x_0)$. It is readily checked that $\varphi$ is subaddictive and positively homogeneous and $f=\varphi\mid_L$. By Hahn-Banach's theorem, we can extend $f$ into a linear functional $f^*$ such that $f^*(x)\geq 0$ for all $K$ and $|f(x)|\leq |\varphi(x)|\leq \lambda f(x_0)$, which implies the continuity of $f$.


See there, maybe it is useful: https://wikivisually.com/wiki/Krein_extension_theorem

  • $\begingroup$ No, it is not what I want. I need the extension to be continuous even when $f$ is only linear. $\endgroup$ – Ice sea Sep 17 '17 at 19:07
  • $\begingroup$ I have had a look into the literature I have at home: Krein-Nudelmann, Karlin-Studden, TIkhomirov, Fuchssterner&Lusky, ... - no effect. $\endgroup$ – szw1710 Sep 17 '17 at 19:11
  • $\begingroup$ I have find the answer in a book called " Real Analysis with Economic Applications" $\endgroup$ – Ice sea Sep 18 '17 at 6:27

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.