When a Compact (Countably Compact) set is Closed

We give necessary and sufficient conditions for a compact (countably compact) set to be closed in S ₂ (Fréchet, S ₂) and in normal (Fréchet, normal) spaces. Sufficient conditions are obtained for (i) the closedness of arbitrary (countable) union of closed sets and (ii) the equality of the union of the closures and the closure of the union of arbitrary (countable) families of sets, in such spaces. Countable compactness of the closure of a countably compact set in Fréchet, S ₂-spaces, and related results are also obtained.     

Reflexive operators with domain in Köthe spaces

It is proved that if a K?the space λ₁(A) is distinguished and E is an arbitrary Fréchet space then every reflexive map T: λ₁(A)→E (i.e., T maps bounded sets into relatively weakly compact ones) factorizes through a reflexive Fréchet space. An analogous result is proved for Montel maps (i.e., which map bounded sets into relatively compact ones). The result is a consequence of the fact proved also in this paper that, for a distinguished λ₁(A) space, the spaces of reflexive maps R(λ₁(A), C(K)) and of Montel maps M(λ₁(A), C(K)) are the Mackey completions of the spaces of weakly compact and compact maps, respectively. Consequences for spaces of vector-valued (weakly) continuous functions are also obtained. Received: 24 November 1997 / Revised version: 14 May 1998     

A quantitative version of Krein’s theorems for Fréchet spaces

For a Banach space E and its bidual space E ^′′, the following function ${k(H) : = {\rm sup}_{y\in\overline{H}^{\sigma(E^{\prime \prime},E^{\prime})}} {\rm inf}_{x\in E} \|y - x\|}$ defined on bounded subsets H of E measures how far H is from being σ(E, E′)-relatively compact in E. This concept, introduced independently by Granero [10] and Cascales et al. [7], has been used to study a quantitative version of Krein’s theorem for Banach spaces E and spaces C _p (K) over compact K. In the present paper, a quantitative version of Krein’s theorem on convex envelopes coH of weakly compact sets H is proved for Fréchet spaces, i.e. metrizable and complete locally convex spaces. For a Fréchet space E the above function k(H) reads as follows ${k(H) := {\rm sup}\{d(h, E) : h \in \overline{H}^{\sigma(E^{\prime \prime},E^{\prime})}\},}$ where d(h, E) is the natural distance of h to E in the bidual E ^′′. The main result of the paper is the following theorem: For a bounded set H in a Fréchet space E, the following inequality holds ${k(coH) < (2^{n+1} - 2) k(H) + \frac{1}{2^{n}}}$ for all ${n \in \mathbb{N}}$ . Consequently this yields also the following formula ${k(coH) \leq \sqrt{k(H)}(3 - 2\sqrt{k(H)})}$ . Hence coH is weakly relatively compact provided H is weakly relatively compact in E. This extends a quantitative version of Krein’s theorem for Banach spaces (obtained by Fabian, Hajek, Montesinos, Zizler, Cascales, Marciszewski, and Raja) to the class of Fréchet space. We also define and discuss two other measures of weak non-compactness lk(H) and k′(H) for a Fréchet space and provide two quantitative versions of Krein’s theorem for both functions.     

Fixed point sets for abstract volterra operators on fréchet spaces

In this present article the topological of the solution ser for abstract Volterra equations is studied both in Banach spaces and in Fréchet spaces. It is shown that the solution set for certain nonlinear abstract Volterra equations in the Fréchet spaces C[0,∞) and L^p _loc[0,∞) (l≤p≤∞) are R_δ sets. Applications of the main results to nonlinear classical integral equations are given     

An Inverse Function Theorem for Fréchet Spaces Satisfying a Smoothing Property and (DN)

Classical inverse function theorems of Nash-Moser type are proved for Fréchet spaces that admit smoothing operators as introduced by Nash. In this note an inverse function theorem is proved for Fréchet spaces which only have to satisfy the condition (DN) of Vogt and the smoothing property (S_Ω)_t; for instance, any Fréchet-Hilbert space which is an (Ω)-space in standard form has property (S_Ω)_t. The main result of this paper generalizes a theorem of Lojasiewicz and Zehnder. It can be applied to the space C^∞(K) if the compact K ? ?^N is the closure of its interior and subanalytic; different from classical results the boundary of K may have singularities like cusps. The growth assumptions on the mappings are formulated in terms of the weighted multiseminorms [ ]m,k introduced in this paper; nonlinear smooth partial differential operators on C^∞(K) and their derivatives satisfy these formal assumptions.     

