Kähler manifold
複素射影空間はケーラー多様体である．したがって，任意の射影代数多様体 に対し， はコンパクトケーラー多様体である．逆は一般には正しくないが，小平の埋め込み定理はケーラー多様体が射影的であるための判定法を与える．