5.連立一次方程式.

Slides:



Advertisements
Similar presentations
SPSSによるHosmer-Lemeshow検定について
Advertisements

レポート書き方. おしいレポート よく調べてある それぞれの、1文の言っていることは正 しい しかし、全体として、何が言いた いのかわからない 内容の重要だが、全体の構成も重 要である.
1 7.時間限定チューリングマシンと クラス P. 2 7 -1.入力サイズ チューリングマシンの入力記号 の長さ を 入力サイズという。 名称:合成数の問題 インスタンス:整数n 問:nは合成数か? 通常は、入力サイズとしてはもっとも短い表現での 長さが利用される。 例えば、次のような合成数の問題における入力サイズは、
7.n次の行列式   一般的な(n次の)行列式の定義には、数学的な概念がいろいろ必要である。まずそれらを順に見ていく。
9.線形写像.
3.多項式計算アルゴリズム べき乗の計算 多項式の計算.
時間的に変化する信号. 普通の正弦波 は豊富な情報を含んでいません これだけではラジオのような複雑な情報 を送れない 振幅 a あるいは角速度 ω を時間的に変化 させて情報を送る.
麻雀ゲーム 和島研究室 ソ 小林巧人
相関.
1 情報量(2章). 2 物理的概念との対比1(入れ物と中 身) 塩水 塩 データ 情報 情報の量? 塩分の量! 情報の量は見た目ではわ からない。データと情報 は異なる概念。 塩分の量は見た目 ではわからない。 しかし、本質的な もの。
―本日の講義― ・平均と分散 -代表値 -ぱらつき(分散・標準偏差等) ・Excelによる演習
ノイズ. 雑音とも呼ばれる。(音でなくても、雑 音という) 入力データに含まれる、本来ほしくない 成分.
素数判定法 2011/6/20.
フーリエ係数の性質. どこまで足す? 理想的には無限大であるが、実際に はそれは出来ない これをフーリエ解析してみる.
地球温暖化と 天候の関係性 ~温暖化は天候のせいなのではないのか~. 目的課題 地球温暖化現象 ただの気象条件によるものではないのか? 地球温暖化現象に天候は関係しているの か?
公開鍵暗号系 2011/05/09.
1章 行列と行列式.
本宮市立白岩小学校. 1 はじめに 2 家庭学習プログラム開発の視点 ① 先行学習(予習)を生かした 確かな学力を形成する授業づく り ② 家庭との連携を図った家庭学習の習慣化.
フーリエ級数. 一般的な波はこのように表せる a,b をフーリエ級数とい う 比率:
プログラミング入門2 第4回 式文 代入式 論理演算子 ループの脱出、スキップ 情報工学科 篠埜 功.
3.エントロピーの性質と各種情報量.
9.通信路符号化手法1 (誤り検出と誤り訂正の原理)
Excelによる積分.
1 6.低次の行列式とその応用. 2 行列式とは 行列式とは、正方行列の特徴を表す一つのスカ ラーである。すなわち、行列式は正方行列からスカ ラーに写す写像の一種とみなすこともできる。 正方行列 スカラー(実数) の行列に対する行列式を、 次の行列式という。 行列 の行列式を とも表す。 行列式と行列の記号.
計算のスピードアップ コンピュータでも、sin、cosの計算は大変です 足し算、引き算、掛け算、割り算は早いです
線形符号(10章).
1 0章 数学基礎. 2 ( 定義)集合 集合については、 3セメスタ開講の「離散数学」で詳しく扱う。 集合 大学では、高校より厳密に議論を行う。そのために、議論の 対象を明確にする必要がある。 ある “ もの ” (基本的な対象、概念)の集まりを、 集合という。 集合に含まれる “ もの ” を、集合の要素または元という。
10.PとNP完全問題との境界.
複素数.
4.プッシュダウンオートマトンと 文脈自由文法の等価性
1 0章 数学基礎. 2 ( 定義)集合 集合については、 3セメスタ開講の「離散数学」で詳しく扱う。 集合 大学では、高校より厳密に議論を行う。そのために、議論の 対象を明確にする必要がある。 ある “ もの ” (基本的な対象、概念)の集まりを、 集合という。 集合に含まれる “ もの ” を、集合の要素または元という。
信号測定. 正弦波 多くの場合正弦波は 0V の上下で振動する しかし、これでは AD 変換器に入れら れないので、オフ セットを調整して データを取った.
1 9.線形写像. 2 ここでは、行列の積によって、写像を 定義できることをみていく。 また、行列の積によって定義される写 像の性質を調べていく。
通信路(7章).
3.プッシュダウンオートマトンと 文脈自由文法
6.符号化法(6章).
ビット. 十進数と二進数 十進数  0から9までの数字を使って 0、1、2、3、4、5、6、7、8、9、 10、11、12 と数える 二進数  0と1を使って 0、1、10、11、100、101、11 0、111 と数える.
人工知能特論 II 第 4 回 二宮 崇 1. CCG (COMBINATORY CATEGORIAL GRAMMAR) 組合せ範疇文法 2 今日の講義の予定.
重不況の経済学 第2章第2節 山下 真弘. 不均等成長 不均等成長=市場の特定の製品または特定の国・ 地域で付加価値の縮小が生じること 要因は2つ 製品別の「生産性向上速度の差」 付加価値総額の天井(=需要制約)
3.正方行列(単位行列、逆行列、対称行列、交代行列)
様々な情報源(4章).
プログラミング演習B ML編 第3回 2010/6/15 (コミ) 2010/6/16 (情報・知能) 住井 ~sumii/class/proenb2010/ml3/
名古屋工業大学 電気電子工学科 岩波・岡本研究室 野々村嘉人
論理回路 第1回. 今日の内容 論理回路とは? 本講義の位置づけ,達成目標 講義スケジュールと内容 受講時の注意事項 成績の評価方法.
Three-Year Course Orientation International Course.
Analog “ neuronal ” networks in early vision Koch and Yuille et al. Proc Academic National Sciences 1986.
方程式を「算木」で 解いてみよう! 愛媛大学 教育学部 平田 浩一.
C言語応用 構造体.
測定における誤差 KEK 猪野 隆 論文は、自ら書くもの 誤差は、自分で定義するもの ただし、この定義は、 多数の人に納得してもらえるものであること.
3.多項式計算アルゴリズム べき乗の計算 多項式の計算.
階層分析法. 表3. 1 ルートR1R1 R2R2 R3R3 R4R4 R5R5 F1F1 最寄駅までの所要 時間(分) 10 7 F2F2 実乗車時間(分) F3F3 片道切符(円) ヶ月定期(円) 11,21011,9309,75012,46012,720.
偏微分方程式の境界値問題を 基礎とするデジタル画像解析
プログラミング演習B ML編 第3回 2006/7/4 (通信コース) 2006/7/12 (情報コース) 住井 ~sumii/class/proenb2006/ml3/
HKS Analysis Log Jul 2006 Part1 D.Kawama. 第壱部 HKS Sieve Slit Analysis.
1 プログラミング言語論 第13回 プログラムの意味論と検証 (2) 表示的意味論 担当:犬塚. 2 表示的意味論 denotational semantics  表示的意味論では、プログラムの要素とそれが 意味するものを対応付ける。 変数 式 文 A B … A+2 2B+C A:=A+2 if.
プログラミング言語論 第9回 論理型プログラミング言語 担当:犬塚.
8.任意のデータ構造 (グラフの表現とアルゴリズム)
プログラミング入門2 第3回 複合文、繰り返し 情報工学科 篠埜 功.
第14回 プログラムの意味論と検証(3) 不動点意味論 担当:犬塚
実験5 規則波 C0XXXX 石黒 ○○ C0XXXX 杉浦 ○○ C0XXXX 大杉 ○○ C0XXXX 高柳 ○○ C0XXXX 岡田 ○○ C0XXXX 藤江 ○○ C0XXXX 尾形 ○○ C0XXXX 足立 ○○
オセロの思考アルゴリズムについて 1103072 岩間 隆浩.
1 アルゴリズムの高速化. 2 アルゴリズムにおける 大幅な性能アップ 多項式時間アルゴリズム VS 対数時間アルゴリズム (最大公約数の問題) 指数時間アルゴリズム VS 多項式時間アルゴリズム (フィボナッチ数列を求める問題)
携帯電話でのコミュニ ケーションについて 1班真田 出水 佐伯 堺. 仮説  女性のほうが携帯電話を使ったコミュニ ケーションを重要視する。
音の変化を視覚化する サウンドプレイヤーの作成
Self-efficacy(自己効力感)について
本文. 考えながら読みましょ う 「いろいろなこと」( 3 行目)は何で すか 「①電話料金はコンビニで支払いをしていま す。いつでも払えますから、便利です。」 「②夕食はコンビニで買います。お弁当やお かずがいろいろありますから。」今、若者に 人気のあるコンビニは、いろいろなことをす るのに非常に便利な場所になった。
11万km上空のかぐやから見た地球. デジタル信号処理 Digital Signal Processing 2010 年度春学期 Spring Semester, 2010 担当者: 栗濱 忠司( Professor ) 第3週第3週.
IIR 輪講復習 #18 Matrix decompositions and latent semantic indexing.
たくさんの人がいっしょに乗れる乗り物を 「公共交通」といいます バスや電車 と 自動車 の よいところ と よくない ところ よいところ と よくない ところ を考えてみよう!
地球儀と様々な地図. 1 球体としての地球 こうした現象はあることをイ メージすると理解できる。
Presentation transcript:

