日記2

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

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

定理1.18 最大値と最小値の存在 30項

定理1.18 最大値と最小値の存在 30項 とする.このとき,閉区間上の連続関数は最大値と最小値をもつ.すなわち に対して が成立する.但し,を最大値,を最小値とよぶ. (証明) 準備 s.t. () ① s.t. () ② とする.連続関数について と置けば と書ける.この…

定理1.7の系 25項

定理1.7の系 25項 多項式は連続関数である.また,有理式は分母がにならない所で連続関数である. (証明) (1) 多項式について s.t. () () と置く.このとき に対して () を示す.但し である.多項式に対してと置けば () であるから,実質的に多項式関数を実…