日記2

自然演繹を積極的に用いたい.

2023-10-22から1日間の記事一覧

定理2.2 43項

定理2.2 43項 関数とがで微分可能ならも微分可能で (1) (2) (3) () (4) (5) () と書ける. (証明) (1)について 条件よりはで微分可能であるから が存在する.同様にについても がある.このときも微分可能であり と書けることを示す. いま に対して s.t. s.…