黎曼球面
黎曼球面也可以定义为複射影线。这也就是formula_26的子集，由所有非零复数对formula_27构成，模如下等价关系: