定理4
设若有一列集合 { A n : n ∈ Z + } , A n ‾ ‾ = c ( n = 1 , 2 , ⋯ ) , \left\{ A _ { n } : n \in \mathbf { Z } ^ { + } \right\} , \overline{\overline{ A_n }} = c ( n = 1 , 2 , \cdots ) , { An:n∈Z+},An=c(n=1,2,⋯),而 A = ∏ n = 1 ∞ A n , A = \prod _ { n = 1 } ^ { \infty } A _ { n } , A=∏n=1∞An, 则 A ‾ ‾ = c . \overline{\overline{A}} = c . A=c.
定理5
n n n 维欧几里得空间 R n \mathbf { R } ^ { n } Rn 的基数为 c . c . c.
推论2
设若有一列集合 { B n : n ∈ Z + } , B n = { 0 , 1 } ( n = 1 , 2 , ⋯ ) , \left\{ B _ { n } : n \in \mathbf { Z } ^ { + } \right\} , B _ { n } = \{ 0 , 1 \} ( n = 1 , 2 , \cdots ) , { Bn:n∈Z+},Bn={ 0,1}(n=1,2,⋯), 而 B = ∏ n = 1 ∞ B n , B = \prod _ { n = 1 } ^ { \infty } B _ { n } , B=∏n=1∞Bn, 则 B ‾ ‾ = c . \overline{\overline { \mathbf { B }}} = c . B=c.
定理4、定理5和推论2分别可简写成
c a = c , c n = c , 2 a = c . c ^ { a } = c , \quad c ^ { n } = c , \quad 2 ^ { a } = c . ca=c,cn=