GEOMETRA EN ESPACION AFN Y ESPACIOS EUCLDEOS

Autores:

DANIEL TOLEDO SERRANO DAVID CRESPO RONCERO ANTONIO RUIZ DE MARTIN ESTEBAN ENRIQUE JOSE SAIZ LOZANO

Albacete, Enero 2010

RESUMEN Con la geometra afn es el estudio de los conceptos y propiedades que permanecen inalterados por las afinidades. Un concepto afn bsico, ya se puede usar para definir conceptos y relaciones afines ms complejos, es la razn simple de una terna de puntos alineados. En cierto modo, es el concepto afn fundamental, ya que una aplicacin de un espacio afn en s mismo es una afinidad si y solo si transforma puntos alineados en otros puntos alineados y conserva el valor de las razones simples. La geometra Eucldea es el estudio de las propiedades geomtricas de los espacios eucldeos. Un espacio eucldeo es un espacio vectorial real dotado de un producto escalar. La geometra Eucldea es el estudio de los invariantes de espacios eucldeos al aplicarles transformaciones ortogonales. Es importante no confundirla con la geometra Euclidiana, que es el estudio geomtrico del plano afn eucldeo real y del espacio afn eucldeo tridimensional real mediante el mtodo sinttico, introduciendo los cinco postulados de Euclides.

Antecedentes histricos 1. GEOMETRA ESPACIO AFN. 1.1 Espacio afn. 1.2 Variedades lineales. 1.3 Referencia afn. 1.4 Aplicaciones afines. 2. GEOMETRA ESPACIO EUCLIDEO. 2.1 Vectores en los espacios de dos y tres dimensiones. 2.2 Axiomas paralelas. 3. APLICACIONES A LA INGENERA. Bibliografa.

Resea Histrica
Los dibujos y diseos del hombre neoltico revelan su inters por las relaciones espaciales y preparan el camino a la geometra. Ese inters puede haber surgido de su sentido esttico como, tambin, de prcticas rituales primitivas. La palabra GEOMETRA deriva de los vocablos geo= tierra y metra= medida. Los primeros vestigios de escritura del hombre, provienen de la Mesopotamia y de Egipto, y datan de 3000 a.C. Los vestigios de resultados geomtricos ms antiguos fueron descubiertos en la India y se denominan Sulvasutras o reglas de la cuerda". Se trata de relaciones muy sencillas que, al parecer, se usaban en la construccin de altares y templos. Los tensadores de cuerdas" (agrimensores) en Egipto tenan motivaciones ms practicas que sus colegas de la India, segn sugieren los historiadores. Para Herodoto, la geometra habra surgido en Egipto de la necesidad prctica de volver a trazar las lindes de las tierras despus de la inundacin anual del valle del Nilo. En el polo opuesto, Aristteles sostena que el desarrollo de la geometra en Egipto, se deba a la existencia de una amplia clase sacerdotal ociosa. Entre la documentacin histrica se destaca el Papiro de Ahmes, tambin llamado Papiro de Rhind. Es un rollo de 30 cm por 6 cm, copiado por el escriba Ahmes, aproximadamente 1650 a.C. y que Henry Rhind, anticuario escocs, comprara en 1858 en un comercio del Nilo. Actualmente se encuentra en el Museo Britnico de Londres. Contiene varios problemas geomtricos y muestra, por ejemplo, que para calcular el rea de un triangulo issceles hay que tomar la mitad de lo que hoy llamaramos la base, y multiplicarlo por lo que hoy nombraramos como su altura. Para obtener este resultado ya usaban lo que ms tarde se conocera como relacin pitagrica. El principal defecto de la geometra egipcia radica en la falta de distincin, clara y precisa, entre las relaciones que son exactas y las que son solo aproximadas. En la historia de la matemtica, Grecia juega un papel fundamental, y sus orgenes se centran en las llamadas Escuelas Jnica y Pitagrica, cuyos representantes principales fueron, respectivamente, Thales de Mileto y Pitgoras de Samos, aunque la reconstruccin de su pensamiento se basa solamente en informaciones fragmentarias y en tradiciones transmitidas y elaboradas en siglos posteriores. No ha quedado ningn documento matemtico, ni cientfico en general, anterior a la poca de Platn en el siglo IV a.C. Es en esa poca, en el siglo V a.C., que, segn cuenta Plutarco, aparecen los tres problemas que fascinaron a los matemticos por ms de 2000 aos: _ La cuadratura del crculo: Construir, usando nicamente regla y compas, un cuadrado de rea igual a la de un circulo dado.

