$C[0,1]$ suele denotar la colección de funciones continuas $f: [0,1]\to \mathbb{R}$ . Se trata de un espacio vectorial sobre $\mathbb{R}$ con la multiplicación definida puntualmente: $(af)(x) = af(x)$ .
¿Qué significaría que dos funciones, $f,g\in C[0,1]$ fueron lineales dependiente ? Significaría que hay dos escalares, $a,b\in\mathbb{R}$ , ambos no nulos, tal que $af + bg = 0$ como funciones. En otras palabras, para todos los $x$ , $af(x) + bg(x) = 0$ .
Para demostrar que $f=x^{3/2}$ y $g=x^{5/2}$ son linealmente independientes, supongamos que tales $a$ y $b$ existen, e intentan demostrar que ambos son cero.. Si tal $a,b\in\mathbb{R}$ existe, entonces $ax^{3/2} + bx^{5/2} = 0$ para todos $x$ . Probemos a enchufar $x=1$ -obtenemos $a+b=0$ . Enchufar $x=1/4$ obtenemos $a/8 + b/32=0$ (nota: también se pueden introducir diferentes valores de $x$ Pero elegí estos para mantener las matemáticas lo más sencillas posible).
Ahora, podemos resolver las dos ecuaciones $a+b=0$ y $a/8+b/32=0$ , para conseguir $a=b=0$ . Ah, pero esto es exactamente lo que queríamos mostrar: $x^{3/2}$ y $x^{5/2}$ no puede tener una suma lineal que sea igual a cero a menos que sea la suma trivial, es decir $0\cdot f + 0\cdot g = 0$ .