Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: Nhood Space
Replies: 24   Last Post: Jul 3, 2013 10:43 PM

 Messages: [ Previous | Next ]
 fom Posts: 1,968 Registered: 12/4/12
Re: Nhood Space -- proof here
Posted: Jul 3, 2013 12:02 AM

http://planetmath.org/sites/default/files/texpdf/39037.pdf

at bottom of first page

================================

Look at axiom 5. It is different from what
is in Willard or on Wikipedia.

However, it matches the axioms on page 93
of

I believe you will find that there are
some uses of underlying set theory that
one cannot justify on the basis of the
axioms alone.

Based on the axioms alone, the problem I found
is that

{y} n cl(A) <-> ( ( {y} n A ) \/ ( {y} n cl(A)/A ) )

may be true, but

~( {y} n A ) /\ ( {y} n cl(A)/A )

cannot be shown to be problematic. Perhaps
I am just too stupid. In defense of myself,
this reminds me of the sequence of derived
sets associated with Cantor (and, I believe,
descriptive set theory).

In the second link, on page 93 you will find
the remark:

"If there exists a point x which is close to
both A and B, then A is close to B"

Once again, I think this is from the underlying
set theory. But, it also makes the proof
trivial.

That is, if

( {y} n {x} ) /\ ( {x} n A )

then

( {y} n A )

(uses symmetry axiom)

and cl cl A subset cl A

================================

To me, the use of the underlying set
theory is cheating. When I first read
about proximity spaces, I took them to
characterize vagueness. Using the
underlying set theory in the proofs
seems like an assumption of separability
regardless of how the nearness relation
itself may be defined.

Oh well, I am wrong about many things.

Date Subject Author
6/30/13 William Elliot
6/30/13 David C. Ullrich
6/30/13 William Elliot
7/1/13 David C. Ullrich
7/1/13 David C. Ullrich
7/1/13 fom
7/2/13 William Elliot
7/2/13 Peter Percival
7/2/13 William Elliot
7/2/13 fom
7/3/13 fom
7/3/13 William Elliot
7/3/13 William Elliot
6/30/13 fom
6/30/13 Peter Percival
6/30/13 fom
7/1/13 Peter Percival
7/1/13 William Elliot
7/1/13 Peter Percival
7/1/13 William Elliot
7/1/13 Peter Percival
7/1/13 Peter Percival
7/2/13 William Elliot
7/2/13 Peter Percival
7/2/13 William Elliot