Uniform spaces -_riyas

Preview:

Citation preview

UNIFORM SPACES RIYAS.A.R . M.Sc

Uniform Spaces

Riyas.A.R M.Sc.

PREFACE

This book is intended as a text for the uniform space , a branch of topology,

there are no formal subject matter pre requisites for studying most of this book. I

do not even assume the reader known much set theory. Having said that , I must

hasten to add that unless the reader has studied a bit of analysis or rigorous

calculus, he will be missing much of the motivation for the concepts introduced

in this book. Things will go more smoothly if he Already has some experience

with continuous functions, open and closed sets , metric spaces and the like

although none of these is actually assumed. Most students in topology course

have , in my experience, some knowledge of the foundations of mathematics.

But the amount varies a great deal from one student to another. Therefore I begin

with a fairly through chapter on introduction of some important definitions that

is useful to study uniform space . It treats those topics which will be needed

later in the book.

CONTENT

TITLE PAGE NO.

UNIFORMITIES AND BASIC DEFINITIONS 1

METRISATION 10

COMPLETENESS AND COMPACTNESS 20

BIBLIOGRAPHY 32

1

CHAPTER 1

UNIFORMITIES AND BASIC DEFINITIONS

2

DEFINITION 1.1

Let (X;d) be a metric space. Then a subset E of ๐‘‹ ร— ๐‘‹ is said to be

an entourage if there exists ํœ€>0 such that for all ๐‘ฅ, ๐‘ฆ โˆˆ ๐‘‹, ๐‘‘ ๐‘ฅ, ๐‘ฆ <

ํœ€ implies ๐‘ฅ, ๐‘ฆ โˆˆ E.

REMARK 1.2

Given a matric d on X and ํœ€> 0 , let Uฮต denote the set ๐‘ฅ, ๐‘ฆ โˆˆ

๐‘‹ ร— ๐‘‹/๐‘‘(๐‘ฅ, ๐‘ฆ) < ํœ€ . If X is the topology introduced by d and ๐‘‹ ร— ๐‘‹ the

product topology , then uฮต is an open neighborhood of the diagonal โˆ†๐‘ฅ in

๐‘‹ ร— ๐‘‹. Thus every entourage is a neighbourhood of โˆ†๐‘ฅ in ๐‘‹ ร— ๐‘‹.

RESULT 1.3

Let ๐‘‹; ๐‘‘ , ๐‘Œ; ๐‘’ be matric spaces. Let ๐‘“: ๐‘‹ โ†’ ๐‘Œ be a function. Then

๐‘“ is uniformly continuous (with respect to ๐‘‘ and ๐‘’) if and only if for every

entourage ๐น of ๐‘Œ; ๐‘’ , there exist an entourage ๐ธ of ๐‘‹; ๐‘‘ such that for all

๐‘ฅ, ๐‘ฆ โˆˆ ๐ธ , ๐‘“ ๐‘ฅ , ๐‘“(y ) โˆˆ ๐น.

RESULT 1.4

Let {๐‘ฅn} be a sequence in a matric space ๐‘‹; ๐‘‘ . Then {๐‘ฅn} is a

Cauchy sequence if and only if for every entourage E there exist pโˆˆlN such

that for all m,nโ‰ฅ p, (๐‘ฅm,๐‘ฅn) โˆˆ E

RESULT 1.5

Let ๐‘† be any set and {๐‘“n : ๐‘† โ†’ ๐‘‹} nโ‚ฌN be a sequence of functions into

a matric space ๐‘‹; ๐‘‘ . Then {xn} converges uniformly to a function ๐‘“: ๐‘† โ†’ ๐‘‹

if and only if for every entourage , there exist mโˆˆN such that for all nโ‰ฅm

and ๐‘ฅ โˆˆ ๐‘† ๐‘“n ๐‘ฅ , ๐‘“ ๐‘ฅ โˆˆ E

3

PROPOSITION 1.6

Let ๐‘‹; ๐‘‘ be a pseudo-metric space and U the family of all its

entourages. Then

(i) if โˆ†๐‘ฅ โŠ‚ U for each U โˆˆU

(ii) if U โˆˆU then U-1โˆˆU

(iii) if UโˆˆU then there exist a Vโˆˆ U such that Vโ—ฆVโŠ‚U

(iv) if U,Vโˆˆ U then UโˆฉVโˆˆ U

(v) if U โˆˆ U and UโŠ‚ V โŠ‚ ๐‘‹ ร— ๐‘‹ then Vโˆˆ U

If, moreover d is a matric then in addition to the above, we also have

(vi) โˆฉ{ U /U โˆˆ U } =โˆ†๐‘ฅ={( ๐‘ฅ, ๐‘ฅ)/๐‘ฅ โˆˆ ๐‘‹}

Proof

(i)

given ๐‘‹; ๐‘‘ is a pseudometric

then ๐‘‘(๐‘ฅ,๐‘ฅ)=0 for all ๐‘ฅ โˆˆ ๐‘‹

โ‡’ U is reflexive

We know that U is reflexive if and only if โˆ†๐‘ฅ โŠ‚U

โ‡’ โˆ†๐‘ฅ โŠ‚ U for each U โˆˆ U

(ii)

since d is a pseudometric d(๐‘ฅ,๐‘ฆ)= d(y, ๐‘ฅ)

โ‡’ U is symmetric

โ‡’ U = U -1

โ‡’ U -1โˆˆ U

4

(iii)

suppose U โˆˆ U then there exist ํœ€ >0 such that Uํœ€ โŠ‚ U

Where Uํœ€={(๐‘ฅ,y)โˆˆ ๐‘‹ ร— ๐‘‹/ d(x,y)< ํœ€}, let V=Uํœ€/2

