EQUIVALENCE OF TOPOLOGIES AND BOREL FIELDS FOR COUNTABLY-HILBERT SPACES

Size: px
Start display at page:

Download "EQUIVALENCE OF TOPOLOGIES AND BOREL FIELDS FOR COUNTABLY-HILBERT SPACES"

Transcription

1 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 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/ Mathematics Subject Classification. Primary: 57N17; Secondary: 60H40. 1

2 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 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.

3 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 U. Since y x + 1 2U we have y x 1 2 U. Thus y x U 1 2 U 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 U and y b 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 U U Thus we are done 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 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 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 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 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

5 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 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 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 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; ɛ 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.

7 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 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 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 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 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 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 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 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 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.

9 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 ( 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 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 pages, [2] I. Gel fand and G. Shilov, Spaces of Fundamental and Generalized Functions, vol. 2 of Generalized Functions, Academic Press, New Yor, New Yor, [3] I. Gel fand and N. Y. Vilenin, Application of Harmonic Analysis, vol. 4 of Generalized Functions, Academic Press, New Yor, New Yor, [4] G. Köthe, Topological Vector Spaces I, vol. 1, Springer-Verlag, Berlin, Germany, [5] H.-H. Kuo, White Noise Distribution Theory, Probability and Stochastic Series, CRC Press, Inc., New Yor, New Yor, [6] A. Robertson and W. Robertson, Topological Vector Spaces, Cambridge University Press, London, [7] H. H. Schaefer, Topological Vector Spaces, The Macmillan Company, New Yor, New Yor, [8] Y.-C. Wong, Introductory Theory of Topological Vector Spaces, Marcel Deer, Inc., New Yor, New Yor, Department of Mathematics, Louisiana State University, Baton Rouge, LA 70803, USA address: bec@math.lsu.edu

NUCLEAR SPACE FACTS, STRANGE AND PLAIN

NUCLEAR SPACE FACTS, STRANGE AND PLAIN NUCLEAR SPACE FACTS, STRANGE AND PLAIN JEREMY J. BECNEL AND AMBAR N. SENGUPTA Abstract. We present a scenic, but practical drive through nuclear spaces, stopping to look at unexpected results both for

More information

Notes on Distributions

Notes on Distributions Notes on Distributions Functional Analysis 1 Locally Convex Spaces Definition 1. A vector space (over R or C) is said to be a topological vector space (TVS) if it is a Hausdorff topological space and the

More information

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

The weak topology of locally convex spaces and the weak-* topology of their duals The weak topology of locally convex spaces and the weak-* topology of their duals Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto April 3, 2014 1 Introduction These notes

More information

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

Locally convex spaces, the hyperplane separation theorem, and the Krein-Milman theorem 56 Chapter 7 Locally convex spaces, the hyperplane separation theorem, and the Krein-Milman theorem Recall that C(X) is not a normed linear space when X is not compact. On the other hand we could use semi

More information

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

Academic Editor: Palle E.T. Jorgensen Received: 31 May 2016; Accepted: 27 September 2016; Published: 9 October 2016 mathematics Article Nuclear Space Facts, Strange and Plain Jeremy Becnel 1, *, and Ambar Sengupta 2, 1 Department of Mathematics, Stephen F. Austin State University, PO Box 13040 SFA Station, Nacogdoches,

More information

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

A note on the σ-algebra of cylinder sets and all that A note on the σ-algebra of cylinder sets and all that José Luis Silva CCM, Univ. da Madeira, P-9000 Funchal Madeira BiBoS, Univ. of Bielefeld, Germany (luis@dragoeiro.uma.pt) September 1999 Abstract In

More information

Topological vectorspaces

Topological vectorspaces (July 25, 2011) Topological vectorspaces Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ Natural non-fréchet spaces Topological vector spaces Quotients and linear maps More topological

More information

Measurable Choice Functions

Measurable Choice Functions (January 19, 2013) Measurable Choice Functions Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/fun/choice functions.pdf] This note

More information