Sard’s theorem for mappings between Fréchet manifolds

We prove an infinite-dimensional version of Sard’s theorem for Fréchet manifolds. Let M (respectively, N) be a bounded Fréchet manifold with compatible metric d _M (respectively, d _N ) modeled on Fréchet spaces E (respectively, F) with standard metrics. Let f : M → N be an MC ^k -Lipschitz–Fredholm map with k > max{Ind f, 0}: Then the set of regular values of f is residual in N.     

On the Injective Tensor Product of Distinguished Frechet Spaces

An example of two distinguished Fréchet spaces E, F is given (even more, E is quasinormable and F is normable) such that their completed injective tensor product E?F is not distinguished. On the other hand, it is proved that for arbitrary reflexive Fréchet space E and arbitrary compact set K the space of E - valued continuous functions C(K, E) is distinguished and its strong dual is naturally isomorphic to ? where L¹(μ) = C(K)¹.     

Compact and Weakly Compact Homomorphisms on Fréchet Algebras of Holomorphic Functions

We study homomorphisms between Fréchet algebras of holomorphic functions of bounded type. In this setting we prove that any pointwise bounded homomorphism into the space of entire functions of bounded type is rank one. We characterize up to the approximation property of the underlying Banach space, the weakly compact composition operators on H_b(V), V absolutely convex open set.     

Modified construction of nuclear Fréchet spaces without basis

Recently, B. Mitiagin and N. Zobin constructed an example of nuclear Fréchet space without basis. The essential modification of their constructions gives the following results. There exists such a nuclear Fréchet space X that for any nuclear Fréchet space Y the space X × Y has no basis (Sections 1 and 2). This fact has a lot of corollaries (Sect. 3); e.g., the space X × C^∞(R¹) having the maximal diametral dimension among nuclear Fréchet spaces nevertheless has no basis. One can also construct (Sect. 4) a nuclear Fréchet space $\text{X}\text{?}$ without strongly finite-dimensional decomposition (see Definition 0.1). In Section 5 some comments and open questions are given.     

A generalization of a theorem of A. Grothendieck

In this article we characterize the quasi‐barrelledness of the projective tensor product of a coechelon space of type one k ¹(A) with a Fréchet space, including homological conditions as exactness properties of the corresponding tensor product functor k ¹(A) ·: ? → ??, acting from the category of Fréchet spaces to the category of linear spaces, resp. the vanishing of its first right derivative Tor¹_π (k ¹(A),.). This generalizes and extends a classical theorem of A. Grothendieck ([13, Chap. II, §4, No. 3, Theorem 15]). Further we present an analogous theorem for complete coechelon spaces of type zero and the injective tensor product and results concerning the stronger property of barrelledness. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Expansions of k-spaces

Simple expansions and expansions by point finite and locally finite collections are studied for particular classes of k-spaces. All such expansions of Fréchet spaces are shown to be Fréchet, and sufficient conditions for the preservation of property P ? {k¹, sequential, k} under simple and locally finite expansions are established.     

Streaming Algorithms for Line Simplification

We study the following variant of the well-known line-simplification problem: we are getting a (possibly infinite) sequence of points p ₀,p ₁,p ₂,… in the plane defining a polygonal path, and as we receive the points, we wish to maintain a simplification of the path seen so far. We study this problem in a streaming setting, where we only have a limited amount of storage, so that we cannot store all the points. We analyze the competitive ratio of our algorithms, allowing resource augmentation: we let our algorithm maintain a simplification with 2k (internal) points and compare the error of our simplification to the error of the optimal simplification with k points. We obtain the algorithms with O(1) competitive ratio for three cases: convex paths, where the error is measured using the Hausdorff distance (or Fréchet distance), xy-monotone paths, where the error is measured using the Hausdorff distance (or Fréchet distance), and general paths, where the error is measured using the Fréchet distance. In the first case the algorithm needs O(k) additional storage, and in the latter two cases the algorithm needs O(k ²) additional storage.     

