\( \DeclareMathOperator{\abs}{abs} \newcommand{\ensuremath}[1]{\mbox{$#1$}} \)
(%i3) |
p
:
-
3
*
x
^
2
+
2
*
x
+
1
$
q : x ^ 2 - x - 2 $ print( p, ", y,", q) $ |
Como base que constituyen de un su sistema generador, ortogonalizamosla:
(%i6) |
u1
:
p
$
u2 : q -( integrate( u1 * q, x, 0, 1) / integrate( u1 * u1, x, 0, 1)) * u1 $ print( "Base ortogonal:", "{", u1, ",", u2, "}") $ |
El ejercicio nos pide la norma de la suma de los vectores:
(%i7) | sqrt( integrate(( u1 + u2) ^ 2, x, 0, 1)) ; |
Observemos que si elegimos u1 de otra forma el resultado será distinto:
(%i10) |
u1
:
q
$
u2 : p -( integrate( u1 * p, x, 0, 1) / integrate( u1 * u1, x, 0, 1)) * u1 $ sqrt( integrate(( u1 + u2) ^ 2, x, 0, 1)) ; |
Created with wxMaxima.
Consideremos los polinomios de \(\mathbb{R}_2[x]\) que debemos ortogonalizar: