Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $X$ be a topological vector space over the field $K$, where $K=\mathbb R$ or $K= \mathbb C$, and let $f:X\rightarrow K^n$ ($n \in \mathbb N$) be a linear and surjective functional. How to prove that $f$ is an open mapping?

Thanks

share|improve this question
    
I presume $K$ is at least a topological field, if not $\mathbb{R}$ or $\mathbb{C}$. Can you be more precise in your question? –  Zhen Lin Aug 8 '11 at 14:35
    
$K=R$ or $K=C$. –  Richard Aug 8 '11 at 15:20
1  
@Richard: please add that information to the question itself, so that it is self-contained. –  Mariano Suárez-Alvarez Aug 8 '11 at 15:47
add comment

2 Answers 2

up vote 3 down vote accepted

At least for $X$ locally convex, with $K$ being $\mathbb R$ or $\mathbb C$, for $x_1,\ldots,x_n$ in $X$ mapping to the standard basis $e_1,\ldots,e_n$ of $K^n$, the set $\{x_1,\ldots,x_n\}$ is bounded in $X$, so, given a convex balanced open nbd $U$ of $0$ in $X$, there is $t_o$ such that $tU\supset\{x_1,\ldots,x_n\}$ for all $t\ge t_o$. Thus, $f(U)=t^{-1}\cdot f(tU)$ which contains $t^{-1}$ times the convex hull of all points $z_1e_1,\ldots, z_ne_n$ for $z\in K$ with $|z|\le 1$. This seems not to use continuity-or-not of $f$.

[Edited]

So, yes, without continuity, but using local convexity.

share|improve this answer
add comment

Since $f$ is continuous, we have that $$ \ker(f) := f^{-1}\{0 \} $$ is closed. Therefore $$ X/\ker(f) $$ is a Hausdorff topological vector space of dimension $n$, which is isomorph to $K^n$. Let $\phi$ be the quotient mapping $$ \phi\colon X \to X/\ker(f). $$ Define $f'$ via $$ f = f' \circ \phi. $$ As a linear surjective map of finite dimensional vector spaces of equal dimensions, the mapping $f'$ is open, as is the quotient mapping. Therefore $f$ is open, too. (The general open mapping theorem does not use convexity in either domain or codomain, so we should not expect to have to use convexity in our assumptions).

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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