EQUIVALENCE OF TOPOLOGIES AND BOREL FIELDS FOR COUNTABLY-HILBERT SPACES

Similar documents
NUCLEAR SPACE FACTS, STRANGE AND PLAIN

Notes on Distributions

The weak topology of locally convex spaces and the weak-* topology of their duals

Locally convex spaces, the hyperplane separation theorem, and the Krein-Milman theorem

Academic Editor: Palle E.T. Jorgensen Received: 31 May 2016; Accepted: 27 September 2016; Published: 9 October 2016

A note on the σ-algebra of cylinder sets and all that

Topological vectorspaces

Measurable Choice Functions

(convex combination!). Use convexity of f and multiply by the common denominator to get. Interchanging the role of x and y, we obtain that f is ( 2M ε

The Schwartz Space: Tools for Quantum Mechanics and Infinite Dimensional Analysis

Appendix B Convex analysis

Normed Vector Spaces and Double Duals

Functional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability...

THE UNIQUE MINIMAL DUAL REPRESENTATION OF A CONVEX FUNCTION

ON SOME TOPOLOGICAL PROPERTIES OF NEW TYPE OF DIFFERENCE SEQUENCE SPACES

7 Complete metric spaces and function spaces

1 Topology Definition of a topology Basis (Base) of a topology The subspace topology & the product topology on X Y 3

(c) For each α R \ {0}, the mapping x αx is a homeomorphism of X.

Functional Analysis Exercise Class

Problem Set 2: Solutions Math 201A: Fall 2016

RESTRICTED UNIFORM BOUNDEDNESS IN BANACH SPACES

Real Analysis Notes. Thomas Goller

B. Appendix B. Topological vector spaces

PROBLEMS. (b) (Polarization Identity) Show that in any inner product space

Compact operators on Banach spaces

Banach-Alaoglu, boundedness, weak-to-strong principles Paul Garrett 1. Banach-Alaoglu theorem

Completeness and quasi-completeness. 1. Products, limits, coproducts, colimits

Continuity of convex functions in normed spaces

The small ball property in Banach spaces (quantitative results)

FUNCTION BASES FOR TOPOLOGICAL VECTOR SPACES. Yılmaz Yılmaz

FUNCTIONAL ANALYSIS LECTURE NOTES: COMPACT SETS AND FINITE-DIMENSIONAL SPACES. 1. Compact Sets

ON THE REGULARITY OF ONE PARAMETER TRANSFORMATION GROUPS IN BARRELED LOCALLY CONVEX TOPOLOGICAL VECTOR SPACES

Methods of constructing topological vector spaces

The Kolmogorov extension theorem

Semicontinuous functions and convexity

USING FUNCTIONAL ANALYSIS AND SOBOLEV SPACES TO SOLVE POISSON S EQUATION

Introduction and Preliminaries

Contents. Index... 15

Math 341: Convex Geometry. Xi Chen

Your first day at work MATH 806 (Fall 2015)

MULTIPLES OF HYPERCYCLIC OPERATORS. Catalin Badea, Sophie Grivaux & Vladimir Müller

Spectral Theory, with an Introduction to Operator Means. William L. Green

Chapter 3: Baire category and open mapping theorems

INVERSE LIMITS AND PROFINITE GROUPS

A NICE PROOF OF FARKAS LEMMA

NAME: Mathematics 205A, Fall 2008, Final Examination. Answer Key

4 Countability axioms

NORMAL FAMILIES OF HOLOMORPHIC FUNCTIONS ON INFINITE DIMENSIONAL SPACES

Finite-dimensional spaces. C n is the space of n-tuples x = (x 1,..., x n ) of complex numbers. It is a Hilbert space with the inner product

Seminorms and locally convex spaces

Boundedly complete weak-cauchy basic sequences in Banach spaces with the PCP

LECTURE 15: COMPLETENESS AND CONVEXITY

Introduction to Real Analysis Alternative Chapter 1

Chapter 1. Introduction

A PROOF OF A CONVEX-VALUED SELECTION THEOREM WITH THE CODOMAIN OF A FRÉCHET SPACE. Myung-Hyun Cho and Jun-Hui Kim. 1. Introduction

Contents: 1. Minimization. 2. The theorem of Lions-Stampacchia for variational inequalities. 3. Γ -Convergence. 4. Duality mapping.

STRONGLY CONNECTED SPACES

MH 7500 THEOREMS. (iii) A = A; (iv) A B = A B. Theorem 5. If {A α : α Λ} is any collection of subsets of a space X, then

Chapter 2 Metric Spaces

Geometry and topology of continuous best and near best approximations

2.31 Definition By an open cover of a set E in a metric space X we mean a collection {G α } of open subsets of X such that E α G α.

Problem Set 6: Solutions Math 201A: Fall a n x n,

MAA6617 COURSE NOTES SPRING 2014

NOTES ON EXISTENCE AND UNIQUENESS THEOREMS FOR ODES

Topological properties

MAT 578 FUNCTIONAL ANALYSIS EXERCISES

1.4 The Jacobian of a map

Aliprantis, Border: Infinite-dimensional Analysis A Hitchhiker s Guide

THE SCHWARTZ SPACE: A BACKGROUND TO WHITE NOISE ANALYSIS

TORIC WEAK FANO VARIETIES ASSOCIATED TO BUILDING SETS

Exercise Solutions to Functional Analysis

Part III. 10 Topological Space Basics. Topological Spaces

Introduction to Functional Analysis

COUNTABLE PRODUCTS ELENA GUREVICH

Convex Analysis and Economic Theory Winter 2018

Normed and Banach Spaces

Chapter 1. Preliminaries. The purpose of this chapter is to provide some basic background information. Linear Space. Hilbert Space.

Extreme points of compact convex sets

08a. Operators on Hilbert spaces. 1. Boundedness, continuity, operator norms

CHAPTER 7. Connectedness

arxiv:math/ v1 [math.fa] 26 Oct 1993

Banach-Alaoglu theorems

INDECOMPOSABILITY IN INVERSE LIMITS WITH SET-VALUED FUNCTIONS

Analysis Finite and Infinite Sets The Real Numbers The Cantor Set

Stone-Čech compactification of Tychonoff spaces

A NOTE ON FRÉCHET-MONTEL SPACES

Part V. 17 Introduction: What are measures and why measurable sets. Lebesgue Integration Theory

Real Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi

CLOSED GRAPH THEOREMS FOR BORNOLOGICAL SPACES

ON LOCALLY HILBERT SPACES. Aurelian Gheondea

HW 4 SOLUTIONS. , x + x x 1 ) 2

