\(\DeclarePairedDelimiterX{\Set}[2]{\{}{\}}{#1 \nonscript\;\delimsize\vert\nonscript\; #2}\) \( \DeclarePairedDelimiter{\set}{\{}{\}}\) \( \DeclarePairedDelimiter{\parens}{\left(}{\right)}\) \(\DeclarePairedDelimiterX{\innerproduct}[1]{\langle}{\rangle}{#1}\) \(\newcommand{\ip}[1]{\innerproduct{#1}}\) \(\newcommand{\bmat}[1]{\left[\hspace{2.0pt}\begin{matrix}#1\end{matrix}\hspace{2.0pt}\right]}\) \(\newcommand{\barray}[1]{\left[\hspace{2.0pt}\begin{matrix}#1\end{matrix}\hspace{2.0pt}\right]}\) \(\newcommand{\mat}[1]{\begin{matrix}#1\end{matrix}}\) \(\newcommand{\pmat}[1]{\begin{pmatrix}#1\end{pmatrix}}\) \(\newcommand{\mathword}[1]{\mathop{\textup{#1}}}\)
Needs:
Smooth Manifolds
Needed by:
None.
Links:
Sheet PDF
Graph PDF

Stereographic Projection

Why

We want to make physical two dimensional images of parts of the earth's surface. In other words, we want to make maps.

Definition

Denote the unit sphere in $\R ^3$ by $S$ and the northpole $(0, 0, 1) \in S$ by $p$. Denote the sphere without the nortpole by $S^\circ$.1 In other words, $S^\circ$ is defined by

\[ S^\circ = S \setminus \set{p} \]

The stereopgraphic projection $\pi : S^\circ \to \R ^2$ of $S^\circ$ is defined as follows. The point $\pi (x)$ is the $(x, y)$ value for the point where the line through $N$ and $x$ intersects the plane $P = \Set{(x, y, z) \in \R ^3}{z = 0}$ (the “xy-plane”).2

The stereographic projection is a diffeomorphism.

  1. Future editions will resolve the fact that this conflicts with the notion of polar sets (seeReal Polar Sets ↩︎
  2. Future editions will improve and continue the development as well as include the requisite figures. ↩︎
Copyright © 2023 The Bourbaki Authors — All rights reserved — Version 13a6779cc About Show the old page view