読者です 読者をやめる 読者になる 読者になる

電波通信

I'm on the Top. of the world.

距離空間と位相群のルベーグの被覆補題

距離空間位相群のアナロジーです。

 ルベーグの被覆補題距離空間位相群の場合に証明してこの2つが似た者同士であることを感じ取れると思います。実は距離空間位相群を内包する一様空間という概念が有ってルベーグの被覆補題は一様空間の定理なのです。しかし面倒なので一様空間の定義だとかは全くしません。興味があれば参考文献を読んで頂ければ良いと思います。

ついでにルベーグの被覆補題を用いて台がコンパクトな実連続関数が一様連続であることも示しています。

[2015/12/04に追記]

深い理由は無いですが。選択公理の使用を避けるような証明に修正した版も貼り付けます。二番目のpdfです。最初の版は残しておきます。

選択公理使わない版