5.連立一次方程式

連立方程式とその解 ここでは、連立方程式を解くということを再考する。 そもそも方程式を“解く”とは、 与えられた式を満たす全ての実数の集合を  ここでは、連立方程式を解くということを再考する。  そもそも方程式を“解く”とは、 与えられた式を満たす全ての実数の集合を 求めることである。すなわち、方程式       の解とは、 である。  同様に、連立方程式 を“解く”とは、与えられた複数の式の全てを満たすベクトルの 集合を求めることである。すなわち、以下が解である。   を満たす実数  の集合(要素が一つの場合もある。) ここで、    は なるベクトル。

連立方程式とその解1 この連立方程式を“解く”とは、 2つの方程式を同時に満たす の組を見つけることである。 解く と を 同時に満たす      の組を見つけることである。 解く          と          を 同時に満たす 点の集合(1点)          を 満たす点の集合          を 満たす点の集合

連立方程式とその解2 この連立方程式の答えは、 上の点全てである。 解く 解 とし、 を任意のスカラーとして、 このように、無限個の          上の点全てである。 解く 解 とし、  を任意のスカラーとして、 このように、無限個の ベクトルが式を満たす ことを不定という。 とも表せる。

連立方程式とその解3 この連立方程式を満たすものはない。 解く 解 このように、式を満たす ベクトルがひとつもない ことを不能という。