_ La duplicacin del cubo: Construir, usando nicamente regla y compas, la arista de un cubo cuyo volumen sea el doble que el de otro cubo de arista conocida. _ La triseccin del ngulo: Construir, usando nicamente regla y compas, un ngulo igual a un tercio de un ngulo dado. Estos problemas clsicos de la antigedad motivaron a los matemticos griegos ms brillantes y tambin a los de los siglos posteriores, hasta que 2200 aos despus se demostr que eran irresolubles. Mas actualmente hacia nuestro siglo, Pierre de Fermat (1601-1665) y Ren Descartes (1596-1650), obsesionados por la necesidad de mtodos cuantitativos en geometra e impresionados por el poder del lgebra, iniciaron la aplicabilidad de sta al estudio de la geometra, creando los sistemas de coordenadas al asociar ecuaciones algebraicas a curvas y superficies. Esta idea ha sido una de las ms fructferas en el desarrollo de las matemticas. Tanto Fermat como Descartes estaban motivados por las necesidades de la ciencia y por un inters en la metodologa. Especialmente Descartes hizo de la metodologa el objeto principal de toda su obra. Las primeras nociones nebulosas de un hiperespacio de dimensin mayor de 3 se pierden en la oscuridad del pasado y se mezclan con consideraciones metafsicas. El primer artculo cientfico que trata explcitamente el tema se debe a Arthur Cayley (1821 - 1895) y se remota a 1843. Le siguen una serie de trabajos del mismo autor, de James Joseph Silvestre (1814 - 1897) y de William Kingdin Clifford (1845 - 1879) en Inglaterra y Hermann Gnther Grassmann (1809 - 1877) y Ludwig Schlfli (1814 -. 1895). La introduccin de coordenadas se lleva a cabo durante la segunda mitad del siglo XIX a travs de los estudios de los espacios aritmticos. En 1818, August Ferdinand Mbius (1790 - 1868) ya haba tenido la idea de un anlisis geomtrico en los espacios de dimensin 2 y 3, que desarroll a partir de 1823 bajo el nombre de "Clculo Baricntrico", inspirado en la teora de centros de gravedad. Eso es lo que hoy llamamos un sistema de coordenadas baricntricas. No es sin embargo, hasta finales del siglo que Schlfli y Camilla Jordn (1838 - 1922) desarrollan explcitamente las nociones de la geometra afn y de la euclidiana de dimensin n.

1. GEOMETRA ESPACIO AFN. 1.1 Espacio Afn.

La Estructura de espacio afn es una abstraccin de las propiedades del clculo con vectores libre del espacio geomtrico ordinario que no dependen del concepto de distancia. Definicin 1.1 Sea K un cuerpo. Un espacio afn sobre K es una terna (A,V,) formada por un conjunto no vaco A, cuyos elementos denominaremos puntos, un K-espacio vectorial V, cuyos elementos llamaremos vectores, y una aplicacin :AxA V que denotaremos (P,Q) dos axiomas siguientes. y llamaremos aplicacin estructural, que verifican los

Axioma 1.1 (Homogeneidad) Para todo punto P y todo vector v existe un nico punto Q tal que Axioma 1.2 (Ley de adicin)

=v.

,cualesquiera que sean P,Q,R A.

Abusando de notacin y de lenguaje, escribiremos A en lugar de (A,V,), y nos referiremos a A diciendo que es un espacio afn y a V diciendo que es el espacio vectorial asociado al espacio afn.

Un espacio afn (bidimensional tridimensional) es un conjunto A, a cuyos elementos llamaremos puntos, junto con dos familias de subconjuntos no vacios de A, a cuyos elementos llamaremos rectas y planos, de modo que se satisfganlos axiomas siguientes: Axioma A1: Por cada par de puntos distintos P y Q pasa una nica recta, que representaremos por PQ. Axioma A2: Por un punto exterior a una recta pasa una nica paralela. Axioma A3: Por cada tres puntos no colineales P, Q, R pasa un nico plano, que representaremos por PQR. Axioma A4: Si una recta r tiene dos puntos en comn con un plano , entonces resta contenida en . Axioma A5: Existen cuatro puntos distintos no coplanares. Axioma A6: Si dos planos tienen un punto en comn, entonces tienen dos puntos en comn.

