数学 › 高校数学:数と式・整数・数列 › 数列
数列と和の記号
実数の数列とは、 から への対応 (項 の並び)のことで、 と書く。添字が や負の整数から始まる列( に対する など)も同じ形で扱う。整数 について
と書く(帰納的に、、 で定める)。 のときの和(空の和)は とする。
閉包の状態
定義
定義は閉包の起点です(証明を要しません)。
印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。
これを使っている定理
証明で明示的に参照している定理は、まだありません。