有限数列上の変換について [無断転載禁止]©2ch.net

**片山博文MZ** ◆T6xkBnTXz7B0 · 2016/01/22(金) 13:44:00.53

このスレッドでは、有限数列から有限数列への変換器について考えよう。
【議題１】どのような変換器が存在し、数学的にどのように表記できるか？
【議題２】変換器はどのようにいくつかの変換器に分解可能か？
【議題３】変換器Cに対する逆変換器C^(-1)の存在可能性について。

**片山博文MZ** ◆T6xkBnTXz7B0 · 2016/01/22(金) 14:30:27.19

【定義１】a_1, a_2, ..., a_nという有限数列を(a_i)_{i=1}^nと表す。
【定義２】a_*(i)＝a_iとする。

**片山博文MZ** ◆T6xkBnTXz7B0 · 2016/01/22(金) 14:36:22.75

【定義３】空数列を()で表す。すなわち()＝(a_i)_{i=1}^0である。

**片山博文MZ** ◆T6xkBnTXz7B0 · 2016/01/22(金) 14:44:42.72

【定義４】数列Xのサイズ、すなわち項の数を#(X)と表す。k≦hのとき、
#((a_i)_{i=k}^h)＝h-k+1
となる。

**片山博文MZ** ◆T6xkBnTXz7B0 · 2016/01/22(金) 14:52:26.11

【定義５】数列X＝(f(i))_{i=0}^nについて、関数fを数列Xの特性関数と呼ぶことにする。

**片山博文MZ** ◆T6xkBnTXz7B0 · 2016/01/22(金) 15:55:21.15

条件分岐のための記号を導入する。これは単に場合分けを表すために用いる。
【定義５】「x ||_A y」は、条件Aが満たされるときxに等しく、その他のときyに等しい。
「||_A」を「条件Aの壁」と呼ぶことにする。
条件の壁は左結合である。すなわち x ||_A y ||_B z ＝ (x ||_A y) ||_B zである。

**片山博文MZ** ◆T6xkBnTXz7B0 · 2016/01/22(金) 15:58:17.65

>>6の発言を撤回する。
【定義６】「x ||_A y」は、条件Aが満たされるときyに等しく、その他のときxに等しい。
「||_A」を「条件Aの壁」と呼ぶことにする。
条件の壁は左結合である。すなわち x ||_A y ||_B z ＝ (x ||_A y) ||_B zである。

**片山博文MZ** ◆T6xkBnTXz7B0 · 2016/01/22(金) 16:21:50.55

【定義７】数列Xの第k項をX[k-1]と表す。
【定義８】数列XからX[h]を取り除いた数列をERASE(X, h)と表す。
【定義９】数列XからX[h]からX[k]までを取り除いた数列をERASE(X, h, k)と表す。

**片山博文MZ** ◆T6xkBnTXz7B0 · 2016/01/22(金) 16:24:42.55

【定義10】数列Xの中のX[i]の前に項xを挿入した数列をINSERT(X, i, x)と表す。
【定義11】数列Xの中のX[i]の前に数列Yを挿入した数列をINSERT(X, i, Y)と表す。

**片山博文MZ** ◆T6xkBnTXz7B0 · 2016/01/22(金) 16:27:43.54

【定義12】数列Xの最後に項xを追加した数列をAPPEND(X, x)と表す。
【定義13】数列Xの最後に数列Yの項を順番に挿入した数列をAPPEND(X, Y)と表す。

**片山博文MZ** ◆T6xkBnTXz7B0 · 2016/01/22(金) 16:31:36.97

【定義14】数列Xについて、X[h]以降の項を並べた数列をSUB(X, h)と表す。
【定義15】数列Xについて、X[h]以降のm個の項を並べた数列をSUB(X, h, m)と表す。

**片山博文MZ** ◆T6xkBnTXz7B0 · 2016/01/22(金) 16:36:35.80

【定義17】数列Xについて項X[h]を項yで置き換えた数列をREPLACE(X, h, y)と表す。
【定義18】数列XについてX[h]以降のm個の項を数列Yで置き換えた数列を
REPLACE(X, h, m, Y)と表す。

**片山博文MZ** ◆T6xkBnTXz7B0 · 2016/01/22(金) 16:40:44.94

【定義19】#(X)＝nである数列Xと、自然数m(≦n)について、
Xの先頭からm個の項を順番に取り出したサイズmの数列を
SHRINK(X, m)と表す。

**片山博文MZ** ◆T6xkBnTXz7B0 · 2016/01/22(金) 17:08:23.05

(f(i))_{i=h}^kという形の数列について、
これは(f(i+h))_{i=0}^{k-h}という形に変形できる。
よって(f(i))_{i=0}^nのような、添字がゼロベースの数列を考えるだけで充分である。

**片山博文MZ** ◆T6xkBnTXz7B0 · 2016/01/22(金) 17:19:15.43

