markdown
線型作用素方程式-基本演習md ced3289
exercise/math/linear-operator/linear-operator-equations.exercise.n.md

線型作用素方程式せんけいさようそほうていしきlinear operator equation-基本演習きほんえんしゅう

date2026-06-30document_iddoc_655ed36a77190ed0151a558b5cbda570description線型作用素方程式 Lx=y を、核・像・一般解・多項式作用素から確認する基本演習である。prerequisites線型作用素方程式の基本 / 線型写像 / 基底と次元type問題演習content_typeexercisestatusactiverelateddata/lecture/math/linear-operator/linear-operator-equation-basics.lecture.n.md / data/lecture/math/linear-operator/polynomial-operators-and-eigenvalue-problems.lecture.n.md / data/lecture/math/linear-algebra/linear-maps-and-matrices.lecture.n.md / data/lecture/math/sequence/shift-operators-and-recurrences.lecture.n.md
mathlinear-operatorexercisekernelimage
data/lecture/math/linear-operator/linear-operator-equation-basics.lecture.n.md data/lecture/math/linear-operator/polynomial-operators-and-eigenvalue-problems.lecture.n.md

1演習えんしゅう方針ほうしん

Lx=y では、計算けいさんを始はじめる前まえに「y は ImL に入いるか」「kerL は何なにか」を確認かくにんする。解かいが 1 つ見みつかったら、一般解いっぱんかいは xp+kerL である。


2問題もんだい 1:像ぞうimageによる可解性かかいせい

L:R2→R2 を

L(x,y)=(x+y,2x+2y)

で定義ていぎする。L(x,y)=(1,2) と L(x,y)=(1,1) がそれぞれ解かいを持もつか判定はんていせよ。

2.1解答例かいとうれい

L(x,y)=(s,2s)、ただし s=x+y と書かける。したがって

ImL={(s,2s)∣s∈R}

である。

(1,2) は s=1 としてこの像ぞうに入いるので、L(x,y)=(1,2) は解かいを持もつ。実際じっさい、x+y=1 を満みたす任意にんいの (x,y) が解かいである。

一方いっぽう、(1,1) は (s,2s) の形かたちではない。したがって (1,1)∉ImL であり、L(x,y)=(1,1) は解かいを持もたない。

2.2解説かいせつ

右辺うへんが到達可能とうたつかのうかどうかは像ぞうimageで決きまる。式しきを解とき始はじめる前まえに、右辺うへんが像ぞうの中なかにあるかを確認かくにんするのが第一だいいち判定はんていである。


3問題もんだい 2:特殊解とくしゅかいparticular solution + 核かくkernel

問題もんだい 1 の L について、L(x,y)=(1,2) の一般解いっぱんかいを求もとめよ。

3.1解答例かいとうれい

L(x,y)=(1,2) は

x+y=1

と同値どうちである。特殊解とくしゅかいとして xp=(1,0) を取とる。

核かくは

kerL={(x,y)∣x+y=0}={(t,-t)∣t∈R}

である。したがって一般解いっぱんかいは

(x,y)=(1,0)+(t,-t)=(1+t,-t),t∈R

である。

3.2解説かいせつ

非ひ同次どうじ解かい集合しゅうごうはベクトル空間くうかんvector spaceではなく、核かくを平行移動へいこういどうしたアフィン空間くうかんaffine spaceである。


4問題もんだい 3:階数退化次数定理かいすうたいかじすうていりrank-nullity theorem

T:R3→R2 を

T(x,y,z)=(x+z,y-z)

で定義ていぎする。kerT、ImT、rankT、nullityT を求もとめ、階数かいすう退化たいか次数じすう定理ていりを確認かくにんせよ。

4.1解答例かいとうれい

T(x,y,z)=0 は

x+z=0,y-z=0

である。z=t と置おくと x=-t、y=t だから

kerT={(-t,t,t)∣t∈R}

である。したがって nullityT=1 である。

像ぞうについて、任意にんいの (u,v)∈R2 に対たいして z=0、x=u、y=v とすれば

T(u,v,0)=(u,v)

である。したがって ImT=R2 であり、rankT=2 である。

よって

dimR3=3=1+2=nullityT+rankT

であり、階数かいすう退化たいか次数じすう定理ていりが確認かくにんできる。

4.2解説かいせつ

入力にゅうりょく 3 次元じげんのうち 1 次元じげんが核かくとして潰つぶれ、残のこり 2 次元じげんが出力しゅつりょくとして像ぞうに残のこっている。


5問題もんだい 4:多項式作用素たこうしきさようそpolynomial operator

T:R2→R2 を T(x,y)=(2x,3y) とする。p(t)=t-2 とおく。p(T)(x,y)、kerp(T)、Imp(T) を求もとめよ。

5.1解答例かいとうれい

p(T)=T-2I である。したがって

p(T)(x,y)=T(x,y)-2(x,y)=(2x,3y)-(2x,2y)=(0,y)

である。

よって

kerp(T)={(x,y)∣(0,y)=(0,0)}={(x,0)∣x∈R}

であり、

Imp(T)={(0,y)∣y∈R}

である。

5.2解説かいせつ

T の固有値こゆうち 2 に対応たいおうする固有こゆう方向ほうこうが ker(T-2I) として現あらわれている。固有値問題こゆうちもんだいも、核かくを調しらべる問題もんだいである。


6問題もんだい 5:シフト作用素さようそshift operator

列れつ空間上くうかんじょうの E を (Ea)n=an+1 とする。P(E)=E-2I と置おく。方程式ほうていしき

(E-2I)a=0

を解釈かいしゃくし、an=C2n が解かいであることを示しめせ。

6.1解答例かいとうれい

方程式ほうていしき (E-2I)a=0 は

an+1-2an=0

すなわち

an+1=2an

を意味いみする。an=C2n とすると

an+1=C2n+1=2C2n=2an

なので解かいである。

6.2解説かいせつ

2n はシフト作用素さようそ E の固有こゆう列れつであり、E(2n)=2·2n を満みたす。したがって E-2I の核かくに入いる。


7関連講義かんれんこうぎ

data/lecture/math/linear-operator/linear-operator-equation-basics.lecture.n.md data/lecture/math/linear-operator/polynomial-operators-and-eigenvalue-problems.lecture.n.md data/lecture/math/sequence/shift-operators-and-recurrences.lecture.n.md
raw .n.md をコピー
loc をコピー (filepath:line ~ line)
copy share link
copy encoded share link
path をコピー
copy share link
copy encoded share link
copy share link
copy encoded share link
タブを全て閉じる