近傍系を与えることによる定義(続き) 示すべきことは です。まず とします。このとき なので は (*) を満たします。すなわち が成り立ちます。そして なので 2. により . 故に が成り立ちます。ここまで、近傍の性質の 2. と 3. しか用いてないことに留意し…