日記2

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

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

定理2.1の系 43項

定理2.1の系 43項 関数が点で微分可能なら,関数はで連続である. (証明) 関数がで微分可能である,と仮定すると () がで存在する. 補足 i.e. () これがおそらく無限回微分可能のことだと思われる このとき s.t. s.t. s.t. に対して < < () i.e. < < (量化)…

クロネッカーのデルタの性質 12項

クロネッカーのデルタの性質 12項 (17) (証明) に対して s.t. と置く.このとき と書ける.▢