x가 Ac의 폐포에 들어간다 <=> x를포함하는 모든 근방 U에대해 U와 Ac의 교집합이 nonempty
ㅇㅇ 그건 아는데 U가 왜 A의 subset임? - dc App
x가 Ac의 폐포에안들가니깐 U랑 Ac의 교집합이 공집합인 x의근방 U가 존재할거고 U랑 Ac의 교집합이 공집합이란 소리가 U가 A에들간단소리잔아
거기까진 직관적으로 갔었거든? 근데 U n Ac가 공집합이면 U is subset of A 인걸 증명을 못하겠어서.. - dc App
증명 : U에서 y하나뽑으면 U랑 Ac의 교집합이 공집합이니깐 y는 Ac에 안들어감 즉 (Ac)c=A에들감
오케이 땡큐!! - dc App
x가 Ac의 폐포에 들어간다 <=> x를포함하는 모든 근방 U에대해 U와 Ac의 교집합이 nonempty
ㅇㅇ 그건 아는데 U가 왜 A의 subset임? - dc App
x가 Ac의 폐포에안들가니깐 U랑 Ac의 교집합이 공집합인 x의근방 U가 존재할거고 U랑 Ac의 교집합이 공집합이란 소리가 U가 A에들간단소리잔아
거기까진 직관적으로 갔었거든? 근데 U n Ac가 공집합이면 U is subset of A 인걸 증명을 못하겠어서.. - dc App
증명 : U에서 y하나뽑으면 U랑 Ac의 교집합이 공집합이니깐 y는 Ac에 안들어감 즉 (Ac)c=A에들감
오케이 땡큐!! - dc App