ハイパー構造1
空でない集合に対し、写像をハイパー演算子(Hyper-operator)と呼ぶ。このに関する構造(ハイパー構造)は古くから調べられてきた。歴史的な経緯に沿いながら議論することも可能だが、今回はブルバキ流に諸概念を細分化しつつ纏めてみようと思う。
再現性
通常の演算子と同様に、再現性という概念を考えることが出来る。
- 左再現性 任意のに対してが成り立つ。
- 右再現性 任意のに対してが成り立つ。
左再現的かつ右再現的であるときは両側再現的、あるいは単に再現的(reproductive)であるという。新たに以下の演算子を考える。
は「必ずが含まれ、の位置がの左(L:Left)か右(R:Right)にある」と覚える。
命題 左再現性とは同値、また右再現性とは同値である。
(証明)左再現性を仮定する。に対し、だから、あるが存在してを得る。つまりが従う。一方でならだから、が任意ので示される。右再現性についても同様である。
すぐ分かることだがは共に右再現性を持つ。ではいつ左再現性を持つだろうか。が左再現的ならは左再現的であり、が右再現的ならは左再現的である。
他に演算子としてを考えることもできるが、どの組を使うかは好みである。今回は覚えやすさを優先したため、再現性の関係がちぐはぐになっている。
結合性
ハイパー構造に対し、幾つかの結合性を定めることができる。
- 左結合性 任意のに対してが成り立つ。
- 右結合性 任意のに対してが成り立つ。
- 弱結合性(weak-associativity) 任意のに対してが成り立つ。
左結合性は「二つののうち、左側を先に施した方が強い(集合的に大きい)」と覚える。左結合的かつ右結合的であるとき、単に結合的(associative)であるという。結合的であるときのみ、括弧を外して記述する。
結合性の下での混合結合法則(mixed associative law)が従う。
命題 ハイパー構造が結合的ならが成り立つ。
(証明)まず左結合的ならであることを示す。とすると、あるが存在してとなる。つまりとなる。左結合性よりが従うので、を得る。についても同様で、右結合的でも同様となる。
準同型
ハイパー構造における、写像に対する準同型性の定義もまた自明ではない。
- 準同型 任意のに対してが成り立つ。
この定義は可換図式が綺麗に書ける。群準同型などと同様に、全単射なら逆写像の準同型性も従う。このときはハイパー構造として同型であると言いで表す。
位相空間における連続写像と同様に、左準同型が全単射であっても同型にならない。更にが左準同型であればは準同型、つまり同型になる。右に関しても同様の事実が成り立つ。左(resp.右)準同型性は合成により遺伝するため、自分自身に対する左(resp.右)準同型写像全体はモノイドを定める。特に同型全体は群を成し、と書き自己同型群と呼ぶ。
上昇定理
集合を固定して、その上に入るハイパー構造がどの程度存在するかを調べたい場合がある。そこでハイパー構造に対し大小を定めておくとよい。をハイパー構造とする。ある自己同型が存在し、任意のに対して
が成り立つとき、と書いてはより大きいという。
命題 左(右)再現性、弱結合性は上昇する。即ちが何れかの性質を満たすとき、に対してもその性質を満たす。
(証明)に対しの左再現性よりなるが存在する。よってが従うので、も左再現的である。右も同様。弱結合性は
より分かる。
続き:ハイパー構造2
参考文献
[Mas] Gerasimos G.Massouros. On the Hypergroup Theory. F.S.A.I. Vol.4 No.2(1995).
[Vou] Thomas Vougiouklis. Hv-groups defined on the same set. Discrete Mathematics 155 (1996) 259-265.
修正
2016/01/28 結合性の左右を逆にした。