■クラトウスキーの問題(その2)
高々14種類の集合が作れることはわかったが,14個の集合のいくつかは同じになってしまうかもしれない.
たとえば,数直線上の集合S=[0,1)∪[2,3)の場合,
S=[0,1)∪[2,3)
cS=[0,1]∪[2,3]
kcS=(−∞,0)∪(1,2)∪(3,∞)
ckcS=(−∞,0]∪[1,2]∪[3,∞)
kckcS=(0,1)∪(2,3)
kS=(−∞,0)∪[1,2)∪[3,∞)
の6種類だけである.
===================================
S=[0,1)∪(1,2)∪{3}∪([4,5]∩Q)の場合,
S=[0,1)∪(1,2)∪{3}∪([4,5]∩Q)
cS=[0,2]∪{3}∪[4,5]
kcS=(−∞,0)∪(2,3)∪(3,4)∪(5,∞)
ckcS=(−∞,0]∪[2,4]∪[5,∞)
kckcS=(0,2)∪(4,5)
ckckcS=[0,2]∪[4,5]
kckckcS=(−∞,0)∪(2,4)∪(5,∞)
kS=(−∞,0)∪{1}∪[2,3)∪(3,4)∪((4,5)∩kQ)∪(5,∞)
ckS=(−∞,0]∪{1}∪[2,∞)
kckS=(0,1)∪(1,2)
ckckS=[0,2]
kckckS=(−∞,0)∪(2,∞)
ckckckS=(−∞,0]∪[2,∞)
kckckckS=(0,2)
の14種類の相異なる集合を作り出すことができる.
===================================
[参]チャンバーランド「ひとけたの数に魅せられて」岩波書店
===================================