Академический Документы
Профессиональный Документы
Культура Документы
.¿ 1
Deseo uli liza!' esla opor·lunidad; puede ser· la
ultima.
IIOHCJ'I~FIS/'10
l. Introduccion
expres iones: "número complejo z" , "punto z del plano" y cualquier "funcibn o aplicacioh" f, con dominio en el
2
"vector z" se considerarán expresiones sinónimas o conjunto R de los puntos z del plano y con "valores" en
1
Asi en particular, será: imagen z' se expresarán en términos de las coordenadas (x,y)
del punto modelo z mediante un sistema de dos ecuaciones
1o 2111 ±111 111/2 x' = Ffx,y), y' = G(x,yl, donde F y G designan dos
(2) e = 1; e = 1; e =- 1; e = 1, ...
funciones conocidas de las coordenadas del punto z .
Las transformaciones más sencillas son las que se
La notación simbólica ( 1) t lene la ventaja de que
representan por dos ecuaciones del tipo:
aceptando (o demostrando) la validez de las fórmulas
sen (9 + 9 ) = sen 9 cos 9 + cos 9 sen 9 donde a,b,c,, ... , f, designan constantes reales arbitrarias
1 2 1 2 1 2
resulta de inmediato que: tales que A = ae - bd. ~ O. Como lo veremos más adelante,
esta condición se impone para que la transformación (1) sea
19 19 1(9 +9 ) biyecti va.
(3) e 1 e 2 = e 1 2
-24-
:lS-
Las transformaciones ( 1) con t. ~ O se denominan
habitualmente "afinidades" o "transformaciones afines" o bien, puesto que a~ O implica a~ 0:
precedente por i y sumándola con la primera, un! modular, pues, de la condi ción H = O se sigue que
sección
=1~1 •
2 2
obtenemos: lal esto es, lal Consecuentemente, llamando
lÓ escribe, con
x' + iy' = (a+ id)x + (b + i e) y+ (e + if). e a dicho complejo constante, (8) se
- lÓ
~ = ae
Teniendo en cuenta que w = -we lÓ
x = (z + z)/2, y = (z-z)/2i = - i (z-z)/2, con
Tomando los argumentos de ambos miembros, resulta:
z' = x' + i y' ,resulta:
z' = (a+ id)(z + z)/2- (b + i e) i (z- z)/2 + (e + if)
arg w = arg w + ó = - arg w + o
o bien:
1
z' = 1
((a+e) + i(d-b)]z +
1
[(a-e) + i(d+b)]z + (c+if)
vale decir : arg w =
2 o.
2 2
Teniendo en cuenta que un complejo de argumento
Poniendo finalmente: 1 iÓ/2
constante
2 ó es necesariamente de la forma w =t e , con
t variable real tal que -CD < t < CD, concluimos que los
(1 ) « = ![(a+e)
2
+ i(d-b)]; fj =![ (a-e)+ i(d+b )];'( =e+ if,
2 puntos w que satisfacen ·(7) son los puntos de una recta que
la igual dad precedente adopta la forma:
pasa por el origen. Como consecuencia, (6) representa la
(2) z' = «Z + ~z + '1
paralela a dicha recta que pasa por el punto z' = '1·
Hemos probado asi que cuando H = O pero a ~ O, la
que constituye la "forma compleja" de una afinidad . imagen del plano por la transformación (2) degenera en una
La igualdad (2) expresa z' en términos de .. .
'"?
recta . La correspondencia deja de ser biyectlva.
Reciprocamente, para expresar z ' en función de z', empecemos Una situación aún más "patolbglca" se origina cuando
por aplicar la operación de conjugación a ambos miembros de H =O y « = O.
la (2). Obtenemos: En tal caso es también ~ = O, y (2) nos dice que la
imagen del plano es un único punto,a saber: el punto z' = '1·
z' =a z+ ~z + '1
Multiplicando esta igualdad por -~ . (2) por a y 4. Propiedades fundamentales de las afinidades.
sumando los resultados obtenidos, logramos la igualdad:
Las propiedades más importantes de una afinidad son:
-24-
:lS-
Las transformaciones ( 1) con t. ~ O se denominan
habitualmente "afinidades" o "transformaciones afines" o bien, puesto que a~ O implica a~ 0:
precedente por i y sumándola con la primera, un! modular, pues, de la condi ción H = O se sigue que
sección
=1~1 •
2 2
obtenemos: lal esto es, lal Consecuentemente, llamando
lÓ escribe, con
x' + iy' = (a+ id)x + (b + i e) y+ (e + if). e a dicho complejo constante, (8) se
- lÓ
~ = ae
Teniendo en cuenta que w = -we lÓ
x = (z + z)/2, y = (z-z)/2i = - i (z-z)/2, con
Tomando los argumentos de ambos miembros, resulta:
z' = x' + i y' ,resulta:
z' = (a+ id)(z + z)/2- (b + i e) i (z- z)/2 + (e + if)
arg w = arg w + ó = - arg w + o
o bien:
1
z' = 1
((a+e) + i(d-b)]z +
1
[(a-e) + i(d+b)]z + (c+if)
vale decir : arg w =
2 o.
2 2
Teniendo en cuenta que un complejo de argumento
Poniendo finalmente: 1 iÓ/2
constante
2 ó es necesariamente de la forma w =t e , con
t variable real tal que -CD < t < CD, concluimos que los
(1 ) « = ![(a+e)
2
+ i(d-b)]; fj =![ (a-e)+ i(d+b )];'( =e+ if,
2 puntos w que satisfacen ·(7) son los puntos de una recta que
la igual dad precedente adopta la forma:
pasa por el origen. Como consecuencia, (6) representa la
(2) z' = «Z + ~z + '1
paralela a dicha recta que pasa por el punto z' = '1·
Hemos probado asi que cuando H = O pero a ~ O, la
que constituye la "forma compleja" de una afinidad . imagen del plano por la transformación (2) degenera en una
La igualdad (2) expresa z' en términos de .. .
'"?
recta . La correspondencia deja de ser biyectlva.
Reciprocamente, para expresar z ' en función de z', empecemos Una situación aún más "patolbglca" se origina cuando
por aplicar la operación de conjugación a ambos miembros de H =O y « = O.
la (2). Obtenemos: En tal caso es también ~ = O, y (2) nos dice que la
imagen del plano es un único punto,a saber: el punto z' = '1·
z' =a z+ ~z + '1
Multiplicando esta igualdad por -~ . (2) por a y 4. Propiedades fundamentales de las afinidades.
sumando los resultados obtenidos, logramos la igualdad:
Las propiedades más importantes de una afinidad son:
-26-
-27-
i) Las afinidades transforman rectas del plano ~rectas.
también alineados, tiene sentido considerar su razón simple
(z'z'z' ). Tendremos por l o tanto :
En efecto, una recta cualquiera del plano tiene una
ecuación de la forma:
/. L a(/. /. ¡ + /H l. /. )
J 1 J 1 3 1
(z'z'z') = =
u(:t fl ( 1 )
(1) z = zo + z t,
1
/ / /
..
) 1
.1
/
vale decir:
2
+ 1~1
2
2( ~ -
2
-210
lal + ap) : k
p = a + (3e De las dos primeras se sigue que:
vale decir:
2
+ 1~1
2
2( ~ -
2
-210
lal + ap) : k
p = a + (3e De las dos primeras se sigue que:
y de la tercera: Si z' y z' son los correspondientes puntos imágenes, por ser
~=o
z' - z' = a(z - z ); tenemos:
o
Finalmente, de ésta y de la 2da. de las precedentes, arg (z' - z') = arg a + arg (z - z )
1 o
inferimos:
arg (z'- z') = arg a + arg ( z - z )
cxi3 = o. 2 o
siguientes: que:
A) SemeJanzas directas. Son las que tienen la forma (2) z' - z o = a(z - z )
o
f(z) = az + 'l· Se llaman así porque conservan, en valor y
que pone en el carácter de punto fijo de z.
evid~ncia
signo, el ángulo de dos rectas. En el caso excluido a = 1, la semejanza directa toma
Para probarlo, sean a y b dos rectas no paralelas,
la forma:
a' y b' las correspondientes rectas imágenes, z el punto de
o
intersección de a' y b' y z' su correspondiente punto imagen,
obviamente intersección de a y.b.
(3) z' =z + ~,
Sean además, z ~ z un
1 o
punto cualquiera de a y z ~ z o un punto cualquiera de b. que en el supuesto que ~ ~ O representa una sencilla
2
-30- -11-
y de la tercera: Si z' y z' son los correspondientes puntos imágenes, por ser
~=o
z' - z' = a(z - z ); tenemos:
o
Finalmente, de ésta y de la 2da. de las precedentes, arg (z' - z') = arg a + arg (z - z )
1 o
inferimos:
arg (z'- z') = arg a + arg ( z - z )
cxi3 = o. 2 o
siguientes: que:
A) SemeJanzas directas. Son las que tienen la forma (2) z' - z o = a(z - z )
o
f(z) = az + 'l· Se llaman así porque conservan, en valor y
que pone en el carácter de punto fijo de z.
evid~ncia
signo, el ángulo de dos rectas. En el caso excluido a = 1, la semejanza directa toma
Para probarlo, sean a y b dos rectas no paralelas,
la forma:
a' y b' las correspondientes rectas imágenes, z el punto de
o
intersección de a' y b' y z' su correspondiente punto imagen,
obviamente intersección de a y.b.
(3) z' =z + ~,
Sean además, z ~ z un
1 o
punto cualquiera de a y z ~ z o un punto cualquiera de b. que en el supuesto que ~ ~ O representa una sencilla
2
1
transformación llamada "traslacibn" de "parámetro" o acuerdo con ( 1 ), es el punto z o 2 '1
"vector" l'· Bajo el efecto de una tal transformación, la La rotación especial dada por ( 5) se denomina
imagen z' de cualquier punto z se obtiene por un "simetr1a cen t ral de centro Z
01
•
o
"deslizamiento" del plano sobre sí mismo como si fuera un homotecias : son las semejanzas directas que
todo rígido. cuando a =± le, donde k denota la razón de
Es obvio que siendo '1 ~ O, una Ln:islaclón no puede semejanza que suponemos~ 1.
tener puntos fijos . Si en cambio es r = O, tenemos la Utilizando (2), las homotecias se representan en la
llamada transformación 01
identidad" para la cual cada punto forma:
del plano es punto fijo.
Volviendo a las semejanzas con centro, son importantes :
(6) z' - z =±k (z- z ).
o o
A ) Las rotaciones que se obtienen cuando a= e 1 <~>, esto es
1
cuando a es un complejo unimodular. Uti 1 izando ( 2) , una
De acuerdo con esta igualdad, el vector z' - .- o es
rotación puede representarse as1:
para todo z, un múltiplo constante del vector z - z o por lo
cual dos puntos correspondientes z y z' se encuentran
1
(4) z' - z
o
=e <p(z - z )
o
siempre alineados con el centro, de un mismo lado respecto
de éste o de lados opuestos según que en (6) el signo sea
ángulo polar del vector que ~e el punto modelo z con el una semejanza "directa" en el sentido de la definición dada
inicialmente.
centro, un ángulo de giro fijo <p
La palabra de origen griego "hornotecla", alude al
Las rotaciones y
son claramentetraslaciones
hecho que dos figuras F y F' tales que F' sea la imagen
"congruencias". Un caso especial de rotación se logra cuando
homotética de F, . "están similarmente dispuestas respecto del
<p = n. En tal caso, siendo e 1 n = - 1, (2) toma la forma
centro".
Las semejanzas centrales tienen la propiedad de que el
(5) z' - z
o
=- (z - z )
o "haz de rectas de centro z o " • es decir, el conjunto de todas
las rectas que pasan por z , se transforma globalmente en sí
que nos dice que el vector z' - z es el opuesto del vect or o
o mismo. En efecto, una· recta cualquiera que pasa por z
o
z - Z0 • Por consiguiente, puntos correspondientes z y z' se
tiene una ecuación de la forma z = zo + at, donde a denota
-34- -35-
arg (z' - z')- arg (z' - z') = proceda de un único punto modelo z, vale decir que la
correspon dencia (2) sea biyecttva .
De acuerdo con (1) de la sección (2) y con la
definició n (4) de H, un sencillo cálculo prueba que A ::::: H.
Las semejanza s inversas más interesan tes, por lo
Queda ast justifica da la observaci ón hecba respecto de A al
menos desde un punto de vista elemental , son: final de la sección precedent e.
Las simetrías axiales, llamadas también "reflexio nes Puesta en evidencia la significa ción de la no
Sobre una recta ". Se o bti enen d e 1a ecuac ió n general _de una anulación de H, vale la pena averiguar qué ocurre cuando
semejanza inversa cuando f3 es· un complejo unimodula r eup y H "' O. En tal supuesto, (2) sigue determina ndo de modo
la constante compleja 7, tiene, una forma particula r. Una univoco el punto imagen z' como función de z, pero según
simetria axial , que evidentem ente es una congruenc ia, tendrá (3), todos los puntos imágenes z' satisface n la ecuación:
arg (z' - z')- arg (z' - z') = proceda de un único punto modelo z, vale decir que la
correspon dencia (2) sea biyecttva .
De acuerdo con (1) de la sección (2) y con la
definició n (4) de H, un sencillo cálculo prueba que A ::::: H.
Las semejanza s inversas más interesan tes, por lo
Queda ast justifica da la observaci ón hecba respecto de A al
menos desde un punto de vista elemental , son: final de la sección precedent e.
Las simetrías axiales, llamadas también "reflexio nes Puesta en evidencia la significa ción de la no
Sobre una recta ". Se o bti enen d e 1a ecuac ió n general _de una anulación de H, vale la pena averiguar qué ocurre cuando
semejanza inversa cuando f3 es· un complejo unimodula r eup y H "' O. En tal supuesto, (2) sigue determina ndo de modo
la constante compleja 7, tiene, una forma particula r. Una univoco el punto imagen z' como función de z, pero según
simetria axial , que evidentem ente es una congruenc ia, tendrá (3), todos los puntos imágenes z' satisface n la ecuación:
-lA - lA
(9) ze + ze = -¡e - lA Formando la ecuación conjugada z = -z o . -1A
- 1e t,
lA
multiplicándola por e y sumándola con (10) previamente
El prlme1 · miembro d e (9) e!; un númer·o r·cal, es s uma -lA
multiplicada por e ,obtenemos (10), lo que prueba la
de un complejo y su conjugado. Por lo Lanlo , la ecuació1
coincidencia de ésta con {11).
tendrá soluciones si y sólo si la constante compleja -¡ es
- lA La transformación tiene pues una recta ó de puntos
l al q ue el producto ¡e e s un número real . Poni e ndo
-¡e
-lA
= 2p, con p real, (9) se escribe:
fijos . Observando que lz
o
- o¡ = lz 1
o
= p, el parámetro p
no sólo representa la distancia del punto z al origen,
o
sino, adicionalmente, la distancia de z a la recta ó,
-1\ - tA o
(lO) ze + ze = 2p. porque el vector z es perpendicular a ó. Por otra parte,
o
si z ,. O, de la definición de z - se sigue que A es el
En {10) podemos, sin pérdida de generalidad, suponer o o
ángulo polar del vector z .
pi!:: o. pues, si fuese p < O, escribiendo COII
o
{ 10) es por lo tanto la "forma normal" compleja de
p
1
> o, la e cuación podría escribir~• ! :
la recta ~ de puntos fijos de la transformación .
y
-1(A+7ll -- I(A+Tll
ze + ze = 2p 1
que sólo se diferencia de (10) por el reempl a zo de A por
>. + n .
( 10) representa una recta porque siendo el primer X
miembro real y de primer grado en z y z, y éstas, a su vez, Veamos cuáles son las características
de p rime r grado en x e y, (10) en definiti va es una ecuación principales de la transformación en estudio. Ella es
de ler. grado en l as variables x e y. Más precisamente, la "1nvolutor1a", esto es, si z' es la imagen de z,
-38- -39-
J;\
1ma.gen de z' . Según (8) con ~ • 2pe , s~r~: (13)
-lA - lA -lA - lA
z'e + ze = 2p; z"e + z'e = 2p. Con las substituc iones:
21A - lA z' = w + i he A,
1
Tomando conjugados en ambos miembros de la (14) w=-e z+ 2 pe; (15)
Reemplazando en (8) y teniendo en cuenta que por ser 7. El caso mas general de semejanza .
z• punto fijo es z
• -• 21A
= - z e + 7, obtenemos:
Sobre la base de los resultados de las secciones
, • lA t anteriores, estamos en condiciones de probar que:
z =z - e
La s_e me,lanza ~ general es la composicion de !!:!:@
ecuación que nos dice que el correspondiente z' de z es un congruencia ~ de !!:!:@ homotecia.
1
punto de la recta ( 12). Se observa además que En efecto, poniendo según el caso, a = ke <p ó
z' - z
•= •
- (z - z ), es decir, z y z' equidistan de ~ y ~ = ke 1
<~>, de acuerdo con el resultado final de la sección 5,
están situados de lados opuestos respecto de 4, salvo en el cualquier semejanza de razón k, será de la forma:
caso que sea z = z • .
La recta de puntos unidos ~ , se denomina el "eje" de (1) ó (2) z' = ke l<p-z + 7,
la simetria axial.
donde k > O y en general diferente de 1.
Las "simetr1as deslizantes" o "slmetrlas compuestas
Sacando en (1) k como factor común, resulta:
con una traslac1bn de parámetro paralelo al eje de
s1metr1a". Se obtienen cuando ~ es unimodular y la
-lA (3)
constante compleja 7 es, tal que re = 2p + ih, con
h • O. Será pues 7 ... (2p + lh)e 1A. Reemplazando este valor
de 7 en (8), obtenemos:
-38- -39-
J;\
1ma.gen de z' . Según (8) con ~ • 2pe , s~r~: (13)
-lA - lA -lA - lA
z'e + ze = 2p; z"e + z'e = 2p. Con las substituc iones:
21A - lA z' = w + i he A,
1
Tomando conjugados en ambos miembros de la (14) w=-e z+ 2 pe; (15)
Reemplazando en (8) y teniendo en cuenta que por ser 7. El caso mas general de semejanza .
z• punto fijo es z
• -• 21A
= - z e + 7, obtenemos:
Sobre la base de los resultados de las secciones
, • lA t anteriores, estamos en condiciones de probar que:
z =z - e
La s_e me,lanza ~ general es la composicion de !!:!:@
ecuación que nos dice que el correspondiente z' de z es un congruencia ~ de !!:!:@ homotecia.
1
punto de la recta ( 12). Se observa además que En efecto, poniendo según el caso, a = ke <p ó
z' - z
•= •
- (z - z ), es decir, z y z' equidistan de ~ y ~ = ke 1
<~>, de acuerdo con el resultado final de la sección 5,
están situados de lados opuestos respecto de 4, salvo en el cualquier semejanza de razón k, será de la forma:
caso que sea z = z • .
La recta de puntos unidos ~ , se denomina el "eje" de (1) ó (2) z' = ke l<p-z + 7,
la simetria axial.
donde k > O y en general diferente de 1.
Las "simetr1as deslizantes" o "slmetrlas compuestas
Sacando en (1) k como factor común, resulta:
con una traslac1bn de parámetro paralelo al eje de
s1metr1a". Se obtienen cuando ~ es unimodular y la
-lA (3)
constante compleja 7 es, tal que re = 2p + ih, con
h • O. Será pues 7 ... (2p + lh)e 1A. Reemplazando este valor
de 7 en (8), obtenemos:
-41-