• 検索結果がありません。

IA No.14

N/A
N/A
Protected

Academic year: 2021

シェア "IA No.14"

Copied!
2
0
0

読み込み中.... (全文を見る)

全文

(1)

数学演習 IA No.14 2019.7.17

1

次の各集合がベクトル空間になるか判定せよ.

(1)

平面内の原点を通る円

(2) {

(

𝑥𝑦

) ∈ ℝ

2

|| || 𝑥𝑦 ≥ 0 }

(3)

空間内の原点を通る直線

(4)

空間内の原点を通らない直線

(5)

空間内の原点を通る平面

2 (1)

実係数の高々

𝑛

次多項式の全体

𝑃

𝑛

(ℝ) = {𝑎

0

+ 𝑎

1

𝑥 + ⋯ + 𝑎

𝑛

𝑥

𝑛

|| | 𝑎

0

, … , 𝑎

𝑛

∈ ℝ}

に ついて零ベクトルが何かを明記し,

𝑃

𝑛

(ℝ)

がベクトル空間であることを示せ.

(2)

写像

𝑇 ∶ ℝ

𝑛+1

→ 𝑃

𝑛

(ℝ)

𝑇(𝑎

0

, 𝑎

1

, … , 𝑎

𝑛

) = 𝑎

0

+ 𝑎

1

𝑥 + ⋯ + 𝑎

𝑛

𝑥

𝑛 と定めると き,

𝑇

は全単射であることを示せ.

3

次の写像は線形写像かどうか述べよ.

𝑃

𝑛

(ℝ)

2

で定めた空間

, 𝑀

𝑛

(ℝ)

𝑛

次実正方行 列である.

(1) 𝑓(

(

𝑥

𝑦 𝑧

) ) =

(

𝑥2

𝑥+𝑦𝑧

)

で定まる

𝑓 ∶ ℝ

3

→ ℝ

3

(2) 𝑓(𝒙) = (𝒂 ⋅ 𝒙)𝒂

で定まる

𝑓 ∶ ℝ

3

→ ℝ

3

(

ただし,

𝒂

は定ベクトル

) (3) 𝑇(𝑓) = 𝑓

(𝑥)𝑥 + 𝑓(0)𝑥

2 で定まる

𝑇 ∶ 𝑃

2

(ℝ) → 𝑃

2

(ℝ)

(4) 𝑇(𝐴) = Tr(𝐴)

で定まる

𝑇 ∶ 𝑀

𝑛

(ℝ) → ℝ

4 𝑛

次正方行列

𝐴 = (𝑎

𝑖𝑗

)

が正則で,各成分

𝑎

𝑖𝑗

= 𝑎

𝑖𝑗

(𝑥)

𝑥

の微分可能な関数であると する.このとき,以下を示せ.

1 det 𝐴

𝑑

𝑑𝑥 det 𝐴 = Tr (𝐴

−1

𝑑𝐴 𝑑𝑥 )

ただし, 𝑑𝐴

𝑑𝑥

= (

𝑎

𝑖𝑗

)

, Tr(𝐴) =

𝑛 𝑗=1

𝑎

𝑗𝑗

.

(

ヒント

: No.10 3 (2)

𝑑

𝑑𝑥

det 𝐴

の式

,

余因子展開,随伴行列の性質を合わせて用いる

)

5

関数

