開集合
Open set
集合のうち、境界を含まないのが開集合。
数直線で範囲
$ (a, b)
となり、
$ a < x < b
となるのが開集合。(
$ a
または
$ b
のところが境界)
集合
の
補集合
が
閉集合
ならば、その集合は開集合。
「閉集合でなければ開集合」とはならない。(例: 半開区間)
関連
半開区間