Krein-Smulian Theorem Concerns the Trans- Pose

Total Page:16

File Type:pdf, Size:1020Kb

Krein-Smulian Theorem Concerns the Trans- Pose BS V c Gabriel Nagy Banach Spaces V: A Closer Look at the w- and the w∗-Topologies Notes from the Functional Analysis Course (Fall 07 - Spring 08) In this section we discuss two important, but highly non-trivial, results concerning the weak topology (w) on Banach spaces and the weak dual topology (w∗) on dual Banach spaces. Convention. Throughout this note K will be one of the fields R or C, and all vector spaces are over K. A. Convex w∗-closed sets in X ∗ The main result in this sub-section (Theorem 1) concerns the w∗-topology on dual Banach spaces. Recall that, given a topological vector space X , the w∗-topology on the topological dual space X ∗ is defined to be the weakest topology that makes all evaluation maps X ∗ 3 φ 7−→ φ(x) ∈ K, x ∈ X continuous. Equivalently, for a net (φλ)λ∈Λ and a functional φ in ∗ ∗ w X , one has φλ −→ φ, if and only if φλ(x) → φ(x), ∀ x ∈ X . In the case when X is a normed vector space, by Alaoglu’s Theorem (see BS II), we know that, for every r > 0, the ball ∗ ∗ ∗ ∗ (X )r = {φ ∈ X : kφk ≤ r} is w -compact in X . The result below should be understood as some sort of converse to Alaoglu’s Theorem. Theorem 1 (Krein-Smulian). Given a Banach space X , and a convex set A ⊂ X ∗, the following conditions are equivalent: (i) A is w∗-closed in X ∗; ∗ ∗ ∗ (ii) for every r > 0, the set (A)r = A ∩ (X )r is w -closed in X ; ∞ (ii’) there exists a sequence (rn)n=1 ⊂ (0, ∞), with limn→∞ rn = ∞, such that (A)rn is w∗-closed in X ∗, for every n. ∗ ∗ Proof. Let us observe that, if we define the set R = {r > 0 : (A)r is w -closed in X }, then ∗ r ∈ R ⇒ (0, r) ⊂ R, Indeed, if (A)r is w -closed, and 0 < s < r, then the trivial equality ∗ ∗ ∗ ∗ (A)s = (A)r ∩ (X )s, combined with the fact that (X )s is w -compact (hence w -closed) ∗ ∗ in X , forces (A)s to be w -closed. The above mentioned feature of the set R clearly shows that conditions (ii) and (ii’) are equivalent. ∗ Obviously, since one has the inclusions (A)r ⊂ (X )r, in conditions (ii) and (ii’), the phrase “w∗-closed” can be replaced with “w∗-compact.” ∗ ∗ The implication (i) ⇒ (ii) is trivial, again because (X )r is w -compact. (For this implication, the assumption that A is convex is not needed. Likewise, X can just be a normed vector space.) 1 The hard implication (ii) ⇒ (i) will be proved in several steps. Claim 1: Property (ii) is invariant under translations and positive dilations, that is, if A satisfies (ii) then: • tA satisfies (ii), for every t > 0; •A + φ satisfies (ii), for every φ ∈ X ∗; The first statement is obvious, since dilations X ∗ 3 φ 7−→ tφ ∈ X ∗ are w∗-homeomorphisms, and (tA)r = (A)r/t, ∀ r, t > 0. For the second statement, we fix r > 0, net (ψλ)λ∈Λ ⊂ (A+φ)r, ∗ w ∗ such that ψλ −→ ψ, for some ψ ∈ X , and we show that ψ ∈ (A + φ)r. On the one hand, ∗ ∗ ∗ ∗ since (X )r is w -compact (hence w -closed), it is clear that ψ ∈ (X )r, so it suffices to show that ψ ∈ A + φ. On the other hand, since kψλ − φk ≤ kψλk + kφk ≤ r + kφk, it follows that ∗ (ψλ − φ)λ∈Λ is a net in (A)r+kφk, which is w -convergent to ψ − φ, so using condition (ii) on A implies that ψ − φ belongs to A, thus ψ ∈ A + φ. Claim 2: If A satisfies condition (ii), then A is closed in the norm topology. ∞ We must prove that, whenever (φn)n=1 ⊂ A is a sequence which converges in norm ∗ ∞ to some φ ∈ X , it follows that φ ∈ A. But this is quite obvious, because (φn)n=1 is automatically bounded, so there exists r > 0, such that φn ∈ (A)r, ∀ n, and then, by the k . k w∗ obvious implication φn −−→ φ ⇒ φn −→ φ, and by condition (ii) it follows that φ ∈ (A)r. After these preparations, we now proceed with the proof. What we must show is the following implication: if φ ∈ X ∗ r A, there exists a w∗-neighborhood V of φ, such that A ∩ V = ∅. Using Claim 1, we can assume that φ = 0, so now we assume 0 6∈ A, and we must produce a w∗-neighborhood V of 0 in X ∗, which is disjoint from A. The most important step in the proof is contained in the following. ∞ Claim 3: Assuming 0 6∈ A, there exists a sequence (xn)n=1 ⊂ X , such that (∗) limn→∞ kxnk = 0; (∗∗) for every φ ∈ A, there exists n ∈ N, such that |φ(xn)| > 1; As we shall see shortly, the condition (∗∗) has something to do with absolute polar sets. Recall (see DT I) that, for every set M ⊂ X , its absolute polar in X ∗ is the set ∗ M = {φ ∈ X : |φ(x)| ≤ 1, ∀ x ∈ M}. Since A is norm closed, there exists ρ > 0, such that kφk ≥ ρ, ∀ φ ∈ A. By Claim 1, we can assume that ρ > 1. (Otherwise use suitable dilations in both X and X ∗.) In particular, we can assume that (A)1 = ∅. Put F0 = {0}, and let us construct recursively an whole ∞ sequence (Fn)n=0 of finite subsets of X , such that for each n we have: (a) Fn ⊂ (X )1/n, and (b) (A)n ∩ F0 ∪ · · · ∪ Fn−1 = ∅, 2 Assume F0 = {0}, F1,..., FN−1 have been constructed, so that (a) holds for 1 ≤ n ≤ N−1, and (b) holds for 1 ≤ n ≤ N, and let us indicate how FN ⊂ (X )1/N can be constructed, such that (b) holds for n = N + 1. (Since (A)1 = ∅, there is nothing to check at the start N = 1.) To construct FN , we argue by contradiction. Assume (A)N+1 ∩ F0 ∩ · · · ∩ FN−1 ∩ G 6= ∅, ∗ for all finite subsets G ⊂ (X )1/N . Since absolute polars M of sets M ⊂ X are w -closed, it ∗ ∗ follows that the set K = (A)N+1 ∩F0 ∪· · ·∩FN−1 ⊂ (X )N+1 is w -compact, so if we assume that all sets of the form K ∩ G , G ∈ Pfin((X )1/N ) are non-empty, then by the Intersection Property, it follows that T K ∩ G is non-empty. In particular, if we pick an G∈Pfin((X )1/N ) element φ in this intersection, then φ ∈ (A)N+1 ∩ F0 ∩ · · · ∩ FN−1, and: |φ(x)| ≤ 1, ∀ x ∈ (X )1/N . (1) It is trivial that any functional φ ∈ X ∗, that satisfies (1), must have norm kφk ≤ N, so our particular φ in fact belongs to ∗ (A)N+1 ∩ F0 ∩ · · · ∩ FN−1 ∩ (X )N = (A)N ∩ F0 ∩ · · · ∩ FN−1, which is impossible, since (b) holds for n = N, so the set on the right-hand side is empty. Having constructed the sequence of finite sets Fn, satisfying (a) and (b), we now form ∞ a sequnece (xn)n=1, which lists the sets F1, F2,... in order, which means that we have a sequence of integers 0 = k0 < k1 < . , such that Fj = {xn : kj−1 < n ≤ kj}, ∀ j ∈ N. Of course, by (a), condition (∗) is trivially satisfied. To check condition (∗∗) we start with some φ ∈ A and we choose N ∈ N, such that N + 1 ≥ kφk. By (b), there exists j ∈ {1,...,N}, such that φ 6∈ Fj , so there exists some x = xn ∈ Fj, such that |φ(xn)| > 1. ∞ Having proved Claim 3, let us fix (xn)n=1 satisfying (∗) and (∗∗), and consider the operator ∗ ∞ Y T : X 3 φ 7−→ φ(xn) n=1 ∈ K. N Using (∗), it is pretty clear that T is linear and has Range T ⊂ c0,K – the Banach space of all sequences in K that converge to 0. Moreover, T is also continuous, since |φ(xn)| ≤ 1 kφk · kxnk ≤ kφk, ∀ n. Since T is linear and A is convex , so is the set T (A) ⊂ c0,K. In c0,K consider the set B = {b ∈ c0,K : kbk∞ < 1}. Of course, B is convex and open in c0,K in the norm topology. Moreover, by (∗∗) it follows that B is disjoint from T (A), so using the Hahn-Banach Separation Theorem, there exists a linear continuous functional η : c0,K → K, and some α ∈ R, such that Re η(a) ≥ α > Re η(b), ∀ a ∈ T (A), b ∈ B. (2) We know that the dual Banach space (c )∗ is isometrically identified with `1 , so the func- 0,K K tional η can be represented by a vector t = (t )∞ ∈ `1 as n n=1 K ∞ X ∞ η(y) = tnyn, ∀ y = (yn)n=1 ∈ c0,K. n=1 1 It is only here that we use the assumption that A is convex. 3 In particular, for any φ ∈ X ∗ we have ∞ ∞ X X η(T φ) = tnφ(xn) = φ(tnxn). (3) n=1 n=1 P∞ The point is that, by condition (∗) we have since ktnxnk = |tn|·kxnk ≤ |tn|, so n=1 ktnxnk < P∞ ∞. Since X is a Banach space, by the Summability Test it follows that the series n=1 tnxn is convergent to some x ∈ X , so (3) becomes η(T φ) = φ(x), ∀ φ ∈ X ∗. Going back to (2) we now have: Re φ(x) ≥ α > Re η(b), ∀ φ ∈ A, b ∈ B. Of course, using b = 0 in the above inequality yields Re φ(x) ≥ α > 0, ∀ φ ∈ A. With x and α as above, the set V = {ψ ∈ X ∗ : Re ψ < α} is clearly a w∗-neighborhood V of 0, which is disjoint from A.
Recommended publications
  • On Quasi Norm Attaining Operators Between Banach Spaces
    ON QUASI NORM ATTAINING OPERATORS BETWEEN BANACH SPACES GEUNSU CHOI, YUN SUNG CHOI, MINGU JUNG, AND MIGUEL MART´IN Abstract. We provide a characterization of the Radon-Nikod´ymproperty in terms of the denseness of bounded linear operators which attain their norm in a weak sense, which complement the one given by Bourgain and Huff in the 1970's. To this end, we introduce the following notion: an operator T : X ÝÑ Y between the Banach spaces X and Y is quasi norm attaining if there is a sequence pxnq of norm one elements in X such that pT xnq converges to some u P Y with }u}“}T }. Norm attaining operators in the usual (or strong) sense (i.e. operators for which there is a point in the unit ball where the norm of its image equals the norm of the operator) and also compact operators satisfy this definition. We prove that strong Radon-Nikod´ymoperators can be approximated by quasi norm attaining operators, a result which does not hold for norm attaining operators in the strong sense. This shows that this new notion of quasi norm attainment allows to characterize the Radon-Nikod´ymproperty in terms of denseness of quasi norm attaining operators for both domain and range spaces, completing thus a characterization by Bourgain and Huff in terms of norm attaining operators which is only valid for domain spaces and it is actually false for range spaces (due to a celebrated example by Gowers of 1990). A number of other related results are also included in the paper: we give some positive results on the denseness of norm attaining Lipschitz maps, norm attaining multilinear maps and norm attaining polynomials, characterize both finite dimensionality and reflexivity in terms of quasi norm attaining operators, discuss conditions to obtain that quasi norm attaining operators are actually norm attaining, study the relationship with the norm attainment of the adjoint operator and, finally, present some stability results.
    [Show full text]
  • Uniform Boundedness Principle for Unbounded Operators
    UNIFORM BOUNDEDNESS PRINCIPLE FOR UNBOUNDED OPERATORS C. GANESA MOORTHY and CT. RAMASAMY Abstract. A uniform boundedness principle for unbounded operators is derived. A particular case is: Suppose fTigi2I is a family of linear mappings of a Banach space X into a normed space Y such that fTix : i 2 Ig is bounded for each x 2 X; then there exists a dense subset A of the open unit ball in X such that fTix : i 2 I; x 2 Ag is bounded. A closed graph theorem and a bounded inverse theorem are obtained for families of linear mappings as consequences of this principle. Some applications of this principle are also obtained. 1. Introduction There are many forms for uniform boundedness principle. There is no known evidence for this principle for unbounded operators which generalizes classical uniform boundedness principle for bounded operators. The second section presents a uniform boundedness principle for unbounded operators. An application to derive Hellinger-Toeplitz theorem is also obtained in this section. A JJ J I II closed graph theorem and a bounded inverse theorem are obtained for families of linear mappings in the third section as consequences of this principle. Go back Let us assume the following: Every vector space X is over R or C. An α-seminorm (0 < α ≤ 1) is a mapping p: X ! [0; 1) such that p(x + y) ≤ p(x) + p(y), p(ax) ≤ jajαp(x) for all x; y 2 X Full Screen Close Received November 7, 2013. 2010 Mathematics Subject Classification. Primary 46A32, 47L60. Key words and phrases.
    [Show full text]
  • View of This, the Following Observation Should Be of Some Interest to Vector Space Pathologists
    Can. J. Math., Vol. XXV, No. 3, 1973, pp. 511-524 INCLUSION THEOREMS FOR Z-SPACES G. BENNETT AND N. J. KALTON 1. Notation and preliminary ideas. A sequence space is a vector subspace of the space co of all real (or complex) sequences. A sequence space E with a locally convex topology r is called a K- space if the inclusion map E —* co is continuous, when co is endowed with the product topology (co = II^Li (R)*). A i£-space E with a Frechet (i.e., complete, metrizable and locally convex) topology is called an FK-space; if the topology is a Banach topology, then E is called a BK-space. The following familiar BK-spaces will be important in the sequel: ni, the space of all bounded sequences; c, the space of all convergent sequences; Co, the space of all null sequences; lp, 1 ^ p < °°, the space of all absolutely ^-summable sequences. We shall also consider the space <j> of all finite sequences and the linear span, Wo, of all sequences of zeros and ones; these provide examples of spaces having no FK-topology. A sequence space is solid (respectively monotone) provided that xy £ E whenever x 6 m (respectively m0) and y £ E. For x £ co, we denote by Pn(x) the sequence (xi, x2, . xn, 0, . .) ; if a i£-space (E, r) has the property that Pn(x) —» x in r for each x G E, then we say that (£, r) is an AK-space. We also write WE = \x Ç £: P„.(x) —>x weakly} and ^ = jx Ç E: Pn{x) —>x in r}.
    [Show full text]
  • Functional Analysis Lecture Notes Chapter 3. Banach
    FUNCTIONAL ANALYSIS LECTURE NOTES CHAPTER 3. BANACH SPACES CHRISTOPHER HEIL 1. Elementary Properties and Examples Notation 1.1. Throughout, F will denote either the real line R or the complex plane C. All vector spaces are assumed to be over the field F. Definition 1.2. Let X be a vector space over the field F. Then a semi-norm on X is a function k · k: X ! R such that (a) kxk ≥ 0 for all x 2 X, (b) kαxk = jαj kxk for all x 2 X and α 2 F, (c) Triangle Inequality: kx + yk ≤ kxk + kyk for all x, y 2 X. A norm on X is a semi-norm which also satisfies: (d) kxk = 0 =) x = 0. A vector space X together with a norm k · k is called a normed linear space, a normed vector space, or simply a normed space. Definition 1.3. Let I be a finite or countable index set (for example, I = f1; : : : ; Ng if finite, or I = N or Z if infinite). Let w : I ! [0; 1). Given a sequence of scalars x = (xi)i2I , set 1=p jx jp w(i)p ; 0 < p < 1; 8 i kxkp;w = > Xi2I <> sup jxij w(i); p = 1; i2I > where these quantities could be infinite.:> Then we set p `w(I) = x = (xi)i2I : kxkp < 1 : n o p p p We call `w(I) a weighted ` space, and often denote it just by `w (especially if I = N). If p p w(i) = 1 for all i, then we simply call this space ` (I) or ` and write k · kp instead of k · kp;w.
    [Show full text]
  • Bornologically Isomorphic Representations of Tensor Distributions
    Bornologically isomorphic representations of distributions on manifolds E. Nigsch Thursday 15th November, 2018 Abstract Distributional tensor fields can be regarded as multilinear mappings with distributional values or as (classical) tensor fields with distribu- tional coefficients. We show that the corresponding isomorphisms hold also in the bornological setting. 1 Introduction ′ ′ ′r s ′ Let D (M) := Γc(M, Vol(M)) and Ds (M) := Γc(M, Tr(M) ⊗ Vol(M)) be the strong duals of the space of compactly supported sections of the volume s bundle Vol(M) and of its tensor product with the tensor bundle Tr(M) over a manifold; these are the spaces of scalar and tensor distributions on M as defined in [?, ?]. A property of the space of tensor distributions which is fundamental in distributional geometry is given by the C∞(M)-module isomorphisms ′r ∼ s ′ ∼ r ′ Ds (M) = LC∞(M)(Tr (M), D (M)) = Ts (M) ⊗C∞(M) D (M) (1) (cf. [?, Theorem 3.1.12 and Corollary 3.1.15]) where C∞(M) is the space of smooth functions on M. In[?] a space of Colombeau-type nonlinear generalized tensor fields was constructed. This involved handling smooth functions (in the sense of convenient calculus as developed in [?]) in par- arXiv:1105.1642v1 [math.FA] 9 May 2011 ∞ r ′ ticular on the C (M)-module tensor products Ts (M) ⊗C∞(M) D (M) and Γ(E) ⊗C∞(M) Γ(F ), where Γ(E) denotes the space of smooth sections of a vector bundle E over M. In[?], however, only minor attention was paid to questions of topology on these tensor products.
    [Show full text]
  • The Nonstandard Theory of Topological Vector Spaces
    TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 172, October 1972 THE NONSTANDARDTHEORY OF TOPOLOGICAL VECTOR SPACES BY C. WARD HENSON AND L. C. MOORE, JR. ABSTRACT. In this paper the nonstandard theory of topological vector spaces is developed, with three main objectives: (1) creation of the basic nonstandard concepts and tools; (2) use of these tools to give nonstandard treatments of some major standard theorems ; (3) construction of the nonstandard hull of an arbitrary topological vector space, and the beginning of the study of the class of spaces which tesults. Introduction. Let Ml be a set theoretical structure and let *JR be an enlarge- ment of M. Let (E, 0) be a topological vector space in M. §§1 and 2 of this paper are devoted to the elementary nonstandard theory of (F, 0). In particular, in §1 the concept of 0-finiteness for elements of *E is introduced and the nonstandard hull of (E, 0) (relative to *3R) is defined. §2 introduces the concept of 0-bounded- ness for elements of *E. In §5 the elementary nonstandard theory of locally convex spaces is developed by investigating the mapping in *JK which corresponds to a given pairing. In §§6 and 7 we make use of this theory by providing nonstandard treatments of two aspects of the existing standard theory. In §6, Luxemburg's characterization of the pre-nearstandard elements of *E for a normed space (E, p) is extended to Hausdorff locally convex spaces (E, 8). This characterization is used to prove the theorem of Grothendieck which gives a criterion for the completeness of a Hausdorff locally convex space.
    [Show full text]
  • Eberlein-Šmulian Theorem and Some of Its Applications
    Eberlein-Šmulian theorem and some of its applications Kristina Qarri Supervisors Trond Abrahamsen Associate professor, PhD University of Agder Norway Olav Nygaard Professor, PhD University of Agder Norway This master’s thesis is carried out as a part of the education at the University of Agder and is therefore approved as a part of this education. However, this does not imply that the University answers for the methods that are used or the conclusions that are drawn. University of Agder, 2014 Faculty of Engineering and Science Department of Mathematics Contents Abstract 1 1 Introduction 2 1.1 Notation and terminology . 4 1.2 Cornerstones in Functional Analysis . 4 2 Basics of weak and weak* topologies 6 2.1 The weak topology . 7 2.2 Weak* topology . 16 3 Schauder Basis Theory 21 3.1 First Properties . 21 3.2 Constructing basic sequences . 37 4 Proof of the Eberlein Šmulian theorem due to Whitley 50 5 The weak topology and the topology of pointwise convergence on C(K) 58 6 A generalization of the Ebrlein-Šmulian theorem 64 7 Some applications to Tauberian operator theory 69 Summary 73 i Abstract The thesis is about Eberlein-Šmulian and some its applications. The goal is to investigate and explain different proofs of the Eberlein-Šmulian theorem. First we introduce the general theory of weak and weak* topology defined on a normed space X. Next we present the definition of a basis and a Schauder basis of a given Banach space. We give some examples and prove the main theorems which are needed to enjoy the proof of the Eberlein-Šmulian theorem given by Pelchynski in 1964.
    [Show full text]
  • Arxiv:2003.03538V1 [Math.FA] 7 Mar 2020 Ooois Otniy Discontinuity
    CONTINUITY AND DISCONTINUITY OF SEMINORMS ON INFINITE-DIMENSIONAL VECTOR SPACES. II JACEK CHMIELINSKI´ Department of Mathematics, Pedagogical University of Krak´ow Krak´ow, Poland E-mail: [email protected] MOSHE GOLDBERG1 Department of Mathematics, Technion – Israel Institute of Technology Haifa, Israel E-mail: [email protected] Abstract. In this paper we extend our findings in [3] and answer further questions regard- ing continuity and discontinuity of seminorms on infinite-dimensional vector spaces. Throughout this paper let X be a vector space over a field F, either R or C. As usual, a real-valued function N : X → R is a norm on X if for all x, y ∈ X and α ∈ F, N(x) > 0, x =06 , N(αx)= |α|N(x), N(x + y) ≤ N(x)+ N(y). Furthermore, a real-valued function S : X → R is called a seminorm if for all x, y ∈ X and α ∈ F, arXiv:2003.03538v1 [math.FA] 7 Mar 2020 S(x) ≥ 0, S(αx)= |α|S(x), S(x + y) ≤ S(x)+ S(y); hence, a norm is a positive-definite seminorm. Using standard terminology, we say that a seminorm S is proper if S does not vanish identically and S(x) = 0 for some x =6 0 or, in other words, if ker S := {x ∈ X : S(x)=0}, is a nontrivial proper subspace of X. 2010 Mathematics Subject Classification. 15A03, 47A30, 54A10, 54C05. Key words and phrases. infinite-dimensional vector spaces, Banach spaces, seminorms, norms, norm- topologies, continuity, discontinuity. 1Corresponding author. 1 2 JACEK CHMIELINSKI´ AND MOSHE GOLDBERG Lastly, just as for norms, we say that seminorms S1 and S2 are equivalent on X, if there exist positive constants β ≤ γ such that for all x ∈ X, βS1(x) ≤ S2(x) ≤ γS1(x).
    [Show full text]
  • 1 the Principal of Uniform Boundedness
    THE PRINCIPLE OF UNIFORM BOUNDEDNESS 1 The Principal of Uniform Boundedness Many of the most important theorems in analysis assert that pointwise hy- potheses imply uniform conclusions. Perhaps the simplest example is the theorem that a continuous function on a compact set is uniformly contin- uous. The main theorem in this section concerns a family of bounded lin- ear operators, and asserts that the family is uniformly bounded (and hence equicontinuous) if it is pointwise bounded. We begin by defining these terms precisely. Definition 1.1 Let A be a family of linear operators from a normed space X to a normed space Y . We say that A is pointwise bounded if supA2AfkAxkg < 1 for every x 2 X. We say A is uniformly bounded if supA2AfkAkg < 1. It is possible for a single linear operator to be pointwise bounded without being bounded (Exercise), so the hypothesis in the next theorem that each individual operator is bounded is essential. Theorem 1.2 (The Principle of Uniform Boundedness) Let A ⊆ L(X; Y ) be a family of bounded linear operators from a Banach space X to a normed space Y . Then A is uniformly bounded if and only if it is pointwise bounded. Proof We will assume that A is pointwise bounded but not uniformly bounded, and obtain a contradiction. For each x 2 X, define M(x) := supA2AfkAxkg; our assumption is that M(x) < 1 for every x. Observe that if A is not uniformly bounded, then for any pair of positive numbers and C there must exist some A 2 A with kAk > C/, and hence some x 2 X with kxk = but kAxk > C.
    [Show full text]
  • The Dual Topology for the Principal and Discrete Series on Semisimple Groupso
    transactions of the american mathematical society Volume 152, December 1970 THE DUAL TOPOLOGY FOR THE PRINCIPAL AND DISCRETE SERIES ON SEMISIMPLE GROUPSO BY RONALD L. LIPSMAN Abstract. For a locally compact group G, the dual space G is the set of unitary equivalence classes of irreducible unitary representations equipped with the hull- kernel topology. We prove three results about G in the case that G is a semisimple Lie group: (1) the irreducible principal series forms a Hausdorff subspace of G; (2) the "discrete series" of square-integrable representations does in fact inherit the discrete topology from G; (3) the topology of the reduced dual Gr, that is the support of the Plancherel measure, is computed explicitly for split-rank 1 groups. 1. Introduction. It has been a decade since Fell introduced the hull-kernel topology on the dual space G of a locally compact group G. Although a great deal has been learned about the set G in many cases, little or no work has been done relating these discoveries to the topology. Recent work of Kazdan indicates that this is an unfortunate oversight. In this paper, we shall give some results for the case of a semisimple Lie group. Let G be a connected semisimple Lie group with finite center. Associated with a minimal parabolic subgroup of G there is a family of representations called the principal series. Our first result states roughly that if we strike out those members of the principal series that are not irreducible (a "thin" collection, actually), then what remains is a Hausdorff subspace of G.
    [Show full text]
  • Appropriate Locally Convex Domains for Differential
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 86, Number 2, October 1982 APPROPRIATE LOCALLYCONVEX DOMAINS FOR DIFFERENTIALCALCULUS RICHARD A. GRAFF AND WOLFGANG M. RUESS Abstract. We make use of Grothendieck's notion of quasinormability to produce a comprehensive class of locally convex spaces within which differential calculus may be developed along the same lines as those employed within the class of Banach spaces and which include the previously known examples of such classes. In addition, we show that there exist Fréchet spaces which do not belong to any possible such class. 0. Introduction. In [2], the first named author introduced a theory of differential calculus in locally convex spaces. This theory differs from previous approaches to the subject in that the theory was an attempt to isolate a class of locally convex spaces to which the usual techniques of Banach space differential calculus could be extended, rather than an attempt to develop a theory of differential calculus for all locally convex spaces. Indeed, the original purpose of the theory was to study the maps which smooth nonlinear partial differential operators induce between Sobolev spaces by investigating the differentiability of these mappings with respect to a weaker (nonnormable) topology on the Sobolev spaces. The class of locally convex spaces thus isolated (the class of Z)-spaces, see Definition 1 below) was shown to include Banach spaces and several types of Schwartz spaces. A natural question to ask is whether there exists an easily-char- acterized class of D-spaces to which both of these classes belong. We answer this question in the affirmative in Theorem 1 below, the proof of which presents a much clearer picture of the nature of the key property of Z)-spaces than the corresponding result [2, Theorem 3.46].
    [Show full text]
  • BS II: Elementary Banach Space Theory
    BS II c Gabriel Nagy Banach Spaces II: Elementary Banach Space Theory Notes from the Functional Analysis Course (Fall 07 - Spring 08) In this section we introduce Banach spaces and examine some of their important features. Sub-section B collects the five so-called Principles of Banach space theory, which were already presented earlier. Convention. Throughout this note K will be one of the fields R or C, and all vector spaces are over K. A. Banach Spaces Definition. A normed vector space (X , k . k), which is complete in the norm topology, is called a Banach space. When there is no danger of confusion, the norm will be omitted from the notation. Comment. Banach spaces are particular cases of Frechet spaces, which were defined as locally convex (F)-spaces. Therefore, the results from TVS IV and LCVS III will all be relevant here. In particular, when one checks completeness, the condition that a net (xλ)λ∈Λ ⊂ X is Cauchy, is equivalent to the metric condition: (mc) for every ε > 0, there exists λε ∈ Λ, such that kxλ − xµk < ε, ∀ λ, µ λε. As pointed out in TVS IV, this condition is actually independent of the norm, that is, if one norm k . k satisfies (mc), then so does any norm equivalent to k . k. The following criteria have already been proved in TVS IV. Proposition 1. For a normed vector space (X , k . k), the following are equivalent. (i) X is a Banach space. (ii) Every Cauchy net in X is convergent. (iii) Every Cauchy sequence in X is convergent.
    [Show full text]