16.4: Proyección estereográfica
( \newcommand{\kernel}{\mathrm{null}\,}\)
Considera la esfera unitariaΣ centrada en el origen(0,0,0). Esta esfera puede ser descrita por la ecuaciónx2+y2+z2=1.
Supongamos queΠ denota elxy -plano; se define por la ecuaciónz=0. Claramente,Π corre por el centro deΣ.
DejarN=(0,0,1) yS=(0,0,−1) denotar los polos “norte” y “sur” deΣ; estos son los puntos en la esfera que tienen distancias extremas aΠ. Supongamos queΩ denota el “ecuador” deΣ; es la intersecciónΣ∩Π.
Para cualquier puntoP≠SΣ, considere la línea(SP) en el espacio. Esta línea se cruza exactamenteΠ en un punto, denotado porP′. SetS′=∞.
Al mapaξsP↦P′ se le llama la proyección estereográfica deΣ a Πcon respecto al polo sur. A la inversa de este mapaξ−1sP′↦P se le llama la proyección estereográfica deΠ a Σcon respecto al polo sur.
De la misma manera, se pueden definir las proyecciones estereográficasξn yξ−1n con respecto al polo norteN.
Tenga en cuenta queP=P′ si y solo siP∈Ω.
Obsérvese que siΣ yΠ son como arriba, entonces la composición de las proyecciones estereográficasξs:Σ→Π yξ−1s:Π→Σ son las restricciones aΣ yΠ respectivamente de la inversión en la esfera Υcon el centroS y el radio√2.
Desde arriba y Teorema 16.3.1, se deduce que la proyección estereográfica preserva los ángulos entre arcos; más precisamente el valor absoluto de la medida angular entre arcos sobre la esfera.
Esto lo hace particularmente útil en cartografía. Un mapa de una gran región de la tierra no se puede hacer a una escala constante, pero usando una proyección estereográfica, se pueden mantener los ángulos entre las carreteras de la misma manera que en la tierra.
En los siguientes ejercicios, asumimos queΣ,Π,Υ,Ω,O,S, yN son los anteriores.
Demostrar queξn∘ξ−1s, la composición de las proyecciones estereográficasΣ deΠ a desdeS, yΠ deΣ a desdeN es la inversa del planoΠ pulgΩ.
- Pista
-
Tenga en cuenta que los puntos enΩ no se mueven. Además, los puntos del interiorΩ se mapean fueraΩ y al revés.
Además, tenga en cuenta que este mapa envía círculos a círculos; además, los círculos perpendiculares se mapean a círculos perpendiculares. En particular, los círculos perpendiculares aΩ se mapean a sí mismos.
Considerar punto arbitrarioP∉Ω. Supongamos queP′ denota la inversa deP inΩ. Elija dos círculos distintos que pasen a travésP yP′. De acuerdo con Corolario 10.5.2,Γ1⊥Ω yΓ2⊥Ω.
Por lo tanto, lo inverso enΩ envíaΓ1 a sí mismo y lo mismo sostiene paraΓ2.
La imagen deP tiene que mentir sobreΓ1 yΓ2. Como la imagen deP es distinta deP, obtenemos que tiene que serP′.
Mostrar que una proyección estereográficaΣ→Π envía los grandes círculos a círculos planos que se cruzanΩ en puntos opuestos.
- Pista
-
Aplicar Teorema 16.3.1 (b).
El siguiente ejercicio es análogo al Lema 13.5.1.
Fijar un puntoP∈Π y dejarQ ser otro punto adentroΠ. DejarP′ yQ′ denotar sus proyecciones estereográficas aΣ. Establecerx=PQ yy=P′Q′s. Demostrar que
limx→0yx=21+OP2.
- Pista
-
Setz=P′Q′. Tenga en cuenta queyx→1 comox→0.
Queda por shwo que
limx→0zx=2OP2
Recordemos que la proyección estereográfica es la inversión en la esferaUpsilon con el centro en el polo surS restringido al planoΠ. Demostrar que hay un aviónΛ pasando porS,P,Q,P′, yQ′. En el planoΛ, el mapaQ↦Q′ es una inversión en el círculoΥ∩Λ.
Esto reduce el problema a la geometría del plano euclidiano. Los cálculos restantes enΛ son similares a los de la prueba de Lemma 13.5.1.