SlideShare a Scribd company logo
mを0でない整数とし,関数fj :R→R(j=1,2,3,4)を,
f1(x) = cos 2mx, f2(x) = sin 2mx, f3(x) = cos(2m − 1)x, f4(x) = sin(2m − 1)x と定める.
R 上の実数値連続関数全体のなす実線形空間において, S = {f1,f2,f3,f4} が生成する
部分空間を V とする.
このとき以下の問に答えよ.
(1) S は V の基底であることを示せ.
(2) V の線形変換D:h →DhおよびT :h →Thを以下のように定める.
(Dh)(x) =
dh(x)
dx
(T h)(x) = h(x + π/2).
このとき,基底 S に関する D および T の表現行列をそれぞれ求めよ.
(3) (Dh)(x) − (T h)(x) = cos 2mx となる h ∈ V をすべて求めよ
[mを0でない整数とし,関数fj :R→R(j=1,2,3,4)を,
f1(x) = cos 2mx, f2(x) = sin 2mx, f3(x) = cos(2m − 1)x, f4(x) = sin(2m − 1)x と定める.
R 上の実数値連続関数全体のなす実線形空間において, S = {f1,f2,f3,f4} が生成する
部分空間を V とする..
(1) S は V の基底であることを示せ.
証明
λ1cos 2mx+λ2sin 2mx+λ3cos(2m − 1)x+λ4sin(2m − 1)x =0とする。
x=0で𝜆1 + 𝜆3 = 0
𝑥 = 𝜋で𝜆1 𝑐𝑜𝑠2𝑚π+𝜆3 cos 2𝑚 − 1 𝜋 = 0 𝜆1 − 𝜆3 = 0 よって𝜆1 = 𝜆3 = 0
よって𝜆2 𝑐𝑜𝑠2𝑚x+𝜆3 cos 2𝑚 − 1 𝑥 = 0
x=π/2で𝜆4=0
よって𝜆2 𝑐𝑜𝑠2𝑚x = 0 𝜆2 = 0
よって1次独立。
mを0でない整数とし,関数fj :R→R(j=1,2,3,4)を,
f1(x) = cos 2mx, f2(x) = sin 2mx, f3(x) = cos(2m − 1)x, f4(x) = sin(2m − 1)x と定める.
R 上の実数値連続関数全体のなす実線形空間において, S = {f1,f2,f3,f4} が生成する
部分空間を V とする.
(2) V の線形変換D:h →DhおよびT :h →Thを以下のように定める.
(Dh)(x) =
dh(x)
dx
(T h)(x) = h(x + π/2).
このとき,基底 S に関する D および T の表現行列をそれぞれ求めよ.
計算
D f1(x)=-2m f2(x)
以下同様にして
D(f1,f2,f3,f4)=D(-2mf2,2mf1,-(2m-1)f4,(2m-1)f3)=(f1,f2,f3,f4)
0 2𝑚 0 0
−2𝑚 0 0 0
0 0 0 2𝑚 − 1
0 0 −(2𝑚 − 1) 0
T f1(x)=
−f1(x) 𝑚が奇数の時
f1(x) 𝑚が偶数の時
以下同様にして
T(f1,f2,f3,f4)=T((−1)
𝑚
f1, (−1)
𝑚
f2, (−1)
𝑚
f4, (−1)
𝑚
f3)=(f1,f2,f3,f4)
(−1)
𝑚
0 0 0
0 (−1)
𝑚
0 0
0 0 0 (−1)
𝑚
𝑚
mを0でない整数とし,関数fj :R→R(j=1,2,3,4)を,
f1(x) = cos 2mx, f2(x) = sin 2mx, f3(x) = cos(2m − 1)x, f4(x) = sin(2m − 1)x と定める.
R 上の実数値連続関数全体のなす実線形空間において, S = {f1,f2,f3,f4} が生成する
部分空間を V とする.
(3) (Dh)(x) − (T h)(x) = cos 2mx となる h ∈ V をすべて求めよ
計算
h=λ1f1+λ2f2+λ3f3+λ4f4であったとする。
Dh-Th=-2mλ1f2+2mλ2f1+(2m-1)λ3f4+(2m-1)λ4f3
-{(−1)
𝑚
λ1f1+(−1)
𝑚
λ2f2+(−1)
𝑚
λ3f4+(−1)
𝑚
λ4f3}
={2mλ2-(−1)
𝑚+1
λ1} f1-{2mλ1+(−1)
𝑚
λ2}f2+{(2m-1)λ4+(−1)
𝑚+1
λ4}f3-{(2m-1)λ3+(−1)
𝑚
λ3} f4
Dh-Th=f1 の時
0={2mλ2-(−1)
𝑚+1
λ1-1}f1-{2mλ1+(−1)
𝑚
λ2}f2+{(2m-1)λ4+(−1)
𝑚+1
λ4}f3-{(2m-1)λ3+(−1)
𝑚
λ3} f4
S = {f1,f2,f3,f4}の独立性より
{2mλ2-(−1)
𝑚+1
λ1-1}=0
{2mλ1+(−1)
𝑚
λ2}=0
{(2m-1)λ4+(−1)
𝑚+1
λ4}=0
{(2m-1)λ3+(−1)
𝑚
λ3}=0
1、2行目からλ1=
−1 𝑚+1
4𝑚2+1
λ2=
2𝑚
4𝑚2+1
3行目から −1 𝑚+1=1の時、2m-1+1=0 m=0だが −1 0+1=-1より矛盾
3行目から −1 𝑚+1
=-1の時、2m-1-1=0 m=1だが −1 1+1
=1より矛盾
したがって2m-1)λ4+(−1)
𝑚+1
は0でない。したがってλ4=0
4行目から −1 𝑚=1の時、2m-1+1=0 m=0だが −1 0=1より適切
4行目から −1 𝑚=-1の時、2m-1-1=0 m=1だが −1 1=-1より適切
問題の仮定よりmは0でない
答え mが1でない時:h=
−1 𝑚+1
4𝑚2+1
f1+
2𝑚
4𝑚2+1
f2 その他の場合:h=
−1 𝑚+1
4𝑚2+1
f1+
2𝑚
4𝑚2+1
f2 + λ3f3 λ3∈R

