9 - 泛函初步与格拉斯曼数