17/05/11 15:05:24.78 fkgl/AO1.net
Alt の定義式で Alt(T)(v_1,...,v_j,...,v_i,...,V_k) を展開したもの
と書いたよ？
Alt(T)(v) def= (1/k!)Σ[σ∈S_k](sgn σ)T(σv) より
Alt(T)(τv) = (1/k!)Σ[σ∈S_k](sgn σ)T(στv)。
17/05/11 15:05:24.78 fkgl/AO1.net
Alt の定義式で Alt(T)(v_1,...,v_j,...,v_i,...,V_k) を展開したもの
と書いたよ？
Alt(T)(v) def= (1/k!)Σ[σ∈S_k](sgn σ)T(σv) より
Alt(T)(τv) = (1/k!)Σ[σ∈S_k](sgn σ)T(στv)。