◎正当な理由による書き込みの削除について:      生島英之とみられる方へ:

3項演算子を考えるスレ


動画、画像抽出 || この掲示板へ 類似スレ 掲示板一覧 人気スレ 動画人気順

このスレへの固定リンク: http://5chb.net/r/math/1289407041/
ヒント:5chスレのurlに http://xxxx.5chb.net/xxxx のようにbを入れるだけでここでスレ保存、閲覧できます。

1 :ポリンキー ◆bY48xjZ7JZEU :2010/11/11(木) 01:37:21
加減乗除は全て
(a,b) |→ c
となる2項演算子です。
群環体もこの2項演算子をモデルに作られています。
横に文字を連ねるとどうしても a □ b = c と
2項演算子が考えやすいのか…。

3項演算子を考えればもっと計算の世界が広がるのでは?
このスレでは3つの数 (a, b, c) に対して数 d を割り当てる3項演算子
(a,b,c) |→ d
を考えます。

2 :ポリンキー ◆bY48xjZ7JZEU :2010/11/11(木) 01:40:43
「三角乗法」を次のように書きます。

(a_t, a_l, a_r) |→ b



  a_t
  △  >→ b
a_l  a_r

3 :132人目の素数さん:2010/11/11(木) 01:47:39
交換法則と結合法則はどうなるんだ

4 :ぽりんきー ◆bY48xjZ7JZEU :2010/11/11(木) 01:48:43
「三角乗法の展開」は

      t_t
a_t →< △
     t_l t_r

      l_t
a_l →< △
     l_l l_r

      r_t
a_r →< △
     r_l r_r

とするとき、

t_l = l_t かつ l_r = r_l かつ r_t = t_r

のときのみ定義され

            t_t
  a_t        △
  △  >→ t_l △ r_t
a_l  a_r    △   △
        l_l  l_r   r_r

のように書きます。

5 :132人目の素数さん:2010/11/11(木) 01:49:26
>>3
結合法則は >>4 により定義します

6 :132人目の素数さん:2010/11/11(木) 01:51:26
何十年も前にコンピュータプログラムで解決済っぽいな これ

7 :ポリンキー ◆bY48xjZ7JZEU :2010/11/11(木) 01:55:37
まず最も簡単な、
基数集合の位数が |S| = 1 の場合
つまり S = {e} の場合を考えます。

この場合

 e
 △  >→ e
e  e

であり、拡張も


          e
 e        △
 △ →<  e △ e
e  e    △  △
       e  e  e

となり矛盾なく定義されていることが分かります。

8 :132人目の素数さん:2010/11/11(木) 01:56:08
コンピュータや計算機がない手作業の時代のウン百年前に
理論自体は完結済

9 :132人目の素数さん:2010/11/11(木) 01:58:33
>>6
コンプータなんて人間様にはまだまだ及びませんよ。
簡単な有限群の計算だって、力ずくの解法では
少し大きくなれば |S_n| = n! の指数爆発で手に負えなくなりますし。

10 :132人目の素数さん:2010/11/11(木) 01:59:45
>>8
そうななのですか? 参考資料はありますか?

11 :132人目の素数さん:2010/11/11(木) 02:01:01
ググレ

12 :ぽりんき:2010/11/11(木) 02:05:12
基数集合の位数が 2 の場合、 S = {e, 1} を考える。

まず単位元を自然な感じで >>7 と置くと

          e
 e        △
 △ →<  e △ e
e  1    △  △
       e  e  *

であるから * = 1 でなければならない。
よって

 e
 △  >→ 1
e  1

である。同様に

 e
 △  >→ 1
1  e

 1
 △  >→ 1
e  e

が言える。

13 :132人目の素数さん:2010/11/11(木) 02:05:16
カス

14 :132人目の素数さん:2010/11/11(木) 02:06:58
>>11
3項演算子で軽くググッタがプログラミング言語関連ばかりでした。

15 :132人目の素数さん:2010/11/11(木) 02:09:22
深くググレ

16 :132人目の素数さん:2010/11/11(木) 02:09:56
S = {e, 1} の場合、つづき

          *
 e        △
 △ →<  e △ 1
e  1    △  △
       e  e  e

より、 * = 1 でなければならず、

 1
 △  >→ e
e  1

が言える。同様に

 1
 △  >→ e
1  e

 e
 △  >→ e
1  1

である。

17 :132人目の素数さん:2010/11/11(木) 02:11:05
>>15
Wikipedia には書いてなかったでつ

18 :132人目の素数さん:2010/11/11(木) 02:13:17
完結済だからさ

19 :132人目の素数さん:2010/11/11(木) 02:15:56
最後に、

          e
 e        △
 △ →<  1 △ 1
e  1    △  △
       e  1  *

より * = 1 でなければならず

 1
 △  >→ 1
1  1

である。以上の定義は縮小 >→ について矛盾なく定義されている。

まとめて書くと、この三角乗法は、e := 0 とすると

 a
 △  >→ a+b+c (mod 2)
b  c

である。

20 :132人目の素数さん:2010/11/11(木) 02:16:40
>>18
完結済みならなおさら Wikipedia に書いてありそうだけど…

21 :132人目の素数さん:2010/11/11(木) 02:17:56
書く価値や意味がないのだろ

22 :ぽりんき ◆bY48xjZ7JZEU :2010/11/11(木) 02:25:44
この理論について知っているなら
研究した人の名前なり理論の名称なりを教えてくださいませんか?

23 :132人目の素数さん:2010/11/11(木) 02:29:08
ググレ

24 :132人目の素数さん:2010/11/11(木) 02:29:43
>>1
ジョルダン三項積などの例は知らない、ということか?
どちらにせよ、演算と演算子の区別くらいつけれ。

25 :ぽりんき ◆bY48xjZ7JZEU :2010/11/11(木) 02:30:23
>>19 だが、縮小について矛盾なく定義されているのは当たり前かも。
展開についてだが、

          *
 a        △
 △ →<  d △ f
b  c    △  △
       g  h  i

となる a, b, c, d, f, g, h, i があるとき
* に入る基数が存在する
という定義はどうだろう。

26 :132人目の素数さん:2010/11/11(木) 02:40:41
3項のみならず、4項~5項…一般にn項になると
簡単な有限群の計算だって、もう人間の力ずくの解法では
手に負えなくなる から
電子計算機やコンピュータにぶち込む方法じゃなかったか?

(当時)電子計算機が世に出て
何十年も前に解決済らしいので、もう誰も気にも留めないそうだがな…


27 :132人目の素数さん:2010/11/11(木) 02:45:39
>>24
情報サンクス。
Jordan三項積についての話題も歓迎です。

28 :132人目の素数さん:2010/11/11(木) 02:47:49
どうやら島根県からの書き込みで島根県民であり
Google先生によれば島根県にはパソコンがないらしい。
だからパソコンやコンピュータといった
電子計算機という文明の利器も知らなかったのだろう。

29 :132人目の素数さん:2010/11/11(木) 02:49:55
>>26
コンピュータにぶち込むといったって、上手に処理しなければ
宇宙が終わるまで計算が終わらないということになる。

まず人間が効率のより理論・アルゴリズムを構築する必要がある。
n項演算の理論は完成済みでしょうか?

30 :132人目の素数さん:2010/11/11(木) 02:51:25
>>28
どうして分かったの?ww
ってかコンピュータ無いのにどうやって書き込むwww

31 :132人目の素数さん:2010/11/11(木) 02:52:05
島根県ってパソコンないのか?

ってググッたらほんとに出てきた!!!

32 :ぽりんき ◆bY48xjZ7JZEU :2010/11/11(木) 02:55:40
自然数の集合に2項演算の和と積を定義するだけで
整数論の難しい未解決な問題が生じるのに、
3項演算が全て分かっているなんて言えるでしょうか

33 :132人目の素数さん:2010/11/11(木) 02:56:05
>>28
はるばるパソコンがある神戸などへ出かけて
ネットカフェから書き込む

by 40代男性 海@保安官

34 :132人目の素数さん:2010/11/11(木) 02:57:12
>>32
>>24

35 :ポリンキー ◆bY48xjZ7JZEU :2010/11/11(木) 03:04:40
>>34
Jordan三項積が3項演算子の全ての場合だということですか?

# ググったけど Jordan三項積 のめぼしいサイトが見つかってないのよ

36 :132人目の素数さん:2010/11/11(木) 03:05:35
書く価値や意味がないのだろ

37 :ぽりんき ◆bY48xjZ7JZEU :2010/11/11(木) 03:08:56
ジョルダン3項代数とは k 上のベクトル空間 A で
演算 {-, -, -} : A × A × A → A

(1)

38 :132人目の素数さん:2010/11/11(木) 03:10:02
ってか島根県ってどこ?

39 :132人目の素数さん:2010/11/11(木) 03:11:23
鳥取県の隣

40 :132人目の素数さん:2010/11/11(木) 03:13:22
>>39
じゃあ鳥取県ってどこ?

41 :132人目の素数さん:2010/11/11(木) 03:14:27
島根県の隣