Now Uโ—ฆV ={(๐‘ฅ,y)โˆˆ ๐‘‹ ร— ๐‘‹/ โˆƒ zโˆˆ ๐‘‹ such that (๐‘ฅ,z)โˆˆ V, (z,y)โˆˆU}

To prove Vโ—ฆVโŠ‚U , let (๐‘ฅ,y)โˆˆ Vโ—ฆV.

โ‡’there exist z โˆˆ ๐‘‹ such that (๐‘ฅ,z)โˆˆV, (y,z)โˆˆV

โ‡’d(๐‘ฅ,z)< ํœ€/2 and d(y,z)< ํœ€/2

โ‡’d(๐‘ฅ, y)< ํœ€

โ‡’ (x,y)โˆˆU

โˆด Vโ—ฆVโŠ‚ U

(iv)

let ๐›ฟ,ํœ€ be such that Uฮด โŠ‚ V and Uํœ€ โŠ‚ U

let ๐›ผ=min(๐›ฟ,ํœ€) then UฮฑโŠ‚ UโˆฉV

there exist (๐‘ฅ,y)โˆˆ ๐‘‹ ร— ๐‘‹ such that d(x,y)< ๐›ผ

โ‡’ (๐‘ฅ,y)โˆˆU and (x,y)โˆˆV

โ‡’( ๐‘ฅ,y)โˆˆ UโˆฉV

โ‡’ UโˆฉV is an entourage

โ‡’ UโˆฉV โˆˆ U

(v)

given Uโˆˆ U and UโŠ‚ V โŠ‚ ๐‘‹ ร— ๐‘‹

5

Since Uโˆˆ U , there exist ํœ€ > 0 such that d(x,y)< ํœ€ โ‡’ (x,y)โˆˆU

โ‡’ (x,y)โˆˆV since UโŠ‚V

ie, there exist ํœ€ > 0 such that d(x,y)< ํœ€ โ‡’ (x,y)โˆˆ V

โ‡’ V is an entourage

โ‡’ Vโˆˆ U

(vi)

given d is a metric,

ie, d(x,y)> 0 for all ๐‘ฅ โ‰  ๐‘ฆ

โ‡’โˆฉ{U:Uโˆˆ U } =โˆ†๐‘ฅ

DEFINITION 1.7

A uniformity on a set X is a nonempty collection U of ๐‘‹ ร— ๐‘‹

Satisfying the following properties.

(i) โˆ†๐‘ฅ โŠ‚U for each Uโˆˆ U

(ii) if U โˆˆ U then U-1โˆˆ U

(iii) if U โˆˆ U then there exist Vโˆˆ U such that Vโ—ฆVโŠ‚ U

(iv) if U,Vโˆˆ U , then Uโˆฉ V โˆˆ U

(v) if U โˆˆ U and U โŠ‚ V โŠ‚ ๐‘‹ ร— ๐‘‹ then Vโˆˆ U

Members of U are called entourages. The pair (X, U ) is called uniform

space.

6

DEFINITION 1.8

A uniform space (X; U ) is said to be Hausdorff or separated if for a

metric d, โˆฉ {๐‘ˆ: UโˆˆU}=โˆ†๐‘ฅ. Then U is called Hausdorff uniformity.

DEFINITION 1.9

A uniform space (X; U ) is said to be pseudo-metrisable ( or

metrisable) if there exist a pseudo-metric (respectively a metric) ๐‘‘ on X

such that U is precisely the collection of all entourages of (X;๐‘‘) in such a

case we also say that U is the uniformity induced or determined by ๐’….

DEFINITION 1.10

Let (X; U ) be a uniform space. Then the subfamily B of U is said to

be a base for U if every member of U contains some members of B ; while

a subfamily S of U is said to be sub-base for U if the family of all finite

intersections of members of S is a base for U.

PROPOSITION 1.11

Let X be a set and SโŠ‚P ๐‘‹ ร— ๐‘‹ ) be a family such that for every

UโˆˆS the fol lowing conditions hold:

a) โˆ†๐‘ฅ โŠ‚ U

b) U-1

contains a member of S , and

c) there exists VโˆˆS such that Vโ—ฆVโŠ‚U, then there exists a unique

uniformity U for which S is a sub-base.

Proof

Let B be the family of all finite intersections of members of S and

7

let U be the family of all supersets of members of B. We have to prove

that U is a uniformity on X.

From condition a) โˆ†x โŠ‚ U

Let UโŠ‚U and UโŠ‚ ๐• โŠ‚ ๐‘‹ ร— ๐‘‹

Here UโˆˆS. from the construction of U, it is clear that VโˆˆU Now we prove that U

-1โˆˆU, for this suppose UโˆˆU, then there exist

U1,U2,โ€ฆUnโˆˆS such that ๐‘ˆ๐‘›๐‘–=1 iโŠ‚ U

By b) each U

-1contains some ๐•iโˆˆS

Then V๐‘›

๐‘–=1 i โŠ‚ Uni=1 i

-1 โŠ‚ U-1

So ๐‘‰๐‘›

๐‘–=1 iโŠ‚B and U-1โˆˆU

Now we prove that if UโˆˆU then there exist a VโˆˆU such that Vโ—ฆVโŠ‚U

Suppose UโˆˆU and U 1, U2,โ€ฆ. U nโˆˆS such that ๐‘ˆ๐‘›๐‘–=1 iโŠ‚U

Now by c) each i=1,2,โ€ฆ.n we can find Vi โˆˆS such that

Viโ—ฆV iโŠ‚ Ui

Let V = ๐‘‰๐‘›

๐‘–=1 i

Then Vโ—ฆV โŠ‚ (๐‘‰๐‘›

๐‘–=1 iโ—ฆ Vi)