連立方程式とその解4 解 解く

連立一次方程式 これまでも、何度も扱ってきたが、 連立方程式を行列とベクトルを用いて表現できる。

ここで、 このとき、各行列およびベクトルは、以下のような名称 で呼ばれる。 係数行列 定数項ベクトル 未知数ベクトル 通常の一次方程式と対応させてみるとよい。 係数 定数 未知数

さらに、拡大係数行列1つで連立方程式を表す。

正則な係数行列を持つ連立方程式 (正則行列と連立一次方程式) 連立1次方程式 が一意の解を持つための 連立1次方程式       が一意の解を持つための 必要十分条件は、係数行列   が正則行列である ことである。(したがって、  は正方行列) 証明: 十分性:(正則→一意)   は正則なので、 逆行列   が存在する。 の両辺の左から    を乗じる。 積は一意なので、 解  は一意である。

必要性:(一意→正則) 背理法による。 係数行列  が正則でなくても、解が一意と仮定する。 (背理法の仮定) このとき、   を階段行列に変形したとき、段数が減少する。 そのときの変形行列(基本変形行列の積)を   とし、 を左から乗じて得られる拡大係数行列を       とする。 すなわち、

階段行列の段数が減少しているので、第  式(最後の方程式)の係数は全て、0である。よって、      である。しかし、第  式の形より  の値を任意な実数  に 選んだとしても、 を満たす。すなわち、形が となる複数(無数)の解が存在する。 同値変形であるので、   は も満たす。これは、解の一意性に矛盾する。

連立方程式と階数 (連立方程式と階数) 連立1次方程式 が解を持つための 必要十分条件は、 が成り立つことである。 連立1次方程式       が解を持つための 必要十分条件は、 が成り立つことである。 ここで、左辺は係数行列の階数、 右辺は拡大係数行列の階数である。 この命題は、解が一意に求まるときと、 不定のときの両方を表している。 (逆の言い方をすると、不能でない条件 を示している。) 証明略

