Question #239296

Let X be a metric space ,then show that

(a) A subset F of X is closed iff Fc is open .

(b) A subset E of X is open iff Ec is closed .


1
Expert's answer
2022-02-24T08:24:51-0500


(a) By the definition, FF is a closed subset of XX, iff any accumulation point of FF belongs to FF. If aFa\notin F then let r=inf{dX(a,x):xF}r=\inf\{d_X(a,x):x\in F\}. Since dX(a,x)0d_X(a,x)\geq0 for all xx, it must be r0r\geq0.


Suppose r=0r=0. Then inf{dX(a,x):xF}=0\inf\{d_X(a,x):x\in F\}=0 and thus, nN\forall n\in\mathbb{N} there exists xnFx_n\in F such that dX(a,xn)<1/nd_X(a,x_n)<1/n. Therefore, limn+xn=a\lim\limits_{n\to+\infty}x_n=a and either aFa\in F or aa is an accumulation point of FF. Since FF is closed, in both cases aFa\in F, contrary to the condition that aFa\notin F.


Therefore, r=inf{dX(a,x):xF}>0r=\inf\{d_X(a,x):x\in F\}>0. In particular, this means that for all xFx\in F dX(a,x)rd_X(a,x)\geq r. Thus, the open ball Br(a)B_r(a) does not contain any point of FF. Therefore, Br(a)FcB_r(a)\subset F^c, and we proved that FcF^c contains any its point aFca\in F^c with some open ball of non-zero radius. This means that FcF^c is an open subset of XX.


Conversely, let it be given that FcF^c is an open subset of XX. We will prove that FF is a closed subset of XX, that is, any accumulation point of FF belongs to FF.

Let's assume the contrary: there exists a point aa which is an accumulation point of FF but aFa\notin F. Since aFca\in F^c and FcF^c is an open subset of XX, an open ball Br(a)B_r(a) lies inside FcF^c for some r>0r>0. That is, dX(a,x)rd_X(a,x)\geq r for all xFx\in F. But since aa is an accumulation point of FF, there exists a sequence xnFx_n\in F (nNn\in\mathbb{N} ) that converges to aa. Thus, limn+dX(a,xn)=0\lim\limits_{n\to+\infty}d_X(a,x_n)=0, which contradicts to the inequality dX(a,xn)rd_X(a,x_n)\geq r. Therefore, the assumption is not valid. This implies that FF is a closed subset of XX.


(b) The assertion "A subset E of X is open iff Ec is closed" is equivalent to "EcE^c is closed iff EE is open." Since E=(Ec)cE=(E^c)^c, this is a consequence of the assertion of part (a).


Need a fast expert's response?

Submit order

and get a quick answer at the best price

for any assignment or question with DETAILED EXPLANATIONS!

Comments

No comments. Be the first!
LATEST TUTORIALS
APPROVED BY CLIENTS