明らかに
ERASE(X, h)＝ERASE(X, h, h)
である。
明らかに
ERASE(X, 0, #(X)-1)＝()
である。

**片山博文MZ** ◆T6xkBnTXz7B0 · 2016/01/22(金) 17:21:47.00

明らかに
APPEND(X, y)＝INSERT(X, #(X), y)
であり、
APPEND(X, Y)＝INSERT(X, #(X), Y)
である。

**片山博文MZ** ◆T6xkBnTXz7B0 · 2016/01/22(金) 17:24:13.74

明らかに
APPEND(X, APPEND(Y, Z))＝APPEND(APPEND(X, Y), Z)
である。

**片山博文MZ** ◆T6xkBnTXz7B0 · 2016/01/22(金) 17:32:54.63

ERASE((f(i))_{i=0}^n, h)＝(f(i) ||_{i≧h} f(i+1))_{i=0}^{n-1}
である。ここに「||_{i≧h}」は条件i≧hの壁である。

**片山博文MZ** ◆T6xkBnTXz7B0 · 2016/01/22(金) 17:40:02.12

明らかに
APPEND(X, Y)＝(X[i] ||_{#(X)≦i} Y[i-#(X)])_{i=0}^{#(X)+#(Y)-1}
である。

**片山博文MZ** ◆T6xkBnTXz7B0 · 2016/01/22(金) 17:43:29.89

明らかに
INSERT(X, 0, Y)＝APPEND(Y, X)
である。

**片山博文MZ** ◆T6xkBnTXz7B0 · 2016/01/22(金) 17:52:10.82

明らかに
INSERT(INSERT(X, h, Y), h, Z)＝INSERT(X, h, APPEND(Z, Y))
である。

**片山博文MZ** ◆T6xkBnTXz7B0 · 2016/01/22(金) 18:52:38.16

【定義20】数列X中のX[h]からm個の項を取り除いた数列をERASE2(X, h, m)と表す。
明らかにERASE(X, h, k)＝ERASE2(X, h, k-h+1)である。

**片山博文MZ** ◆T6xkBnTXz7B0 · 2016/01/22(金) 18:57:32.19

【定義21】数列Xの先頭からm個の項を並べた数列をFRONT(X, m)と表す。
【定義22】数列Xの先頭の項をFRONT(X)と表す。
【定義23】数列Xの最後のm個の項を並べた数列をBACK(X, m)と表す。
【定義24】数列Xの最後の項をBACK(X)と表す。

**片山博文MZ** ◆T6xkBnTXz7B0 · 2016/01/22(金) 19:06:18.24

ここまでの関数の定義について、定義域と値域を確認しよう。
【定義25】すべての数列の全体集合をSeqと表す。また、サイズnの数列の全体集合をSeq(n)と表す。
【定義26】x以上y未満の整数の集合をI(x,y)と表す。

**片山博文MZ** ◆T6xkBnTXz7B0 · 2016/01/22(金) 19:25:58.34

Ｎ＝{0,1,2,3,...}とする。
#(X)のXはSeqに属する。
X[h]のhはI(0,#(X))に属する。
ERASE(X,h)のhはI(0,#(X))に属し、Xはサイズ1以上の数列である。
ERASE2(X,h,m)のhはI(0,#(X)+1)に属し、mはI(0,#(X)-h+1)に属し、Xはサイズm以上の数列である。
INSERT(X,h,Y)のhはI(0,#(X)+1)に属し、X,YはSeqに属する。

**片山博文MZ** ◆T6xkBnTXz7B0 · 2016/01/22(金) 20:06:13.02

APPEND(X,Y)のX,Yは数列であり、これ以外の制限はない。
これは２通りの見方がある。Xの最後にYを追加するか、Yの先頭にXを挿入するか。
Z＝APPEND(*,Y)の値域はSUB(Z,#(Z)-#(Y),#(Y))＝YとするZの集合である。
Z＝APPEND(X,*)の値域はSUB(Z,0,#(X))＝XとするZの集合である。

**片山博文MZ** ◆T6xkBnTXz7B0 · 2016/01/22(金) 20:11:13.51

逆変換器を考えるときで、機械が正常に動作しているか確認する必要があるとき、
元の変換器の値域を考慮する必要がある。

**片山博文MZ** ◆T6xkBnTXz7B0 · 2016/01/22(金) 20:23:19.82

変換器Z＝APPEND(X,Y)のXに関する逆変換器は、X＝FRONT(Z,#(Z)-#(Y))となる。
ここにBACK(Z,#(Y))＝Yでなければならない。

**片山博文MZ** ◆T6xkBnTXz7B0 · 2016/01/22(金) 20:25:29.12

変換器Z＝APPEND(X,Y)のYに関する逆変換器は、Y＝BACK(Z,#(Z)-#(X))となる。
ここにFRONT(Z,#(X))＝Xでなければならない。

**１３２人目の素数さん** · 2016/01/22(金) 20:41:25.88

アホみたいに簡単なことをバカみたいに複雑に表現する数学的衒学
どこかで見たことあると思ったら…

多重集合と負の存在 [転載禁止](c)2ch.net
http://wc2014.2ch.net/test/read.cgi/math/1418480755/

**片山博文MZ** ◆T6xkBnTXz7B0 · 2016/01/22(金) 20:50:52.62

変換器Z＝ERASE(X,h)のXに関する逆変換器はX＝INSERT(Z,h,X[h])である。
ここに0≦h＜#(X)かつ#(X)-1＝#(Z)≧0でなければならない。

**片山博文MZ** ◆T6xkBnTXz7B0 · 2016/01/22(金) 20:57:38.71

変換器Z＝INSERT(X,h,m,Y)のXに関する逆変換器はX＝ERASE2(Z,h,m)である。
ここに0≦h≦h+m≦#(Z)＝#(X)+#(Y)でなければならない。また、SUB(Z,h,m)＝Yである。

**片山博文MZ** ◆T6xkBnTXz7B0 · 2016/01/22(金) 21:05:45.78

一般に関数f:X→Y、g:Y→Zについて、それぞれの逆関数f^{-1},g^{-1}が
存在すれば、y＝g(f(x))の逆関数はx＝f^{-1}(g^{-1}(y))である。
このことを確認したい。