2

Maybe this question is a bit basic.

I saw a proof of the separability of $L^p$ space ($1\le p<\infty$) from a lecture note, it uses continuous functions with compact support (as the countable dense subset) to prove the conclusion. Maybe I am not clear about this concept "countable dense subset", but the set of continuous functions with compact support isn't countable and $|C_c|=|\mathbb R|$ actually. So how can I find the map from the set to natural number set? (I mean, why it is "countable" dense subset of $L^p$ space?)

TaD
  • 813
  • The idea is that $C_c$ is separable and dense in $L^p$, hence has a countable dense subset $D$. Then $D$ is dense in $L^p$. – Evangelopoulos Foivos Nov 28 '24 at 21:03
  • 1
    @EvangelopoulosFoivos OK, so... about the concept, I think the set $C_c$ is a dense subset of $L^p$ but not countable one, right? – TaD Nov 29 '24 at 02:52
  • What is the domain? An open subset of Euclidean space? Are you also looking for a proof that $C_{c}$ has a countable dense subset in the $L^{p}$-norm? Or are you simply looking for confirmation on what you have already asked about? – Dean Miller Dec 01 '24 at 12:59
  • @DeanMiller, well, I know how to proof that conclusion, just... I didn't know why it is countable. – TaD Dec 01 '24 at 17:54
  • @TaD Can you state what your domain is? That is, you must be looking at $C_{c}(X)$ and $L^{p}(X)$ for some space $X$. What is $X$? If you can do that then I should be able to provide a proof. – Dean Miller Dec 01 '24 at 20:14
  • @DeanMiller, its domain is just "a measurable set $X$ in $\mathbb R^d$", I think $\mathbb R^d$ is also included in it. – TaD Dec 02 '24 at 02:16
  • @DeanMiller, Lebesgue-measurable, I think. – TaD Dec 02 '24 at 02:19
  • @TaD Thanks. I will also take the subset $X$ as being open in $\mathbb{R}^{d}$ to work with $C_{c}(X)$ in a reasonable manner. – Dean Miller Dec 04 '24 at 05:41

1 Answers1

1

Fix $\Omega$ as a non-empty open subset of $\mathbb{R}^{d}$ throughout. Also let $\mu$ denote the Lebesgue measure on $\mathbb{R}^{d}$.

You are correct in pointing out that $C_{c}(\Omega )$ is dense in $L^{p}(\Omega )$ while being an uncountable set. One way to see that $C_{c}(\Omega )$ is uncountable is that if $x_{0} \in \Omega$ is fixed, then for each $\alpha \in \mathbb{R}$ there exists some $f\in C_{c}(\Omega )$ such that $f(x_{0}) = \alpha$. This obtains an injection of the uncountable set $\mathbb{R}$ into $C_{c}(\Omega )$.

However, as mentioned in the comments, it is not necessary for $C_{c}(\Omega )$ to be a countable set. The main idea is to look at a smaller dense space where it is easier to find a countable dense subset. Then such a countable subset will also be dense in the larger space.

We will modify this proof to obtain the following result.

Theorem. Let $p\in [1, \infty )$. Then $C_{c}(\Omega )$ is separable when equipped with the $L^{p}$-norm.

Proof. Let $(K_{n})_{n\in\mathbb{N}}$ be a sequence of compact subsets of $\Omega$ such that $K_{n} \subseteq {\rm int} \, K_{n+1}$ for all $n\in\mathbb{N}$ and $\bigcup_{n\in\mathbb{N}} K_{n} = \Omega$. To see that such a sequence exists, you may take \begin{equation} K_{n} = \{x\in \Omega : \|x\| \leq n \; \text{and} \; {\rm dist}(x, \mathbb{R}^{d}\setminus \Omega ) \geq 1/n \} \end{equation} for each $n\in\mathbb{N}$ if desired. Such a sequence $(K_{n})_{n\in\mathbb{N}}$ has the additional property that if $K\subseteq \Omega$ is compact, then $K \subseteq K_{n}$ for some $n\in\mathbb{N}$. To see this, note that $\{ {\rm int} \, K_{m} : m \in \mathbb{N} \}$ covers $\Omega$. In particular, this collection of open sets covers the compact set $K$, so a finite collection of them cover $K$. Since the collection is increasing in $m$, there is some $n\in\mathbb{N}$ such that $K \subseteq {\rm int} \, K_{n} \subseteq K_{n}$ as desired.

Next, for each $n\in\mathbb{N}$ define $C_{n} := \{ f\in C_{c}(\Omega ) : {\rm supp} \, f \subseteq K_{n} \}$. We claim $C_{c}(\Omega ) = \bigcup_{n\in\mathbb{N}} C_{n}$. Clearly $\bigcup_{n\in\mathbb{N}} C_{n} \subseteq C_{c}(\Omega )$. For the other inclusion, let $f\in C_{c}(\Omega )$. Then ${\rm supp} \, f$ is compact and so is contained in $K_{n}$ for some $n\in\mathbb{N}$. Hence $f\in C_{n} \subseteq \bigcup_{n\in\mathbb{N}} C_{n}$.

Fix $n\in\mathbb{N}$. Define $\phi_{n} : C_{n} \to C(K_{n})$ by $\phi_{n}(f) := f\vert_{K_{n}}$. Since ${\rm supp} \, f \subseteq K_{n}$ for each $f\in C_{n}$ we have that $\phi_{n}$ is an isometry from $(C_{n}, \|\cdot\|_{\infty} )$ into $(C(K_{n}), \|\cdot\|_{\infty} )$. Because $K_{n}$ is a compact metrisable space we have that $C(K_{n})$ is separable. Hence $C_{n}$ is isometrically isomorphic to a subspace of a separable space, so $C_{n}$ is also separable with the uniform norm. Consequently, for each $n\in\mathbb{N}$ there exists a countable set $A_{n} \subseteq C_{n}$ which is dense in $(C_{n}, \|\cdot\|_{\infty} )$.

Now define $A := \bigcup_{n\in\mathbb{N}} A_{n}$. Then $A$ is countable. We claim $A$ is dense in $(C_{c}(\Omega ), \|\cdot\|_{L^{p}})$. Let $f\in C_{c}(\Omega )$ and $\varepsilon > 0$. Then there is some $n\in\mathbb{N}$ such that ${\rm supp} \, f \subseteq K_{n}$. Choose $g\in A_{n}$ such that $\|g - f\|_{\infty} < \varepsilon / (1 + \mu (K_{n})^{1/p})$. (At this point it is being used that the Lebesgue measure is finite on compact sets.) Then $g\in A$ and it follows, since ${\rm supp}(g-f) \subseteq K_{n}$, that $\|g - f\|_{L^{p}} \leq \mu (K_{n})^{1/p} \|g - f\|_{\infty} < \varepsilon$. Therefore $A$ is a countable dense subset of $(C_{c}(\Omega ), \|\cdot\|_{L^{p}} )$ and this completes the proof.

Dean Miller
  • 7,015
  • 1
  • 7
  • 34