I can find no precise definitions on the internet for the $L^2$ and $\ell^2$ norms. Certain websites keep switching between the two. Can someone please help me?
What is the difference between $L^2$ norm and $\ell^2$ norm?
-
2The first is for function spaces, the latter for spaces of sequences. – 2012-06-22
-
0I meant, could you please define them for me? It it is square root of the integral of the function or the square root of the summation of the discrete sums of the function? – 2012-06-22
-
1The $\ell^2$ norm is a special case of the $L^2$ norm on a measure space (http://en.wikipedia.org/wiki/Measure_(mathematics)) for the counting measure. – 2012-06-22
2 Answers
Regarding the switching I would like to add that $L^2([0,1])$ and $\ell^2$ are isomorphic as Hilbert spaces (as they are both separable and infinite-dimensional). That means: If $(f_n)_{n\in\mathbb N}$ is an orthonormal basis of $L^2([0,1])$, for example the basis $\{\exp(2\pi i n \,\cdot\,) : n \in \mathbb Z\}$, then \begin{align*} L^2([0,1]) &\to \ell^2\\ f &\mapsto (\left
The scalar product on $L^2$ is given by $\langle f,g\rangle=\int_X \bar{f}{g} \ d\mu$, whereas the scalar product on $\ell^2$ is given by $\langle x,y\rangle =\sum_{i \in \mathbb{N}} \bar{x_i} y_i$. In both cases the norm is given as usual in Hilbert spaces by $\lVert f\lVert=\sqrt{\langle f,f\rangle}$.
So $\ell^2$ is a special case of $L^2$ with $X=\mathbb{N}$ and the counting measure $\mu$.
-
0$\ell^p$ is sometimes used to denote the spaces of functions over other discrete spaces, e.g. $\ell^2(\mathbf Z)$. – 2012-06-22