ハイパーベクトル空間1
群や環、体といった代数的構造の拡張は、古くから様々な数学者によって考案されてきました。その一つがF.Marty*1を先駆とするハイパー構造と呼ばれている代数系です。今回紹介するのはSanjay RoyとT.K.SamantaによるA Note on Hypervector Spacesという論文です。ハイパーベクトル空間を新たに導入し、その基底に関する性質を調べています。実はこの論文中に導入されているハイパー群の定義は、Wikipediaに書かれているような一般的な定義とは異なります。J.Mittasが言うcanonicalなハイパー群を非可換化したものと考えられるのですが、ハイパーベクトル空間に用いるのは全て可換なため、本質的にcanonicalなハイパー構造のクラスを考えているとしても差し支えありません。
non-commutative canonical hyper-group
空でない集合の空でない部分集合全体をと書くことにします。二項演算が以下の性質を満たすとき、組を非可換な標準的ハイパー群(論文では単にハイパー群)と呼びます。なおに対し
と定めます。
(i) は結合的である。つまりが成り立つ。
(ii) 単位元が存在し、任意のに対して適当なを取ればとできる。更にこのようなは一意的で、以下と表すことにする。
(iii) ならが成り立つ。
ここに可換性を加えたものが標準的ハイパー群と言われるものになります。ハイパー群とは(i)の結合性と再現性()のみを満たす代数系で、後で示しますが標準的ハイパー群はハイパー群になっています。非可換な標準的ハイパー群はハイパー群ではありません(多分)。
簡単な性質としてはが成り立ちます。実際ですが、とすれば一意性よりが従います。またより(iii)からとなるので、が分かります。よってとなるので再び(iii)からであり、故にが従います。
(ii)の一意性は単位元に対するの一意性であって、単位元の一意性を意味しているわけではありません。ですが可換性を認めれば単位元の一意性が得られます。既にを示しましたが、とすると(iii)よりが従います。ここで可換ならであり、一意性よりとなるのでが分かります。そこでもう一つの単位元を用意すると
となるので一意性が従います。一般に単位元が一意に定まる時を零元、をの逆元と言います。
標準的ハイパー群がハイパー群であること、即ち再現性を持つことを示しましょう。非可換な標準的ハイパー群が左再現性()を満たすことを示せば十分です。に対しを取ります。ですが、ここでなのでが従います。故にが得られました。逆は明白です。
例えば群に対してと定めれば単位元をとする非可換な標準的ハイパー群となります。他に面白い例はあるのでしょうか? 因みにハイパー群という言葉にはもう一つ、局所コンパクト群上の測度が成す代数系としての用法があります。割と近い雰囲気はあって、測度のサポートを考えれば似ている気がするのですが、この話には立ち入らないことにします。
hyper-vector space
標準的ハイパー群に対して両側分配的な上の積が定まり、を満たすときハイパー環と言います。更に積が可換で単位元を持ち、でない元に対しては可逆であるとき、ハイパー体と呼ぶことにします。
群のときと同様に、通常の環からハイパー環が構成できますし、体からもハイパー体が定まります。
組を標準的ハイパー群、をハイパー体とします。写像が以下の四条件を満たすとき、は上のハイパーベクトル空間であると言います。以下アルファベットはの元、ギリシャ文字はの元を表します。
(i) が成り立つ。
(ii) が成り立つ。
(iii) が成り立つ。
(iv) が成り立つ。
上の二つは部分集合となっていることに注意して下さい。(i)の等号が成り立つとき強右分配的(strongly right distributive)、(ii)の等号が成り立つとき強左分配的(strongly left distributive)、両方等号となるときグッド(good)であると言います。
今回は定義の紹介のみに留めますが、最後に簡単な性質を述べておきます。まずに関してはが成り立ちます。またならまたはとなります。実際
ですし、なら逆元が存在するので
より二つ目の性質も従います。またも成り立ちます。これは
より分かります。
次回:ハイパーベクトル空間2
参考文献
[1] Sanjay Roy, T.K.Samanta. A Note on Hypervector Spaces. arXiv:1002.3816v3 [math.GM] 7 Jun 2011.
[2] Gerasimos G.Massouros. On the Hypergroup Theory. F.S.A.I Vol.4 No.2 (1995).
*1:文献としてはSur une generalisation de la notion de groupeなのですが、ネット上で見つからないので読めていません。