ie, Vโ—ฆV โŠ‚ (๐‘‰๐‘›

๐‘–=1 iโ—ฆ Vi) โŠ‚ U๐‘›๐‘–=1 i โŠ‚U

ie, Vโ—ฆV โŠ‚ U

further VโˆˆB and hence VโˆˆU Now we prove that if U,VโˆˆU then UโˆฉV โˆˆU

let U,Vโˆˆ U , we can find U1, U2,โ€ฆ. Un and V1, V 2,โ€ฆ V n โˆˆ S such that

V๐‘š๐‘—=1 j โŠ‚V

8

then ( U๐‘›๐‘–=1 i)โˆฉ( V๐‘š

๐‘—=1 j) โˆˆB .

Since UโˆฉV is a superset of this intersection , it follows that UโˆฉVโˆˆ U.

Thus U is a uniformity for X. But its very construction B is a base and

S is a subbase for U.

Uniqueness of U is trivial since a sub-base determines uniformity.

THEOREM 1.12

For a uniform space (X; U) , let Iu be the family {GโŠ‚ X: for each xโˆˆ

G, โˆƒ U โˆˆU, such that U[x]โŠ‚G}. Then Iu is a topology on X.

Proof

Clearly X,โˆ… โˆˆ Iu .

Also from the very nature of the definition, it is clear that Iu is

closed under arbitrary unions.

Now we show that Iu is closed under finite intersections.

Let G , H โˆˆ Iu and suppose xโˆˆ ๐† โˆฉH.

Then there exist U,VโˆˆU such that U[x] โŠ‚ G and V[x] โŠ‚ H

Let W=UโˆฉV, then WโˆˆU Also W[x] โŠ‚ U[x]โˆชV[x]

So W[x] โŠ‚ GโˆฉH

so GโˆฉHโˆˆ Iu , thus Iu is a topology on X.

9

DEFINITION 1.13

Given a uniform space (X;U ) and a subset Y of X, we defined the

relativised uniformity U/Y as the family {Uโˆฉ(Yร—Y):UโˆˆU} here (Y; U/Y)

is said to be a uniform subspace of (X;U ).

PROPOSITION 1.14

Let (X;U ), (Y;V ) be uniform spaces and f:Xโ†’Y a function which is

uniformly continuous with respect to U and V .let Iu and Iv be the

topology on X and Y respectively as given by above theorem. Then f is

continuous with respect to these topologies.

Proof

Let Gโˆˆ Iv. we have to show that f -1(G) is open in X.

ie, f -1(G)โˆˆIu. for this let xโˆˆ f -1(G), then f(x)โˆˆG.

by the definition of Iv there exist VโˆˆV such that V[f(x)]โŠ‚G.

Let U={(z,y)โˆˆ X ร—X : (f(z), f(y))โˆˆV },

then UโˆˆU , since f is uniformly continuous.

Moreover, U[x] โŠ‚ f -1(V[f(x)]) โŠ‚ f -1(G).

So f -1(G) is open in X. Hence f is continuous.

DEFINITION 1.15

Let (X;U ) be a uniform space. Then the topology Iv is called a

uniform topology on X induced by U. A topological space (X,I) is said to

be uniformisable if there exist a uniformity U on X such that I=Iu

10

CHAPTER 2

METRISATION

11

PROPOSITION 2.1

Suppose a uniformity U on a set ๐‘‹ has a countable base. Then

there exists a countable base {Un}โˆž

n = 1 for U such that each Un is

symmetric and Un+1โ—ฆUn+1โ—ฆ Un+1โŠ‚Un for all n โˆˆN

Proof:

Let the given countable base be V = {V1, V2, V3โ€ฆ. Vnโ€ฆ}. Set U1=V1โˆฉ

V1-1

Then U1 is a symmetric member of U .We know that for every member

U of U, there exists a symmetric member V of U such that Vโ—ฆVโ—ฆVโŠ‚U.

Consider the set U1โˆฉV2 .

Here U1โˆฉV2โˆˆU .Then there exists a symmetric member say U2 of U

such that

U2โ—ฆU2โ—ฆU2 โŠ‚ U1โˆฉV2 .Next consider U2โˆฉ V3 .

Then we get a symmetric member U3 of U such that

U3โ—ฆ U3โ—ฆ U3 โŠ‚ U2โˆฉV3.

In this manner, we proceed by induction and get a sequence

{Un:nโˆˆN} of symmetric members of U such that for each nโˆˆN

,

Un+1โ—ฆUn+1โ—ฆUn+1 โŠ‚ UnโˆฉVn+1 .

Then Un โŠ‚Vn for all n and so { Un:nโˆˆN} is a base for U since

{Vn:nโˆˆN} is given to be a base.

NOTE 2.2

Having obtained a normalised countable base { Un:nโˆˆN}for U, we

can construct a pseudo-metric d on X as follows.

Set U0 = Xร—X. Note that Un โŠ‚ Un-1 for all nโˆˆN.

12

Define d:Xร—X โ†’ R in such a way that for each nโˆˆN, the set

๐‘ฅ, ๐‘ฆ โˆˆ ๐‘‹ ร— ๐‘‹/๐‘‘(๐‘ฅ, ๐‘ฆ) < 2-n} will be very close to the set Un.Now we

construct a pseudo-metric d on X such that for each n, the set

๐‘ฅ, ๐‘ฆ โˆˆ ๐‘‹ ร— ๐‘‹/๐‘‘(๐‘ฅ, ๐‘ฆ) < 2-n} will be between Un and Un-1.

We begin with a function ๐’‡: ๐‘ฟ ร— ๐‘ฟ โ†’ ๐‘ defined by f(x,y) = 2-n

in case

there exists nโˆˆN. such that (x,y)โˆˆUn-1-Un.

