- ベストアンサー
基底の定義について
- 基底の定義についての疑問点と、線形独立と基底の差異についての説明を求めています。
- 基底の定義について、「(1)と(2)を満たすとき~基底であるという」とありますが、(2)は必要なのでしょうか?同じ理由により、次元が「線形独立なベクトルの数」ではなくて、「基底の個数」である理由も疑問です。
- 以前から、この線形独立と基底の差異が頭の中ですっきりしないので、よろしくお願いします。反例などがありましたら、教えてください。
- みんなの回答 (4)
- 専門家の回答
関連するQ&A
- EはK-線形空間とA、Bの基底から
EはK-線形空間。Eの部分空間{a_1,a_2,…,a_m},{b_1,b_2,…,b_n}をそれぞれA、Bの基底として、 1:A∩B={0} 2:{a_1,…,a_m,b_1,…,b_n}は一次独立 この1と2が同値と示せますか?
- ベストアンサー
- 数学・算数
- 基底であることを示す問題
こんにちは。 K^3において、ベクトルの組(1,2,0)、(1,0,1)、(1,2、-1)が基底であることを示したいのですが、どのように示せばよいかわかりません。 基底の定義: ベクトル空間Vのベクトルの組x1、x2、・・、xrがVの基底であるとは、次の2条件を満たすことである。 (BS1)V=<x1、x2、・・、xr>である。 (BS2)x1、x2、・・、xrは線形独立である。 定義にそのままあてはめればよいだけだとは思うのですが、実際何をすればよいのかがわかりません。 回答よろしくお願いします。
- ベストアンサー
- 数学・算数
- 正規直交基底の存在性
計量ベクトル空間の正規直交基底の存在性についてです. 証明の手順は以下のようにやろうと考えています. 計量ベクトル空間V,dimV=n ⇒線形独立な集合Aが存在する(1) ⇒Vの基底E:={ei}(i=1,2,...n)が存在する(2) (Aにいくつかベクトルを足すことで構成する) ⇒Vに正規直交系E':={ei'}}(i=1,2,...n)が存在する(3) (Eにシュミットの直交化法を施す) ⇒E'はVの基底である(4) ⇒E'はVの正規直交基底である(5) (1)⇒(2)⇒(3)は示せるのですが, (3)⇒(4)が示せません. どなたか,アドバイスなどよろしくお願いいたします.
- 締切済み
- 数学・算数
- 基底ベクトル 標準基底 正規直交基底 基本ベクトル
基底ベクトルについて質問させて下さい。 基底の定義は、 V(Vは体K上の線形空間とする)のVの元であるベクトルの組{v1,v2,v3,・・・vn}が、 線形結合で表され、v1,v2,v3,・・・vnがそれぞれ一次独立である場合を基底という。 基底の数は無数に存在する。基底を構成するベクトルを基底ベクトルと呼ぶ。 例えばR^2の基底は、 (1,0),(0,1)や(1,0),(1,1)などである。 以上のように理解しています。 ここまでで、間違いはありますでしょうか? R^2における基底で、 (1,0),(0,1)は特に標準基底、正規直交基底などと呼ばれます。 また、基本ベクトルと呼ばれることもあります。 このR^2における(1,0),(0,1)は一般的にはどのように呼ばれる のでしょうか? 基本ベクトルと呼ぶのは、あまり一般的ではないでしょうか? 標準基底・正規直交基底と呼ぶ方が一般的なのでしょうか? 分野によって使われる言葉も違うと思いますが、ご教示下さい。 また、単位ベクトルについても教えて下さい。 単位ベクトルの定義は、ベクトルの長さ(ノルム)が1になるベクトルと理解しています。 (1,0)や(1,0,0),(0,1,0)は単位ベクトルですが、 (-1,0,0)もノルムが1のベクトルになると思います。 (-1,0,0)も単位ベクトルと言って良いのでしょうか? 以上、ご回答よろしくお願い致します。
- ベストアンサー
- 数学・算数
- 線形代数 Im像の基底の求め方
数学の参考書でImの次元がもとまったら、Imの基底はその線形写像を表現行列からもとまり (434) (127) (513) なら(4) (1) (5) や (3) (2) (1) や (4) (7) (3) の中から一次独立なものの組(3つのうちどれだけ選ぶは次元によるらしい)を基底としています。 この理由がよくわかりません。
- 締切済み
- 数学・算数
- 基底の存在性の証明について
ε=<u_1, u_2, ... , u_k>が (εがWの基底であるための1つの条件) ・Wの任意の元はεの元たちの線型結合として書ける を満たすkが存在することを証明できているのかわかりません 命題2.1.2, 3) 線型独立の列Sに、Sの線型結合でないbを追加した列も線型独立である 命題2.4.15 m<n ⇒C^mのn個のベクトルは線型従属
- ベストアンサー
- 数学・算数
- 線形空間は必ず基底を持つ(有限次元)
先日某所で、明らかに有限次元のベクトル空間に関すると思える話に出会い、 「線形空間は必ず基底を持つ!({0}は除く)」 とやってしまいました。その時、 「持つためには、選択公理が必要」 という指摘を頂いて、「有限次元では(選択公理不要)」と加えたのですが「これって本当にそうなのか?」とふと思い、質問しています。以下、有限次元に限定します。 (1)今までは・・・ 今までは、こう思って来ました。「次元の等しい線形空間は、みな同型」という事から、要は数ベクトル空間について、基底を持つかもたないか、調べれば良いはずだと。 n次の(n次元とは言いませんの)数ベクトル全体をVをすれば、Vには 自然な生成系、 B={(δi1),(δi2),・・・,(δin)}(δijは、クロネッカーのデルタ) があり、Bが生成系である事はすぐわかり、(δij)らが互いに独立である事もすぐわかり、さらに任意のv∈VがBのベクトルに従属なのもすぐわかるから、n次の数ベクトル全体Vは、長さがnの基底を持ちn次元で、有限次元線形空間は、選択公理抜きで必ず基底を持つと。 (2)定義に戻ってみると・・・ ところが基底の定義は、 「Vから取り出せる、独立なベクトルの集合で、最大本数を持つもの」 となると思います。ここでは有限次元に限定しているので、最大本数と書きました。 この定義に忠実に従って基底の有無を調べるとしたら、Vの部分集合全てを調べなければならない気がします。このような操作のためには、やっぱり選択公理が必要でないのか?、と突然気づきました。有限次元であっても、Vに含まれるベクトルは、無数にあるので・・・。 (1)と(2)は、本質的に同じでなければならないと思います。そうすると(1)においても、どこかで選択公理のお世話になっているんでしょうか?。
- ベストアンサー
- 数学・算数
- この線型代数の回答教えてください
1、 「1 -2 1 3 0 2 ┐ 行列A=|-2 5 -3 -4 0 -1| |3 -8 5 11 0 3 | └-1 2 -1 3 0 1 」 B=「1 0 0 2┐ └2 0 0 0」 に対して、 線型写像φA、φBAの核空間及び像空間の次元を求めよ。 2、R^(3)の線型変換φが、単位ベクトルe_1,e_2,e_3について、 φ(e_1)=(1,0,1) φ(e_2)=(1,1,2) φ(e_3)=(1,-1,0) となるとき、 (1) φ(1,2,3)を求めよ (2) Ker(φ)及びφ(R^(3))の基底を一組求めよ。
- ベストアンサー
- 数学・算数
お礼
なるほど、その反例がありましたか。 ありがとうございます。 「次元=基底の個数」は定義なので、必ず成り立ち、それ以外はありえないと思います。 上回答の例ですと、e1,e2だけでは基底とは言えないと思うのですが・・・。 なので、基底の個数が2とはそもそも言えないので、その例の場合は、次元と基底の個数を比較することはできませんよね・・・? 間違ってたらすみません。