SERIES DE FOURIER

INTRODUCCIN Poder representar una funcin en forma de serie llega a ser una prctica muy comn en las matemticas, y es que con bastante frecuencia encontramos ventajas al expandir una funcin en alguna serie, Seguramente recuerda expansiones un poco ms familiares y que adems ha trabajado con ellas, como las series de potencia de la forma: Ecuacin 1

n donde el conjunto base se compone de las funciones potencia: 1.

, .

,
!as series de "ourier dadas en t#rminos de seno y coseno han sido una importante herramienta para la solucin de aquellos problemas donde intervienen ecuaciones diferenciales ordinarias y parciales, adems de emplearse para anali$ar funciones peridicas a trav#s de la descomposicin en una suma infinita de funciones senoidales mucho ms simples% Si bien toda la teor&a que engloba las series de "ourier es complicada, la aplicacin de #stas, llega a ser ms simple, siendo, en cierto sentido, ms universales que las series de 'aylor, ya que muchas funciones de inter#s prctico que son peridicas discontinuas pueden desarrollarse en series de "ourier, pero no tienen representacin en series de 'aylor% (Kreyszig 1999). l nombre se debe al matemtico franc#s (ean)*aptiste (oseph "ourier (1768-1830), que desarroll la teor&a cuando estudiaba la ecuacin de calor% "ue el primero en estudiar tales series sistemticamente, publicando sus resultados iniciales en +,-. y +,++% (Kreyszig 1999). ntre las reas de aplicacin donde se suele emplear series de "ourier podemos encontrar el anlisis vibratorio, acstica, ptica, procesamiento de imgenes y vo$, se/ales, en teor&a de comunicaciones% 01lyn (ames 2--,3 4na serie de "ourier de una funcin Michael R. 5ullen, 2--63: en su forma general es la siguiente: 0Dennis G. Zill,

Ecuacin 2 l t#rmino 0,

stando definida en el intervalo , , cuyo periodo es 2 % es independiente de y est fuera de la sumatoria% 7e la cuacin 2 encontramos un coeficiente llamado y son coeficientes de la serie%

, el cual corresponde a una

constante real% 8 los

n conjunto estos tres coeficientes son llamados Coeficientes de Fo rier y son el verdadero detalle de las series de "ourier% !a forma de calcularlos se muestran en las cuaciones 9, : y ;% Ecuacin 3 Ecuacin 4 Ecuacin 5 <lgunos ejemplos y ejercicios sugeridos aparecen en la seccin de jercicios, al final de este trabajo% jemplos y

BASES DE FUNCIONES. 4n espacio vectorial de dimensin infinita cuyos vectores de base son funciones, es un tipo de espacio)funcional% sto significa que cada funcin en el espacio funcional puede representarse como una combinacin lineal de las funciones de la base% Para ilustrar el concepto, se empleo el siguiente ejemplo: Se puede crear un vector bidimensional sumando mltiplos de los vectores 1,0 y 0,1 : Ecuacin 6 n #ste ejemplo, se puede decir que el vector , est generado por los vectores 1,0 y 0,1 % !os vectores base ms adecuados son ortogonales, lo que se cumple para 1,0 y 0,1 % 7os vectores son ortogonales si su producto escalar es cero, lo que significa que estn en ngulo recto% 7e la misma forma, dos funciones son ortogonales si su producto escalar es cero% !as funciones y son ortogonales, ya que: Ecuacin 7 4na funcin es de cuadrado integrable s& y solo s&:
| |

5ualquier funcin de cuadrado integrable 0como por ejemplo: una grabacin musical3 puede representarse por una suma de y de varias amplitudes y frecuencias% sta descomposicin lleva a la transformada de "ourier% n este caso los senos y los cosenos son las funciones de base% s importante destacar que mientras que el espacio bidimensional est generado nicamente por dos vectores, un espacio funcional est generado por un nmero infinito de funciones de base, porque su espacio funcional es de dimensin infinita%

ORTONORMAL. 7os vectores si: = de un espacio euclidiano

, 0

, se dice que son ortogonales

