Tilings,packings, coverings,and the approximation of functions

A packing (resp. covering) ? of a normed space X consisting of unit balls is called completely saturated (resp. completely reduced) if no finite set of its members can be replaced by a more numerous (resp. less numerous) set of unit balls of X without losing the packing property (resp. covering property) of ?. We show that a normed space X admits completely saturated packings with disjoint closed unit balls as well as completely reduced coverings with open unit balls, provided that there exists a tiling of X with unit balls. Completely reduced coverings by open balls are of interest in the context of an approximation theory for continuous real‐valued functions that rests on so‐called controllable coverings of compact metric spaces. The close relation between controllable coverings and completely reduced coverings allows an extension of the approximation theory to non‐compact spaces. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

On best rational approximation of analytic functions

This paper contains some theorems related to the best approximation ρ_n(f;E) to a function f in the uniform metric on a compact set by rational functions of degree at most n. We obtain results characterizing the relationship between ρ_n(f;K) and ρ_n(f;E) in the case when complements of compact sets K and E are connected, K is a subset of the interior Ω of E, and f is analytic in Ω and continuous on E.     

Exact constants of approximation for differentiable periodic functions

For all odd r we construct a linear operator B_r,r(f) which maps the set of 2-periodic functionsf(t) X^(r) (X^(r)=C^(r) or L₁ ^(r)) into a set of trigonometric polynomials of order not higher than n-1 such that where X is the C or L₁ metric, E_n(f)_X and (f, )_X are the best approximation by means of trigonometric polynomials of order not higher than n-1 and the modulus of continuity of the functionf in the X metric, respectively; K_r are the known Favard constants.Translated from Matematicheskie Zametki, Vol. 14, No. 1, pp. 21–30, July, 1973.In conclusion, the author wishes to express his deep gratitude to N. P. Korneichuk under whose guidance this paper was written.     

The space of maps from a locally compact space to a Banach space

The space of continuous maps from a topological spaceX to topological spaceY is denoted byC(X,Y) with the compact-open topology. In this paper we prove thatC(X,Y) is an absolute retract ifX is a locally compact separable metric space andY a convex set in a Banach space. From the above fact we know thatC(X,Y) is homomorphic to Hilbert spacel ₂ ifX is a locally compact separable metric space andY a separable Banach space; in particular,C(R ⁿ,R^m) is homomorphic to Hilbert spacel ₂. This research is supported by the Science Foundation of Shanxi Province's Scientific Committee     

Rings of Continuous Functions on Spaces of Finite Rank and the SV Property

Let X be a compact topological space and let C(X) denote the f-ring of all continuous real-valued functions defined on X. A point x in X is said to have rank n if, in C(X), there are n minimal prime ?-ideals contained in the maximal ?-ideal M _x  = {f ? C(X):f(x) = 0}. The space X has finite rank if there is an n ? N such that every point x ? X has rank at most n. We call X an SV space (for survaluation space) if C(X)/P is a valuation domain for each minimal prime ideal P of C(X). Every compact SV space has finite rank. For a bounded continuous function h defined on a cozeroset U of X, we say there is an h-rift at the point z if h cannot be extended continuously to U ∪ {z}. We use sets of points with h-rift to investigate spaces of finite rank and SV spaces. We show that the set of points with h-rift is a subset of the set of points of rank greater than 1 and that whether or not a compact space of finite rank is SV depends on a characteristic of the closure of the set of points with h-rift for each such h. If X has finite rank and the set of points with h-rift is an F-space for each h, then X is an SV space. Moreover, if every x ? X has rank at most 2, then X is an SV space if and only if for each h, the set of points with h-rift is an F-space.     

Homotopy Properties of the Space If(X) of Idempotent Probability Measures

A subspace I_f(X) of the space of idempotent probability measures on a given compact space X is constructed. It is proved that if the initial compact space X is contractible, then I_f(X) is a contractible compact space as well. It is shown that the shapes of the compact spaces X and I_f(X) are equal. It is also proved that, given a compact space X, the compact space I_f(X) is an absolute neighborhood retract if and only if so is X.

     

A note on shadowing with chain transitivity

Let f : X → X be a continuous map of a compact metric space X. The map f induces in a natural way a map f_M on the space M(X) of probability measures on X, and a transformation f_K on the space K(X) of closed subsets of X. In this paper, we show that if (X, f) is a chain transitive system with shadowing property, then exactly one of the following two statements holds:

(a)

fⁿ and (f_K)ⁿ are syndetically sensitive for all n ? 1.

