Skip to main content
2 of 4
added 237 characters in body
ABIM
  • 5.4k
  • 3
  • 19
  • 41

Density of Continuous Functions to interior in set of all continuous functions

Let $M$ be an $m$ dimensional manifold and $N$ be an $n$-dimensional manifold *with boundary*. Suppose also that the topology on $N$ can be described by a metric. Thus, the set $C(M,N)$ can be endowed with the topology of uniform convergence on compacta.


Intuitively is seems that every continuous function $f:M\rightarrow N$ should be able to be approximated by continuous functions of the form $g:M\rightarrow int(N)$; where $N=int(N)\cup \partial N$, $\partial N$ denotes the boundary of $N$ and $int(N)$ the $n$-dimensional manifold defined by removing $N's$ boundary points but is this formally true? ie: is:

$$ \overline{C(M,int(N)} = C(M,N)? $$


Prototype construction: Let $N=[0,b)$ then any function $f$ can be approximated by: $$ f_n= min(\frac1{n},f) , $$ of course, these are continuous but not smooth *(since we don't need smoothness this is a non-issue). I expect this type of contstruction should generalize...

ABIM
  • 5.4k
  • 3
  • 19
  • 41