そういう変換があります 10
≧ 0 を開集合 ⊂ ℝ 上の非負解析関数とし、 = 0
を満たす ∈ が存在するとする。このとき、ある 次元多
様体 ℳ と ℳ 上の局所座標が取りうる値の集合 からの解
析写像 : → が存在して、ℳ の局所座標ごとに、
=
1
21
2
22 ⋯
2
′() =
1
ℎ1
2
ℎ2 ⋯
ℎ
が成立するようにできる。ここで ′() は = () のヤコ
ビアンであり、 > 0 は 0 にならない解析関数であり、
= 1
, 2
, ⋯ ,
, ℎ = (ℎ1
, ℎ2
, ⋯ , ℎ
)
は非負の正数の集合である。但し 1
, 2
, ⋯ ,
のうち少なく
ともどれか一つは 0 ではない。
定理6(特異点解消定理のベイズ一般理論向け版)