連立方程式の解法 拡大係数行列を階段行列化したものを とする。 すなわち、 行列 の形により、2つの場合に分けて考える。 拡大係数行列を階段行列化したものを        とする。 すなわち、 行列    の形により、2つの場合に分けて考える。 場合1:(簡単な場合) 場合2:(複雑な場合)

場合1:(簡単な場合) 解を持つときには、必ず0になる。 この場合には、行基本変形を用いてさらに変形できる。

この変形行列を用いて、次のように連立方程式が変形されたとする。

であることに注意する。

このときは、連立方程式を考えると、 の      個の変数は任意の実数でよいことがわかる。 というように、    個任意定数を用いて、 連立方程式の解を表現できる。

このように、         は     個の任意定数       を用いて自動的に決定される。

自由度 定義(自由度) 未知数が 個の連立一次方程式 ( 元一次連立方程式) において、 未知数が   個の連立一次方程式 (  元一次連立方程式) において、 とする。このとき、自由に定めることのできる未知数の数 を方程式の自由度という。 連立方程式の解は、自由度の数だけの 任意定数を用いて表現される。

場合2:(複雑な場合)

この場合は、各階段の先頭に注目して、 場合1と同様に考えることができる。 とすれば、ほぼ同様に議論される。 結局、次のように解くことができる。

任意定数 個 一定値 個 として、やはり     個の任意定数を用いて解くことができる。

例題1 次の連立方程式を解け。 とすると、 拡大係数行列は、次のようになる。 係数行列と、拡大係数行列の階数( rank)を求める。

なので、 である。 また、 よって、解が存在する。(不能ではない。) 係数行列の階段行列より、元の連立方程式は、次の 連立方程式と同値。

また、解は次のようにも表せる。 また、自由度は         である。 階段の先頭以外を任意定数とする。 これより、 この解は、平面の式である。 と表せる。 よって、任意定数    を用いて、 次のように解ける。 (例題1終)

例題2 解) 拡大係数行列を階段行列化する。

この階段行列化より、係数行列と拡大係数行列の階数が等しい ことがわかり解が存在することがわかる。 また、次のような同値な連立方程式が得られる。 よって、自由度が1であるので、任意定数を1つ用いて、 と表すことができる。 よって、 (例題2終)

練習 次の連立方程式を解け。 (1) (2)

同次連立一次方程式 定義(同次連立一次方程式) 定数項ベクトルが零ベクトルであるような 連立一次方程式、すなわち を同次連立一次方程式という。 実は,一般の連立一次方程式: は、対応する同次連立一次方程式: を利用して解くことができる。

同次連立一次方程式の自明な解 定義(自明な解) 同次連立一次方程式 では、零ベクトル    を必ず解に持つ。 この解       、即ち を自明な解という。

自由度のある同次方程式の解1 方向ベクトル 解く 解  を任意のスカラーとして、 と表せる。

自由度のある同次方程式の解2        を任意のスカラーとして、 と表せる。

自明な解しかもたない条件 性質: (同次方程式と自明な解) 係数行列 を 行列とし、 未知数ベクトル を の列ベクトルとする。 性質: (同次方程式と自明な解) 係数行列   を      行列とし、 未知数ベクトル   を    の列ベクトルとする。 同次連立方程式        自明な解しか持たないための必要十分条件は、係数行列の階数が  であることである。すなわち、 の解が、

自明な解と正則行列 性質:(同次連立方程式と正則行列) を 次の正方行列とし、 を 次元ベクトルとする。 このとき、同次連立一次方程式   を   次の正方行列とし、  を  次元ベクトルとする。 このとき、同次連立一次方程式 が自明な解しか持たないための必要十分条件は、   が正則行列であることである。 証明             が必要十分条件であるが、 これは   が正則行列であることも意味している。

練習 次の同次連立一次方程式が、自明な解以外を持つかどうかを 判定せよ。 (1) (2) (3)

非同次連立一次方程式の解1 自明な解

非同次連立一次方程式の解2 解く

自由度のある同次方程式の解3        を任意のスカラーとして、 と表せる。

練習 次の同じ係数を持つ同次方程式と非同次方程式を解け。 (1) (2)