42 :132人目の素数さん:2010/11/11(木) 03:15:40
('A`)

43 :132人目の素数さん:2010/11/11(木) 03:17:42
http://en.wikipedia.org/wiki/Triple_system

44 :ぽりんき:2010/11/11(木) 03:18:04
>>37

(1) {xyz} = {zyx}

(2) 4項関係 {xy{zuv}} + {z{yxu}v} = {{xyz}uv} + {zu{xyv}}

を満たすものを ternary Jordan algebra または Jordan triple system という。

45 :132人目の素数さん:2010/11/11(木) 03:18:45
>>43
ありがトン。

46 :132人目の素数さん:2010/11/11(木) 03:20:44
>>1
よってこのスレ終わっていいか?

47 :ぽりんき ◆bY48xjZ7JZEU :2010/11/11(木) 03:21:50
Jordan triple system でも Lie triple system でも

2項の入れ替え

{xyz} = {zyx}

or

[u,v,w] = - [v,u,w]



48 :132人目の素数さん:2010/11/11(木) 03:22:46
だからどうした?

49 :ポリンキ:2010/11/11(木) 03:24:23
>>47

2項の入れ替えを要求している。
一方、三角乗法では今のところその要件は入れていない。
今後の発展によれば分からないが…

よって上記の三角乗法と triple systems とは異なる

50 :ぽりんき:2010/11/11(木) 03:26:07
可換環と非可換環では理論が異なってくる。
2項の入れ替えが必ずしも一致しないという条件で
対象が広がるかもしれない

51 :132人目の素数さん:2010/11/11(木) 03:29:43
だからどうした?

52 :ぽりん:2010/11/11(木) 03:32:01
>>51
まあ進んでいけば分かるって!

53 :ぽりんきー ◆bY48xjZ7JZEU :2010/11/11(木) 03:48:16
基数集合 S = {e, 1, 2} の場合を少し考えたが

バージョン1の

>>2 >>4
で定義され
>>25
によって決定される

三角乗法では場合分けが多くなり考えにくい。
まあ後々コンプータさんにでも解かせるとして、いまは

(T1) 「頂点を保つ縮約」

   a
   △         a
  * △ *  >→  △
 △  △      b  c
b  *   c

を追加してみる。

54 :132人目の素数さん:2010/11/11(木) 04:30:09
>>40
じゃあ嵯峨県ってどこ?


55 :132人目の素数さん:2010/11/11(木) 10:48:56
3項って2項の組合せで表現できないの?

56 :Polinky ◆bY48xjZ7JZEU :2010/11/11(木) 11:05:23
>>55
確かに任意の2項演算を使ってよいなら
3項演算を2項演算の組み合わせで表現できますね。

しかし和や積などの簡単な表現で表わされるかどうかは分かりません。

そうすると3項であつかうメリットを得るには
対称性などから2項のときよりスッキリ書ける
ような3項演算であるのが望ましいのか…

なるほどん

57 :ぽりんき ◆bY48xjZ7JZEU :2010/11/11(木) 11:12:06
このスレでの私の目標は
数に対して加減乗除に次ぐ第5の演算で
加減乗除に類する素直な性質を持つものを見つけることです。

そのためにまず有限基数 S = {0, 1, ..., n-1} に対して
三角乗法△を定義し、それを N → Q → R と拡張する方針です。

ひとまず昨晩の探索の結果をまとめます。

58 :ポリンキー ◆bY48xjZ7JZEU :2010/11/11(木) 11:34:10
[定義 1: 記法]

整数 n に対して基数集合を S = {0, 1, ..., n-1} ととる。
任意の3つ組 (a, b, c) ∈ S × S × S に対して
△(a, b, c) = d ∈ S を割り当てる写像 △ を三角乗法と呼び

 a
 △  >→ d
b  c

と書く。
上記のように左辺を右辺に変えることを縮約と呼ぶ。
この逆を展開と呼び

       a
d →<  △
     b  c

と書く。

縮約は一意に定まるが、d の展開は一般に
複数通りあっても良いものとする。

上記で定義される三角乗法系を (S, △) と書き
(S, △) の元 J ∈ (S, △) は

   a
J = △  >→ d
  b  c

と書く。

59 :132人目の素数さん:2010/11/11(木) 11:42:59
[定義 2: 結合法則]

三角乗法系 (S, △) に対し、J, P, B ∈ (S, △) が
互いに1つの頂点を共有するとき、つまり

   x
J = △  >→ t
  a  b

   a
P = △  >→ l
  y  c

   b
B = △  >→ r
  c  z

となるとき、結合 △(J, P, B) が定義され

          x
 J        △        t
 △ →<  a   b  >→  △
P  B    △  △      l  r
       y  c  z

とする。

60 :ポリンキー ◆bY48xjZ7JZEU :2010/11/11(木) 11:48:13
[公理 1: 頂点を保存する縮約]

任意の x, y, z, a, b, c ∈ S に対して

  x
  △         x
 a   b  >→  △
 △  △     y  z
y  c  z

とし、頂点を保存する縮約 (T1) と呼ぶ。

上記 >>58 >>59 の定義と公理 T1 をもって
三角乗法系のとりあえずの定義とする。

61 :ぽりんきぃ ◆bY48xjZ7JZEU :2010/11/11(木) 11:54:30
それではいくつかの定理を証明していきます。

任意に1つの s ∈ S を選んだとき

 s
 △  >→ t
s  s

とすると

          s
 t        △           s
 △ →<  s   s  >(T1)→  △  >→ t
t  t     △  △        s  s
       s  s  s

よって

[定理 1]

 t
 △  >→ t
t  t

を満たす t が存在する。

62 :ぽりんきぃ ◆bY48xjZ7JZEU :2010/11/11(木) 11:59:55
t ∈ S を >>61 定理1の t とする。

          t
 t        △             t
 △ →<  t   t    >(T1)→  △  >→ i
t  i     △  △          t  k_i
       t   t  k_i

よって

[定理 2]
定理1の t と任意の i に対し

 t
 △  >→ i
t  i

が成り立つ。

63 :ぽりんきぃ ◆bY48xjZ7JZEU :2010/11/11(木) 12:02:27
[定理2 つづき]

同様にして

 t
 △  >→ i
i  t

 i
 △  >→ i
t  t

が成立する。

64 :ぽりんきぃ ◆bY48xjZ7JZEU :2010/11/11(木) 12:10:53
定理 1の t をとる。

               k'_i
      t        △        k'_i
i →< △ →<   t   i  >→  △  >→ k'_i
     t  i     △  △      t  t
            t   t  t

より k'_i = i であり、2つ目の等式より
       i
t →<  △
     t  i
である。よって

[定理 3]
定理 1の t と任意の i に対して

 i
 △  >→ t
t  i

同様に

 i
 △  >→ t
i  t

 t
 △  >→ t
i  i

が成り立つ。

65 :ぽりんきぃ ◆bY48xjZ7JZEU :2010/11/11(木) 12:17:35
定理 1 の t をとる。

          t
  i       △        t
 △ →<  t   i  >→  △  >→ i
i  i     △  △     i   t
       i   t  t

したがって

[定理 4]

任意の i ∈ S に対して

 i
 △  >→ i
i  i

が成り立つ。

66 :ぽりんきー ◆bY48xjZ7JZEU :2010/11/11(木) 12:23:36
定理 4 より、定理 1 の t はどの i ∈ S に選んでもよいことが分かる。

以上の

定理 1 >>61
定理 2 >>62 >>63
定理 3 >>64
定理 4 >>65

をまとめて書くと

[等項定理]

任意の a, b ∈ S に対して

 a
 △  >→ b
a  b

 a
 △  >→ b
b  a

 b
 △  >→ b
a  a

が成立する。

67 :132人目の素数さん:2010/11/11(木) 12:41:09
[例 5: S = {0} の場合]

この trivial な場合は

 0
 △  >→ 0
0  0

で、結合の定義による縮約と
頂点を保つ縮約が等しくなるのもほぼ自明でしょう。

68 :Polinky ◆bY48xjZ7JZEU :2010/11/11(木) 12:55:24
[例 6]

等項定理 >>66 を使えば S = {0, 1} の場合が容易に構成できる。

任意の a, b, c ∈ S をとると a, b, c のうち少なくとも2つは
等しい基数となるので、等項定理で場合は尽くされている。
そして容易に

 a
 △  >→ d = a + b + c (mod 2)
b  c

が分かる。
結合の定理と頂点を保存する縮約の無矛盾性は次のように示せる。
まず結合による縮約は上記 (mod 2) を使って

   x
   △        
 a   b  >>→ d' = (x+a+b) + (y+c+a) + (z+b+c) = x + y + z (mod 2)
 △  △
y  c  z

であるがこれは頂点を保存する縮約

   x
   △         x
  a   b  >→  △  >→ x + y + z (mod 2)
 △  △      y  z
y  c  z

と一致する。よって S = {0, 1} の基数集合に対して
三角乗法系がただ1つ矛盾なく定義された。

69 :Polinky ◆bY48xjZ7JZEU :2010/11/11(木) 16:51:59
S = {0, 1, 2} 上には上記の三角乗法△は存在しません。
それを示すにはもう少し定理の充実が必要なので進めます。

70 :さくさく三角 ◆bY48xjZ7JZEU :2010/11/11(木) 17:13:55
任意の 0 <= i < j < k <= n-1 に対して

 i
 △  >→ l
j  k

とする。そのとき

          i
  i       △        i
 △ →<  i   i  >→  △  >→ s
j  k     △  △     i  s
       i   j   s

より s = l で

 i
 △  >→ k
j  l

が成り立つ。つまり、左辺左項と右辺の入れ替えができる。
同様の証明で、左辺の三角形の任意の頂点と、右辺の入れ替えができる。
よって互換の積により、4つの数 (i, j, k, l) の任意の置換ができる。
これらの4つの数 i, j, k, l について、2つが等しいなら
等項定理 >>66 により残りの2つも等しくなるので、
i < j < k に対しては l は {i, j, k} に含まれない数である。

71 :132人目の素数さん:2010/11/11(木) 17:22:52
関係

 i
 △  >→ l
j  k



 i
 △  >→ k
j  l

は i, j, k, l の数字が異ならない場合にも同様に成り立つことが
等項定理 >>66 より確かめられる。

よって

[移項定理]

任意の (i, j, k) に対して

 i
 △  >→ l
j  k

が成り立つことを □(i, j, k, l) と書くとすると
(i, j, k, l) の任意の置換 (σ(i), σ(j), σ(k), σ(l)) に対して
□(σ(i), σ(j), σ(k), σ(l)) が成り立つ。

i, j, k, l は
1) 全て異なる、 2) 異なる2数が2つづつ、3) 全て同じ
のいずれかである。

72 :132人目の素数さん:2010/11/11(木) 17:30:41
[Remark 7]

>>71 で定義された4項関係 □(a, b, c, d) により
プリミティブの縮約

 a
 △  >→ d
b  c

は a, b, c の並びに依存しないことが分かります。
よって三角形を △(abc) のように書いても混乱はないと思います。
そこで今後はスペースを節約する場合は△(abc)と書き、
ビジュアル的にイケてる場合は平面図形の記法を使います。

73 :132人目の素数さん:2010/11/11(木) 17:35:01
[例 8: |S|=3 ]

ここまで来ると >>69 を示すのは簡単です。

S = {0, 1, 2} に対して

 0
 △  >→ s
1  2

と取ると、s ∈ {0, 1, 2} のどれを選んでも
>>71 の終わりの分類に矛盾するので
|S| = 3 の場合は S 上に三角乗法を定義することはできません。

74 :132人目の素数さん:2010/11/11(木) 17:40:29
[例 9: |S| = 4]

S = {0, 1, 2, 3} 上においては
等項定理の他には
□(0123) が唯一のプリミティブの定義です。

この定義が矛盾しないことは
コンピュータにより確かめましたが
今後の展開のためには矛盾しないことを
数式で示す方法が望ましいです。

どうやったら無矛盾性を示せるでしょうか?

75 :132人目の素数さん:2010/11/11(木) 18:07:16
[例 10: 4 < |S|]

4 < |S| においても、S の数字のラベルを適切に貼り替えれば
□(0123) が言えます。

よって 4 < |S| なる S は T = {0, 1, 2, 3} 上の三角乗法系を
部分系として含みます。

いま {0, 1, 2, 3} 以外の数 4 をとり
△(04a) >→ b を考えると、a = {1, 2, 3} の3つの選び方それぞれに
対して {0, 1, 2, 3, 4} と異なる数 b_a が必要です。
それらを b = {5, 6, 7} とすると S の基数は最低でも 8 <= |S| 必要なことが分かります。

実際は |S| = 8 に三角乗法が定義できます。
上の考察から □(0145)、□(0246)、□(0347) と定義し
△(124) >→ 7、△(134) >→ 6、△(234) >→ 5 を導きます。
さらに □(0167)、□(0257)、□(0356)、□(1256)、□(1357)、□(2367) が導けます。
最後に □(4567) を追加して定義を完成します。

この定義が結合法則 >>59 および頂点を保つ縮約公理 >>60
矛盾しないことはコンピュータにより確かめました。

コンピュータさんは |S| = 8 だとしばし考え込む感じです。
まあ私のプログラムが効率等あまり考えないヘボなのも原因ですが。
しかし結合法則 >>59 より (a, b, c, x, y, z) ~ n^6 の
6重ループを本質的には回さなければならない(と思う)ので
これは時間がかかっても仕方ないと思われます。

とくに次の |S| = 16 だと 64 倍以上も時間がかかってしまうので
より効率の良い無矛盾性チェックのアルゴリズムがあるといいなあ。

76 :Polinky ◆bY48xjZ7JZEU :2010/11/11(木) 18:37:51
l の展開が l →< △(ijk)、l →< △(i' jk) と1文字違いであったとすると
i →< △(ljk) >→ i' より i = i' でなければなりません。
よって1文字違いの展開は存在しません。

それでは2文字違いの展開はどうでしょうか?
(*) l →< △(ijk) かつ l →< △(i' j' k) ⇒ {i, j} = {i', j'}
が成り立つとすると
□(ijkl) かつ □(i' j' kl) ⇒ {i, j} = {i', j'}
つまり
△(jkl) >→ i のとき △(akl) >→ b ならば {a, b} = {i, j}
となります。
よって k, l を定めると組

77 :Polin:2010/11/11(木) 18:45:31
>>76 つづき

よって k, l を定めると {i, j} が一意に定まるので
2文字違いの展開が互いに等しいとすれば
△は本質的には2項演算子となるかもしれない。

しかし実際には {i, j, i', j'} が全て異なる
□(ijkl) と □(i' j' kl) が存在する >>75

よって △(jkl) は j, k, l を3つとも定めないと
値は確定しない。ヨカッタヨカッタ

78 :Polin:2010/11/11(木) 22:25:29
>>75 の構成を見ると何となくだが
クライン4元群という音楽グループと
関連がありそうな気配がしている。

明日は2項の群演算の観点から少し探索する予定。

はたして△は2項の群演算で完全に統制されているのか。

今日はまもなく就寝です…

79 :132人目の素数さん:2010/11/12(金) 01:23:16
猫に小判、まで読んだ。

80 :132人目の素数さん:2010/11/12(金) 19:37:21
>>79
ご愛読感謝します
一日で猫に小判まで読むとはさすが読むの早いですね

81 :132人目の素数さん:2010/11/12(金) 19:39:53
もしかしたら >>8 かもしれない。
しかし自然数に対する和と積だけでも
まだ理論が完結とは言えないのだから…

82 :132人目の素数さん:2010/11/12(金) 19:51:38
>>26 の言うように確かに
簡単な有限群の計算だって
人間の計算スピードでは手に負えなくなるから
コンピュータに投入して計算させるでしょう。

例えばモンスター群なんかはそういうのじゅないか?

しかしそのような計算が可能なのも
群の指標の理論や生成基底による一意表現などの
理論や公式が発達してきたからでしょうね。
そのような理論を駆使して効率のよい
プログラムを書いたのだと思います。

単にコンピュータのスピードにまかせて力ずく計算するのでは
位数が大きくなると手に負えません。

整数論に未解決な問題がたくさんあるのも
きっとそのためでしょう。

83 :ぽりんきぃ ◆bY48xjZ7JZEU :2010/11/12(金) 20:34:29
さて

△(abc) >→ d

という式から始めます。

ある a、b について c に d を対応させる写像

f_{ab} : c → d

を考えます。この写像は単射であることが分かります。
なぜなら

f_{ab} : c' → d

も成り立つとすると

c →< △(abd) >→ c'

より c = c' となり、d に対して一意な c が対応しているからです。

よって f_{ab} は1対1対応であり
基数集合に作用する置換であることが分かります。


84 :132人目の素数さん:2010/11/12(金) 20:50:38
f_{ab} は |S| = n 文字の置換なので、巡回置換を使って

f_{ab} = (x_1 ... x_k) (x_{k+1} ... x_l) ... (x_m ... x_n)

と書けます。

いま a, b を異なる S の元とし、任意の c_i ∈ S に対して

△(ab c_i) = d_i

とします。 a と b が異なるので、c_i と d_i も S の異なる元です。
また

△(ab d_i) = c_i

も成り立つので f_{ab} は c_i と d_i を入れ替えます。
よって、f_{ab} は文字の被らない n'個の互換の積

f_{ab} = (c_1 d_1) (c_2 d_2) ... (c_n', d_n')

であることが分かります。

とくに基数 n は偶数で n = 2n' です。

一方、a = b の場合を考えます。
すると等項定理より

△(aa c_i) = c_i

であるので、f_{aa} は恒等置換です。

85 :132人目の素数さん:2010/11/12(金) 21:15:13
ここで

G_a ∋ b_a = f_{ab} と置いて G_a が群になることを期待します。

まず

a_a = e

つまり b = a のとき G_a の単位元です。

また

b_a = (c_1 d_1) ... (c_n' d_n')

であったので、(b_a)^2 = e より

b_a の逆元は b_a 自身です。

最後に b_a b'_a が G_a の元であれば G_a は群を成すことを示せます。

86 :132人目の素数さん:2010/11/12(金) 21:22:36
なしのつぶて

87 :132人目の素数さん:2010/11/12(金) 21:36:21
G_a が群を成すことを示したい。
いま G_a ∋ b_a に対し

b_a = (c_1 d_1) ... (c_n' d_n')

とする。b_a でない b'_a ∈ G_a をとると
1 以外の i が存在して b'_a は c_1 を c_i または d_i に移す。
仮に c_i に移すとすると

b'_a = (c_1 c_i) (d_i x) ...

と書かれる。
このとき、b_a の置換より
□(ab c_1 d_1)、□(ab c_i d_i)
が成り立ち、b'_a の置換より
□(ab c_1 c_i)、□(ab d_i x)
が成り立つ。これを三角図で書くと

                d_1
      a         △        d_1
x →< △   →< c_1  b  >→  △  >→ d_1
     b d_i     △   △     a  a
            a   c_i  a

より x = d_1 が言える。
よって b'_a が c_1 を c_i にうつすならば

b'_a = (c_1 c_i) (d_i d_1) ...

となる。

88 :132人目の素数さん:2010/11/12(金) 21:40:25
>>86
シクシク (TдT) ダレカカマッテー

89 :132人目の素数さん:2010/11/12(金) 21:50:22
一方、b'_a が c_1 を d_i に移す場合は

b'_a = (c_1 d_i) (c_i x) ...

となる。このとき
このとき、b_a の置換より

□(ab c_1 d_1)、□(ab c_i d_i)
□(ab c_1 d_i)、□(ab c_i x)

が成り立つ。三角図で書くと

                d_1
      a         △        d_1
x →< △   →< c_1  b  >→  △  >→ d_1
     b c_i     △   △     a  a
            a   d_i  a

となり、同様に x = d_1 が言える。
よって

b'_a = (c_1 d_i) (c_i d_1) ...

となる。
まとめて b'_a が c_1 を {c_i, d_i} に移すなら

b'_a = (c_1 {c_i, d_i}) ({d_i, c_i}, d_1) : 左右同順

である。ここで {c_i, d_i} は c_i または d_i のどちらかを選ぶことを意味する。

90 :132人目の素数さん:2010/11/12(金) 22:03:17
G_a が群を成すことを示そうとしている。

b_a ∈ G_a は独立な n' = |S| / 2 個の互換の積で

b_a = (c_1 d_1) ... (c_n' d_n')

と書ける。
b_a と異なる b'_a ∈ G_a をとる。
上の議論より、適当な c_i に対して
b'_a (c_i) = {c_j, d_j} であるとき

b'_a = (c_i, {c_j, d_j}) ({d_j, c_j}, d_i) ... :左右同順

となる。まだ出てきていない c_k を選んで同様に行う、
ということを繰り返すと

b'_a = Π^{n''} (c_i, {c_j, d_j}) ({d_j, c_j}, d_i) : 左右同順

となる。

91 :132人目の素数さん:2010/11/12(金) 22:32:50
b_a ∈ G_a を

b_a = (c_1 d_1) ... (c_n' d_n')

と表示したとき、任意の b'_a ∈ G_a は

b'_a = [i_1, j_1] ... [i_n', j_n']

となる。ここで

[i, j] は (c_i d_j) (c_j d_i) または (c_i c_j) (d_i d_j) を意味し
i1, j_1, ..., i_n', j_n' は n 個の異なる数字である。

このとき b_a と b'_a の積は

b_a b'_a = Π^{n''} (c_i d_i) (c_j d_j) [i, j]

となる。ここで 2n'' = n' である。
因子を計算すると

(c_i d_i) (c_j d_j) (c_i d_j) (c_j d_i) = (c_i c_j) (d_i d_j)

または

(c_i d_i) (c_j d_j) (c_i c_j) (d_i d_j) = (c_i d_j) (c_j d_i)

である。

92 :132人目の素数さん:2010/11/12(金) 23:01:28
これまでで b_a ∈ G_a を

b_a = (c_1 d_1) ... (c_n' d_n')

と表示し、b_a と異なる元 b'_a ∈ を取り積

b_a b'_a

をつくったとき

(*) b_a b'_a = [i_1, j_1] ... [i_n', j_n']

となることを示した。ここで
[i, j] は (c_i d_j) (c_j d_i) または (c_i c_j) (d_i d_j) を意味し
i1, j_1, ..., i_n', j_n' は n 個の異なる数字である。

最後に (*) の形の表示がどのような i_1, j_1, ..., i_n', j_n' の
並びでも G_a の元であることを示せれば、G_a が群であることが言える。

それには n 個の b ∈


93 :ぽりん:2010/11/12(金) 23:38:15
ちょっと混乱。

積を

(*) b_a b'_a = [i_1, j_1] ... [i_n', j_n']

のする。
2つの任意の数の組 (i, j) の選び方は n(n-1)/2 通りあり、
b'_a の数は n 通りしかないので任意の (i, j) が (*) に入る可能性があるなら
必ずしも群を成さないことになる。

94 :132人目の素数さん:2010/11/13(土) 00:34:57
i と j ってパソコンで見分けにくいね。私はジェイに似ています。

把握。

b = (c_1 d_1) ... (c_n' d_n')

と表示したとき b と異なる b' に対して2つの数 s, t が選べて

b' = b_1 = (c_s c_t) (d_s d_t) ...
または
b' = b_2 = (c_s d_t) (c_t d_s) ...

となる。このとき表示されていない ... の部分は {c_s, c_t, d_s, d_t} を含まない。
積を X = bb' と置くと、>>91 の証明より
b' = b_1 のとき X = b_2 で、b' = b_2 のとき X = b_1 である。
前者を考えると
□(a b' c_s c_t)、□(a b' d_s d_t)
を仮定して
□(a b'' c_s d_t) かつ □(a b'' c_t d_s)
を満たす b'' が存在することを証明すれば X = b'' となり
G_a が群演算で閉じていることが示せる。
ところが △(a c_s d_t) >→ y および △(a c_t d_s) >→ z
を満たす y と z は常に存在するので、あとは y = z が言えればよい。
                a
      a         △        a
y →< △   →<  a  a  >→  △  >→ z
    c_s d_t     △  △     c_t d_s
            c_t  b'  d_s

より示せた。

95 :132人目の素数さん:2010/11/13(土) 00:36:53
最初クソスレかと思ったけど、段々おもしろくなってきた
ガンバレ

96 :132人目の素数さん:2010/11/13(土) 00:50:14
以上より

|S| = n の基数集合 S 上に三角乗法
△ : S × S × S → S を定めたとき、
任意の a ∈ S に対して G_a ∋ b を
b(c) = d ⇔ △(a, b, c) → d
なるものとおけば、G_a は位数 n の群となる

ことが示せました。とくに、単位元と異なる b ∈ G_a は位数2をもち

b = Π (c_i d_i)

と表示できます。

97 :132人目の素数さん:2010/11/13(土) 00:51:02
>>95
ありがとう。感激。
まったりとガンバリます

98 :132人目の素数さん:2010/11/13(土) 00:55:52
ろくに考えもせずに無駄にレス数嵩んでるだけにしか見えないが。

99 :ぽりんきぃ:2010/11/13(土) 01:16:18
G_a ∋ b は位数2の元であるため、自分自身が逆元です。
任意の2元の積を

b_s b_t = b_k

とすると

b_k = (b_k)^{-1} = (b_t)^{-1} (b_s)^{-1} = b_t b_s

となります。つまり G_a は可換群です。

いま3つの元 {e, b_1, b_2} をとると
b_3 = b_1 b_2
は {e, b_1, b_2} とは異なり、この4つの元
V = {e, b_1, b_2, b_3}
は部分群を成します。この群はクライン4元群です。
もうひとつ元 b_4 を加えると
V と b_4 V は部分群 {e, b_4} による G_a の類別の
異なる剰余類に属するので、V ∩ b_4 V = φ (空集合) です。
よって V に生成元 b_4 を加えると8元群となり、その元は

b = b_1^{e_0} b_2^{e_1} b_4^{e_2}

と表示できます。ここで指数は e_i = {0, 1} をとるバイナリ表示です。
つぎつぎと生成元を付け加えていくと、16元群、32元群、…となり
最終的に G_a の位数は自然数 k が存在して n = 2^k となります。

# この群って何か名前がついているのでしょうか?

100 :132人目の素数さん:2010/11/13(土) 01:47:34
ひと息。

G_a が群であることが分かり有限群論の
豊富なツールを使う道筋が開けました。

しかしもし群による統制が強すぎるならば
有限群論で全て説明がついてしまい群論からの
新たな進展はないことになるでしょう。

△に群論を超える何かは含まれるのか?

その答えは有限群論のツールをどんどん適用していけば
明らかになるでしょう。

#といってもまだ見通しは立っていません
#カキコみながら考えています

101 :132人目の素数さん:2010/11/13(土) 02:29:38
>>100
ねえ、質問なんだけど
昔、Emil Postが群の演算を多項演算に拡張したpolyadic groupとかいうのを研究してた(その内容は知らないから質問しないでね)と思うんだけど
そのPostのpolyadic groupとか言うのとの関連はあるのかな?

102 :132人目の素数さん:2010/11/13(土) 02:55:53
n-群ってどんなもんかと思ったら
http://en.wikipedia.org/wiki/N-ary_group
ぜんぜん分かりますん

103 :ぽりん:2010/11/13(土) 03:27:36
>>101

Wikipedia >>102 によれば polyadic group の
3-ary operation は

(@): (abc)de = a(bcd)e = ab(cde)

という結合則をもつらしい。
これを三角乗法に適用すると
△(abc) >→ x 、△(bcd) >→ y
のとき
(*) △(xde) >→ z →< △(aye)
を満たす必要があるが a と d は任意に選べるので
一般には (*) は成り立たない。

したがって (@) を要求する n-ary group とは同じではない。

しかし研究途中なので何か関連があるのかどうかまでは分かりません
むしろ誰か教えてほしい…

ともかく、情報さんくす

104 :132人目の素数さん:2010/11/13(土) 09:01:10
スレ読んでないけど要するに3変数関数のスレだよね?

105 :132人目の素数さん:2010/11/13(土) 09:08:59
>>104
ちゃうちゃう、>>1が三角ビキニでオナるスレだよ。

106 :残念!ポリンキィでした ◆bY48xjZ7JZEU :2010/11/13(土) 09:15:53
第1章の結論:
>>58 >>59 >>60 で定義されるような三角乗法は
適切な数の割り当てをすると

△(a, b, c) = a (+) b (+) c

で計算される。
ここで (+) は2進数に対するビットごとの排他的理論和 XOR である。

証明は気が向いたら書きます。



結局 >>8 >>55 だったか…先見の明

しかしやってみなければ私は分からなかったし
面白かったからまあ良いとします

ところで、定義 >>58 >>59 >>60 を少し変更した
バリエーションはいくつも考えられるけど
それも全て trivial なのでしょうか?

107 :132人目の素数さん:2010/11/13(土) 09:18:30
>>104
とりあえず当初の計画が頓挫して
スレはちょうど今から漂流中となりました

108 :132人目の素数さん:2010/11/13(土) 11:42:31

          J       P        B
         △       △       △
        J  J     P  P     B  B

        jean      paul     bell


左からジャン・ポール・ベル。3人でスリーポリンキーズだよ!

      ジャンへのメールはjean@polinky.com
       ポールへのメールはpaul@polinky.com
       ベルへのメールはbell@polinky.com

      メールアドレスは、まちがえないでね!


           ・ 3人からひとこと

  『ジャンで~す。スイカ→か、からす→すごいでしょ!
      メールで僕と”しりとり”しようよ!』

『やあ、ポールだよ☆ ねえねえ、そこの三角ビキニの君!
僕とメールでデートしようよ!キミのメールを待ってるよ~♪』

 『ベルだよ~ん!ねぇ、これから僕のことベルって呼んでね!
    ねえ、僕の”えかきうた”もうおぼえてくれた?!』

109 :132人目の素数さん:2010/11/14(日) 21:17:46
ポリンキー♪ ポンリキー♪ 三角形の 秘密はね

ポリンキー♪ ポリンキー♪ 美味しさの 秘密はね


























教えてあげないよ

ちゃん

110 :132人目の素数さん:2010/11/15(月) 19:00:21
さんかくけいのひみつ

を並べ替えると…

どうりであのマークに似ていると思ったら!

111 :132人目の素数さん:2010/11/15(月) 23:15:12
>>110
ポリンキー♪
ポリンキー♪
三角形の秘密はね
ポリンキー♪
ポリンキー♪
おいしさの秘密はね
教えてあげないよ。ジャン!

112 :132人目の素数さん:2010/11/17(水) 20:15:09
秘密を教えてもらえないという状況ほど
知識欲を煽り立てるものは他に無い。

論文が落とせないときの気になり具合といったら…


数学的自然が恥ずかしがり屋さんなので
みんな追求しようと思うんだろう

113 :ポリンキー ◆bY48xjZ7JZEU :2010/12/08(水) 17:24:20
三角乗法、第2章スタート!

ジョルダン三項積・三変数関数の話題も歓迎です。

114 :ポリンキー ◆bY48xjZ7JZEU :2010/12/09(木) 21:55:34
前章では、三角乗法を

定義1: >>58
定義2: >>59
公理1: >>60

を満たす系としたとき

|S| = 2^k であり、S の元に2進数を割り当てると

  a
 △  >→ a (+) b (+) c
b  c

とできることが導けました。
ここで (+) は bitwise xor を表わします。

115 :ポリンキー ◆bY48xjZ7JZEU :2010/12/10(金) 00:43:47
三角乗法を考えはじめた目的は
四則演算に次ぐ簡易な性質を持つ新規の演算を見つける
ことでした。

前章の結果は既知の2項演算 bitwise xor ということでした。
新規な演算を見つけることはできませんでしたが
三角乗法が簡易な性質を持つ可能性は示せたと考えます。

>>114 の3つの条件のうち、
定義1
だけならば、最も一般的な3項演算を表わします。
そこに定義2、公理1を付け加えることで
演算の集合が制限され、一意な bitwise xor が残った
ということです。

そこで今後は、定義2、公理1の条件を緩める・変更することで
新規な演算が得られるか探索していきます。

116 :◆bY48xjZ7JZEU :2010/12/11(土) 09:11:55
なぜ xor なのか?という点に関して
イメージをつかむには次のように考えます。

まず三角乗法が可換で結合律を満たす
2項演算子 @ で表現されると仮定します:

  a
 △  >→ a @ b @ c
b  c

すると条件1は

           a
           △
a@b@c →<  z  y  >→ a@b@c @2(x@y@z)
         △  △
        b  x  c

ですので、x、y、zを任意に選べると考えると
x@x = 単位元
ということなので演算 @ は mod 2 、
つまり bitwise xor ということになります。

この証明では2項演算子という仮定を
先に置いてしまっているので1章のようには
厳密ではありませんが、
イメージはつかめるのではと思います。

117 :◆bY48xjZ7JZEU :2010/12/11(土) 09:18:23
条件1の縮約を2次の縮約と呼ぶことにすると、
代わりに次の3次の縮約という条件も考えられます。

     a
    △
   *   *
   △  △   >>→ △(abc)
  *  *  *
 △  △  △
b  *   *  c

2次の代わりに3次の縮約を条件とした場合は
どうなるでしょうか?

また一般にn次の縮約を条件とした場合はどうなるでしょうか?

118 :◆bY48xjZ7JZEU :2010/12/12(日) 18:58:22
2次の縮約は

   a
   △
  z  y
 △  △
b  x  c

   ↓

     a
    △
   z   y

  z      y  
 △      △
b  x   x  c

と振り分けられるため、x、y、z の重複度が2だと考えられる。
重複度 n を (n) で表わすとすると2次の縮約は

    (1)
    △
  (2) (2)
  △  △
(1)  (2)  (1)

のようになる。
3次の縮約の重複度はどうだろうか?

119 :◆bY48xjZ7JZEU :2010/12/13(月) 21:50:58
2次→3次でどの頂点が重なるかと考えると

     ▽
     (1)
    ▽ ▽
   (2) (2)
  ▽ ▽ ▽
  (1)  (2)  (1)
▽   ▽  ▽  ▽

のそれぞれの逆三角形を整数の和として縮約して

     (1)
     △
    (3) (3)
    △  △
  (3) (6) (3)
  △  △  △
(1)  (3)  (3) (1)

となります。よって内部の重複度 (3) の位置に x が入るならば
x @ x @ x = 単位元
です。
条件1の代わりに3次の頂点を保存する縮約を公理とした場合には
3進数の各桁和 mod 3
が条件を満たす演算となります。
それ以外の演算も可能であるかどうかはまだ不明です。

120 :132人目の素数さん:2010/12/14(火) 06:21:15
もったいぶってもこんなにワクワクしないスレって……

121 :◆bY48xjZ7JZEU :2010/12/14(火) 20:26:40
ふむ。

定義を作っているほうは楽しい。
新しい分野になるんじゃないかと
それなりにワクワクしています。

122 :◆bY48xjZ7JZEU :2010/12/14(火) 20:39:05
2次→3次と同様に3次→4次をつくると

       (1)
       △
     (4) (4)
     △  △
    (6) (12) (6)
    △  △  △
  (4) (12) (12) (6)
  △  △  △  △
(1)  (4)  (6) (4) (1)

となります。
gcd(4,6,12) = 2 であることより
4次の縮約を公理とした場合は mod 4 ではなく mod 2
つまり2次の場合の xor が条件を満たす演算となります。

もちろんそれ以外の演算が条件を満たす可能性はあります。

123 :◆bY48xjZ7JZEU :2010/12/15(水) 23:54:20
2次の頂点を保存する縮約: mod 2 各桁和
3次の頂点を保存する縮約: mod 3 各桁和
4次の頂点を保存する縮約: mod 2 各桁和

ということでしたが、
一般の n 次の頂点を保存する縮約
を公理とした場合はどうなるでしょうか?
次のような座標系を考えます:

     i
     ↑
     △
    .
   △   △
 /      \
j          k

n 次の大三角形の場合、
一番上の頂点が (i, j, k) = (n, 0, 0) で
右下に 1 歩進むと i が 1 減り j が 1 増える
左下に 1 歩進むと i が 1 減り k が 1 増える
という座標です。

124 :◆bY48xjZ7JZEU :2010/12/16(木) 00:01:38
誤:
右下に 1 歩進むと i が 1 減り j が 1 増える
左下に 1 歩進むと i が 1 減り k が 1 増える

正:
左下に 1 歩進むと i が 1 減り j が 1 増える
右下に 1 歩進むと i が 1 減り k が 1 増える

n 次三角形の (i, j, k) 座標の重複度を (D^{n}_{i, j, k}) とします。
n 次から n+1 次への展開を考えると

(D^{n+1}_{i, j, k}) = (D^{n}_{i-1, j, k} + D^{n}_{i, j-1, k} + D^{n}_{i, j, k-1})

であることが分かります。
この D は

(x + y + z)^{n} = Σ D^{n}_|i, j, k} x^i y^j z^k

