Bài tập 12, § 4

Cho Y là một không gian hoàn toàn chính quy, A = C∞(Y ; R) và B = C(Y ; R). Chứng minh rằng compact hóa Stone-Čech βY của Y được đồng nhất một cách chính tắc với một không gian con trù mật khắp nơi của Spec(A) và với một không gian con trù mật khắp nơi của Spec(B).