一般逆行列(その 7・最終回)
さて、 における Moore-Penrose 形一般逆行列については、A の特異値分解
(ただし
を用いれば、明らかに
が Moore-Penrose 形の一般逆行列になる。このことから Moore-Penrose 形一般逆行列がほとんど一意に定まることがわかる。
Moore-Penrose 形一般逆行列の別の考え方を述べよう。
今、 を固定したとき、
を最小にし、かつ
を最小とするものは一意に定まる。実際、A の特異値分解を用いて問題を
(ただし
)
と書きなおせば明らかに
がその解であるから、 と表せることは明らかである。これを持って
の定義とすることも可能である。
なお、特異値分解によるこの方法は、有理演算(と開平)だけでは出来ない操作に基づいているが、Moore-Penrose 形一般逆行列の構成そのものは、最初に紹介した通り有理演算のみによって構成可能である。
最後に、本連載の参考書籍と、同書に書かれている注意書きを引用して締めとします。
![一般線形代数 一般線形代数](https://images-fe.ssl-images-amazon.com/images/I/412GBZVAZ8L._SL160_.jpg)
- 作者: 伊理正夫
- 出版社/メーカー: 岩波書店
- 発売日: 2003/02/25
- メディア: 単行本
- 購入: 2人 クリック: 28回
- この商品を含むブログ (6件) を見る
今まで述べてきたすべての形の一般逆行列について言えることであるが, それらの "定義" もまた "構成方法" も, 実際のデータや数値計算の過程に少しでも雑音(誤差)が入ると, 致命的な影響を受けることが多い. このような意味で, 一般逆行列の話はまったく "構造不安定" である.
ε - δ 論法(その 11)
久々に 論法の続きです。
関数の極限
数列 の場合、
の挙動だけが問題で、そのほかには興味がありません。しかし関数 f(x) の場合になると、x が有限の値 a に近づくときの挙動も問題になります。そこでいきなり定義から入ります。変数や値が複素数の場合については後で補足することにして、まずは変数も値も実数の場合のみ考えます。
定義 1
とは、任意の
に対して
が存在して
が成り立つことを言う。
とは、任意の
に対して
が存在して
が成り立つことを言う。
とは、任意の
に対して
が存在して
が成り立つことを言う。なお、これらの定義において を
に置き換えたものを
などと表す。
定義 2
とは、任意の
に対して
が存在して
が成り立つことを言う。
とは、任意の
に対して
が存在して
が成り立つことを言う。
とは、任意の
に対して
が存在して
が成り立つことを言う。
の場合については類推は容易でしょうから省略します。
簡単な例として、定義 1 に従って を証明してみましょう。今
に対して
とおくと
さて、変数 x が実数の場合、x が有限の値 a に近づく方法は
- a より小さい方から a に近づく
- a より大きい方から a に近づく
の二通りが考えられます。次回、その両者に関する定義(左極限、右極限)を述べることにします。