関数の連続点の集合について
Rudin "Real And Complex Analysis" 第 2 章演習問題 2 や宮島『関数解析』定理 2.28 の証明の前段などで出て来る命題とその一般化を考えてみました。あとインターネットで調べると逆についての言及があったのでその一般化も試みました。正直あまり自信がないので論理の飛躍や反例があれば教えてください
命題. 実変数実数値関数の不連続点全体の集合は となる.
亜種を伴って時々見かける命題である.宮島では単位閉区間に変数をとった形で出てきており,Rudin では複素数値で言明した後定義域を一般の位相空間に一般化してみよと書いてある.次を示すことができた(つもりである).
定理. 位相空間 から距離空間 への写像 の連続点全体の集合は において である.
証明. の開集合 について ,点 について とする.まず は の点 での連続性と同値であることを示す.
とするとすべての正の数 に対してある開集合 が存在して ,よってすべての に対して となる.これは の での連続性そのものである.
が で連続であるとするとすべての正の数 に対してある開集合 が存在して,すべての に対して となる.このとき となる.ゆえに がすべての正の数 について成り立つので となる.
正の数 に対して とする.これが開であることを示す. とし とする. となるような が存在する. である.なぜなら とすると だからである.
以上より の連続点全体の集合は可算個の開集合 の交叉として である. //
最初の命題の「逆」として次のような問題を考える.
問題. の 部分集合に対して,それが不連続点全体の集合となるような実変数実数値関数は存在するか?
この答えは肯定的である.1999, Kim "A Characterization of the Set of Points of Continuity of Real Function" において次が証明されている.
定理. を,補集合も稠密な稠密部分集合を持つ第一可算空間, をその 部分集合とする. 上でのみ連続な関数 が存在する.
証明はその論文を見られたい.そこにおいては孤立点を持たない非空距離空間がこの条件を満たすことが示されている.孤立点を持たない非空半距離空間がこの条件を満たすこともおそらく同様に示すことができる.定義を浚っておく.
定義. 空間 について, 上の関数 であって,
(1)
(2)
を満たすものを半距離という.半距離が存在する空間を半距離空間と呼ぶ.
半距離空間は各点で 球の内部が近傍基をなすので第一可算である.
定理. を孤立点を持たない非空半距離空間とする. は補集合も稠密な稠密部分集合を持つ.
証明は Kim の論文の証明がそのまま通用すると思う.通用しなかったら言ってほしい.疲れたのでこの辺りで締めさせてほしい.