The hyperboloid sheet
is topologically the same as a circular
disk. We can make this equivalence precise by considering the
``projection'' along straight lines from the origin. Given any point
with
(the union of the two solid cones), there
is precisely one value of
such that
and
. That is, there is exactly one point on the line through
and
lying on
.
Now let
be on
and consider the point
also on the line through the origin and
.
Note that
This bijection carries plane cross-sections in
defined by
to lines
in
. The disk equipped with
the straight lines as geodesics is often called the projective or
Klein model of hyperbolic geometry.