Cov teeb R ntawm txhua tus lej tiag yog qhov sib koom ua ke (disjoint) ntawm cov teeb tsa ntawm txhua tus lej tsis sib haum xeeb thiab tsis sib haum xeeb. … Yog hais tias cov txheej ntawm tag nrho cov irrational tooj yog countable, ces R yuav yog lub union ntawm ob countable sets, li no countable. Yog li cov txheej txheem ntawm txhua tus lej tsis raug suav tsis txheeb.
Puas yog RQ suav tau?
Puas yog cov txheej txheem ntawm txhua tus lej tsis muaj tseeb suav tau? Kev daws: Yog tias R-Q suav tau, ces R1=(R-Q)⋃ Q yog suav tau, qhov tsis sib xws. Yog li R-Q yog suav tsis tau.
Puas yog lub union ntawm ib thiab b suav tau?
Yog A thiab B yog suav tau, ces A ∪ B yog suav tau. Pov thawj. Yog tias A thiab B yog ob qho tib si finite, ces yog A ∪ B, thiab txhua qhov kev txiav txim siab yuav suav tau. … Yog li, a1, b1, a2, b2, … yog ib qho kev ua ntu zus uas muaj txhua yam ntawm A∪B, yog li A∪B suav tau.
Puas yog cov lej tseem ceeb suav tau?
set of primes is clear countably infinite, vim nws yog subset ntawm cov zauv ntuj. Qhov no txhais tau hais tias peb yuav pom qhov kev sib cav ntawm P thiab N. … Nco ntsoov tias yog A tsis suav tau, ces lub subset B⊆A tsis tas yuav suav tsis tau. Tsuas yog xav txog ib feem ntawm A nrog tsuas yog ib lub ntsiab.
Puas yog cov lej suav suav tau?
Theorem: Lub set ntawm tag nrho cov finite subsets ntawm cov zauv yog suav tau. Cov ntsiab lus ntawm txhua qhov finite subset tuaj yeem raug txiav txim rau hauv ib ntus kawg.
