Name: Anonymous 2008-08-06 11:10
Okay, so I'm reading Spivak's "Calculus on manifolds" and in exercise 1-21b you have to prove that in an euclidean space if A is a closed set, B is compact and their intersection is empty, there is d>0 such that |y-x|>=d for every x in A and y in B. It also says this doesn't work if B is closed but not compact. Now, no matter how I approach this it seems to me that the sets only need to be closed. Anybody knows what I'm doing wrong?