zoukankan      html  css  js  c++  java
  • Vander Monde 行列式

    1. 定义

    范德蒙德行列式定义为:

    [V(x_1, x_2, cdots, x_n) equiv left| egin{matrix} 1 & 1 & cdots & 1 \ x_1 & x_2 & cdots & x_n \ x^2_1 & x^2_2 & cdots & x^2_n \ vdots & vdots & ddots & vdots \ x^{n-1}_1 & x^{n-1}_2 & cdots & x^{n-1}_n end{matrix} ight| ]

    可以证明,范德蒙德行列式等于

    [V(x_1, x_2, cdots, x_n) = prod_{i>j} (x_i - x_j). ]

    2. 证明

    行列式中一行加上另一行的倍数,整个行列式的值不变。这个可以目测得到,这里就不写证明了。利用这个结论,对 Vander Monde 行列式进行行变换:

    [V(x_1, x_2, cdots, x_n) = left| egin{matrix} 1 & 1 & cdots & 1 \ 0 & x_2-x_1 & cdots & x_n-x_1 \ 0 & x_2(x_2-x_1) & cdots & x_n(x_n-x_1) \ vdots & vdots & ddots & vdots \ 0 & (x_2 - x_1)x^{n-2}_2 & cdots & (x_n-x_1)x^{n-2}_n end{matrix} ight|\ = (x_2-x_1)(x_3-x_1)cdots(x_n-x_1) left| egin{matrix} 1 & 1 & cdots & 1 \ x_2 & x_3 & cdots & x_n \ x^2_2 & x^2_3 & cdots & x^2_n \ vdots & vdots & ddots & vdots \ x^{n-2}_2 & x^{n-2}_3 & cdots & x^{n-2}_n end{matrix} ight|, ]

    如此递推下去,即得

    [V(x_1, x_2, cdots, x_n) = prod_{i>j}(x_i - x_j). ]

    3. 应用:置换群群元的奇偶性

    若有置换群元

    [R = egin{pmatrix} 1 & 2 & cdots & n \ r_1 & r_2 & cdots & r_n end{pmatrix}, ]

    现在定义,R 作用在 Vande Monde 行列式上,使它变为

    [R V(x_1, x_2, cdots, x_n) = V(x_{r_1}, x_{r_2}, cdots, x_{r_n}), ]

    上式右边是一个确定的值,而 (R) 若写成对换的连乘,由于每次对换给 Vander Monde 行列式添加一个负号,所以 (R) 的对换连乘形式中,对换个数的奇偶性一定是唯一的,不会因为对换形式(不唯一)的改变而改变。

  • 相关阅读:
    方法的形式参数是类名的时候如何调用
    成员变量与局部变量的区别
    如何选择适合自己的Linux版本
    MySQL数据库的特点和优势
    面向对象学生类和手机类的使用
    面向对象基本概述
    数据库概念介绍
    二位数组的求和
    二维数组遍历
    SpringBoot与SpringMVC的区别是什么?
  • 原文地址:https://www.cnblogs.com/luyi07/p/14879175.html
Copyright © 2011-2022 走看看