最後に、写像の連続性について見てみます。 距離空間 に対し とおくと、写像 が で連続であるとは のことでした。これを書き直すと となり、基本近傍系を用いて と一般の位相空間に一般化できます。さらに基本近傍系の性質から と一般化しても同じことである…