More Related Content

What's hot

グラフと閉集合
グラフと閉集合グラフと閉集合
グラフと閉集合政孝 鍋島
 
Magical
MagicalMagical
Magicaloupc
 
f(x)=0と極値の問題
f(x)=0と極値の問題f(x)=0と極値の問題
f(x)=0と極値の問題政孝 鍋島
 
ラグランジュの未定乗数法
ラグランジュの未定乗数法ラグランジュの未定乗数法
ラグランジュの未定乗数法政孝 鍋島
 
ラグランジュの未定乗数法
ラグランジュの未定乗数法ラグランジュの未定乗数法
ラグランジュの未定乗数法nabeshimamasataka
 
トーラスと平面の部分集合のホモロジー
トーラスと平面の部分集合のホモロジートーラスと平面の部分集合のホモロジー
トーラスと平面の部分集合のホモロジー政孝 鍋島
 
対角線上の位相
対角線上の位相対角線上の位相
対角線上の位相政孝 鍋島
 
平面グラフ
平面グラフ平面グラフ
平面グラフyutaka1999
 
UTPC2012 - K
UTPC2012 - KUTPC2012 - K
UTPC2012 - Komeometo
 
らプラシアン作用素
らプラシアン作用素らプラシアン作用素
らプラシアン作用素政孝 鍋島
 
Tapl 5
Tapl 5Tapl 5
Tapl 5rf0444
 
データ圧縮
データ圧縮データ圧縮
データ圧縮Joe Suzuki
 
楕円形の連結を使った最小値問題
楕円形の連結を使った最小値問題楕円形の連結を使った最小値問題
楕円形の連結を使った最小値問題政孝 鍋島
 

What's hot (17)

ロマ数16 simizut
ロマ数16 simizutロマ数16 simizut
ロマ数16 simizut
 
グラフと閉集合
グラフと閉集合グラフと閉集合
グラフと閉集合
 
Magical
MagicalMagical
Magical
 
f(x)=0と極値の問題
f(x)=0と極値の問題f(x)=0と極値の問題
f(x)=0と極値の問題
 
f(x)=0と極値の問題
f(x)=0と極値の問題f(x)=0と極値の問題
f(x)=0と極値の問題
 
ラグランジュの未定乗数法
ラグランジュの未定乗数法ラグランジュの未定乗数法
ラグランジュの未定乗数法
 
ラグランジュの未定乗数法
ラグランジュの未定乗数法ラグランジュの未定乗数法
ラグランジュの未定乗数法
 