であり i + j + k = n に対して

D^{n}_{i, j, k} = n! / (i! j! k!)

であることが分かります。

125 :◆bY48xjZ7JZEU :2010/12/16(木) 00:09:31
n 次の頂点を保存する縮約を公理とした場合
4次の場合と同様に考えて

m = gcd( n ! / (i ! j ! k !), i+j+k=n, i ne n, j ne n, k ne n )

の mod m 各桁和が条件を満たす演算となります。
とくに n が素数 p の場合は mod p 各桁和が
条件を満たす演算となります。

この mod m 各桁和は公理を満たす演算のうちの1つですが、
公理を満たす演算がこれ以外にあるか?というのは興味深い問題です。

n = 2 の場合には1章の議論により
mod 2 各桁和のみが公理を満たす演算
だと示されています。

126 :132人目の素数さん:2010/12/21(火) 11:32:30
猫の手は借りない。

127 :猫は痴漢 ◆MuKUnGPXAY :2010/12/21(火) 12:11:16
当然の事です。私は貴方達には一切の手は貸しません。なのでご心配なく。




128 :◆bY48xjZ7JZEU :2010/12/21(火) 19:40:16
>>126
いや、何か気付いたことがあったら
ぜひとも手を借りたいです。

いまは三角乗法の表現論が
どこかにないか探しています。

群があれほど力を持つのは
表現を通じて数学分野の各所に働いている
ことが大きいと思うので、
三角乗法でも対応する現象は無いかということです。

129 :132人目の素数さん:2010/12/21(火) 19:54:02
いくつかの行列からなる空間 M に通常の行列の積で演算 M×M → M が
定まるにはMに属する行列は正方行列でないといけないが、これを三項にして
M×M×M → M を (A,B,C) → AB^*C で定めれば正方行列でなくてもいける。

130 :猫は悪魔 ◆MuKUnGPXAY :2010/12/22(水) 12:17:11



131 :◆bY48xjZ7JZEU :2010/12/22(水) 20:21:35
>>129
レスありがとう。
なるほど転置させるというのは面白い。
ランクが保存されるのかが気になった。

>>129 をヒントに3次元行列の3角積を考えてみた。

Σ_{xyz} A_{ayz} B_{xbz} C_{xyc}

三角乗法の忠実な表現になっているかな?
対角化とかどうやるんだろう?
固有値・固有ベクトルはあるのかな?

やはり表現と言えば行列だが
図形や関数への作用があるとより面白そう

132 :132人目の素数さん:2010/12/29(水) 08:54:50
二項演算子を重ねて三項演算子にするのとどう違うの?
(a, (b, (c, {}))) |-> d

133 :◆bY48xjZ7JZEU :2010/12/29(水) 19:53:28
例えば群 G が与えられたとき G ∋ a, b, c に対して

△(abc) = d ⇔ a b c = d

と群演算による積で定義することができます。

このような3角乗法系は本質的に群 G 以上の情報を含まないでしょうから
2項演算を重ねて3項演算子したのと変わりないと言えそうです。

そこで、 >>129>>131 のような3項演算が
本質的に2項演算と等しいかどうか、というのが
>>132 の問題ですね。

私は3項演算のほうが広くてシンプルな場合があると考えますが
証明はこれからです。

134 :◆bY48xjZ7JZEU :2011/01/04(火) 22:41:17
基数 n = |S| の3角乗法系 △(abc) = d において
△(*bc) = *、△(a*c) = *、△(ab*) = * が3つとも全単射であるとき
△を非退化な3角乗法系と呼ぶことにします。

全単射であることより a, b ∈ S に対して
△(abc) = g(c) なる写像 g は置換群 S_n の元と見なせます。
したがって n 文字の並べ替えで
g = (i_1 i_2 ... i_n)
と表記できます。

ここで b を動かし、b=b1 のとき g_{b1} 、b=b2 のとき g_{b2} を考えると
全単射性より b1 ≠ b2 ⇒ g_{b1}(c) ≠ g_{b2}(c) が言えます。
したがって
g_b = [i]_{bc}
なる2次元マトリックスで書け、各行、各列には同じ数字はありません。
イメージとしては魔方陣、または最近の例だと「数独」のような感じです。

さらに a を動かすと、どうように a1 ≠ a2 ⇒ g_{a1,b}(c) != g_{a2,b}(c) が
言えますので1つの非退化3角乗法系は

      c
    /
△ = +―――→ a
   |
   | d_{abc}
   ↓
    b

という演算表にまとめることができます。
ここで3つの軸の各列には 1 から n までの文字が1回づつ現れます。

135 :132人目の素数さん:2011/01/04(火) 22:48:01
S = {0, 1} の非退化3角乗法系で簡単な具体例を示します。

△(000)=0 の場合:

a=0|0 1 =b
――――――
c=0|0 1
c=1|1 0

a=1|0 1 =b
――――――
c=0|1 0
c=1|0 1

これは移項定理が成り立ち、
2次の縮約が成り立つ
第1章の xor の系です。

△(000)=1 の場合:

a=0|0 1 =b
――――――
c=0|1 0
c=1|0 1

a=1|0 1 =b
――――――
c=0|0 1
c=1|1 0

2次の縮約を仮定しなければこういう系もあるんですね。

136 :◆bY48xjZ7JZEU :2011/01/04(火) 22:56:45
3角乗法の物理への応用を考察します。
よくあるファインマン・ダイアグラム

b      d
 \   /
 /~~~~\
a      c

の意味はおおまかに言うと
運動量 c を持った粒子に
運動量 a を持った粒子が衝突し、その結果
運動量 d を持った粒子と
運動量 b を持った粒子が生成する
というような意味です。
粒子間の ~~~~ が相互作用(運動量の交換)を表します。

ここで、文字を abcd と置いたことからも分かるように
3角乗法 △(abc)=d であるとき
粒子 c に 粒子 b が衝突して 粒子 a として反射したとき
系は粒子 d である
ということを表すとします。

137 :◆bY48xjZ7JZEU :2011/01/04(火) 23:00:32
具体的な実験結果と一致する
ファインマンダイアグラムの例を挙げます。

>>135 の △(000)=0 の例で
0 → スピン -
1 → スピン +
と置くと
衝突によるスピンの交換が

+      -
 \   /
 /~~~~\
+      -

-      +
 \   /
 /~~~~\
+      -

のように正しく表されます。

138 :ぽりんきぃ ◆bY48xjZ7JZEU :2011/02/01(火) 07:02:15
>>134 により、基数 n = |S| の非退化な3角乗法系は
1つの3次元マトリクスにより全ての情報を含めることができる
ことが分かりました。そしてその3次元マトリクスはどの列にも
1からnまでの数字が並んだ魔方陣ぽい配置になります。

その3次元マトリクスの1断面を >>135 にならって

i | 1 .. n
―+――――
1 |
| | ***
n |

と書くことにします。
ここで *** の部分はn×n行列で、
各行・各列に 1 ~ n の数字が入ります。

この断面図に、奥行きを付加して3次元行列とみなしてみます。
それは、奥行きに 1 ~ n までの座標を与え、
*** の行列で 1 と書いてある部分は
1番手前に数字の1が入り、その奥の 2 ~ n はゼロが入る
という具合です。また、*** の行列で k となっているところは
手前から k 番目のセルに 1 が入りそれ以外の奥行きのセルは
ゼロとおきます。

このゼロとイチの3次元行列は、有限群の行列表現をモデルに考えてました。
この3次元行列が、>>131 の意味で3角乗法系の表現になっているかなどの
性質を調べていこうと思います。

139 :◆bY48xjZ7JZEU :2011/02/01(火) 07:11:11
まず S = { 1, 2, 3 } の場合で数え上げてみたいと思います。
最初に、可能な2次元断面がいくつあるかを考えます。
各行に 1 は必ずあるので、各行の 1 が何列目に来るかに
したがって 3! 通りの組み合わせがあります。
そのそれぞれに対して、余った 2 つの余白のどりらに 2 を
入れるかの選択が可能です。
したがって、可能な2次元断面の個数は 2 * 3! = 12 通りです。

