$C(A)$ is $\|\cdot\|_2$-dense in $\ell_2(A)$

25 Views Asked by At

Let $A \neq \varnothing$ and $\cal {F}$$(A) = \{F \subset A \mid F$ is finite$\}$.

Define $\ell_2 (A) =L^2(A, 2^A, \mu_C)$, with $\mu_C$ the counting measure.

Let $C(A) = \{f: A \to \Bbb C, \exists \ F \in \cal F$$(A) \mid f = 0$ on $A \setminus F \}$.

The following holds:

$C(A)$ is $\|\cdot\|_2$-dense in $\ell_2(A)$.

Where can I find a proof of this claim?

Background: it was given to us in class as an admitted theorem. I do not think that the proof is very advanced, so I would like to see one.

1

There are 1 best solutions below

0
On BEST ANSWER

Hint: If $f:A \to \Bbb C$ is in $\ell_2(A)$ (that is, if $|f|^2$ has a convergent integral with respect to counting measure), then it is zero on all but countably many points.

Hence, we can apply the proof from the case of $A=\Bbb N$.