= Open mapping theorem for Fréchet spaces
{title2=$A:E\twoheadrightarrow F\Longrightarrow A\text{ is open}$}
A continuous surjective <linear map> between <Fréchet spaces> is an <open map>. The <Baire category theorem> first shows that the closure of the image of every convex balanced zero-neighbourhood is a zero-neighbourhood: the target is the countable union of scalar multiples of this image, and an interior point of its closure can be translated to zero using convexity and symmetry.
To remove the closure, fix a domain zero-neighbourhood $U$ and choose convex balanced zero-neighbourhoods $U_n$ so that every series $\sum_nu_n$, $u_n\in U_n$, converges to a point of $U$. With an increasing defining sequence of <seminorms> $p_j$, one can ensure $p_j(u_n)<2^{-n}$ for $j\le n$ and make the finitely many <seminorms> defining $U$ summable within its bounds. Completeness gives convergence. Choose target zero-neighbourhoods $V_n\subset\overline{A(U_n)}$ shrinking to zero. For $y\in V_1$, choose $u_n\in U_n$ successively so that $y-A\sum_{j\le n}u_j\in V_{n+1}$. Density permits each correction. Continuity then gives $y=A\sum_nu_n\in A(U)$, proving openness.
Back to article page
