おっちゃんです。
昨日は間違いに気付かなかった。>>133について訂正:
対数関数 a=log_x|y| y∈R\{0} の逆関数は二価の多価関数になって、a=±y^x になる。
→ 対数関数 a=log_x|y| y∈R\{0} の逆関数は存在しない。