トーラスと平面の部分集合のホモロジー
トーラスと平面の部分集合のホモロジートーラスと平面の部分集合のホモロジー
トーラスと平面の部分集合のホモロジー
 
対角線上の位相
対角線上の位相対角線上の位相
対角線上の位相
 
平面グラフ
平面グラフ平面グラフ
平面グラフ
 
UTPC2012 - K
UTPC2012 - KUTPC2012 - K
UTPC2012 - K
 
ラプシアン作用素
ラプシアン作用素ラプシアン作用素
ラプシアン作用素
 
らプラシアン作用素
らプラシアン作用素らプラシアン作用素
らプラシアン作用素
 
Tapl 5
Tapl 5Tapl 5
Tapl 5
 
統計検定3級 4
統計検定3級 4統計検定3級 4
統計検定3級 4
 
データ圧縮
データ圧縮データ圧縮
データ圧縮
 
楕円形の連結を使った最小値問題
楕円形の連結を使った最小値問題楕円形の連結を使った最小値問題
楕円形の連結を使った最小値問題
 

Similar to 表現行列の問題

代数トポロジー入門
代数トポロジー入門代数トポロジー入門
代数トポロジー入門Tatsuki SHIMIZU
 
2次元曲面の極値の問題
2次元曲面の極値の問題2次元曲面の極値の問題
2次元曲面の極値の問題政孝 鍋島
 
2次曲面の極値の問題
2次曲面の極値の問題2次曲面の極値の問題
2次曲面の極値の問題nabeshimamasataka
 
複素数・四元数と図形の回転
複素数・四元数と図形の回転複素数・四元数と図形の回転
複素数・四元数と図形の回転Yoshihiro Mizoguchi
 
Introduction to Categorical Programming (Revised)
Introduction to Categorical Programming (Revised)Introduction to Categorical Programming (Revised)
Introduction to Categorical Programming (Revised)Masahiro Sakai
 
2次関数と表現行列と内積
2次関数と表現行列と内積2次関数と表現行列と内積
2次関数と表現行列と内積政孝 鍋島
 
SICP
SICPSICP
SICPS W
 
ベクトル空間と表現行列
ベクトル空間と表現行列ベクトル空間と表現行列
ベクトル空間と表現行列nabeshimamasataka
 
ベクトル空間と表現行列
ベクトル空間と表現行列ベクトル空間と表現行列
ベクトル空間と表現行列政孝 鍋島
 
代数的実数とCADの実装紹介
代数的実数とCADの実装紹介代数的実数とCADの実装紹介
代数的実数とCADの実装紹介Masahiro Sakai
 
第8章 ガウス過程回帰による異常検知
第8章 ガウス過程回帰による異常検知第8章 ガウス過程回帰による異常検知
第8章 ガウス過程回帰による異常検知Chika Inoshita
 
D上の関数の極値の問題
D上の関数の極値の問題D上の関数の極値の問題
D上の関数の極値の問題nabeshimamasataka
 
2014年度秋学期 応用数学(解析) 第1回 イントロダクション (2014. 9. 25)
2014年度秋学期 応用数学(解析) 第1回 イントロダクション (2014. 9. 25)2014年度秋学期 応用数学(解析) 第1回 イントロダクション (2014. 9. 25)
2014年度秋学期 応用数学(解析) 第1回 イントロダクション (2014. 9. 25)Akira Asano
 
曲面の面積の計算と証明
曲面の面積の計算と証明曲面の面積の計算と証明
曲面の面積の計算と証明nabeshimamasataka
 
曲面の面積の計算と証明
曲面の面積の計算と証明 曲面の面積の計算と証明
曲面の面積の計算と証明 政孝 鍋島
 
Introduction to Categorical Programming
Introduction to Categorical ProgrammingIntroduction to Categorical Programming
Introduction to Categorical ProgrammingMasahiro Sakai
 

Similar to 表現行列の問題 (20)

PRML 10.4 - 10.6
PRML 10.4 - 10.6PRML 10.4 - 10.6
PRML 10.4 - 10.6
 
代数トポロジー入門
代数トポロジー入門代数トポロジー入門
代数トポロジー入門
 
2次元曲面の極値の問題
2次元曲面の極値の問題2次元曲面の極値の問題
2次元曲面の極値の問題
 
