0
$\begingroup$

Let $A$ be a subset of $\mathbb{R}^n$, and denote by $C(A)$ the space of complex-valued continuous functions defined on $A$. We know that if $A$ is compact then we can define a norm on $C(A)$ so that it is a Banach space. If $A$ is open in $\mathbb{R}^n$ then there exists a topology on $C(A)$ that makes it a Frechet space but not normable (see, for example, page 33-34 of Rudin's Functional Analysis).

Now suppose $A$ is open in $\mathbb{R}^n$. My question is if there exists a topology on $C(A)$ so that the topological vector space $C(A)$ is normable? I don't have any preference for the answer, so either yes or no is good to me.

Similarly I would like to ask the same question for $C^k(A)$, where $k\in\mathbb{N}$, for $C^\infty(A)$, and for $C^\infty(M)$ where $M$ is a smooth manifold (you may put any assumption on $M$ as you like, compact, closed, or has a boundary, etc).

P.S. I know the Kolmogorov's normability criterion, but I guess there exist some topologies on $C(A)$ other than the one above, assuming $A$ is open in $\mathbb{R}^n$. So I am not sure if there is some topology on $C(A)$ that would make it normable.

$\endgroup$

1 Answer 1

4
$\begingroup$

Every real or complex vector space can be equipped with a norm (at least under the axiom of choice): Take a Hamel basis $B$ with coefficient functionals $\varphi_b$ and define $\|x\|=\sum\limits_{b\in B} |\varphi_b(x)|$.

This norm however, is hardly ever of any use. For all your examples, natural additional assumptions would be completeness of the norm and the continuity of all evaluations $\delta_x: f\mapsto f(x)$. The closed graph theorem then implies that the norm topology would be equal to the natural Frechet topology -- which cannot be since in the examples you have proper (non Banach) Frechet spaces.

$\endgroup$
2
  • 4
    $\begingroup$ My answer at math.stackexchange.com/a/1018905/822 shows that the axiom of choice is necessary, and dependent choice is not enough. Which I think argues likewise that such a topology cannot be of any practical use. $\endgroup$ Commented Aug 3, 2021 at 15:46
  • $\begingroup$ Thank both of you for the answers. $\endgroup$
    – Ho Man-Ho
    Commented Aug 3, 2021 at 16:06

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .