使用的狄拉克符号，或代数几何中的射影簇记号来定义。为了将两种语言清楚地等同起来，令这里 formula_29 是希尔伯特空间的一个正交规范基向量集合，formula_30 是复数，而 formula_31 是射影空间 formula_32 中一点在齐次坐标中的标准记号。那么，给定空间中两点 formula_33 与 formula_34，它们之间的距离是或等价地，在射影簇记号中，这里 formula_37 是 formula_38 的复共轭。分母中出现的 formula_39 提醒了 formu