对偶空间的辛结构
考虑辛形式的推广。实Banach空间
上有非退化的反对称连续双线性形式:
由这个形式可以诱导出连续线性的降(flat)映射:
使得
。这样的非退化反对称双线性形式称为
辛形式(symplectic form)。定义了辛形式的向量空间称为辛空间。
线性空间
及其对偶空间
的Cartesian积上可以定义
正则辛结构(canonical symplectic form):