DOCSLIB.ORG

1.2 Fréchet Spaces

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
1.2 Fréchet Spaces 1.2. Fr´echet spaces 1.2 Fr´echet spaces Definition 1.2.1. A complete metrizable locally convex t.v.s. is called a Fr´echet space (or F-space) Note that by Theorem 1.1 and Proposition 1.1.8, any Fr´echet space is in particular a HausdorffBaire space. Combining the properties of metrizable t.v.s. which we proved in Sheet 1 and the results about complete t.v.s. which we have seen in TVS-I, we easily get the following properties: Any closed subspace of an F-space endowed with the induced topology • is an F-space. The product of a countable family of F-spaces is an F-space. • The quotient of an F-space modulo a closed subspace is an F-space. • Examples of F-spaces are: Hausdorfffinite dimensional t.v.s., Hilbert spaces, and Banach spaces. In the following we will present two examples of F-spaces which do not enter in any of the latter categories. d Let us first recall some standard notations. For any x =(x1,...,xd) R d α α1 αd d∈ and α =(α1,...,αd) N one defines x := x x . For any β N ,the ∈ 0 1 ··· d ∈ 0 symbol Dβ denotes the partial derivative of order β where β := d β , | | | | i=1 i i.e. ∂ β ∂β1 ∂βd Dβ := | | = . ∂xβ1 ∂xβd ∂xβ1 ···∂xβd 1 ··· d 1 d Example: k(Ω) with Ω Rd open. dC ⊆ Let Ω R open in the euclidean topology. For any k N0, we denote by ⊆ ∈ k(Ω) the set of all real valued k times continuously differentiable functions C − on Ω, i.e. all the derivatives of f of order k exist (at every point of Ω) and ≤ are continuous functions in Ω. Clearly, when k = 0 we get the set (Ω) of all C real valued continuous functions on Ωand when k = we get the so-called ∞ set of all infinitely differentiable functions or smooth functions on Ω. For any k k N0, (Ω) (with pointwise addition and scalar multiplication) is a vector ∈ C space over R. Let us consider the following family of seminorms on k(Ω): P C β pm,K (f):= sup sup (D f)(x) , K Ωcompact, m 0, 1,...,k , β d x K ∀ ⊂ ∀ ∈{ } ∈N0 ∈ β m | |≤ (Note when k = we have m N0.) The topology τ generated by is usually referred as∞k-topology or ∈topology of uniform convergenceP on compactP C sets of the functions and their derivatives up to order k. 9 1. Special classes of topological vector spaces 1) The k-topology clearly turns k(Ω) into a locally convex t.v.s.,whichis C C evidently Hausdorff as the family is separating (see Prop 4.3.3 TVS-I). In- P deed, if p (f) = 0, m 0, 1,...,k and K compact subset of Ωthen in m,K ∀ ∈{ } ∀ particular p0, x (f)= f(x) =0 x Ω, which implies f 0 on Ω. { } | | ∀ ∈ ≡ 2) ( k(Ω),τ ) is metrizable. C P By Proposition 1.1.5, this is equivalent to prove that the k-topology can be C generated by a countable family of seminorms. In order to show this, let us first observe that for any two non-negative integers m m and any two 1 ≤ 2 compact K K Ωwehave: 1 ⊆ 2 ⊂ p (f) p (f), f k(Ω). m1,K1 ≤ m2,K2 ∀ ∈C Then the family p : K Ωcompact generates the k topology on { k,K ⊂ } C − k(Ω). Moreover, it is easy to show that there is a sequence of compact sub- C ˚ sets Kj j N of Ωsuch that Kj Kj+1 for all j N and Ω= j NKj.Then { } ∈ ⊆ ∈ ∪ ∈ for any K Ωcompact we have that there exists j N s.t. K Kj and so ⊂ k ∈ ⊆ pk,K(f) pk,Kj (f), f (Ω). Hence, the countable family of seminorms ≤ ∀ ∈C k k pk,Kj : j N generates the topology on (Ω). { ∈ } C − C 3) ( k(Ω),τ ) is complete. C P By Proposition 1.1.6, it is enough to show that it is sequentially complete. k Let (fν)ν N be a Cauchy sequence in (Ω), i.e. ∈ C m k, K Ωcompact, ε>0, N N s.t. µ, ν N : pm,K (fν fµ) ε. ∀ ≤ ∀ ⊂ ∀ ∃ ∈ ∀ ≥ − ≤ (1.5) In particular, for any x Ωby taking m = 0 and K = x we get that the ∈ { } sequence (fν(x))ν N is a Cauchy sequence in R. Hence, by the completeness ∈ of R, it has a limit point in R which we denote by f(x). Obviously x f(x) → is a function on Ω, so we have just showed that the sequence (fν)ν N converge ∈ to f pointwise in Ω, i.e. x Ω, ε>0, Mx N s.t. µ Mx : fµ(x) f(x) ε. (1.6) ∀ ∈ ∀ ∃ ∈ ∀ ≥ | − |≤ Then it is easy to see that (fν)ν N converges uniformly to f in every compact ∈ subset K of Ω. Indeed, we get it just passing to the pointwise limit for µ →∞ in (1.5) for m = 0. 1 1 Detailed proof:Letε>0. By (1.5) for m =0, N N s.t. µ, ν N : fν (x) fµ(x) ε ∃ ∈ ∀ ≥ | − |≤ 2 , x K. Now for each fixed x K one can always choose a µx larger than both N and ∀ ∈ ∈ ε the corresponding Mx as in (1.6)sothat fµ (x) f(x) . Hence, for all ν N one gets | x − |≤ 2 ≥ that fν (x) f(x) fν (x) fµ (x) + fµ (x) f(x) ε, x K | − |≤| − x | | x − |≤ ∀ ∈ 10 1.2. Fr´echet spaces As, (fν)ν N converges uniformly to f in every compact subset K of Ω, by ∈ taking this subset identical with a suitable neighborhood of any point of Ω, we conclude by Lemma 1.2.2 that f is continuous in Ω. If k = 0, this completes the proof since we just showed f f in the • ν → 0 topology and f (Ω). C − ∈C If 0 <k< , then observe that since (fν)ν N is a Cauchy sequence • k ∞ ∈ ∂ in (Ω), for each j 1,...,d the sequence ( fν)ν N is a Cauchy C ∈{ } ∂xj ∈ k 1 sequence in − (Ω). Then induction on k allows us to conclude that, C ∂ for each j 1,...,d ,the( fν)ν N converges uniformly on every ∈{ } ∂xj ∈ (j) k 1 compact subset of Ωto a function g − (Ω) and by Lemma 1.2.3 (j) ∂ ∈C we have that g = f. Hence, we have showed that (fν)ν N converges ∂xj ∈ to f in the k topology with f k(Ω). C − ∈C If k = , then we are also done by the definition of the -topology. • ∞ C∞ Indeed, a Cauchy sequence (fν)ν N in ∞(Ω) it is in particular a Cauchy ∈ C sequence in the subspace topology given by k(Ω) for any k N and C ∈ hence, for what we have already shown, it converges to f k(Ω) in the k ∈C C topology for any k N. This means exactly that (fν)ν N converges − ∈ ∈ to f (Ω) in the in topology. ∈C∞ C∞− Let us prove now the two lemmas which we have used in the previous proof: d Lemma 1.2.2. Let A R and (fν)ν N in (A).If(fν)ν N converges to a ⊂ ∈ C ∈ function f uniformly in A then f (A). ∈C Proof. Let x A and ε>0. By the uniform convergence in A we get that: 0 ∈ ε N N s.t. ν N : fν(y) f(y) , y A. ∃ ∈ ∀ ≥ | − |≤3 ∀ ∈ Fix such a ν. As fν is continuous on A then: ε δ>0s.t. x A with x x δ : f (x) f (x ) . ∃ ∀ ∈ | − 0|≤ | ν − ν 0 |≤3 Therefore, we obtain that x A with x x δ : ∀ ∈ | − 0|≤ f(x) f(x ) f(x) f (x) + f (x) f (x ) + f (x ) f(x ) ε. | − 0 |≤| − ν | | ν − ν 0 | | ν 0 − 0 |≤ 11 1. Special classes of topological vector spaces d 1 Lemma 1.2.3. Let A R and (fν)ν N in (A).If(fν)ν N converges to a ⊂ ∈ C ∈ ∂ function f uniformly in A and for each j 1,...,d the sequence ( fν)ν N ∈{ } ∂xj ∈ converges to a function g(j) uniformly in A, then ∂ g(j) = f, j 1,...,d . ∂xj ∀ ∈{ } This means in particular that f 1(A). ∈C Proof. (for d = 1, A =[a, b]) By the fundamental theorem of calculus, we have that for any x A ∈ x f (x) f (a)= f (t)dt. ν − ν ν a By the uniform convergence of the derivatives and the dominated convergence theorem, we also have x x (1) f (t)dt g (t)dt, as ν . ν → →∞ a a Thus x f(x) f(a)= g(1)(t)dt, − a i.e. f (x)=g(1)(x), x A. ∀ ∈ Example: The Schwarz space S(Rd). The Schwartz space or space of rapidly decreasing functions on Rd is defined as the set (Rd) of all real-valued functions which are defined and infinitely S differentiable on Rd and which have the additional property (regulating their growth at infinity) that all their derivatives tend to zero at infinity faster than any inverse power of x,i.e. d d α β d (R ):= f ∞(R ): sup x (D f)(x) < , α,β N0 . S ∈C x Rd ∞ ∀ ∈ ∈ (For example, any smooth function f with compact support in Rd is in (Rd), S since any derivative of f is continuous and supported on a compact subset of Rd,soxα(Dβf(x)) has a maximum in Rd by the extreme value theorem.) 12 1.2.
Load more

