Topology, defn of a nowhere dense set in a metric space

rourky
Messages
7
Reaction score
0

Homework Statement


Defn: A subset A of a metric space (X, d) is NOWHERE DENSE if its closure has empty interior.

Now I am told that this implies 1. A is nowhere dense iff closure of A does not contain any non-empty open set and 2. A is nowhere dense iff each non-empty open set has a non-empty open subset disjoint from A.

I have no problem with statement 1, but with regards to statement 2, my query is, is it implicit that each non-empty open set is a non-empty open set in X?


Homework Equations


The closure of A is the union of A and its limit pts


The Attempt at a Solution


I ask the question because from statement 1, there can be no open set in the closure of A, and thus in A or the set of its limit pts. The only other set where an open set could be seems to be X.
 
Physics news on Phys.org
Yes. I would take 'open' to mean 'open in X'. After all, a nowhere dense set has to have someplace to be nowhere dense in.
 
Thanks Dick, that's the second time you've helped me out this week.
 
Prove $$\int\limits_0^{\sqrt2/4}\frac{1}{\sqrt{x-x^2}}\arcsin\sqrt{\frac{(x-1)\left(x-1+x\sqrt{9-16x}\right)}{1-2x}} \, \mathrm dx = \frac{\pi^2}{8}.$$ Let $$I = \int\limits_0^{\sqrt 2 / 4}\frac{1}{\sqrt{x-x^2}}\arcsin\sqrt{\frac{(x-1)\left(x-1+x\sqrt{9-16x}\right)}{1-2x}} \, \mathrm dx. \tag{1}$$ The representation integral of ##\arcsin## is $$\arcsin u = \int\limits_{0}^{1} \frac{\mathrm dt}{\sqrt{1-t^2}}, \qquad 0 \leqslant u \leqslant 1.$$ Plugging identity above into ##(1)## with ##u...
Back
Top