• ベストアンサー

逆関数に虚数は含まれない?

関数y=x^2(x≧0)の逆関数をもとめるとき、xについて解くとx=√yですが、このときxが虚数にならないのは当たり前なのですか? 虚数が出たら逆関数と言わないのですか?逆関数が存在するようにするとxの範囲は必ず実数にしないといけないのでしょうか??すみません、よくわかりませんので良かったら教えてください。

noname#131753
noname#131753

質問者が選んだベストアンサー

  • ベストアンサー
  • uyama33
  • ベストアンサー率30% (137/450)
回答No.2

最初に、もとの関数の定義域Aと値域Bを考えます。 この集合A、Bが何かを考えます。 逆関数は、BからAに戻ることになります。 最初からA、Bが複素数なら 逆関数も複素数を考えることになります。 この場合は、 定義域Aはゼロ以上の実数。値域Bもゼロ以上の実数です。 したがって、虚数は出てきません。

その他の回答 (1)

noname#130496
noname#130496
回答No.1

y=x^2 (x≧0)とありますから、元々の関数の変数と値は非負の実数ですかね...。 逆関数では変数と値が「ひっくり返る」だけなので、変数yも値xも非負の実数だ、ということじゃないでしょうか。 「虚数が出る出ない」等は関数の定義次第かと。

関連するQ&A

  • フーリエ変換・逆変換の虚数成分って?

    フーリエ変換を用いた論文を読んでいるときに、ある3次元関数f(x,y,z)に対してフーリエ変換・逆変換を行ったとき、逆変換で求められる値は実数成分と虚数成分があり、虚数成分を無視できるという記述を見つけました。 これは対象の関数が実数成分しかもともと持ち合わせていなかったで逆変換しても虚数はゼロである、という解釈でいいのでしょうか? 正直、フーリエ変換・逆変換に関してはほとんど初心者なのですが、気になってしまっています。誰かこの疑問に答えていただけないでしょうか?

  • 逆関数について

    逆関数は関数y=f(x)が一対一対応(全単射)のときに存在する、と習いました(高3数学)。 なら、y=x^2の場合、逆関数がy=±√xと考えるのは間違いでしょうか?定義域x>=0のとき、またはx<=0と定めたときでしかy=x^2の逆関数は存在しないのですか? それと同じように、三角関数でも定義域を定めなければその逆関数は存在しないことになりますよね。しかし物理小事典では、逆関数が多価関数でもOKみたいなことを書いてありました。 必ず一対一対応にしなくてはいけないのか、疑問に思ったので、質問致します。回答お願いします。

  • 関数の逆写像

    次の関数に逆写像が存在するかどうかを、根拠とともに答えよ。 (1) f(x)=(x+2)/(x-1) (定義域はx=1を除く全実数) という問題の解き方で y=(x+2)/(x-1) のグラフを書いて、 水平な切り口が一つずつだということを証明すれば 逆写像が存在するという根拠になりますか???

  • 逆関数について教えて下さい。

    見ていただきありがとうございます。 y=arc cos1/xという逆関数のx、yの範囲なんですが |x|≧1、0≦y≦πとしたんですがあっているでしょうか。 分かる方がいましたら、教えて下さい。 よろしくお願いします。

  • 虚数、実数、ax^2+bx+c=0について

    実数とは有理数と無理数をあわせた数であるから x軸、y軸上に取るものはすべて実数で虚数ということはx、y軸上に存在しませんよね? 後、ax^2+bx+c=0(a≠0)において x=(-b±√D)/2aがD<0となるとxが虚数となるので,虚数はx軸に存在しないので、x軸との共有点がなくax^2+bx+c=0となるxはないという解釈でだいじょうぶでしょうか?

  • VBAである領域で虚数になる関数の積分

    VBAを使って、 ある領域で虚数あるいはマイナス無限大になる関数f(x)の実数領域だけで積分を行いたいのですが どうすれば良いですか? dx = R / 500 '積分領域の設定 y = 0 For i = 0 to 500 x = i * dx If f(x) > 0 Then y = y + f(x) * dx End if Next Cell(1,1) = y としても、 If f(x) > 0 Then のところで、虚数とかマイナス無限大が出てくるとエラーになって 計算が前に進みません。 If f(x) <> voidとかも試してみましたが うまくいきませんでした。 どうすれば、虚数とかマイナス無限大以外の部分を積分することが出来ますでしょうか?

  • 虚数の問題です

    「x^3 = 1 の解の虚数解のひとつをωとすると、ωは虚数だから、 (ab-a-b)ω-a-b+4=0 のとき、ab-a-b=0, -a-b+4=0 (a,b は実数)」と本に書いてあったのですが、ωって実数と虚数を両方持っていますよね。つまりω=x+yi (x,yは実数)の形だから、ωのxの部分とab-a-bがかけ合わさったら、これも実数部分になりますよね。そう考えると、この解答は間違いと思うのですが、どう考えればよいのでしょうか。よろしくお願いします。

  • 複素関数:Z^Zの実部と虚部を求めること

    X 及び Y を実数としたとき、Z=X+iY (iは虚数単位) として、 複素関数:Z^Z (注:記号 ^ は、べき乗を表す)  実数部分と虚数部分を、それぞれ X, Y の関数として求めたい。 即ち、(Z^Z)の実数部分=f(X,Y) ,、(Z^Z)の虚数部分=g(X,Y) として f(X,Y) 及び g(X,Y) を求めたいのですが、この解を教えてください。

  • 逆関数について

    題名の通りなんですが逆関数というものが教科書を読んでも理解できません。例えばy=3x-4の逆関数はこの式をx=○○の式に書き換えてから、xとy入れ替えるというのは分かります。ですが、 y=tanxの逆関数をy=g(x)とするとき、g'(1)の値を求めよ。 という問題で解答に y=tanxの逆関数y=g(x)ではx=tanyであるから... という説明があり何をやっているのかさっぱり分かりません。y=tanxをx=○○の式に変換するのは不可能ですよね?逆関数の意味を間違って捉えてるからかもしれませんが、先へ進めません。アドバイスお願いします。

  • 逆関数

    2次方程式に関してわからない点が2つあるので質問します。 eは1より大きい正の定数とする。x≧0で定義された関数 y={e^x+e^(-x)}/2・・・(1) の逆関数を求めよ。 という問題の解答で、(1)の両辺に2e^xをかけて、e^x=Xとおくと、 X^2-2yX+1=0・・・(2) になります。ただしe>1, x≧0 からX≧1 分からないことは、(2)が成り立つためには、X≧1に実数解をもつという点です。 1つは重解はなぜダメなのでしょうか?2つ目は(2)の2つの解だけ、(1)を満たしているとしたら、逆関数ではなくて、2数が求まるような気がします。 自分の考えの間違いを指摘してください。お願いします。