DOCSLIB.ORG

PHELPS' LEMMA, DANE˘S' DROP THEOREM and EKELAND's PRINCIPLE in LOCALLY CONVEX SPACES 1. Introduction the Famous 1972 Ekel

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
PHELPS' LEMMA, DANE˘S' DROP THEOREM and EKELAND's PRINCIPLE in LOCALLY CONVEX SPACES 1. Introduction the Famous 1972 Ekel PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 131, Number 10, Pages 3025{3038 S 0002-9939(03)07066-7 Article electronically published on April 30, 2003 PHELPS' LEMMA, DANES'˘ DROP THEOREM AND EKELAND'S PRINCIPLE IN LOCALLY CONVEX SPACES ANDREAS H. HAMEL (Communicated by Jonathan M. Borwein) Abstract. A generalization of Phelps' lemma to locally convex spaces is proven, applying its well-known Banach space version. We show the equiv- alence of this theorem, Ekeland's principle and Dane˘s' drop theorem in locally convex spaces to their Banach space counterparts and to a Pareto efficiency theorem due to Isac. This solves a problem, concerning the drop theorem, proposed by G. Isac in 1997. We show that a different formulation of Ekeland's principle in locally con- vex spaces, using a family of topology generating seminorms as perturbation functions rather than a single (in general discontinuous) Minkowski functional, turns out to be equivalent to the original version. 1. Introduction The famous 1972 Ekeland theorem called the \Variational Principle" is one of the most frequently applied results of nonlinear functional analysis. For example, the progress of variational calculus and optimal control over the last 25 years is unthinkable without Ekeland's principle. Around the same time, but independently of each other, a list of theorems was discovered in which all of the theorems characterize the completeness of the under- lying space and are equivalent to Ekeland's principle in metric spaces, namely the Krasnosel'skii-Zabrjeko theorem on normal solvability of operator equations [23], the Kirk-Caristi fixed point theorem [4], and the Dane˘sdroptheorem[6]. Over the last three decades, a great deal of effort has gone into looking for another equivalent formulation or generalization of Ekeland's principle; see e.g. [18], [10], [16], [17]. In this paper we continue this effort by showing that a 1974 result of Phelps (Lemma 1.2 of [20] with precursor Lemma 1 in [2], called Phelps' lemma in the following) can be generalized to sequentially closed sets of locally convex spaces, that the locally convex variant can be proven using only the corresponding Banach space version and that this procedure is applicable for proving Ekeland's principle and the drop theorem in locally convex spaces. Received by the editors May 17, 2001. 2000 Mathematics Subject Classification. Primary 49J40, 46A03. Key words and phrases. Phelps' lemma, Ekeland's variational principle, Dane˘s' drop theorem, efficiency, locally convex space. c 2003 American Mathematical Society 3025 License or copyright restrictions may apply to redistribution; see https://www.ams.org/journal-terms-of-use 3026 ANDREAS H. HAMEL Additionally we show the equivalence of these theorems with each other, sur- prisingly to their Banach space counterparts and to a second variant of Ekeland's principle due to Fang [9] specialized to locally convex spaces. Finally, solving a problem stated by G. Isac in [14], we point out the equivalence of the drop theorem in locally convex spaces to one of Isac's theorems which relates Ekeland's principle to Pareto efficiency. We close the paper with some conclusions concerning the relationships of different versions of the represented theorems. The appendix contains the Banach space versions of Phelps' lemma, Ekeland's principle and Dane˘s' drop theorem as well as a separation theorem. 2. Preparatory results Let us start with some notational arrangements. Let X be a real vector space. A functional p : X ! (−∞; +1) is called a seminorm if it satisfies (i) p (αx)=jαj p (x) for all x 2 X, α 2 (−∞; +1), (ii) p (x + y) ≤ p (x)+p (y) for all x; y 2 X. f g Following Treves [22] a pair X; pi i2I is said to be a locally convex topolog- f g ical vector space (short: locally convex space) if pi i2I is a family of seminorms satisfying (iii) i 2 I, α>0 implies the existence of j 2 I such that pj = αpi, (iv) i 2 I, q is a seminorm such that q (x) ≤ pi (x) for every x 2 X implies the existence of j 2 I such that pj = q, 2 2 f g (v) i1;i2 I implies the existence of j I such that pj =sup pi1 ;pi2 . The locally convex space X is said to be Hausdorff (or separated) if (vi) x; y 2 X and x =6 y implies the existence of j 2 I such that pj (x) =6 pj (y). f g The family pi i2I of seminorms satisfying (iii) - (v) is called the spectrum of X and is denoted by spec (X). The set spec (X) generates a topology on X such that addition and multiplication by scalars are continous operations and p 2 spec (X) f g if and only if p is uniformly continuous on X. A subfamily pλ λ2Λ of spec (X) is said to be a base of continuous seminorms if for every p 2 spec (X)onX there are α>0andpλ, λ 2 Λ, such that p (x) ≤ αpλ (x) for every x 2 X. A Hausdorff locally convex topological vector space always has a base of continuous seminorms. f g It can be constructed in the following way. Starting with spec (X)= pi i2I we define Λ = fλ ⊂ I;λ finiteg and pλ (x)=suppj (x)forx 2 X; λ 2 Λ: j2λ As usual, we define the Minkowski functional of a set A ⊂ X to be µA (x):=inffα>0: x 2 αAg : The main idea of our proofs is to reduce the situation to the Banach space case. We present some preparatory results containing the core of the method. Proposition 1. Let X be a locally convex Hausdorff space and T ⊂ X a convex balanced and bounded set. Then the Minkowski functional µT (·) defines a norm on the linear space span T . Proof. Since µT is positive homogeneous and T balanced we may conclude µT (αx) = jαj µT (x) for all α 2 R and x 2 span T . The convexity of T implies the convexity of µT . This fact, together with the positive homogeneity of µT , implies the validity License or copyright restrictions may apply to redistribution; see https://www.ams.org/journal-terms-of-use PHELPS' LEMMA AND DANES'˘ DROP THEOREM 3027 of the triangle inequality for µT . Obviously, µT (0) = 0. It remains to show that µT (x) = 0 implies x =0.SinceT is bounded in X, for every neighborhood U of 2 1 ⊂ 2 1 0 X there exists σ>0 such that σ T U.SinceµT (x)=0wehavex σ T for each σ>0, hence x 2 U for every neighborhood U of 0 2 X which implies x =0. If the assumptions of Proposition 1 are satisfied we denote the normed space k·k (span T; µT )by(XT ; T ). Proposition 2. Let X be a locally convex Hausdorff space and T ⊂ X asequentially k·k complete convex balanced and bounded subset of X.Then(XT ; T ) is a Banach space. k·k Proof. It remains to show that (XT ; T ) is complete with respect to the topology k·k induced by T . k·k f }⊂ First, we show that T is complete with respect to T .Let xn T be a k·k Cauchy sequence with respect to T . Then it is Cauchy with respect to the locally convex topology: Because of the boundedness of T for every i 2 I there exists αi > 0 such that T ⊂ αiUi where Ui := fx 2 X : pi (x) ≤ 1g and 1 − 1 − ≤ − pi (xm xn)= µUi (xm xn) µT (xm xn) : αi αi Hence there exists x 2 X such that xn ! x in X.Moreover,x 2 T since T is ! k·k sequentially closed in X.Next,weshallshowxn x with respect to T .Fix ">0. Since fxng is Cauchy in XT we have xm − xn 2 "T for all m; n sufficiently large. Letting n !1we conclude xm − x 2 "T for all m sufficiently large since T is sequentially closed in X. This implies − k − k ≤ µT (xm x)= xm x T " ! k·k for all m sufficiently large which gives xn x with respect to T . Finally, we show that an arbitrary Cauchy sequence fxn}⊂XT has a limit point 2 k·k fk k }⊂R y XT with respect to T .Notethat xn T is Cauchy since jk k −k k |≤k − k xn T xm T xn xm T ; 2 R k k ≥ nhence convergento to some α . Assuming xn T 1 for all n we claim that xn k k is Cauchy in T with respect to k·k . This follows from xn T T xn xm xn xn xn xm − = − + − kx k kx k kx k kx k kx k kx k n T m T T n T m T m T m T T 1 1 1 ≤ − kx k + kx − x k kx k kx k n T kx k n m T n T m T m T kx k ≤ − n T k − k 1 k k + xn xm T xm T 1 ≤ (kx k −kx k )+kx − x k k k m T n T n m T xm T ≤ k − k 2 xn xm T : License or copyright restrictions may apply to redistribution; see https://www.ams.org/journal-terms-of-use 3028 ANDREAS H. HAMEL xn Because T is complete we conclude that k k ! z 2 T . Moreover, we have xn T ! 2 k·k xn αz XT with respect to T because k − k ≤k −k k k k − k xn αz T (xn xn T z)+( xn T z αz) T ≤k(x −kx k z)k + k(kx k z − αz)k n n T T n T T x ≤kx k · n − z +(kx k − α) ·kzk : n T k k n T T xn T T k k ! Since xn T α, the very right-hand side of the last inequality chain tends to zero, which completes the proof of the proposition.
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]
  • 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]
  • AMATH 731: Applied Functional Analysis Lecture Notes
    AMATH 731: Applied Functional Analysis Lecture Notes Sumeet Khatri November 24, 2014 Table of Contents List of Tables ................................................... v List of Theorems ................................................ ix List of Definitions ................................................ xii Preface ....................................................... xiii 1 Review of Real Analysis .......................................... 1 1.1 Convergence and Cauchy Sequences...............................1 1.2 Convergence of Sequences and Cauchy Sequences.......................1 2 Measure Theory ............................................... 2 2.1 The Concept of Measurability...................................3 2.1.1 Simple Functions...................................... 10 2.2 Elementary Properties of Measures................................ 11 2.2.1 Arithmetic in [0, ] .................................... 12 1 2.3 Integration of Positive Functions.................................. 13 2.4 Integration of Complex Functions................................. 14 2.5 Sets of Measure Zero......................................... 14 2.6 Positive Borel Measures....................................... 14 2.6.1 Vector Spaces and Topological Preliminaries...................... 14 2.6.2 The Riesz Representation Theorem........................... 14 2.6.3 Regularity Properties of Borel Measures........................ 14 2.6.4 Lesbesgue Measure..................................... 14 2.6.5 Continuity Properties of Measurable Functions...................
    [Show full text]
  • List of Theorems from Geometry 2321, 2322
    List of Theorems from Geometry 2321, 2322 Stephanie Hyland [email protected] April 24, 2010 There’s already a list of geometry theorems out there, but the course has changed since, so here’s a new one. They’re in order of ‘appearance in my notes’, which corresponds reasonably well to chronolog- ical order. 24 onwards is Hilary term stuff. The following theorems have actually been asked (in either summer or schol papers): 5, 7, 8, 17, 18, 20, 21, 22, 26, 27, 30 a), 31 (associative only), 35, 36 a), 37, 38, 39, 43, 45, 47, 48. Definitions are also asked, which aren’t included here. 1. On a finite-dimensional real vector space, the statement ‘V is open in M’ is independent of the choice of norm on M. ′ f f i 2. Let Rn ⊃ V −→ Rm be differentiable with f = (f 1, ..., f m). Then Rn −→ Rm, and f ′ = ∂f ∂xj f 3. Let M ⊃ V −→ N,a ∈ V . Then f is differentiable at a ⇒ f is continuous at a. 4. f = (f 1, ...f n) continuous ⇔ f i continuous, and same for differentiable. 5. The chain rule for functions on finite-dimensional real vector spaces. 6. The chain rule for functions of several real variables. f 7. Let Rn ⊃ V −→ R, V open. Then f is C1 ⇔ ∂f exists and is continuous, for i =1, ..., n. ∂xi 2 2 Rn f R 2 ∂ f ∂ f 8. Let ⊃ V −→ , V open. f is C . Then ∂xi∂xj = ∂xj ∂xi 9. (φ ◦ ψ)∗ = φ∗ ◦ ψ∗, where φ, ψ are maps of manifolds, and φ∗ is the push-forward of φ.
    [Show full text]
  • Calculus I – Math
    Math 380: Low-Dimensional Topology Instructor: Aaron Heap Office: South 330C E-mail: [email protected] Web Page: http://www.geneseo.edu/math/heap Textbook: Topology Now!, by Robert Messer & Philip Straffin. Course Info: We will cover topological equivalence, deformations, knots and links, surfaces, three- dimensional manifolds, and the fundamental group. Topics are subject to change depending on the progress of the class, and various topics may be skipped due to time constraints. An accurate reading schedule will be posted on the website, and you should check it often. By the time you take this course, most of you should be fairly comfortable with mathematical proofs. Although this course only has multivariable calculus, elementary linear algebra, and mathematical proofs as prerequisites, students are strongly encouraged to take abstract algebra (Math 330) prior to this course or concurrently. It requires a certain level of mathematical sophistication. There will be a lot of new terminology you must learn, and we will be doing a significant number of proofs. Please note that we will work on developing your independent reading skills in Mathematics and your ability to learn and use definitions and theorems. I certainly won't be able to cover in class all the material you will be required to learn. As a result, you will be expected to do a lot of reading. The reading assignments will be on topics to be discussed in the following lecture to enable you to ask focused questions in the class and to better understand the material. It is imperative that you keep up with the reading assignments.
    [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]
  • Fundamental Theorems in Mathematics
    SOME FUNDAMENTAL THEOREMS IN MATHEMATICS OLIVER KNILL Abstract. An expository hitchhikers guide to some theorems in mathematics. Criteria for the current list of 243 theorems are whether the result can be formulated elegantly, whether it is beautiful or useful and whether it could serve as a guide [6] without leading to panic. The order is not a ranking but ordered along a time-line when things were writ- ten down. Since [556] stated “a mathematical theorem only becomes beautiful if presented as a crown jewel within a context" we try sometimes to give some context. Of course, any such list of theorems is a matter of personal preferences, taste and limitations. The num- ber of theorems is arbitrary, the initial obvious goal was 42 but that number got eventually surpassed as it is hard to stop, once started. As a compensation, there are 42 “tweetable" theorems with included proofs. More comments on the choice of the theorems is included in an epilogue. For literature on general mathematics, see [193, 189, 29, 235, 254, 619, 412, 138], for history [217, 625, 376, 73, 46, 208, 379, 365, 690, 113, 618, 79, 259, 341], for popular, beautiful or elegant things [12, 529, 201, 182, 17, 672, 673, 44, 204, 190, 245, 446, 616, 303, 201, 2, 127, 146, 128, 502, 261, 172]. For comprehensive overviews in large parts of math- ematics, [74, 165, 166, 51, 593] or predictions on developments [47]. For reflections about mathematics in general [145, 455, 45, 306, 439, 99, 561]. Encyclopedic source examples are [188, 705, 670, 102, 192, 152, 221, 191, 111, 635].
    [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]
  • Math 025-1,2 List of Theorems and Definitions Fall 2010
    Math 025-1,2 List of Theorems and Definitions Fall 2010 Here are the 19 theorems of Math 25: Domination Law (aka Monotonicity Law) If f and g are integrable functions on [a; b] such that R b R b f(x) ≤ g(x) for all x 2 [a; b], then a f(x) dx ≤ a g(x) dx. R b Positivity Law If f is a nonnegative, integrable function on [a; b], then a f(x) dx ≥ 0. Also, if f(x) is R b a nonnegative, continuous function on [a; b] and a f(x) dx = 0, then f(x) = 0 for all x 2 [a; b]. Max-Min Inequality If f(x) is an integrable function on [a; b], then Z b (min value of f(x) on [a; b]) · (b − a) ≤ f(x) dx ≤ (max value of f(x) on [a; b]) · (b − a): a Triangle Inequality (for Integrals) Let f :[a; b] ! R be integrable. Then Z b Z b f(x) dx ≤ jf(x)j dx: a a Mean Value Theorem for Integrals Let f : R ! R be continuous on [a; b]. Then there exists a number c 2 (a; b) such that 1 Z b f(c) = f(x) dx: b − a a Fundamental Theorem of Calculus (one part) Let f :[a; b] ! R be continuous and define F : R x [a; b] ! R by F (x) = a f(t) dt. Then F is differentiable (hence continuous) on [a; b] and F 0(x) = f(x). Fundamental Theorem of Calculus (other part) Let f :[a; b] ! R be continuous and let F be any antiderivative of f on [a; b].
    [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]