07/10/16 21:45:51
>>532
ふぃっしゅ数バージョン５の定義から単純に導いただけで、
新たな定義を加えてはいません。
だから「たろう関数」ではなく「ふぃっしゅ関数バージョン５」です。
m2 ===> +1 （f ≒ F[a] の時、 m2 f ≒ F[a+1] という意味）
m2 m2 ===> +2 （f ≒ F[a] の時、 m2 f ≒ F[a+2] という意味）
m2^a ===> +a ....☆1
ここまでは理解していただいたようなのでこの先。
m3 の定義より、
m3 m2 f (n) = m2^n f (n) で、 ........ただし、f∈M_1, n∈M_0
これと☆1より、f ≒ F[a] の時、m3 m2 f (n) = m2^n f(n) ≒ F[a+n](n) となる。
F の定義より、F[a+n](n) = F[a+ω](n) であるので、
m3 m2 ===> +ω ...☆2
またm3の定義より、
m3 m3 m2 f (n) = (m3 m2)^n f(n) で、 ........ただし、f∈M_1, n∈M_0
これと☆2より、f ≒ F[a] の時、m3 m3 m2 f (n) = (m3 m2)^n f (n) ≒ F[a+ω･n](n) となる。
F の定義より、F[a+ω･n](n) = F[a+ω^2](n) であるので、
m3 m3 m2 ===> +ω^2