If there exists no such n, it means (x,y)โˆˆ ๐‘ˆโˆž๐‘–=1 n and in that case we

set f(x,y)=0.

Here f (x,y)= f(y, x) โˆ€ x, yโˆˆ ๐‘‹ since all Unโ€™s are symmetric. Also for

each nโˆˆN, ๐’™, ๐’š โˆˆ ๐‘ฟ ร— ๐‘ฟ/๐’‡(๐’™, ๐’š) < ๐Ÿ-n}=Un-1. Now for x,yโˆˆ ๐‘‹ define

d(x,y)=inf ๐‘“๐‘›๐‘–=1 (xi,xi+1) where the infimum is taken over all possible

finite sequences {x0,x1,x2,โ€ฆxn,xn+1} in X for which x0=x, and, xn+1=y.

Such a sequence will be called a chain from x to y with n nodes at

x1,x2,โ€ฆxn.

The number ๐‘“๐‘›๐‘–=1 (xi,xi+1) will be called the lengths of the chain .

Thus d(x,y) is the infimum of the lengths of all possible chains from x

to y.

LEMMA 2.3

The function d: ๐‘‹ ร— ๐‘‹ โ†’ R just defined is a pseudometric on the

set X.

Proof

Here f(x,y)=0 or 2-n

d(x,y) <2-n

13

โ‡’ d(x,y)โ‰ค f(x,y) for all x,yโˆˆ ๐‘‹

โ‡’d(x,y)โ‰ฅ0

If x=y, then f(x,y)=0

โ‡’d(x,y)=0

Now f(x,y)= f(y,x)

โ‡’d(x,y)= d(y,x)

Now only the triangle inequality remains to be established. Let x, y,

z โˆˆ ๐‘‹. Let S1, S2 and S3 be respectively the sets of all possible chains

from x to y, from y to z and from x to z. A chain s1โˆˆS1 and s2โˆˆS2

together determine an element of S3 by juxtaposition, which we

denote by s1+s2.

Let ๐œ‡ denote the length of the chain.

Now let J(S3) be the image of S1ร—S2 in S3 under the juxtaposition

function

+: S1 ร— S2 โ†’S3. Then we have,

d(x,y)+ d(y,z) = inf {๐œ‡(s1) : s1 โˆˆ S1} + inf {๐œ‡(s2) : s2โˆˆS2}

= inf {๐œ‡(s1) + ๐œ‡(s2) : (s1,s2)โˆˆS1ร—S2}

= inf {๐œ‡(s1+s2) : (s1,s2)โˆˆS1ร—S2}

= inf {๐œ‡(s3) : s3 โˆˆ J(S3) โŠ‚S3}

โ‰ฅ inf {๐œ‡(s3): s3โˆˆS3}

= d(x,z)

Hence d(x,y)โ‰ฅ 0, d(x,y)=0 โ‡’ x = y

d(x,y)+ d(y,z) โ‰ฅ d(x, z)

14

hence d is a pseudo-metric on X

LEMMA 2.4

For any in teger kโ‰ฅ0 and x 0,x 1 ,x 2 ,โ€ฆx kโˆˆX,

f(x 0,x k+1)โ‰ค2 ๐‘“(๐‘˜๐‘–=0 x i ,x i+1).

Proof:

We apply induction on k.

when k=0, the result is trivial.

Assume k>0, and that the result holds for all possible chains with less

than k nodes. Let x 0,x 1 ,x 2 ,โ€ฆx k ,x k + 1 be a chain with k nodes. The

idea is to break this chain into smaller chains and then to apply the

induction hypothesis to each of them.

Let a be the length of this chain, that is, a= ๐‘“(๐‘˜๐‘–=0 xi,xi+1)

Here f(x i,x i+1) โ‰ฅ0 for all i

โ‡’ a โ‰ฅ 0 and a=0 only if f(x i,x i+1)=0 for every i=1,2,โ€ฆ k

also f(x i,x i+1)โ‰ค a

now we show that f(x 0,x k+1) โ‰ค2a

now we make three cases

case1: a โ‰ฅ1/4

then 2a โ‰ฅ1/2, by the definition of f the largest value it can take

is ยฝ, since f(x,y)=2-n

, nโˆˆN

โˆด f(x 0,x k+1)โ‰ค1/2 โ‰ค2a

Case 2: Let a=0.

Then f(x i,x i+1)=0 โˆ€ i = 0,1,. . . , k.

We have to show that f(x0,x k+1)= 0

15

ie, to show that f(x0,x k+1)โˆˆ ๐‘ˆโˆž๐‘›=0 n

We decompose the chain x 0,x 1 ,x 2 ,โ€ฆx k ,x k + 1 into three chains, say

x 0,x 1 ,x 2 ,โ€ฆx r ; x r+1,...x s and x s+1,...x k,x k+1 where such that r and s

are any intiger such that 1โ‰ค r โ‰ค s โ‰ค k

note that each of these three chains has a lenth zero and less than k nodes.

so by induction, f(x0, xr) , f(xr,xs)and f(xs,xk+1) are all zero.

Hence for every nโˆˆN , (x0,xr) โˆˆUn , (xr,xs) โˆˆUn, and , (xs,xk+1) โˆˆUn

โ‡’ (x0,xk+1) โˆˆ Unโ—ฆUnโ—ฆUn

But Unโ—ฆUnโ—ฆUn < Un-1

There for (x0,xk+1) โˆˆ Un-1

So f(x0,xk+1)=0

Case 3: Let 0 < a < 1/4.

Let r be the largest integer such that f๐‘Ÿโˆ’1๐‘–=0 (xi,xi=1) โ‰ค a/2,if

f(x0,xi)> ๐‘Ž/2, this definition fails and we set r =0 in this case. Then