2次曲面の極値の問題
2次曲面の極値の問題2次曲面の極値の問題
2次曲面の極値の問題
 
複素数・四元数と図形の回転
複素数・四元数と図形の回転複素数・四元数と図形の回転
複素数・四元数と図形の回転
 
Introduction to Categorical Programming (Revised)
Introduction to Categorical Programming (Revised)Introduction to Categorical Programming (Revised)
Introduction to Categorical Programming (Revised)
 
PRML セミナー
PRML セミナーPRML セミナー
PRML セミナー
 
PRML 第4章
PRML 第4章PRML 第4章
PRML 第4章
 
2次関数と表現行列と内積
2次関数と表現行列と内積2次関数と表現行列と内積
2次関数と表現行列と内積
 
SICP
SICPSICP
SICP
 
120919 kyushu
120919 kyushu120919 kyushu
120919 kyushu
 
ベクトル空間と表現行列
ベクトル空間と表現行列ベクトル空間と表現行列
ベクトル空間と表現行列
 
ベクトル空間と表現行列
ベクトル空間と表現行列ベクトル空間と表現行列
ベクトル空間と表現行列
 
代数的実数とCADの実装紹介
代数的実数とCADの実装紹介代数的実数とCADの実装紹介
代数的実数とCADの実装紹介
 
第8章 ガウス過程回帰による異常検知
第8章 ガウス過程回帰による異常検知第8章 ガウス過程回帰による異常検知
第8章 ガウス過程回帰による異常検知
 
D上の関数の極値の問題
D上の関数の極値の問題D上の関数の極値の問題
D上の関数の極値の問題
 
2014年度秋学期 応用数学(解析) 第1回 イントロダクション (2014. 9. 25)
2014年度秋学期 応用数学(解析) 第1回 イントロダクション (2014. 9. 25)2014年度秋学期 応用数学(解析) 第1回 イントロダクション (2014. 9. 25)
2014年度秋学期 応用数学(解析) 第1回 イントロダクション (2014. 9. 25)
 
曲面の面積の計算と証明
曲面の面積の計算と証明曲面の面積の計算と証明
曲面の面積の計算と証明
 
曲面の面積の計算と証明
曲面の面積の計算と証明 曲面の面積の計算と証明
曲面の面積の計算と証明
 
Introduction to Categorical Programming
Introduction to Categorical ProgrammingIntroduction to Categorical Programming
Introduction to Categorical Programming
 

More from nabeshimamasataka

More from nabeshimamasataka (20)

双曲幾何学
双曲幾何学双曲幾何学
双曲幾何学
 
ゼータ関数と任意の正の数への収束
ゼータ関数と任意の正の数への収束ゼータ関数と任意の正の数への収束
ゼータ関数と任意の正の数への収束
 
少し複雑な積分問題
少し複雑な積分問題少し複雑な積分問題
少し複雑な積分問題
 
関数の各点収束と一様収束
関数の各点収束と一様収束関数の各点収束と一様収束
関数の各点収束と一様収束
 
積分と漸化式
積分と漸化式積分と漸化式
積分と漸化式
 
ガウス積分
ガウス積分ガウス積分
ガウス積分
 
D上の関数の極値の問題
D上の関数の極値の問題D上の関数の極値の問題
D上の関数の極値の問題
 
発散と収束の証明
発散と収束の証明発散と収束の証明
発散と収束の証明
 
面積と長さの問題
面積と長さの問題面積と長さの問題
面積と長さの問題
 
2つのトーラスの合体
2つのトーラスの合体2つのトーラスの合体
2つのトーラスの合体
 
メビウスの帯とトーラス
メビウスの帯とトーラスメビウスの帯とトーラス
メビウスの帯とトーラス
 
3つの球体の合体
3つの球体の合体3つの球体の合体
3つの球体の合体
 
凸角形全体の位相の性質
凸角形全体の位相の性質凸角形全体の位相の性質
凸角形全体の位相の性質
 
コンパクトとハウスドルフの問題
コンパクトとハウスドルフの問題コンパクトとハウスドルフの問題
コンパクトとハウスドルフの問題
 
円の位相
円の位相円の位相
円の位相
 
位相と有限集合
位相と有限集合位相と有限集合
位相と有限集合
 
(a,b]位相とコンパクト性
(a,b]位相とコンパクト性(a,b]位相とコンパクト性
(a,b]位相とコンパクト性
 