Continuous Linear Extension of Ultradifferentiable Functions of Beurling Type

For a weight function ω and a closed set A ? ?^N let ?_(ω)(A) denote the space of all ω-Whitney jets of Beurling type on A. It is shown that for each closed set A ? ?^N there exists an ω-extension operator EA: ?_(ω)(A) → ?_(ω)(?^N) if and only if ω is a (DN)-function (see MEISE and TAYLOR [18], 3.3). Moreover for a fixed compact set K ? ?^N there exists an ω-extension operator E_K: ?_(ω)(K) → ?_(ω)(?^N) if and only if the Fréchet space ?_(ω)(K) satisfies the property (DN) (see Vogt [29], 1.1.).     

A note on closed images of locally compact metric spaces

Summary A decomposition theorem about closed images of locally compact metric spaces is discussed. It is shown that a space is a closed image of a locally compact metric space if and only if it is a regular Fréchet space with a point-countable k-network, and each of its closed first-countable subset is locally compact.     

Smooth functions onC(K)

We show that every Fréchet differentiable real function onC(K), K scattered with locally uniformly continuous derivative has locally compact derivative. Using this and similar results, we investigate the existence ofC ²-Fréchet smooth surjections between various Banach spaces.     

Best approximation properties in spaces of measurable functions

We research proximinality of μ‐sequentially compact sets and μ‐compact sets in measurable function spaces. Next we show a correspondence between the Kadec–Klee property for convergence in measure and μ‐compactness of the sets in Banach function spaces. Also the property S is investigated in Fréchet spaces and employed to provide the Kadec–Klee property for local convergence in measure. We discuss complete criteria for continuity of metric projection in Fréchet spaces with respect to the Hausdorff distance. Finally, we present the necessary and sufficient condition for continuous metric selection onto a one‐dimensional subspace in sequence Lorentz spaces .     

A counterexample for a problem of Arhangel'skii concerning the product of Fréchet spaces

Using the continuum hypothesis, we give a counterexample for the following problem posed by Arhangel'skii: if X × Y is Fréchet for each countably compact regular Fréchet space Y, then is X an 〈α₃〉-space?     

Duality and Reflexivity of Spaces of Approximable Polynomials on Locally Convex Spaces

 We develop a duality theory for spaces of approximable n-homogeneous polynomials on locally convex spaces, generalising results previously obtained for Banach spaces. For E a Fréchet space with its dual having the approximation property and with E′ _b locally Asplund we show that the space of n-homogeneous polynomials on (E′ _b )′ _b is the inductive dual of the space of boundedly weakly continuous n-homogeneous polynomials on E. We show that when E is a reflexive Fréchet space, the space of n-homogeneous polynomials on E is reflexive if and only if every n-homogeneous polynomial on E is boundedly weakly continuous.     

Duality and Reflexivity of Spaces of Approximable Polynomials on Locally Convex Spaces

 We develop a duality theory for spaces of approximable n-homogeneous polynomials on locally convex spaces, generalising results previously obtained for Banach spaces. For E a Fréchet space with its dual having the approximation property and with E′ _b locally Asplund we show that the space of n-homogeneous polynomials on (E′ _b )′ _b is the inductive dual of the space of boundedly weakly continuous n-homogeneous polynomials on E. We show that when E is a reflexive Fréchet space, the space of n-homogeneous polynomials on E is reflexive if and only if every n-homogeneous polynomial on E is boundedly weakly continuous. (Received 24 March 1999; in final form 14 February 2000)     

A Banach-Dieudonné theorem for germs of holomorphic functions

Let $\text{H}$(U) denote the space of all holomorphic functions on an open subset U of a complex Fréchet space E. Let $\text{H}$(K) denote the space of all holomorphic germs on a compact subset K of E. It is shown that $\text{H}$(K), with a natural topology, is the inductive limit of a suitable sequence of compact subsets, within the category of all topological spaces. As an application of this result it is shown that the compact-ported topology introduced by Nachbin coincides with the compact-open topology on $\text{H}$(U) whenever U is a balanced open subset of a Fréchet-Schwartz space. This last result improves earlier results of P. Boland and S. Dineen [Bull. Soc. Math. France106 (1978), 311–336], R. Meise [Proc. Roy. Irish Acad. Sect. A81 (1981), 217–223], and others.