For all $n \in \mathbb{N}^*$, we define the matrix $H_n$ by: $$\forall (i,j) \in \llbracket 1; n \rrbracket^2, \quad (H_n)_{i,j} = \frac{1}{i+j-1}$$ We extend to $C^0([0;1], \mathbb{R})$ the inner product $\langle \cdot, \cdot \rangle$ by setting $$\forall f, g \in C^0([0;1], \mathbb{R}), \quad \langle f, g \rangle = \int_0^1 f(t) g(t) \, dt$$ Show that $H_n$ is the matrix of the inner product $\langle \cdot, \cdot \rangle$, restricted to $\mathbb{R}_{n-1}[X]$, in the canonical basis of $\mathbb{R}_{n-1}[X]$.
For all $n \in \mathbb{N}^*$, we define the matrix $H_n$ by:
$$\forall (i,j) \in \llbracket 1; n \rrbracket^2, \quad (H_n)_{i,j} = \frac{1}{i+j-1}$$
We extend to $C^0([0;1], \mathbb{R})$ the inner product $\langle \cdot, \cdot \rangle$ by setting
$$\forall f, g \in C^0([0;1], \mathbb{R}), \quad \langle f, g \rangle = \int_0^1 f(t) g(t) \, dt$$
Show that $H_n$ is the matrix of the inner product $\langle \cdot, \cdot \rangle$, restricted to $\mathbb{R}_{n-1}[X]$, in the canonical basis of $\mathbb{R}_{n-1}[X]$.