Ecuacin 9 (Rafael !r , "oan "ose# Cli$ent, %&&1).

n el caso de funcin coseno se sabe que es ortogonal en el intervalo ! " :

,

" !

Ecuacin 10
,

Ecuacin 11 Si y # son nmeros enteros no negativos distintos% n lgebra lineal, una base ortonormal de un espacio prehilbertiano ' 0es decir, un espacio vectorial con producto interno3, es un conjunto mutuamente ortogonal y normal, es decir, de magnitud unitaria% 4na base ortogonal satisface las mismas condiciones, salvo la de magnitud unitaria> es muy sencillo transformar una base ortogonal en una base ortonormal mediante el producto por un escalar apropiado y de hecho, esta es la forma habitual en la que se obtiene una base ortonormal: por medio de una base ortogonal% <s&, una base ortonormal es una base ortogonal, en la cual la norma de cada elemento que la compone es unitaria%

,
Ecuacin 12

Ecuacin 13

Ecuacin 14

$%

! "1

Ecuacin 15

'iene la propiedad de que es 1 para

0,1,2,

l producto escalar de dos vectores unitarios es simplemente el coseno del ngulo entre ellos% sto es consecuencia de la definicin de producto escalar y del hecho de que el mdulo de ambos vectores es la unidad:

" $

|"||$|%& '

Ecuacin 16

Pero:
|"| |$| (

Ecuacin 17

Por lo tanto:
" $ %& '

Ecuacin 18

7onde

es

el

ngulo

entre

ambos

vectores%

stos conceptos son importantes tanto para espacios de dimensin finita como de dimensin infinita% 4na base ortonormal de un espacio vectorial ( no tiene sentido si el espacio no posee un producto interno% 4n (s#acio de !anach no tendr una base ortonormal a no ser que sea un (s#acio de )il*ert.

ASPECTOS

UE SE DEBEN CONSIDERAR!

?ectores ortogonales% 7os vectores son ortogonales si su producto escalar es igual a cero%
)* +)*

Ecuacin 19
+ ! +

Ecuacin 20

?ectores ortonormales: 7os vectores son ortonormales s&: Si su producto escalar es cero% !os dos vectores son unitarios%

#i$u%a 1. &'c()%'*

)%()n)%+a,'* 'n(%' *-.

Fi"u#a $. %#afica de Seno & Coseno de

E'EMPLOS ( E'ERCICIOS! SECCIN )! SERIES DE FOURIER. E*e+,lo ).) Ejemplo 1 e+tra,do del li*ro de (c aciones Diferenciales con #ro*le$as con -alores en la frontera, ./#ti$a edici0n, de los a tores Zill y C llen Desa##ollo de una funci-n ) 0 0 !. en una Se#ie de Fou#ie#. .! , 0" ! , ,

!o primero que se tiene que hacer es calcular los coeficientes para as& poder darle la forma de serie de "ourier, con !% 1 . ! 1 /. 0 ! . !. 0

@os damos cuenta que la primera integral es -, desarrollando la segunda integral y resolvi#ndola no queda: 1 ! <hora para calcular . !. 1 ! /! . 0 ! 2

tenemos que: 1 . ! 1 /. 0 ! . !. 0

@uevamente nos podemos dar cuanta que la primera integrar es igual a -% <l desarrollar la segunda integral utili$ando el m#todo por partes, nos queda: 1 ! Por lo tanto el resultado para es: . 7onde se usa que c)* ! .1 1 c)* ! 1 . .1 ! . / !. 1 1 . 0

<hora por ultimo hay que calcular a 1 ! 1 / !. !

% . !. 1 1

. c)*

. c)*

Por lo tanto con los resultados obtenidos para los coeficientes la serie nos queda de la siguiente forma: 6 7 8 9 E*e+,lo ).$ Ejercicio 5 e+tra,do del li*ro de (c aciones Diferenciales con #ro*le$as con -alores en la frontera, ./#ti$a edici0n, de los a tores Zill y C llen 2 1 0 . .0 " 8 345"7 0 56" "77 "

0 .! , 0 0" !

, ,

5alculando el coeficiente a- se tiene que: 1 . ! 1 / 1 /. 0 ! 0 ! 3 . 0

! 3 <hora se calculara a % y

1 . ! Antegrando por partes tenemos que: 8 8 2

1 /. 0 !

E E 1

8 la forma para resolver una integral de este tipo es: 8E . . E 8. Sustituyendo valores 1 ! / 2 .. 0

7e nuevo se puede observar que la integral del lado derecho se tiene que resolver por partes% 8 8 2 / ! ! c)* . 2 ! 0 E E . 1

