07/10/18 21:24:04
>>599
カッコをつけると、
m(2) (m(3) m(2)) m(2) f (2) = [ m(2) { (m(3) m(2)) (m(2) f) } ] (2) ....☆
>>396 の定義の (m(2)f_1)f_0=(f_1^f_0)(f_0) に対し、
f_1 = (m(3) m(2)) (m(2) f), f_0 = 2 を代入すると、
[ m(2) { (m(3) m(2)) (m(2) f) } ] (2)
= { (m(3) m(2)) (m(2) f) }^2 (2)
先に(m(2) f) の部分を f^2 と展開はできない。
理由は、関数 (m(2) f) の引数が 2 以外でも使われるから。
より簡単な例で、
(m(2) f)^2 (2) を考える。
これの意味は、
(m(2) f) { (m(2) f) (2) }
である。
ここで、右側の (m(2) f) の引数は 2 であるので (m(2) f) = f^2 と置き換えることが出来るが、
左側の (m(2) f) の引数は 2 ではなく { (m(2) f) (2) } であるので、
(m(2) f) = f^{ (m(2) f) (2) } と置き換えなくてはならない。