Re: Nowhere dense sets question..,



On Fri, 10 Jun 2005, Lasse wrote:
>
> > So I need to show that the intersection of two dense sets is dense. But I
> > can't see how this is true. For example, let the intersection of the
> > rationals with the irrationals is empty yet they are both dense in the
> > reals.
>
> Of course the intersection of two dense sets is not necessarily dense.
> But remember that you know more about the complement of a nowhere dense
> set: it contains an *open* dense set.
>
> So if you follow your line of argument, you only need to show that the
> intersection of two OPEN dense sets is dense, which is not difficult.
>
Exercise: The intersection of an open dense set and a dense set is dense.

Thus
int cl A = nulset = int cl B ==> int cl A\/B = nulset
can be improved to
int cl A = nulset = int B ==> int((cl A) \/ B) = nulset
which implies the forme simply by setting B = cl B

.



Relevant Pages

  • Re: (sketch of a) Proof that the set of Real Numbers doesnt exist
    ... then this defines "D dense in P" for D a subset of P. also I ... filter G on P such that the intersection between this G and each ... you try to explain to me how MAis related with the construction ... evade useless burthening of my provider's /dev/null... ...
    (sci.math)
  • Re: Topology
    ... On Mon, 10 Dec 2007, Jan Fricke wrote: ... A set is dense if the intersection with any non-empty open set U is ... So, take any non-empty open set U and show, that the intersection of A, ...
    (sci.math)
  • Re: Nowhere dense sets question..,
    ... > So I need to show that the intersection of two dense sets is dense. ... Of course the intersection of two dense sets is not necessarily dense. ... intersection of two OPEN dense sets is dense, ...
    (sci.math)
  • Re: a subset in X A is dense iff X intersection A is not empty
    ... Show that a subset A in X is dense if and only if every nonempty open set in X contains a point of A. ... Dale ... Since U\intersection A = U intersection A is not empty is q a limit point of A. that is q is in cl. ...
    (sci.math)
  • Re: dense orbit ?
    ... So for any nontrivial compact ... a set is dense in R if every interval with distinct rational ... So in particular, x in I_0 implies x in Q_0, x in I_1 implies ... Now take the intersection of all such I_n. ...
    (sci.math)