valuando con los l&mites de integracin nos queda: 2 .1 8 se hace lo mismo para 1 . ! Antegrando por partes tenemos que: 8 8 2 E E . 1 : 1 /. 0 ! . 0

8 la forma para resolver una integral de este tipo es: 8E . . E 8.

Sustituyendo valores: 1 ! /. 8 8 2 ! ! ! . E E 1 2 0

/.

valuando con los l&mites de integracin nos queda: . ! .1 2 .1 ! . 2 ! .1 ! 2 ! # .1 . 19

Por lo tanto el resultado final de la serie de "ourier es

: ; < 1

= .0 >

?@A>

B .0 >

= :> # .0

. 09C AD> > E

E*e+,lo ).. Ejercicio 7 e+tra,do del li*ro de (c aciones Diferenciales con #ro*le$as con -alores en la frontera, ./#ti$a edici0n, de los a tores Zill y C llen

.! ,

, !

1 . ! 1 !

1 /. ! ! 1 ! B/ . 0 ! 2 2

! 0

#!

! 9C

1 !

#2! 9

2!

<hora se calculara a

y % 1. ! 1 ! /. . ! 0 1 /. ! ! 0

Antegrando por partes el lado i$quierdo nos queda: 8 8 E E 1

8 la forma para resolver una integral de este tipo es: 8E . . E 8. Sustituyendo valores: 1 ! F . . 1 ! G

1 ! ! c)*

valuando con los limites de integracin nos queda: .1 ! 8 se hace lo mismo para 1 ! : . 1 ! /. ! 0 . .1 ! 0

1 /. !

. !

Antegrando por partes el lado i$quierdo tenemos que: 8 8 E E . 1

8 la forma para resolver una integral de este tipo es: 8E . . E 8. Sustituyendo valores 1 ! F. . 1 . ! c)* G

F.

1 ! ! .

valuando con los limites de integracin nos queda: 1 ! BF. ! .1 . ! .1 ! .1 . ! .1 .2 .1 ! GC 2 .1

Por lo tanto el resultado final de la serie de "ourier es:

=1

.0 >

AD> >

E*e+,lo )./ Ejercicio 11 e+tra,do del li*ro de (c aciones Diferenciales con #ro*le$as con -alores en la frontera, ./#ti$a edici0n, de los a tores Zill y C llen .2, , .1. .2 . 1 , , 0. 1 0 0, 1 1, , , 0

&

1 . 2 1 2 <hora se calculara a : 1 2 /. 0 y

1 /. 2 #.2 H

. .2 1 2

. 1 2

. 0

H 9

F.1

! 2 1 2 2 !

. .2 4 ! 1 ! .

! 2 ! 2 2 ! ! 5 0 2 1 ! ! 2

! 2 ! 5 0 2 . 2 ! ! 2

. 0

! 2

/.

/.

! 5 2

1 !

! 2

8 se hace lo mismo para 1 2 /. 0 ! 2

: . .2 ! 2 . ! 2 . 0 ! 2 0

1 4 / 2 !

! 5 2

2 !

! 5 0 2

2 !

! 5 2

1 !

! 5 0 2 . 3 !

2 2 . ! ! ! 2 3 !

! 2

1 !

! 2

1 !

Por lo tanto el resultado final de la serie de "ourier es: . 0 9 0 : 1 F. >: >: ?@A AD> > = = 0 I > 0 . ?@A >: = AD> >: = G

E*e+,lo ).0 Ejercicio 13 e+tra,do del li*ro de (c aciones Diferenciales con #ro*le$as con -alores en la frontera, ./#ti$a edici0n, de los a tores Zill y C llen ) 1 0 1 0, 5 , .5, ,

1 . 5 1 B H 5 <hora se calculara a y 1 /. 5 : ! 5 .

1 /. 5 1 F5 5

. 1

J C

25 G 2

1 45 K L 5 2

9 2

! 5

! 5

Antegrando por partes la integral de la derecha tenemos que: 8 8 E E 5 ! ! 5

! 5

8 la forma para resolver una integral de este tipo es: 8E . . E 8. Sustituyendo valores: 1 /. 5 ! 5 . ! 5 5 ! ! 5 5 .. 5 ! ! 5 0

1 5 / 5 !

! 5 5

5 !

! 5

5 !

! 5

25 !

! 5

5 0

1 5 8 se hace lo mismo para

25 !

! 5

25 .1 !

25 0 !

5M

.1 !

.1

1 /. 5

! 5

! 5

! 5

Antegrando por partes la integral de la derecha tenemos que: 8 8 E E . 5 ! ! 5

! 5

8 la forma para resolver una integral de este tipo es: 8E . . E 8. Sustituyendo valores 1 /. 5 ! 5 . ! 5 . 5 ! ! 5 5 . 5 ! ! 5 0

1 5

/.

5 !

! 5

5 !

! 5 5 . 5 !

! 5

25 !

! 5

5 0

BF.

1 !

.1 G !

1 !

.1 !

5 .1 !

0C

5 .1 !

Por lo tanto el resultado final de la serie de "ourier es

a 9

O1

/ .0 . 0 ?@A >: O > :

.0 >:

AD> >: 0 O

E'%i' P' #)u%i'% )%i$ina, ! 1 4 1 . .1 c ! 1 P