(123)    (132)     (213)
021 012  012 021  102
102 201  120 210  0
210 120  201 102

140 :◆bY48xjZ7JZEU :2011/02/01(火) 07:31:53
可能な2次元断面の12種類

A:(123)   B:(132)  C:(213)
132 123  123 132  213 312
213 312  231 321  132 123
321 231  312 213  321 231

D:(231)   E:(312)   F:(321)
213 312  231 321  321 231
321 231  123 132  213 312
132 123  312 213  132 123

さらに、上記の3つづつを組み合わせて
3次元マトリックスを作る際に、同じ位置に同じ数字が来れない
という条件があります。それで組み合わせると

(I) A左-D左-E右
(II) A右-D右-F右
(III) B左-C右-E左
(IV) B右-C左-F左

ときれいに4組に分かれる事が分かります。

141 :◆bY48xjZ7JZEU :2011/02/01(火) 07:37:42
間違いです(;・∀・)

(I) A左-D左-E右
(II) A右-D右-E左
(III) B左-C右-F右
(IV) B右-C左-F左

142 :◆bY48xjZ7JZEU :2011/02/01(火) 07:52:56
ここで3つ組に 1 の断面、2 の断面、3 の断面を割り当てる訳ですが、
その割り当て方が任意だということは、{ 1, 2, 3 } の3つの数字の並べ替えが
自由だということになります。
そこで、(I) と (II)、および (III) と (IV) は 2 と 3 の入れ替えで
等しいため、それぞれ片方でよいことが分かります。

そこで Diagonal を
(D) = (I)
132 213 321
213 321 132
321 132 213

Symmetric を
(S) = (III)
123 312 231
231 123 312
312 231 123

としてこの2つを考えれば良いです。


143 :◆bY48xjZ7JZEU :2011/02/01(火) 08:08:43
便宜的にそれぞれの断面行列を

(D)
Da|123  Db|123  Dc|123
―+――  ―+――  ―+――
 1|132   1|213   1|321
 2|213   2|321   2|132
 3|321   3|132   3|213

(S)
Sa|123  Sb|123  Sc|123
―+――  ―+――  ―+――
 1|123   1|312   1|231
 2|231   2|123   2|312
 3|312   3|231   3|123

と置きます。

144 :◆bY48xjZ7JZEU :2011/02/05(土) 14:39:26
>>143 に断面行列を書きましたが、これは1つの方向から見たときの断面です。
他の方向から見た場合も考えておいたほうが分かりやすそうです。

いま

  a
 △  >→ d
b  c

をマトリックスで表したときに >>143 のようになったとして
Da - Db - Dc の軸を a 軸
横方向を b 軸
縦方向を c 軸
奥行き方向を d 軸
とします。

そうすると >>143 は d 軸方向から見た a 軸の断面と言えます。
次に他の軸方向から見た a 軸の断面を見てみます。

145 :◆bY48xjZ7JZEU :2011/02/05(土) 14:58:38
(D)-d
Da|123   Db|123   Dc|123
―+――b  ―+――  ―+――
 1|132    1|213    1|321
 2|213    2|321    2|132
 3|321    3|132    3|213
  c

(D)-b
Da|123   Db|123   Dc|123
―+――d  ―+――  ―+――
 1|132    1|213    1|321
 2|213    2|321    2|132
 3|321    3|132    3|213
  c

(D)-c
Da|123   Db|123   Dc|123
―+――b  ―+――  ―+――
 1|123    1|312    1|231
 2|231    2|123    2|312
 3|312    3|231    3|123
  d

となります。
なぜか d 軸方向と b 軸方向の断面が同じになり、
c 軸方向は >>143 の (S) と同じになります。
マトリックスは Da Db Dc の3つの断面を指定すれば
一意に決まっているので、
diagonal (D) と symmetric (S) は実は見る方向が
異なるだけで同じものだったということになります。

146 :132人目の素数さん:2011/02/05(土) 15:17:11
さて、以上の結果より、
b 軸方向から見たマトリックスと
d 軸方向から見たマトリックスは同じ
ということが言えました。
これは |S| = 3 の非退化3角乗法において
b と d を入れ替えても同じ、ということを意味します。

>>136 のファインマン・ダイアグラムの表現を見ると、
b と d は反応後の2つの粒子となっています。
量子力学では、同種粒子が衝突した後、
どちらがどちらの粒子か区別がつかない
という定理がありますが、上の結果はそれとうまく符合しています。

そう考えると、 a 軸と c 軸の区別も付かないのか?
ということが気になります。

147 :◆bY48xjZ7JZEU :2011/02/06(日) 23:36:14
a 軸ですが、まだ 1, 2, 3 の割り当てをしていません。
割り当て方は6通りあります。

>>145 において
E0 : Da=1, Db=2, Dc=3
O1 : Da=1, Db=3, Dc=2

EX : Da=2, Db=3, Dc=1
O3 : Da=2, Db=1, Dc=3

EY : Da=3, Db=1, Dc=2
O2 : Da=3, Db=2, Dc=1

E (Even) のものは、b-d 軸が同じで a-c 軸が同じです
O (Odd) のものは、b-d-a 軸が3つ同じで c 軸が異なります

148 :◆bY48xjZ7JZEU :2011/02/06(日) 23:52:43
>>148
あれれ?ばー!

以前出た mod 3 和が >>147 の中にあるはずと
思っていたのですが、見つからないですね。
なにかしくじったかな…?

149 :◆bY48xjZ7JZEU :2011/02/07(月) 00:09:53
アッー!
>>142
> そこで、(I) と (II)、および (III) と (IV) は 2 と 3 の入れ替えで
> 等しいため、それぞれ片方でよいことが分かります。
が間違いだった。
断面行列の成分の 2 と 3 を入れ替えれば同じ行列にはなるが、
文字 1, 2, 3 を置換するなら行と列の並びも置換しなければならなかった。
よって (I) ≠ (II)、(III) ≠ (IV) だから、

修正すると、>>145 の (D) のほかに
成分の 2 と 3 を入れ替えた (D') がある:

(D)-d
Da|123   Db|123   Dc|123
―+――b  ―+――  ―+――
 1|132    1|213    1|321
 2|213    2|321    2|132
 3|321    3|132    3|213
  c

(D')-d
Da|123   Db|123   Dc|123
―+――b  ―+――  ―+――
 1|123    1|312    1|231
 2|312    2|231    2|123
 3|231    3|123    3|312
  c

150 :132人目の素数さん:2011/02/25(金) 09:20:25.55
ほしゅ

151 :132人目の素数さん:2011/02/25(金) 09:50:07.90
島根県、まだ頑張ってるようだな

152 :◆bY48xjZ7JZEU :2011/03/05(土) 08:33:50.13
チョット間があいてしまったので復習(思い出し)ながら…

3角乗法に、「非退化」という1対1条件を付け加えることで
演算子△を、4次元の01成分を持つマトリックスで同定
できることが分かりました [>>134 >>138]
これは有限群において、表を作るのと同じような操作です。

次に、このマトリックスを使って S = {1, 2, 3} の場合に
可能な非退化3角乗法系を全て数え上げることを目指しました。

マトリックスの魔方陣的性質より、断面図は >>140
12通りだと数え上げられます。
もう1度、魔方陣的性質を使うと、断面図のつなぎ合わせは
>>141 に限ることが分かります。

Diagonal を (D) = >>141 の (I)
Symmetric を (S) = >>141 の (III)
とし、断面図の 2 と 3 が入れ替わったものを
(D') = >>141 の (II)
(S') = >>141 の (IV)
とします。

153 :◆bY48xjZ7JZEU :2011/03/05(土) 08:49:50.04
マトリックス自体は (D), (S), (D'), (S') で全て尽くされますが、
マトリックスのどの軸に a b c d 軸を割り当てるかによって

  a
 △  >→ d
b  c

の表示の仕方が変わってきます。

いま便宜的に >>140 で表示された2次元断面を
横に b' 軸、縦に c' 軸、奥行きに d' 軸
をとった
a' 軸の断面 a' = N1, N2, N3
と考えて軸をつけます。
また、
b' 軸 - d' 軸の向き替えをして b' 軸を奥行きと見た断面 (D)-b'
c' 軸 - d' 軸の向き替えをして c' 軸を奥行きと見た断面 (D)-c'
を並べて表示します。

154 :◆bY48xjZ7JZEU :2011/03/05(土) 09:57:48.30
(D)-d'                     (D')-d'
^N1| 123  ^N2| 123  ^N3| 123    ^N1| 123  ^N2| 123  ^N3| 123  
'─┼――b' ─┼――b' ─┼――b'   ─┼――b' ─┼――b' ─┼――b'
 1|132    1|213    1|321      1|123    1|312    1|231  
 2|213    2|321    2|132      2|312    2|231    2|123  
 3│321    3|132    3|213      3│231    3|123    3|312  
  c'    .  c'    .  c'    .    c'    .  c'    .  c'    

(D)-b'                     (D')-b'
^N1| 123  ^N2| 123  ^N3| 123    ^N1| 123  ^N2| 123  ^N3| 123  
'─┼――d' ─┼――d' ─┼――d'   ─┼――d' ─┼――d' ─┼――d'
 1|132    1|213    1|321      1|123    1|231    1|312  
 2|213    2|321    2|132      2|231    2|312    2|123  
 3│321    3|132    3|213      3│312    3|123    3|231  
  c'    .  c'    .  c'    .    c'    .  c'    .  c'    .

(D)-c'                     (D')-c'
^N1| 123  ^N2| 123  ^N3| 123    ^N1| 123  ^N2| 123  ^N3| 123  
'─┼――b' ─┼――b' ─┼――b'   ─┼――b' ─┼――b' ─┼――b'
 1|123    1|312    1|231      1|123    1|312    1|231  
 2|231    2|123    2|312      2|312    2|231    2|123  
 3│312    3|231    3|123      3│231    3|123    3|312  
  d'    .  d'    .  d'    .    d'    .  d'    .  d'    .

バイト数オーバー(泣

155 ::2011/03/05(土) 09:58:12.94
つづき

(S)-d'                     (S')-d'
^N1| 123  ^N2| 123  ^N3| 123    ^N1| 123  ^N2| 123  ^N3| 123  
'─┼――b' ─┼――b' ─┼――b'   ─┼――b' ─┼――b' ─┼――b'
 1|123    1|312    1|231      1|132    1|213    1|321  
 2|231    2|123    2|312      2|321    2|132    2|213  
 3│312    3|231    3|123      3│213    3|321    3|132  
  c'    .  c'    .  c'    .    c'    .  c'    .  c'    

156 :◆bY48xjZ7JZEU :2011/03/05(土) 10:10:33.03
>>154
>>155

(S)-b'                     (S')-b'
^N1| 123  ^N2| 123  ^N3| 123    ^N1| 123  ^N2| 123  ^N3| 123  
'─┼――d' ─┼――d' ─┼――d'   ─┼――d' ─┼――d' ─┼――d'
 1|123    1|231    1|312      1|132    1|213    1|321  
 2|312    2|123    2|231      2|321    2|132    2|213  
 3│231    3|312    3|123      3│213    3|321    3|132  
  c'    .  c'    .  c'    .    c'    .  c'    .  c'    .

(S)-c'                     (S')-c'
^N1| 123  ^N2| 123  ^N3| 123    ^N1| 123  ^N2| 123  ^N3| 123  
'─┼――b' ─┼――b' ─┼――b'   ─┼――b' ─┼――b' ─┼――b'
 1|132    1|213    1|321      1|132    1|213    1|321  
 2|213    2|321    2|132      2|321    2|132    2|213  
 3│321    3|132    3|213      3│213    3|321    3|132  
  d'    .  d'    .  d'    .    d'    .  d'    .  d'    .

157 :132人目の素数さん:2011/03/05(土) 10:25:30.18
考察:

(D) に関しては、d' 軸と b' 軸の入れ替えに関して対称
(S) に関しては、c' 軸と b' 軸の入れ替えに関して対称
(D) と (S) は c' 軸と d' 軸の入れ替えに関して互いに移り合い同型

