- ベストアンサー
基底の定義について
178-tallの回答
- 178-tall
- ベストアンサー率43% (762/1732)
確かにトリッキーな定義かも。 目を転じて「一言でいえば…」のあとを眺めると、その通りでもある。 おそらく、その定義での n は次元と無関係な数を指しているのです。 n 個の線型独立なベクトルがあり、任意の元がその線型結合で表わされるなら、その n が次元、と読めば良さそう。
関連するQ&A
- EはK-線形空間とA、Bの基底から
EはK-線形空間。Eの部分空間｛a_1,a_2,…,a_m｝,｛b_1,b_2,…,b_n｝をそれぞれA、Bの基底として、 １：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のベクトルの組ｘ1、ｘ2、・・、ｘｒがＶの基底であるとは、次の2条件を満たすことである。 (BS1)Ｖ＝＜ｘ1、ｘ2、・・、ｘｒ＞である。 (BS2)ｘ1、ｘ2、・・、ｘｒは線形独立である。 定義にそのままあてはめればよいだけだとは思うのですが、実際何をすればよいのかがわかりません。 回答よろしくお願いします。
- ベストアンサー
- 数学・算数
- 正規直交基底の存在性
計量ベクトル空間の正規直交基底の存在性についてです． 証明の手順は以下のようにやろうと考えています． 計量ベクトル空間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の基底はその線形写像を表現行列からもとまり （４３４） （１２７） （５１３） なら（４） （１） （５） や （３） （２） （１） や （４） （７） （３） の中から一次独立なものの組（３つのうちどれだけ選ぶは次元によるらしい）を基底としています。 この理由がよくわかりません。
- 締切済み
- 数学・算数
- 基底の存在性の証明について
ε=<u_1, u_2, ... , u_k>が (εがWの基底であるための１つの条件) ・Wの任意の元はεの元たちの線型結合として書ける を満たすkが存在することを証明できているのかわかりません 命題2.1.2, 3) 線型独立の列Sに、Sの線型結合でないbを追加した列も線型独立である 命題2.4.15 m<n ⇒C^mのn個のベクトルは線型従属
- ベストアンサー
- 数学・算数
- 線形空間は必ず基底を持つ（有限次元）
先日某所で、明らかに有限次元のベクトル空間に関すると思える話に出会い、 「線形空間は必ず基底を持つ！（{0}は除く）」 とやってしまいました。その時、 「持つためには、選択公理が必要」 という指摘を頂いて、「有限次元では（選択公理不要）」と加えたのですが「これって本当にそうなのか？」とふと思い、質問しています。以下、有限次元に限定します。 (1)今までは・・・ 今までは、こう思って来ました。「次元の等しい線形空間は、みな同型」という事から、要は数ベクトル空間について、基底を持つかもたないか、調べれば良いはずだと。 ｎ次の（ｎ次元とは言いませんの）数ベクトル全体をＶをすれば、Ｖには 自然な生成系、 Ｂ＝{(δi1)，(δi2)，・・・，(δin)}（δijは、クロネッカーのデルタ） があり、Ｂが生成系である事はすぐわかり、(δij)らが互いに独立である事もすぐわかり、さらに任意のｖ∈ＶがＢのベクトルに従属なのもすぐわかるから、ｎ次の数ベクトル全体Ｖは、長さがｎの基底を持ちｎ次元で、有限次元線形空間は、選択公理抜きで必ず基底を持つと。 (2)定義に戻ってみると・・・ ところが基底の定義は、 「Ｖから取り出せる、独立なベクトルの集合で、最大本数を持つもの」 となると思います。ここでは有限次元に限定しているので、最大本数と書きました。 この定義に忠実に従って基底の有無を調べるとしたら、Ｖの部分集合全てを調べなければならない気がします。このような操作のためには、やっぱり選択公理が必要でないのか？、と突然気づきました。有限次元であっても、Ｖに含まれるベクトルは、無数にあるので・・・。 (1)と(2)は、本質的に同じでなければならないと思います。そうすると(1)においても、どこかで選択公理のお世話になっているんでしょうか？。
- ベストアンサー
- 数学・算数
- この線型代数の回答教えてください
１、 「１ －2 １ ３ ０ ２ ┐ 行列Ａ＝｜－2 ５ －3 －4 ０ －1｜ ｜３ －8 ５ 11 ０ ３ ｜ └－1 ２ －1 ３ ０ １ 」 Ｂ＝「１ ０ ０ ２┐ └２ ０ ０ ０」 に対して、 線型写像φＡ、φＢＡの核空間及び像空間の次元を求めよ。 ２、R^(3)の線型変換φが、単位ベクトルe_1,e_2,e_3について、 φ(e_1)=(1,0,1) φ(e_2)=(1,1,2) φ(e_3)=(1,-1,0) となるとき、 （１） φ（１，２，３）を求めよ （２） Ker（φ）及びφ(R^(3))の基底を一組求めよ。
- ベストアンサー
- 数学・算数
お礼
ようやく分かりました、ありがとうございます。