>>165-166
Q⊂R　f: Q -> Rとする。
fが¯Q（Qの閉包）=R上の連続関数として拡張されるための
必要十分条件は何か？

Q上で一様連続ならば十分だが、それは必要条件か？否

f(x)=x^2はQ上一様連続ではない

では、必要十分条件は何か？