scholarly journals Fundamental theorem of calculus under weaker forms of primitive

2018 ◽  
Vol 10 (1) ◽  
pp. 101-111
Author(s):  
Nisar A. Lone ◽  
T. A. Chishti

Abstract In this paper we will present abstract versions of fundamental theorem of calculus (FTC) in the setting of Kurzweil - Henstock integral for functions taking values in an infinite dimensional locally convex space. The result will also be dealt with weaker forms of primitives in a widespread setting of integration theories generalising Riemann integral.

1988 ◽  
Vol 103 (3) ◽  
pp. 497-502
Author(s):  
Susumu Okada ◽  
Yoshiaki Okazaki

Let X be an infinite-dimensional Banach space. It is well-known that the space of X-valued, Pettis integrable functions is not always complete with respect to the topology of convergence in mean, that is, the uniform convergence of indefinite integrals (see [14]). The Archimedes integral introduced in [9] does not suffer from this defect. For the Archimedes integral, functions to be integrated are allowed to take values in a locally convex space Y larger than the space X while X accommodates the values of indefinite integrals. Moreover, there exists a locally convex space Y, into which X is continuously embedded, such that the space ℒ(μX, Y) of Y-valued, Archimedes integrable functions is identical to the completion of the space of X valued, simple functions with repect to the toplogy of convergence in mean, for each non-negative measure μ (see [9]).


1982 ◽  
Vol 34 (2) ◽  
pp. 406-410 ◽  
Author(s):  
Waleed Deeb

Introduction. Let f be a modulus, ei = (δij) and E = {ei, i = 1, 2, …}. The L(f) spaces were created (to the best of our knowledge) by W. Ruckle in [2] in order to construct an example to answer a question of A. Wilansky. It turned out that these spaces are interesting spaces. For example lp, 0 < p ≦ 1 is an L(f) space with f(x) = xp, and every FK space contains an L(f) space [2]. A natural question is: For which f is L(f) a locally convex space? It is known that L(f) ⊆ l1, for all f modulus (see [2]), and l1 is the smallest locally convex FK space in which E is bounded (see [1]). Thus the question becomes: For which f does L(f) equal l1? In this paper we characterize such f. (An FK space need not be locally convex here.) We also characterize those f for which L(f) contains a convex ball. The final result of this paper is to show that if f satisfies f(x · y) ≦ f(x) · f(y) and L(f) ≠ l1 then L(f) contains no infinite dimensional subspace isomorphic to a Banach space.


Author(s):  
Taras Banakh ◽  
Jerzy Ka̧kol ◽  
Johannes Philipp Schürz

AbstractA locally convex space (lcs) E is said to have an $$\omega ^{\omega }$$ ω ω -base if E has a neighborhood base $$\{U_{\alpha }:\alpha \in \omega ^\omega \}$$ { U α : α ∈ ω ω } at zero such that $$U_{\beta }\subseteq U_{\alpha }$$ U β ⊆ U α for all $$\alpha \le \beta $$ α ≤ β . The class of lcs with an $$\omega ^{\omega }$$ ω ω -base is large, among others contains all (LM)-spaces (hence (LF)-spaces), strong duals of distinguished Fréchet lcs (hence spaces of distributions $$D^{\prime }(\Omega )$$ D ′ ( Ω ) ). A remarkable result of Cascales-Orihuela states that every compact set in an lcs with an $$\omega ^{\omega }$$ ω ω -base is metrizable. Our main result shows that every uncountable-dimensional lcs with an $$\omega ^{\omega }$$ ω ω -base contains an infinite-dimensional metrizable compact subset. On the other hand, the countable-dimensional vector space $$\varphi $$ φ endowed with the finest locally convex topology has an $$\omega ^\omega $$ ω ω -base but contains no infinite-dimensional compact subsets. It turns out that $$\varphi $$ φ is a unique infinite-dimensional locally convex space which is a $$k_{\mathbb {R}}$$ k R -space containing no infinite-dimensional compact subsets. Applications to spaces $$C_{p}(X)$$ C p ( X ) are provided.


Author(s):  
VLADIMIR I. BOGACHEV

