Prof. Girardi 13. a Review of Some Topology 13.1. Definition. Let X Be

Total Page:16

File Type:pdf, Size:1020Kb

Prof. Girardi 13. a Review of Some Topology 13.1. Definition. Let X Be Prof. Girardi 13. A Review of some Topology 13.1. Definition. Let X be a non-empty set. Let P(X) be the collection of all subsets of X, i.e. P(X) is the power set of X. Let τ ⊂ P(X). Then (X; τ) is a topological space (or equivalently τ is a topology on X) provided • if A; B 2 τ, then A \ B 2 τ • for any index set Γ, if fAαgα2Γ ⊂ τ then [α2ΓAα 2 τ •;;X 2 τ. In which case, A 2 P(X) is an open set if and only if A 2 τ. 13.2. Definition. Let (X; τ) be a topological space and B ⊂ τ. Then B is a base (or basis) of τ provided 8A 2 τ 9fBαgα2Γ ⊂ τ such that A = [α2ΓBα : 13.3. Example. Let X be a normed linear space. As usual, for " > 0 and x 2 X, let N"(x) := fy 2 X : kx − ykX < "g : Let τ be the open subsets of X, i.e., τ = fA 2 P(X): 8x 2 A; 9" > 0 such that N"(x) ⊂ Ag : Then a base B for (X; τ) is B := fN"(x): x 2 X; " > 0g : 13.4. Recall. Read through the course handouts, which are posted on the course homepage, for Section 13. 13.5. Definition. Let X be a vector space over the field K where, as usual, K is R or C. • A linear functional on X is a linear mapping f : X ! K. • Let Z be a family of linear functionals on X. Then Z separates points provided if x; y 2 X and x 6= y then there is a f 2 Z such that f(x) 6= f(y). • Let (X; τ) be a topological space. The topological dual of X, denoted by (X; τ)∗, is the set of all continuous linear functionals on X, i.e., ∗ (X; τ) := ff : X ! K j f is continuous and linearg : 13.6. Definition/Recall. Let Z be a family of linear functionals that separates points on a vector space X. Then σ(X; Z) denotes the weakest (i.e. smallest) topology on X for which each f 2 Z is continuous. • Clearly, each f 2 Z is continuous with respect to the (large) topology σ(X; P(X)) on X. • If τ 0 is any topology on X such that each f 2 Z is continuous with respect to (X; τ 0) then σ(X; Z) ⊂ τ 0. A base for σ(X; Z) is n −1 \i=1fi (Ui): fi 2 Z;Ui is open in K ; n 2 N : Another, more convenient, base for σ(X; Z) is n −1 \i=1fi [N" (fi (x0))] : fi 2 Z ; " > 0 ; x0 2 X ; n 2 N ; note that n −1 \i=1fi [N" (fi (x0))] = fx 2 X : jfi(x) − fi(x0)j < " ; i = 1; : : : ; ng = fx 2 X : jfi(x − x0)j < " ; i = 1; : : : ; ng =: N";f1;:::;fn (x0) : Since Z separates points, σ(X; Z) is a Hausdorff (i.e., T2) topology, i.e., if x1; x2 2 X and x1 6= x2 then there are disjoint U1;U2 2 σ(X; Z) such that xi 2 Ui. Thus, if the limit of a net from X exists, then the limit is unique. yr.mn.dy: 15.01.12 Page 1 of 4 Prof. Girardi 13. A Review of some Topology 13.7. Fact. Let X be a vector space. Let Z be a vector space of linear functionals on X that separates points. Then (X; σ (X; Z))∗ = Z: That (X; σ (X; Z))∗ ⊃ Z follows from the definition. And ⊂ follows from linear algebra (see [RS-I, Thm. IV.20]). 13.8. Optional Example. Let X be a Banach space over K, endowed with a norm k·kX and the norm topology τ as in Example 13.3. Let k·kX X∗ := X; τ ∗ = fx∗ : X ! j x∗ is linear and (norm) continuousg : k·kX K (1) The σ(X; X∗) topology on X is called the weak topology. A basis for the weak topology consists of all sets of the form ∗ N ∗ ∗ (x) = fy 2 X : jx (x − y)j < " ; for i = 1; : : : ; ng : ";x1;:::;xn i ∗ ∗ ∗ where x 2 X and x1; : : : ; xn 2 X and " > 0 and n 2 N. ∗ ∗ ∗ " Note σ(X; X ) ⊂ τk·k since N";x ;:::;xn (x) ⊃ N (x). X 1 ∗ max kxi k ∗ By Fact 13.7, (X; σ (X; X∗)) = X∗. So for a linear functional x∗ : X ! K, x∗ weak continuous if and only if x∗ is norm continuous. (2) The σ(X∗;X) topology on X∗ is called the weak∗ topology. A basis for the weak∗ topology consists of all sets of the form ∗ ∗ ∗ ∗ ∗ N";x1:::;xn (x ) = fy 2 X : j(x − y )(xi)j < " ; for i = 1; : : : ; ng : ∗ ∗ where x 2 X and x1; : : : ; xn 2 X and " > 0 and n 2 N. Note σ(X∗;X) ⊂ σ(X∗;X∗∗) since X ⊂ X∗∗. ∗ By Fact 13.7, (X∗; σ (X∗;X)) = X. So for a linear functional x∗∗ : X∗ ! K, x∗ weak∗ continuous if and only if x∗∗ comes from X, i.e, there is x 2 X such that x∗∗(x∗) = x∗(x) for each x∗ 2 X∗. 13.9. Optional Fact. Let X be a normed linear space. Then the following are equivalent. • dim X < 1. • (X; σ (X; X∗)) is metrizable. • (X∗; σ (X∗;X)) is metrizable. Thus, often sequences do not suffice and we need to consider nets. (See course handouts on nets.) 13.10. Definition. Let X be a vector space over K. Let ρ: X ! [0; 1) be a function. Then ρ is a seminorm (in German, Halbnorm) provided 8x; y 2 X and α 2 K: • ρ(x + y) ≤ ρ(x) + ρ(y) • ρ(α x) = jαj ρ(x). Let's think about this definition. Why might a seminorm not be a norm? Well, because ρ(x) = 0 need not imply that x = 0. So we cope with this badness by the following definition. A family fραgα2A of seminorms separates points provided if ρα(x) = 0 for each α 2 A then x = 0. 13.11. Definition. A space X is called a locally convex topological vector space (i.e. (LCTVsp)) provided (1) X is a vector space over K (2) 9 a family fραgα2A of seminorms on X that separates points. In this case: (3) the natural topology τ = τfραgα2A on X, generated by the seminorms fραgα2A, is the weakest topology so that: • ρα is continuous for each α 2 A • the mapping +: X × X ! X, defined by (x; y) ! x + y, is continuous . Note that since fραgα2A separates points, τ is Hausdorff. yr.mn.dy: 15.01.12 Page 2 of 4 Prof. Girardi 13. A Review of some Topology (4) a basis of τ is fNε,α1,...,αn (x) j αi 2 A ; " > 0 ; n 2 N ; x 2 Xg where Nε,α1,...,αn (x) := fy 2 X : ραi (x − y) < " ; i 2 f1; : : : ; ngg, which is a convex set (5) if fxβgβ2B is a net in X, then xβ ! x () ρα(xβ − x) ! 0 8α 2 A: 13.12. Example. Let X be a Banach space. The natural topology generated by the family of seminorms consisting of: • just one seminorm, namely the norm on X, is just the usual norm topology on X. ∗ ∗ • fρx∗ (·) := jx (·)jgx∗2X∗ is weak topology σ(X; X ) on X from Example 13.8. 13.13. Definition. Let X; τ be a LCTVsp. Let fx g be a net in X. fραgα2A β β2B • fxβg is Cauchy if and only if [8" > 0 ; 8α 2 A; 9βε,α 2 B such that if β; γ > βε,α then ρα(xβ − xγ) < " : • X is complete if and only if [each Cauchy net in X converges to a point in X]. 13.14. Proposition. Let fραgα2A and fdβgβ2B be 2 families of seminorms on X. Then the following are equivalent. (1) fραgα2A and fdβgβ2B are equivalent families of seminorms, which by definition means that τfραgα2A = τfdβ gβ2B . (2) 8α 2 A , ρα is τfdβ gβ2B -continuous and 8β 2 B , dβ is τfραgα2A -continuous . (3) 8α 2 A , 9β1; : : : ; βn 2 B , 9C > 0 , such that 8x 2 X , ρα(x) ≤ C(dβ1 (x) + ::: + dβn (x)) and 8β 2 B , 9α1; : : : ; αn 2 A , 9D > 0 , such that 8x 2 X , dβ(x) ≤ D(ρα1 (x) + ::: + ραn (x)) . 13.15. Definition. A family fραgα2A of seminorms on X is directed provided 8α; β 2 A; 9γ 2 A; 9C > 0 ; such that 8x 2 X : ρα(x) + ρβ(x) ≤ Cργ(x) : Note that, by induction, this is equivalent to 8α1; : : : ; αn 2 A; 9γ 2 A; 9D > 0 ; such that 8x 2 X : ρα1 (x) + ::: + ραn (x) ≤ Dργ(x) : 13.16. Remark. Let fραgα2A be a family of seminorms on X. Define •B = the set of all finite subsets of A P • for F 2 B define dF := α2F ρα. Then • fdF gF 2B is a directed family of seminorms on X • τfραgα2A = τfdF gF 2B . Recall. A linear map T from a normed space X to a normed space Y is continuous if and only if there exists C > 0 so that kT xkY ≤ C kxkX for each x 2 X. The next proposition is the corresponding statement for maps between spaces with topologies generated by seminorms. 13.17. Proposition. Let T : X; τfραgα2A ! Y; τfdβ gβ2B be a linear map. The following are equivalent. (1) T is continuous (2) 8β 2 B , 9α1; : : : ; αn 2 A , 9C1 > 0 such that 8x 2 X : dβ(T x) ≤ C1 (ρα1 (x) + : : : ραn (x)) (3) 8β 2 B , 9 a continuous seminorm ρ on X and 9C2 > 0 such that 8x 2 X : dβ(T x) ≤ C2 ρ(x) And if fραgα2A is a directed set, then also (4) 8β 2 B , 9α 2 A , 9C3 > 0 such that 8x 2 X : dβ(T x) ≤ C1 ρα(x) .
Recommended publications
  • Weak Topologies
    Weak topologies David Lecomte May 23, 2006 1 Preliminaries from general topology In this section, we are given a set X, a collection of topological spaces (Yi)i∈I and a collection of maps (fi)i∈I such that each fi maps X into Yi. We wish to define a topology on X that makes all the fi’s continuous. And we want to do this in the cheapest way, that is: there should be no more open sets in X than required for this purpose. −1 Obviously, all the fi (Oi), where Oi is an open set in Yi should be open in X. Then finite intersections of those should also be open. And then any union of finite intersections should be open. By this process, we have created as few open sets as required. Yet it is not clear that the collection obtained is closed under finite intersections. It actually is, as a consequence of the following lemma: Lemma 1 Let X be a set and let O ⊂ P(X) be a collection of subsets of X, such that • ∅ and X are in O; • O is closed under finite intersections. Then T = { O | O ⊂ O} is a topology on X. OS∈O Proof: By definition, T contains X and ∅ since those were already in O. Furthermore, T is closed under unions, again by definition. So all that’s left is to check that T is closed under finite intersections. Let A1 and A2 be two elements of T . Then there exist O1 and O2, subsets of O, such that A = O and A = O 1 [ 2 [ O∈O1 O∈O2 1 It is then easy to check by double inclusion that A ∩ A = O ∩ O 1 2 [ 1 2 O1∈O1 O2∈O2 Letting O denote the collection {O1 ∩ O2 | O1 ∈ O1 O2 ∈ O2}, which is a subset of O since the latter is closed under finite intersections, we get A ∩ A = O 1 2 [ O∈O This set belongs to T .
    [Show full text]
  • Distinguished Property in Tensor Products and Weak* Dual Spaces
    axioms Article Distinguished Property in Tensor Products and Weak* Dual Spaces Salvador López-Alfonso 1 , Manuel López-Pellicer 2,* and Santiago Moll-López 3 1 Department of Architectural Constructions, Universitat Politècnica de València, 46022 Valencia, Spain; [email protected] 2 Emeritus and IUMPA, Universitat Politècnica de València, 46022 Valencia, Spain 3 Department of Applied Mathematics, Universitat Politècnica de València, 46022 Valencia, Spain; [email protected] * Correspondence: [email protected] 0 Abstract: A local convex space E is said to be distinguished if its strong dual Eb has the topology 0 0 0 0 b(E , (Eb) ), i.e., if Eb is barrelled. The distinguished property of the local convex space Cp(X) of real- valued functions on a Tychonoff space X, equipped with the pointwise topology on X, has recently aroused great interest among analysts and Cp-theorists, obtaining very interesting properties and nice characterizations. For instance, it has recently been obtained that a space Cp(X) is distinguished if and only if any function f 2 RX belongs to the pointwise closure of a pointwise bounded set in C(X). The extensively studied distinguished properties in the injective tensor products Cp(X) ⊗# E and in Cp(X, E) contrasts with the few distinguished properties of injective tensor products related to the dual space Lp(X) of Cp(X) endowed with the weak* topology, as well as to the weak* dual of Cp(X, E). To partially fill this gap, some distinguished properties in the injective tensor product space Lp(X) ⊗# E are presented and a characterization of the distinguished property of the weak* dual of Cp(X, E) for wide classes of spaces X and E is provided.
    [Show full text]
  • Let H Be a Hilbert Space. on B(H), There Is a Whole Zoo of Topologies
    Let H be a Hilbert space. On B(H), there is a whole zoo of topologies weaker than the norm topology – and all of them are considered when it comes to von Neumann algebras. It is, however, a good idea to concentrate on one of them right from the definition. My choice – and Murphy’s [Mur90, Chapter 4] – is the strong (or strong operator=STOP) topology: Definition. A von Neumann algebra is a ∗–subalgebra A ⊂ B(H) of operators acting nonde- generately(!) on a Hilbert space H that is strongly closed in B(H). (Every norm convergent sequence converges strongly, so A is a C∗–algebra.) This does not mean that one has not to know the other topologies; on the contrary, one has to know them very well, too. But it does mean that proof techniques are focused on the strong topology; if we use a different topology to prove something, then we do this only if there is a specific reason for doing so. One reason why it is not sufficient to worry only about the strong topology, is that the strong topology (unlike the norm topology of a C∗–algebra) is not determined by the algebraic structure alone: There are “good” algebraic isomorphisms between von Neumann algebras that do not respect their strong topologies. A striking feature of the strong topology on B(H) is that B(H) is order complete: Theorem (Vigier). If aλ λ2Λ is an increasing self-adjoint net in B(H) and bounded above (9c 2 B(H): aλ ≤ c8λ), then aλ converges strongly in B(H), obviously to its least upper bound in B(H).
    [Show full text]
  • Chapter 14. Duality for Normed Linear Spaces
    14.1. Linear Functionals, Bounded Linear Functionals, and Weak Topologies 1 Chapter 14. Duality for Normed Linear Spaces Note. In Section 8.1, we defined a linear functional on a normed linear space, a bounded linear functional, and the functional norm. In Proposition 8.1 (the proof is Exercise 8.2) it is shown that the collection of bounded linear functionals themselves form a normed linear space called the dual space of X, denoted X∗. In Chapters 14 and 15 we consider the mapping from X × X∗ → R defined by (x, ψ) 7→ ψ(x) to “uncover the analytic, geometric, and topological properties of Banach spaces.” The “departure point for this exploration” is the Hahn-Banach Theorem which is started and proved in Section 14.2 (Royden and Fitzpatrick, page 271). Section 14.1. Linear Functionals, Bounded Linear Functionals, and Weak Topologies Note. In this section we consider the linear space of all real valued linear function- als on linear space X (without requiring X to be named or the functionals to be bounded), denoted X]. We also consider a new topology on a normed linear space called the weak topology (the old topology which was induced by the norm we now may call the strong topology). For the deal X∗ of normed linear space X, the weak topology is called the weak-∗ topology. 14.1. Linear Functionals, Bounded Linear Functionals, and Weak Topologies 2 Note. Recall that if Y and Z are subspaces of a linear space then Y + Z is also a subspace of X (by Exercise 13.2) and that if Y ∩ Z = {0} then Y + Z is denoted T ⊕ Z and is called the direct sum of Y and Z.
    [Show full text]
  • The Banach-Alaoglu Theorem for Topological Vector Spaces
    The Banach-Alaoglu theorem for topological vector spaces Christiaan van den Brink a thesis submitted to the Department of Mathematics at Utrecht University in partial fulfillment of the requirements for the degree of Bachelor in Mathematics Supervisor: Fabian Ziltener date of submission 06-06-2019 Abstract In this thesis we generalize the Banach-Alaoglu theorem to topological vector spaces. the theorem then states that the polar, which lies in the dual space, of a neighbourhood around zero is weak* compact. We give motivation for the non-triviality of this theorem in this more general case. Later on, we show that the polar is sequentially compact if the space is separable. If our space is normed, then we show that the polar of the unit ball is the closed unit ball in the dual space. Finally, we introduce the notion of nets and we use these to prove the main theorem. i ii Acknowledgments A huge thanks goes out to my supervisor Fabian Ziltener for guiding me through the process of writing a bachelor thesis. I would also like to thank my girlfriend, family and my pet who have supported me all the way. iii iv Contents 1 Introduction 1 1.1 Motivation and main result . .1 1.2 Remarks and related works . .2 1.3 Organization of this thesis . .2 2 Introduction to Topological vector spaces 4 2.1 Topological vector spaces . .4 2.1.1 Definition of topological vector space . .4 2.1.2 The topology of a TVS . .6 2.2 Dual spaces . .9 2.2.1 Continuous functionals .
    [Show full text]
  • Weak Topologies Weak-Type Topologies on Vector Spaces. Let X
    Weak topologies Weak-type topologies on vector spaces. Let X be a vector space with the algebraic dual X]. Let Y ½ X] be a subspace. We want to de¯ne a topology σ on X in order to make continuous all elements of Y . Fix x0 2 X. If σ is such a topology, then the sets of the form x0 V";g := fx 2 X : jg(x) ¡ g(x0)j < "g = fx 2 X : jg(x ¡ x0)j < "g (" > 0; g 2 Y ) are open neighborhoods of x0. But this family is not a basis of σ-neighborhoods of x0, since the intersection of two of its members does not necessarily contain another member of the family. This is the reason why we instead consider the sets of the form x0 (1) V";g1;:::;gn := fx 2 X : jgi(x ¡ x0)j < "; i = 1; : : : ; ng (" > 0; n 2 N; gi 2 Y ) : x0 x0 It is easy to see that the intersection V \ V 0 of two of such sets ";g1;:::;gn " ;h1;:::;hm x0 00 0 contains V 00 where " = minf"; " g. " ;g1;:::;gn;h1;:::;hm Theorem 0.1. Let X be a vector space, and Y ½ X] a subspace which separates the points of X (that is, a so-called total subspace). 1. There exists a (unique) topology on X such that, for each x0 2 X, the sets (1) form a basis of neighborhoods of x0. This topology, denoted by σ(X; Y ), is called the weak topology determined by Y . 2. σ(X; Y ) is the weakest topology on X that makes continuous all elements of Y .
    [Show full text]
  • Arxiv:Math/0405137V1 [Math.RT] 7 May 2004 Oino Disbecniuu Ersnain Fsc Group)
    Draft: May 4, 2004 LOCALLY ANALYTIC VECTORS IN REPRESENTATIONS OF LOCALLY p-ADIC ANALYTIC GROUPS Matthew Emerton Northwestern University Contents 0. Terminology, notation and conventions 7 1. Non-archimedean functional analysis 10 2. Non-archimedean function theory 27 3. Continuous, analytic, and locally analytic vectors 43 4. Smooth, locally finite, and locally algebraic vectors 71 5. Rings of distributions 81 6. Admissible locally analytic representations 100 7. Representationsofcertainproductgroups 124 References 135 Recent years have seen the emergence of a new branch of representation theory: the theory of representations of locally p-adic analytic groups on locally convex p-adic topological vector spaces (or “locally analytic representation theory”, for short). Examples of such representations are provided by finite dimensional alge- braic representations of p-adic reductive groups, and also by smooth representations of such groups (on p-adic vector spaces). One might call these the “classical” ex- amples of such representations. One of the main interests of the theory (from the point of view of number theory) is that it provides a setting in which one can study p-adic completions of the classical representations [6], or construct “p-adic interpolations” of them (for example, by defining locally analytic analogues of the principal series, as in [20], or by constructing representations via the cohomology of arithmetic quotients of symmetric spaces, as in [9]). Locally analytic representation theory also plays an important role in the analysis of p-adic symmetric spaces; indeed, this analysis provided the original motivation for its development. The first “non-classical” examples in the theory were found by Morita, in his analysis of the p-adic upper half-plane (the p-adic symmetric arXiv:math/0405137v1 [math.RT] 7 May 2004 space attached to GL2(Qp)) [15], and further examples were found by Schneider and Teitelbaum in their analytic investigations of the p-adic symmetric spaces of GLn(Qp) (for arbitrary n) [19].
    [Show full text]
  • Orlicz - Pettis Theorems for Multiplier Convergent Operator Valued Series
    Proyecciones Vol. 23, No 1, pp. 61-72, May 2004. Universidad Cat´olica del Norte Antofagasta - Chile ORLICZ - PETTIS THEOREMS FOR MULTIPLIER CONVERGENT OPERATOR VALUED SERIES CHARLES SWARTZ New Mexico State University, USA Received November 2003. Accepted March 2004. Abstract Let X, Y be locally convex spaces and L(X, Y ) the space of con- tinuous linear operators from X into Y . We consider 2 types of mul- tiplier convergent theorems for a series Tk in L(X, Y ).First,ifλ isascalarsequencespace,wesaythattheseries Tk is λ multiplier convergent for a locally convex topologyPτ on L(X, Y ) if the series P tkTk is τ convergent for every t = tk λ. We establish condi- tions on λ which guarantee that a λ multiplier{ } ∈ convergent series in theP weak or strong operator topology is λ multiplier convergent in the topology of uniform convergence on the bounded subsets of X.Sec- ond, we consider vector valued multipliers. If E is a sequence space of X valued sequences, the series Tk is E multiplier convergent in a locally convex topology η on Y if the series Tkxk is η convergent P for every x = xk E. We consider a gliding hump property on E { } ∈ P whichguaranteesthataseries Tk which is E multiplier convergent for the weak topology of Y is E multiplier convergent for the strong topology of Y . P 62 Charles Swartz 1. INTRODUCTION . The original Orlicz-Pettis Theorem which asserts that a series xk in anormedspace X which is subseries convergent in the weak topology of P X is actually subseries convergent in the norm topology of X can be inter- preted as a theorem about multiplier convergent series.
    [Show full text]
  • Topologies on the Dual Space of a T.V.S
    Chapter 3 Topologies on the dual space of a t.v.s. In this chapter we are going to describe a general method to construct a whole class of topologies on the topological dual of a t.v.s. using the notion of polar of a subset. Among these topologies, the so-called polar topologies, there are: the weak topology, the topology of compact convergence and the strong topology. In this chapter we will denote by: E at.v.s.overthefieldK of real or complex numbers. • E the algebraic dual of E, i.e. the vector space of all linear functionals • ⇤ on E. E its topological dual of E, i.e. the vector space of all continuous linear • 0 functionals on E. Moreover, given x E , we denote by x ,x its value at the point x of E,i.e. 0 2 0 h 0 i x ,x = x (x). The bracket , is often called pairing between E and E . h 0 i 0 h· ·i 0 3.1 The polar of a subset of a t.v.s. Definition 3.1.1. Let A be a subset of E. We define the polar of A to be the subset A◦ of E0 given by: A◦ := x0 E0 :sup x0,x 1 . 2 x A |h i| ⇢ 2 Let us list some properties of polars: a) The polar A◦ of a subset A of E is a convex balanced subset of E0. b) If A B E,thenB A . ✓ ✓ ◦ ✓ ◦ c) (⇢A) =(1 )A , ⇢>0, A E. ◦ ⇢ ◦ 8 8 ✓ d) (A B) = A B , A, B E.
    [Show full text]
  • Weak*-Polish Banach Spaces HASKELL ROSENTHAL*
    JOURNAL OF FUNCTIONAL ANALYSIS 76, 267-316 (1988) Weak*-Polish Banach Spaces HASKELL ROSENTHAL* Department of Mathemattcs, The University of Texas at Austin, Austin, Texas 78712 Communicated by the Editors Received February 27, 1986 A Banach space X which is a subspace of the dual of a Banach space Y is said to be weak*-Polish proviced X is separable and the closed unit bail of X is Polish in the weak*-topology. X is said to be Polish provided it is weak*-Polish when regar- ded as a subspace of ,I’**. A variety of structural results arc obtained for Banach spaces with the Point of Continuity Property (PCP), using the unifying concept of weak*-Polish Banach spaces. It is proved that every weak*-Polish Banach space contains an (infinite-dimensional) weak*-closed subspace. This yields the result of Edgar-Wheeler that every Polish Banach space has a reflexive subspace. It also yields the result of Ghoussoub-Maurey that every Banach space with the PCP has a subspace isomorphic to a separable dual, in virtue of the following known result linking the PCP and weak*-Polish Banach spaces: A separable Banach space has the PCP if (Edgar-Wheeler) and only if (GhoussoubMaurey) it is isometric to a weak*-Polish subspace of the dual of some separable Banach space. (For com- pleteness, a proof of this result is also given.) It is proved that if X and Y are Banach spaces with Xc Y*, then X is weak*-Polish if and only if X has a weak*- continuous boundedly complete skipped-blocking decomposition.
    [Show full text]
  • Weak Operator Topology, Operator Ranges and Operator Equations Via Kolmogorov Widths
    Weak operator topology, operator ranges and operator equations via Kolmogorov widths M. I. Ostrovskii and V. S. Shulman Abstract. Let K be an absolutely convex infinite-dimensional compact in a Banach space X . The set of all bounded linear operators T on X satisfying TK ⊃ K is denoted by G(K). Our starting point is the study of the closure WG(K) of G(K) in the weak operator topology. We prove that WG(K) contains the algebra of all operators leaving lin(K) invariant. More precise results are obtained in terms of the Kolmogorov n-widths of the compact K. The obtained results are used in the study of operator ranges and operator equations. Mathematics Subject Classification (2000). Primary 47A05; Secondary 41A46, 47A30, 47A62. Keywords. Banach space, bounded linear operator, Hilbert space, Kolmogorov width, operator equation, operator range, strong operator topology, weak op- erator topology. 1. Introduction Let K be a subset in a Banach space X . We say (with some abuse of the language) that an operator D 2 L(X ) covers K, if DK ⊃ K. The set of all operators covering K will be denoted by G(K). It is a semigroup with a unit since the identity operator is in G(K). It is easy to check that if K is compact then G(K) is closed in the norm topology and, moreover, sequentially closed in the weak operator topology (WOT). It is somewhat surprising that for each absolutely convex infinite- dimensional compact K the WOT-closure of G(K) is much larger than G(K) itself, and in many cases it coincides with the algebra L(X ) of all operators on X .
    [Show full text]
  • The Weak Topology on Q-Convex Banach Function Spaces
    The weak topology on qq-convex Banach function spaces Luc¶³aAgud Albesa Dirigida por: Enrique S¶anchez P¶erez Jose Calabuig Rodr¶³guez Contents 1 Motivation. 3 2 Notation and preliminaries. 4 2.1 Some properties of Banach lattices and Banach func- tion spaces . 5 2.2 q-convex and q-concave operators, properties. The space X(¹)[q] ..................... 8 3 A separation argument for Banach function spaces. 12 4 A topological characterization of the q-convexity. 19 5 Applications: A Factorization Theorem for (q; S)- convex spaces. 27 2 1 Motivation. Let 1 · q < 1. The geometric concept of q-convexity of Banach lattices and its dual notion |q-concavity| are fundamental tools in the study both of the structure of these spaces and the operators de¯ned on them. Although there are earlier results that can be identi¯ed with some aspects of the geometric theory of Banach lat- tices, the main de¯nitions and concepts regarding this subject were introduced in the late sixties and the seventies by Krivine, Mau- rey and Rosenthal, among others (see [11, 13, 15, 18]). Nowadays, the notion of q-convexity in Banach lattices is rather well under- stood, and also its relation with the main structure theorems of Banach function spaces, p-summing operators and factorization of operators through Lq-spaces (see [13] and also [2, 3, 20] for recent studies on the topic). For instance, it is possible to characterize q-convexity in terms of the behavior of positive operators on the space, in particular factorizations through `p spaces; see [3, Theo- rem 2.4].
    [Show full text]