- ベストアンサー
行列式と置換についての証明のプロセス
- 行列式と置換に関連する証明のプロセスについて質問します。
- ある条件下での行列の行列式の定義式において、特定の項のみが残ることを示すために使用される置換について詳しく説明してほしいです。
- 特定の条件を満たす置換を2つの置換の積として表すことに関して、具体的な説明をしていただけないでしょうか。
- みんなの回答 （3）
- 専門家の回答
質問者が選んだベストアンサー
えぇと.... すみません, 何がよくわからないのかがよくわからなくなりました. 「σ が { 1, ..., p+1 } 上の置換である」ことと「任意の j ≦ p に対して σ(j) ≦ p である」ことから「任意の j > p に対して σ(j) > p である」ことはすぐですよね. ここから 「置換は{1,...,p}→{1,...,p}、{p+1,...,n}→{p+1,...,n}のような形になっていて」 となって 「そのような置換 σ が {1, ..., p}の置換σ1と {p+1, ..., n} の置換σ2の積として表わされる」 と続きます. 1～p は 1～p だけ, p+1～n は p+1～n だけで入れ替わってるんですよね. だとしたら, 前者をあらわす置換と後者をあらわす置換の積で書けることもほぼ自明なんじゃないかな. まあ, どうしてもやりたければ「任意の置換が巡回置換の積として (順序を無視して) 一意に書ける」ことを使ってもいいけど.
その他の回答 (2)
- Tacosan
- ベストアンサー率23% (3656/15482)
あ, あれ? じゃあ方針変更. 考えなきゃならない置換は, j ≦ p のときに σ(j) ≦ p であるもの, だけですよね? これを前提として, 例えば σ(p+1) = 1 であるような置換は考える必要がありますか? 置換が全単射である, つまりこの場合には p+1 以外に σ(j) = 1 となるものがないということを念頭において考えてみてください.
補足
＞置換が全単射である, つまりこの場合には p+1 以外に σ(j) = 1となるものが ＞ないということを念頭において考えてみてください. σ(p+1) = 1 であるような置換があるのですか？ 置換は{1,...,p}→{1,...,p}、{p+1,...,n}→{p+1,...,n}のような形になっていて 全単射になると思っていました。そういった考えで j≦p ⇒ σ(j)≦p となる置換σは{1,...,p}→{1,...,p}だと思っていたのですが。 j > p はどう考えればよいのですか？
- Tacosan
- ベストアンサー率23% (3656/15482)
集合 { σ(j) | j ≦ p } を考えればほぼ自明では? σ が置換であるという条件から, この集合は { 1, 2, ..., p } に一致しますよね.
補足
回答して頂いてありがとうございます。 なぜ自明であるのかがよく分かっていないです。回答にある集合が { 1, 2, ..., p } に一致するのは理解しているのですが。 (1) j ≦ p では行について p+1 行目以上が０ → j ≦ p ⇒ σ(j)≦p (2) j > p では０の項がない → σ(i)＝ 1～n となり得る といった考え方をしているのですが、ここから(*)のようになる というのがいまいち分からないです。 お手数ですが、再度回答をお願いします。
補足
自分の中で置換の積というと [1,2,3,4] [1,2,3,4] [1,2,3,4] ＝ ＊ [1,3,4,2] [1,4,3,2] [1,3,2,4] のように置換{1,...,n}→{1,...,n}同士の積が{1,...,n}→{1,...,n}に 写るというイメージで何かが求まるのですが、ここでのσ＝σ１σ２ でいう積はイメージ的には直積([1,..,p] × [p+1,...,n]?)といった ところですか？