連続写像と極限の定義