Re: defining a closed set



On Oct 27, 8:48 pm, RichD <r_delaney2...@xxxxxxxxx> wrote:

d(x) = distance from origin

A = {x | d(x) < 1}
A is an open set.

B = {x | d(x) = 1}
B is the boundary of A.

C = A U B
C is a closed set.  QED

QED? What is the what proposition do you think you've proven?

Look at my post. I anticipated what you're driving at:

closure(S) = interior(S) u boundary(S).

And, of course, we know that the closure of any set is a closed set.

But that doesn't entail that

C is closed iff there is an open set S such that C = S u boundary(S).

You seem to be confusing two related, but different things:

(1) The defintion of a 'closed set'.

and

(2) The fact that the closure of any set is the union of the interior
and boundary of that set and that the closure of any set is a closed
set.

MoeBlee




.



Relevant Pages

  • Re: collections of well-ordered closed (or else F_sigma) subsets of the unit interval [0, 1]
    ... closure are rather "small" as countable sets go. ... to be dense in every interval (i.e. they are nowhere ... with a certain open set (namely, ... to remove before we're left with Z. (The intersection ...
    (sci.math)
  • Re: Compact connected Hausdorff
    ... On Dec 4, 2005 7:03 AM CT, Narcoleptic Insomniac wrote: ... >>> any open set U of X, the closure of some component ... >> knowing the equivalence of components and quasi- ...
    (sci.math)
  • Re: Countable basis implies separability?
    ... I'm trying to prove that any open set with a ... I need to show a countable dense subset. ... A collection of open sets, C, is an open basis for an open set X if, ... A set G is dense in H if and only if the closure of G is H. ...
    (sci.math)
  • Re: retract question?
    ... > Suppose I have an open set X in R^n under the usual ... > topology. ... > take the closure of the set X to get X_bar. ... The interior of X_bar is not necessarily X. ...
    (sci.math)
  • Compact connected Hausdorff
    ... If space X is compact and connected. ... For any open set ... the closure of some component of U intersect X - U. ...
    (sci.math)