Clase No 1

P UNTOS , T RASLACIONES V ECTORES

Martn Josemara Vuelta Rojas

1.

Espacio de Puntos y de Traslaciones

A la pregunta Qu es el movimiento?

en el sentido que lo entiende la fsica, tal vez sea adecuado responder El movimiento de un cuerpo es el estado en el cual ste cambia continuamente su posicin. Sin embargo, siendo ms juicioso, alguien podra despabilarse con asuntos como la relatividad del mismo, la necesidad de un sistema de referencia y dems cosas. Pero, cul es el origen de toda esa estructura a la cual se le adjudica la condicin de necesaria para el estudio del movimiento? Pues bien, manos a la obra y a esclarecer el misterio, o al menos a hacer el intento que algo bueno podra salir de todo esto. Empecemos tomar los objetos ms primitivos de la geometra, los puntos, y hagamos la siguiente denicin. Denicin 1.1. Espacio. Entindase por espacio es el conjunto de puntos. Este espacio de puntos debe entenderse, al menos por el momento, como una abstraccin matemtica del espacio en el que vivimos1 . En adelante a este espacio lo denotaremos por la letra E y a los puntos pertenecientes a l por letras latinas maysculas. El poder dar cuenta del espacio en esta forma es posible debido a que podemos desplazarnos en l, de este modo diferenciamos un punto de otro por que para llegar de uno a otro debemos realizar cierto desplazamiento. Una abtraccin (de muchas otras que alguien pueda formular) de nuestra primitiva nocin de desplazamiento la denominaremos traslacin, que a continuacin pasamos a denir
1 Pueden formularse dudas existenciales al respecto pero, para poder seguir con el normal desarrollo de clase, dejaremos esas cuestiones la alumno :)

Denicin 1.2. Traslacin. Llamaremos traslacin a un aplicacin biyectiva t de E en E tal que a cada punto A le hace corresponder el punto t (A). Denotaremos el conjunto de traslaciones por T . t : E A E t (A) .

Como consecuencia de la denicin de traslacin resulta la posibilidad de denir una aplicacin biyectiva de modo que : E E T tA,B ,

(A, B)

es decir, para cada par de puntos existe una nica traslacin t tal que t (A) = B. Esta ltima igualdad la representamos tA,B . A continuacin juguemos un poco con las traslaciones veamos que cosas se pueden hacer con ellas que sean tiles a nuestros propsitos.

2.

Operaciones sobre T

Recordemos que el origen de las traslaciones, tal como las denimos en la seccin anterior, esta en nuestra primitiva idea de desplazamiento y por dems asociada a la de movimiento. Pues bien, as como es posible dar un paso luego de otro o, lo mismo que, ir a la casa de alguien y luego a hacia otra; resulta natural querer realizar traslaciones hacia un punto y luego hacia otro. Para explorar esta idea consideremos tres puntos A, B y C. Dada la biyectividad de entonces existen las traslaciones nicas pA,B , qB,C y rA,C convenientemente elegidas dentro de todas la que existen. Entonces resulta claro que B C C = p (A) = q (B) = r (A) = q (p (A))

de donde podemos concluir que q (p (A)) y r (A) son dos formas distintas de trasladar el punto A hasta C. De aqu podemos extraer dos deniciones tiles, la primera es la Denicin 2.1. Igualdad de traslaciones. Dos traslaciones t y t se consideran iguales si para cada punto A se cumple que t (A) y t (A) conducen al mismo punto. obtenida, de forma conveniente, a partir de la idea de que q (p (A)) y r (A) son representaciones distintas del punto C, el cual es el nico en E 2 . La segunda idea til que nos traen las traslaciones sucesivas es la
este momento tengo que decir en mi defensa que esta no es una suposicin adicional si no un hecho natural de la denicin de E como el conjunto de todos los puntos. Sera algo problemtico, y poco til a nuestros propsitos, considerar que alguno de los puntos se repite.
2 Llegado

Denicin 2.2. Composicin de traslaciones. La composicin de traslaciones es una operacin binaria en T tal que a cada par de traslaciones t y t les hace corresponder una traslacin t t . : T T (t, t ) T t t ,

Resulta interesante preguntar por las caractersticas que trae consigo la composicin de funciones. Empecemos por trabajar una traslacin especial i tal que para todo punto A se tiene que i (A) = A. A esta traslacin, que en el sentido propio del trmino no sera tal cosa y eso es lo bonito de la matemtica, la llamaremos traslacin identidad. Denamos entonces, para evitarnos problemas luego, Denicin 2.3. Traslacin identidad. Es aquella traslacin i tal que para todo punto A se cumple que i (A) = A. Evidentemente i i (A) = A y con ello i i = i . consideremos ahora los pares de puntos (A, B) y (B, A), obviamente diferentes, de acuerdo con la biyectividad de existen las respectivas traslaciones pA,B y qB,A sabiendo que esto signica que p (A) = B y q (B) = A entonces p (A) = B q (p (A)) = q (B) q p (A) = A de igual forma q (B) = A p (q (B)) = p (A) p q (B) = B Asumiendo ahora la existencia de los puntos A y B tal que q (A) = B y p (B) = A , lo cual es vlido por la biyectividad de las traslaciones, y haciendo lo mismo que antes se llega la conclusin que pq = q p = i

