Sunteți pe pagina 1din 28

Capitulo 1: Espacios Euclidianos Espacios euclidianos La idea de distancia en es un concepto fundamental, tanto para el estudio de

las propiedades geomtricas de as como tambin para el estudio del clculo ya que los conceptos bsicos relacionados con esta materia, conceptos tales como lmites, continuidad, diferenciabilidad, integrabilidad, etc, de una u otra manera estn relacionados con la nocin de distancia (al menos en el espacio ). Comenzaremos definiendo en primer lugar el espacio usual sobre el cual trabajaremos, esto es el espacio vectorial cuyos elementos los denominaremos usualmente vectores. Luego definiremos dos nociones bsicas que se relacionan con estos vectores: la norma de un vector y el producto interior entre vectores. Finalmente daremos, en base a este concepto de norma, nuestra definicin de distancia. El espacio , junto con su estructura de espacio vectorial, su producto interior, su norma y su distancia, forman una estructura conocida como el espacio eucldeo .

Seccin 1: Espacios Vectoriales de Dimensin Finita Seccin 2: Norma y Distancia Seccin 3: Producto Interior y Ortogonalidad Seccin 4: La Desigualdad de Cauchy Schwarz Seccin 5: Propiedades de la Norma Seccin 6: El Producto Vectorial Problemas

Seccin 1: Espacios Vectoriales de Dimensin Finita Espacios vectoriales de dimensin finita El espacio vectorial simplemente por , el cual para mayor simplicidad denotaremos (se pronuncia erre-ene) es el conjunto formado por las de nmeros reales. Estos

uplas o -arreglos ordenados

arreglos los denotaremos por letras destacadas, como por ejemplo escribiremos:

As,

Asociado a este conjunto de arreglos consideraremos dos operaciones algebraicas: la operacin suma, definida de la manera usual:

y la operacin producto por escalar:

la cual anotaremos simplemente como vale decir, sin el punto '' '' (no confunda el producto por escalar con el concepto de producto interior entre vectores que veremos ms adelante). El conjunto junto con estas dos operaciones suma y producto por escalar, con ambas operaciones sujetas a las propiedades algebraicas usuales, forman lo que se conoce como el espacio vectorial . Las operaciones algebraicas asociadas slo con la suma son:

Las propiedades algebraicas asociadas con la suma y el producto por escalar son:

Es costumbre hablar del ''espacio''

a pesar que el espacio vectorial (usual)

consiste del conjunto propiamente tal y las dos operaciones algebraicas mencionadas anteriormente, sin embargo, por comodidad nosotros tambin seguiremos esta prctica. Observe que el conjunto del siguiente modo: tambin puede ser escrito

Ms an, cuando escribamos no slo entenderemos que este espacio es un espacio vectorial, sino que adems es un espacio eucldeo como ya se indic anteriormente. Seccin 2: Norma y Distancia Norma y distancia Definition 1. Si es un vector en definido por: diremos que

su norma es el nmero

valor que corresponde a la distancia medida desde el origen del sistema hasta el punto cuyas coordenadas son dicho de otro modo: corresponde a la longitud del vector o

2.

Diremos que la distancia euclidiana entre los vectores e dados por:

es el valor

definido por:

Remark 1. Observe que hemos hablado del vector pertene-cien-te al espacio vectorial y del

punto del espacio cartesiano . A pesar que estos dos objetos se describen del mismo modo, vale decir por el n-arreglo ellos representan objetos conceptualmente distintos: en el primer caso, el vector es un objeto matemtico que puede ser representado por medio de una flecha libre en el espacio cartesiano (recuerde la expresin vectores libres). puede ser representado por medio y

Por ejemplo el vector

de una flecha que parte (por ejemplo) del punto

termina en el punto , pero del mismo modo tambin puede ser representado por la flecha que parte del punto y termina en el punto Este vector

usualmente lo representaremos mediante una letra en ''negrita'' o a travs de un medio ms descriptivo como flechas. Por ejemplo escribiremos o

tambin Cualquiera de estas notaciones representa el mismo vector. En cambio, cuando hablemos del punto este tro ordenado tendr una nica interpretacin como las coordenadas de un ''lugar'' o ''punto'' en el espacio tridimensional, o sistema

cartesiano, en donde

, y hablaremos

simplemente del punto y en estos casos usaremos letras maysculas y normales para su denominacin. Por consiguiente, como un n-arreglo puede ser considerado como un vector o como un punto, convendremos en usar letras minsculas y en ''negritas'' en el primer caso y letras normales y maysculas en el segundo. 2. Observe que si tenemos dos puntos en el espacio ,