Tenemos, dos axiomas que describen las rectas, dos axiomas que describen los planos, un axioma de existencia de puntos y un axioma de clausura, que impone la tridimensionalidad del espacio. Teorema 1.1 Todo plano contiene tres puntos no colineales. Es importante destacar el caso bidimensional. Los axiomas para la gemetra plana se obtienen de sustituir el axioma A5 la existencia de tres puntos no colineales y postular que todos los puntos estn contenidos en un mismo plano. Alternativamente podemos suprimir todos los axiomas que nombren planos, con lo que el sistema se reduce a tan solo tres axiomas: Axioma A1 Por cada par de puntos distintos P y Q pasa una nica recta, que representaremos por PQ. Axioma A2 Por un punto exterior a una recta pasa una nica paralela. Axioma A3 Existen tres puntos distintos no colineales. El teorema anterior prueba que todo plano de un espacio afn tridimensional (con las rectas que contiene) es un espacio afn bidimensional (o simplemente un plano afn). Todos los resultados que vamos a probar sobre objetos contenidos en un mismo plano se pueden probar directamente a partir de estos axiomas y

son validos en cualquier plano afn. Teorema 1.2 Toda recta contiene al menos dos puntos. Teorema 1.3 El paralelismo es una relacin de equivalencia en el conjunto de todas las rectas del espacio. La existencia de planos paralelos la demostramos usando el concepto de perpendicularidad. Teorema 1.4 Por un punto exterior a un plano pasa un nico plano paralelo. Definicin 1.2 Un haz de rectas paralelas es una clase de equivalencia de rectas paralelas, bien de todo el espacio bien en un plano prefijado. Un haz de rectas concurrentes es el conjunto de todas las rectas (del espacio o de un plano) que pasan por un mismo punto. Teorema 1.5 Todas las rectas tienen el mismo nmero de puntos.

1.2 Variedades lineales

Los subconjuntos ms sencillos de un espacio afn, definidos por abstraccin de los conceptos de recta y plano del espacio ordinario, son las variedades lineales. Una variedad lineal no es ms que un subespacio afn. Definicin 1.3 Sea A un espacio afn. X un subconjunto E no vacio de A se le denomina una variedad lineal si, para todo P E, el conjunto P(E) de vectores de la forma un subespacio vectorial de V. Espacio director. Si E es una variedad lineal, el subespacio P(E) es independiente de P E. Entonces se escribe que W=W(E) para denotarlo y diremos que es la direccin o el subespacio directos de E. Dimensin. Si E es una variedad lineal, tiene sentido hablar de su dimensin en el espacio afn. Las variedades lineales de dimensin 0 se pueden identificar con los puntos de la A. Las variedades lineales de dimensin 1 se denominan rectas y las de dimensin 2, planos. Variedades paralelas. Sean L y L dos variedades lineales. Diremos que L y L son paralelas , si dim(L)=dim(L). La relacin de paralelas es de equivalencia en el conjunto de las variedades lineales de una dimensin dada.

, Q E, forman

1.3 Referencia afn.

Una referencia de un espacio afn An nos permite representar un punto de este espacio por un vector de Kn, cuyas componentes son las coordenadas del punto respecto a la referencia. Sea A un espacio afn y V su espacio vectorial asociado. Una referencia afn de A, o simplemente una referencia de A, es una pareja R=[O,e] formada por un punto O A y una base e=(e1,e2,,en) de V. El punto O es el origen y el vector ek el k-simo eje de la referencia R.