De esto podemos dar la siguiente denicin Denicin 2.4. Traslacin Inversa. Dada la traslacin t, siempre es posible encontrar otra traslacin t 1 tal que t t 1 = t 1 t = i . A esta traslacin t 1 la denominamos traslacin inversa. Con esta denicin y del problema anterior tenemos que p = r 1 y r = p 1 de 1 modo que resulta natural la conclusin p 1 = p. 3

Denida la inversa y la identidad, veamos ahora algunas cuestiones de orden. Primero exploremos la asociatividad de la composicin de traslaciones. Para ello consideremos cuatro puntos A, B, C y D, y busquemos la forma de trasladar A hasta D. Evidentemente tenemos los caminos siguientes A A A A B B C B. C D, D, D,

Nuevamente la biyectividad de las traslaciones nos dice que existen traslaciones tales que A A A A de ah que s (B) t (A) Adems u (A) = u (A) = s (p (A)) r (t (A)) u u = = s p, r t, = = r (q (B)) q (p (A)) s t = r q, = q p. p (A) = B p (A) = B t (A) = C u (A) = D, q (B) s (B) r (C) = C = D, = D, r (C) = D,

Finalmente, para cualquier punto X concluimos que r (q (p (X))) = r q (p (X)) = r (q p (X)) de modo que la composicin es asociativa. Por ltimo veamos el asunto de la conmutatividad: Si t y su inversa t 1 conmutan, dos traslaciones cualesquiera p y q tambin conmutan? La respuesta a esta pregunta es armativa y, en cierto modo, ya la dimos anteriormente cuando exploramos el tema de la traslacin inversa. En efecto, consideremos los puntos A, B y C, entonces existen traslaciones tales que A p (A) = B q (B) = C. y respecto a estas traslaciones, exploremos las soluciones que tendr la ecuacin q p (A) = p x (A) La solucin, evidentemente nica, es x = p 1 q p. La biyectividad de las traslaciones implica entonces que x = q y por tanto que la composicin de traslaciones es conmutativa. Hasta aqu lo hecho se resume en la armacin siguiente: El conjunto T de traslaciones sobre E dotado de la operacin binaria de composicin tiene estructura de grupo, es decir, (T , ) es un grupo. Adems, por la conmutatividad, (T , ) es un grupo abeliano. 4

Sabiendo esto, los alumnos tiene su primera tarea: Tarea 1. Respecto el grupo (T , ) demostar que: Cada traslacin posee una traslacin inversa nica. El elemento identidad (neutro respecto de ) es nico. La ecuacin p x (A) = q (A) tiene solucin nica, siendo {p, q} (T , ) y A E.

3.

Hacia el concepto de vector

El grupo (T , ) de traslaciones ha surgido como una abstraccin de nuestra idea de desplazamiento y en su estado actual no nos aporta informacin de cosas como las nociones de proximidad, distancia o direccin a las cuales la experiencia nos tiene tan acostumbrados. El objetivo de esta seccin sera construir objetos que nos permitan abstraer estas ideas. Para empezar notemos que la denicin de traslacin nos permite tomar un punto A y traslado hacia otro B o tomar un punto C y hacer lo propio hasta un punto D y esto con la misma traslacin t actuando sobre A o C segn el caso. Esto nos conduce al hecho que cada punto X se puede construir a partir de una traslacin t aplicada sobre un punto O preferencial que convendremos en llamar origen. De esta forma contruimos un isomorsmo entre E y el conjunto T de todas las traslaciones aplicadas sobre O de forma que cada punto se identica por la traslacin tX = t (O) . Esta sera una idea til salvo por el inconveniente de que (T , ) con la denicin habitual de no es un grupo. Entonces la pregunta es cmo recuperar esa estructura y al mismo tiempo identicar cada punto con una traslacin respeto a este punto O. Una pista para resolver esto lo podemos encontrar en la siguiente observacin. Consideremos los puntos A y B tal que existen las traslaciones p y q de forma que p (O) = pA = A y q (O) = qB = B, evidentemente, tal como estn, estas traslaciones no se pueden componer por aplicarse sobre distintos puntos, sin embargo si elegimos de manera conveniente un punto C de modo que q (A) = p (B) = C entonces es posible formar la composicin para llegar de O hacia C pasando por A o por B. As podemos formar una suerte de equivalencia entre los pares de puntos (O, A) y (B, C) a partir del hecho que la traslacin p nos permite trasladar O hacia A y B hacia C, de igual forma podemos relacionar los pares (O, B) y (A, C). Construimos entonces relacin entre pares de puntos segn (A, B) (X, Y ) t T |t (A) = B t (X) = Y Resulta claro que establece una relacin de equivalencia pues cumple las propiedades Reexiva Simtrica : : (A, B) (A, B) (A, B) (C, D) (A, B) (X, Y ) (X, Y ) (C, D) 5 (A, B) (C, D) (A, B) (C, D)