Recommended publications
  • Sequential Completeness of Inductive Limits
    Internat. J. Math. & Math. Sci. Vol. 24, No. 6 (2000) 419–421 S0161171200003744 © Hindawi Publishing Corp. SEQUENTIAL COMPLETENESS OF INDUCTIVE LIMITS CLAUDIA GÓMEZ and JAN KUCERAˇ (Received 28 July 1999) Abstract. A regular inductive limit of sequentially complete spaces is sequentially com- plete. For the converse of this theorem we have a weaker result: if indEn is sequentially complete inductive limit, and each constituent space En is closed in indEn, then indEn is α-regular. Keywords and phrases. Regularity, α-regularity, sequential completeness of locally convex inductive limits. 2000 Mathematics Subject Classification. Primary 46A13; Secondary 46A30. 1. Introduction. In [2] Kuˇcera proves that an LF-space is regular if and only if it is sequentially complete. In [1] Bosch and Kuˇcera prove the equivalence of regularity and sequential completeness for bornivorously webbed spaces. It is natural to ask: can this result be extended to arbitrary sequentially complete spaces? We give a partial answer to this question in this paper. 2. Definitions. Throughout the paper {(En,τn)}n∈N is an increasing sequence of Hausdorff locally convex spaces with continuous identity maps id : En → En+1 and E = indEn its inductive limit. A topological vector space E is sequentially complete if every Cauchy sequence {xn}⊂E is convergent to an element x ∈ E. An inductive limit indEn is regular, resp. α-regular, if each of its bounded sets is bounded, resp. contained, in some constituent space En. 3. Main results Theorem 3.1. Let each space (En,τn) be sequentially complete and indEn regular. Then indEn is sequentially complete. Proof. Let {xk} be a Cauchy sequence in indEn.
    [Show full text]
  • Topology and Descriptive Set Theory
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector TOPOLOGY AND ITS APPLICATIONS ELSEVIER Topology and its Applications 58 (1994) 195-222 Topology and descriptive set theory Alexander S. Kechris ’ Department of Mathematics, California Institute of Technology, Pasadena, CA 91125, USA Received 28 March 1994 Abstract This paper consists essentially of the text of a series of four lectures given by the author in the Summer Conference on General Topology and Applications, Amsterdam, August 1994. Instead of attempting to give a general survey of the interrelationships between the two subjects mentioned in the title, which would be an enormous and hopeless task, we chose to illustrate them in a specific context, that of the study of Bore1 actions of Polish groups and Bore1 equivalence relations. This is a rapidly growing area of research of much current interest, which has interesting connections not only with topology and set theory (which are emphasized here), but also to ergodic theory, group representations, operator algebras and logic (particularly model theory and recursion theory). There are four parts, corresponding roughly to each one of the lectures. The first contains a brief review of some fundamental facts from descriptive set theory. In the second we discuss Polish groups, and in the third the basic theory of their Bore1 actions. The last part concentrates on Bore1 equivalence relations. The exposition is essentially self-contained, but proofs, when included at all, are often given in the barest outline. Keywords: Polish spaces; Bore1 sets; Analytic sets; Polish groups; Bore1 actions; Bore1 equivalence relations 1.
    [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]
  • Arxiv:2006.03419V2 [Math.GM] 3 Dec 2020 H Eain Ewe Opeeesadteeitneo fixe of [ Existence [7]
    COMPLETENESS IN QUASI-PSEUDOMETRIC SPACES – A SURVEY S. COBZAS¸ Abstract. The aim of this paper is to discuss the relations between various notions of se- quential completeness and the corresponding notions of completeness by nets or by filters in the setting of quasi-metric spaces. We propose a new definition of right K-Cauchy net in a quasi-metric space for which the corresponding completeness is equivalent to the sequential completeness. In this way we complete some results of R. A. Stoltenberg, Proc. London Math. Soc. 17 (1967), 226–240, and V. Gregori and J. Ferrer, Proc. Lond. Math. Soc., III Ser., 49 (1984), 36. A discussion on nets defined over ordered or pre-ordered directed sets is also included. Classification MSC 2020: 54E15 54E25 54E50 46S99 Key words: metric space, quasi-metric space, uniform space, quasi-uniform space, Cauchy sequence, Cauchy net, Cauchy filter, completeness 1. Introduction It is well known that completeness is an essential tool in the study of metric spaces, particularly for fixed points results in such spaces. The study of completeness in quasi-metric spaces is considerably more involved, due to the lack of symmetry of the distance – there are several notions of completeness all agreing with the usual one in the metric case (see [18] or [6]). Again these notions are essential in proving fixed point results in quasi-metric spaces as it is shown by some papers on this topic as, for instance, [4], [10], [16], [21] (see also the book [1]). A survey on the relations between completeness and the existence of fixed points in various circumstances is given in [7].
    [Show full text]
  • 1.2.3 Banach–Steinhaus Theorem Another Fundamental Theorem Of
    16 1 Basic Facts from Functional Analysis and Banach Lattices 1.2.3 Banach{Steinhaus Theorem Another fundamental theorem of functional analysis is the Banach{Steinhaus theorem, or the Uniform Boundedness Principle. It is based on a fundamental topological results known as the Baire Category Theorem. Theorem 1.13. Let X be a complete metric space and let fXngn≥1 be a sequence of closed subsets in X. If Int Xn = ; for any n ≥ 1, then 1 S Int Xn = ;. Equivalently, taking complements, we can state that a count- n=1 able intersection of open dense sets is dense. Remark 1.14. Baire's theorem is often used in the following equivalent form: if X is a complete metric space and fXngn≥1 is a countable family of closed 1 S sets such that Xn = X, then IntXn 6= ; at least for one n. n=1 Chaotic dynamical systems We assume that X is a complete metric space, called the state space. In gen- eral, a dynamical system on X is just a family of states (x(t))t2T parametrized by some parameter t (time). Two main types of dynamical systems occur in applications: those for which the time variable is discrete (like the observation times) and those for which it is continuous. Theories for discrete and continuous dynamical systems are to some extent parallel. In what follows mainly we will be concerned with continuous dynam- ical systems. Also, to fix attention we shall discuss only systems defined for t ≥ 0, that are sometimes called semidynamical systems. Thus by a contin- uous dynamical system we will understand a family of functions (operators) (x(t; ·))t≥0 such that for each t, x(t; ·): X ! X is a continuous function, for each x0 the function t ! x(t; x0) is continuous with x(0; x0) = x0.
    [Show full text]
  • Polish Spaces and Baire Spaces
    Polish spaces and Baire spaces Jordan Bell [email protected] Department of Mathematics, University of Toronto June 27, 2014 1 Introduction These notes consist of me working through those parts of the first chapter of Alexander S. Kechris, Classical Descriptive Set Theory, that I think are impor- tant in analysis. Denote by N the set of positive integers. I do not talk about universal spaces like the Cantor space 2N, the Baire space NN, and the Hilbert cube [0; 1]N, or \localization", or about Polish groups. If (X; τ) is a topological space, the Borel σ-algebra of X, denoted by BX , is the smallest σ-algebra of subsets of X that contains τ. BX contains τ, and is closed under complements and countable unions, and rather than talking merely about Borel sets (elements of the Borel σ-algebra), we can be more specific by talking about open sets, closed sets, and sets that are obtained by taking countable unions and complements. Definition 1. An Fσ set is a countable union of closed sets. A Gδ set is a complement of an Fσ set. Equivalently, it is a countable intersection of open sets. If (X; d) is a metric space, the topology induced by the metric d is the topology generated by the collection of open balls. If (X; τ) is a topological space, a metric d on the set X is said to be compatible with τ if τ is the topology induced by d.A metrizable space is a topological space whose topology is induced by some metric, and a completely metrizable space is a topological space whose topology is induced by some complete metric.
    [Show full text]
  • Two Characterizations of Linear Baire Spaces 205
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 45, Number 2, August 1974 TWOCHARACTERIZATIONS OF LINEAR BAIRE SPACES STEPHEN A. SAXON1 ABSTRACT. The Wilansky-Klee conjecture is equivalent to the (un- proved) conjecture that every dense, 1-codimensional subspace of an arbitrary Banach space is a Baire space (second category in itself). The following two characterizations may be useful in dealing with this conjecture: (i) A topological vector space is a Baire space if and on- ly if every absorbing, balanced, closed set is a neighborhood of some point, (ii) A topological vector space is a Baire space if and only if it cannot be covered by countably many nowhere dense sets, each of which is a union of lines (1-dimensional subspaces). Characterization (i) has a more succinct form, using the definition of Wilansky's text [8, p. 224]: a topological vector space is a Baire space if and only if it has the t property. Introduction. The Wilansky-Klee conjecture (see [3], [7]) is equivalent to the conjecture that every dense, 1-codimensional subspace of a Banach space is a Baire space. In [4], [5], [6], [7] it is shown that every counta- ble-codimensional subspace of a locally convex space which is "nearly" a Baire space is, itself, "nearly" a Baire space. (Theorem 1 of this paper indicates how "nearly Baire" a barrelled space is: Wilansky's class of W'barrelled spaces [9,p. 44] is precisely the class of linear Baire spaces.) The theorem [7] that every countable-codimensional subspace of an unor- dered Baire-like space is unordered Baire-like is the closest to an affirmation of the conjecture.
    [Show full text]
  • TOPOLOGY PRELIM REVIEW 2021: LIST THREE Topic 1: Baire Property and Gδ Sets. Definition. X Is a Baire Space If a Countable Inte
    TOPOLOGY PRELIM REVIEW 2021: LIST THREE Topic 1: Baire property and Gδ sets. Definition. X is a Baire space if a countable intersection of open, dense subsets of X is dense in X. Complete metric spaces and locally compact spaces are Baire spaces. Def. X is locally compact if for all x 2 X, and all open Ux, there exists Vx with compact closure V x ⊂ Ux. 1. X is locally compact , for all C ⊂ X compact, and all open U ⊃ C, there exists V open with compact closure, so that: C ⊂ V ⊂ V ⊂ U. 2. Def: A set E ⊂ X is nowhere dense in X if its closure E has empty interior. Show: X is a Baire space , any countable union of nowhere dense sets has empty interior. 3. A complete metric space without isolated points is uncountable. (Hint: Baire property, complements of one-point sets.) 4. Uniform boundedness principle. X complete metric, F ⊂ C(X) a family of continuous functions, bounded at each point: (8a 2 X)(9M(a) > 0)(8f 2 F)jf(a)j ≤ M(a): Then there exists a nonempty open set U ⊂ X so that F is eq¨uibounded over U{there exists a constant C > 0 so that: (8f 2 F)(8x 2 U)jf(x)j ≤ C: Hint: For n ≥ 1, consider An = fx 2 X; jf(x)j ≤ n; 8f 2 Fg. Use Baire's property. An important application of 4. is the uniform boundedness principle for families of bounded linear operators F ⊂ L(E; F ), where E; F are Banach spaces.
    [Show full text]
  • Arxiv:1808.01914V1 [Math.FA] 3 Aug 2018 Eirus Elpsdes Oal Ovxspaces
    STATIONARY DENSE OPERATORS IN SEQUENTIALLY COMPLETE LOCALLY CONVEX SPACES DANIEL VELINOV, MARKO KOSTIC,´ AND STEVAN PILIPOVIC´ Abstract. The purpose of this paper is to investigate the stationary dense operators and their connection to distribution semigroups and abstract Cauchy problem in sequentially complete spaces. 1. Introduction and Preliminaries In [15] and [12] are given definitions of a distribution semigroups with densely and non densely defined generators. Stationary dense operators in a Banach space E and their connections to densely defined distribution semigroups are introduced and analyzed in [11]. Our main aim in this paper is to consider such operators when E is sequentially complete locally convex space. When we are dealing with a semigroup in a locally convex space, in order to have the existence of the resolvent of an infinitesimal generator A, we suppose that the semigroup is equicontinuous. Moreover for A, we are led to study the behavior of A∞ in D∞(A). If A is stationary dense, the information lost in passing from A in E to A∞ in D∞(A), can be retrieved. Let us emphasize that the interest for the stationarity of A comes out from the solvability of the Cauchy problem u′ = Au, n u(0) = u0, for every u ∈ D(A ) for some n. This is noted in Proposition 2.3. In Theorem 2.12 we have a partial answer to the converse question: Whether the solvability for every x ∈ D(An) implies n-stationarity. Also, we extend the results of [2], [11], [18] and give new examples of stationary dense operators on sequentially complete locally convex spaces.
    [Show full text]
  • Full Text in PDF (158K)
    E extracta mathematicae Vol. 32, N´um.1, 1 { 24 (2017) A Note on Some Isomorphic Properties in Projective Tensor Products Ioana Ghenciu Mathematics Department, University of Wisconsin-River Falls, Wisconsin, 54022, USA [email protected] Presented by Jes´usM. F. Castillo Received May 23, 2016 Abstract: A Banach space X is sequentially Right (resp. weak sequentially Right) if every Right subset of X∗ is relatively weakly compact (resp. weakly precompact). A Banach space X has the L-limited (resp. the wL-limited) property if every L-limited subset of X∗ is relatively weakly compact (resp. weakly precompact). We study Banach spaces with the weak sequentially Right and the wL-limited properties. We investigate whether the projective tensor product of two Banach spaces X and Y has the sequentially Right property when X and Y have the respective property. Key words: R-sets, L-limited sets, sequentially Right spaces, L-limited property. AMS Subject Class. (2010): 46B20, 46B25, 46B28. 1. Introduction A bounded subset A of a Banach space X is called a Dunford-Pettis (DP) ∗ ∗ (resp. limited) subset of X if every weakly null (resp. w -null) sequence (xn) in X∗ tends to 0 uniformly on A; i.e., ( ) lim supfjx∗ (x)j : x 2 Ag = 0: n n A sequence (xn) is DP (resp. limited) if the set fxn : n 2 Ng is DP (resp. limited). A subset S of X is said to be weakly precompact provided that every sequence from S has a weakly Cauchy subsequence. Every DP (resp. limited) set is weakly precompact [37, p.
    [Show full text]
  • A Counterexample for One Variant of Mcintosh Closed Graph Theorem
    MATEMATIQKI VESNIK UDC 517.982.2 originalni nauqni rad 45 (1993), 55{56 research pap er A COUNTEREXAMPLE FOR ONE VARIANT OF MCINTOSH CLOSED GRAPH THEOREM Lj. Cukic Abstract. Counterexamples for two closed graph theorems from Kothe's monograph [5] are given. In Kothe's monograph [5] the following two theorems ([5] x35.10.(1) and (2)) are "proved": (1) Let E (t) be a sequential ly complete local ly convex space, t the Mackey 0 0 topology, and let E ( (E ;E)) becomplete. Let F be a semi-re exive webbedspace. Then every sequential ly closed linear mapping A from E in F is continuous. (2) Let E and F be (F)-spaces and A aweakly sequential ly closed linear map- 0 0 ping from E into F . Then A is weakly continuous. The rst of these theorems is a generalization of McIntosh closed graph theo- rem. We shall prove here that both these theorems are incorrect, even if A is a sequentially continuous linear functional. Both theorems are correct if we assume that the linear mapping A has a closed graph ([2]). The notations we use here for weak and strong top ology are as in [6]. Let us remark that in [5] by a sequentailly closed mapping it is assumed a mapping with 0 0 a sequentially closed graph and bya weak continuity of a mapping A : E ! F it 0 0 is assumed its (E ;E)- (F ;F)continuity. Example 1. Let T be a P -space which is not realcomplete (see [3], 9.L. or [1], Example 2.6-1), E = C (T ) space of all b ounded continuous real-valued functions b on T and t the strongest of all lo cally convex top ologies on E which coincide with compact-op en top ology on the set f x 2 E : sup jx(s)j1 g (i.e.
    [Show full text]
  • Ishihara's Contributions to Constructive Analysis
    Ishihara’s Contributions to Constructive Analysis Douglas S. Bridges University of Canterbury, Christchurch, New Zealand dsb, Kanazawa meeting for Ishihara’s 60th 010318 The framework Bishop-style constructive mathematics (BISH): mathematics with intuitionistic logic and some appropriate set- or type-theoretic foundation such as — the CST of Myhill, Aczel, and Rathjen; — the Constructive Morse Set Theory of Bridges & Alps; — Martin-Löf type theory. We also accept dependent choice, If S is a subset of A A,andforeachx A there exists × 2 y A such that (x, y) S, then for each a A there exists 2 2 2 asequence(an) such that a = a and (an,an ) S n>1 1 +1 2 for each n, We also accept dependent choice, If S is a subset of A A,andforeachx A there exists × 2 y A such that (x, y) S, then for each a A there exists 2 2 2 asequence(an) such that a = a and (an,an ) S n>1 1 +1 2 for each n, and hence countable choice, If X is an inhabited set, S is a subset of N+ X,andforeach × positive integer n there exists x X such that (n, x) S, 2 2 then there is a function f : N+ X such that (n, f(n)) S ! 2 for each n N+. 2 The aim To present some of Ishihara’s fundamental contributions to Bishop-style constructive analysis, and their consequences. Part I Ishihara’s Tricks and BD-N Our first results together AlinearmappingT : X Y between normed spaces is well behaved ! if for each x X, 2 y ker T (x = y) Tx =0.
    [Show full text]