補間、および線形性
このページは書きかけであるが、出先からちょくちょく確認するためにここに公開される。
基底
・ベクトルは2つ足すと別のベクトルになる。
・ベクトルは定数倍すると伸び縮みする。
たいがいのベクトルは、基準となるベクトルに係数を掛け、それらを足し合わせることで表現できる。その時、基準となるベクトルのことを基底という。
基底は基本的には適当に決めて良いが、最も標準的な基底のことを標準基底という。例えば2次元空間ならば(1,0)(0,1)なる2つのベクトル。3次元ベクトルなら(1,0,0)(0,1,0)(0,0,1)なる3つのベクトルが標準基底にあたる。
![画像1](https://assets.st-note.com/production/uploads/images/38628909/picture_pc_6017dc8339ced7808bf387acad189613.png?width=800)
基底のちゃんとした定義はwikipediaに書いてあるが
![画像2](https://assets.st-note.com/production/uploads/images/38629217/picture_pc_b2f7b7e36433c2c6d1cfafcd8e61df5a.png)
なるを満たすに、全てのaがゼロでなければ成立しないようなベクトルのことを線形独立といい、基底とはそれの集まりである。
で、あるからして。基底であることと直交している(内積ゼロ)とか、長さが1とかとは別の話である。標準基底は正規直交基底(長さ1、内積ゼロ、互いに独立)である。
この基底の独立性というのがどれくらいの縛りかといえば、例えば二次元空間はただの2つの二次元基底ベクトルをこねくり回すことだけで表現することが可能になるが、逆にどれだけこねくり回しても三次元ベクトルは構築できないというレベルの縛りである。
線形性
$${\mathbb R^n}$$の全てのベクトルと
全てのスカラーcに関して以下のような操作ができること。
加法性
$${f(\mathbf x_1+\mathbf x_2)=f(\mathbf x_1)+f(\mathbf x_2)}$$
斉次性
$${f(c\mathbf x)=cf(\mathbf x)}$$
直交性
上の図Aの場合、ベクトル(1,0)とベクトル(1,1)は内積すると1。つまり直交してない。
式(1.0)はa1,a2,a3…を組としてベクトル(ないし1行or1列の行列)
v1,v2,v3…の各ベクトルを組としてベクトル(ないし1行or1列の行列)
を成せばこれらの積の総和(内積)の結果は0であるから直交している。
数値であるとかベクトルであるとか、関数であるとかは抽象化され、それらの組み合わせや変換の規則の方がよっぽど問題になる。その一つの例が内積。
また、区間[a,b]において区分的に連続な実数値関数f(x),g(x)がある時、
$$
(f,g)=\int_a^bf(x)g(x)dx
$$
をf(x)とg(x)の内積という。これはフーリエ級数とかで出てくる。
線形独立と線形結合
他を生み出す基準となるようなものに係数掛けて全部足せば他の大体のもんは生成できる。こんなようなことは関数でもできる。すなわち他の基準となるような関数に係数掛けて足せば、他の大体の関数は表現できる。こんなような要領のことごとを線形結合という。
![画像3](https://assets.st-note.com/production/uploads/images/38630245/picture_pc_73781486d70d11ec92c074b5eb81f7c0.png?width=800)
よく使われるのが以下の多項式(polynomial)
![画像4](https://assets.st-note.com/production/uploads/images/38630258/picture_pc_561ccca16679500eae9a3d740df3921d.png)
![画像6](https://assets.st-note.com/production/uploads/images/38751613/picture_pc_9e704194273d216cfc832cd8f015713a.png)
あるいは三角多項式(trigonometric polynomial)
![画像5](https://assets.st-note.com/production/uploads/images/38630263/picture_pc_575352105d3cec232836190e77ff1b0e.png?width=800)
微分方程式の場合、道関数yとその導関数
![](https://assets.st-note.com/img/1638852381880-4KWI7JroMm.png)
についての1次式
![](https://assets.st-note.com/img/1638852509212-xXJ7oIGS73.png?width=800)
なるをn階1次の線形微分方程式という。
とくにQ(x)=0の時を斉次(同次)という。
Q(x)≠0の時、Q(x)の項の次数が0なので斉次にならない(と、思われる)。
物理的には保存則(微分=0、ゆえに量の変化なし)に相当。
Q(x)≠0の時、系に外力が加わっている状態。
次数と斉次(同時)
補間
補間というのは、情報が足らない時に、その情報のスキマを関数で埋めてしまうことである。
例えば100×100ピクセルの画像を200×200ピクセルに拡大した場合、拡大後の画像を構築するには元の画像の4倍の情報量が必要である。しかしこの拡大後画像を構築するための材料は元のちっこい画像しかない。そういう時に補間が必要になる。
例えば観測値から規則性を見出す場合も補間が使われるであろう。昨日の昼間の気温と明日の昼間の気温が分かっていれば、今日の昼間の気温を求めるに大概の人は足して2で割る。昨日と今日の気温が分かれば明日の気温も予測できる。データが増え、求めたい日時を自由に選択したければ観測された値のスキマを関数で補完することになる。
例えば少ないポリゴンから、ポリポリしないグラフィックを生成するには補間を用いたシェーディングが利用される。この場合はポリゴンの頂点に色情報がヒモ付られており、頂点が作る線なり面なりの色は補間によって決定される。多分。
こんな塩梅であるので、統計、AI、有限要素法、曲線描画、いろんなところで補完は顔を出す。
線形補間(linear interpolation, lerp)
参考
数値計算法 (電子通信学会大学シリーズ A- 4) (日本語) 単行本 – 1981/1/1
戸川 隼人 (著) p13
複数点間を線形に補間。
![画像15](https://assets.st-note.com/production/uploads/images/45152418/picture_pc_a372deb83f606254419c55464fcdea2e.png)
二点(x0,y0)(x1,y1)間を補間。
![画像16](https://assets.st-note.com/production/uploads/images/45152426/picture_pc_1813e03de4f8b045c580e73153a935a5.png)
二次補間
補間が待たれる。
三次補間
補間が待たれる。
多項式補間(polynomial interpolation)
補間が待たれる。
ラグランジュ補間
https://note.com/alchan/n/n885679f398c8
ニュートン補間
https://note.com/alchan/n/nc14a3c453144
![画像7](https://assets.st-note.com/production/uploads/images/38759821/picture_pc_3793e2982f5abf5d7756281be0801e92.png)
ニュートン基底関数
![画像8](https://assets.st-note.com/production/uploads/images/38759823/picture_pc_fff08f70746bb88edb25d1d457cb0a9b.png)
その例
![画像9](https://assets.st-note.com/production/uploads/images/38759854/picture_pc_e58cf88e42d47216270a51af24079e01.png?width=800)
ニュートン基底関数に掛かる係数
![画像10](https://assets.st-note.com/production/uploads/images/38760672/picture_pc_7f5ee37eac1ca101767ba979a7918683.png)
括弧付きは差商と呼ばれるもの、以下その例
![画像11](https://assets.st-note.com/production/uploads/images/38760678/picture_pc_33cb4dd4a7b374801296f48e7760e1d0.png?width=800)
![画像12](https://assets.st-note.com/production/uploads/images/38760689/picture_pc_071d07f3ad1f7fb5e96f9d58303e7027.png?width=800)
![画像13](https://assets.st-note.com/production/uploads/images/38760693/picture_pc_7d410725766cbb0e0266d28967eed751.png?width=800)
![画像14](https://assets.st-note.com/production/uploads/images/38760697/picture_pc_b66ef030c41f19f589eebcbf13031459.png)
エルミート補間
スプライン補間
この記事が気に入ったらサポートをしてみませんか?