こんなことも忘れているわけで…． 自分が情けなくなってくるので，ここに書いて自戒とする．ここではユークリッド距離である．つまりである．まずにおける開集合は次の流れで定義する． １．内点 とする．に対して，適当なをとれば が成立するとき，をの内点…

定義3．（有限加法的集合環・体） を一般の集合とする． が次の条件を満たすとき有限加法的集合環という． (i) (ii) さらに (iii) を満たすときを有限加法的集合体という．□ が有限加法的集合体ならば次の2つの性質を持つ． （イ） （ロ） 集合論で既知の性…