Let γ be a Radon Gaussian measure on a locally convex space X with the Cameron–Martin space H, let A⊂X be a γ-measurable set, and let F: A→ E be a γ-measurable mapping with values in a separable Hilbert space E such that |F(x)-F(y)|E ≤C|x-y|H whenever x, y∈A, x-y∈H. The main result in this work gives a γ-measurable extension of F to all of X such that |F(x+h)-F(x)|E≤C|h|H for all x∈X and h∈H. Some related results are obtained.


1979 ◽  
Vol 28 (1) ◽  
pp. 23-26
Author(s):  
Kung-Fu Ng

AbstractLet K be a nonempty compact set in a Hausdorff locally convex space, and F a nonempty family of upper semicontinuous convex-like functions from K into [–∞, ∞). K is partially ordered by F in a natural manner. It is shown among other things that each isotone, upper semicontinuous and convex-like function g: K → [ – ∞, ∞) attains its K-maximum at some extreme point of K which is also a maximal element of K.Subject classification (Amer. Math. Soc. (MOS) 1970): primary 46 A 40.


1996 ◽  
Vol 19 (4) ◽  
pp. 727-732
Author(s):  
Carlos Bosch ◽  
Thomas E. Gilsdorf

A strictly barrelled diskBin a Hausdorff locally convex spaceEis a disk such that the linear span ofBwith the topology of the Minkowski functional ofBis a strictly barrelled space. Valdivia's closed graph theorems are used to show that closed strictly barrelled disk in a quasi-(LB)-space is bounded. It is shown that a locally strictly barrelled quasi-(LB)-space is locally complete. Also, we show that a regular inductive limit of quasi-(LB)-spaces is locally complete if and only if each closed bounded disk is a strictly barrelled disk in one of the constituents.


1970 ◽  
Vol 17 (2) ◽  
pp. 121-125 ◽  
Author(s):  
C. W. McArthur

It is known (13, p. 92) that each closed normal cone in a weakly sequentially complete locally convex space is regular and fully regular. Part of the main theorem of this paper shows that a certain amount of weak sequential completeness is necessary in order that each closed normal cone be regular. Specifically, it is shown that each closed normal cone in a Fréchet space is regular if and only if each closed subspace with an unconditional basis is weakly sequentially complete. If E is a strongly separable conjugate of a Banach space it is shown that each closed normal cone in E is fully regular. If E is a Banach space with an unconditional basis it is shown that each closed normal cone in E is fully regular if and only if E is the conjugate of a Banach space.


1992 ◽  
Vol 34 (2) ◽  
pp. 175-188
Author(s):  
Neill Robertson

By the term “locally convex space”, we mean a locally convex Hausdorff topological vector space (see [17]). We shall denote the algebraic dual of a locally convex space E by E*, and its topological dual by E′. It is convenient to think of the elements of E as being linear functionals on E′, so that E can be identified with a subspace of E′*. The adjoint of a continuous linear map T:E→F will be denoted by T′:F′→E′. If 〈E, F〈 is a dual pair of vector spaces, then we shall denote the corresponding weak, strong and Mackey topologies on E by α(E, F), β(E, F) and μ(E, F) respectively.


1979 ◽  
Vol 20 (2) ◽  
pp. 193-198 ◽  
Author(s):  
Ivan Singer

We prove that sup(f-h)(E) = sup(h*-f*)(E*), where f is a proper lower semi-continuous convex functional on a real locally convex space E, h: E → = [-∞, +∞] is an arbitrary-functional and, f*, h* are their convex conjugates respectively. When h = δG, the indicator of a bounded subset G of E, this yields a formula for sup f(G).


1986 ◽  
Vol 100 (1) ◽  
pp. 151-159 ◽  
Author(s):  
M. A. Sofi

For a given locally convex space, it is always of interest to find conditions for its nuclearity. Well known results of this kind – by now already familiar – involve the use of tensor products, diametral dimension, bilinear forms, generalized sequence spaces and a host of other devices for the characterization of nuclear spaces (see [9]). However, it turns out, these nuclearity criteria are amenable to a particularly simple formulation in the setting of certain sequence spaces; an elegant example is provided by the so-called Grothendieck–Pietsch (GP, for short) criterion for nuclearity of a sequence space (in its normal topology) in terms of the summability of certain numerical sequences.


Sign in / Sign up

Export Citation Format

Share Document