回答

✨ ベストアンサー ✨

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₂ ◻︎

ピーターパン

すばらしい回答ありがとうございます 🙏🙏🙏🙏

最初全くわからなかったのでこれを見て勉強したいと思います!

gößt

がんばってください(`・ω・´)

この回答にコメントする
疑問は解決しましたか?

この質問を見ている人は
こちらの質問も見ています😉