✨ ベストアンサー ✨
F^ℝ(ℝ) という記号は始めて見たのですが、C^∞級関数全体か何かを指しているのでしょうか?下の回答であってるとは思いますが記号の正体がわからないので若干気になるところではあります
(証)
(D₀⊂D₁∩D₂)
∀y∈D₀ に対して、y'=3y より
y"-5y'+6y=(y'-3y)'-2(y'-3y)=0
y"-7y'+12y=(y'-3y)'-4(y'-3y)=0
よって、y∈D₁ かつ y∈D₂ なので
y∈D₁∩D₂
ゆえに、D₀⊂D₁∩D₂
(D₀⊃D₁∩D₂)
∀y∈D₁∩D₂ に対して、y∈D₁ かつ y∈D₂ より
y"-5y'+6y=0
y"-7y'+12y=0
辺々引くと
2y'-6y=0
y'=3y
∴y∈D₀
ゆえに、D₀⊃D₁∩D₂
以上より、
D₀=D₁∩D₂ ◻︎
がんばってください(`・ω・´)
すばらしい回答ありがとうございます 🙏🙏🙏🙏
最初全くわからなかったのでこれを見て勉強したいと思います!