𝑓(𝑥) = { 𝑒

1

𝑥2

, 𝑥 ≠ 0 0, 𝑥 = 0

と定める.

(1) 𝑥 ≠ 0

のとき

𝑓

(𝑛)

(𝑥) = 𝑝

𝑛

(𝑥

−1

)𝑒

−1∕𝑥2 を示せ.ただし

𝑝

𝑛

(𝑥)

𝑥

3𝑛

次多項式

.

(2) 𝑛 ∈ ℤ

≥0に対し

𝑓

(𝑛)

(0) = 0

を示せ.

[

ヒント

:

帰納法

]

以上

(2)

略解

1 (1) No 𝑊 = {

(𝑥, 𝑦) || || (𝑥 − 𝑎)

2

+ (𝑦 − 𝑏)

2

= 𝑎

2

+ 𝑏

2

}

,

ただし

𝑎

2

+ 𝑏

2

≠ 0.

2(𝑎, 𝑏) ∈ 𝑊

だが

(𝑎, 𝑏) ∉ 𝑊.

(2) No

𝑡

(1, 0),

𝑡

(0, −1) ∈ 𝑊

だが𝑡

(1, 0) +

𝑡

(0, −1) =

𝑡

(1, −1) ∉ 𝑊 (3) Yes

方向ベクトル

𝓵

として

𝑊 = {𝑡𝓵 | 𝑡 ∈ ℝ}

𝒙

1

, 𝒙

2

∈ 𝑊

に対し,

𝒙

1

+ 𝒙

2

∈ 𝑊, 𝑝𝒙

1

∈ 𝑊

はすぐわかる

(4) No 𝟎 ∉ 𝑊

(5) Yes

法線ベクトル

𝒉

として

𝑊 = {𝒙 | 𝒉 ⋅ 𝒙 = 0}

であるから,

𝒙

1

, 𝒙

2

∈ 𝑊

に対し

𝒙

1

+ 𝒙

2

∈ 𝑊, 𝑝𝒙

1

∈ 𝑊

は自明.

2 (1)

零ベクトルは

𝑜(𝑥) = 0 + 0𝑥 + 0𝑥

2

+ ⋯ + 0𝑥

𝑛

𝑓(𝑥) = 𝑎

0

+ ⋯ + 𝑎

𝑛

𝑥

𝑛

, 𝑔(𝑥) = 𝑏

0

+ ⋯ + 𝑏

𝑛

𝑥

𝑛に対し

𝑓 + 𝑔 ∈ 𝑃

𝑛

(ℝ), 𝑝𝑓 ∈ 𝑃

𝑛

(ℝ) (2) 𝑎

0

+ ⋯ + 𝑎

𝑛

𝑥

𝑛

= 𝑏

0

+ ⋯ + 𝑏

𝑛

𝑥

𝑛ならば

𝑎

0

= 𝑏

0

, … , 𝑎

𝑛

= 𝑏

𝑛

任意の

𝑓 ∈ 𝑃

𝑛

(ℝ)

に対し

∃(𝑎

0

, … , 𝑎

𝑛

) s.t. 𝑇(𝑎

0

, … , 𝑎

𝑛

) = 𝑓

3 (1) No

例えば,

𝑓(2

(

1

00

)

) ≠ 2𝑓(

(

1

00

) ) (2) Yes

𝑓(𝒙

1

+ 𝒙

2

) = (𝒂 ⋅ (𝒙

1

+ 𝒙

2

))𝒂 = 𝑓(𝒙

1

) + 𝑓(𝒙

2

), 𝑓(𝑐𝒙) = (𝒂 ⋅ 𝑐𝒙)𝒂 = 𝑐𝑓(𝒙) (3) Yes

𝑇(𝑓 + 𝑔) = (𝑓

(𝑥) + 𝑔

(𝑥))𝑥 + (𝑓(0) + 𝑔(0))𝑥

2

= 𝑇(𝑓) + 𝑇(𝑔), 𝑇(𝑐𝑓) = 𝑐𝑓

(𝑥)𝑥 + 𝑐𝑓(0)𝑥

2

= 𝑐𝑇(𝑓)

(4) Yes

Tr(𝐴 + 𝐵) = Tr(𝐴) + Tr(𝐵), Tr(𝑐𝐴) = 𝑐 Tr(𝐴)

4

随伴行列

(

教科書の呼び方)の

(𝑗, 𝑖)

成分

𝛽

𝑖𝑗

= (−1)

𝑖+𝑗

det 𝐴

𝑖𝑗

,

ただし,

𝐴

𝑖𝑗

𝐴

から

𝑖

𝑗

列を取り除いたもの

.

このとき,

(

𝐴

−1

)

𝑖𝑗

=

1

det𝐴

𝛽

𝑗𝑖

.

No.10

で示したように行列式を微分して,さらに微分した行について展開すると

𝑑

𝑑𝑥 det 𝐴 =

𝑛 𝑖=1

det

𝑎

11

… 𝑎

1𝑛

⋮ ⋯ ⋮ 𝑎

𝑖1

⋯ 𝑎

𝑖𝑛

⋮ ⋯ ⋮ 𝑎

𝑛1

… 𝑎

𝑛𝑛

=

𝑛 𝑖=1

𝑛 𝑗=1

𝑎

𝑖,𝑗

𝛽

𝑖,𝑗

= det(𝐴) ∑

𝑖,𝑗

( 𝑑𝐴 𝑑𝑥 )

𝑖𝑗

( 𝐴

−1

)

𝑗𝑖

5 (1) 𝑝

0

(𝑥) = 1

𝑛 = 0

成立

𝑛

で成立するとして微分すると

, 𝑡 = 1∕𝑥

として

𝑝

𝑛+1

(𝑡) = 2𝑡

3

𝑝

𝑛

(𝑡) − 𝑡

2

𝑝

𝑛

(𝑡)

が得 られて

𝑛 + 1

でも成立する.

(2) 𝑓

(𝑛)

(0) = 0

と仮定すると

lim

𝑥→0

𝑓

(𝑛)

(𝑥) − 𝑓

(𝑛)

(0) 𝑥 − 0 = lim

𝑥→0

𝑥

−1

𝑝

𝑛

(1∕𝑥)𝑒

−1∕𝑥2

= lim

|𝑡|→∞

𝑡 𝑝

𝑛

(𝑡) 𝑒

𝑡2

= 0

最後は,たとえば,

𝑥 > 0

のときに

𝑒

𝑥

>

𝑥

𝑘

𝑘!

より従う.これから

𝑓

(𝑛+1)

(0) = 0.

参照

関連したドキュメント

PowerSever ( PB Edition ) は、 Appeon PowerBuilder 2017 R2 日本語版 Universal Edition で提供される PowerServer を示しており、 .NET IIS

III.2 Polynomial majorants and minorants for the Heaviside indicator function 78 III.3 Polynomial majorants and minorants for the stop-loss function 79 III.4 The

191 IV.5.1 Analytical structure of the stop-loss ordered minimal distribution 191 IV.5.2 Comparisons with the Chebyshev-Markov extremal random variables 194 IV.5.3 Small

なぜ、窓口担当者はこのような対応をしたのかというと、実は「正確な取

のようにすべきだと考えていますか。 やっと開通します。長野、太田地区方面  

“Breuil-M´ezard conjecture and modularity lifting for potentially semistable deformations after

Desk Navigator グ ループ 通常業務の設定」で記載されているRidoc Desk Navigator V4への登録 方法に加えて新製品「RICOH Desk

PayOff Plus is a highly refined and processed sprayable ammonium sulfate/polmeric combination designed to improve the performance of herbicides by reducing antagonism in the