逆変換が存在する場合•しない場合
前に質問したのですが良く分からないないので、再び質問します。
逆変換が存在する場合の変換における図形の求め方は、まず変換w=f(z)の逆関数z=f^(-1)(w)を求める。そして、zを消去しwの方程式をつくる。
例
• y=x^2をx軸方向に3, y軸方向に4だけ平行移動せよ。
解法 これは、点(x,y)と点(X,Y)の変換と考えると、X=x+3, Y=y+4と表される。逆変換はx=X-3, y=Y-4 となる。
•y=x^2を原点を中心に(-π/2)だけ回転して得られる曲線の方程式を求めよ
解法 逆変換は(π/2)回転であるから、f^(-1):w=X+Yi →z=x+yi とすると、z=w*(cosπ/2+isinπ/2)と表すことができ、 x+yi=i(X+Yi)=-Y+Xi 実部と虚部を比べるとx=-Y, y=Xとなり、これが逆変換である。
---------------------------------
逆変換が存在しない場合
この場合曲線Aをパラメーター表示し、変換によってAの像のパラメーター表示を作る。そして、パラメーターを消去し、Aの像を求める。
例
• 放物線y=x^2-2x+4上の点をQとし、定点を(4,0)とする。線分AQの中点Pの軌跡を求めよ。
解法 X=(x+4)/2, Y=y/2で定義される変換となる。
y=x^2-2x+4をパラメーター表示すると、x=t, y=t^2-2t+4となり、これをX=(x+4)/2, Y=y/2で移すとX=(t+4)/2, Y=(t^2-2t+4)/2,パラメーターを消去し、 Y=2X^2-10X+14
• 2点A(4,4), B(4, -4)と楕円(x^2/9)+(y^2/4)=1上の点Pを頂点とする三角形ABPの重心Gの軌跡を求めよ。
解法 X=(x+4+4)/3, Y=(y+4-4)/3で定義される変換となる。
(x^2/9)+(y^2/4)=1をパラメーター表示すると、x=3cosθ, y=2sinθとなる。X=(x+8)/3, Y=y/3 で移すと、X=(3cosθ+8)/3, Y=2sinθ/3, パラメーターを消去し、{X-(8/3)}^2+(9/4)Y^2=1 となる。
-------------------------------
質問ですが、『逆変換が存在する時•しない時』というのが具体的にどんな時なのか分かりません。上にいくつか例をあげましたが、前回質問した時にその一つ、y=x^2を原点を中心に(-π/2)回転して得られる曲線の方程式を求める問題について、これは『原点を中心に(-π/2)回転させる変換の逆変換だから逆変換は存在する。』という意見をいただきました。
では、y=x^2という逆変換は存在しないということなのでしょうか?
w=z^2という逆変換は存在しないが、『w=z^2を原点を中心にπ/3回転させた時に得られる方程式を求めよ。』という時は逆変換が存在するのか、このあたりが理解できません。
それから、上の逆変換が存在しない2例ではなぜ逆変換が存在しないのでしょうか?
お礼
参考URLを、ありがとうございました。 ι(n) = n α(n) = n + 1 β_i(n) = i if n = 0, and n － 1 otherwise. すべての β_i を元にもつモノイドばかり考えていました。 有限個の β_i を取って、それら β_i たちと α が生成するモノイドを考えればよかったのですね。