行列式の特徴づけ n次行列の行列式はn2変数の多項式で、行・列に関して線形かつ交代的。 逆に、線形かつ交代的なn2変数の多項式がn次行列(の定数倍)になることを示す。 証明 は自然基底とする。 n2変数の多項式 を、n次元ベクトル の関数とみなせば、 線形性…