子空间描述有两种.docxVIP

微分形式的应用之子空间描述 一、子空间描述 子空间描述有两种，一种是代数的，一种是几何的。 比如用代数的方式定义了三维空间上的抛物线。同样映射用几何的方式定义了三维空间上的同样的抛物线。 代数描述是给定这个子空间的满足的条件，用方程组表示。即子空间上每个点都满足这个方程组；同样满足这个方程组的点都属于这个子空间。 构成方程组的函数可以作为生成元来构成了代数理想，这个理想可以表述为 ； （顺便解释一下理想，理想是这样一个集合，任何元素和这个集合的元素相乘后就会变成这个集合的元素。）求解方程组的过程就是在这个理想中寻找简单的生成元的过程，也是确定子空间维数的过程。对于多项式函数的理想的约化就是寻找Grobner基。同样地，子空间上每个点都能零化这个理想；同样零化这个理想的点都属于这个子空间。研究这些子空间或理想整体特征的就是代数几何的任务。 几何描述的子空间采用映射形式，将参数空间映射到实际空间。 这个映射如果是浸入映射，参数遍历空间中的点时，像点就遍历了一个子空间。 如果描述的是同一个子空间， 这两种描述的关系是 称是的解。 子空间的局部描述 子空间的局部描述也分为两种，余切空间和切空间 比如是余切空间描述，而是切空间描述，他们都给出