por ejemplo y , entonces cualquier otro punto sobre el segmento lineal que une ambos puntos extremos tiene las siguientes componentes:

en donde . es un nmero real (parmetro) que vara en el intervalo Por ejemplo, si el punto inicial y si . , se obtiene , se obtiene es decir, es

decir, el punto final . Si , se obtiene justamente las coordenadas del punto medio del segmento que une los puntos anteriores. 3. Observe tambin que en el caso en que corresponda

a o la distancia definida entre los vectores e no es ms ni menos que la distancia ordinaria (usual) que hay entre estos dos objetos con-si-de-ra-dos como puntos en sus respectivos espacios. Por ejemplo, en el caso en que distancia co-rres-pon-diente es: , la

En el caso de y el vector

la distancia entre el vector corresponde a la distancia y el punto

cartesiana usual entre el punto

distancia que, obviamente podemos calcular usando el teorema de Pitgoras, vale decir,

4. De la misma manera, tambin es posible usar el teorema de Pitgoras para demostrar que la distancia ordinaria entre el punto y el punto de , est dada por:

valor que obviamente coincide con el dado por la definicin de distancia entre los vectores e . 5. Es costumbre, cuando se trabaja en el espacio euclidiano tridimensional usual, vale decir en , denotar las coordenadas

de un vector usando las letras , y , vale decir, escribir . Si tuvisemos otro vector, digamos , entonces para diferenciar las respectivas coordenadas usamos un subndice para el primer vector y otro subndice para el segundo. Por ejemplo podemos escribir: e

. En el caso en que tengamos ms variables, como por ejemplo si , escribiramos los elementos del arreglo usando slo una letra, pero haciendo variar los subndices:

6.

Tambin, cuando se trabaja en el espacio euclidiano mediante la expresin y representan los vectores

es usual denotar el vector en donde las letras , y

respectivamente. Esta es

simplemente la representacin de en trminos de la base

cannica (natural) constituida por los vectores algunos ejemplos: Example Calcule la distancia entre los vectores Solucin. Segn la definicin, tenemos: e

y . Ahora

Example Encontrar el conjunto , de todos los puntos de unidades del origen Solucin. Si equivalente a: . debe cumplirse que , lo cual es que estn a la distancia de 4

Eliminando la raz se tiene , ecuacin que corresponde a una circunferencia de radio 4, centrada en el origen. Example Encontrar todos aquellos puntos que se encuentran a 6 unidades del punto . Solucin. Como

se tiene que:

lo que claramente corresponde a la ecuacin de la circunferencia de radio 6 centrada en el punto .

Example Identifique los siguientes conjuntos:

Solucin. La condicin

es equivalente a la ecuacin la que representa una circunferencia de centro y

radio , que divide el plano en dos regiones, una interior y la otra exterior a dicha circunferencia. Observe que la parte interior corresponde precisamente al conjunto y la parte exterior, junto con los puntos sobre la circunferencia corresponden al conjunto . , co-rresy cuya ecuacin . Por lo tanto corresponde

En forma totalmente anloga tenemos que pon-de al casquete esfrico de radio 7 centrado en cartesiana es

al conjunto de puntos (interiores) de la esfera de radio centrada en el punto menos los puntos en la frontera.

Seccin 3: Producto Interior y Ortogonalidad Producto interior y ortogonalidad La distancia euclidiana definida arriba, es un caso particular de lo que se denomina una mtrica. Este concepto de mtrica puede ser aplicado a otras situaciones, por ejemplo si consideramos el conjunto que consiste de

todas las funciones continuas definidas en el intervalo

podramos definir una

distancia o mtrica entre dos funciones y de este conjunto de la manera siguiente:

Hay muchas ms posibilidades, por ejemplo la distancia

o la distancia

definida por:

Estas tres distancias son ejemplos tpicos de mtricas. Cada una de ellas tiene su utilidad, por ejemplo, escribir:

significa que estamos exigiendo que, para cada valor de entre y

, la diferencia

vare slo entre -1 y +1. En cambio, si escribimos que:

estamos exigiendo que el rea total entre las grficas de y sea menor que la unidad.

Finalmente, si escribimos:

estamos exigiendo que el promedio radical cuadrtico del rea entre las grficas de y sea menor que la unidad. Uno de los objetivos que se tiene en mente cuando se usa una mtrica determinada tiene que ver con el tipo de soluciones que se desea hallar para un problema determinado. As, una solucin aproximada, que est a una unidad de distancia de la solucin exacta de algn problema, tendr, en general, una estructura diferente dependiendo de la mtrica que se us para resolver el problema. Por otra parte lo que hace verdaderamente til el concepto de mtrica o distancia reside en que cumplen con todas aquellas propiedades que uno espera en forma natural que ellas cumplan, como por ejemplo la desigualdad triangular. Sin embargo demostrar que cada una de estas definiciones cumplen con estas propiedades resulta, en el mejor de los casos, un trabajo engorroso y por lo dems tedioso. Una buena solucin para este problema es restringirse (en lo posible) a distancias definidas en base a normas, pues en estos casos las propiedades de la mtrica se deducen de las correspon-dien-tes propiedades de la norma. Pero, como podr darse cuenta el estudiante perspicaz, esto es equivalente a trasladar el problema de la mtrica a la norma. Una solucin a este problema consiste en usar normas que a su vez estn definidas en base a lo que se denomina producto interior. Este ltimo concepto, adems de ser til por s mismo, ya que nos permite hablar de ngulos entre vectores, tambin nos permite definir normas que, por supuesto, cumplan con las propiedades que se espera de ellas. Comencemos con la definicin del producto interior usual en Definition Sean e dos vectores en digamos e o por . .

Entonces el producto interior entre e que denotaremos por se define de la siguiente manera:

en donde es el ngulo formado por los vectores e cuando estos vectores son representados como flechas que parten del origen del sistema de coordenadas. Remark

1. Como se forman dos ngulos entre los vectores e , usted puede tomar cualquiera de ellos, ya que si uno de ellos es , entonces el otro es ambos casos, es el mismo: , y por consiguiente el coseno, en .

2. En general se usa la notacin cuando se trabaja con vectores particulares. Por ejemplo, escribiramos para denotar el producto interior entre los vectores y . El uso de la notacin con corchetes angulados en estos casos produce mucha confusin con los parntesis. Por otro lado se prefiere el uso de la notacin cuando se desea enfatizar la propiedad de bilinealidad del producto interior:

