Espacio afín
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. El resultado es una geometría en la que el espacio se presenta como una estructura matemática próxima a la del espacio vectorial.
[editar] Definición
El espacio afín puede definirse de varios modos (véase el artículo «Estructura afín»).
- Dado un cuerpo
con elemento neutro « 0 » para la operación suma y « 1 » para el producto. Los elementos del cuerpo se llaman escalares y se representaran mediante letras griegas minúsculas (
,...).
- Dado un espacio vectorial
sobre el cuerpo
en el que el elemento neutro sea «
». Los elementos de este espacio vectorial reciben el nombre de vectores y son representados mediante letras (
,
,...).
- Dado un conjunto no vacío
, sus elementos recibiran el nombre de « puntos » y son designados mediante letras (
,...)
- Nota: las parejas de elementos de
, esto es los elementos de
son llamados « bipuntos »; el primer elemento de una de tales parejas recibe el nombre de « origen » y el segundo el de « extremo del bipunto.
Un espacio afín
sobre el cuerpo
asociado al espacio vectorial
se define como el cuadruplete
, donde
es una operación o aplicación binaria de
sobre
que satisface las dos propiedades siguientes, llamadas axiomas de los espacios afines:
- (A1) Para todo par de bipuntos tales que el extremo del primero coincide con el origen del segundo, la suma de las imágenes por
es siempre igual a la imagen por
del bipunto formado por el origen del primero y el extremo del segundo. En otros términos:

- (A2) Para todo punto y todo vector, existe un único bipunto cuyo origen es el punto considerado y cuya imagen por
es el vector considerado. Esto es,

Si designamos por «
» el vector
, la propiedad (A1) es escribe como:

conocida como Relación de Chasles.
La propiedad (A2) expresa simplemente que cuando se fija un punto
, la aplicación
:

es una biyección que nos permite definir una operación (la notación más utilizada) correspondiente a adición de un vector a un punto:

La dimensión de un espacio afín es la dimensión del espacio vectorial asociado.
El espacio vectorial
es denominado espacio director o espacio asociado de
.
[editar] Propiedades elementales
De la definición del Espacio Afín -esto es, de los axiomas (A1) y (A2)- se siguen las propiedades siguientes.
Sean
y
puntos cualesquiera en un espacio afín
. Tenemos:
con elemento neutro « 0 » para la operación suma y « 1 » para el producto. Los elementos del cuerpo se llaman escalares y se representaran mediante letras griegas minúsculas (
,...).
sobre el cuerpo
». Los elementos de este espacio vectorial reciben el nombre de vectores y son representados mediante letras (
,
,...).
, sus elementos recibiran el nombre de « puntos » y son designados mediante letras (
,...)
;
;
(
(