Teorema 1.5 Dada una referencia afn de An, las soluciones de un sistema compatible de ecuaciones lineales (ak0+ak1x1++aknxn=0 (1km), en las incognitas x1,x2.xn y con coeficientes de K, son las coordenadas de los puntos de una variedad lineal L de dimensin r=n-s, donde s es el rango de la matriz del sistema. Adems, los vectores del espacio director de L son los vectores cuyas componentes son solucin del sistema homogneo asociado a x=p+t1+w1+.+tn-swn-s. Recprocamente, toda variedad lineal L de dimensin r es la variedad determinada por un sistema de ecuaciones de rango n-r.

1.4 Aplicaciones afines.

Una aplicacin :AA es una aplicacin afn se P es lineal para algn punto de P. Sea :AA una aplicacin y supongamos que, para un cierto punto P A, la aplicacin P: VV es un homomorfismo aditivo. Definicin 1.4 Homotecias. Dado un espacio afn A, llamaremos HT(A) al conjunto de todas las aplicaciones biyectivas de A en s mismo que transforman cada recta en una paralela. Es claro que HT(A) es un grupo con la composicin de aplicaciones. Un elemento de HT(A) es una homotecia si tiene al menos un punto fijo y es una traslacin si es la identidad o bien no tiene puntos fijos. Teorema 1.6 Si dos elementos de HT(A) coinciden en dos puntos distintos cualesquiera, entonces son iguales. Teorema 1.7 Sea f : A A una aplicacin tal que para todo par de puntos P y Q, f(Q) est sobre la recta paralela a PQ que pasa por f(P). Entonces f es constante o bien f HT(A). Definicin 1.5 Una traza de f HT(A) es una recta r tal que f[r] = r. Tres hechos obvios sobre trazas son los siguientes: Las trazas de la identidad son todas las rectas. Si f HT(A), entonces cada punto P que no sea un punto fijo para f est en una nica traza, a saber en la recta Pf (P). Si dos trazas se cortan en un punto, entonces este es un punto fijo. Teorema 1.8 Las trazas de una homotecia distinta de la identidad son el haz de rectas que pasan por su centro. Las trazas de una traslacin distinta de la identidad forman un haz de rectas paralelas al que llamaremos direccin de la traslacin. Teorema 1.9 Si dos traslaciones coinciden sobre un punto son iguales. Teorema 1.10 Las traslaciones forman un subgrupo normal de HT(A), al que representaremos por T(A). Las traslaciones con una misma direccin forman tambin un subgrupo normal.

Teorema 1.11 Si existen traslaciones en dos direcciones distintas entonces T (E) es abeliano.

2. GEOMETRA ESPACIO EUCLDEOS. 2.1 Vectores en los espacios de dos y tres dimensiones.
Definicin: Un vector en R2, en R3 o en Rn es un conjunto ordenado de dos, tres o n nmeros reales, respectivamente. Al nmero n se le llama a veces tamao del vector y a los elementos del vector se les suele llama componentes. Los puntos P del plano se representan mediante pares ordenados de nmeros reales (a1, a2); los nmeros a1 y a2 se llaman coordenadas cartesianas de P. Los puntos del espacio se pueden representar de forma similar como ternas ordenadas de nmeros reales. Para ello, elegimos tres rectas perpendiculares entre s que se corten en un punto del espacio. Estas rectas se llaman eje (x), eje ( y) y eje( z), y el punto donde se cortan es el origen. Tambin se denominan como (x,y,z).

2.2 Axiomas paralelas.

Definicin 2.1 Una geometra (tridimensional) eucldea es una geometra que satisfaga los siguientes axiomas: Axioma A1 Por cada par de puntos distintos P y Q pasa una nica recta, que representaremos por PQ. Axioma A2 Toda recta pasa al menos por dos puntos. Diremos que tres o ms puntos son colineales si hay una recta que pasa por todos ellos. Axioma A3 Por cada tres puntos no colineales P, Q, R pasa un nico plano, al que representaremos por PQR. Axioma A4 Todo plano contiene tres puntos no colineales Axioma A5 Si una recta r tiene dos puntos en comn con un plano , entonces r est contenida en . Axioma A6 Si dos planos tienen un punto en comn, entonces tienen dos puntos en comn. Diremos que cuatro o ms puntos son coplanares si hay un plano que pasa por todos ellos. Axioma A7 Existen cuatro puntos distintos no coplanares. La relacin de orden total sobre la recta AB, es decir, es reflexiva, anti simtrica, transitiva y todo par de puntos P y Q de AB cumple P AB Q o bien Q AB P. Adems, con este orden, la recta no tiene mximo ni mnimo, y para todo par de puntos P <AB Q, existe un punto R tal que P <AB R <AB Q. Axioma B2 Para todo par de puntos distintos A y B se cumple A AB B. Axioma B3 Si A y B son dos puntos distintos y P, Q son dos puntos de la recta AB, entonces P AB Q si y slo si Q BA P. Axioma B4 Si A _= B y C _= D son pares de puntos de una misma recta.

Los axiomas B3 y B4 afirman que en realidad slo estamos considerando dos ordenaciones en cada recta, y una es la inversa de la otra. Diremos que un punto P est entre dos puntos A y B si los tres son colineales y A AB P AB B. Axioma B5 Sean A, B, C tres puntos no colineales y r una recta contenida en el plano ABC pero que no pase por ninguno de ellos. Si r pasa por un punto situado entre A y B, entonces r pasa por un punto entre A y C o bien por un punto entre B y C, y slo se da uno de los dos casos. Axioma C1 Las dos congruencias son relaciones de equivalencia, es decir, son reflexivas, simtricas y transitivas. Axioma C2 Dados tres puntos A, B y A y una semirrecta s de origen A, existe un nico punto B en s tal que AB AB. Axioma C3 Sean A, B, C puntos colineales de modo que B este entre A y C, sean A_, B_ y C_ otros tres puntos en las mismas condiciones. Entonces, si AB AB y BC BC, tambin AC AC. Axioma C4 Sea L un Angulo, s una semirrecta y un semiplano cuya frontera sea la prolongacin de s. Entonces existe un nico Angulo L contenido en , con un lado igual a s y tal que L L. Axioma C5 Dado un triangulo ABC, un segmento AB AB y un semiplano de frontera la prolongacin de A_B_, existe un (nico) triangulo ABC contenido en y congruente con ABC. Axioma D Supongamos que una recta r est dividida en dos partes disjuntas no vacas s1 y s2 con la propiedad de que si P y Q son puntos. Entonces s1 y s2 son dos semirrectas complementarias (salvo que a una de ellas le falta el origen, que slo pertenece a la otra). Axioma E Por un punto exterior a una recta pasa una nica paralela. Teorema 3.1 Por un punto exterior a un plano pasa un nico plano paralelo. Teorema 3.2 Dos rectas paralelas a una tercera son paralelas o coincidentes. Teorema 3.3 Dos planos paralelos a un tercero son paralelos o coincidentes. Teorema 3.4 Sean r y s dos rectas que corten a una recta t en dos puntos P y Q. Entonces r y s son paralelas si y slo si los ngulos alternos internos que determinan son iguales. Teorema 3.5 La suma de los ngulos de un triangulo es igual a . Teorema 3.6 Los lados y los ngulos opuestos de un paralelogramo son iguales, los ngulos contiguos son suplementarios, las diagonales se cortan por su punto medio.

3. APLICACIONES A LA INGENERA.
En la Ingeniera en general, la aplicacin de nuevos sistemas de referencia ha tenido el objeto de facilitar la tarea del ingeniero. Estos son algunos de los ejemplos de la vida donde la geometra del espacio es utilizada en la ingeniera. En el campo de la robtica y la visin artificial se combinan cuatro sistemas de referencia, estos son: sistema de referencia del robot, sistema de referencia del brazo, sistema de referencia de la cmara, y sistema de referencia del objeto.

Los sistemas de diseo asistido por ordenador (CAD) permiten crear un modelo geomtrico informtico de un diseo, que se puede visualizar perfectamente hasta el mnimo detalle, sin necesidad de fabricar ningn prototipo material. Este modelo puede analizarse, y en funcin de los resultados, modificarse, es decir optimizar su diseo logrando, prcticamente, su definicin completa, evitando as los posibles errores de interpretacin de los planos. Con un sistema CAD 3D podemos definir el modelo geomtrico informtico de diseo trabajando en un espacio afn eucldeo tridimensional, utilizando entidades o primitivas, que determinaremos en forma, magnitud y posicin respecto de una referencia afn. Por defecto, los sistemas trabajan respecto de una referencia global cartesiana ortonormada, predefinida y directa o a derechas, pero para facilitar el diseo, tambin permiten al usuario definir nuevas referencias locales (cartesianas, cilndricas o esfricas).

La fotogrametra pretende establecer modelos precisos de la realidad, con la particularidad de utilizar sensores o cmaras aerotransportadas, bien en aviones o implementadas en satlites. Tradicionalmente se marc la diferencia entre la fotogrametra y la teledeteccin, asignndole a la primera mayor capacidad mtrica, escalas mayores y un formato en soporte no digital, mientras que a la Teledeteccin se le asign un carcter ms temtico que mtrico, escalas de trabajo menores y formato en soporte digital. La teledeteccin permite obtener informacin a distancia de los objetos situados sobre la superficie terrestre, esta informacin se almacena digitalmente en forma de pixeles. Los cambios de sistemas de referencia juegan aqu tambin un papel importante, se trata pues, de cambiar la posicin que ocupan los pixeles de la imagen, a este proceso se le denomina realizar la correccin geomtrica de la imagen.

Bibliografa.
Chuvieco E. Fundamentos de Teledeteccin Espacial@. Ed. Rialp. 1990. Fotogramtricas y Cartogrficas en la Ingeniera Rural@. Servicio de Publicaciones de la Universidad de Almera. 1999. Gimnez Yanguas, F. Estructura y Conexiones Interdisciplinares de la Ingeniera Grfica@. Anales de Ingeniera Grfica, Enero-Diciembre 1998 Sebasti Xamb Descamps, Geometra. rea de Matemtica i Estadstica. Ediciones UPC, Barcelona 1997.

Revent, A. Geometra axiomtica. Instituto dEstudis Catalans, Barcelona, 1993. M. Castellet e I. Llerena, Algebra Lineal y Geometra, Ed. Reverte. Univ. Autnoma de Barcelona, Barcelona 1994 Juan de Burgos. lgebra lineal y geometra cartesiana. McGrawHill/Interamericana de Espaa, S.A.U.2006.