0 โ‰ค r โ‰ค k

so each of the chains xo,โ€ฆ,xr, and xr+1,โ€ฆ, xk+1 has less than k nodes.

The first chain has length โ‰ค a/2.

Then the length of the second chain is also at most a/2 for otherwise

the chain xo,...,xr+1 will have length less than a/2 contradicting the

definition of r.

By induction hypothesis we now get, f(xo,xr) โ‰คa, f(xr+1,xk+1) โ‰คa

While f(xr, xr+1) โ‰ค a

Let m be the smallest integer such that 2-m โ‰ค a.

16

In particular, f(x0,xr+1) โ‰ค2-m

โ‡’(x0, xr+1) โˆˆ Um-1

similarly (xr, xr+1) โˆˆ Um-1 and(xr+1, xk+1) โˆˆ Um-1

โ‡’(x0, xk+1) โˆˆ Um-1โ—ฆ Um-1โ—ฆUm-1 โŠ‚ Um-2

Hence f(x0, xk+1) โ‰ค 2-(m-1)

โ‰ค 2a

Hence the proof.

RESULT 2.5

A uniformity is a pseudoprime if and only if it has a countable base.

RESULT 2.6

A uniformity is metrisable if and only if it is Hausdorff and has

countable base.

PROPOSITION 2.7

Let U be uniformly generated by a family D of pseudometrices on a set

X. Then

i) each member of D is a uniformly continuous function from Xร—X to R

where R has the usual uniformity and Xร—X has the product uniformity

induced by U. Moreover U is the smallest uniformity on X which

makes each member of D uniformly continuous.

ii) Let Y be the powerset XD. For each dโˆˆD , let Xd be a copy of the set

X and let Vd be the uniformity on Xd induced by the pseudometric d.

let V be the product uniformity on

Y= Xdโˆˆ๐ท d. then the evaluation function f:Xโ†’Y defined by f(x)(d)=x

for all dโˆˆD, xโˆˆX is a uniform embedding of (X,U) into (Y,V)

17

Proof

Proof of the first statement is clear

For ii) we let ฯ€d:Yโ†’X be the projection for dโˆˆD . Here for each

dโˆˆD

ฯ€dโ—ฆf : X โ†’Xd is the identity function and is uniformly continuous because

the uniformity on X is U which is stronger than Vd. So by the general

properties of products f: (X,U) โ†’(Y,V) is uniformly continuous, clearly f is

one-one. Let Z be the range of f . We have to shoe that f uniformly

isomorphism when regarded as a function from (X,U) to (Z,V/Z). now we

prove that the image of every sub-basic entourage under fร—f is an entourages

in V/Z. Take the sub-base s for U. A member of S is of the form Vd,r for

some r>0 and dโˆˆD. Then clearly (fร—f) (Vd,r)is precisely Zโˆฉ(ฯ€dร—ฯ€d)-

1(Vd,r)which is an entourage in the relative uniformity on Z

PROPOSITION 2.8

Let (X,U) be a uniform space and D be the family of pseudometrices on

X which are uniformly continuous as function from Xร—X to R, the domin

being given the product uniformity induced by U on each factor. Then D

generates the uniformity on X.

proof

Let V be the uniformity generated by D By statement (i) of the last

proposition, V is the smallest uniformity on X rendering each dโˆˆD

uniformly continuous. So VโŠ‚Uโ€ฆโ€ฆ.(1)

Now suppose uโˆˆU. Let Ui be the symmetric member of U contained in U.

So U0=Xร—X . Define U2,U3......Un......... by induction so then

18

each Un is a symmetric member or U and Unโ—ฆUnโ—ฆUnโŠ‚Un-1 for each nโˆˆN.

Then we get a pseudometric d: Xร—Xโ†’R such that for each nโˆˆN

Un+1 โŠ‚{(x,y)โˆˆXร—X : d(x,y)<2-n

} โŠ‚Un-1. Then d is uniformly continuous with

respect to the product uniformity on Xร—X. So dโˆˆD , then d generates the

uniformity U.

Put n=2, we get {(x,y) โˆˆ Xร—X: d(x,y)<1/4} โŠ‚U1โŠ‚U. Let S be the defining

sub-base for V. Then {(x,y) โˆˆ Xร—X: d(x,y)<1/4}โˆˆSโŠ‚ V ,and so uโˆˆV , so

UโŠ‚V โ€ฆโ€ฆโ€ฆ(2)

From (1) and (2) we get U=V.

Thus D generates the uniformity U.

RESULT 2.9

Every uniform space is uniformly is uniformly isomorphic to a

subspace of a product of pseudometric spaces.

CORROLLARY 2.10

If (X,U) is a uniform space , then the corresponding topological space

(X,ฯ„u) is completely regular.

proof

from proposition 3.7 it follows that (X,ฯ„u) is embeddable into a product

of pseudometric spaces. Then (X,ฯ„u) is completely regular.

RESULT 2.11

A topological spaces is uniformisable if and only if it is completely

regular.

19

DEFINITION 2.12

The gage of uniform space (X,U) is the family of all pseudometrics on

the set X which are uniformly continuous as functions from Xร—X to R.

REMARK 2.13

In the view of the statement (i) in proposition 3.7 the uniformity is

completely characterized by its gage. Thus we have answered the two basic

questions through the result 3.6 and 3.11

20

CHAPTER 3

COMPLETENESS AND COMPACTNESS

21

DEFINITION 3.1

A net {Sn:nโˆˆD} in a set X is said to be a Cauchy net with respect to a

uniformity U on X if for every UโˆˆU there exist pโˆˆD such that for all m โ‰ฅ p

, n โ‰ฅ pin D (Sm,Sn)โˆˆD

PROPOSITION 3.2

A uniform space (X;U) is said to be complete if for every cauchy net in