一方
(D') に関しては、c' 軸と d' 軸の入れ替えに関して対称
なのに対し
(S') に関しては、b' 軸、c' 軸、d' 軸、どの入れ替えに関しても対称
となっている。

以下、(D)、(D')、(S') について a 軸も交えて観賞します。

158 :132人目の素数さん:2011/03/05(土) 10:41:11.32
気のせいだか左から右へ斜めに上がってるように見える

159 :◆bY48xjZ7JZEU :2011/03/05(土) 13:31:25.55
>>158
kwsk 教えてちょ

160 :132人目の素数さん:2011/03/05(土) 13:47:29.18
^N1| 123  ^N2| 123  ^N3| 123    ^N1| 123  ^N2| 123  ^N3| 123  
'─┼――b' ─┼――b' ─┼――b'   ─┼――b' ─┼――b' ─┼――b'
 1|132    1|213    1|321      1|132    1|213    1|321

がフォントの関係でずれてるから

161 :132人目の素数さん:2011/03/05(土) 18:44:48.12
なるほど

162 :◆bY48xjZ7JZEU :2011/03/05(土) 19:27:10.69
a 軸の (N1, N2, N3) に 1, 2, 3 を割り当てます。
(D) に関しては >>147 の通りに

D-E0 : (123), D-O1 : (132)
D-EX : (231), D-O3 : (213)
D-EY : (312), D-O2 : (321)

E (Even) のものは、b'-d' 軸が同じで a'-c' 軸が同じです
O (Odd) のものは、b'-d'-a' 軸が3つ同じで c' 軸が異なります

そして O (Odd) のものが mod 3 和になっていました!
ただし、軸の割り当ては a = a', b = b', c = d', d = c' として

D-O1: a + b + c + 1 = d (mod 3)
D-O2: a + b + c + 2 = d (mod 3)
D-O3: a + b + c = d (mod 3)

です。

163 :132人目の素数さん:2011/03/05(土) 19:31:46.35
せっかく公開するんだから、そのうち数学日記としてブログにでもまとめられるようにしておくといいんじゃないか。

164 :◆bY48xjZ7JZEU :2011/03/05(土) 19:45:36.30
(D') の a 軸への割り当て

D'-O1 : (123)
D'-E0 : (132)
D'-EX : (213)
D'-O3 : (231)
D'-O2 : (312)
D'-EY : (321)

O (Odd) のものは、d' 軸、c' 軸、a' 軸が等しく、b' 軸が異なる
E (Even) のものは、d' 軸と c' 軸が等しく、b' 軸と a' 軸が等しい

O (Odd) のものは、d = b' の割り当てでまたまた mod 3 和になる

D'-O1 : a + b + c + 1 = d (mod 3)
D'-O2 : a + b + c + 2 = d (mod 3)
D'-O3 : a + b + c = d (mod 3)

よく見ると、(D') は N2, N3 の入れ替えと b' 軸、c' 軸の入れ替え
を行うと同じになります。したがって

D-E0 = D'-E0
D-EX = D'-EX
D-EY = D'-EY

は適当な軸をとれば等しくなります。
あとは (S') を考えれば数え上げが終わります。

165 :132人目の素数さん:2011/03/05(土) 19:50:22.07
>>163
サンクス!反応あってウレシ
まだ 165 レスなのでまとめはこれからの発展しだいかな~

166 :132人目の素数さん:2011/03/05(土) 20:04:26.30
(S') の a 軸に 1, 2, 3 を代入:

S'-O1 : (123)
S'-A1 : (132)
S'-A2 : (213)
S'-O2 : (231)
S'-O3 : (312)
S'-A3 : (321)

O (Odd) は b' 軸、c' 軸、d' 軸が等しく、a' 軸が異なる
A (All) は全ての軸が等価

ここで O (Odd) に関しては、d = a' 軸の同定で mod 3 和になる。

O1 = S'-O1 = D-O1 = D'-O1 : a + b + c + 1 = d (mod 3)
O2 = S'-O2 = D-O2 = D'-O2 : a + b + c + 2 = d (mod 3)
O3 = S'-O3 = D-O3 = D'-O3 : a + b + c = d (mod 3)

以上より、数え上げると Odd, Even, S'-All があることが分かりました。

167 :132人目の素数さん:2011/03/05(土) 20:24:16.87
D-Even と S'-All に関して詳しく見ていきます。断面図再掲

(D)-d'                     (S')-d'
^N1| 123  ^N2| 123  ^N3| 123    ^N1| 123  ^N2| 123  ^N3| 123  
'─┼――b' ─┼――b' ─┼――b'   ─┼――b' ─┼――b' ─┼――b'
 1|132    1|213    1|321      1|132    1|213    1|321  
 2|213    2|321    2|132      2|321    2|132    2|213  
 3│321    3|132    3|213      3│213    3|321    3|132  
  c'    .  c'    .  c'    .    c'    .  c'    .  c'    

(D)-b'                     (S')-b'
^N1| 123  ^N2| 123  ^N3| 123    ^N1| 123  ^N2| 123  ^N3| 123  
'─┼――d' ─┼――d' ─┼――d'   ─┼――d' ─┼――d' ─┼――d'
 1|132    1|213    1|321      1|132    1|213    1|321  
 2|213    2|321    2|132      2|321    2|132    2|213  
 3│321    3|132    3|213      3│213    3|321    3|132  
  c'    .  c'    .  c'    .    c'    .  c'    .  c'    

(D)-c'                     (S')-c'
^N1| 123  ^N2| 123  ^N3| 123    ^N1| 123  ^N2| 123  ^N3| 123  
'─┼――b' ─┼――b' ─┼――b'   ─┼――b' ─┼――b' ─┼――b'
 1|123    1|312    1|231      1|132    1|213    1|321  
 2|231    2|123    2|312      2|321    2|132    2|213  
 3│312    3|231    3|123      3│213    3|321    3|132  
  d'    .  d'    .  d'    .    d'    .  d'    .  d'    

(N1,N2,N3) 割り当て:

D-E0 : (123)、D-EX : (231)、D-EY : (312)
S'-A1 : (132)、 S'-A2 : (213)、 S'-A3 : (321)

168 :132人目の素数さん:2011/03/26(土) 19:47:13.58
ほしゅ

169 :ポリンキー ◆bY48xjZ7JZEU :2011/04/13(水) 19:53:33.52
おひさです。
現状、表は書いたけどチョット分からなくなっています。

とりあえず具体性と今後の再利用性のために、
三角乗法の記号△、□を使って数え上げた系を明記していきます。

まず S'-All に関してですが、全ての軸が等価であるという性質より
4項関係 □(abcd) を使って書きます。

170 :ぽりん ◆bY48xjZ7JZEU :2011/04/13(水) 20:02:46.95
【S'-A1】

□(1111)
□(1123)
□(1222)
□(1333)
□(2233)

たったこれだけで全て尽くされている、かな?

171 :ぽりん ◆bY48xjZ7JZEU :2011/04/13(水) 20:10:50.24
【S'-A2】

□(1112)
□(1133)
□(1223)
□(2222)
□(2333)


【S'-A3】

□(1113)
□(1122)
□(1233)
□(2223)
□(3333)


これで全て?

172 :ぽりん ◆bY48xjZ7JZEU :2011/04/13(水) 20:21:02.16
S'-All に関しては5つの4項関係でできていることが分かりました。

また、
(12) の入れ替えで【S'-A1】から【S'-A2】に移り、
(13) の入れ替えで【S'-A1】から【S'-A3】に移ります。
(23) の入れ替えで【S'-A1】は不変です。

173 :ぽりん ◆bY48xjZ7JZEU :2011/04/13(水) 20:28:41.02
D-Even に関しては軸の等価性より
(ac)-(bd)
という書き方をすることにします。

【D-E0】
(11)-(11)
(11)-(23)
(12)-(12)
(12)-(33)
(13)-(13)
(13)-(22)
(22)-(13)
(22)-(22)
(23)-(11)
(23)-(23)
(33)-(12)
(33)-(33)

これを見ると、右と左を入れ替えても同じになっています
(ac)-(bd)
(bd)-(ac)

174 :132人目の素数さん:2011/04/13(水) 20:31:34.34
【D-EX】
(11)-(13)
(11)-(22)
(12)-(11)
(12)-(23)
(13)-(12)
(13)-(33)
(22)-(12)
(22)-(33)
(23)-(13)
(23)-(22)
(33)-(11)
(33)-(23)

こんどは左右非対称になっています。

175 :132人目の素数さん:2011/04/13(水) 20:37:09.52
【D-EY】

(11)-(12)
(11)-(33)
(12)-(13)
(12)-(22)
(13)-(11)
(13)-(23)
(22)-(11)
(22)-(23)
(23)-(12)
(23)-(33)
(33)-(13)
(33)-(22)

今度も左右非対称です。
【D-E0】、【D-EX】、【D-EY】を定義する割り当ての個数は
どれも12個になっています。

176 :ぽりん ◆bY48xjZ7JZEU :2011/04/13(水) 20:54:24.74
まとめ: >>167 を具体的に展開すると

【S'-A1】    【S'-A2】    【S'-A3】

□(1111)   □(2222)   □(3333)
□(1123)   □(1223)   □(1233)
□(1222)   □(1112)   □(1113)
□(1333)   □(2333)   □(2223)
□(2233)   □(1133)   □(1122)

          (12)      (13)


【D-E0】    【D-EX】    【D-EY】

(11)-(11)   (11)-(13)   (11)-(12)
(11)-(23)   (11)-(22)   (11)-(33)
(12)-(12)   (12)-(11)   (12)-(13)
(12)-(33)   (12)-(23)   (12)-(22)
(13)-(13)   (13)-(12)   (13)-(11)
(13)-(22)   (13)-(33)   (13)-(23)
(22)-(13)   (22)-(12)   (22)-(11)
(22)-(22)   (22)-(33)   (22)-(23)
(23)-(11)   (23)-(13)   (23)-(12)
(23)-(23)   (23)-(22)   (23)-(33)
(33)-(12)   (33)-(11)   (33)-(13)
(33)-(33)   (33)-(23)   (33)-(22)

左右対称      左右非対称

177 :ぽりん ◆bY48xjZ7JZEU :2011/04/13(水) 20:58:59.01
さてこの6系統(実質的には3系統くらいか?)の中に
四則演算に次ぐような第五の演算の萌芽が見られるだろうか…?

まったくわからーんw

178 :132人目の素数さん:2011/04/14(木) 12:43:48.95
>>1から読んでて気になったんだけど、
「任意のa,b,c∈Sに対して△(abx)=cを満たすx∈Sが一意的に存在する」と仮定してるの?
そうでないと>>12あたりからあやしいんだけど。

179 :132人目の素数さん:2011/04/14(木) 13:19:41.48
>>178に追記
もし>>178のような仮定をしなければ、e∈Sを適当に固定し、任意のa,b,c∈Sに対し△(a,b,c)=eと定めれば、
この演算は>>58-60を満たし、|S|=2^nの反例となる。

180 :ポリンキー ◆bY48xjZ7JZEU :2011/04/14(木) 22:05:37.63
>>178, >>179 さん

確かにその通り。ご指摘ありがとうございます。

確かに 58-60 の定義では不完全なので、
定義 >>25 を追加します。

当時、書いたときは 58-60 に 25 が含まれているような気がしていたが思い違いをしたようだ

>>62 の証明で k_i が存在することを使ってるね

181 :132人目の素数さん:2011/04/14(木) 22:52:46.34
>>25より
任意のa,b,c∈Sに対して
△(xab)=c、△(ayb)=c、△(zab)=c
を満たすx,y,z∈Sが一意的に存在する。
の方がシンプルでよくないか?
この仮定から>>25も従うし。

というかそもそも>>25を追加しただけでは>>12>>62もまだ正しいとは言えない。
どちらも△(abc)=△(a'bc)⇒a=a'という単射性を利用している。

182 :ポリンキー ◆bY48xjZ7JZEU :2011/04/15(金) 20:40:59.68
>>62 の最初の等式

          t
 t        △
 △ →<  t   t
t  i     △  △
       t   t  k_i

>>59 の定義より

△(t, t, k_i) = i
△(t, t, t) = t
△(t, t, t) = t

の3つをまとめて書いた式という意味

この場合、>>25 の代わりに
△(t, t, x) = i を満たす x が存在する、でも確かに OK
一意的な x が存在する、の方がシンプルかもしれないが、
より弱い >>25 の仮定から同じものが導けると考え >>25 を採用したよ

一意性・単射性はとくに使っていないと思うけどどうかな

183 :132人目の素数さん:2011/04/15(金) 22:01:34.90
          t
 t        △
 △ →<  t   t
t  i     △  △
       t   t  k_i
というのは、
△(t,t,i)=△(△(t,t,t),△(t,t,t),△(t,t,k_i))
ってだけじゃないのか?

もしこの式が
△(t,t,t)=tかつ△(t,t,t)=tかつ△(t,t,k_i)=i
と同値だというのなら、
>>60から任意のa,b,c,x,y,z∈Sに対して
△(x,a,b)=x、△(a,y,c)=y、△(b,c,z)=z
が成り立ち、したがって
△(x,y,z)=x=y=z
というおかしなことになるぞ。

184 :ポリンキー ◆bY48xjZ7JZEU :2011/04/15(金) 23:32:17.35
t →< △(t,t,t) なので

          t
 t        △
 △ →<  t   t
t  i     △  △
       t   t  *

と展開される。 * に入る値が t 以外に何かなければならず、
それを k_i とすると △(t, t, k_i) >→ i となっているはず
というように考えた。

>>60 に関しては、三角形を縮約して
△(x,a,b) が x になるわけではないので、別扱いで

185 :132人目の素数さん:2011/04/15(金) 23:58:36.01
つまり、→<と←<は同値ではないのか。
  x
  △         x
 a   b  >→  △
 △  △     y  z
y  c  z
は常に成り立つけど、
  x
  △         x
 a   b  >←  △
 △  △     y  z
y  c  z
は成り立つとは限らないってわけだな。
それって演算としてどうなんだろう?

186 :ポリンキー ◆bY48xjZ7JZEU :2011/04/16(土) 14:15:40.11
>>185
△(x,a,b) が x になるわけではないので、
普通の三角形の縮約の意味では、
上側の式も成り立っていないかな

普通の縮約の記号 >→ と
2次の縮約 >>60 の記号を分けた方が良かったかもしれない
2次の縮約を ≫→ と書くなら
≫→ と →≪ は同値で良いと思う
>>183 で指摘されたように
# △(△(x,a,b),△(y,c,a),△(z,b,c)) として同値

一方、普通の縮約では、>>182 のように
各三角形を縮約したと考える

187 :132人目の素数さん:2011/04/16(土) 18:51:58.53
>>186
大体分かった。つまり>>25は、
「任意のa,b,c∈Sと、△(d,e,f)=a,△(e,g,h)=bを満たすような任意のd,e,f,g,h∈Sに対して、あるx∈Sが存在して△(f,h,x)=cを満たす」
ってわけだな。

改めて>>100あたりまで読んでみて思ったこと
>>74の|S|=4の場合の演算は△(a,b,c)=6-(a+b+c)と表せる。
>>75の|S|=8の場合も、5と7を入れ替えればそれっぽくなりそうだけど思いつかない。
>>83で全射性を示していない。Sが有限集合ならいいけど、無限集合の場合も全射性は容易に示せる。
>>89で'を書き忘れてる。
>>94でb''はs,tに依存している。

188 :ポリンキー ◆bY48xjZ7JZEU :2011/04/18(月) 19:03:51.20
> ・>>74の|S|=4の場合の演算は△(a,b,c)=6-(a+b+c)と表せる。

□(0,1,2,3)の組に関しては確かにそうなってる。

>・>>89で'を書き忘れてる。

ありゃりゃ、すいません。

>>94でb''はs,tに依存している。

これは問題アリかもしれませんね。考えてみます。

189 :あんでぃ:2011/04/18(月) 20:12:53.33
じゃんけんみたくすればいいんじゃネ?

190 :132人目の素数さん:2011/04/18(月) 23:45:29.40
・74の|S|=4の場合の演算は△(a,b,c)=6-(a+b+c)と表せる。
は違ったな

あと、
     a
    △
   *   *
   △  △
  *  *  *
 △  △  △
b  *   *  c
みたいな10個以上の場合の厳密な定義をしといたほうがいいと思う。

191 :ポリンキー ◆bY48xjZ7JZEU :2011/04/19(火) 08:25:31.18
>>189 あんでぃさん
|S| = 3 の場合かな?
手の数が |S| = n 通りある場合のじゃんけんはどう定義すればよいだろう?

>>190
> みたいな10個以上の場合の厳密な定義をしといたほうがいいと思う。

第1章の mod 2 和の場合には、
10個の縮約を consistent に定義するのが難しかった記憶があります。
なので1章では2次の連合までかな。
そうすると、associative になりにくいから、
あまりうれしくないかもしれないけど。

それは、1次縮約するとして、
重みで考えると >>119 のように奇数の重み (3) になってしまい、
mod 2 と整合しないから。

豊かな公理系を作るには
連合をうまく定義することが重要だという気がしているので、
確かに3次、…、n次の連合をうまく定義できたらよいと思う。

平面上に三角形を次々と展開していけたら面白いと考えているが
うまくいく定義があるかどうか模索している。

192 :ポリンキー ◆bY48xjZ7JZEU :2011/04/19(火) 08:32:55.26
3人 a, b, c のじゃんけんで考えると

>>176 【S'-A1】 はあいこの場合 △(abc) = 1
>>176 【S'-A2】 はあいこの場合 △(abc) = 2
>>176 【S'-A3】 はあいこの場合 △(abc) = 3

に確かになっている。おもしろいかも。

193 :あんでぃ:2011/04/19(火) 17:34:02.78
ポリンキーさんヘ
3ということで1番に思いついたのが
じゃんけんでした
記号の意味を教えてもらえませんか?
またこの分野の基礎体力を養うために読んだ方がいい本はありますか?

194 :ポリンキー ◆bY48xjZ7JZEU :2011/04/19(火) 20:52:43.53
>>193
> 3ということで1番に思いついたのが
> じゃんけんでした

さすがあんでぃさんです。
数学は科学の女王と呼ばれるだけのことはあります。


> 記号の意味を教えてもらえませんか?

記号はこのスレ内で定義したもので、まだ発展途中ですが、
重要かもしれないレスをいくつか、 >>195-196 くらいでピックアップします。


> またこの分野の基礎体力を養うために読んだ方がいい本はありますか?

当面は「有限群」論の結果を多く使うかも。
現在模索中でどう発展するか(あるいはしないか)分かりませんが、
もしかしたら将来的には「リー代数」などの方向に発展するかもしれません。

また、関連あるかもしれない分野は
* Jordan triple system (ジョルダン3項積)
* Lie triple system
* Steiner triple system
* polyadic group by Emil Post
などです。

195 :ポリンキー ◆bY48xjZ7JZEU :2011/04/19(火) 20:53:46.42
これまでのまとめ

[まず目的]
>>57

[第1章:三角乗法バージョン1(2次の縮約をもつ三角乗法)]
定義: >>58 >>59 >>60 >>178-180 >>181-182 >>183-184 >>185-186 >>187
定理(等項定理と移項定理): >>66 >>70 >>71 >>72
証明(群論的性質、途中まで): >>83 >>84 >>85 >>87 >>89 >>90 >>91
結論: >>114 >>116 (ただし証明の過程にミスがありそう >>188 なので暫定的)

196 :ポリンキー ◆bY48xjZ7JZEU :2011/04/19(火) 20:54:54.18
[第2章:n次の縮約]
>>115 >>117 >>118 >>119 >>123 >>124 >>125

[第2章:三角乗法バージョン2]
定義: >>134 >>138
|S|=3 の場合の数え上げ: >>152 >>153 >>156-157 >>162 >>164 >>166 >>169 >>173 >>176

[発展]
>>128-129 >>131 >>132-133 >>136-137 >>191

以上です

197 :132人目の素数さん:2011/05/14(土) 22:28:28.82
ほしゆ

198 :132人目の素数さん:2011/06/09(木) 20:29:08.23
干湯

199 :132人目の素数さん:2011/06/09(木) 21:05:07.76
これは良スレ

200 :132人目の素数さん:2011/06/09(木) 22:35:25.96
なんかすごいことやってるな。

201 :132人目の素数さん:2011/06/09(木) 22:51:36.66
ageてまで何か言うほどの内容は無い。むしろトンデモ一直線。

202 :132人目の素数さん:2011/06/09(木) 23:02:35.99
力強く復興するぞ!!!

203 :あんでぃは存在 ◆AdkZFxa49I :2011/06/10(金) 22:48:32.88
>>202
おう。

あんでぃ

204 :132人目の素数さん:2011/06/28(火) 08:22:44.88
おれ10年以上前に似たようなこと考えたことある

テンソルとか使って法則を探しに片端から計算しまくってみたけど
結局何も見つからなくて今はやってない

物理とかで応用があるといいんだけどな

205 :132人目の素数さん:2011/06/28(火) 08:33:17.95
正確に言うと「何も」ってことはなかったんだけど
トートロジーみたいなことか、2変数が3変数になった
程度のことしか見つからなかった

3変数といっても実際は3の3乗=27変数だったけどね
不等式をいくつか証明したけど、それで何かを発展
させるところまでは行かなかった

上のほうで群の構造について触れてるけど、群自体が
2項演算をベースにしている関係でそのきまりごとに
拘束されてしまうから、何か見つかるとしたら全然違う
概念を使った構造を用いる必要があると思う

206 :ポリンキー ◆bY48xjZ7JZEU :2011/06/28(火) 21:49:49.69
>>204-205
おお、先達の方がいらっしゃいましたか。
よろしくっす。

テンソルで3^3ということは
3つ添え字があってそれぞれの次元が3という感じ?

テンソルの間の演算とかはどのように入れました?

群とは異なる構造かあ。なるほど。
2変数だとでたらめに見えるような構造で
3変数になると意味を持つようなものがあるといいのかな

207 :132人目の素数さん:2011/07/22(金) 21:49:12.00
これ大昔n項演算での考察を読んだことがあるけど
パターニングで結局2項に縮約されるって結論だった覚えがある。

バラモンの塔の解法と同じで解(塔の具体的な移動法)を全てをいちいち記述するの
計算量が莫大で不可能だけどある繰り返しのパターンで移動はできることが照明できる
ってイメージだった記憶。

208 :蛙-かわづ- ◆NxYIfSaetA :2011/07/30(土) 13:09:56.88
アーメン。

209 :132人目の素数さん:2011/07/30(土) 13:14:55.84
でた
>>208
こいつ規制解除されたバカオツだからみんな無視するように
特徴は規制前のバカオツと一緒で
・自分で「かえるさん、○○」と書き込み自分で答える自演をしている
・朝6:10に書き込み開始、24:10に就寝
・相変わらず意味のない短文ばかり

210 :132人目の素数さん:2011/07/30(土) 13:19:49.53
お、クソキチガイきたw
引用
反応すんなよキチガイwww
バカオツケー(^∇^)
いつから名前がバカオツなんだかw
規制されてねぇwwww
本当にアホだなw
クソキチガイ帰れよw
悔しくて反応か?w

211 :猫vs虚偽院生 ◆MuKUnGPXAY :2011/07/30(土) 13:35:11.21
スレの行く末をワクワクして見守る猫。




212 :132人目の素数さん:2011/07/30(土) 13:38:18.00
キチガイがたくさんw

213 :132人目の素数さん:2011/07/30(土) 17:21:14.25

147 名前:132人目の素数さん :2011/07/30(土) 17:14:54.97

いつから名前がバカオツなんだかwww
クソキチガイアホ晒しできてるぞ?
頑張れよクソキチガイ
クソキチガイアホ晒しできてるぞ?
クソキチガイアホ晒しできてるぞ?
頑張れ!クソキチガイ!
顔真っ赤にしてクソキチガイ反応

148 名前: ◆osMsTqWzXY :2011/07/30(土) 17:16:45.20
>>147
いつから名前がバカオツなんだかwww
クソキチガイアホ晒しできてるぞ?
頑張れよクソキチガイ
クソキチガイアホ晒しできてるぞ?
クソキチガイアホ晒しできてるぞ?

214 : ◆osMsTqWzXY :2011/07/30(土) 17:23:06.52
>>213
いつから名前がバカオツなんだかwww
クソキチガイアホ晒しできてるぞ?
頑張れよクソキチガイ
クソキチガイアホ晒しできてるぞ?
クソキチガイアホ晒しできてるぞ?
頑張れ!クソキチガイ!
顔真っ赤にしてクソキチガイ反応




さっきから必死に頑張ってます!

by>>213

215 :ぽりんきー ◆bY48xjZ7JZEU :2011/07/30(土) 19:25:54.21
>>211
ワクワク☆

とりあえず、上がったついでに
>>195 >>196
どうぞ

216 :あんでぃ23時48分:2011/07/30(土) 19:32:37.21
[2348]
AB
SBR
EMPC
SPECIUM
APLWJKSJ
基本2
スポ3
受験4
標準5
回答7
キャラ8
[2348]
生物
弁護士
教育費
増税10%
背筋を伸ばすジャケット
幅広
センター試験
二次試験
実教出版センター倫理


217 :あんでぃ23時48分:2011/07/30(土) 19:32:57.69
[2348]
AB
SBR
EMPC
SPECIUM
APLWJKSJ
基本2
スポ3
受験4
標準5
回答7
キャラ8
[2348]
生物
弁護士
教育費
増税10%
背筋を伸ばすジャケット
幅広
センター試験
二次試験
実教出版センター倫理


218 :132人目の素数さん:2011/08/11(木) 10:28:33.83
あんでぃ終わりかよwwwwww

219 :132人目の素数さん:2011/08/11(木) 19:23:59.54
俺たちのあんでぃはまだまだこれからだぜ

220 : ◆Q.cX6KBNNw :2011/08/11(木) 19:31:13.64
あんでぃ終わり?

221 :132人目の素数さん:2011/08/11(木) 21:22:34.54
never ending aaandyyyyy ♪

222 :132人目の素数さん:2011/08/19(金) 10:16:13.57
チューリングの計算可能の定義からすれば、
演算命令は1個でも全ての計算可能な関数が実現できるらしい。

223 :132人目の素数さん:2011/08/19(金) 18:06:35.36
トンテンカンカントンテンカン

224 :ぽりんきー ◆bY48xjZ7JZEU :2011/08/19(金) 20:34:01.56
>>223
くるまのとんてんかん
http://www.geocities.co.jp/HeartLand-Hanamizuki/5064/file/game/kurumano.htm

>>222
そですね。
NAND演算だけで任意のビット演算が行えますね。

新しい演算を見つけると言っても、
四則演算は2変数関数の一種と考えられるので
四則演算を特別だと見なす理由をはっきりしないと
問題設定があいまいになると思た

2変数関数には指数関数とかもあるし
特殊関数にも面白い性質のものがたくさんある

整数の間の写像でも
組み合わせ論的で豊富な計算例があるもんな

どうしようかな

225 :132人目の素数さん:2011/08/30(火) 01:51:33.84
もうネタ切れかい?

226 :ぽりんきー ◆bY48xjZ7JZEU :2011/08/30(火) 07:57:25.33
ほかにやることが山積みというのもあるが

3変数特殊関数を3項演算と見なせるので
すでに豊富な実例があるなあ
という気がしてきたというのが大きい

四則演算がなぜ特別なのか理由は特に見当たらないし
そのため、どのような3項演算が第5の演算になるか不明だ

なぜ2変数でなく3変数を考えたかと言うと
リー代数の対称性から2変数の素直な実数演算は
おおむね抽出されていると思ったから

あと3角形のような図形を平面に並べることで
文字列からでは思いつきにくい何らかのインスピレーションが
あると期待したから

何か思いついたことがあったらそのうちまた書きます

227 :132人目の素数さん:2011/08/30(火) 23:13:25.00
>>226
まさか3元数を探してるわけではないよね?

228 :132人目の素数さん:2011/08/30(火) 23:32:04.05
最初からネタなんかなかったじゃないか。

229 :132人目の素数さん:2011/09/18(日) 10:20:19.99
ポリンスキーって ノニ なんですか?

230 :猫vs運営 ◆MuKUnGPXAY :2011/09/18(日) 12:09:28.28
もしノニが出たら私が執拗かつ徹底的に撲滅します。絶対に許さないので。




231 :猫vs運営 ◆MuKUnGPXAY :2011/09/18(日) 13:57:47.64
ノニさんへ、

ちょっと出て来ませんかね? 真っ二つに割って差し上げますのでね。
アンタみたいな屑を潰すのはストレス解消には最適なのでナ。




232 :132人目の素数さん:2011/09/18(日) 14:09:20.14
>>229
ノニって何だよ!

233 :猫vs運営 ◆MuKUnGPXAY :2011/09/18(日) 14:40:37.66
>>229
オラァ、ちゃんと説明したれや。ワシかて『その説明』っちゅうんを見た
いしやね。ほんで「もしソレがアカン」っちゅうんなら本人が出て来て自
分で説明してもエエのや。本人が出たらワシかて作業をスルさかいナ。




234 :ノニ ◆UsshWHuacA :2011/09/18(日) 15:00:14.70
猫さんには私は用なぞありません

235 :猫vs運営 ◆MuKUnGPXAY :2011/09/18(日) 15:10:14.32
>>234
そやけどワシはアンタに用がアルのや。撲滅の対象としてナ。




236 :猫vs運営 ◆MuKUnGPXAY :2011/09/18(日) 15:13:21.63
>>234
感情的に逆上して、ほんでもっとアホなカキコをせえや。




237 :猫vs運営 ◆MuKUnGPXAY :2011/09/18(日) 16:53:53.98
>>234
おノニ様や、

そろそろ返事をしたらどないや。但し細心の注意を払ってカキコしろや。
そやないとワシが足元を思いっきりすくうさかいナ。エエな。




238 :132人目の素数さん:2011/09/18(日) 23:08:51.96
ポランスキー


239 :猫vs運営 ◆MuKUnGPXAY :2011/09/19(月) 01:31:04.24
低脳なノニはバカンスキー。




240 :猫vs運営 ◆MuKUnGPXAY :2011/09/19(月) 02:12:44.76
無能なノニはクズンスキー。




241 :猫vs運営 ◆MuKUnGPXAY :2011/09/19(月) 02:21:31.78
馬鹿なノニはアホンスキー。




242 :猫vs運営 ◆MuKUnGPXAY :2011/09/19(月) 16:46:23.93
白痴なノニはボケンスキー




243 :132人目の素数さん:2011/09/20(火) 23:24:52.24
これはヒドイ

244 : 忍法帖【Lv=1,xxxP】 :2011/10/07(金) 22:43:37.91
【XTM】
[X]
?個人単位?あとからできるから◯◯?冷静さが大事?他人に見せびらかさない?言葉に惑わされない
[T]
TS10漆原慎太郎小倉弘英数物化センター国語模試奨学金6236ためちかうるし大宮週間石川福間家計鉄製大数系カンビアッソ
[M]
文2シラバス小幡道昭柴田孝之伊藤真ハイエクマルクスフリードマン塾講師のバイト司法試験心理学社会心理学マネーゲームマセマ東京大学経済学部卒JEL分類コード弁護士
[]
東京捨便苦痛研究経済思想四季分類春夏秋冬防犯道具実戦家事旅行荷物
[]
イイものに触れ続けろ!!母親介護英数物化女の子に付ける名前経済学部必修七科目
[]

245 :132人目の素数さん:2011/10/19(水) 21:15:11.62
?:

246 :132人目の素数さん:2011/10/20(木) 00:35:27.48
臭いものにお札

247 :132人目の素数さん:2011/11/08(火) 07:29:53.31
コレハ

248 :132人目の素数さん:2011/11/09(水) 18:42:35.27
レハコ

249 :132人目の素数さん:2011/11/09(水) 21:54:58.00
ハコレ

250 :132人目の素数さん:2011/11/16(水) 21:31:46.95
チビタ

251 :132人目の素数さん:2011/11/19(土) 12:10:00.62
電波テロ装置の戦争(始)
エンジニアと参加願います公安はサリンオウム信者の子供を40歳まで社会から隔離している
オウム信者が地方で現在も潜伏している
それは新興宗教を配下としている公安の仕事だ
発案で盗聴器を開発したら霊魂が寄って呼ぶ来た
<電波憑依>
スピリチャル全否定なら江原三輪氏、高橋佳子大川隆法氏は、幻聴で強制入院矛盾する日本宗教と精神科
<コードレス盗聴>
2004既に国民20%被害250~700台数中国工作員3~7000万円2005ソウルコピー2010ソウルイン医者アカギ絡む<盗聴証拠>
今年5月に日本の警視庁防課は被害者SDカード15分を保持した有る国民に出せ!!<創価幹部>
キタオカ1962年東北生は二十代で2人の女性をレイプ殺害して入信した創価本尊はこれだけで潰せる<<<韓国工作員鸛<<<創価公明党 <テロ装置>>東芝部品)>>ヤクザ<宗教<同和<<公安<<魂複<<官憲>日本終Googl検索

252 :132人目の素数さん:2011/11/19(土) 12:11:17.61
魂は幾何学

誰か(アメリカ)気づいた
ソウルコピー機器
無差別で猥褻、日本は危険失敗例作


テロ資料忘れずに

253 :あぼーん:あぼーん
あぼーん

254 :あぼーん:あぼーん
あぼーん

255 :あぼーん:あぼーん
あぼーん

256 :あぼーん:あぼーん
あぼーん

257 :あぼーん:あぼーん
あぼーん

258 :あぼーん:あぼーん
あぼーん

259 :あぼーん:あぼーん
あぼーん

260 :あぼーん:あぼーん
あぼーん

261 :あぼーん:あぼーん
あぼーん

262 :あぼーん:あぼーん
あぼーん

263 :あぼーん:あぼーん
あぼーん

264 :132人目の素数さん:2012/03/03(土) 18:07:14.87
とりあえず、三項演算が、二項演算の組合せで
△(a,b,c) = (a□b)◇c と表現されない条件を
しるぶぷれ。


265 :132人目の素数さん:2012/03/10(土) 12:16:00.16
[a|b|c]=a^をb回繰り返し、そのあとcがくる
例:[2|3|4]=2^2^2^4=2^2^16=2^65536=約2万桁

266 :132人目の素数さん:2012/03/10(土) 13:55:13.06
>>246
△(a,b,c) は n^(n^3) ,
(a□b)◇c, a□(b◇c) は高々 4*n^(n^2)
もっとも (a□b)◇(b☆c) 等があるから、はっきりした事は云えないが、
三項演算の方が多いっぽい。Hilbert の問題とも関連がある。
馬鹿猫には分からんだろうが。

267 :あんでぃ:2012/03/21(水) 16:55:32.48
[O]
[TGXE]
[RS4332]
[HK531]
[OH]
[GRKN]
[BB]
[294B]
[996A]


268 :132人目の素数さん:2012/05/27(日) 15:44:39.98
全くカビほど怖いモノは無い、焼き払うしかなかろう。


269 :132人目の素数さん:2012/06/01(金) 04:20:07.19
カビにも意志があるのか??
全く分からん。ただ無意味に広がる様じゃ。

270 :132人目の素数さん:2012/06/27(水) 22:21:34.22
オレンジ色だったみかんが
ふと見てみたら緑色になっていた

271 :132人目の素数さん:2012/08/11(土) 23:41:36.63
すみません、質問です
約数は割り算で出るものなのにそれを足し合わせることに何の意味がありますか

272 :baka描 ◆ghclfYsc82 :2012/08/12(日) 07:26:18.73


>14 名前:132人目の素数さん :2012/08/07(火) 17:39:00.96
> >>13
> 旧コテ猫あらため描つまりお前自身の事だろ、増田哲也に限り無く近い人間。
> 筑波大学で痴漢と言えば増田哲也だから連続性も明らかになってるから
> わざわざ限り無く近い人間なんて呼び方しなくていいんだけどな
>


273 :132人目の素数さん:2014/08/06(水) 09:08:32.32
3

274 :132人目の素数さん:2015/03/01(日) 00:33:07.77 ID:bO+JIZpl
良スレ

275 :132人目の素数さん:2015/03/02(月) 00:15:05.90 ID:DXHqmfbb
░█        ∩ _, ,_
▒█░▓    ⊂⌒(^ω^ ) <お?
█░░      `ヽ_つ ⊂ノ


        ██▒░▓▒█
       ▒░░▓▒█▒▓░, ,_
        █▓█▒░█▓^ω^) <غثڷسئ
        ▒░██▓つ ⊂ノ


         ▓█░
      ▓▒█░▒░▒▓
      █▓▓▒░▒▒▒▓█
      ▒░█░▒▓▓▒█░ <ڷږڱڠڛڐشڭ
      ▓▓█▒░█▓▒▓
        ▒▓█░


       ∩  _, ,_
     ⊂⌒(☉ ౪ ☉) < 乜勹〰スㄜㄝㄋ 乜勹〰スㄜㄝㄋ 乜勹〰スㄜㄝㄋ
       `ヽ_つ ⊂ノ

276 :132人目の素数さん:2015/11/11(水) 20:58:28.81 ID:bLBQYEhZ
どうしても三項演算子が必要な状況ってあるのかな。

277 :132人目の素数さん:2015/11/25(水) 03:08:20.63 ID:9w70Grar
化学反応は3項演算だよね
3つのものを同時に混ぜなきゃいけない

278 :132人目の素数さん:2015/11/25(水) 13:02:33.49 ID:bltfl9r0
一項演算子で充分

279 :132人目の素数さん:2015/11/25(水) 16:56:05.63 ID:uCmN4m1x
シェファーズストロークってのが論理学の分野で議論されたことがある。

280 :132人目の素数さん:2015/11/26(木) 15:47:11.40 ID:zXLCnTSX
化学反応を演算と見なしたところでシステマチックに扱えるわけじゃないから、あまり意味がないと思う
代数というものは形式に着目して機械的に計算、あるいは構造を分解して単純化するためのものだから

mmp2
lud20160405131641
このスレへの固定リンク: http://5chb.net/r/math/1289407041/
ヒント:5chスレのurlに http://xxxx.5chb.net/xxxx のようにbを入れるだけでここでスレ保存、閲覧できます。

TOPへ TOPへ  

このエントリをはてなブックマークに追加現在登録者数177 ブックマークへ


全掲示板一覧 この掲示板へ 人気スレ | Youtube 動画 >50 >100 >200 >300 >500 >1000枚 新着画像

 ↓「3項演算子を考えるスレ」を見た人も見ています:
春から高校生のワイにおすすめの参考書を教えるスレ
世界史でおススメの参考書 問題集を俺に教えるスレ
光吉演算子(みつよしえんざんし)
有限群論の参考書教えろうんこ
足し算と掛け算の間の演算を定義したい
高校数学の解放網羅系の参考書について
ホモロジー代数のいい参考書教えろ
数学的演算と神話的構造の関係
数論幾何をマスターするための参考書プラン
数学科一年生だけどマセマの参考書使っていい?
群演算の結合法則が何を言いたいのかわからん
明らかに四則演算ではない演算ってないんですか?
【数学教育の】解説を書かない参考書、テキストはすべて廃書しろ【癌】
アジアはなぜ四則演算さえなかったのか?・・2
俺の夜食を考えるスレ
画像を見てSSを考えるスレ
介護武術を考えるスレ
名言考えるスレ
面白い企画を考えるスレ
完全逃亡を考えるスレ
癌の治療法を考えるスレ
死刑の方法を考えるスレ
鞘師のAAを本気で考えるスレ
次の一手をみんなで考えるスレ
俺の趣味を考えるスレ 
色んな五大数学者を考えるスレ
二宮町の財政難を考えるスレ
株の格言を考えるスレ
2020年後半を考えるスレ
広沢グループを考えるスレ
織田裕二の後任を考えるスレ
理想の優等を考えるスレ
+Rの存在意義を考えるスレ
しりとりジムを考えるスレ
難病板の名無しを考えるスレ
公立大学の蔑称を考えるスレ
藤井聡太の通り名を考えるスレ
香川のあだ名を考えるスレ
卒業について考えるスレ
素数の性質を考えるスレ
DeNAの身売り先を考えるスレ
野菜・果物板の1001を考えるスレ
新しい大学群を考えるスレ
新しい大学群を考えるスレ
板の仕様について考えるスレ
100年後の現代音楽を考えるスレ
新しい車椅子を考えるスレ
TRPGの電子書籍について考えるスレ
ゆずの岩沢の髪型を考えるスレ。
エロ尻尾について考えるスレ
架空のロマン兵器を考えるスレ
磐越西線の復活を考えるスレ
この板の自治を考えるスレ・7
新しく顔文字を考えるスレ
テレ東の新しい企画を考えるスレ
裁判員にふさわしい衣装を考えるスレ
中部空港を復活させる方法を考えるスレ
ウナギの代用品になるものを考えるスレ
バス運転手の処遇改善を考えるスレ
スクリプトを止める方法を考えるスレ
JR西日本のダイヤを考えるスレ
高知や四国の人口減少を考えるスレ
無量大数より大きな数の単位を考えるスレ
0-9の数字で一番不要なものを真面目に考えるスレ

人気検索: 昔のロリ女子小学生マン 洋ロリ画像 繝代う繝代Φ ショタ 画像 女子高生 女子小学生のパンツ 小学生のマンコ画像 中学生 mouse 水着 でぶ親父の裸
08:22:10 up 96 days, 9:20, 0 users, load average: 62.78, 62.76, 70.18

in 0.04889988899231 sec @0.04889988899231@0b7 on 072221