Homología afín

En la terminología de la geometría descriptiva, se emplean las denominaciones de homología afín o de afinidad homológica para designar a un caso particular de homología, en el que el vértice o centro es un punto impropio (situado en el infinito), y en consecuencia, las líneas de proyección son paralelas entre sí (es decir, que cada pareja de puntos afines (como A-A') están unidos por una recta que es paralela a la dirección de afininidad).

Imagen de una esfera de radio $r$ mediante una afinidad ortogonal basada en el eje polar ( $Oz$ ), dirección del plano ( $xOy$ ) y relación $k$ . Se obtiene un esferoide

Por otro lado, en matemáticas, una afinidad es una aplicación lineal o afín de un espacio vectorial o afín sobre sí mismo, que equivale a la identidad en una dirección y a una homotecia en otra.

Etimología editar

El término afinidad (affinitas en latín) en un sentido matemático fue introducido por Leonhard Euler en su obra de 1748, "Introductio in Analysin infinitorum".^[1] En su capítulo De similitudine et affinitate linearum curvarum^[2], Euler estudia curvas similares, es decir que tienen la misma forma pero con un posible cambio de orientación y tamaño. Estas son curvas entre cuyas imágenes se puede establecer una relación de semejanza. Después de observar que multiplicando la abscisa y la ordenada por el mismo número, se transforma una curva en una curva similar, se planteó la cuestión del caso en el que la abscisa y la ordenada se multiplican por números diferentes.^[3] Observó que las curvas ya no son semejantes pero, debido a cierta analogía de forma, dirá que presentan una “afinidad”^[4] entre ellas. Aquí toma el significado literal de afinidad: mantener una cierta relación de proximidad o de semejanza. Así, un círculo y una elipse no son similares pero tienen afinidad entre ellos.

La afinidad estudiada por Euler no se corresponde estrictamente con la definida actualmente, ya que permite una modificación de escala en varias direcciones, pero es fácilmente reducible a ella aplicando composiciones de varias afinidades “modernas”.

Afinidad vectorial editar

Dos vectores y sus imágenes por afinidad de base

F

, dirección

G

y proporción

2

Una afinidad vectorial es un endomorfismo, que a su vez es la suma directa de una identidad y de una homotecia. Más precisamente:

Sea $E$ un espacio vectorial, $F$ y $G$ dos subespacios adicionales $($ , es decir, $E=F\oplus G)$ , y $\lambda$ un número real; entonces la afinidad de la base $F~($ o sobre $F)$ , de la dirección $G$ y de la relación $\lambda$ es el endomorfismo único $f$ que, restringido a $F$ , es igual a la identidad, y restringido a $G$ , es igual a la homotecia de razón $\lambda$ :

si

x=x_{F}+x_{G}

, entonces

f(x)=x_{F}+\lambda {\text{·}}x_{G}

.

Caracterización en dimensión finita: endomorfismo diagonalizable que tiene como máximo dos valores propios distintos, de los cuales como máximo uno es diferente de la unidad.

Las afinidades cubren los siguientes casos especiales:

Con respecto a $F$ y $G$ :
- Si $F=E$ , la afinidad es la función identidad
- Si es $G=E$ , la afinidad es una homotecia de relación $\lambda$
- Si es $\dim G=1$ , la afinidad se llama hiperplana y lleva el nombre de dilatación
Con respecto al valor $\lambda$ :
- Si es $\lambda =0$ , la afinidad es la proyección sobre $F$ paralela a $G$ . Si es $F\neq E$ , esta afinidad no es biyectiva. Este es el único caso en el que la afinidad no es una transformación propiamente dicha
- Si $\lambda =1$ , la afinidad es la función identidad. Si es $F\neq E$ , este es el único caso en el que el conjunto de invariantes es diferente de $F$
- Si $\lambda =-1$ , la afinidad es una simetría con respecto a $F$ en paralelo a $G$

La afinidad $f$ de la base $F$ , la dirección $G$ y la relación $\lambda$ está vinculada a la proyección $p$ sobre $F$ paralela a $G$ mediante la siguiente igualdad:^[5]

f=(1-\lambda )p+\lambda Id_{E}

Afinidad entre puntos editar

Imagen (en rojo) del triángulo

ABC

por afinidad de base

F

, dirección

{\overrightarrow {G}}

y relación

2

. Los puntos

a

,

b

,

c

son las proyecciones de

A

,

B

,

C

sobre

F

paralelas a

{\overrightarrow {G}}

Dado un espacio afín $E$ asociado con ${\overrightarrow {E}}$ , un subespacio afín $F$ asociado con ${\overrightarrow {F}}$ y una dirección ${\overrightarrow {G}}$ adicional de ${\overrightarrow {F}}$ , la afinidad de la base $F~($ o en $F)$ , de dirección ${\overrightarrow {G}}$ , y proporción $\lambda$ es la aplicación definida de la siguiente manera:

Para cualquier punto $M$ de $E$ , se construye la proyección $m$ de $M$ en $F$ paralela a ${\overrightarrow {G}}$ :
- Sea $G_{M}$ el subespacio afín único que pasa por $M$ y en dirección ${\overrightarrow {G}}$
- Sea $m$ el único punto de intersección de $G_{M}$ y $F$
La imagen de $M$ por $f$ es entonces el punto $M'$ tal que ${\overrightarrow {mM'}}=\lambda {\text{·}}{\overrightarrow {mM}}$ .