(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 ε

(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 ε 1. Continuity of convex functions in normed spaces In this chapter, we consider continuity properties of real-valued convex functions defined on open convex sets in normed spaces. Recall that every infinitedimensional

More information

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

The Schwartz Space: Tools for Quantum Mechanics and Infinite Dimensional Analysis Mathematics 2015, 3, 527-562; doi:10.3390/math3020527 Article OPEN ACCESS mathematics ISSN 2227-7390 www.mdpi.com/journal/mathematics The Schwartz Space: Tools for Quantum Mechanics and Infinite Dimensional

More information

Appendix B Convex analysis

Appendix B Convex analysis This version: 28/02/2014 Appendix B Convex analysis In this appendix we review a few basic notions of convexity and related notions that will be important for us at various times. B.1 The Hausdorff distance

More information

Normed Vector Spaces and Double Duals

Normed Vector Spaces and Double Duals Normed Vector Spaces and Double Duals Mathematics 481/525 In this note we look at a number of infinite-dimensional R-vector spaces that arise in analysis, and we consider their dual and double dual spaces

More information

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

Functional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability... Functional Analysis Franck Sueur 2018-2019 Contents 1 Metric spaces 1 1.1 Definitions........................................ 1 1.2 Completeness...................................... 3 1.3 Compactness......................................

More information

THE UNIQUE MINIMAL DUAL REPRESENTATION OF A CONVEX FUNCTION

THE UNIQUE MINIMAL DUAL REPRESENTATION OF A CONVEX FUNCTION THE UNIQUE MINIMAL DUAL REPRESENTATION OF A CONVEX FUNCTION HALUK ERGIN AND TODD SARVER Abstract. Suppose (i) X is a separable Banach space, (ii) C is a convex subset of X that is a Baire space (when endowed

More information

ON SOME TOPOLOGICAL PROPERTIES OF NEW TYPE OF DIFFERENCE SEQUENCE SPACES

ON SOME TOPOLOGICAL PROPERTIES OF NEW TYPE OF DIFFERENCE SEQUENCE SPACES Acta Universitatis Apulensis ISSN: 1582-5329 No. 32/2012 pp. 61-67 ON SOME TOPOLOGICAL PROPERTIES OF NEW TYPE OF DIFFERENCE SEQUENCE SPACES Çiğdem A. BEKTAŞ and Gülcan ATICİ Abstract. In this paper, we

More information

7 Complete metric spaces and function spaces

7 Complete metric spaces and function spaces 7 Complete metric spaces and function spaces 7.1 Completeness Let (X, d) be a metric space. Definition 7.1. A sequence (x n ) n N in X is a Cauchy sequence if for any ɛ > 0, there is N N such that n, m

More information

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

1 Topology Definition of a topology Basis (Base) of a topology The subspace topology & the product topology on X Y 3 Index Page 1 Topology 2 1.1 Definition of a topology 2 1.2 Basis (Base) of a topology 2 1.3 The subspace topology & the product topology on X Y 3 1.4 Basic topology concepts: limit points, closed sets,

More information

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

(c) For each α R \ {0}, the mapping x αx is a homeomorphism of X. A short account of topological vector spaces Normed spaces, and especially Banach spaces, are basic ambient spaces in Infinite- Dimensional Analysis. However, there are situations in which it is necessary

More information

Functional Analysis Exercise Class

Functional Analysis Exercise Class Functional Analysis Exercise Class Wee November 30 Dec 4: Deadline to hand in the homewor: your exercise class on wee December 7 11 Exercises with solutions Recall that every normed space X can be isometrically

More information

Problem Set 2: Solutions Math 201A: Fall 2016

Problem Set 2: Solutions Math 201A: Fall 2016 Problem Set 2: s Math 201A: Fall 2016 Problem 1. (a) Prove that a closed subset of a complete metric space is complete. (b) Prove that a closed subset of a compact metric space is compact. (c) Prove that

More information

RESTRICTED UNIFORM BOUNDEDNESS IN BANACH SPACES

RESTRICTED UNIFORM BOUNDEDNESS IN BANACH SPACES RESTRICTED UNIFORM BOUNDEDNESS IN BANACH SPACES OLAV NYGAARD AND MÄRT PÕLDVERE Abstract. Precise conditions for a subset A of a Banach space X are known in order that pointwise bounded on A sequences of

More information

Real Analysis Notes. Thomas Goller

Real Analysis Notes. Thomas Goller Real Analysis Notes Thomas Goller September 4, 2011 Contents 1 Abstract Measure Spaces 2 1.1 Basic Definitions........................... 2 1.2 Measurable Functions........................ 2 1.3 Integration..............................

More information

B. Appendix B. Topological vector spaces

B. Appendix B. Topological vector spaces B.1 B. Appendix B. Topological vector spaces B.1. Fréchet spaces. In this appendix we go through the definition of Fréchet spaces and their inductive limits, such as they are used for definitions of function

More information

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

PROBLEMS. (b) (Polarization Identity) Show that in any inner product space 1 Professor Carl Cowen Math 54600 Fall 09 PROBLEMS 1. (Geometry in Inner Product Spaces) (a) (Parallelogram Law) Show that in any inner product space x + y 2 + x y 2 = 2( x 2 + y 2 ). (b) (Polarization

More information

Compact operators on Banach spaces

Compact operators on Banach spaces Compact operators on Banach spaces Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto November 12, 2017 1 Introduction In this note I prove several things about compact

More information

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

Banach-Alaoglu, boundedness, weak-to-strong principles Paul Garrett 1. Banach-Alaoglu theorem (April 12, 2004) Banach-Alaoglu, boundedness, weak-to-strong principles Paul Garrett Banach-Alaoglu theorem: compactness of polars A variant Banach-Steinhaus theorem Bipolars Weak

More information

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

Completeness and quasi-completeness. 1. Products, limits, coproducts, colimits (April 24, 2014) Completeness and quasi-completeness Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/fun/notes 2012-13/07d quasi-completeness.pdf]

More information

Continuity of convex functions in normed spaces

Continuity of convex functions in normed spaces Continuity of convex functions in normed spaces In this chapter, we consider continuity properties of real-valued convex functions defined on open convex sets in normed spaces. Recall that every infinitedimensional

More information

The small ball property in Banach spaces (quantitative results)

The small ball property in Banach spaces (quantitative results) The small ball property in Banach spaces (quantitative results) Ehrhard Behrends Abstract A metric space (M, d) is said to have the small ball property (sbp) if for every ε 0 > 0 there exists a sequence

More information

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

FUNCTION BASES FOR TOPOLOGICAL VECTOR SPACES. Yılmaz Yılmaz Topological Methods in Nonlinear Analysis Journal of the Juliusz Schauder Center Volume 33, 2009, 335 353 FUNCTION BASES FOR TOPOLOGICAL VECTOR SPACES Yılmaz Yılmaz Abstract. Our main interest in this

More information

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

FUNCTIONAL ANALYSIS LECTURE NOTES: COMPACT SETS AND FINITE-DIMENSIONAL SPACES. 1. Compact Sets FUNCTIONAL ANALYSIS LECTURE NOTES: COMPACT SETS AND FINITE-DIMENSIONAL SPACES CHRISTOPHER HEIL 1. Compact Sets Definition 1.1 (Compact and Totally Bounded Sets). Let X be a metric space, and let E X be

More information

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

ON THE REGULARITY OF ONE PARAMETER TRANSFORMATION GROUPS IN BARRELED LOCALLY CONVEX TOPOLOGICAL VECTOR SPACES Communications on Stochastic Analysis Vol. 9, No. 3 (2015) 413-418 Serials Publications www.serialspublications.com ON THE REGULARITY OF ONE PARAMETER TRANSFORMATION GROUPS IN BARRELED LOCALLY CONVEX TOPOLOGICAL

More information

Methods of constructing topological vector spaces

Methods of constructing topological vector spaces CHAPTER 2 Methods of constructing topological vector spaces In this chapter we consider projective limits (in particular, products) of families of topological vector spaces, inductive limits (in particular,

More information

The Kolmogorov extension theorem

The Kolmogorov extension theorem The Kolmogorov extension theorem Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto June 21, 2014 1 σ-algebras and semirings If X is a nonempty set, an algebra of sets on

More information

Semicontinuous functions and convexity

Semicontinuous functions and convexity Semicontinuous functions and convexity Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto April 3, 2014 1 Lattices If (A, ) is a partially ordered set and S is a subset

More information

USING FUNCTIONAL ANALYSIS AND SOBOLEV SPACES TO SOLVE POISSON S EQUATION

USING FUNCTIONAL ANALYSIS AND SOBOLEV SPACES TO SOLVE POISSON S EQUATION USING FUNCTIONAL ANALYSIS AND SOBOLEV SPACES TO SOLVE POISSON S EQUATION YI WANG Abstract. We study Banach and Hilbert spaces with an eye towards defining weak solutions to elliptic PDE. Using Lax-Milgram

More information

Introduction and Preliminaries

Introduction and Preliminaries Chapter 1 Introduction and Preliminaries This chapter serves two purposes. The first purpose is to prepare the readers for the more systematic development in later chapters of methods of real analysis

More information

Contents. Index... 15

Contents. Index... 15 Contents Filter Bases and Nets................................................................................ 5 Filter Bases and Ultrafilters: A Brief Overview.........................................................

More information

Math 341: Convex Geometry. Xi Chen

Math 341: Convex Geometry. Xi Chen Math 341: Convex Geometry Xi Chen 479 Central Academic Building, University of Alberta, Edmonton, Alberta T6G 2G1, CANADA E-mail address: xichen@math.ualberta.ca CHAPTER 1 Basics 1. Euclidean Geometry

More information

Your first day at work MATH 806 (Fall 2015)

Your first day at work MATH 806 (Fall 2015) Your first day at work MATH 806 (Fall 2015) 1. Let X be a set (with no particular algebraic structure). A function d : X X R is called a metric on X (and then X is called a metric space) when d satisfies

More information

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

MULTIPLES OF HYPERCYCLIC OPERATORS. Catalin Badea, Sophie Grivaux & Vladimir Müller MULTIPLES OF HYPERCYCLIC OPERATORS by Catalin Badea, Sophie Grivaux & Vladimir Müller Abstract. We give a negative answer to a question of Prajitura by showing that there exists an invertible bilateral

More information

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

Spectral Theory, with an Introduction to Operator Means. William L. Green Spectral Theory, with an Introduction to Operator Means William L. Green January 30, 2008 Contents Introduction............................... 1 Hilbert Space.............................. 4 Linear Maps

More information

Chapter 3: Baire category and open mapping theorems

Chapter 3: Baire category and open mapping theorems MA3421 2016 17 Chapter 3: Baire category and open mapping theorems A number of the major results rely on completeness via the Baire category theorem. 3.1 The Baire category theorem 3.1.1 Definition. A

More information

INVERSE LIMITS AND PROFINITE GROUPS

INVERSE LIMITS AND PROFINITE GROUPS INVERSE LIMITS AND PROFINITE GROUPS BRIAN OSSERMAN We discuss the inverse limit construction, and consider the special case of inverse limits of finite groups, which should best be considered as topological

More information

A NICE PROOF OF FARKAS LEMMA

A NICE PROOF OF FARKAS LEMMA A NICE PROOF OF FARKAS LEMMA DANIEL VICTOR TAUSK Abstract. The goal of this short note is to present a nice proof of Farkas Lemma which states that if C is the convex cone spanned by a finite set and if

More information

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

NAME: Mathematics 205A, Fall 2008, Final Examination. Answer Key NAME: Mathematics 205A, Fall 2008, Final Examination Answer Key 1 1. [25 points] Let X be a set with 2 or more elements. Show that there are topologies U and V on X such that the identity map J : (X, U)

More information

4 Countability axioms

4 Countability axioms 4 COUNTABILITY AXIOMS 4 Countability axioms Definition 4.1. Let X be a topological space X is said to be first countable if for any x X, there is a countable basis for the neighborhoods of x. X is said

More information

NORMAL FAMILIES OF HOLOMORPHIC FUNCTIONS ON INFINITE DIMENSIONAL SPACES

NORMAL FAMILIES OF HOLOMORPHIC FUNCTIONS ON INFINITE DIMENSIONAL SPACES PORTUGALIAE MATHEMATICA Vol. 63 Fasc.3 2006 Nova Série NORMAL FAMILIES OF HOLOMORPHIC FUNCTIONS ON INFINITE DIMENSIONAL SPACES Paula Takatsuka * Abstract: The purpose of the present work is to extend some

More information

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

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 Chapter 4 Hilbert Spaces 4.1 Inner Product Spaces Inner Product Space. A complex vector space E is called an inner product space (or a pre-hilbert space, or a unitary space) if there is a mapping (, )

More information

Seminorms and locally convex spaces

Seminorms and locally convex spaces (April 23, 2014) Seminorms and locally convex spaces Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/fun/notes 2012-13/07b seminorms.pdf]

More information

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

Boundedly complete weak-cauchy basic sequences in Banach spaces with the PCP Journal of Functional Analysis 253 (2007) 772 781 www.elsevier.com/locate/jfa Note Boundedly complete weak-cauchy basic sequences in Banach spaces with the PCP Haskell Rosenthal Department of Mathematics,

More information

LECTURE 15: COMPLETENESS AND CONVEXITY

LECTURE 15: COMPLETENESS AND CONVEXITY LECTURE 15: COMPLETENESS AND CONVEXITY 1. The Hopf-Rinow Theorem Recall that a Riemannian manifold (M, g) is called geodesically complete if the maximal defining interval of any geodesic is R. On the other

More information

Introduction to Real Analysis Alternative Chapter 1

Introduction to Real Analysis Alternative Chapter 1 Christopher Heil Introduction to Real Analysis Alternative Chapter 1 A Primer on Norms and Banach Spaces Last Updated: March 10, 2018 c 2018 by Christopher Heil Chapter 1 A Primer on Norms and Banach Spaces

More information

Chapter 1. Introduction

Chapter 1. Introduction Chapter 1 Introduction Functional analysis can be seen as a natural extension of the real analysis to more general spaces. As an example we can think at the Heine - Borel theorem (closed and bounded is

More information

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

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 Comm. Korean Math. Soc. 16 (2001), No. 2, pp. 277 285 A PROOF OF A CONVEX-VALUED SELECTION THEOREM WITH THE CODOMAIN OF A FRÉCHET SPACE Myung-Hyun Cho and Jun-Hui Kim Abstract. The purpose of this paper

More information

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

Contents: 1. Minimization. 2. The theorem of Lions-Stampacchia for variational inequalities. 3. Γ -Convergence. 4. Duality mapping. Minimization Contents: 1. Minimization. 2. The theorem of Lions-Stampacchia for variational inequalities. 3. Γ -Convergence. 4. Duality mapping. 1 Minimization A Topological Result. Let S be a topological

More information

STRONGLY CONNECTED SPACES

STRONGLY CONNECTED SPACES Undergraduate Research Opportunity Programme in Science STRONGLY CONNECTED SPACES Submitted by Dai Bo Supervised by Dr. Wong Yan-loi Department of Mathematics National University of Singapore Academic

More information

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

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 MH 7500 THEOREMS Definition. A topological space is an ordered pair (X, T ), where X is a set and T is a collection of subsets of X such that (i) T and X T ; (ii) U V T whenever U, V T ; (iii) U T whenever

More information

Chapter 2 Metric Spaces

Chapter 2 Metric Spaces Chapter 2 Metric Spaces The purpose of this chapter is to present a summary of some basic properties of metric and topological spaces that play an important role in the main body of the book. 2.1 Metrics

More information

Geometry and topology of continuous best and near best approximations

Geometry and topology of continuous best and near best approximations Journal of Approximation Theory 105: 252 262, Geometry and topology of continuous best and near best approximations Paul C. Kainen Dept. of Mathematics Georgetown University Washington, D.C. 20057 Věra

More information

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 α.

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 α. Chapter 2. Basic Topology. 2.3 Compact Sets. 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 α. 2.32 Definition A subset

More information

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

Problem Set 6: Solutions Math 201A: Fall a n x n, Problem Set 6: Solutions Math 201A: Fall 2016 Problem 1. Is (x n ) n=0 a Schauder basis of C([0, 1])? No. If f(x) = a n x n, n=0 where the series converges uniformly on [0, 1], then f has a power series

More information

MAA6617 COURSE NOTES SPRING 2014

MAA6617 COURSE NOTES SPRING 2014 MAA6617 COURSE NOTES SPRING 2014 19. Normed vector spaces Let X be a vector space over a field K (in this course we always have either K = R or K = C). Definition 19.1. A norm on X is a function : X K

More information

NOTES ON EXISTENCE AND UNIQUENESS THEOREMS FOR ODES

NOTES ON EXISTENCE AND UNIQUENESS THEOREMS FOR ODES NOTES ON EXISTENCE AND UNIQUENESS THEOREMS FOR ODES JONATHAN LUK These notes discuss theorems on the existence, uniqueness and extension of solutions for ODEs. None of these results are original. The proofs

More information

Topological properties

Topological properties CHAPTER 4 Topological properties 1. Connectedness Definitions and examples Basic properties Connected components Connected versus path connected, again 2. Compactness Definition and first examples Topological

More information

MAT 578 FUNCTIONAL ANALYSIS EXERCISES

MAT 578 FUNCTIONAL ANALYSIS EXERCISES MAT 578 FUNCTIONAL ANALYSIS EXERCISES JOHN QUIGG Exercise 1. Prove that if A is bounded in a topological vector space, then for every neighborhood V of 0 there exists c > 0 such that tv A for all t > c.

More information

1.4 The Jacobian of a map

1.4 The Jacobian of a map 1.4 The Jacobian of a map Derivative of a differentiable map Let F : M n N m be a differentiable map between two C 1 manifolds. Given a point p M we define the derivative of F at p by df p df (p) : T p

More information

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

Aliprantis, Border: Infinite-dimensional Analysis A Hitchhiker s Guide aliprantis.tex May 10, 2011 Aliprantis, Border: Infinite-dimensional Analysis A Hitchhiker s Guide Notes from [AB2]. 1 Odds and Ends 2 Topology 2.1 Topological spaces Example. (2.2) A semimetric = triangle

More information

THE SCHWARTZ SPACE: A BACKGROUND TO WHITE NOISE ANALYSIS

THE SCHWARTZ SPACE: A BACKGROUND TO WHITE NOISE ANALYSIS THE SCHWARTZ SPACE: A BACKGROUND TO WHITE NOISE ANALYSIS JEREMY J. BECNEL AND AMBAR N. SENGUPTA Abstract. An account of the Schwartz space of rapidly decreasing functions as a nuclear space is presented,

More information

TORIC WEAK FANO VARIETIES ASSOCIATED TO BUILDING SETS

TORIC WEAK FANO VARIETIES ASSOCIATED TO BUILDING SETS TORIC WEAK FANO VARIETIES ASSOCIATED TO BUILDING SETS YUSUKE SUYAMA Abstract. We give a necessary and sufficient condition for the nonsingular projective toric variety associated to a building set to be

More information

Exercise Solutions to Functional Analysis

Exercise Solutions to Functional Analysis Exercise Solutions to Functional Analysis Note: References refer to M. Schechter, Principles of Functional Analysis Exersize that. Let φ,..., φ n be an orthonormal set in a Hilbert space H. Show n f n

More information

Part III. 10 Topological Space Basics. Topological Spaces

Part III. 10 Topological Space Basics. Topological Spaces Part III 10 Topological Space Basics Topological Spaces Using the metric space results above as motivation we will axiomatize the notion of being an open set to more general settings. Definition 10.1.

More information

Introduction to Functional Analysis

Introduction to Functional Analysis Introduction to Functional Analysis Carnegie Mellon University, 21-640, Spring 2014 Acknowledgements These notes are based on the lecture course given by Irene Fonseca but may differ from the exact lecture

More information

COUNTABLE PRODUCTS ELENA GUREVICH

COUNTABLE PRODUCTS ELENA GUREVICH COUNTABLE PRODUCTS ELENA GUREVICH Abstract. In this paper, we extend our study to countably infinite products of topological spaces.. The Cantor Set Let us constract a very curios (but usefull) set known

More information

Convex Analysis and Economic Theory Winter 2018

Convex Analysis and Economic Theory Winter 2018 Division of the Humanities and Social Sciences Ec 181 KC Border Convex Analysis and Economic Theory Winter 2018 Supplement A: Mathematical background A.1 Extended real numbers The extended real number

More information

Normed and Banach Spaces

Normed and Banach Spaces (August 30, 2005) Normed and Banach Spaces Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ We have seen that many interesting spaces of functions have natural structures of Banach spaces:

More information

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

Chapter 1. Preliminaries. The purpose of this chapter is to provide some basic background information. Linear Space. Hilbert Space. Chapter 1 Preliminaries The purpose of this chapter is to provide some basic background information. Linear Space Hilbert Space Basic Principles 1 2 Preliminaries Linear Space The notion of linear space

More information

Extreme points of compact convex sets

Extreme points of compact convex sets Extreme points of compact convex sets In this chapter, we are going to show that compact convex sets are determined by a proper subset, the set of its extreme points. Let us start with the main definition.

More information

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

08a. Operators on Hilbert spaces. 1. Boundedness, continuity, operator norms (February 24, 2017) 08a. Operators on Hilbert spaces Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/real/notes 2016-17/08a-ops

More information

CHAPTER 7. Connectedness

CHAPTER 7. Connectedness CHAPTER 7 Connectedness 7.1. Connected topological spaces Definition 7.1. A topological space (X, T X ) is said to be connected if there is no continuous surjection f : X {0, 1} where the two point set

More information

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

arxiv:math/ v1 [math.fa] 26 Oct 1993 arxiv:math/9310217v1 [math.fa] 26 Oct 1993 ON COMPLEMENTED SUBSPACES OF SUMS AND PRODUCTS OF BANACH SPACES M.I.Ostrovskii Abstract. It is proved that there exist complemented subspaces of countable topological

More information

Banach-Alaoglu theorems

Banach-Alaoglu theorems Banach-Alaoglu theorems László Erdős Jan 23, 2007 1 Compactness revisited In a topological space a fundamental property is the compactness (Kompaktheit). We recall the definition: Definition 1.1 A subset

More information

INDECOMPOSABILITY IN INVERSE LIMITS WITH SET-VALUED FUNCTIONS

INDECOMPOSABILITY IN INVERSE LIMITS WITH SET-VALUED FUNCTIONS INDECOMPOSABILITY IN INVERSE LIMITS WITH SET-VALUED FUNCTIONS JAMES P. KELLY AND JONATHAN MEDDAUGH Abstract. In this paper, we develop a sufficient condition for the inverse limit of upper semi-continuous

More information

Analysis Finite and Infinite Sets The Real Numbers The Cantor Set

Analysis Finite and Infinite Sets The Real Numbers The Cantor Set Analysis Finite and Infinite Sets Definition. An initial segment is {n N n n 0 }. Definition. A finite set can be put into one-to-one correspondence with an initial segment. The empty set is also considered

More information

Stone-Čech compactification of Tychonoff spaces

Stone-Čech compactification of Tychonoff spaces The Stone-Čech compactification of Tychonoff spaces Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto June 27, 2014 1 Completely regular spaces and Tychonoff spaces A topological

More information

A NOTE ON FRÉCHET-MONTEL SPACES

A NOTE ON FRÉCHET-MONTEL SPACES proceedings of the american mathematical society Volume 108, Number 1, January 1990 A NOTE ON FRÉCHET-MONTEL SPACES MIKAEL LINDSTRÖM (Communicated by William J. Davis) Abstract. Let be a Fréchet space

More information

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

Part V. 17 Introduction: What are measures and why measurable sets. Lebesgue Integration Theory Part V 7 Introduction: What are measures and why measurable sets Lebesgue Integration Theory Definition 7. (Preliminary). A measure on a set is a function :2 [ ] such that. () = 2. If { } = is a finite

More information

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

Real Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi Real Analysis Math 3AH Rudin, Chapter # Dominique Abdi.. If r is rational (r 0) and x is irrational, prove that r + x and rx are irrational. Solution. Assume the contrary, that r+x and rx are rational.

More information

CLOSED GRAPH THEOREMS FOR BORNOLOGICAL SPACES

CLOSED GRAPH THEOREMS FOR BORNOLOGICAL SPACES Khayyam J. Math. 2 (2016), no. 1, 81 111 CLOSED GRAPH THEOREMS FOR BORNOLOGICAL SPACES FEDERICO BAMBOZZI 1 Communicated by A. Peralta Abstract. The aim of this paper is that of discussing closed graph

More information

ON LOCALLY HILBERT SPACES. Aurelian Gheondea

ON LOCALLY HILBERT SPACES. Aurelian Gheondea Opuscula Math. 36, no. 6 (2016), 735 747 http://dx.doi.org/10.7494/opmath.2016.36.6.735 Opuscula Mathematica ON LOCALLY HILBERT SPACES Aurelian Gheondea Communicated by P.A. Cojuhari Abstract. This is

More information

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

HW 4 SOLUTIONS. , x + x x 1 ) 2 HW 4 SOLUTIONS The Way of Analysis p. 98: 1.) Suppose that A is open. Show that A minus a finite set is still open. This follows by induction as long as A minus one point x is still open. To see that A

More information

Lectures on Analysis John Roe

Lectures on Analysis John Roe Lectures on Analysis John Roe 2005 2009 1 Lecture 1 About Functional Analysis The key objects of study in functional analysis are various kinds of topological vector spaces. The simplest of these are the

More information

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

Problem 1: Compactness (12 points, 2 points each) Final exam Selected Solutions APPM 5440 Fall 2014 Applied Analysis Date: Tuesday, Dec. 15 2014, 10:30 AM to 1 PM You may assume all vector spaces are over the real field unless otherwise specified. Your

More information

Your first day at work MATH 806 (Fall 2015)

Your first day at work MATH 806 (Fall 2015) Your first day at work MATH 806 (Fall 2015) 1. Let X be a set (with no particular algebraic structure). A function d : X X R is called a metric on X (and then X is called a metric space) when d satisfies

More information

Egoroff Theorem for Operator-Valued Measures in Locally Convex Cones

Egoroff Theorem for Operator-Valued Measures in Locally Convex Cones Iranian Journal of Mathematical Sciences and Informatics Vol. 12, No. 2 (2017), pp 117-125 DOI: 10.7508/ijmsi.2017.2.008 Egoroff Theorem for Operator-Valued Measures in Locally Convex Cones Davood Ayaseh

More information

SEVERAL PRODUCTS OF DISTRIBUTIONS ON MANIFOLDS

SEVERAL PRODUCTS OF DISTRIBUTIONS ON MANIFOLDS Novi Sad J. Math. Vol. 39, No., 2009, 3-46 SEVERAL PRODUCTS OF DISTRIBUTIONS ON MANIFOLDS C. K. Li Abstract. The problem of defining products of distributions on manifolds, particularly un the ones of

More information

ON THE UNIQUENESS PROPERTY FOR PRODUCTS OF SYMMETRIC INVARIANT PROBABILITY MEASURES

ON THE UNIQUENESS PROPERTY FOR PRODUCTS OF SYMMETRIC INVARIANT PROBABILITY MEASURES Georgian Mathematical Journal Volume 9 (2002), Number 1, 75 82 ON THE UNIQUENESS PROPERTY FOR PRODUCTS OF SYMMETRIC INVARIANT PROBABILITY MEASURES A. KHARAZISHVILI Abstract. Two symmetric invariant probability

More information

ASYMPTOTICALLY NONEXPANSIVE MAPPINGS IN MODULAR FUNCTION SPACES ABSTRACT

ASYMPTOTICALLY NONEXPANSIVE MAPPINGS IN MODULAR FUNCTION SPACES ABSTRACT ASYMPTOTICALLY NONEXPANSIVE MAPPINGS IN MODULAR FUNCTION SPACES T. DOMINGUEZ-BENAVIDES, M.A. KHAMSI AND S. SAMADI ABSTRACT In this paper, we prove that if ρ is a convex, σ-finite modular function satisfying

More information

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

Convergent Iterative Algorithms in the 2-inner Product Space R n Int. J. Open Problems Compt. Math., Vol. 6, No. 4, December 2013 ISSN 1998-6262; Copyright c ICSRS Publication, 2013 www.i-csrs.org Convergent Iterative Algorithms in the 2-inner Product Space R n Iqbal

More information

Notes for Functional Analysis

Notes for Functional Analysis Notes for Functional Analysis Wang Zuoqin (typed by Xiyu Zhai) November 6, 2015 1 Lecture 18 1.1 The convex hull Let X be any vector space, and E X a subset. Definition 1.1. The convex hull of E is the

More information