X (with respect to U) converges to atleast one point in X (with respect to the

topology Iu)

PROPOSITION 3.3

Every convergent net is a Cauchy net. A Cauchy net is convergent if

and only if it has a cluster point.

Proof

Let {Sn:nโˆˆD} be a netin a uniform space (X;U) . suppose {Sn:nโˆˆD} is

converges to x in X. let UโˆˆU , then there exist a symmetric VโˆˆU such that

Vโ—ฆV โŠ‚ U. Now V[x] is a neighbourhood of x in the uniform topology on X.

so threre exist a pโˆˆD such that for all nโ‰ฅp in D, Snโˆˆ V[x], ie, (x,Sn)โˆˆ V.

now for any m,n โ‰ฅp, (Sm,x) โˆˆ V and (x,Sn)โˆˆ V by symmetry of V

So (Sm,Sn)โˆˆ Vโ—ฆVโŠ‚ U, since UโˆˆU was arbitrary , it follows that {Sn:nโˆˆD} is

a Cauchy net.

Now assume {Sn:nโˆˆD} is a Cauchy net. Let {Sn:nโˆˆD} converges

to x. Then x is a cluster point .

Conversely assume that x is a cluster point of a Cauchy net {Sn:nโˆˆD} in a

uniform space (X; U) . we have to show that Sn converges to x in the

uniform topology. Let G be a neighbourhood of x. Then there exist a

Uโˆˆ U such that U[x] โŠ‚G. now we find

22

a symmetric VโˆˆU such that Vโ—ฆV โŠ‚ U . then threre exist a pโˆˆ D such that

for all m,nโ‰ฅp in D,(Sm,Sn)โˆˆ V.Since x is a cluster point of {Sn:nโˆˆD} there

exist a qโ‰ฅp in D such that Sqโˆˆ V[x] . ie, (x,Sq) โˆˆ V. Then for all nโ‰ฅq we

have (Sq,Sn)โˆˆ V and (x,Sq)โˆˆ V .

So (x,Sn)โˆˆ Vโ—ฆV โŠ‚ U.

Hence Snโˆˆ U[x] โŠ‚G.

โ‡’ {Sn:nโˆˆD} converges to x.

COROLLARY 3.4

Every compact uniform space is complete

Proof

A compact uniform space means a uniform space whose associated

topological space is compact. We know that every net in a compact space

has a cluster point . Let (X;U) be a compact uniform space and {Sn:nโˆˆD} be

a cauchy net in it. Then (X;U) has a cluster point. So by the above

proposition, {Sn:nโˆˆD} is convergent. ie, every Cauchy net is convergent .

โ‡’( X;U) is complete

โ‡’ every compact uniform space is complete.

DEFINITION 3.5

Let (X; U) , (Y,V) be uniform spaces and f : Xโ†’ Y be uniform

continuous.Then for any Cauchy net S :Dโ†’ X, the composite net fโ—ฆS is a

Cauchy net in (Y,V).

23

PROPOSITION 3.6

Let (X,d) be a metric space and U the uniformity of X induced by d.

Then a net {Sn:nโˆˆD} in X is a Cauchy net with respect to uniformity U.

Moreover ,(X,d) is a complete metric space if and only if (X; U) is a

complete uniform space.

Proof

First suppose that {Sn:nโˆˆD} is a Cauchy net with respect to a metric d. Then

for every ํœ€>0, there exist n0โˆˆD such that for every m,nโˆˆ D, mโ‰ฅn0 and nโ‰ฅn0

d(Sn,Sm)<ํœ€.

Let Uโˆˆ U , then d(Sn,Sm)<ํœ€ โ‡’ (Sn,Sm)โˆˆ U

ie for every ํœ€>0, there exist n0โˆˆ D such that for every m,nโˆˆ D, mโ‰ฅn0 and

nโ‰ฅn0 , (Sn,Sm)โˆˆ U

โ‡’ {Sn:nโˆˆD} is a Cauchy net with respect to the uniformity U

Conversely suppose that a net {Sn:nโˆˆD} is a Cauchy net with

respect to the uniformity U. let Uโˆˆ U then by the definition , for every UโˆˆU

there exist a pโˆˆ D such that for every mโ‰ฅp, nโ‰ฅ ๐‘ in D, (Sn,Sm)โˆˆ U

โ‡’ d(Sn,Sm)<ํœ€ for all ํœ€>0

โ‡’ {Sn:nโˆˆD} is a Cauchy net with respect to the metric d.

Now we have to prove that (X; d) is a complete metrics space if and only if

(X; U) is a complete uniform space.

Since the metric topology on X induced by d is the same as the uniform

topology induced by U , convergens of a net with respect to the metric d is

same as that with respect to the uniformity U.

So to prove the above argument , it is enough to prove that every Cauchy net

in (X;d) is covergent if and only if every Cauchy sequence in (X;d) is

convergent. here a sequence is a special type of

24

net , so every net in (X;d) is convergent โ‡’ every Cauchy sequence in (X; d)

is convergent.

Conversely assume every Cauchy sequence in (X;d) is

convergent. Let {Sn:nโˆˆD} be a Cauchy net in (X;d). Now it is enough to

prove that {Sn:nโˆˆD} has a cluster point in X . Set ํœ€=2-k

, where k=1,2,โ€ฆ. .

Then we obtain elements p1,p2,...pkโ€ฆ. in D such that for each kโˆˆN , we

have,

(i) pk+1โ‰ฅpk in D and

(ii) for all m,nโ‰ฅpk in D , d(Sm,Sn)<2-k

Now consider the sequence {Spk} ;k=1,2โ€ฆ. Since d(Spk,Spk+1)<2-k โˆ€

kโˆˆN, and the series 2โˆž๐‘˜=1

