[Math] How to prove that vectors are linearly independent in $ \mathcal{C}[0,1]$

linear algebra

I'm presented with the question:

Show that the given vectors are linearly independent in $\mathcal{C}[0,1]$:

$x^{3/2}, x^{5/2}$

I'm having a terrible time understanding linearly algebra in general. I think my part of my problem with this question is understanding what the $\mathcal{C}[0,1]$ notation means. Beyond that, I'm still not exactly sure how to show this. Any help would be greatly appreciated.

Best Answer

$C[0,1]$ usually denotes the collection of continuous functions $f: [0,1]\to \mathbb{R}$. This is a vector space over $\mathbb{R}$, with multiplication defined pointwise: $(af)(x) = af(x)$.

What would it mean if two functions, $f,g\in C[0,1]$, were linearly dependent? It would meant that there were two scalars, $a,b\in\mathbb{R}$, not both zero, such that $af + bg = 0$ as functions. In other words, for all $x$, $af(x) + bg(x) = 0$.

To show that $f=x^{3/2}$ and $g=x^{5/2}$ are linearly independent, let's assume that such $a$ and $b$ exist, and try to show that they're both zero.. If such $a,b\in\mathbb{R}$ exist, then $ax^{3/2} + bx^{5/2} = 0$ for all $x$. Let's try plugging in $x=1$—we get $a+b=0$. Plugging in $x=1/4$, we get $a/8 + b/32=0$ (note: you could also plug in different values of $x$, but I chose these to keep the math as simple as possible).

Now, we can solve the two equations $a+b=0$ and $a/8+b/32=0$, to get $a=b=0$. Ah, but this is exactly what we wanted to show: $x^{3/2}$ and $x^{5/2}$ cannot have a linear sum which equal zero unless it is the trivial sum, i.e. $0\cdot f + 0\cdot g = 0$.

Related Question