:aci'nP) ,a* 'QRan*i)n'* P'*P' n"1 Sa*(a n"7 *' (i'n'1 Ba%a n"1 ! 4 Ba%a n"2 ! 4 Ba%a n"3 ! 4 Ba%a n"4 ! 4 Ba%a n"5 ! 4 Ba%a n"6 ! 4 Ba%a n"7 ! 4 2 c)* 7 49! 1 7 7 1 6 6 2 c)* 5 25! 1 5 5 1 4 4 2 c)* 3 9! 1 3 3 1 2 2 2 c)* !

E'%i' P' #)u%i'% )%i$ina, ! 1 6 ; 2 .1 c)* B ! .1 2 ! # .1

. 19C

:aci'nP) ,a* 'QRan*i)n'* Ra%a n"1 Sa*(a n"7 Ba%a n"1 ! 6 Ba%a n"2 ! 6 Ba%a n"3 ! 2 . c)* 3 6 9 ! 4 G F . 3 27! 3 2 c)* 2 4 ! $. S 2 2 . 2 c)* 4 F! . G !

Ba%a n"4 ! 6 Ba%a n"5 ! 6 Ba%a n"6 ! 6 Ba%a n"7 ! 6 . 2 49 c)* 7 ! 4 G F . 7 343! 7 2 c)* 6 36 ! $. S 6 6 . 2 25 c)* 5 ! 4 G F . 5 125! 5 2 c)* 4 16 ! $. S 4 4

E'%i' P' #)u%i'% )%i$ina, : = 1 .0 > AD> >

:aci'nP) nu'Ta+'n(' ,a* 'QRan*i)n'* P'* P' n"1 Sa*(a n"7 Ba%a n"1

! Ba%a n"2

!. Ba%a n"3

! Ba%a n"4

2 3

!. Ba%a n"5

2 4

! Ba%a n"6

2 5

!. Ba%a n"7

2 6

2 7

F)+anP) ,)* Ta,)%'* P' ,a* 'QRan*i)n'* U PVnP),' Ta,)%'* a Q"W U Q"W/2 *' (i'n'n ,)* *i$ui'n('* Ta,)%'*. Ra%a n"1,Q"W 0.148778391 'X'+R,) 1.1 Ra%a n"1,Q"W 3.644934067 'X'+R,) 1.2 Ra%a n"1,Q"W 3.141592654 'X'+R,) 1.3 Ra%a n"1,Q"W/2 1.785398163 Ra%a n"1,Q"W/2 3.513287176 Ra%a n"1,Q"W/2 5.141592654 Ra%a n"2,Q"W 0.785398163 Ra%a n"2,Q"W/2 0.785398163 Ra%a n"3,Q"W 0.087266463 Ra%a n"3,Q"W/2 0.45206483

Ra%a n"2,Q"W Ra%a n"2,Q"W/2 2.144934067 1.144934067 Ra%a n"2,Q"W Ra%a n"2,Q"W/2 3.141592654 3.141592654

Ra%a n"3,Q"W Ra%a n"3,Q"W/2 1.867156289 1.06315765 Ra%a n"3,Q"W Ra%a n"3,Q"W/2 3.141592654 2.474925987

Ra%a n"4,Q"W 0.785398163 Ra%a n"4,Q"W 1.769934067 Ra%a n"4,Q"W 3.141592654

Ra%a n"4,Q"W/2 0.785398163 Ra%a n"4,Q"W/2 1.769934067 Ra%a n"4,Q"W/2 3.141592654