-k is convergent., {Spk} ;k=1,2โ€ฆ. is

Cauchy sequence in (X;d)

So {Spk} converges to a point say x of X. now we claim that x is the

cluster point of the net {Sn:nโˆˆD}. Let ํœ€>0 and mโˆˆD be given,

We have to find nโˆˆ D such that nโ‰ฅm and d(Sn,x)<ํœ€ .first choose kโˆˆN so

that 2-k

< ํœ€/2 and d(Spk,x)< ํœ€/2

Now d(Sn,x) โ‰ค d(Sn,Spk)+ d(Spk,x)

< 2-k

+ ํœ€/2

< ํœ€/2 + ํœ€/2

< ํœ€

So x is a cluster point of the net {Sn:nโˆˆD}

โ‡’ every Cauchy net in (X;d) is convergent

โ‡’ every Cauchy net in ( X;U) is convergent

โ‡’ ( X;U) is complete uniform space.

25

DEFINITION 3.7

Given an induxed collection {( Xi,Ui):iโˆˆI} of uniform spaces . We

define a product uniformality on the cartesian product X= ๐‘‹๐‘–โˆˆ๐ผ i

RESULT 3.8

Each projection ๐œ‹i : Xโ†’ X i is uniformly continuous. Let S be the

family of all susets of Xร—X of the form ๐œƒi-1

(Ui) for Uiโˆˆ Ui ,iโˆˆI , where ๐œƒi:

Xร— X โ†’ X iร— X i is the function ๐œ‹I ร— ๐œ‹I defined by

( ๐œ‹I ร— ๐œ‹I)(x,y) =( ๐œ‹i(x), ๐œ‹i(y))

PROPOSITION 3.9

Let ( X;U) be the uniform product of a family of nonempty uniform

spaces {(Xi,Ui):iโˆˆI}. Then a net S:Dโ†’ X is a Cauchy net in (X;U) if and

only if for each iโˆˆI , the net ๐œ‹iโ—ฆS is a Cauchy net in (Xi,Ui).

Proof

We know that the projection function ๐œ‹i is uniformly continuous where ๐œ‹i :

Xโ†’ X i .

Now for any Cauchy net S:Dโ†’ X , ๐œ‹iโ—ฆS is a Cauchy net in (Xi,Ui) , since

๐œ‹iโ—ฆS is the composite net.

Conversely assume that ๐œ‹iโ—ฆS is a Cauchy net for each iโˆˆI.

Let S:Dโ†’ X be a net, let S be the standard sub-base for U , consisting of all

subsets of the form ๐œƒi-1

(Ui) for UiโˆˆUi and iโˆˆI. where ๐œƒi: Xร—X โ†’ Xiร— Xi is

the function ๐œ‹i ร— ๐œ‹I . Suppose U = ๐œƒi-1

(Ui) for some UiโˆˆUi, iโˆˆI.

find pโˆˆ D so that for all m,n โ‰ฅp in D , (๐œ‹i(Sm), ๐œ‹i(Sn))โˆˆUi.

26

Such a p exist since ๐œ‹iโ—ฆS is a Cauchy net

โ‡’ (๐œ‹I ร— ๐œ‹I)(Sm,Sn)โˆˆ Ui.

โ‡’ ๐œƒi(Sm,Sn) โˆˆ U Ui

โ‡’ (Sm,Sn) โˆˆ ๐œƒi-1

(Ui)

โ‡’ (Sm,Sn) โˆˆ U โˆ€ m,nโ‰ฅp

So S is a Cauchy net in ( X;U)

REMARK 3.10

(X;U) is complete if and only if each (Xi,Ui) is complete.

DEFINITION 3.11

If (X;U) , (Y,V) are two uniform spaces, then the function f:Xโ†’Y is

said to be an embedding, if it is one-one, uniformly continuous and a

uniform isomorphism, when regarded as a function from (X;U) onto

(f(x),V/f(x)).

THEOREM 3.12

Every uniform space is uniformly isomorphic to a dense subspace of

a complete uniform space.

Proof

Let (X;U) be a uniform space. We know that every uniform space is

uniformly isomorphic to a subspace of a product of pseudometric spaces.

Then there exist a family {(X i,di): iโˆˆI} of pseudometric spaces and a

uniform embedding,

27

f :Xโ†’ ๐‘‹๐‘–โˆˆ๐ผ i where the product ๐‘‹i is assigned the product uniformity,

each Xi being given the uniformity induced by di. for each iโˆˆI ,

let (X i*,di

*) be a complete pseudometric space containing (X i,di) up to an

isometry.

Then ๐‘‹i is a uniform subspace of ๐‘‹i* with the product uniformities, we

regard f as an embedding of (X;U) into ๐‘‹i* , which is complete.

Let Z be the closure of f(x) in ๐‘‹i*. then Z is complete with the relative

uniformity. Also f(x) is dense in Z.

Hence the proof.

DEFINITION 3.13

A uniform space (X;U) is said to be totally bounded or pre-compact if

for each UโˆˆU , there exist x1,x2,โ€ฆxnโˆˆ X such that X = ๐‘ˆ๐‘›๐‘–=1 [xi].

Equivalently (X;U) is totally bounded if and only if for each UโˆˆU , there

exist a finit subset F of X such that U[F]= X.

THEOREM 3.14

A uniform space is compact if and only if it is complete and totally

bounded.

Proof

First assume that the uniform space (X;U) is compact. We have every

compact uniform space is complete. So (X;U) is complete.

Now compactness โ‡’ totally boundedness

โ‡’ (X;U) is totally bounded.

28

Conversely assume that (X;U) is bounded and totally bounded.we have to

prove that (X;U) is compact.

We know that a space is compact if and only if every universal net in it is

