- ベストアンサー
アフィン空間の定義を簡潔に言うとどんな線形空間の事?
アフィン空間の定義を知りたく思っています。 ググって見るとユークリッド空間から何々を取除いたものとか線形空間の擬似空間みたいなものとかよく意味が分かりません。 線形空間の8つの条件 (i) (a+b)+c=a+(b+c) (ii) a+b=b+a (iii) ∀x∈Vに対して,x+0=xなる元0∈Vが存在する。 (iv) ∀x∈Vに対して,x+y=0となる元y∈Vが存在する。 (v) c(a+b)=ca+cb (c∈F) (vi) (c+d)a=ca+da (c,d∈F) (vii) (cd)a=c(da) (viii) 1a=a に何の条件を付け加えればアフィン空間になるのでしょうか? ある本には線形部分空間を定ベクトルでずらしたものとか書いて有りました。 そうしますとW⊂VをVの部分空間とすると {w+a∈V;w∈W,a∈V(aは定ベクトル)} が(aに関しての)アフィン空間になるのでしょうか?
- Fumie_0515
- お礼率71% (41/57)
- 数学・算数
- 回答数3
- ありがとう数8
- みんなの回答 （3）
- 専門家の回答
質問者が選んだベストアンサー
Wikipediaにしっかり定義があるんだけども それを見たんだろうか・・・ ＞アフィン空間の定義を簡潔に言うとどんな線形空間の事? そもそも アフィン空間は線形空間ではないわけです． あなたが例にあげてる空間はアフィン空間だけども 線形空間ではないでしょう？ 一般的には 集合Aがベクトル空間Vを伴うアフィン空間である というような言い方をしますが たいていの場合はVが自明だったりするので省略しますね． 集合Aがベクトル空間Vを伴うアフィン空間である というのは，Wikipediaのをちょっと表記を変えて 一般的には （1）Aの任意の元P，Qに対して，Vの元V(P,Q)が一意に定まる （2）Aの任意の元P及びVの任意の元vに対して Aの元Qで，V(P,Q)=vを満たすものが一意に定まる．このQをf(P,v)と表す（V(P,f(P,v))=v，ｆ(P,V(P,Q))=Q）． （3）Aの任意の元P，Vの任意の元v,wに関して f(P,v+w)=f(f(P,v),w)が成立する ということをいいます． 実際には，Vだけではなく，適当な写像V：AxA->V，f:AxV->Aも必要で，なおかついろいろ条件がついてるわけです． Vが「二点間の変位」で，fが「ベクトルによる平行移動」だとみなせば 「線形空間をずらしたもの」とか「原点のないベクトル空間」とか「ベクトルが推移的に作用する空間」とかいうような言及の意味がわかります． ＃「作用」については適当な書籍をあたってください． 参考：岩波基礎数学「アフィン空間・射影空間」
その他の回答 (2)
- ojisan7
- ベストアンサー率47% (489/1029)
いろいろ書くと混乱するかもしれませんが、一言述べさせてください。 アフィン空間は線形空間でないことはNo1～No2さんが丁寧に説明されています。アフィン空間にはさまざなな定義がありますが、どの定義を採用しても互いに同値です。私にとっては、以下に述べる、線形空間のアフィン変換を使った定義が理解しやすいですね。 線形空間のアフィン変換で変換される空間をアフィン同値といいますが、このアフィン同値な空間を同一視したときの空間をアフィン空間といいます。 たとえば、線形空間Wがあったとき、任意のアフィン変換Tについて、V=T(W)となるとき、WとVを同じ空間だと見なすわけです。ただし、アフィン変換で変換された空間Vは一般的には線形空間になりません。
お礼
貴重なご意見まことに大変ありがとうございます。 アフィンについて深く考察してみたいと思います。
- arrysthmia
- ベストアンサー率38% (442/1154)
＞ W⊂VをVの部分空間とすると ＞ {w+a∈V;w∈W,a∈V(aは定ベクトル)} ＞ が(aに関しての)アフィン空間になるのでしょうか? そうです。W が V の部分線形空間で、a∈V であれば、 { w+a | w∈W } は、W を台とするアフィン空間になります。 尤も、アフィン空間を定義するときに V を明示することは 少ないと思いますが。 ＞ 何の条件を付け加えればアフィン空間になるのでしょうか? 線形空間に公理を追加しても、一般に、アフィン空間にはなりません。 { w+a | w∈W } が線形空間になるのは、a∈W であって それ自体が W と一致する場合だけです。それ以外の場合、 アフィン空間は、線形空間ではありません。 (i)～(viii) の条件以前に、 { w+a | w∈W } では、V の加法も、スカラー倍も閉じていません。 (演算の結果が { w+a | w∈W } の元にならない。)
お礼
大変ありがとうございます。 http://ja.wikipedia.org/wiki/%E3%82%A2%E3%83%95%E3%82%A3%E3%83%B3%E7%A9%BA%E9%96%93 では 線形空間Vとは無関係の集合Aが台集合と呼ばれているようです。 "W が V の部分線形空間で、a∈V であれば、 { w+a | w∈W } は、W を台とするアフィン空間" では部分空間Wが台集合になるのですね。 WがAに相当するのでしょうか? う─ん,こんがらがってきました。
関連するQ&A
- 線形変換の定義
線形変換の定義 前回の質問で線形変換とアフィン変換について質問させて頂きました。 前回の質問内容：http://okwave.jp/qa/q5973471.html 線形変換とアフィン変換については理解する事が出来ました。 ご回答下さった方本当にありがとうございます。 線形変換の定義を幾つか示して頂いたのですが、 線型変換の定義： [1] 体 K 上のベクトル空間 V 上の変換 f で、 x,y∈V, a,b∈K, について常に f(ax+by) = a f(x) + b f(y) が成り立つもの。 線型変換の定義： [1’] [1']?体 K 上のベクトル空間 V 上の変換 f で、?x,y∈V, a∈K について常に?f(x+y) = f(x) + f(y),? f(ax) = a f(x) が成り立つもの。 線形変換の定義：[1''] ?体 K 上のベクトル空間 V 上の変換 f で、?x,y∈V, a,b∈K について a+b=1 のとき?f(ax + by) = a f(x) + b f(y),? f(ax) = a f(x) が成り立つもの。 定義[1] ⇔ [1'] ⇔ [1''] が同値であることはどのように示せば良いのでしょうか？ また、定義[1'']におけるa+b=1とは具体的に何を示しているのでしょうか？ ご回答よろしくお願い致します。
- ベストアンサー
- 数学・算数
- 形変換 アフィン変換
形変換 アフィン変換 前回同様の内容で質問させて頂きました。 不明な点がいくつかありますので改めて質問させて頂きます。 前回の質問内容：http://okwave.jp/qa/q5957715.html アフィン変換 ⊃ 線型変換 であるとご回答頂いたのですが、これはアフィン変換は 線形変換を含むという認識で良いでしょうか？ 線形変換はアフィン変換の部分集合だと理解したのですが間違いでしょうか？ また、線形変換及びアフィン変換の定義に関して ・線型変換の定義： [1] 体 K 上のベクトル空間 V 上の変換 f で、 x,y∈V, a,b∈K, について常に f(ax+by) = a f(x) + b f(y) が成り立つもの。 ・アフィン変換の定義： [2] 体 K 上のベクトル空間 V 上の変換 f で、 x,y∈V, a,b∈K, について a+b = 1 のときは f(ax + by) = a f(x) + b f(y) が成り立つもの。 とご教示頂きました。 定義[1]，[2]について考えると、 [1]が成り立てば、[2]は成り立つと思います。 [1]はa+b=1によらず、f(ax+by)＝af(x)+bf(y)が成り立ちますから。 翻って、[1]ならば[2]が成り立つと言うことは線形変換がアフィン変換を含むと 言う事になりませんか？この点で混乱しています・・・ ご回答よろしくお願い致します。
- ベストアンサー
- 数学・算数
- 線形変換の定義について
線形変換の定義について 線形変換の定義 [1] 体 K 上のベクトル空間 V 上の変換 f で、 x,y∈V, a,b∈K, について常に f(ax+by) = a f(x) + b f(y) が成り立つもの。 [2] 体 K 上のベクトル空間 V 上の変換 f で、 x,y∈V, a∈K について常に f(x+y) = f(x) + f(y), f(ax) = a f(x) が成り立つもの。 [3] 体 K 上のベクトル空間 V 上の変換 f で、 x,y∈V, a,b∈K について a+b=1 のとき f(ax + by) = a f(x) + b f(y), f(ax) = a f(x) が成り立つもの。 がすべて同値であることを示したいのですが、どのようにすればよいでしょうか？
- ベストアンサー
- 数学・算数
- ベクトル空間 アフィン空間
ベクトル空間とアフィン空間について ベクトル空間は自然にアフィン空間であるという点なのですが、 ベクトル空間の対象は線形（原点を通る）だと思います。一次関数は線形ではありませんよね。 ここで、ベクトル空間の対象外である一次関数はアフィン空間の対象であるのになぜベクトル空間は自然にアフィン空間なのでしょうか？ アフィン空間はベクトル空間を一般化という事は、アフィン空間はベクトル空間の上位集合?という感じでしょうか・・・ 今まで、いろいろ質問させていただき、回答をノートに纏めていたのですが、この点がどうも引っかかってしまって・・・ Wikipediaによると、 「一つのベクトル空間の張り合わせによってできる幾何学的な対象の一つにアフィン空間がある。」 とあるのですが・・・
- 締切済み
- 数学・算数
- 線形写像と線形変換
線形写像と線形変換 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自身への線形写像」のイメージがあまりつきません・・・ 次元が同じ場合であれば線形変換？と思ったのですが間違いでしょうか？ よろしくお願い致します。
- ベストアンサー
- 数学・算数
- アフィン空間 集合 一次結合
アフィン空間について調べている際に、線形空間は、任意の一次結合について閉じていなければならないが、 アフィン空間は、係数の和が1である場合にだけ閉じていれば良い。 つまり線形空間1はアフィン空間である。 という説明がありました。 一次結合について閉じていなければならないというのは、 （Vを実数上の線形空間とし、Rを実数事全体とすると） Vのｒ個のベクトルA1，・・・Arの線形結合は K1A1+・・・KrAr （K1，・・・Kr∈R） Rは実数全体なので、閉じているということは理解できます。 係数の和が1ということは、K1+・・・Kr=1ということですよね。 なぜ、係数の和が1の線形空間はアフィン空間となるのでしょうか？ ちなみに、アフィン空間はユークリッド空間から長さや角度などと言った計量の概念を取り除いた空間であると認識しています。
- 締切済み
- 数学・算数
- Affine subset (アフィン部分集合)
線型代数を一通り学んだ者です。 なかなか問題の誘導に乗れませんので、分かる方教えて下さい。 ●定義 任意の x,y∈M について、λx＋(1-λ)y∈M ならば M はアフィン部分集合。 部分集合 B：＝｛x_1, x_2, ... , x_n｝⊆M について、すべての m∈M がアフィン結合 x＝λ_1x_1 + λ_2x_2 + … +λ_nx_n (ただしλ_1+λ_2+ … +λ_n = 1) で一意に表せるとき、Bはアフィン基底である。 ●問題 Mを実ベクトル空間Vのアフィン部分集合だとする。M⊆V。 (1) 集合 M＋a (全てのa∈V) が affine であることを示せ。 (2) 零ベクトル 0∈M だとすると、Mは部分空間であることを示せ。 (3) M=U+a となるような a∈V と 部分空間Uがあることを示せ。 (4) UはMによって一意的に定まることをしめせ。また、aはMによって定まるか？ (5) dimM=k (有限) だとする。Mが少なくとも一つ k+1 の元からなるアフィン基底を持つことを示せ。また、Mのすべてのアフィン基底がちょうど k+1 の元から成ることを示せ。 (6) M=｛x＝（x,y,z,w)∈R^4 : x-2y+z=3, x+5z-2w=1｝だとする。Mのアフィン基底ひとつを求めよ。 部分的には分かるのですが、なかなか全体の話がみえません。 詳しく答えて下さると、有り難いです。よろしくお願いします。
- ベストアンサー
- 数学・算数
- 線形代数の部分空間Wの生成元の定義について
部分空間W の生成元の定義に補足で ※a1，・・・，akは、線形独立やWの基底である必要はない とあります。 しかし、このあとの例題で、 R^2の線形空間において、W={x=［x1 x2］|2x1-x2=0｝(注意:xは列ベクトルです)がR^2の部分空間であることを示し、Wの基底を求めよ。という問題で、結果x=[x1 x2]=[x1 2x1]=x1[1 2](注意:xは列ベクトルです)とのりa1=[1 2](列ベクトル)とおくと、a1 はこれのみで、線形独立であり、かつWの任意の元xはx=ca1と、a1の線形結合で表される。よって{a1｝はWの基底である。このとき、Wはa1で生成される空間とよんでもいい。とります。でもこれは※と矛盾しています。どなたか詳しい解説を頂けないでしょうか？
- ベストアンサー
- 数学・算数
- 線形変換の定義 証明
線形変換の定義 証明 以前ご回答頂き理解したつもりだったのですが・・・ 実際に自分で証明を試みましたが出来ませんでした。 理解出来ていなかったので再々度質問させて頂きます。 重複質問で申し訳ないですm(_ _)m 線形変換の定義 [1] 体 K 上のベクトル空間 V 上の変換 f で、 x,y∈V, a,b∈K, について常に f(ax+by) = a f(x) + b f(y) が成り立つもの。 [2] 体 K 上のベクトル空間 V 上の変換 f で、 x,y∈V, a∈K について常に f(x+y) = f(x) + f(y), f(ax) = a f(x) が成り立つもの。 [3] 体 K 上のベクトル空間 V 上の変換 f で、 x,y∈V, a,b∈K について a+b=1 のとき f(ax + by) = a f(x) + b f(y), f(ax) = a f(x) が成り立つもの。 *****以下質問内容***** [1]と[3]が同値であることの証明は理解できたのですが、 [1]と[2]が同値であることを証明できません。 [1]と[2]が同値であることの証明 [1]の定義に従い、[2]を示す。 ・x,y∈V,a,b∈Kにおいてa=b=1∈Kとおくと x,y∈V,1∈K→f(ax+by)＝f(1*x+1*y)=1*f(x)+1*f(y)=f(x)+f(y)=f(x+y) ・x,y∈V,a,b∈Kにおいてy=0∈V,b=0∈Kとおくと x,0∈V,a,0∈K→f(ax+by)=f(ax+0*0)=f(ax)+0*f(0)=f(ax)=af(x) [2]の定義に従い、[1]を示す。 ・x,y∈V,a∈Kにおいて f(x+y)がf(ax+by)=af(x)+bf(y)となる事が示せません・・・ そもそも、a∈Kでbはどこからでてくるのでしょうか？ [1]→[2],[2]→[1]であるなら、[1]と[2]は同値であると示せると 思うのですが、[2]→[1]はどのようにすれば示せるのでしょうか？ お手数ですが、ご回答よろしくお願い致します。
- ベストアンサー
- 数学・算数
お礼
貴重なご意見まことに大変ありがとうございます。 定義が明確になりました。 アフィンについて深く考察してみたいと思います。