>>849
> 0^y=0 (y>0) や 0^0=1 と約束しておくことは便利だと思うよ。0^i=1 はあやしいけど。
同意する。だから、疑ってるのは Re(y) とすることだ。
0^i=1 があやしいなら、当然 0^(1+i)=0^1*0^i=0 もあやしい。
0^(1+i) = exp((Log(0)+2nπi)(1+i)) = 0
とするためには、Log(0)-2nπ が -∞ と考えなければならないが、これもあやしい。
ただ、C×C をすべて定義しようとすると、こうなるのは分かるよ。
あとは、どこまで定義するかの判断になるが、何が正解かというのは無いのかもしれないね。

> lim[x→0,y→0]x^(y+i)は任意の値に収束させることが出来そうだけど、
　log(x) = a+bi
　y = c+di
と置くと
　x→0 で a→-∞, b→?
　y→0 で c→0, d→0
で
　(a+bi)(c+di+i)=(ac-bd-b)+(ad+bc+a)i
となるが、実部はともかく、虚部が収束する気がしない。