• ベストアンサー

線形代数の写像の問題

RからRへの写像fが RからRへのすべての全反射gに対して fg = gfならfは恒等写像になることを示す (すなわちすべての要素xに対してf(x)=x) には、どうすればいいのでしょうか??まったく歯がたちません。

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

  • ベストアンサー
  • adinat
  • ベストアンサー率64% (269/414)
回答No.1

こういう問いは必要条件から攻めるのが定跡です。まったく歯が立たないのなら、せめて適当に思いついた全単射gに対して条件が成り立つためには何が必要なのか考えてみてください。そうすると手がかりがつかめるというものです。 この場合、aを0以外の定数として、g(x)=x+aなる全単射を考えましょう。fg=gfは実は{f(x+a)-f(x)}/a=1を意味します。簡単な式変形です。これは要するにfは微分可能であって、f'(x)=1を意味します。結局f(x)=x+cという形をしていることが分かりますね。 まだ求める答えに一致していませんから、さらに別の全単射を考えます。g(x)=2xとでもしましょう。そうすれば(fg)(x)=2x+cだし、(gf)(x)=g(x+c)=2x+2cとなりますね。一致するためにはc=0でないとダメですよね。

globe009
質問者

お礼

大学に入って、数学が難しくなったなーと戸惑っていました。ありがとうございます。

その他の回答 (1)

noname#101087
noname#101087
回答No.2

頭の運動としては面白そうですが、題意が読めないもので反問させてください。 fが恒等写像なら fg = gf は自明ですから「fは恒等写像になることを示」せというのは、「恒等写像しかない ことを示せ」ということでしょう。 見出しにこだわって「線形」写像の話だとすると、「恒等写像しかない」とはいえません。 また、写像f にも双射(bijection)であるという限定をつけないと駄目のようです。 乱取り(brain storming)の問題として取り組むほど脳力はないので、まずはお伺いだけで失礼。

globe009
質問者

補足

この問題は、大学一年の「ベクトルと行列」という教科書の行列式の中の「写像と群」の問題です。自分は高校まで数学に自信があったのですが、最近大学の数学に戸惑っているので、質問しました。 おそらく、178tallさんがおっしゃるような >>見出しにこだわって「線形」写像の話だとすると、「恒等写像しかない」とはいえません。 また、写像f にも双射(bijection)であるという限定をつけないと駄目のようです。 ことは、考えなくてよいと思います。そこまで考えると、僕はパンクします笑。

関連するQ&A

  • 線形写像と線形変換

    線形写像と線形変換 V , W をK上のベクトル空間とする。このときベクトル空間Vからベクトル空間Wへの写像fが、 Vの任意の要素x,yに対してf(x+y)=f(x)+f(y),f(kx)=kf(x)を満たすとき、fをVからWへの線形写像と言う。 これが線形写像の定義です。 別の記載では、R^n,R^mをk上のベクトル空間とする。このときベクトル空間R^n からベクトル空間R^m への写像f がR^nの任意の要素x,yに対して f(x+y)=f(x)+f(y),f(kx)=kf(x)を満たすとき、fを R^n からR^m への線形写像という。 ここで、テキストにはfがVからV自身への線形写像である時fを線形変換と呼ぶと記載されているのですが、 「VからV自身への線形写像」のイメージがあまりつきません・・・ 次元が同じ場合であれば線形変換?と思ったのですが間違いでしょうか? よろしくお願い致します。

  • 線形代数学 線形写像

    V={f(x)=a+bx+cx^2 l a,b,c∈R} Tは線形写像でxの0からxの積分です。 問題 kerTを求めよ。 ∫は0からxの積分です。 kerT={f(x)∈R2[[x]] l∫f(x)dx=0} ∫(a+b+cx^2)dx=0 ax+1/2bx^2+1/3cx^3=0 これを満たすa,b,cは恒等式より a=b=c=0     (a,b,c∈R) ここまでやりました。 しかし、これをf(x)に代入すると kerT={f(x)=0} になります。 でも、このf(x)を積分すると定数になるので ∫f(x)dx=0 になりません・・・ どこで間違えたんでしょうか?

  • 線形写像の問題です。

    三次元ベクトルa∈R^3を固定する。 このとき、f:R^3→R^3をf(x)=(a,x)aと定めると、fは線形写像であることを示せ。 どなたか分かる方がいらっしゃったら教えて頂けないでしょうか? よろしくお願いします。

  • 線形写像

    R[x]3→R[x]3 への写像Tが T(f)=xf'(x)+f(1)x で定義されているときにTが線形写像であるかどうか調べる。 という問題なんですけど、教科書にやり方がのってないので、まるっきしわかりません。 分かる方いらっしゃいましたらお願いします。

  • 線形写像の証明問題です。

    線形写像の証明問題です。 f: X → V が線形写像のとき、g: V → X が存在することを示せ。 また、f: Im(g) → Im(f) が同型写像であることを示せ。

  • 線形写像

    aをある平面ベクトルとし、任意の平面ベクトルxに対してaとxの内積(a,x)を与える写像をfとする。このときfはR^2からRへの線形写像であることをしめしたいのですがどう証明したらいいのかわからないです。

  • 線形代数の問題がわかりません。

    2次正方行列全体の集合Mat(2,2;R)をベクトル空間とし、写像f:Mat(2,2;R)→Mat(2,2;R)をf(X)=tXX (tは転置)で定めると、fは一次写像となるかどうかを調べてください。 どなたかお助けいただければ大変うれしいです。

  • 線形写像について

    教科書や参考文献を見ても、線形写像のことがわかりやすく書かれてありません。しかし、問題としては、かなりのウェイトで出てくるのです。そこでですが、f:R^3→R^4,f([x,y,z,w])=[x-y+z+w,x+2z-w,x+y+3z-3w]の線形写像の像と核の基底と次元の求め方を教えてください。

  • 線形代数の問題です

    4次正方行列A= 3 -2 -2 2 3 -2 -3 3 5 -5 -4 5 5 -5 -4 5 ただし、Iは4次単位行列。 (1)行列I-Aの階数Rank(I-A)を求めよ。 (2)I-Aの定める線形写像を f:R4→R4とする、f(x)=(I-A)x (x∈R4) このとき、fの核Kerfの次元dim(Kerf)を求めよ。 (3)Aの固有値をすべて求めよ。 (4)Aの各固有値に対する固有空間の次元を求めよ。

  • 線形代数の問題です!

    以下の問題、わかる方解答お願いします。 1.Q上の線形空間Q(√3)の基底として、1、√3を取る。ωを1の原始3乗根のうち虚部が正であるもの ω=(-1+√-3)/2 とするとき、ω倍する写像の、この基底に関する行列表示を求めよ。 2.R^2上の直線l:y=√3xに関する折り返しが与える線形写像をfとする。 (1)R^2の標準基底に関するfの行列表示を求めよ。 (2)R^2の基底    x=(√3 -1)、 y=(1 √3)   に関するfの行列表示を求めよ。 よろしくお願いします。