 5.2. PRETOPOLOGICAL SPACES

91

Let cl

0

be a preclosure, let ∆ is the pretopology induced by cl

0

by the formula

(

2

), let cl

1

is the preclosure induced by ∆ by the formula (

1

). Let’s prove cl

1

= cl

0

.

Really,

x

cl

1

(

A

)

∆(

x

)

6↑

U

A

X

∆(

x

) :

X

A

6

=

∅ ⇔

X

P

U

: (

x /

cl

0

(

U

\

X

)

X

A

6

=

)

X

0

P

U

: (

x /

cl

0

(

X

0

)

A

\

X

0

6

=

)

X

0

P

U

: (

A

\

X

0

=

∅ ⇒

x

cl

0

(

X

0

))

X

0

P

U

: (

A

X

0

x

cl

0

(

X

0

))

x

cl

0

(

A

)

.

So cl

1

(

A

) = cl

0

(

A

).

Let now ∆

0

be a pretopology, let cl is the closure induced by ∆

0

by the formula

(

1

), let ∆

1

is the pretopology induced by cl by the formula (

2

). Really

A

1

(

x

)

x /

cl(

U

\

A

)

0

(

x

)

U

(

U

\

A

)

(proposition

451

)

U

A

w

0

(

x

)

A

0

(

x

)

.

So ∆

1

(

x

) = ∆

0

(

x

).

That these functions are mutually inverse, is now proved.

5.2.1. Pretopology induced by a metric.

Every metric space induces a

pretopology by the formula:

∆(

x

) =

l

U

B

r

(

x

)

r

R

, r >

0

.

Exercise

544

.

Show that it is a pretopology.

Proposition

545

.

The preclosure corresponding to this pretopology is the

same as the preclosure of the metric space.

Proof.

I denote the preclosure of the metric space as cl

M

and the preclosure

corresponding to our pretopology as cl

P

. We need to show cl

P

= cl

M

. Really:

cl

P

(

A

) =

x

U

A

∆(

x

)

=

x

U

>

0 :

B

(

x

)

6

A

=

y

U

>

0

a

A

:

d

(

y, a

)

=

cl

M

(

A

)

for every set

A

P

U

.