開区間を一般化した概念

目的

距離関数を使うことなく距離っぽいことをしたい

定義

開集合系に属する集合のことを開集合と呼ぶ

定義の構成方法

開区間で成り立つ性質を定義にした

References

#2021-08-26 14:14:15