(b)

fⁿ and (f_K)ⁿ are equicontinuous for all n ? 1.

In particular, we show that for a continuous map f : X → X of a compact metric space X with infinite elements, if f is a chain transitive map with the shadowing property, then fⁿ and (f_K)ⁿ are syndetically sensitive for all n ? 1. Also, we show that if f_M (resp. f_K) is chain transitive and syndetically sensitive, and f_M (resp. f_K) has the shadowing property, then f is sensitive.In addition, we introduce the notion of ergodical sensitivity and present a sufficient condition for a chain transitive system (X, f) (resp. (M(X), f_M)) to be ergodically sensitive. As an application, we show that for a L-hyperbolic homeomorphism f of a compact metric space X, if f has the AASP, then fⁿ is syndetically sensitive and multi-sensitive for all n ? 1.     

A Subcritical Spatially Homogeneous Branching Process May Have an Equilibrium

We characterize those Banach spaces X for which K(X ⊕_p X) is an M-ideal in L(X ⊕_p X) by means of a variant of the compact metric approximation property. As a consequence we obtain that such a space X must be hereditarily l^p-rich.     

A Characterization of a Certain Class of Compact Metric Spaces

Compact metric spaces χ of such a kind, that ??_f =??(X), are characterized, ??(X) is the σ-field of BOREL sets and ??_f(X) is the field generated by all open subset of X. Our main result is Theorem 5: If χ is a compact metric space, then the following conditions are equivalent:

• 1 ??_f(X) =??(X).
• 2 card (X) ≦x₀ and there are k, m?N such that card (X^(k)) = m.
• 3 There are k, m?N such that χ is homeomorphic to ω^k · m + 1.

     

On the Uniform Approximation of a Class of Analytic Functions by Bruwier Series

For a class of analytic functions f(z) defined by Laplace–Stieltjes integrals the uniform convergence on compact subsets of the complex plane of the Bruwier series (B-series) ∑^∞_n=0 λ_n(f) , λ_n(f)=f⁽ⁿ⁾(nc)+cf⁽ⁿ⁺¹⁾(nc), generated by f(z) and the uniform approximation of the generating function f(z) by its B-series in cones |arg z|< is shown.     

The optimal form of selection principles for functions of a real variable

Let T be a nonempty set of real numbers, X a metric space with metric d and X^T the set of all functions from T into X. If fX^T and n is a positive integer, we set , where the supremum is taken over all numbers a₁,…,a_n,b₁,…,b_n from T such that a₁b₁a₂b₂a_nb_n. The sequence is called the modulus of variation of f in the sense of Chanturiya. We prove the following pointwise selection principle: If a sequence of functions is such that the closure in X of the set is compact for each tT and

(∗)

