Espacio afín

Un espacio afín  es un objeto matemático (espacio) que generaliza algunas propiedades de la geometría euclidiana . A diferencia de un espacio vectorial , un espacio afín opera no en uno, sino en dos tipos de objetos: "vectores" y "puntos".

Definición

El espacio afín asociado a un espacio vectorial sobre un campo es un conjunto con una acción transitiva libre de un grupo aditivo (si el campo no se especifica explícitamente, entonces se supone que es el campo de los números reales ).

Comentario

Esta definición significa [1] que se define la operación de sumar elementos espaciales (llamados puntos de un espacio afín) con vectores de un espacio (que se denomina espacio de vectores libres para un espacio afín ), satisfaciendo los siguientes axiomas:

  1. para todos y todas ;
  2. para todos ;
  3. para dos puntos cualesquiera , existe un único vector (denotado por o ) con la propiedad .

Por lo tanto, el modo de acción en se denota por .

Subespacio afín

Un subespacio afín de un espacio afín es un subconjunto que es un desplazamiento de algún subespacio lineal , es decir, en algún punto . El conjunto se define de forma única, mientras que se define sólo hasta un desplazamiento por un vector de . La dimensión se define como la dimensión del subespacio .

Si y , entonces si y sólo si y .

La intersección de subespacios afines es un subespacio afín o vacío. Si no está vacío, entonces su dimensión satisface la relación

.

Un subespacio afín al que corresponde un subespacio de codimensión 1 se denomina hiperplano .

A menudo se consideran subespacios afines de un espacio lineal (provisto de una estructura afín estándar, la acción sobre sí mismo por adición). A veces se les llama variedades lineales [2] [3] .

Tal subespacio afín es un subespacio lineal si y solo si contiene 0.

Definiciones relacionadas

Es posible considerar [4] combinaciones lineales arbitrarias de puntos en un espacio afín. Sin embargo, el resultado tiene sentido en los siguientes dos casos:

Por analogía con el concepto de independencia lineal de vectores, se introduce el concepto de independencia afín de puntos en un espacio afín. A saber: los puntos se llaman [5] dependientes afines si alguno de ellos, por ejemplo, puede representarse como una combinación baricéntrica de otros puntos. De lo contrario, se dice que estos puntos son afinemente independientes .

La condición de independencia afín de los puntos se puede dar de otra forma: es verdadera la proposición de que los puntos de un espacio afín son afinemente independientes si y sólo si no existe una combinación equilibrada no trivial de estos puntos igual al vector cero [6] .

La dimensión de un espacio afín es [7] por definición de la dimensión del correspondiente espacio de vectores libres. En este caso, el número de puntos en el máximo conjunto de puntos afinemente independientes de un espacio afín resulta ser uno mayor que la dimensión del espacio.

Cualquiera de los conjuntos máximos de puntos afinemente independientes en un espacio afín puede tratarse como una base de puntos (renumerando estos puntos de una forma u otra).

Cualquier punto en el espacio se puede representar como una combinación baricéntrica de puntos incluidos en una base de puntos; los coeficientes de esta combinación se denominan [8] coordenadas baricéntricas del punto considerado.

Variaciones y generalizaciones

Notas

  1. Kostrikin, Manin, 1986 , pág. 193.
  2. Ulyanov A.P. Álgebra y geometría del plano y el espacio para estudiantes de física Copia de archivo fechada el 22 de septiembre de 2018 en Wayback Machine Lectures para estudiantes de primer año de la Facultad de Física de NSU.
  3. Dieudonné J. Álgebra lineal y geometría elemental. Traducido del francés por G. V. Dorofeev. — M.: Nauka, 1972. — 335 p.
  4. Kostrikin, Manin, 1986 , pág. 198.
  5. Boltyansky, 1973 , p. 138.
  6. Alexandrov P. S. , Pasynkov V. A. Introducción a la teoría de la dimensión. — M .: Nauka, 1973. — 576 p.  — C. 193.
  7. Boltyansky, 1973 , p. 135.
  8. Kostrikin, Manin, 1986 , pág. 199.

Literatura