📂関数

対称関数

定義

二変数関数 $f : X \times X \to Y$ が次を満たすとき、対称関数^{symmetric function}とする。

一方 $f$ が以下の条件を満たすとき、反対称関数^{skew-symmetric function}とする。

説明

対称行列は $A = A^{\mathsf{T}}$ を満たす行列をいう。これは有限次元では対称双線形形式に対応する。