No.3ベストアンサー
- 回答日時:
[1] あみだくじと互換の積
あみだくじは平面に描かれますけれども、ここではもっと自由な、立体あみだくじを考えます。すなわち「n本のうんと長い縦棒に番号1,2,…,nが付いている。これらの縦棒がみんな鉛直に立っていて、その水平断面を見ると円周上に並んでいる。そして、いろんな高さにおいて、縦棒のうちの二つj, kを水平な線分で結んである」というものです。
「j番目とk番目を入れ替える水平な線分」を意味する(j, k)は、数学では「互換」と呼ばれます。
あみだくじを上から順に見て行ったとき、現れる互換を順に並べたものを「互換の積」と言います。たとえば
(1,2)(1,3)(2,4)
のように水平な線分を順番に並べて行くことによって、あみだくじがどういう構造になってるのかを表現できるわけです。
[2] 置換
既に出ている回答にも書かれている「置換」とは、たとえば(1,2,3,4)を(4,3,1,2)に置き換える、というような、番号の順番の入れ替えのことです。いちいち「(1,2,3,4)を」と断る必要はないので、置換は単に(4,3,1,2)のように表します。もちろん、互換も置換の一種ですし、互換の積もまた、ひとつの置換を表しています。というわけで、あみだくじ全体はひとつの置換である、と考えられる訳です。
そればかりか、あらゆる置換は互換の積によって表すことができます。たとえば置換(4,3,1,2)は (1,2)(1,3)(2,4)と表せます。
[3]互換の積が持つ性質
ある置換を表す互換の積は、一通りではない。これが重要なポイントです。互換の積が二つあって、どちらも同じ置換を表しているとき、両者を等号 = で結びます。つまり等号は、「表している置換が同じである」という意味です。
「水平な線分がない(互換がない)」ということも一種の互換だと思って、φと表す事にします。すると、互換の性質として、
(a,a) =φ
φ(a,b) = (a,b)
(a,b)φ = (a,b)
(a,b) = (b,a)
(a,b)(a,b) = φ
(a,b)(b,c) = (a,c)(a,b)
a≠c, a≠d, b≠c, b≠dのとき、(a,b)(c,d) = (c,d)(a,b)
などが成立つことは簡単に確認できるでしょう。つまり、これらの性質を使って互換の積を書き換えても、書き換える前後で、互換の積が表す置換は同じのままです。
また、明らかに
((a,b)(c,d))(e,f) = (a,b)((c,d)(e,f))
なので、互換の積の中の一連の部分だけに注目し、上記の性質を利用してその部分だけを書き換える、ということができます。たとえば
(1,2)(2,5)(1,3)(4,1)
という互換の積において、真ん中の(2,5)(1,3)の部分だけに注目して、これを(1,3)(2,5)に書き換えると
(1,2)(1,3)(2,5)(4,1)
となりますが、この互換の積が表す置換は元と同じですから、
(1,2)(2,5)(1,3)(4,1) = (1,2)(1,3)(2,5)(4,1)
です。
[4] 互換の積を書き換える
あるあみだくじAについて、その一番下の所に新しく(a,b)という互換を追加することを考えます。これは、あみだくじAを表す互換の積
(u,v)…(p,q)(r,s)
の右側に(a,b)を付け加えて
(u,v)…(p,q)(r,s)(a,b)
にするということです。
この互換の積の右端にある(r,s)(a,b) の部分を、上記の性質をうまく使って
(u,v)…(p,q)(m,n)(r,s)
になるように書き換えます。書き換えによって、(r,s)(a,b)の(r,s)が右側に移動し、その代わりに(a,b)が(m,n)に変化したわけです。
次に、(p,q)(m,n)の部分を、同様にして
(u,v)…(x,y)(p,q)(r,s)
になるように書き換えます。すると(p,q)が元通り右から2番目の位置になった代わりに、(m,n)が(x,y)に変化した。
このような書き換えを繰り返して行くと、どこかで上記の(a,b)(a,b) = φの性質を使って二つの互換を消してしまえるかもしれません。もしそうできれば、「あるあみだくじAの一番下の所に新しく(a,b)という互換を追加したもの」という互換の積が表す置換(あみだくじ)は、「そのあみだくじAの中の互換をひとつ取り除いたもの」という互換の積としても表せる、ということです。そして、これは「元のあみだくじの中の、ある横線を消した」ということですね。
No.2
- 回答日時:
「群論」での「置換」とか「全単射」とかであらわせます。
イメージは、あみだくじというのは、横線のところで2本の糸を左右入れ替えているだけ(置換)、という考え方です。だから、上と同じ数だけ下にゴールがあり、重複するゴールやたどり着けないゴールができないのです(全単射)。
群論 集合 全単射 置換 あみだくじ - Google 検索
http://www.google.co.jp/search?q=%E7%BE%A4%E8%AB …
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 政治 沿線住民の利益を考えれば、赤字路線は切り捨てるのは当然ではないか? 4 2022/04/12 08:59
- 数学 数学の問題の解き方を教えてください! 3 2022/11/02 17:32
- Visual Basic(VBA) vba メモリ節約 3 2022/09/16 21:45
- 高校 テスト勉強について 中間テストの結果がかえってきたのですがあまりよくありませんでした。 現代の国語と 2 2023/06/05 00:46
- 大学受験 明日から試験が始まります。 大学入試なのですが今年の入試から長文問題の文章量が約半分になると書いてあ 1 2023/01/20 16:49
- 高校 数学の魅力が知りたいです。 4 2022/12/02 19:52
- 宅地建物取引主任者(宅建) 宅建は本当に一冊のテキストと問題集で合格できるのでしょうか? 4 2023/07/15 20:38
- 哲学 日本語は論理表現にふさわしくないか の問題です 4 2022/06/25 03:56
- 数学 ピーマン予想。突如として数学史上に名を残すこととなる複素関数ピーマンゼータ関数が発見されたとします。 1 2022/05/30 20:49
- 大学受験 身長187cmです。 大学受験で南極老人という人の勉強方法が書かれた本を買いました。ミスターステップ 3 2022/08/02 20:49
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
周の長さは同じなのに面積が違...
-
1から9までの番号をつけた9枚の...
-
0.1は10パーセントなら1.0は何...
-
大学の代数学の課題で困ってい...
-
(1) x6条-64 因数分解したいん...
-
転置行列 証明
-
2数の積の最小、最大の数を出す...
-
エナメル線の電流容量 教えて...
-
数列1.2.3.....nにおいて、n≧2...
-
自然数Nをいくつかの自然数に分...
-
"和と差の積"や"三角関数の和と...
-
数学Aです。大中小3個のさいこ...
-
数学I 下図の平行四辺形ABCDはA...
-
素数の調べ方
-
高1です!次の問題を分かりやす...
-
上三角行列同士をかけたときの...
-
デルタ関数について
-
積数計算になると思うのですが...
-
高校数学です。0は全ての整数...
-
MMULT関数がわかりません。
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
1から9までの番号をつけた9枚の...
-
0.1は10パーセントなら1.0は何...
-
周の長さは同じなのに面積が違...
-
大小2つのサイコロを投げる時...
-
高校数学です。0は全ての整数...
-
大,中,小3個のさいころを投げ...
-
測量図で、周囲の長さを算出す...
-
数学Aです。大中小3個のさいこ...
-
エナメル線の電流容量 教えて...
-
小学6年生算数の比の文章問題...
-
最小公倍数と最大公約数の違い...
-
数学の問題です 正の約数が28個...
-
「和と積がともに3である2数」...
-
数学A
-
ダムのような形の体積の求め方...
-
確率の問題です。 1個のサイコ...
-
40秒は何分?の計算式を教え...
-
高1です!次の問題を分かりやす...
-
積数計算になると思うのですが...
-
群論、「部分集合の元による語(...
おすすめ情報