20/02/17 19:31:02.12 bZMpz2gg.net
>>749
＞時枝の可算無限数列のシッポの同値類は、
＞それぞれ、共通のシッポを持つことが、
＞コンパクト性定理から言える
そもそも可算無限集合の尻尾の同値集合はコンパクトではない
したがって
＞同値類内の任意の有限部分を取ると、これらは共通のシッポを持つ（∵推移律）
がいえても、そこから
＞よって、コンパクト性定理より、1つの同値類全体でも、共通のシッポを持つ
は、いえない
残念だったな おバカのSet A ｗｗｗｗｗｗｗ
20/02/17 19:31:02.12 bZMpz2gg.net
>>749
＞時枝の可算無限数列のシッポの同値類は、
＞それぞれ、共通のシッポを持つことが、
＞コンパクト性定理から言える
そもそも可算無限集合の尻尾の同値集合はコンパクトではない
したがって
＞同値類内の任意の有限部分を取ると、これらは共通のシッポを持つ（∵推移律）
がいえても、そこから
＞よって、コンパクト性定理より、1つの同値類全体でも、共通のシッポを持つ
は、いえない
残念だったな おバカのSet A ｗｗｗｗｗｗｗ