数学 › 常微分方程式 › 常微分方程式の初等解法

延長と最大解

定義 6.1（「常微分方程式の初等解法」§6）

(φ,I)(\varphi,I) と (ψ,J)(\psi,J) を (E) の解とする。I⊂JI\subset J かつ ψ∣I=φ\psi|_I=\varphi のとき、ψ\psi を φ\varphi の延長という。φ\varphi 自身以外に延長を持たない解を最大解という。

本文で読む（前後の説明と例）→

閉包の状態

定義

定義は閉包の起点です（証明を要しません）。

印の意味: ✓公理まで証明済み ・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は 閉包の状況。

これを使っている定理 証明で参照している 1 件

関連するノック 2 問