積位相とコンパクト
積位相とコンパクト積位相とコンパクト
積位相とコンパクト
 
(-∞,a)位相
(-∞,a)位相(-∞,a)位相
(-∞,a)位相
 
関数列の極限
関数列の極限関数列の極限
関数列の極限
 

Recently uploaded

2024年度 東京工業大学 工学院 機械系 大学院 修士課程 入試 説明会 資料
2024年度 東京工業大学 工学院 機械系 大学院 修士課程 入試 説明会 資料2024年度 東京工業大学 工学院 機械系 大学院 修士課程 入試 説明会 資料
2024年度 東京工業大学 工学院 機械系 大学院 修士課程 入試 説明会 資料Tokyo Institute of Technology
 
On community support centres as a sales destination.pdf
On community support centres as a sales destination.pdfOn community support centres as a sales destination.pdf
On community support centres as a sales destination.pdfoganekyokoi
 
The types of disability that administrative scrivener involved in the disabil...
The types of disability that administrative scrivener involved in the disabil...The types of disability that administrative scrivener involved in the disabil...
The types of disability that administrative scrivener involved in the disabil...oganekyokoi
 
Key points of the revision of the Inheritance Law Contribution and Special Co...
Key points of the revision of the Inheritance Law Contribution and Special Co...Key points of the revision of the Inheritance Law Contribution and Special Co...
Key points of the revision of the Inheritance Law Contribution and Special Co...oganekyokoi
 
ゲーム理論 BASIC 演習108 -フリーライダー② -#ゲーム理論 #gametheory #数学
ゲーム理論 BASIC 演習108 -フリーライダー② -#ゲーム理論 #gametheory #数学ゲーム理論 BASIC 演習108 -フリーライダー② -#ゲーム理論 #gametheory #数学
ゲーム理論 BASIC 演習108 -フリーライダー② -#ゲーム理論 #gametheory #数学ssusere0a682
 
〔第27回日本高等教育学会年会発表〕IRにおける教務概念のオントロジー化 − 情報科学からのアプローチ −
〔第27回日本高等教育学会年会発表〕IRにおける教務概念のオントロジー化 −	情報科学からのアプローチ −〔第27回日本高等教育学会年会発表〕IRにおける教務概念のオントロジー化 −	情報科学からのアプローチ −
〔第27回日本高等教育学会年会発表〕IRにおける教務概念のオントロジー化 − 情報科学からのアプローチ −東京工業大学
 
How to create a Divorce Agreement. Presented by Wadatsumi
How to create a Divorce Agreement. Presented by WadatsumiHow to create a Divorce Agreement. Presented by Wadatsumi
How to create a Divorce Agreement. Presented by Wadatsumioganekyokoi
 
To obtain the status of Foreigners' Immigration Residence Operations Specifie...
To obtain the status of Foreigners' Immigration Residence Operations Specifie...To obtain the status of Foreigners' Immigration Residence Operations Specifie...
To obtain the status of Foreigners' Immigration Residence Operations Specifie...oganekyokoi
 
modul belajar bagasa jepang pemula -N5.pdf
modul belajar bagasa jepang pemula -N5.pdfmodul belajar bagasa jepang pemula -N5.pdf
modul belajar bagasa jepang pemula -N5.pdfjaquarisjaquaris
 
東京工業大学 大学院 6学院入試説明会資料 2024年度受験者向け
東京工業大学 大学院 6学院入試説明会資料 2024年度受験者向け東京工業大学 大学院 6学院入試説明会資料 2024年度受験者向け
東京工業大学 大学院 6学院入試説明会資料 2024年度受験者向けTokyo Institute of Technology
 

Recently uploaded (10)

2024年度 東京工業大学 工学院 機械系 大学院 修士課程 入試 説明会 資料
2024年度 東京工業大学 工学院 機械系 大学院 修士課程 入試 説明会 資料2024年度 東京工業大学 工学院 機械系 大学院 修士課程 入試 説明会 資料
2024年度 東京工業大学 工学院 機械系 大学院 修士課程 入試 説明会 資料
 
On community support centres as a sales destination.pdf
On community support centres as a sales destination.pdfOn community support centres as a sales destination.pdf
On community support centres as a sales destination.pdf
 
