2006-12-19 へぇ〜 学 Heine-Borel theorem(実数上の閉区間はcompact)とweak Koenig's lemma(無限個の頂点をもつtreeは無限の長さのpathを持つ)って,同値なんですね.言われてみればそうかと思いますが,Tikhonov's lemma と選択公理みたいな関係で面白い.