■クラトウスキーの問題(その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種類の相異なる集合を作り出すことができる.

===================================

 [参]チャンバーランド「ひとけたの数に魅せられて」岩波書店

===================================