Skip to main content
2 of 2
added 32 characters in body
Thomas Kurbach
  • 513
  • 1
  • 5
  • 13

Uniformly closed ideals of smooth/real analytic functions

Consider $U\subseteq \mathbb{R}^n$ an open subset and denote by $R$ either the algebra of real-valued smooth or real analytic functions on $U$. In either case suppose that $R$ is equipped with the subspace topology from $C^0(U,\mathbb{R})$, which is equipped with the topology of uniform convergence on compact sets.

I am interested which ideals of $R$ are closed with respect to this topology. In particular, are ideals generated by finitely many real analytic functions closed in this topology?

I know that if one provides the ring of smooth functions with the Frechet topology of uniform convergence of derivatives on compact sets, then the closed ideals are well understood. In particular, any ideal generated by finitely many analytic functions is then closed in that topology. I also know that the topology I consider on the smooth/real analytic functions here is not particularly well-behaved. For example, it is not complete.

It should be noted that if $X\subseteq U$ is a closed subset then the ideal $J_X\subseteq R$ of all functions in $R$ that vanish on $X$ is closed in the given topology, as uniform convergence implies point-wise convergence.

I am also aware that if one considers the ring of continuous functions on $U$ with the topology of uniform convergence, then the only closed ideals are the ideals of functions vanishing on a given closed subset.

I tried tracking down discussions of this in the literature, but my search has not yielded any fruitful insights.

Thomas Kurbach
  • 513
  • 1
  • 5
  • 13