
アフィン空間の定義を知りたく思っています。
ググって見るとユークリッド空間から何々を取除いたものとか線形空間の擬似空間みたいなものとかよく意味が分かりません。
線形空間の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に関しての)アフィン空間になるのでしょうか?
No.1ベストアンサー
- 回答日時:
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,f(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が「ベクトルによる平行移動」だとみなせば
「線形空間をずらしたもの」とか「原点のないベクトル空間」とか「ベクトルが推移的に作用する空間」とかいうような言及の意味がわかります.
#「作用」については適当な書籍をあたってください.
参考:岩波基礎数学「アフィン空間・射影空間」
No.3
- 回答日時:
いろいろ書くと混乱するかもしれませんが、一言述べさせてください。
アフィン空間は線形空間でないことはNo1~No2さんが丁寧に説明されています。アフィン空間にはさまざなな定義がありますが、どの定義を採用しても互いに同値です。私にとっては、以下に述べる、線形空間のアフィン変換を使った定義が理解しやすいですね。
線形空間のアフィン変換で変換される空間をアフィン同値といいますが、このアフィン同値な空間を同一視したときの空間をアフィン空間といいます。
たとえば、線形空間Wがあったとき、任意のアフィン変換Tについて、V=T(W)となるとき、WとVを同じ空間だと見なすわけです。ただし、アフィン変換で変換された空間Vは一般的には線形空間になりません。
No.2
- 回答日時:
> 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% …
では
線形空間Vとは無関係の集合Aが台集合と呼ばれているようです。
"W が V の部分線形空間で、a∈V であれば、
{ w+a | w∈W } は、W を台とするアフィン空間"
では部分空間Wが台集合になるのですね。
WがAに相当するのでしょうか?
う─ん,こんがらがってきました。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 線形代数学の問題です! Vは 4 次元ベクトル空間とし線形変換 f ∶ V→ V のある基底 v1, 1 2022/06/12 09:25
- 数学 線形代数 A= 2 -1 1 ( 0 0 2 ) 0 -1 3 の固有値と固有空間を使って、この行列 2 2023/02/03 12:39
- 数学 3次元実ベクトル空間において, 平面 P:x-y+z+1=0 と直線 L:2(x-1)=-y=-z 3 2022/10/29 14:39
- 数学 線形写像の全射性 双対空間 1 2022/12/11 18:22
- 数学 対称変換 2 2022/12/11 16:14
- 数学 ベクトル空間であることの証明の際に10このベクトル空間を使用すると思います。その時に文字は太くなりま 2 2022/07/29 04:15
- 数学 空間ベクトル(重心) 1,2,3/4,5,6/7,8,9 の座標空間上の三角形の重心が 4,5,6に 1 2023/04/09 20:04
- 数学 線型独立か線型従属か 3 2022/05/04 16:43
- 日本語 「に」について 9 2022/10/25 16:32
- 宇宙科学・天文学・天気 四次元空間について 1 2022/07/01 17:11
このQ&Aを見た人はこんなQ&Aも見ています
おすすめ情報
このQ&Aを見た人がよく見るQ&A
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
皆さん定義を教えてください 「...
-
べき乗
-
「互いに素」の定義…「1と2は互...
-
1未満と1以下の違い
-
日本語 ことば ひとまわり ふた...
-
無限から無限を引いたら何にな...
-
ACCESS VBAでインポート定義の場所
-
ヘシアンが0の場合どうやって極...
-
√6=√(-2)(-3)=√(-...
-
なぜ、直角三角形ではないのにs...
-
eの0乗は1ってどういう原理です...
-
複雑な家庭とは
-
「logx^2=2logx」が間違って...
-
tanhXの近似式について
-
1wordとは、何文字ですか?
-
数字の1とは何なのか?
-
ACCESS IIF関数 複数条件の設...
-
数学の両辺2乗と√について教え...
-
e<3の証明を教えてください。
-
ACCESSでTXTにデータエクスポー...
おすすめ情報