then there exists a subsequence of , which converges in X pointwise on T to a function fX^T satisfying lim_n→∞ν(n,f)/n=0. We show that condition (*) is optimal (the best possible) and that all known pointwise selection theorems follow from this result (including Helly's theorem). Also, we establish several variants of the above theorem for the almost everywhere convergence and weak pointwise convergence when X is a reflexive separable Banach space.     

Representation,interpolation, and reiteration theorems for generalized approximation spaces

We show that the representation theorem for classical approximation spaces can be generalized to spaces A(X,l ^q (ℬ))={f∈X:{E _n (f)}∈l ^q (ℬ)} in which the weighted l ^q -space l ^q (ℬ) can be (more or less) arbitrary. We use this theorem to show that generalized approximation spaces can be viewed as real interpolation spaces (defined with K-functionals or main-part K-functionals) between couples of quasi-normed spaces which satisfy certain Jackson and Bernstein-type inequalities. Especially, interpolation between an approximation space and the underlying quasi-normed space leads again to an approximation space. Together with a general reiteration theorem, which we also prove in the present paper, we obtain formulas for interpolation of two generalized approximation spaces. Received: December 6, 2001; in final form: April 2, 2002?Published online: March 14, 2003     

On almost sure convergence of amarts and martingales without the Radon-Nikodym property

It is shown here that for any Banach spaceE-valued amart (X _n) of classB, almost sure convergence off(X_n) tof(X) for eachf in a total subset ofE ^* implies scalar convergence toX.     

Recent hypertopologies and continuity of the value function and of the constrained level sets

Given a continuous function f: X→R, sufficient conditions are offered for the continuity of the value function v(A):=inf{f{x): x ε A} and of the level set multifunction Lev(A, α) := {x ε A: f(x)?α}, with respect to recently defined topologies on the closed sets of a metric space.     

Lipschitz continuity and Gateaux differentiability of the best approximation operator in vector-valued Chebyshev approximation

When G is a finite-dimensional Haar subspace of C(X,R^k), the vector-valued functions (including complex-valued functions when k is 2) from a finite set X to Euclidean k-dimensional space, it is well-known that at any function f in C(X,R^k) the best approximation operator satisfies the strong unicity condition of order 2 and a Lipschitz (Hőlder) condition of order . This note shows that in fact the best approximation operator satisfies the usual Lipschitz condition of order 1 and has a Gateaux derivative on a dense set of functions in C(X,R^k).     

Wijsman topology on function spaces

LetC(X,Y) be the space of continuous functions from a metric space (X,d) to a metric space (Y, e).C(X, Y) can be thought as subset of the hyperspaceCL(X×Y) of closed and nonempty subsets ofX×Y by identifying each element ofC(X,Y) with its graph. We considerC(X,Y) with the topology inherited from the Wijsman topology induced onCL(X×Y) by the box metric ofd ande. We study the relationships between the Wijsman topology and the compact-open topology onC(X,Y) and also conditions under which the Wijsman topology coincide with the Fell topology. Sufficient conditions under which the compactopen topology onC(X,Y) is weaker than the Wijsman topology are given (IfY is totally bounded, then for every metric spaceX the compactopen topology onC(X,Y) is weaker than the Wijsman topology and the same is true forX locally connected andY rim-totally bounded). We prove that a metric spaceX is boundedly compact iff the Wijsman topology onC(X, ℝ) is weaker than the compact-open topology. We show that ifX is a σ-compact complete metric space andY a compact metric space, then the Wijsman topology onC(X,Y) is Polish.     

A topological position of the set of continuous maps in the set of upper semicontinuous maps

Let (X, ρ) be a metric space and ↓USCC(X) and ↓CC(X) be the families of the regions below all upper semi-continuous compact-supported maps and below all continuous compact-supported maps from X to I = [0, 1], respectively. With the Hausdorff-metric, they are topological spaces. In this paper, we prove that, if X is an infinite compact metric space with a dense set of isolated points, then (↓USCC(X), ↓CC(X)) ≈ (Q, c0 ∪ (Q \ Σ)), i.e., there is a homeomorphism h :↓USCC(X) → Q such that h(↓CC(X)) = c0 ∪ (Q \ Σ...     

Low distortion euclidean embeddings of trees

We consider the problem of embedding a certain finite metric space to the Euclidean space, trying to keep the bi-Lipschitz constant as small as possible. We introduce the notationc ₂(X, d) for the least distortion with which the metric space (X, d) may be embedded in a Euclidean space. It is known that if (X, d) is a metric space withn points, thenc ₂(X, d)≤0(logn) and the bound is tight. LetT be a tree withn vertices, andd be the metric induced by it. We show thatc ₂(T, d)≤0(log logn), that is we provide an embeddingf of its vertices to the Euclidean space, such thatd(x, y)≤‖f(x)−f(y) ‖≤c log lognd(x, y) for some constantc. Supported in part by grants from the Israeli Academy of Sciences and the US-Israel Binational Science Foundation. Supported in part by NSF under grants CCR-9215293 and by DIMACS, which is supported by NSF grant STC-91-19999 and by the New Jersey Commission on Science and Technology.     

Are the degrees of best (co)convex and unconstrained polynomial approximation the same?

Let ℂ[−1,1] be the space of continuous functions on [−,1], and denote by Δ² the set of convex functions f ∈ ℂ[−,1]. Also, let E _n (f) and E _n ⁽²⁾ (f) denote the degrees of best unconstrained and convex approximation of f ∈ Δ² by algebraic polynomials of degree < n, respectively. Clearly, En (f) ≦ E _n ⁽²⁾ (f), and Lorentz and Zeller proved that the inverse inequality E _n ⁽²⁾ (f) ≦ cE _n (f) is invalid even with the constant c = c(f) which depends on the function f ∈ Δ². In this paper we prove, for every α > 0 and function f ∈ Δ², that

On von neumann's variation of the weierstrass-stone theorem

Let X be a compact HausdorfF space and let D(X) be the set of all continuous real-valued functions f defined on X and such that 0 ≤ f(x) ≤ 1, for all x ? X. The set D(X) is equipped with the uniform topology. We characterize the uniform closure of subsets A ? D(X) containing 0 and 1 and ?ψ + (1 ? ?)η, whenever they contain ?, ψ and η