Ra%a n"5,Q"W 0.534070751

Ra%a n"5,Q"W/2 0.985398163

Ra%a n"6,Q"W 0.785398163

Ra%a n"6,Q"W/2 0.785398163

Ra%a n"5,Q"W Ra%a n"5,Q"W/2 1.724934067 2.172721633 Ra%a n"5,Q"W Ra%a n"5,Q"W/2 3.141592654 3.541592654

Ra%a n"6,Q"W Ra%a n"6,Q"W/2 1.700489622 1.589378511 Ra%a n"6,Q"W Ra%a n"6,Q"W/2 3.141592654 3.141592654

Ra%a n"7,Q"W 0.657169892 Ra%a n"7,Q"W 1.685750393 Ra%a n"7,Q"W 3.141592654

Ra%a n"7,Q"W/2 0.642541021 Ra%a n"7,Q"W/2 1.232771765 Ra%a n"7,Q"W/2 2.855878368

E*()* *)n ,)* Ta,)%'* )O('niP)* Ra%a ,a* 'QRan*i)n'*

EX'%cici) 1. i Se calculan los coeficientes !% Para se tiene: 1 . ! Y Y 1 /. 0 Y ! . 5! 2 4! . 3Y Y0 , , X .:, Y, 0 ) 9: . Ii X " i , : para construir la serie de "ourier de Y con

1 3Y /4!Y . 0 ! 2 Para se tiene: 1 . ! Y 1 ! Por lo tanto el resultado para Y Y 1 ! /. 0 Y Y 3 .

4! . 3Y

Y Y0

/ 4! . 3Y es: . 3 c)* Y 5 !

Y Y0

3 . 3 .1 !

7onde c)*

.1 % Y Y 4 . .1 .

<hora por ultimo hay que calcular a

1 . 4! . 3Y !

Por lo tanto con los resultados obtenidos para los coeficientes la serie nos queda de la siguiente forma: Y 5! 4 1 3 . 3 .1 ! Y 4 . .1 Y.

jemplo extra&do del libro de cuaciones 7iferenciales con problemas con valores en la frontera, S#ptima edicin, de los autores Bill y 5ullen

3#

6!

.! , # , !

1 . ! 1 3# / ! 2 <hora se calculara a y 1 . ! 1 !

# #

1 /. !

3#

6!

#0

6!#0 % #

1 3! 3! B/ . ! 2 2 0

1 #6! 6! 9C !

#12! 9

12!

# #

1 /. !

3#

6!

# #0

/. 3#

# #

. 6!

# #0

Antegrando por partes el lado i$quierdo nos queda:

8 8

E 1

# #

# E

8 la forma para resolver una integral de este tipo es: 8E . . E 8. Sustituyendo valores: 1 6! !F # 3# # . 3. 1 # #G

3 ! ! c)*

valuando con los l&mites de integracin nos queda: 3 .1 ! 8 se hace lo mismo para 1 . ! : # # # 1 /. ! . 3 .1 ! 0

3#

6!

# #0

1 /. 3# !

# #

. 6!

# #0

Antegrando por partes el lado i$quierdo tenemos que: 8 8 # E . 1 # #

# E

8 la forma para resolver una integral de este tipo es: 8E . . E 8. Sustituyendo valores 3# 1 6! c)* # . ! F. # 3. 1 # #G

F.

3# !

3 !

#.

#G

valuando con los limites de integracin nos queda: 1 ! B/. 3! .1 . 6! .1 . 3! .1 6! .1 .6 .1 ! 0C 6 .1

Por lo tanto el resultado final de la serie de "ourier es:

<:

< 1

.0 >

AD> >,

4 2 0 8+

.5, +, 0, +, 5

1 . 5 1 B4+H 5

1 /. 4 + 5 1 F20 5

. 2

8+ +0

2+H

8+ J C 2

10

200 G 2

1 260 K L 5 2

26

<hora se calculara a 1 5

: ! ! 5 ! 5

/. 4

5 + +

. 2

+ +

. 8+

+ +0

Antegrando por partes la integral de la derecha tenemos que: 8 8 + E 5 ! ! 5 + ! + 5

+ E

8 la forma para resolver una integral de este tipo es: 8E . . E 8. Sustituyendo valores: 1 5 /. 4 ! 5 + + . 2 ! + + 5 5+ ! ! 5 +5 . . 5 ! ! + +0 5

