Riemann sphere
例えば、リーマン球面からリーマン球面自身への解析函数は、有理函数か、もしくは恒等的に無限大の函数であることが容易に証明できる（リウヴィルの定理の拡張として）。もしそのような函数 f が定数ではないとすると、f(z) が無限遠点となるような z の集合は孤立していて、リーマン球面はコンパクトであるから、高々有限個の z しか f(z) の値が無限大にならない。そのような z のあらゆる点でのローラン展開を考え、特異点を取り除くと、C 上に値を持つリーマン球面上の函数は、リウヴィルの定理により、定数函数しか残らない。このようにして f は有理函数となる。この事実は、代数多様体として、複素射影直線とリーマン球面との間には本質的な差異は存在しないことを示している。