_3"U"和"αformula_3"K"。从一个向量空间到自身的算子构成一个辛结合代数：单位元是恒等映射（通常记为"E"、"I或"id）。
有界算子和算子范数.令"U"和"V"是同一有序域（例如formula_6）上的两个赋范向量空间。从"U"到"V"的线性算子被称为有界，如果存在"C>0"满足对所有xformula_3"U"。有界算子构成一个向量空间。在这个向量空间上，我们可以引入一个与"U"和"V"的范数相容的范数：对于从"U"到自身的算子有任何具有这一性质的辛