propiedades que pueden demostrarse fcilmente. 3. El producto interior es muy til para calcular distancias a lo largo de proyecciones ortogonales. En efecto, si observamos la figura del tringulo rectngulo dada ms adelante vemos que la longitud del cateto colineal con el vector unitario es ) est dada por , por consiguiente, el vector que tiene la misma direccin y sentido del vector cuya longitud es igual a dicho cateto es justamente nos permite dar la siguiente definicin: Definition Sean y dos vectores en con vector unitario. El vector pero . Esto (unitario, esto

correspondiente a la componente ortogonal del vector en la direccin y sentido

del vector , se conoce como "proyeccin ortogonal de a lo largo del vector (vea Figura).

"

Proyeccin

del vector a lo largo del vector unitario

Proposition Sean y dos vectores en con vector unitario. Entonces

Demostracin. Es una consecuencia directa de la definicin puesto que el vector es unitario. Proposition Sean e dos vectores en . Entonces,

Demostracin. Consideremos el tringulo determinado por el origen y los vrtices y (ver Figura).

{}

Observe ahora que la distancia desde distancia entre y es

hasta

es justamente igual a y es

, la

y la distancia entre

. Por otra parte

corresponde al ngulo determinado por los lados con vrtice comn . En consecuencia, de acuerdo al teorema generalizado de Pitgoras, la distancia entre y est dada por:

Por otro lado, de acuerdo a la definicin de distancia entre los vectores e tiene que:

, se

Igualando ambas expresiones se tiene:

Elevando al cuadrado y despejando

, obtenemos:

Finalmente, dividiendo por , concluimos que:

lo cual termina la demostracin. Corollary Dos vectores no nulos en Esto es: son ortogonales (perpendiculares) si y slo si

Demostraci\on. De acuerdo a la Proposicin anterior se tiene que:

por lo tanto, como

si y slo si

, se concluye que

si y slo si

, es decir si y slo si demostracin. Observe que si entonces:

Esto termina la

Esta propiedad se utilizar para demostrar la desigualdad triangular de la norma. Example Encuentre la distancia (mnima) que hay entre el punto y la recta que pasa por el origen de coordenadas y tiene la misma direccin que el vector (vea Figura).

Solucin. Es fcil ver que el vector

es ortogonal (perpendicular) al vector

. Luego, un vector unitario en la direccin que va desde el punto hasta el punto est dado por distancia buscada es: . Por lo tanto, se tiene que la

Seccin 4: La Desigualdad de Cauchy Schwarz

La desigualdad de Cauchy-Schwarz Adems de la relacin existe otra relacin entre la norma y el producto interior llamada desigualdad de Cauchy-Schwarz: Proposition Sean e dos vectores en cumple la desigualdad de Cauchy-Schwarz: . Entonces se

Demostraci\on. Tome valor absoluto en ambos lados de la igualdad y recuerde que .

En realidad esta desigualdad tambin es vlida en . Para demostrar este aserto, primero debemos definir producto interior en este espacio ms general, de modo tal que esta definicin coincida con la dada anteriormente para el caso particular de Esto es simple de hacer ya que hemos demostrado que en se

cumple la igualdad siguiente definicin: Sean e

. Por consiguiente tenemos la

dos vectores en

Diremos que su producto interior

est definido por la siguiente igualdad:

Proposition El producto interior siguientes propiedades: 1. cumple con las

2. 3. 4. 5. Demostraci\on. Ejercicio. Proposition En el producto interior Schwarz: tambin cumple con la desigualdad de Cauchyy

la cual, expresada usando coordenadas, es equivalente a:

Demostracin. Debido a que cualquier nmero real (positivo o negativo) elevado al cuadrado en mayor o igual a cero, se deduce que para todo se cumple:

Observe que hemos llegado a que para todo

, se cumple la desigualdad:

en donde

Esto significa que el grfico de la curva:

es una parbola abierta hacia arriba y corta al eje de las a lo ms en un punto (ya que si cortara en dos puntos distintos, la parte de la parbola que quedara entre estos dos puntos asumira valores negativos, lo cual contradecira el hecho que para todo real). Por lo tanto, recordando la relacin que existe entre el discriminante de una ecuacin de segundo grado y el nmero de soluciones, deducimos que dicho discriminante debe ser menor o igual a cero. Esto es:

Por lo tanto, dividiendo por 4, obtenemos que,

Extrayendo races cuadradas y recordando que y se deduce que demostracin. , vale decir

son nmeros no negativos, Esto termina la

Seccin 5: Propiedades de la Norma Propiedades de la norma Proposition La norma en 1. satisface las siguientes propiedades: con

2. 3.

con

y con

(Desigualdad triangular)

Demostracin. La demostracin de las propiedades 1 y 2 queda como ejercitacin. Nosotros slo nos limitaremos a la demostracin de la desigualdad triangular. De acuerdo a la proposicin anterior y a la desigualdad general de CauchySchwarz, se tiene:

Finalmente extrayendo raz cuadrada se deduce la tesis. Esto termina la demostracin.

Seccin 6: El Producto Vectorial El producto vectorial Otro tipo de operacin entre vectores de es el llamado ''producto vectorial'' y que por sus propiedades, que veremos ms adelante, puede ser de alguna utilidad. Definition Sean vector: e dos vectores en . Entonces el

se denomina producto vectorial de e y se anota

La siguiente proposicin establece algunas propiedades de este producto vectorial: Proposition Sean tiene: y tres vectores en entonces, si y son dos nmeros reales, se

1. 2. 3. 4. 5. Demostraci\on. Se deja de tarea. Use la definicin y las propiedades de los determinantes. La propiedad enunciada en el punto 4, esto es,

nos permite usar el simbolismo

para denotar, ya sea

. Esta particular combinacin de productos se denomina ''producto mixto''. Algunas propiedades de este producto se enuncian en la seccin de problemas. Terminemos esta seccin con una ltima propiedad del producto vectorial: Proposition Sean e dos vectores en entonces:

en donde es el ngulo entre ambos vectores. Demostraci\on. Demostraremos que la expresin de la derecha es igual a :

Esto termina la demostracin. Problemas 1. Verifique que la distancia euclidiana, cumple las siguientes propiedades: a. b. c. d. . . . .

Cualquier funcin que cumpla con estas cuatro propiedades se denomina mtrica o distancia. 2. Demuestre que los vectores son ortogonales. 3. Sean y siguientes conjuntos: dos puntos de . Identifique los y

a. es el conjunto de todos los puntos de tales que la suma de sus distancias a los puntos dados es igual a 16. Ayuda: Los puntos la ecuacin: que pertenecen a satisfacen

b. es el conjunto de todos los puntos en tales que la diferencia (resta) de sus distancias a los puntos dados es igual a 16 o -16. 4. Calcule la distancia entre los puntos y

. 5. Halle las coordenadas del punto medio del segmento lineal que une los dos puntos del problema anterior. 6. Halle las coordenadas de un punto y al punto sobre el segmento , de tal sea el doble de la

que une los puntos modo que la distancia desde

distancia de al punto . 7. Considere el tringulo determinado por los puntos , y . Determine el

ngulo correspondiente al vrtice 8. Demuestre que la recta que pasa por los puntos y , es ortogonal a la recta que pasa por los

puntos y . 9. Demuestre la Ley del Paralelgramo:

Interprete geomtricamente, con ayuda del grfico dado, esta identidad.

10. Demuestre la siguiente igualdad, llamada identidad de Polarizacin:

11.

Demuestre que si son dos vectores en

e , entonces

es una distancia. Ver Problema 1 para la definicin de distancia. 12. Demuestre que si son dos vectores en e , entonces,

tambin es una mtrica. 13. Si es la mtrica (distancia) ordinaria en , la

mtrica definida en Problema 11, y la mtrica definida en Problema 12, entonces se cumple que:

14. Demuestre la Proposicin relativa al producto interior de la Seccin 4.. 15. en En un espacio vectorial cualquiera, como por ejemplo

tambin es posible definir, al igual que en

productos interiores. La definicin general es la siguiente: un producto interior es cualquier funcin, denotada por medio de un par de parntesis de modo que y que adems cumpla con las propiedades enumeradas en la Seccin 4. Demuestre que,

es efectivamente un producto interior en correspondiente norma est dada por:

cuya

Deduzca que esta norma induce a su vez la mtrica definida en la Seccin 3.. 16. Sea una matriz cuyos elementos son nmeros tal que

reales. Demuestre que existe

para todo vector

Indicacin: desarrolle el producto del lado izquierdo y luego use la desigualdad de Cauchy-Schwarz. 17. Demuestre que si y son ocho nmeros reales arbitra-rios, entonces la desigualdad de Schwarz consiste en:

y la desigualdad de Minkowsky en:

18.

Demuestre, sin integrar directamente, que:

Indicacin: use Problema 15. Compruebe su resultado integrando directamente. 19. Demuestre que en la desigualdad de Cauchy-Schwarz en se cumple la igualdad si y solo si uno de los vectores es un mltiplo del otro. Indicacin. Estudie la demostracin de la desigualdad dada en la Seccin 4. Observe que la sumatoria es siempre estrictamente positiva a menos que... 20. Una matriz cuadrada de para todo de nmeros reales se . Suponga que la

dice que es simtrica si matriz es simtrica de orden matriz

y definamos como la siguiente

Demuestre que:

La expresin 21.

se denomina "forma cuadrtica". . Demuestre que,

Sean y dos funciones en

es una norma en

22. Sean tres vectores en . Si representamos estos tres vectores en posicin estndar, esto es, con base en el origen, ellos determinan un paraleleppedo. Demuestre que el volumen de dicho paraleleppedo es:

en donde

son las coordenadas del vector

(similarmente para y ) y adems es el valor absoluto del determinante respectivo. 23. Demuestre que el volumen de la pirmide cuyas tres aristas convergentes a un mismo vrtice coincidan en longitud y direccin con los vectores y , de modo tal que los tres tengan como punto de inicio dicho vrtice, est dado por:

24. Suponga que y son tres nmeros reales distintos entre s. Demuestre que los vectores

nunca son coplanares. 25. Usando mtodos vectoriales demuestre que si los puntos medios de lados adyacentes de un cuadriltero arbitrario se unen por medio de un segmento rectilneo, entonces el cuadriltero (ver figura) resultante es un paralelgramo.

Indicacin. Si

son los vrtices del cuadriltero, nombrados y los puntos

en el sentido de los punteros del reloj y si medios de y

respectivamente, entonces

. 26. Pruebe, usando mtodos vectoriales, que las diagonales de un paralelgramo se dimidian mutuamente. Indicacin. Vea el problema anterior. 27. Halle el ngulo agudo formado por dos diagonales de un cubo. 28. Halle la longitud de una diagonal de un cubo de lado unitario.

29. Sean tres vectores en nmero real arbitrario. Demuestre que,

y suponga que es un

30. Sean tres vectores en nmero real arbitrario. Demuestre que,

y suponga que es un

31.

Sean

tres vectores en

. El producto

se denomina producto vectorial triple. Demuestre que,

32. 6. 33.

Demuestre la Proposicin dejada de tarea de la Seccin Demuestre que:

34.

Demuestre la identidad de Jacobi: