DEF: Sea S V _ .

Se dice que S es un conjunto ortogonal si y solo si

, , con , se tiene que y son ortogonales. v w S v w v w e =
Sea S V _ . Se dice que S es un conjunto ortonormal si y solo si
S es un conjunto ortogonal y , 1 v S v e =

Ej: Sean | | ( )
, , , f g C IR t t e tal que ( )
( )
( )
( ) cos
,
sen x x
f x g x
t t
= =
y ( ) ( ) / f g f x g x dx
t
t
( ) =
}

Pruebe que { } , f g es un conjunto ortonormal.

RECORDAR:
Sea b IR
+
e .
Si f es una funcin continua en
| |
, b b impar ( ( ) ( ) | |
, , f x f x x b b = e )
entonces ( ) 0
b
b
f x dx

=
}

Si f es una funcin continua en
| | , b b par ( ( ) ( ) | | , , f x f x x b b = e )
entonces ( ) ( )
0
2
b b
b
f x dx f x dx

=
} }

RESPUESTA:
1) Por ver que { } , f g es un conjunto ortogonal, es decir, por ver que
/ 0 f g ( ) =

( ) ( )
( ) ( )
( ) ( )
( ) ( ) ( ) ( )
( ) ( )
cos
1
/ cos
Pero cos cos
La funcin es impar. Luego
1
cos 0
As , las funciones son ortogonales.
sen x x
f g f x g x dx dx sen x x dx
sen x x sen x x
sen x x dx
t t t
t t t
t
t
t t t
t

( ) = = =
=
=
} } }
}










2) Por ver que los vectores son unitarios, es decir, por ver que
1 y 1 f g = =
( )
( ) ( ) ( ) ( )
( ) ( )
( )
( )
( ) ( )
( )
( )
( )
2
2 2
2
2
0
2
2
2
/
Pero , es funcin par. Luego
2
Recodar que de la identidad trigonomtrica cos 2 1 2
1 cos 2
se tiene que: , luego:
2
2
sen x sen x sen x sen x
f x dx
sen x sen x
sen x
dx sen x dx
sen
sen
sen x d
t
t
t t
t
t t t t
t t
o o
o
o
t

= = =
=
= =
=

=
}
} }
( )
( )
( )
| | | |
( ) ( )
0 0 0 0
0
2
0 0
1 cos 2
2 1 1
cos 2
2
Calculemos aparte cos 2
Sea 2 , como 0, se tiene que 0, 2
y 2 , ahora expresamos la integral en trminos de
2
1 1
cos 2 cos
2 2
x
x dx dx x dx
x dx
u x x u
du
du xdx dx u
x dx u du
t t t t
t
t t
t t t
t t

= = =
= e e
= =
= =
} } } }
}
} }
( )
( )
2
0
0 0 0
0
1 1 1
Volvamos a cos 2 0 0 1
Luego 1
sen u
dx x dx x
f
t
t
t t
t
t t t t
=
= = =
=
} }


Queda como un motivador ejercicio, probar que 1 g =
Una vez disfrutado semejante desafo , puede afirmar que { } , f g
es un conjunto ortonormal.