
V,Wをベクトル空間、f:V→Wを線形写像とする、以下の問に答えよ。
【1】Imf={f(x)|x∈V}はWの部分空間であることを示せ。
【2】x(1),・・・,x(k)∈Vとする。このとき、
f(x(1)),・・・,f(x(k))が線形独立⇒x(1),・・・,x(k)が線形独立。
を示せ。
という問題で、【1】はできたのですが、【2】で以下のように回答したら、間違っていました、どうしてか分かりません。
f(x(1))*c(1)+・・・+f(x(k))*c(k)=0とすると、
c(1)=・・・=c(k)=0である。
fは線形写像なので、
f(x(1))*c(1)+・・・+f(x(k))*c(k)=f(x(1)*c(1)+・・・+x(k)*c(k))が成り立つ。
よって、
f(x(1)*c(1)+・・・+x(k)*c(k))=f(0)と書けるので、
(※)
x(1)*c(1)+・・・+x(k)*c(k)=0
c(1)=・・・=c(k)=0なので
x(1),・・・,x(k)は線形独立となる。(証明終)
(※)のところに「単射とは限らない」と書かれてしまいました。
どういう意味なのか理解できません。
単射の意味自体は分かっています。
お願いします。
No.3ベストアンサー
- 回答日時:
(※)のところに「単射とは限らない」と指摘されたとのことですが、
ただ、fが単射でないのに
f(a)=f(b)⇒a=b(単射の定義)
を(※)の式変形で使ってしまっているからではないでしょうか?
上記の証明ですが、fが単射か、全単射(同型写像)の時にのみ
成り立つ証明で、しかも示すものと逆の
「x(1),・・・,x(k)が線形独立⇒f(x(1)),・・・,f(x(k))が線形独立」
の証明とごっちゃになってて、証明の流れも不自然にみえます。
最初に「c(1)=・・・=c(k)=0」と書いてしまっているのがまずいです。
これを最初に書くとしたら、新たに別の文字を設定して、Σx(k)*d(k)
=0で、d(1)=・・・=d(k)=0を示さなければダメじゃないでしょうか?
「c(1)=・・・=c(k)=0」を最初に仮定してるのに、x(1),・・・,x(k)
の係数として使ったら、その時点で、x(1)*c(1)+・・・+x(k)*c(k)=0
も明らかですし、x(1),・・・,x(k)の線形独立も明らかとなってしまいます。
結局、
x(1)*c(1)+・・・+x(k)*c(k)=0で、c(1)=・・・=c(k)=0
を示せばいいんだから、
(証明)
x(1)*c(1)+・・・+x(k)*c(k)=0があるとすると、
f(x(1)*c(1)+・・・+x(k)*c(k))=f(0)=0(∵x(1)*c(1)+・・・+x(k)*c(k)=0を代入。f(0)=0は線形写像より、明らか)
fは線形写像なので、左辺を変形して、
f(x(1)*c(1)+・・・+x(k)*c(k))=f(x(1))*c(1)+・・・+f(x(k))*c(k)が成り立つ。
よって、
f(x(1))*c(1)+・・・+f(x(k))*c(k)=0
したがって、仮定より、
f(x(1)),・・・,f(x(k))が線形独立より、c(1)=・・・=c(k)=0
以上より
x(1)*c(1)+・・・+x(k)*c(k)=0で
c(1)=・・・=c(k)=0なので
x(1),・・・,x(k)は線形独立となる。(証明終)
これでどうでしょうか?
なるほど、c(1)・・・c(k)をx(1)・・・x(k)とf(x(1))・・・f(x(k))の両方に用いるのはおかしいですね。
気づきませんでした。
分かりやすい回答ありがとうございました。
No.2
- 回答日時:
>x(1),・・・,x(k)∈Vとする。
このとき、>f(x(1)),・・・,f(x(k))が線形独立⇒x(1),・・・,x(k)が線形独立。を示せ。
>f(x(1))*c(1)+・・・+f(x(k))*c(k)=0とすると、
>c(1)=・・・=c(k)=0である。
間違った道じゃないのですが、飛ばしすぎです。
c(1)=・・・=c(k)=0 に限られるから、x(i) (i=1~k) は Ker(f) に属さない。
V から Ker(f) の零元以外を除いた Vc を作ると、f を Uc に制限した関数 fc は Vc から W への単射。
// これで、(※)「単射とは限らない」と文句を言われなくなる。 //
あとは、一次縦続な x(1),・・・,x(k)∈V を想定すると、f(x(1)),・・・,f(x(k)) が線形独立じゃなくなり、
題意に反する。
・・・と間を埋めておけば、良さそうです。
No.1
- 回答日時:
>f(x(1))*c(1)+・・・+f(x(k))*c(k)=0とすると、
出だしから間違っている。
>f(x(1)*c(1)+・・・+x(k)*c(k))=f(0)と書けるので、
>x(1)*c(1)+・・・+x(k)*c(k)=0
これはつまり f(x) = f(y) から x = y を導いているということじゃろ?
もっと自分が何を前提として議論を進めているのかを注意深く検証する必要があります。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 線形写像の全射性 双対空間 1 2022/12/11 18:22
- 数学 3次元実ベクトル空間において, 平面 P:x-y+z+1=0 と直線 L:2(x-1)=-y=-z 3 2022/10/29 14:39
- 数学 問題がよく分からないのであっているか見て欲しいです 次の各写像のうち単射であるもの,全射であるもの, 5 2022/07/01 09:37
- 数学 数Bベクトル 平行四辺形ABCDにおいて、辺ABを3:2に内分する点をE、対角線BDを2:5に内分す 3 2022/06/19 12:11
- 数学 対称変換 2 2022/12/11 16:14
- 数学 線型独立か線型従属か 3 2022/05/04 16:43
- 数学 線形代数学の問題です! Vは 4 次元ベクトル空間とし線形変換 f ∶ V→ V のある基底 v1, 1 2022/06/12 09:25
- 数学 写真の問題についてですが、赤線部のところを見ると、「f'(x)=1/xは…」と書かれているのですが、 5 2023/02/08 15:49
- 数学 写真の問題についてですが、赤線部のところを見ると、「f'(x)=1/xは…」と書かれているのですが、 3 2023/02/08 15:48
- 数学 a1,a2, a3をベクトル空間Vのベクトルとする。a1+a2,a2+a3,a3+a1が一次独立のと 2 2022/10/02 15:55
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
LaTeX 写像式を描きたい
-
基本的な事ですが…(単射、全射...
-
射と写像の違い
-
写像であって関数でない例
-
同型であることの示し方を教え...
-
おすすめの幾何学の独習本
-
線形・非線形って何ですか?
-
積分は写像の一種と呼んでもいい?
-
写像の記号の、右下の小文字の...
-
「しゃぞーってなんスカ」って...
-
線形写像
-
円→楕円への写像
-
環上の加群
-
行列の階数
-
複素数の集合D={z: |z|≦2、π/6...
-
k代数、環準同型 画像の例3に関...
-
連続写像の単調増加についての...
-
かなり困っています。できれば...
-
写像の証明問題を教科書の定理...
-
集合A={1,2,3,4},B={5,6,7} (1)...
おすすめ情報