16/09/01 22:08:49.25 rrvGRLoE.net
訂正：
× d(s)＝ min g(s).
○ d(s)＝ min h(s).
写像 d の性質：
d(s) の well-defined な定義により、d(s)∈N かつ d(s)∈h(s) である。
h(s)の定義から、
∀n≧d(s) [ s_n＝f(g(s))_n ]
が成り立つ。よって、この d(s) は決定番号の意味をきちんと持っており、
しかも d(s) は有限値である。(終わり)
16/09/01 22:08:49.25 rrvGRLoE.net
訂正：
× d(s)＝ min g(s).
○ d(s)＝ min h(s).
写像 d の性質：
d(s) の well-defined な定義により、d(s)∈N かつ d(s)∈h(s) である。
h(s)の定義から、
∀n≧d(s) [ s_n＝f(g(s))_n ]
が成り立つ。よって、この d(s) は決定番号の意味をきちんと持っており、
しかも d(s) は有限値である。(終わり)