1 20 / 5 !

! +5 5

10 !

! 5

+5

40+ !

! 5

+5

200 !

! 5

+5 0

1 200 / 5 ! 8 se hace lo mismo para

! 5

200 .1 !

200 0 !

40 M

.1 !

.1

1 /. 4 5

! 5

+ +

. 2

! 5

+ +

. 8+

! 5

+ +0

Antegrando por partes la integral de la derecha tenemos que: 8 8 + + E E . 5 ! ! + 5

8 la forma para resolver una integral de este tipo es: 8E . . E 8. Sustituyendo valores 1 /. 4 5 ! 5 + + . 2 ! 5 + +. 40+ ! ! +5 5 . 40 ! ! 5 + +0

1 20 /. 5 !

! +5 5

10 !

! 5

+5 .

40+ !

! 5

+5

200 !

! 5

+5 0

BF.

20 !

20 .1 G !

10 10 .1 . G ! !

.200 .1 GC !

38 .1 !

.2

Por lo tanto el resultado final de la serie de "ourier es

) 9X F

0I

.0 . 0 > :

?@A

>: O

)G

IR .0 / >:

.=

>: AD> O )0

xpandir en series de "ourier la siguiente funcin:

Se trata de una funcin exponencial compleja, lo que implica que la serie de "ourier a considerar es: 1
/

7onde: 1 2Z 5alculamos el coeficiente 1 . 2Z 1 . 2Z 1

como sigue:

1 2Z 1

. 1

2Z

%2! . % ![Z

L5

1 K L 2Z %2! . % ![Z

Si multiplicamos tanto al numerador como al denominador por el factor: %2! sabiendo que: 1 K L 2Z %2! . % ![Z 1 2Z M 2! ! [Z ![Z % . 2 ! 1 .1 , y adems que *'nS Y %2! %2! . .

% ![Z ,

, obtenemos: % ![Z N % ! [Z

N .1

1 M Z

2! ![ Z

![Z % . 2 ! N .1

+ %2! Z

sto nos lleva a construir la serie del siguiente modo: 1

/

1 M Z

2 ! ! [Z

![Z % N .1 . 2 !

+ %2 !Z

0 Q

1 M

=>: >:[Q U N .0 >:[Q . =>:

AD> ) U=>:Q D!

/"

EQRan*in 'n *'%i'* P' #)u%i'% P' 1 . !

'n .! , 1 ! 1 !

, ! .

. 1 . !

1 . !

c)*

c)*

8'*a%%),,anP) ,a in('$%a, R)% Ra%('* ('n'+)* ,) *i$ui'n('1 8 8 E E c)* *'n

1 !

*'n

..

*'n

G5

.1 ! 1

1 . !

*'n

1 !

*'n

8'*a%%),,anP) ,a in('$%a, R)% Ra%('* )O('n'+)* ,) *i$ui'n('1 8 8 E E *'n . c)*

1 !

F.

c)*

. .1

c)*

G5 .

! 1 \ D .D =: 1 .0 D . D / : 0 > 345 > .0 > D : 0 > .D 56" > 0

6 c)n(inuacin *' +u'*(%a ,a $%a]ica P' ,a 'QR)n'ncia,

15

10

-3

-2

-1

6Zu- *' +u'*(%a ,a $%a]ica P' ,a E'%i' P' #)u%i'% Ra%a ,a EQR)n'ncia,

120 100 80 60 40 20

-4
%LOSARIO!

-2

Es,acio funcional! Se trata de un conjunto de funciones que va de un conjunto a un conjunto , de una clase dada% Se llama un espacio porque en la mayor&a de las aplicaciones, es un espacio topolgico o un espacio vectorial% !os espacios funcionales aparecen en varias reas de las matemticas% Es,acio de Banac1! s un espacio vectorial normado completo% s decir que un espacio de *anach es un espacio vectorial sobre el cuerpo de los nmeros reales o el de los complejos% Es,acio de 2ilbe#3! spacio con producto interior real% 4n espacio vectorial real ( se llama espacio con producto interior real, donde, con cada par de vectores y ^ en (, est asociado un nmero real, el cual se denota por , ^ el cual se llama producto interior de y ^. 0Creis$ig 2--,3 Es,acio 4ec3o#ial! spacio de todos los vectores con componentes y nmeros reales como escalares% 0Creis$ig 2--,3 nmeros reales como