Consider the following two spaces:
\[ \begin{aligned} X &= (C[-1, 1], \| \cdot \|_\infty), \quad \text{the space of all real-valued continuous functions} \\ &\quad \text{defined on } [-1, 1] \text{ equipped with the norm } \| f \|_\infty = \sup_{t \in [-1, 1]} |f(t)|. \\ Y &= (C[-1, 1], \| \cdot \|_2), \quad \text{the space of all real-valued continuous functions} \\ &\quad \text{defined on } [-1, 1] \text{ equipped with the norm } \| f \|_2 = \left( \int_{-1}^1 |f(t)|^2 \, dt \right)^{1/2}. \end{aligned} \]
Let \( W \) be the linear span over \( \mathbb{R} \) of all the Legendre polynomials. Then, which one of the following is correct?
To determine the correct statement about the linear span \( W \) of all Legendre polynomials in the spaces \( X \) and \( Y \), we need to understand the concept of denseness in these spaces.
Let's break down the given information:
Legendre polynomials form a complete orthogonal system on the interval \([-1, 1]\) with respect to the L2 norm. This means that any function \( f \) in \( Y \) can be approximated arbitrarily closely by a linear combination of Legendre polynomials, which implies that \( W \) is dense in \( Y \).
Moreover, by the Stone-Weierstrass theorem, which states that any subalgebra containing a non-zero constant and separating points of a compact space can uniformly approximate any continuous function on that space, \( W \) is also dense in \( X \). Since Legendre polynomials include the constant function and are continuous, they fulfill the conditions, making \( W \) dense in \( X \) as well.
Hence, the correct statement is:
Let \( 0<\alpha<1 \). Define \[ C^\alpha[0, 1] = \left\{ f : [0, 1] \to \mathbb{R} \ : \ \sup_{s \neq t, \, s,t \in [0, 1]} \frac{|f(t) - f(s)|}{|t - s|^\alpha}<\infty \right\}. \] It is given that \( C^\alpha[0, 1] \) is a Banach space with respect to the norm \( \| \cdot \|_\alpha \) given by \[ \| f \|_\alpha = |f(0)| + \sup_{s \neq t, \, s,t \in [0, 1]} \frac{|f(t) - f(s)|}{|t - s|^\alpha}. \] Let \( C[0, 1] \) be the space of all real-valued continuous functions on \( [0, 1] \) with the norm \( \| f \|_\infty = \sup_{0 \leq t \leq 1} |f(t)| \).
If \( T: C^\alpha[0, 1] \to C[0, 1] \) is the map \( T f = f \), where \( f \in C^\alpha[0, 1] \), then which one of the following is/are TRUE?