Transitiva :

as cada par de puntos (A, B) permite formar un conjunto que denotaremos por [(A, B)] deniremos como [(A, B)] = {(X, Y ) E E| (A, B) (X, Y )} Este conjunto recibe el nombre de clase de equivalencia y el par (A, B) se denomina representante de la clase. Evidentemente una clase no puede ser vaca y clases distintas son disjuntas. De esta forma descompone el conjunto E E en conjuntos mutuamente disjuntos. Haciendo abuso de la notacin diremos que V = E/ representa el conjunto de clases de equivalencia formadas en E E respecto a y se denomina espacio cociente. Resulta til elegir como representante de cada clase a los pares del tipo (O, X) de forma que la denicin de nos permite identicar cada clase con una traslacin x o simplemente con [X].3 , as podemos establecer un isomorsmo entre el conjunto cociente V y el conjunto de traslaciones T . Ahora solo falta denir una operacin dentro de V para recuperar la estructura de grupo abeliano que, por naturaleza posee T , entonces tomemos la siguiente denicin: Denicin 3.1. Suma de Clases de equivalencia. Dadas las clases de equivalencia [X] y [Y ] tal que X = x (O) y Y = y (O), denimos la suma [X] + [Y ] como la clase de equivalencia [Z] tal que X = x y (O) + : V V ([X] , [Y ]) V [Z] .

Denida de esta forma, la operacin + hereda todas las propiedades de la operacin . Es decir que El conjunto de clases V dotado de la operacin binaria de adicin + tiene estructura de grupo abeliano. Con esto, viene la segunda tarea: Tarea 2. Respecto el grupo (V, +) demostar que: La posee elemento neutro. La operacin + es asociativa. La operacin + es conmutativa. haciendo uso de la denicin de + y las propiedades de .

4. V como espacio vectorial

Un aspecto relacionado con la composicin de traslaciones, que deliberadamente quedo suelto, es el de componer sucesivamente una misma traslacin. Es decir el hecho de formar una traslacin a partir de una composicin sucesiva de otra p consigo misma. De forma casi instintiva la notacin
3 esto

no es ms que un mero asunto de conveniencia para simplicar notaciones

p p p = pn
nveces

para n N y n 2. Podemos extender esto hacia Z haciendo que la composicin sucesiva de p 1 . La extensin hacia Q se hace buscando resolver la ecuacin 1 p n = q de modo que p = q n . En cuanto a V, tomemos una clase [X] de forma habitual con X = x (O), entonces, para la clase [Z] resultante de sumar [X] consigo misma n veces se tiene que z = p n . Este hecho lo podemos representar como [X] + + [X] = n [X]
nveces

haciendo uso de nuestro sentido habitual de suma. Evidentemente cuando n = 1 tenemos la igualdad [X] = [X]. consideremos ahora la suma de las clases [X] y [X ] a las cuales haremos corresponder las traslaciones x y x 1 ,de modo que [X] + [X ] = [O] . siendo [O] la clase cuya traslacin es la identidad i . Convendremos en denotar a [X ] por [X]. Por otra parte, resolver la ecuacin n [X] = [Y ] . nos conduce a que la traslacin correspondiente a la clase [X] no es ms que 1 x = y n con y como la traslacin asociada a [Y ], en este sentido representaremos 1 a [X] por n [Y ] Lo que acabamos de construir es una operacin de composicin externa que llamaremos multiplicacin por un escalar denida por : QV (, x) V V.

donde Q representa el conjunto de los nmeros racionales a los cuales denominaremos escalares. Esta operacin cumple naturalmente las las siguientes propiedades: (a + b) = a + b ( + ) a = a + a 1a=a () a = ( a) donde hemos tomado x = [X], , Q y 1 es la unidad en Q. Dado que (V, +) es un grupo abeliano y (Q, +, ), con la suma y multiplicacin habitual de racionales, es un cuerpo; el cumplimiento de las propiedades anteriores asegura que (V, +, ) es un Qespacio vectorial. No hay motivos para negar una extensin de este hecho hacia R, sin embargo no tenemos ninguna pista para hacerlo de manera natural salvo que (R, +, ), con la suma y multiplicacin habitual de reales, tambin es un cuerpo. Debido a esto denimos la multiplicacin por un escalar en R V segn 7

Denicin 4.1. Producto por un escalar. Es la operacin que asocia a cada par (, x) R V un elemento V. : RV (, x) V V.

e introducimos de forma axiomtica las propiedades Axioma 4.1. Para x e y pertenecientes a V y, y pertenecientes a R se cumple, respecto a la multiplicacin por escalares, que A1 (x + y) = x + y A2 ( + ) x = x + x A3 1 x = x A4 () x = ( x) de este modo aseguramos que (V, +, ) es un Respacio vectorial y los elementos [X] V se denominan ahora vectores y se representan por x.