Una afinidad puntual es necesariamente una transformación afín cuya parte lineal es una afinidad vectorial.

"Recíprocamente", una aplicación afín de una parte lineal y una afinidad vectorial es una afinidad puntual siempre que tenga al menos un punto fijo. Sin esto, se obtiene una afinidad "deslizada", compuesta por una afinidad puntual y una traslación vectorial paralela a la base de la afinidad puntual.

En el plano euclídeo, las afinidades juegan un papel importante en la descomposición de las transformaciones afines. De hecho, cualquier transformación afín del plano euclídeo se descompone en el producto de una isometría, una homotecia, una afinidad y un cizallamiento.^[6]

El uso de afinidades en el plano permite agrupar curvas por familias. Por ejemplo:

La elipse de semieje mayor $a$ y de semieje menor $b$ es la imagen de un círculo de radio $a$ mediante una afinidad de base el eje mayor, dirección del eje menor y relación $b/a$ .
La curva de ecuación $y=kf(x)$ es la imagen^[7] de la curva de ecuación $y=f(x)$ mediante una afinidad de base $(Ox)$ , dirección $(Oy)$ y relación $k$ .
La curva de ecuación $y=f(kx)$ es la imagen^[7] de la curva de ecuación $y=f(x)$ mediante una afinidad de base $(Oy)$ , dirección $(Ox)$ y relación $1/k$ .
Un caso especial sorprendente: la imagen mediante una afinidad de base $(Ox)$ , dirección $(Oy)$ y relación $k\neq 0$ de la parábola $P$ con ecuación $y=x^{2}$ es una parábola semejante. En efecto: según las condiciones anteriores, la ecuación de esta imagen es $y=kx^{2}$ ; o la ecuación de la imagen^[7] de $P$ por la homotecia de razón $1/k$ es $ky=(kx)^{2}$ , equivalente a $y=kx^{2}$ . También sería lo mismo para cualquier relación de afinidad distinta de cero.

Geometría descriptiva editar

Artículo principal: Proyección afín

Elementos fundamentales de una afinidad

La homología afín es un caso especial de homología, en la que el centro es un punto impropio (es decir, un punto del infinito). Se trata de una homografía de planos superpuestos que posee una serie de puntos dobles (el eje) y un haz de rectas doble de vértice impropio.

Sus elementos fundamentales son el eje de afinidad e, y la dirección de afinidad d (la dirección del vértice impropio).^[8]

Propiedades:
- Los pares de puntos afines (A y A'; B y B'...) determinan rectas paralelas a la dirección de afinidad.
- Las rectas homólogas (como r ≡ AB y r' ≡ A'B') son concurrentes en puntos del eje.

Cuando la dirección de afinidad coincide con la del eje, se habla de una afinidad especial; y cuando es normal al eje, se habla de una afinidad ortogonal. En los demás casos, se habla de una afinidad oblicua.^[8]

Véase también editar

Homología

Referencias editar

↑ Serge Mehl. «Affinité». ChronoMath, chronologie et dictionnaire des MATHÉMATIQUES.
↑ La versión latina es accesible en línea, página 236 y siguientes.
↑ En inglés, tales modificaciones se denominan escalado anisotropico.
↑ Leonard Euler; J. B. Labey (traducteur) (1835). «page 236, paragraphe 442». Introduction à l'analyse infinitésimale.
↑ Dany-Jack Mercier (2005). Publibooks, ed. Cours de géométrie [préparation au CAPES et à l'agrégation]. , page 85
↑ «Transformations de courbes». Encyclopaedia Universalis.
↑ ^a ^b ^c La imagen de la curva $C$ de ecuación $y=f(x)$ mediante una transformación $\varphi$ se ajusta a la ecuación $y_{\varphi ^{-1}(M)}=f(x_{\varphi ^{-1}(M)})$ , porque $M\in \varphi (C)\iff \varphi ^{-1}(M)\in C$ .
↑ ^a ^b Fernando Izquierdo Asensi (septiembre de 1975). Geometría Descriptiva Superior y Aplicada. DOSSAT. pp. 121 de 642. ISBN 8423704416.

Enlaces esxternos editar

Portal:Geometría. Contenido relacionado con Geometría.

Datos: Q382770

[1] Serge Mehl. «Affinité». ChronoMath, chronologie et dictionnaire des MATHÉMATIQUES.

[2] La versión latina es accesible en línea, página 236 y siguientes.

[3] En inglés, tales modificaciones se denominan escalado anisotropico.

[4] Leonard Euler; J. B. Labey (traducteur) (1835). «page 236, paragraphe 442». Introduction à l'analyse infinitésimale.

[5] Dany-Jack Mercier (2005). Publibooks, ed. Cours de géométrie [préparation au CAPES et à l'agrégation]. , page 85

[6] «Transformations de courbes». Encyclopaedia Universalis.

[:0-7] La imagen de la curva $C$ de ecuación $y=f(x)$ mediante una transformación $\varphi$ se ajusta a la ecuación $y_{\varphi ^{-1}(M)}=f(x_{\varphi ^{-1}(M)})$ , porque $M\in \varphi (C)\iff \varphi ^{-1}(M)\in C$ .

[IZQUIERDO-8] Fernando Izquierdo Asensi (septiembre de 1975). Geometría Descriptiva Superior y Aplicada. DOSSAT. pp. 121 de 642. ISBN 8423704416.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]