I と J を実数からなる連結集合とする.f を I を定義域とし, 値域が J の函数で, ∀x(∀y(x と y が実数で x＜y ならば f(x)＜f(y))) とすると, f は連続函数である.f を I を定義域とし, 値域が J の函数で, ∀x(∀y(x と y が実数で x＜y ならば f(x)＞f(y)

続きを読む