>>62
それなら(-x);R^1, (sqrt[-x])^2 => -xとなるときは
sqrt1: Re^1 -> Im^1 -> Re^1
ということは自明なんですか？
また
sqrt2: Re^1 -> Im^1
sqrt3: Im^1 -> Re^1
で sqrt1:= sqrt3 * sqrt2とsqrt1を定義可能のとき、
re->im, im->reはどのような写像の定義（公理）を持ち、re,imの集合を満たす必要・十分条件を教えてください。

あなたのsqrtは関数なんですよね。