日記2

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

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

定理2.1 微分可能性の必要十分条件 42項

・用語 「の周りで」とは, > が存在して,開区間で,という意味である. 定理2.1 微分可能性の必要十分条件 42項 とする.このとき がで微分可能である と書けることをいう.但し,は自由変項,はの周りで定義された関数で,で連続,をみたす(このときであ…

単位行列の性質 12項

単位行列の性質 12項 とする.但し,を単位行列とよぶ.このとき,次のことが成り立つ. (16) (ア) (イ) (証明) s.t. に対してと置くと であるから,数の性質より が成立する.したがって,(16)が示された.▢

定理1.23 一様連続性 36項

定理1.23 一様連続性 36項 とする.このときがで連続なら s.t. ① s.t. ① s.t. ② s.t. ② に対して < < が成立する.このことを,連続関数は閉区間上で一様連続である,という. 準備 閉区間で連続関数が与えられているので i.e. (∧-除去,選言三段論法による)…