当Y是Hilbert空间X的闭子空间时,对每个,存在唯一的及,使.称y为x在空间Y上的正交投影,简称为投影.