Lectures on Analysis John Roe

Problem 1: Compactness (12 points, 2 points each)

Your first day at work MATH 806 (Fall 2015)

Egoroff Theorem for Operator-Valued Measures in Locally Convex Cones

SEVERAL PRODUCTS OF DISTRIBUTIONS ON MANIFOLDS

ON THE UNIQUENESS PROPERTY FOR PRODUCTS OF SYMMETRIC INVARIANT PROBABILITY MEASURES

ASYMPTOTICALLY NONEXPANSIVE MAPPINGS IN MODULAR FUNCTION SPACES ABSTRACT

Convergent Iterative Algorithms in the 2-inner Product Space R n

Notes for Functional Analysis

Transcription:

EQUIVALENCE OF TOPOLOGIES AND BOREL FIELDS FOR COUNTABLY-HILBERT SPACES JEREMY J. BECNEL Abstract. We examine the main topologies wea, strong, and inductive placed on the dual of a countably-normed space and the σ-fields generated by these topologies. In particular, we prove that for certain countably-hilbert spaces the strong and inductive topologies coincide and the σ-fields generated by the wea, strong, and inductive topologies are equivalent. 1. Introduction and Objectives In this paper we study the wea, strong, and inductive topologies on the dual of a countably-normed space. We see that under certain conditions the strong and inductive topologies coincide (and are also equivalent with the Macey topology, which is introduced later. We also examine and compare the σ-fields generated by these topologies to see that under reasonable conditions all the σ-fields are in fact equivalent. Although these results have been used implicitly or explicitly (see for instance [5] in the literature, there appears to be no efficient or complete proof published or readily accessible without having to wor through a vast literature. It is the purpose of this paper to present proofs of these results in a largely self-contained manner. For this reason we have included here proofs of various well nown results; these proofs also serve the function of setting up arguments and notation for our principal objectives. 2. Topological Vector Spaces In this section we review the basic notions of topological vector spaces along and provide proofs a few useful results. 2.1. Topological Preliminaries. Let E be a real vector space. A vector topology τ on E is a topology such that addition E E E : (x, y x + y and scalar multiplication R E E : (t, x tx are continuous. If E is a complex vector space we require that C E E : (α, x αx be continuous. A topological vector space is a vector space equipped with a vector topology. A local base of a vector topology τ is a family of open sets {U α } α I containing 0 such that if W is any open set containing 0 then W contains some U α. A set W that contains an open set containing x is called a neighborhood of x. If U is any open set and x any point in U then U x is an open neighborhood of 0 and hence contains some U α, and so U itself contains a neighborhood x + U α of x. Doing this Date: 8/1/2004. 2000 Mathematics Subject Classification. Primary: 57N17; Secondary: 60H40. 1

2 JEREMY J. BECNEL for each point x of U, we see that each open set is the union of translates of the local base sets U α. If U x denotes the set of all neighborhoods of a point x in a topological space X, then U x has the following properties: 1. x U for all U U x 2. if U U x and V U x, then U V U x 3. if U U x and U V, then V U x. 4. if U U x, then there is some V U x with U U y for all y V. (Taing V to be the interior of U is sufficient. Conversely, if X is any set and a non-empty collection of subsets U x is given for each x X, then when the conditions above are satisfied by the U x, exactly one topology can be defined on X in such a way to mae U x the set of neighborhoods of x for each x X. This topology consists of all V X such that for each x V there is a U U x with U V. [6] We are primarily concerned with locally convex spaces; a locally convex space is a topological vector space which has a local base consisting of convex sets. In a topological vector space there is the notion of bounded sets. A set D in a topological vector space is said to be bounded, if for every neighborhood U of 0 there is some λ > 0 such that D λu. If {U α } α I is a local base, then it is easily seen that D is bounded if and only if to each U α there corresponds λ α > 0 with D λ α U α. [6] A set A in a vector space E is said to be absorbing if given any x E there is an η such that x λa for all λ η. The set A is balanced if, for all x A, λx A whenever λ 1. Also, a set A in a vector space E is symmetric if A = A. 2.2. Bases in Topological Vector Spaces. Here we prove some general, but very useful, results about local bases for topological vector spaces [6]. Lemma 2.1. Every topological vector space E has a base of balanced neighborhoods. Proof. Let U be a neighborhood of 0 in E. Consider the function h : C E E given by h(λ, x = λx. Since E is a topological vector space h is continuous at λ = 0, x = 0. So there is a neighborhood V and ɛ > 0 with λx U for λ ɛ and x V. Hence λv U for λ ɛ. Therefore ɛ αv U for all α with α 1. Thus ɛv U = α 1 αu U. Now since V is a neighborhood of 0 so is ɛv. Hence U is a neighborhood of 0. If x U and 0 < λ 1, then for α 1, we have x α λ U. So λx αu for λ 1. Hence λx U. Therefore U is balanced. Lemma 2.2. Let E be a vector space. Let B be a collection of subsets of E satisfying: I. if U, V B, then there exist W B with W U V. II. if U B and λ 0, then λu B. III. if U B, then U is balanced, convex, and absorbing. Then there is a topology maing E a locally convex topological vector space with B the base of neighborhoods of 0. Proof. Let A be the set of all subsets of E that contain a set of B. For each x tae x + A to be the set of neighborhoods of x. We need to see that 1-4 are satisfied from subsection 2.1.

EQUIVALENCE OF TOPOLOGIES AND BOREL FIELDS FOR COUNTABLY-HILBERT SPACES3 For 1, we have to show x A for all A x + A. Note that since each U is absorbing, there exists a non-zero λ such that 0 λu. But then 0 λ 1 λu = U. So each U B contains 0. Hence x A for all A x + A. For 2, we have to show that if A, B A, then (x + A (x + B x + A for each x E. Recall U A and V B for some U, V B. So U V A B. By the first hypothesis, there is a W B with W U V A B. Thus A B A and hence (x + A (x + B x + A for each x E. Next 3 is clear from the definition of A, since if A A and A B then B A. Finally for 4, we must show that if x + A x + A, there is a V x + A with x + A y + A for all y V. If A A tae a U B with U A. Now we show that x + A is a neighborhood of each point y x + 1 2 U. Since y x + 1 2U we have y x 1 2 U. Thus y x + 1 2 U 1 2 U + 1 2 U A. Hence y + 1 2U x + A. Thus x y + A 1 2U. So x y + A A. Therefore y + x y + A = x + A y + A. To prove continuity of addition, let U B. Then if x a + 1 2 U and y b + 1 2 U, we have x + y a + b + U. To see that scalar multiplication, λx, is continuous at x = a, λ = α, we should find δ 1 and δ 2 such that λx αa U whenever λ α < δ 1 and x a + δ 2 U. Since U is absorbing, there is a non-zero η with a ηu. Tae δ 1 so that 0 < δ 1 < 1 2η and tae δ 1 2 so that 0 < δ 2 < 2( α +δ 1. Using the fact that U is balanced λx αa = λ(x a + (λ αa ( α + δ 1 δ 2 U + δ 1 ηu 1 2 U + 1 2 U U Thus we are done. 2.3. Topologies generated by families of topologies. Let {τ α } α I be a collection of vector topologies on a vector space E. It is natural and useful to consider the the least upper bound topology τ, i.e. the coarsest topology containing all sets of α I τ α. We present the following useful fact: Fact 2.3. The least upper bound topology τ of a collection {τ α } α I of vector topologies is again a vector topology. If {W α,i } i Iα is a local base for τ α then a local base for τ is obtained by taing all finite intersections of the form W α1,i 1 W αn,i n. (See [8] Example 9.2 (b 3. Countably-Normed Spaces We begin with the basic definition of a countably-normed space and a countably- Hilbert space. Definition 3.1. Let V be a topological vector space over C with topology given by a family of norms { n ; n = 1, 2,...}. Then V is a countably-normed space. The space V is called a countably-hilbert space if each n is an inner product norm and V is complete with respect to its topology. Remar 3.2. By considering the new norms v n = ( n =1 v 2 1 2 we may and will assume that the family of norms { n ; n = 1, 2,...} is increasing, i.e. v 1 v 2 v n, v V

4 JEREMY J. BECNEL If V is a countably-normed space, we denote the completion of V in the norm n by V n. Then V n is by definition a Banach space. Also in light of Remar 3.2 we can assume that V V n+1 V n V 1 Lemma 3.3. The inclusion map from V n+1 into V n is continuous. Proof. Tae an open neighborhood of 0 in V n given by B n (0, ɛ = {v V n ; v n < ɛ}. Let i n+1,n : V n+1 V n be the inclusion map. Now i 1 n+1,n (B n(0, ɛ = {v V n+1 ; v n < ɛ} B n+1 (0, ɛ since v n v n+1 Therefore i n+1,n is continuous. Proposition 3.4. Let V be a countably-normed space. Then V is complete if and only if V = n=1 V n. Proof. Suppose V = n=1 V n and {v } =1 is Cauchy in V. By definition of the topology on V, {v } =1 is Cauchy in V n for all n. Since V n is complete, a limit v (n exist in V n. Since the inclusion map i n+1,n : V n+1 V n is continuous and V V n+1 V n V 1 all the v (n are the same and belong to each V n. Thus this common limit is in V = n=1 V n. Let us call this element v V. Since for all m, lim v v (n m = 0 then we have that v = lim v in V. Thus V is complete. Conversely, let V be complete and tae v n=1 V n. Using that V is dense in V n, for each n we can find v n V such that v v n n < 1 n. Now for < n we have v v n v v n n < 1 n. Thus lim n v v n = 0. This gives us that {v n } is Cauchy with respect to for all, and hence Cauchy in the topology of V. Let v = lim n v n in V. Since for all we have v, v V and lim n v v n = 0 we have that v = v. Thus v V and we have V n=1 V n. That V n=1 V n is obvious, since V V n for all n. 3.1. Open Sets in V. In light of Fact 2.3, we see that a local base for V is given by sets of the form: B = B n1 (ɛ 1 B n2 (ɛ 2 B n (ɛ where B ni (ɛ i = {v V ; v ni < ɛ i } is the ni unit ball of radius ɛ i in V. Proposition 3.5. Let V be a countably-normed space. For every element B of the local base for V there is exist n and ɛ > 0 such that B n (ɛ B. Proof. Let B = B n1 (ɛ 1 B n2 (ɛ 2 B n (ɛ be an element of the local base for V. Tae n = max 1 j n j and ɛ = min 1 j ɛ j. Observe that B n (ɛ B since for v B n (ɛ we have v nj v n < ɛ ɛ j for any j {1, 2,..., } and so v B. 3.2. The Dual. Let V be a countably-normed space associated with an increasing sequence of norms { n } n=1. Let V n be the completion of V with respect to the norm n. We denote the dual space of V by V. Let, denote the canonical bilinear pairing of V and V. Proposition 3.6. The dual of a countably-normed space V is given by V = n=1 V n and we have the inclusions V 1 V n V n+1 V

EQUIVALENCE OF TOPOLOGIES AND BOREL FIELDS FOR COUNTABLY-HILBERT SPACES5 Proof. ( Tae v V n. Then v is continuous on V n with topology coming from the norm n. Thus v is continuous on V, since V V n and the norm n is one of the norms generating the topology on V. ( Tae v V. The set N v (1 = {v V ; v, v < 1 } is open in V since v is continuous on V. By Proposition 3.5 we have B n (ɛ N v (1 for some n and some ɛ > 0. Thus for all v V with v n < ɛ we have that v, v < 1. Since V is dense in V n, if v V n and v n ɛ then v, v 1. Hence v V n. That V n V n+1 follows from V n+1 V n and the fact that the inclusion maps i n+1,n : V n+1 V n are continuous (see Lemma 3.3. 4. Topologies on the Dual Space We now briefly introduce four of the most common topologies placed on the dual of a countably-normed space. We examine the wea, strong, inductive, and Macey topologies. 4.1. WeaTopology. The wea topology is the simplest topology placed on the dual of a countably-normed space. It is defined as follows: Definition 4.1. The wea topology on the dual V of a topological vector space V is the coarsest vector topology on V such that the functional, v is continuous for any v V. Remar 4.2. Just as we have defined the wea topology on V, we can define an analogous topology on V. This topology has as its local base sets of the form N(v 1, v 2,..., v ; ɛ = { v V ; v j, v < ɛ, 1 j } This topology is referred to as the wea topology on V. As with any vector topology, we are interested in a useful local base. Proposition 4.3. The wea topology on V has a local base of neighborhoods given by sets of the form: N(v 1, v 2,..., v ; ɛ = {v V ; v, v j < ɛ, 1 j } Proof. In order for, v to be continuous for all v V we need, v to be continuous at 0. Or equivalently, we require that N(v; ɛ be open for each ɛ > 0. Hence for each v V we form the topology τ v on V given by the local base {N(v; ɛ} ɛ>0. The wea topology is the least upper bound topology for the family {τ v } v V (see subsection 2.3. Thus a local base for the wea topology is given by sets of the form where v 1, v 2,..., v V. N(v 1, v 2,..., v ; ɛ = N(v 1 ; ɛ N(v 2 ; ɛ N(v ; ɛ Now suppose V is a countably-normed space with notation as in Section 3. Proposition 4.4. The inclusion map i n : V n V is continuous when V is given the wea topology and V n has the dual norm topology. Proof. Consider the wea base neighborhood N(v; ɛ where v V. Observe that i 1 n (N(v; ɛ = {v V n; v, v < ɛ}. Since v V V n we have that the functional, v is continuous on V n. (Since V n is a Banach space, V n V n. Thus {v V n; v, v < ɛ}, is open in V n.

6 JEREMY J. BECNEL 4.2. Strong Topology. Using the notion of bounded sets in a countably-normed space V we can define the strong topology on V. Definition 4.5. The strong topology on the dual V of a topological vector space V is defined to be the topology with a local base given by sets of the form N(D; ɛ = {v V ; sup v D v, v < ɛ} where D is any bounded subset of V and ɛ > 0. Taing D to be a finite set such as {v 1, v 2,..., v }, it is clear that the strong topology is finer than the wea topology. Proposition 4.6. The inclusion map i n : V n V is continuous when V is given the strong topology and V n has the dual norm topology. Proof. Consider the neighborhood N(D; ɛ = {v V ; sup v D v, v < ɛ} where D is bounded in V and ɛ > 0. Now i 1 n (N(D; ɛ = {v V n; sup v D v, v < ɛ}. Since D is bounded we have sup v D v n = M <. Tae v 0 in i 1 n (N(D; ɛ and let c 0 = sup v D v 0, v < ɛ. Consider the open set B(v 0, ɛ c0 M+1 = {v V n; v v 0 n < ɛ co M+1 }. We assert that B(v 0, ɛ c0 M+1 i 1 n (N(D; ɛ. Tae v B(v 0, ɛ c0 M+1. Then v v 0 n < ɛ c0 M+1. This gives us the following sup v v 0, v ɛ c 0 < v n M + 1 v D,v 0 Thus sup v D v v 0, v < ɛ c 0, since v n M when v D. From this we see that sup v D v, v < ɛ. Therefore v i 1 n (N(D; ɛ. 4.3. Inductive Limit Topology. Suppose {(W n, n ; n 1} is a sequence of normed spaces with W n continuously included in W n+1 for all n. Form the space W = n=1 W n and endow W with the finest locally convex vector topology such that for each n the inclusion map i n : W n W is continuous. The existence of such a topology is shown in Theorem 4.7. This topology is called the inductive limit topology on W and W is said to be the inductive limit of the sequence {(W n, n ; n 1} 4.4. Local Base. It will be useful to wor with a local base for the inductive limit topology. Theorem 4.7. Suppose W is the inductive limit of the sequence of normed spaces {(W n, n ; n 1}. A local base for W is given by the set B of all balanced convex subsets U of W such that i 1 n (U is a neighborhood of 0 in W n for all n. Proof. We first apply Lemma 2.2 to see the set B is in fact a local base for W. Tae U, V B, then clearly U V B. Now if U B, then it is easy to see that αu B for α 0. Finally we show U B is absorbing. Note that i 1 n (U is absorbing in W n (since W n is a normed space and i 1 n (U is open in W n. Thus U absorbs all points of W n = i n (W n W. Since W = n=1 W n, U absorbs W. Thus we see that B is a base of neighborhoods for a locally convex vector topology on W. It is fairly straightforward to see that B gives us the finest locally convex vector topology maing all the i n : W n W continuous: Let τ be a locally convex vector topology on W maing all the i n continuous. Tae a convex neighborhood (of 0 U in τ. By Lemma 2.1 we can assume U is balanced. Since each i n is continuous, we have i 1 n (U is a neighborhood in W n. Thus U B.

EQUIVALENCE OF TOPOLOGIES AND BOREL FIELDS FOR COUNTABLY-HILBERT SPACES7 Corollary 4.8. Suppose W is the inductive limit of the sequence of normed spaces {(W n, n ; n 1}. A local base for W is given by the balanced convex hulls of sets of the form n=1 i n(b n (ɛ n (where B n (ɛ n = {x W n ; x n < ɛ n }. Proof. Let U be the balanced convex hull of the set n=1 i n(b n (ɛ n in W. Then B n (ɛ n i 1 n (U. So i 1 n (U is a neighborhood of 0 in W n. By Theorem 4.7 such a U is a neighborhood in W. Now if U is any balanced convex neighborhood of 0 in W, then i 1 n (U contains a neighborhood B n (ɛ n. Hence i n (B n (ɛ n U. Since U is convex and balanced, the balanced convex hull of n=1 i n(b n (ɛ n is contained in U. Thus the sets described form a local base for W. Let V be a countably-normed space. Then V, the dual of V, can be regarded as the inductive limit of the sequence of normed spaces {(V n, n ; n 1}. (Recall we have V = n=1 V n. In light of Proposition 4.6 and Proposition 4.4 we see that (4.1 the inductive limit topology on V is finer than the strong and wea topology on V. 4.5. Macey Topology. In order to tal about the Macey topology we need the following notion: Definition 4.9. Let D be a nonempty set of bounded subsets of a topological vector space E with dual E. The topology of uniform convergence on the sets of D is the topology with subbasis neighborhoods of 0 given by N(D; ɛ = {v E ; sup v D v, v < ɛ} where D D and ɛ > 0. This is also referred to as the topology of D convergence on E. From the definition we see that a local base neighborhood for the topology of D convergence on a vector space E with dual E loos lie N(D 1 ; ɛ 1 N(D 2 ; ɛ 2 N(D ; ɛ where D j D and ɛ j > 0 for all 1 j. We now state the following theorem without proof: Theorem 4.10 (Macey-Arens. Suppose that under a locally convex vector topology τ, E is a Hausdorff space. Then E has dual E under τ if and only if τ is a topology of uniform convergence on a set of balanced convex wealy compact subsets of E. For a proof of this result see Section 21.4 in [4]. Using this theorem we can define the Macey topology as follows: Definition 4.11. Let E be a topological vector space with dual E. The Macey topology on E is the topology of uniform convergence on all balanced convex wealy compact subsets of E. Remar 4.12. From this discussion we see that the Macey topology on E has a local base given by N(C; ɛ = {v E ; sup v C v, v < ɛ} where ɛ > 0 and C is a balanced convex wealy compact set in E.

8 JEREMY J. BECNEL 4.6. Comparing the Topologies on V. Let us mae the following notational convention throughout this section: Notation. Let V be a countably-normed space with dual V. The wea topology, strong topology, inductive limit topology, and Macey topology on V will be denoted by τ w, τ s, τ i, and τ m, respectively. Proposition 4.13. Let V be a countably-normed space with dual V. Then the strong topology τ s is finer than the Macey topology τ m on V. Proof. The topology τ s is by definition the topology of uniform convergence on all bounded sets in V. Note that every wealy bounded set in V is bounded and every wealy compact set in V is wealy bounded. Thus τ m τ s. Lemma 4.14. Let V be a countably-normed space with dual V. Then V is Hausdorff in the wea topology t w, and hence in the strong, Macey, and inductive limit topologies. Proof. Tae v V. We must find a neighborhood of 0 in τ w that does not contain v. Tae v V such that v, v 0. Let v, v = λ 0. Consider the set N ( v; λ 2 = { v V ; v, v < λ 2 }. This set cannot contain v. Lemma 4.15. Let V be a countably-hilbert space with dual V. Then the dual of V is V when V is given the wea, strong, Macey, or inductive limit topology. Proof. Consider v V and the corresponding linear functional ˆv on V given by ˆv, v = v, v where v V. Observe ˆv, is continuous since {v V ; v, v < ɛ} is open in the wea topology (and hence the strong, Macey, and inductive limit topologies. Also note that if û = ˆv, then v, v = v, u for all v V. So v = u and by the Hahn-Banach Theorem the correspondence v ˆv is injective. We now show that the correspondence v ˆv is surjective as a map of V into the dual of V with respect to any of the four topologies. Tae v V, the dual of V. Then v is continuous on V. Since V = n=1 V n, we have that v V n for all n. (Here we have used that i n : V n V is continuous in all four topologies by Proposition 4.4, Proposition 4.6, Proposition 4.13, and the definition of the inductive limit topology. But V n = V n since V n is a Hilbert space. Thus v can be considered as an element of V n for all n. Since V is a complete we have that n=1 V n = V by Proposition 3.4. Thus v V and we have that v ˆv is surjective. Theorem 4.16. Let V be a countably-hilbert space with dual V. Then the inductive, strong, and Macey topologies on V are equivalent (i.e. τ s = τ i = τ m. Proof. By Lemma 4.14 and Lemma 4.15 we have that V is Hausdorff and has dual V under the topologies τ s, τ i, and τ m. Thus we can apply Theorem 4.10 to V. (In the theorem we are taing V as E and V as E. This gives us that τ i and τ s are topologies of uniform convergence on a set of balanced convex wealy compact subsets of V. However, the Macey topology, τ m, is the finest such topology. Thus τ s τ m and τ i τ m. However, by Proposition 4.13 we have τ m τ s. Thus τ s = τ m. Liewise, we have τ i τ m = τ s ; and, by Proposition 4.6 and the definition of the inductive limit topology on V we have τ s τ i (see (4.1. Therefore τ s = τ m = τ i.

EQUIVALENCE OF TOPOLOGIES AND BOREL FIELDS FOR COUNTABLY-HILBERT SPACES9 5. Borel Field In this section our aim is to discuss the σ-fields on V generated by the three topologies (strong, wea, and inductive. We will see that under certain conditions all the three σ-fields coincide. The standing assumption throughout this section is that V is a countably-hilbert space with a countable dense subset Q o. From the definition of the topology on V it follows ( that Q o is also dense as a subset of V n. On each V n V define the sets F 1 n for all as: F n ( 1 = { v V n ; sup v Q v, } v v n < 1 where Q = Q o {0}. Recall that the local base for the dual norm topology on V n is given by the sets N n (ɛ = { v V n ; v n < ɛ } where ɛ > 0. Observe that in V n we have F n ( 1 = Nn ( 1 for all, because Q is dense in V n. Moreover, the collection {F n ( 1 } =1 forms a local base in V n. Since each V n is a separable Hilbert space, so is its dual V n. Let Q n be a countable dense subset in V n. Proposition 5.1. The collection {x + F n ( 1 x Q n, 1 < } is a basis for the topology of V n. Proof. Consider ( an open set U V n and an element v in U. So there is a such that v + F 1 n U. Tae ( x Q n such that x v n < 1 2. Observe that x + F 1 ( n 2 v + F 1 ( n : Tae any w F 1 n 2 and we have sup x v + w v, x v n + sup w v, v n v n v Q < 1 2 + 1 2 = 1 ( This gives us that x v +F 1 ( n 2 1 ( Fn or equivalently x +F 1 ( n 2 v +F 1 ( n. Also v x + F 1 n 2 since x v n < 1 2 (. In summary we have that v x + F 1 ( n 2 v + F 1 ( n U. Therefore the collection {x + F 1 n x Q n, 1 < } is basis for V n Lemma 5.2. Let σ(τ w be the Borel σ-field on V induced by the wea topology. Then F n ( 1 is in σ(τ w for all positive integers and n. ( Proof. Observe F 1 { } { } ( n = v V n ; v n < 1 = v V ; v n < 1. Note that F 1 ( n can be expressed as 1 Fn = r S v Q N( v n v n ; r where N ( v v n ; r = {v V ; v v, v n < r} and S = {r Q ; 0 < r < 1 }. Therefore F 1 n( is expressible using countable unions and intersections of the wealy open sets N ( v v n ; r (. Hence F 1 n is in σ(τw. Theorem 5.3. Let V be the dual of a countably-hilbert space V which has a countable dense subset. Suppose V be be endowed with a topology τ. If τ is finer than τ w and the inclusion map i n : V n V is continuous for all n, then the σ-fields generated by τ and τ w are equal. (i.e. σ(τ w = σ(τ In particular, the σ- fields generated by the inductive, strong, and wea topologies on V are equivalent. (i.e. σ(τ w = σ(τ s = σ(τ i v Q

10 JEREMY J. BECNEL Proof. Let U τ. Then U n = i 1 n (U is open in V n. By Proposition 5.1 U n can be expressed as U n = l T x n l + F n ( 1 l where x n l Q n and T is countable. Then ( U = U V = U n=1 ( 1 = U V n = U n = (x nl + F n l V n n=1 n=1 n=1 l T Thus U can be expressed as a countable union of sets in σ(τ w. Hence U is in σ(τ w. Therefore σ(τ w = σ(τ. Since i n is continuous with respect to τ i and τ s and also both τ i and τ s are finer than τ w, we see that the σ-fields generated by the inductive, strong, and wea topologies on V are equivalent. The σ-field on V generated by the wea, strong, or inductive topology maybe referred to as the Borel field on V. Acnowledgments The author thans professor Ambar Sengupta for his help and guidance in the research and revisions of this paper. References [1] J. J. Becnel, About Countably-Normed Spaces. http://xxx.lanl.gov/abs/math.fa/0407200, 23 pages, 2004. [2] I. Gel fand and G. Shilov, Spaces of Fundamental and Generalized Functions, vol. 2 of Generalized Functions, Academic Press, New Yor, New Yor, 1968. [3] I. Gel fand and N. Y. Vilenin, Application of Harmonic Analysis, vol. 4 of Generalized Functions, Academic Press, New Yor, New Yor, 1964. [4] G. Köthe, Topological Vector Spaces I, vol. 1, Springer-Verlag, Berlin, Germany, 1969. [5] H.-H. Kuo, White Noise Distribution Theory, Probability and Stochastic Series, CRC Press, Inc., New Yor, New Yor, 1996. [6] A. Robertson and W. Robertson, Topological Vector Spaces, Cambridge University Press, London, 1964. [7] H. H. Schaefer, Topological Vector Spaces, The Macmillan Company, New Yor, New Yor, 1966. [8] Y.-C. Wong, Introductory Theory of Topological Vector Spaces, Marcel Deer, Inc., New Yor, New Yor, 1992. Department of Mathematics, Louisiana State University, Baton Rouge, LA 70803, USA E-mail address: bec@math.lsu.edu