2014-11-26から1日間の記事一覧

赤攝也『集合論入門』p111問4

以下、テキストに合わせて\(0\notin\mathbb{N}\)としておく。【問】自然数の任意の列:\(m_1,m_2,\cdots,m_n,\cdots\)に対して\(m_1+m_2+\cdots+m_n+\cdots=\aleph_0\)が成り立つことを示せ。【解答】\(|A_k|=m_k\)を満たす素な集合系\(A_k\ (k\in\mathbb{N}…