convergent. {Sn:nโˆˆD} is a Cauchy net in (X;U).

Let Uโˆˆ U, find the symmetric VโˆˆU such that Vโ—ฆVโŠ‚ U.

By total boundedness of (X; U) , there exist x1,x2,โ€ฆxkโˆˆ X such that X

= ๐‘‰๐‘˜๐‘–=1 [xi].

Now for atleast one i=1,2,โ€ฆk, {Sn:nโˆˆD} is eventually in V[xi] . for

otherwise the net will be eventually X - V k[xi] โˆ€ i=1,2,โ€ฆk and hence

eventually (๐‘‹ โˆ’ ๐‘‰๐‘˜๐‘–=1 [xi])=โˆ….

Thus for some i , {Sn:nโˆˆD} is eventually in V[xi]. ie, there exist pโˆˆD such

that โˆ€ nโ‰ฅp , Snโˆˆ V[xi] , ie, (xi,Sn)โˆˆ V .

So for all m,n โ‰ฅp in D, (Sm,Sn)โˆˆ Vโ—ฆVโŠ‚ U. Thus {Sn:nโˆˆD} is a Cauchy net

in (X;U). Since (X;U) is complete {Sn} converges

โ‡’ (X;U) is compact.

RESULT 3.15

Every continuous function from a compact uniform space to a uniform

space is uniformly continuous.

PROPOSITION 3.16

Let (X;U) be a compact uniform space and V an open cover of X. then

there exist a UโˆˆU such that for each xโˆˆ X there exist a Vโˆˆ V such that

U[x] โŠ‚ V

29

Proof

Given (X;U) is a compact uniform space and V an open cover of X.

Then for each xโˆˆ X , there exist UxโˆˆU such that Ux[x] is contained in some

members of V. Hence there exist a symmetric VxโˆˆU such that (Vxโ—ฆ Vx)[x] is

contained in some members of V . The interiors of the sets Vx[x] for xโˆˆ X ,

cover X. So by compactness of X , there exist x1,x2,โ€ฆxnโˆˆ X such that

X= ๐‘‰๐‘›๐‘–=1 i[xi] , where Vi denotes Vx i for i=1,2,โ€ฆn.

Now let U = ๐‘‰๐‘›๐‘–=1 i , then UโˆˆU . Also let xโˆˆX , then xโˆˆVi[xi] for some i.

So U[x] โŠ‚ Vi[xi]

โŠ‚ Vi[Vi[xi]] , since xโˆˆVi[xi]

= (Viโ—ฆVi)[xi]

โŠ‚ some members of V

Since this holds for all xโˆˆ X, the result follows.

PROPOSITION 3.17

Let (X;U) be a compact uniform space. Then U is the only uniformity

on X which induces the topology ๐œu on X.

Proof

If possible let V be any other uniformity on X such that ๐œu=๐œv

Let f : (X;U)โ†’ (X;V) and g : (X;V)โ†’ (X;U) be identity function. Then f and

g are continuous (in fact a homeomorphism) because ๐œu=๐œv .

30

Hence by result 4.15 , every continuous function from a compact uniform

space to a uniform space is uniformly continuous.

โ‡’ f and g are uniformly continuous

โ‡’ UโŠ‚V and VโŠ‚U

โ‡’ U=V

Hence the proof.

THEOREM 3.18

Let (X;U) be a compact uniform space. Let ๐œu be the uniform topology

on X and given Xร—X the product topology. Then U consist precisely of all

the neighbourhoods of the diagonal โˆ†๐‘ฅ in Xร—X

Proof

We know that every member of U is a neighbourhood of the diagonal โˆ†๐‘ฅ in

Xร—X . Now it is enough to prove that every neighbourhood of โˆ†๐‘ฅ is a

member of U. Let V be such a neighbourhood.

Without loss of generality, we may assume that V is open in Xร—X . Let B

be the family of those members of U which are closed in Xร—X. Then B is a

base for U, since each member of U is a closed symmetric member of U.

Let W=โˆฉ{ U:Uโˆˆ B}. We claim that W โŠ‚ V .

For this suppose (x,y)โˆˆW, then yโˆˆ U[x] for all Uโˆˆ B .

Since B is a base , the family { U[x]:Uโˆˆ B} is a local base at x with respect

to ๐œu.

In particular, since V[x] is an open neighbourhood of x , there exist a Uโˆˆ B

such that U[x] โŠ‚ V[x]. Hence yโˆˆ U[x] โŠ‚ V[x] โ‡’ yโˆˆV[x].

ie, (x,y)โˆˆ V. Thus W โŠ‚ V.

31

since X is compact, so is Xร—X , sice V is open so Xร—X - V is closed.

B โˆช{ Xร—X - V } is a family of closed subsets of Xร—X and its intersection is

empty.

ie, there exist finitely many members U1,U2,โ€ฆUn of B such that

U1โˆฉU2โˆฉโ€ฆโˆฉUnโˆฉ(Xร—X-V)=โˆ…

โ‡’ U1โˆฉU2โˆฉโ€ฆโˆฉUn โŠ‚ V

โ‡’ VโˆˆU.

Hence the proof.

32

BIBLIOGRAPHY

1. JOSHY.K.D โ€œ Introduction to General Topology โ€ New age

International (p) Ltd.(1983)

2. AMSTRONG โ€œBasic Topology SPR01 editionโ€ Springer (India)(p)

Ltd.(2005)

3. JAMES.I.M โ€œIntroduction to Uniform Spacesโ€ Cambridge University

Press (1990)

4. JAN PACHL โ€œUniform Spaces and Measuresโ€ Springer (2012)

5. MURDESHWAR.M.G โ€œGeneral Topologyโ€ New age International (p)

Ltd. (2007)

Recommended