The types of disability that administrative scrivener involved in the disabil...
The types of disability that administrative scrivener involved in the disabil...The types of disability that administrative scrivener involved in the disabil...
The types of disability that administrative scrivener involved in the disabil...
 
Key points of the revision of the Inheritance Law Contribution and Special Co...
Key points of the revision of the Inheritance Law Contribution and Special Co...Key points of the revision of the Inheritance Law Contribution and Special Co...
Key points of the revision of the Inheritance Law Contribution and Special Co...
 
ゲーム理論 BASIC 演習108 -フリーライダー② -#ゲーム理論 #gametheory #数学
ゲーム理論 BASIC 演習108 -フリーライダー② -#ゲーム理論 #gametheory #数学ゲーム理論 BASIC 演習108 -フリーライダー② -#ゲーム理論 #gametheory #数学
ゲーム理論 BASIC 演習108 -フリーライダー② -#ゲーム理論 #gametheory #数学
 
〔第27回日本高等教育学会年会発表〕IRにおける教務概念のオントロジー化 − 情報科学からのアプローチ −
〔第27回日本高等教育学会年会発表〕IRにおける教務概念のオントロジー化 −	情報科学からのアプローチ −〔第27回日本高等教育学会年会発表〕IRにおける教務概念のオントロジー化 −	情報科学からのアプローチ −
〔第27回日本高等教育学会年会発表〕IRにおける教務概念のオントロジー化 − 情報科学からのアプローチ −
 
How to create a Divorce Agreement. Presented by Wadatsumi
How to create a Divorce Agreement. Presented by WadatsumiHow to create a Divorce Agreement. Presented by Wadatsumi
How to create a Divorce Agreement. Presented by Wadatsumi
 
To obtain the status of Foreigners' Immigration Residence Operations Specifie...
To obtain the status of Foreigners' Immigration Residence Operations Specifie...To obtain the status of Foreigners' Immigration Residence Operations Specifie...
To obtain the status of Foreigners' Immigration Residence Operations Specifie...
 
modul belajar bagasa jepang pemula -N5.pdf
modul belajar bagasa jepang pemula -N5.pdfmodul belajar bagasa jepang pemula -N5.pdf
modul belajar bagasa jepang pemula -N5.pdf
 
東京工業大学 大学院 6学院入試説明会資料 2024年度受験者向け
東京工業大学 大学院 6学院入試説明会資料 2024年度受験者向け東京工業大学 大学院 6学院入試説明会資料 2024年度受験者向け
東京工業大学 大学院 6学院入試説明会資料 2024年度受験者向け
 

