2007年9月29日土曜日

制作状況(未リリース分):最大値・最小値定理

2変数関数の最大値・最小値定理の証明を完成。
次は、一様連続性など。

2007年9月27日木曜日

NewRelease!:コンパクト集合・被覆定理

R1上の被覆定理を修正。
最大値最小値定理の修正に備えて。

2007年9月26日水曜日

2007年9月24日月曜日

制作状況(未リリース分):極限

ベクトル値関数の極限、距離空間から距離空間への関数の極限に進出。