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

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

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

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.