線型作用素せんけいさようそlinear operatorポータル

date2026-07-14document_iddoc_5ae6add28625f5ca127e31d76d3cf94bdescription線型作用素・線型作用素方程式・アフィン空間・商空間・作用素カタログ・変換との対応を、核と像から読むための講義群への入口である。prerequisitesベクトル空間 / 線型写像 / 行列の基本type講義content_typelecturestatusactive

mathlinear-operatorlinear-algebralectureportal

1導入どうにゅう

この講義こうぎでは、線型作用素せんけいさようそlinear operatorの種類しゅるいを暗記あんきするのではなく、

L x = y

という線型方程式せんけいほうていしきlinear equationを、核かくkernelと像ぞうimageの視点してんから理解りかいする方法ほうほうを説明せつめいする。

微分作用素びぶんさようそdifferential operator、差分作用素さぶんさようそdifference operator、行列ぎょうれつmatrix、積分作用素せきぶんさようそintegral operatorは見みた目めが異ことなる。しかし、線型性せんけいせいlinearityを持もつ限かぎり、可解性かかいせいと自由度じゆうどの判断はんだんは同おなじ枠組わくぐみに入いる。

2読解方針どっかいほうしん

最初さいしょに読よむべきページは、線型作用素せんけいさようそそのものの定義ていぎである。ここで、作用素さようそとは何なにか、和わ・定数倍ていすうばい・合成ごうせいで線型性せんけいせいが保たもたれることを証明しょうめいする。

data/lecture/math/linear-operator/introduction-to-linear-operators.lecture.n.md

次つぎに、一般いっぱんの $L x = y$ の講義こうぎを読よむ。そこでは、核かくkernel、像ぞうimage、同次解どうじかいhomogeneous solution、特殊解とくしゅかいparticular solution、一般解いっぱんかいgeneral solutionを定義ていぎし、証明しょうめいつきで整理せいりする。

data/lecture/math/linear-operator/linear-operator-equation-basics.lecture.n.md

非同次ひどうじ方程式ほうていしきの解かい集合しゅうごうがアフィン空間くうかんになること、また任意定数にんいていすうが条件行列じょうけんぎょうれつの正則性せいそくせいによって一意いちいに決きまることを確認かくにんする。ODE では、この正則性せいそくせいが Wronskian の非零性ひれいせいとして現あらわれる。

data/lecture/math/linear-operator/affine-spaces-and-condition-determination.lecture.n.md

解かいの個数こすう、一意性いちいせい、階数退化次数定理かいすうたいかじすうていり、逆作用素ぎゃくさようそ、行列ぎょうれつとの対応たいおうを、核かくと像ぞうから判定はんていする。

data/lecture/math/linear-operator/solvability-and-uniqueness-of-linear-operator-equations.lecture.n.md

核かく方向ほうこうの違ちがいを同一視どういつしすると、商空間しょうくうかんと第一同型定理だいいちどうけいていりの見方みかたへ進すすむ。

data/lecture/math/linear-operator/quotient-spaces-and-first-isomorphism-theorem.lecture.n.md

続つづいて、恒等作用素こうとうさようそ、零作用素れいさようそ、乗法作用素じょうほうさようそ、微分作用素びぶんさようそ、積分作用素せきぶんさようそ、シフト作用素さようそshift operatorで、核かくと像ぞうを具体的ぐたいてきに計算けいさんする。

data/lecture/math/linear-operator/basic-operator-examples.lecture.n.md

作用素さようその種類しゅるいが増ふえたら、典型形てんけいけい・意味いみ・対応たいおうしやすい変換へんかんで整理せいりする。畳たたみ込こみ作用素さようそ、遅延作用素ちえんさようそ、射影作用素しゃえいさようそもここで扱あつかう。

data/lecture/math/linear-operator/operator-catalog-foundations.lecture.n.md

各かく作用素さようそが本当ほんとうに線型せんけいであることを、定義域ていぎいきと終域しゅういきを明示めいじして証明しょうめいする。

data/lecture/math/linear-operator/proving-operator-linearity.lecture.n.md

微分方程式びぶんほうていしき、差分方程式さぶんほうていしき、漸化式ぜんかしきに現あらわれる「同次解どうじかい + 特殊解とくしゅかい」や平衡解へいこうかいを、 $x_{p} + \ker L$ として確認かくにんする。

data/lecture/math/linear-operator/linear-operator-equation-applications.lecture.n.md

最後さいごに、1 つの作用素さようそ $T$ から $p (T)$ を作つくると、特性とくせい方程式ほうていしき・漸化式ぜんかしき・定数ていすう係数けいすう微分方程式びぶんほうていしきが同おなじ構造こうぞうで読よめることを確認かくにんする。

data/lecture/math/linear-operator/polynomial-operators-and-eigenvalue-problems.lecture.n.md

Heaviside 演算子法えんざんしほう、Laplace 変換へんかん、Fourier 変換へんかん、Z 変換へんかんは、作用素さようそを代数的だいすうてきな掛かけ算ざんへ移うつす方法ほうほうとして整理せいりする。

data/lecture/math/linear-operator/heaviside-operator-method-and-transforms.lecture.n.md

内積空間ないせきくうかんや無限次元むげんじげんへ進すすむと、随伴ずいはん、自己随伴じこずいはん、ユニタリ、コンパクト、レゾルベント、半群はんぐんといった作用素さようそが現あらわれる。

data/lecture/math/linear-operator/operator-catalog-spectral.lecture.n.md

3接続先せつぞくさき

行列ぎょうれつmatrixは線型作用素せんけいさようそlinear operatorの座標表示ざひょうひょうじである。

data/lecture/math/linear-algebra/linear-maps-and-matrices.lecture.n.md

非線型写像ひせんけいしゃぞうを点てんの近ちかくで線型作用素せんけいさようそとして読よむ入口いりぐちは、Jacobian 行列ぎょうれつである。ただし線型せんけいなのは固定こていした点てんでの微分びぶんであり、もとの写像しゃぞう全体ぜんたいではない。

data/lecture/math/multivariable-calculus/tangent-planes-chain-rule-and-jacobian.lecture.n.md

数列すうれつsequenceと漸化式ぜんかしきrecurrence relationでは、シフト作用素さようそshift operatorを中心ちゅうしんに置おく。

data/lecture/math/sequence/shift-operators-and-recurrences.lecture.n.md

常微分方程式じょうびぶんほうていしきordinary differential equationでは、 $L [y] = f$ の核かくkernelが同次解どうじかいhomogeneous solution、特殊解とくしゅかいparticular solutionが非ひ同次どうじ解かいを作つくる。

data/lecture/math/differential-equations/differential-equations-portal.lecture.n.md

4演習えんしゅうリンク

data/exercise/math/linear-operator/linear-operator-equations.exercise.n.md

5一言ひとことでいうと

線型作用素方程式せんけいさようそほうていしきlinear operator equationの第一原理だいいちげんりは、「解かいが存在そんざいするかは像ぞうimageで決きまり、解かいの自由度じゆうどは核かくkernelで決きまる」ということである。