タグ付き分割とリーマン和

定義 2.2（「積分の基本定理と定積分」§2）

分割 $\Delta$ の各小区間から代表点 $\xi_i \in [x_{i-1}, x_i]$ を 1 つずつ選んだ組 $(\Delta, \boldsymbol{\xi})$ を タグ付き分割 といい、

R(\Delta, \boldsymbol{\xi}, f) = \sum_{i=1}^{n} f(\xi_i) \, \Delta x_i

を リーマン和 という。

閉包の状態

定義

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

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