表現行列の問題

  • 1. mを0でない整数とし,関数fj :R→R(j=1,2,3,4)を, f1(x) = cos 2mx, f2(x) = sin 2mx, f3(x) = cos(2m − 1)x, f4(x) = sin(2m − 1)x と定める. R 上の実数値連続関数全体のなす実線形空間において, S = {f1,f2,f3,f4} が生成する 部分空間を V とする. このとき以下の問に答えよ. (1) S は V の基底であることを示せ. (2) V の線形変換D:h →DhおよびT :h →Thを以下のように定める. (Dh)(x) = dh(x) dx (T h)(x) = h(x + π/2). このとき,基底 S に関する D および T の表現行列をそれぞれ求めよ. (3) (Dh)(x) − (T h)(x) = cos 2mx となる h ∈ V をすべて求めよ
  • 2. [mを0でない整数とし,関数fj :R→R(j=1,2,3,4)を, f1(x) = cos 2mx, f2(x) = sin 2mx, f3(x) = cos(2m − 1)x, f4(x) = sin(2m − 1)x と定める. R 上の実数値連続関数全体のなす実線形空間において, S = {f1,f2,f3,f4} が生成する 部分空間を V とする.. (1) S は V の基底であることを示せ. 証明 λ1cos 2mx+λ2sin 2mx+λ3cos(2m − 1)x+λ4sin(2m − 1)x =0とする。 x=0で𝜆1 + 𝜆3 = 0 𝑥 = 𝜋で𝜆1 𝑐𝑜𝑠2𝑚π+𝜆3 cos 2𝑚 − 1 𝜋 = 0 𝜆1 − 𝜆3 = 0 よって𝜆1 = 𝜆3 = 0 よって𝜆2 𝑐𝑜𝑠2𝑚x+𝜆3 cos 2𝑚 − 1 𝑥 = 0 x=π/2で𝜆4=0 よって𝜆2 𝑐𝑜𝑠2𝑚x = 0 𝜆2 = 0 よって1次独立。
  • 3. mを0でない整数とし,関数fj :R→R(j=1,2,3,4)を, f1(x) = cos 2mx, f2(x) = sin 2mx, f3(x) = cos(2m − 1)x, f4(x) = sin(2m − 1)x と定める. R 上の実数値連続関数全体のなす実線形空間において, S = {f1,f2,f3,f4} が生成する 部分空間を V とする. (2) V の線形変換D:h →DhおよびT :h →Thを以下のように定める. (Dh)(x) = dh(x) dx (T h)(x) = h(x + π/2). このとき,基底 S に関する D および T の表現行列をそれぞれ求めよ. 計算 D f1(x)=-2m f2(x) 以下同様にして D(f1,f2,f3,f4)=D(-2mf2,2mf1,-(2m-1)f4,(2m-1)f3)=(f1,f2,f3,f4) 0 2𝑚 0 0 −2𝑚 0 0 0 0 0 0 2𝑚 − 1 0 0 −(2𝑚 − 1) 0 T f1(x)= −f1(x) 𝑚が奇数の時 f1(x) 𝑚が偶数の時 以下同様にして T(f1,f2,f3,f4)=T((−1) 𝑚 f1, (−1) 𝑚 f2, (−1) 𝑚 f4, (−1) 𝑚 f3)=(f1,f2,f3,f4) (−1) 𝑚 0 0 0 0 (−1) 𝑚 0 0 0 0 0 (−1) 𝑚 𝑚
  • 4. mを0でない整数とし,関数fj :R→R(j=1,2,3,4)を, f1(x) = cos 2mx, f2(x) = sin 2mx, f3(x) = cos(2m − 1)x, f4(x) = sin(2m − 1)x と定める. R 上の実数値連続関数全体のなす実線形空間において, S = {f1,f2,f3,f4} が生成する 部分空間を V とする. (3) (Dh)(x) − (T h)(x) = cos 2mx となる h ∈ V をすべて求めよ 計算 h=λ1f1+λ2f2+λ3f3+λ4f4であったとする。 Dh-Th=-2mλ1f2+2mλ2f1+(2m-1)λ3f4+(2m-1)λ4f3 -{(−1) 𝑚 λ1f1+(−1) 𝑚 λ2f2+(−1) 𝑚 λ3f4+(−1) 𝑚 λ4f3} ={2mλ2-(−1) 𝑚+1 λ1} f1-{2mλ1+(−1) 𝑚 λ2}f2+{(2m-1)λ4+(−1) 𝑚+1 λ4}f3-{(2m-1)λ3+(−1) 𝑚 λ3} f4 Dh-Th=f1 の時 0={2mλ2-(−1) 𝑚+1 λ1-1}f1-{2mλ1+(−1) 𝑚 λ2}f2+{(2m-1)λ4+(−1) 𝑚+1 λ4}f3-{(2m-1)λ3+(−1) 𝑚 λ3} f4 S = {f1,f2,f3,f4}の独立性より {2mλ2-(−1) 𝑚+1 λ1-1}=0 {2mλ1+(−1) 𝑚 λ2}=0 {(2m-1)λ4+(−1) 𝑚+1 λ4}=0 {(2m-1)λ3+(−1) 𝑚 λ3}=0 1、2行目からλ1= −1 𝑚+1 4𝑚2+1 λ2= 2𝑚 4𝑚2+1 3行目から −1 𝑚+1=1の時、2m-1+1=0 m=0だが −1 0+1=-1より矛盾 3行目から −1 𝑚+1 =-1の時、2m-1-1=0 m=1だが −1 1+1 =1より矛盾 したがって2m-1)λ4+(−1) 𝑚+1 は0でない。したがってλ4=0 4行目から −1 𝑚=1の時、2m-1+1=0 m=0だが −1 0=1より適切 4行目から −1 𝑚=-1の時、2m-1-1=0 m=1だが −1 1=-1より適切 問題の仮定よりmは0でない 答え mが1でない時:h= −1 𝑚+1 4𝑚2+1 f1+ 2𝑚 4𝑚2+1 f2 その他の場合:h= −1 𝑚+1 4𝑚2+1 f1+ 2𝑚 4𝑚2+1 f2 + λ3f3 λ3∈R