Espacio afín
En matemáticas, particularmente en geometría, un espacio afín es
una estructura que surge al olvidar el punto distinguido (origen) de
un espacio vectorial.
Históricamente, la noción de espacio afín procede del
descubrimiento de nuevas geometrías perfectamente coherentes
diferentes de la geometría euclidiana que revisan los conceptos de
longitud, asociadas con el de distancia y de ángulo, propias de la
geometría de Euclides.[cita requerida] El resultado es una geometría
en la que el espacio se presenta como una estructura matemática No hay puntos distinguidos por
próxima a la del espacio vectorial. definición
Definición de espacio afín
El espacio afín puede definirse de varios modos equivalentes.
Dado un conjunto no vacío diremos que es un espacio afín asociado a un espacio vectorial si se tiene
la siguiente aplicación:a
tal que se cumplan:
1) Fijado un punto a la aplicación es biyectiva, es decir:
Visualización del orden
de los puntos para o
como origen y destino de
2) Se tiene la relación de Chasles, es decir: una traslación.
Los elementos de se llaman puntos.b
Se designa al vector por la notación , así la propiedad 2 se escribe como:
La dimensión de un espacio afín es la dimensión del espacio vectorial asociado.
Observación:
La aplicación asocia dos puntos a un único vector, por lo que se dice que el primer
punto es el origen y el segundo el extremo.
Propiedades elementales
De la definición del espacio afín resultan las siguientes propiedades:
Dados y puntos cualesquiera en un espacio afín .
Tenemos:
entonces como es
biyectiva, se tiene que .
(regla del paralelogramo).
Directo a partir de
(relación de Chasles generalizada)
Inductivamente se aplica que
Traslaciones
Dado un espacio afín sobre mediante y un vector , una
traslación de vector en es una aplicación dada por:
Observaciones:
Se puede escribir como que está bien definida por ser biyectiva.
Propiedades
Dados los vectores se tiene:
y por tanto única por ser una aplicación.
Proposición
Un espacio afín sobre queda univocamente determinado por el conjunto:1
es aplicación
si cumple:
a)
b)
Demostración
Sea la aplicación dada por b):
ya que:
,
además
es biyectiva, es decir, por definición
equivale a tomar es única por ser una aplicación.
Observación:
es el conjunto de todas las traslaciones ya que
Un espacio afín se designa por la terna o según la primera o
segunda definición respectivamente.
Propiedades
es biyectiva y
Si entonces
Es directo, aplicando el resultado sobre
la hipótesis.
Si
Por la propiedad b)
Ejemplos:
Los espacios vectoriales son espacios afines sobre sí mismos.2
Demostración
Como mera distinción se nota como espacio vectorial y para el mismo pero
como espacio afín, se define una aplicación como:
Esta aplicación cumple las dos condiciones:
1) es biyectiva ya que
2)
Por tanto es un espacio afín.
Traslación de Traslación de vector u y -u.
vector 0 en el
punto 0.
Traslación de un vector u a v.
Dados dos espacios afínes y , entonces también es un espacio afín
la terna:3
donde
Notación
Se usa como notación algebraica de :4
Consistencia de la notación
En un espacio afín hay una correspondencia entre 3 conjuntos, y , más aún,
dados dos elementos cualesquiera de 2 de los conjuntos respectivamente, se tiene
que un tercer elemento del tercer conjunto queda determinado de forma única.
Algebraicamente se distinguen cada uno de estos elementos: como vector, como
punto extremo de y como punto origen de , también:
es consecuencia de que es una aplicación, es decir,
es consecuencia de que es biyectiva, es decir,
igual que antes,
lo cual justifica la notación.
Dicha notación resiste el uso de producto de elementos del cuerpo
por vectores:
de uso puramente cuantitativo, se tiene que:5
Una expresión es un vector si hay tantos puntos de origen como de extremo, es
decir:
es un vectore si
Una expresión es un punto si hay un punto de extremo de más, es decir:
es un punto si
No queda definido un sentido para el resto de casos.
Con esta notación las propiedades anteriores son inmediatas.
Definición de subespacio afín
Un subespacio afín es un subconjunto de un espacio afín que es a su vez un espacio afín.
Dado un espacio afín sobre mediante y un subespacio vectorial. Se espera que sea un
espacio afín sobre con por tanto está bien definida, además ha de cumplir las dos condiciones de
espacio afín:
2) es heredado del espacio afín
1) es biyectiva, es decir:
de donde se deduce que y por tanto solo se ha de verificar que
para cualquier , es decir, ha de ser una variedad lineal que se
formaliza a continuación.6
Dado un espacio afín sobre , y un subespacio vectorial. Llamaremos variedad lineal
por y dirección al conjunto tal que:
Dados diremos que pertenecen a un mismo espacio de dirección si .
La relación anterior es una relación de equivalencia
Se considera la relación y se comprueban:
Propiedad reflexiva:
Dado un elemento se tiene que
Propiedad de simetría:
Dados dos elementos se tiene que si entonces
es decir
Propiedad transitiva:
Dados tres elementos se tiene que si y
entonces es decir
Aplicación entre espacios afines
Véase también
Transformación afín
Notas al pie
1. Es común denominar a como espacio director, también se define como "espacio afín
sobre " denotado por la terna en Máximo Anzola o "espacio afín sobre " en M.
Castellet
2. Las parejas de elementos de , esto es, los elementos de son llamados
«bipuntos»[cita requerida]; el primer elemento de una de tales parejas recibe el nombre de
«origen» y el segundo el de «extremo del bipunto».
Referencias
4. En M. Castellet se puede encontrar como
1. En M. Castellet se puede encontrar como
parte de la definición de variedad lineal
proposición 2.2 pg 187
tema IX.3 pg 187 y tema IX.8 pg 202.
2. En Marcel Berger se puede encontrar otra 5. En M. Castellet se puede encontrar en el
presentación de este ejemplo 2.2.1 pg 34
tema IX.6 pg 194.
3. En Marcel Berger se puede encontrar como 6. En M. Castellet se puede encontrar su
ejemplo 2.2.2 pg 34
equivalente en el tema IX.3 pg 189.
Bibliografía
Antonio Pardo Fraile, Juan-Angel Díaz Hernando, Elementos de álgebra lineal y
geometría(tomo II), Madrid, 1966.
Manuel Castellet, Irene Llerena, Álgebra lineal y geometría, Editorial reverté, S.A., 2000.
Máximo Anzola, José Caruncho, Geometría afín y euclídea, Pedidos a los Autores,1981.
J.M. Aroca Hernández-Ros, Problemas de geometría afín y geometría métrica, uva, 2004.
Berger, Marcel (1987), Geometry I, Berlin: Springer, ISBN 3-540-11658-3.
Nomizu, K.; Sasaki, S. (1994), Affine Differential Geometry ([Link]
ifferenti0000nomi) (New edición), Cambridge University Press, ISBN 978-0-521-44177-3.
Obtenido de «[Link]
