4
votes
"Adding one dimension" to an infinite dimensional topological vector space
Sophie Morel on Zulip found this counterexample (by Gowers) to $V \cong V \oplus \mathbb{R}$ with $V$ a Banach space: A Solution to Banach's Hyperplane Problem, and there's a nice blog post about it; ...
2
votes
Accepted
Sobolev extension operator with dense range
No, such an extension operator does not exist.
To see this, let $v \in H^1(\mathbb R)$ such that $v \equiv 0$ in a neighbourhood of $[0,1]$ such that $v \neq 0$. Since the range of $E$ is dense by (3),...
1
vote
Accepted
Proof verification: $(H^m_0)' \cong \overline{(L^2, \|.\|_{-m})}$
Your proof is correct if you just want to show that $H'=(H^m_0(\Omega))'$ and $\overline{(L^2(\Omega),\lVert \cdot \rVert_{-m})}$ are isometrically isomorphic. For this, it suffices to observe that ...
1
vote
True or false? if $f:X\to \mathbb{R}$ is linear on normed space $X$ with closed graph, then $f$ is bounded.
Following the ideas in the link by @Ningxin we provide a proof that the answer is affirmative:
since $f$ is linear functional, it is enough to prove that $\mathrm{Ker}(f)$ is closed. Let $(x_n) \...
Only top scored, non community-wiki answers of a minimum length are eligible
Related Tags
functional-analysis × 50927real-analysis × 10348
operator-theory × 6761
hilbert-spaces × 5144
banach-spaces × 4758
analysis × 4395
normed-spaces × 3762
measure-theory × 3122
partial-differential-equations × 2933
general-topology × 2882
sobolev-spaces × 2611
lp-spaces × 2542
linear-algebra × 2513
spectral-theory × 1831
operator-algebras × 1666
c-star-algebras × 1338
calculus × 1244
metric-spaces × 1214
solution-verification × 1109
distribution-theory × 1109
fourier-analysis × 1104
integration × 1101
sequences-and-series × 1088
weak-convergence × 1079
compact-operators × 1054