Special uniform approximations of continuous vector-valued functions. Part II: special approximations in CX(T)CY(S)

In this paper, which is a continuation of Timofte (J. Approx. Theory 119 (2002) 291–299, we give special uniform approximations of functions from C_XY(T×S) and C_∞(T×S,XY) by elements of the tensor products C_X(T)C_Y(S), respectively C₀(T,X)C₀(S,Y), for topological spaces T,S and Γ-locally convex spaces X,Y (all four being Hausdorff).     

A theorem of Riesz type with Pettis integrals in topological vector spaces

Let X be a locally convex Hausdorff space and let C₀(S,X) be the space of all continuous functions f:S→X, with compact support on the locally compact space S. In this paper we prove a Riesz representation theorem for a class of bounded operators T:C₀(S,X)→X, where the representing integrals are X-valued Pettis integrals with respect to bounded signed measures on S. Under the additional assumption that X is a locally convex space, having the convex compactness property, or either, X is a locally convex space whose dual X^′ is a barrelled space for an appropriate topology, we obtain a complete identification between all X-valued Pettis integrals on S and the bounded operators T:C₀(S,X)→X they represent. Finally we give two illustrations of the representation theorem proved, in the particular case when X is the topological dual of a locally convex space.     

An extension theorem for separable Banach spaces

We construct a totally disconnected ω^*, norming subsetF of the unit ballB ^* of an arbitrary separable Banach space,X, and an operator fromC(F) toC(B^*) that “amost” commutes with the natural embeddings ofX. This is used to give a new proof of Milutin's theorem and to prove some new results on complemented subspaces ofC[0, 1] with separable dual. In particular we show that a complemented subspace ofC(ω^ω), is either isomorphic toC(ω^ω) or toc _u.     

A Simple Proof of the Borel Extension Theorem and Weak Compactness of Operators

Let T be a locally compact Hausdorff space and let C ₀(T) be the Banach space of all complex valued continuous functions vanishing at infinity in T, provided with the supremum norm. Let X be a quasicomplete locally convex Hausdorff space. A simple proof of the theorem on regular Borel extension of X-valued -additive Baire measures on T is given, which is more natural and direct than the existing ones. Using this result the integral representation and weak compactness of a continuous linear map u: C ₀(T) X when c ₀ X are obtained. The proof of the latter result is independent of the use of powerful results such as Theorem 6 of [6] or Theorem 3 (vii) of [13].     

Multifunctions of faces for conditional expectations of selectors and Jensen's inequality

Let (T, , P) be a probability space, a P-complete sub-δ-algebra of and X a Banach space. Let multifunction t → Γ(t), t T, have a (X)-measurable graph and closed convex subsets of X for values. If x(t) ε Γ(t) P-a.e. and y(·) ε E_p x(·), then y(t) ε Γ(t) P-a.e. Conversely, x(t) ε F(Γ(t), y(t)) P-a.e., where F(Γ(t), y(t)) is the face of point y(t) in Γ(t). If X = , then the same holds true if Γ(t) is Borel and convex, only. These results imply, in particular, extensions of Jensen's inequality for conditional expectations of random convex functions and provide a complete characterization of the cases when the equality holds in the extended Jensen inequality.     

C-Cosine Functions and the Abstract Cauchy Problem, II

For a bounded linear injectionCon a Banach spaceXand a closed linear operatorA : D(A) X → Xwhich commutes withCwe prove that (1) the abstract Cauchy problem,u″(t) = Au(t),t R,u(0) = Cx,u′(0) = Cy, has a unique strong solution for everyx,y D(A) if and only if (2)A₁ = AD(A²) generates aC₁-cosine function onX₁(D(A) with the graph norm), if (and only if, in caseAhas nonempty resolvent set) (3)Agenerates aC-cosine function onX. HereC₁ = CX₁. Under the assumption thatAis densely defined andC⁻¹AC = A, statement (3) is also equivalent to each of the following statements: (4) the problemv″(t) = Av(t) + C(x + ty) + ∫^t₀ Cg(r) dr,t R,v(0) = v′(0) = 0, has a unique strong solution for everyg L¹_locandx, y X; (5) the problemw″(t) = Aw(t) + Cg(t),t R,w(0) = Cx,w′(0) = Cy, has a unique weak solution for everyg L¹_locandx, y X. Finally, as an application, it is shown that for any bounded operatorBwhich commutes withCand has range contained in the range ofC,A + Bis also a generator.     

Every T-space is equivalent to a T-space of continuous functions

A T-space U of degree k is a (k + 1)-dimensional vector space over (the real line) of real-valued functions defined on a linearly ordered set, satisfying the condition: for every nonzero u ε U, Z(u), the number of distinct zeros of u and ^-(u), the number of alternations in sign of u(t) with increasing t, each do not exceed k. It is demonstrated that given a T-space U of degree k > 0 on an arbitrary linearly ordered set T, there is a subset T′ of the real line and a nonsingular linear map L:U→ C(T′), the set of continuous functions on T′, such that the following hold: L(U) is a T-space of degree k; for u ε U, Z(u) = Z(L(u)), S^−(u) = S^−(L(u); and for some order-preserving bijection Θ:T → T′, u(t) = O if and only if L(u)(Θ(t) = 0. It is also shown that a T-space on a subset T can be extended to a T-space on the closure of T in ]inf T, sup T], provided that there are no “interval gaps” in T. Examples show that, in general, a T-space cannot be extended across an “interval gap” in its domain, and cannot be extended to both the infimum and supremum of its domain. Conditions for a T-space to be Markov, and to admit an adjoined function are derived.     

Discriminant analysis for locally stationary processes

In this paper, we discuss discriminant analysis for locally stationary processes, which constitute a class of non-stationary processes. Consider the case where a locally stationary process {X_t,T} belongs to one of two categories described by two hypotheses π₁ and π₂. Here T is the length of the observed stretch. These hypotheses specify that {X_t,T} has time-varying spectral densities f(u,λ) and g(u,λ) under π₁ and π₂, respectively. Although Gaussianity of {X_t,T} is not assumed, we use a classification criterion D( f:g), which is an approximation of the Gaussian likelihood ratio for {X_t,T} between π₁ and π₂. Then it is shown that D( f:g) is consistent, i.e., the misclassification probabilities based on D( f:g) converge to zero as T→∞. Next, in the case when g(u,λ) is contiguous to f(u,λ), we evaluate the misclassification probabilities, and discuss non-Gaussian robustness of D( f:g). Because the spectra depend on time, the features of non-Gaussian robustness are different from those for stationary processes. It is also interesting to investigate the behavior of D( f:g) with respect to infinitesimal perturbations of the spectra. Introducing an influence function of D( f:g), we illuminate its infinitesimal behavior. Some numerical studies are given.     

Continuous Approximations of Multivalued Mappings and Fixed Points

In the present paper, we prove a fixed-point theorem for completely continuous multivalued mappings defined on a bounded convex closed subset X of the Hilbert space H which satisfies the tangential condition , where T _X (x) is the cone tangent to the set X at a point x. The proof of this theorem is based on the method of single-valued approximations to multivalued mappings. In this paper, we consider a simple approach for constructing single-valued approximations to multivalued mappings. This approach allows us not only to simplify the proofs of already-known theorems, but also to obtain new statements needed to prove the main theorem in this paper.__________Translated from Matematicheskie Zametki, vol. 78, no. 2, 2005, pp. 212–222.Original Russian Text Copyright © 2005 by B. D. Gel’man.     

A simple proof of the uniqueness theorem in impedance tomography

Let·(σ(x)u)= 0 in D R³, where D is a bounded domain with a smooth boundary. Suppose that σ ≥ m> 0, σ H³(D), where H^ℓ is the Sobolev space. Let the set {u, σu_N} be given on Γ for all u H^3/2(Γ), where u_N is the normal derivative of u on Γ.     

Adjoint bi-continuous semigroups and semigroups on the space of measures

For a given bi-continuous semigroup (T(t)) _t⩾0 on a Banach space X we define its adjoint on an appropriate closed subspace X° of the norm dual X′. Under some abstract conditions this adjoint semigroup is again bi-continuous with respect to the weak topology σ(X°,X). We give the following application: For Ω a Polish space we consider operator semigroups on the space C_b(Ω) of bounded, continuous functions (endowed with the compact-open topology) and on the space M(Ω) of bounded Baire measures (endowed with the weak*-topology). We show that bi-continuous semigroups on M(Ω) are precisely those that are adjoints of bi-continuous semigroups on C_b(Ω). We also prove that the class of bi-continuous semigroups on C_b(ω) with respect to the compact-open topology coincides with the class of equicontinuous semigroups with respect to the strict topology. In general, if is not a Polish space this is not the case.     

A full-invariant theorem and some applications

Let (X,τ₁) and (Y,τ₂) be two Hausdorff locally convex spaces with continuous duals X′ and Y′, respectively, L(X,Y) be the space of all continuous linear operators from X into Y, K(X,Y) be the space of all compact operators of L(X,Y). Let WOT and UOT be the weak operator topology and uniform operator topology on K(X,Y), respectively. In this paper, we characterize a full-invariant property of K(X,Y); that is, if the sequence space λ has the signed-weak gliding hump property, then each λ-multiplier WOT-convergent series ∑_iT_i in K(X,Y) must be λ-multiplier convergent with respect to all topologies between WOT and UOT if and only if each continuous linear operator T :(X,τ₁)→(λ^β,σ(λ^β,λ)) is compact. It follows from this result that the converse of Kalton's Orlicz–Pettis theorem is also true.     

The Faber Operator and its Boundedness

Let G be a domain bounded by a Jordan curve Γ, and let A(G) be the Banach space of functions continuous on G and holomorphic in G. The Faber operator T is a linear mapping from A( ) to A(G) mapping wⁿ onto the nth Faber polynomial F_n(z) (n=0, 1, 2, …). We show that T<∞ if Γ is piecewise Dini-smooth, and give an example of a quasicircle Γ for which T=∞.     

The nonlinear version of Pazy’s local existence theorem

LetX be a real Banach space,U ⊂X a given open set,A ⊂X×X am-dissipative set andF:C(0,a;U) →L ^∞(0,a;X) a continuous mapping. Assume thatA generates a nonlinear semigroup of contractionsS(t): {ie221-2}) → {ie221-3}), strongly continuous at the origin, withS(t) compact for allt>0. Then, for eachu ₀ ∈ {ie221-4}) ∩U there existsT ∈ ]0,a] such that the following initial value problem: (du(t))/(dt) ∈Au(t) +F(u)(t),u(0)=u ₀, has at least one integral solution on [0,T]. Some extensions and applications are also included.     

Existence and asymptotic behavior of a functional differential equation in Banach space

Existence and asymptotic behavior of solutions are given for the equation u′(t) = ?A(t)u(t) + F(t,u_t) (t ? 0) and u₀ = ? ? C([?r,0]; X)  C. The space X is a Banach space; the family $\text{{A(t) ¦ 0 ? t ? T}}$ of unbounded linear operators defined on D(A) ? X → X generates a linear evolution system and F: C → X is continuous with respect to a fractional power of A(t₀) for some t₀ ? [0, T].     

On A(X) → TC(X) for some X

Let X be a connected based space and p be a two-regular prime number. If the fundamental group of X has order p, we compute the two-primary homotopy groups of the homotopy fiber of the trace map A(X) → TC(X) relating algebraic K-theory of spaces to topological cyclic homology. The proof uses a theorem of Dundas and an explicit calculation of the cyclotomic trace map K(ℤ[C_p])→ TC(ℤ[C_p]).     

A game-theoretic equivalence to the Hahn-Banach theorem

Let Γ_X() = X, A (X), υ be a cooperative von Neumann game with side payments, where X is a nonempty set of arbitrary cardinality, A(X) the Boolean ring generated from P(X) with the operations Δ and ∩ for addition and multiplication, respectively, such that S² =S for all S ε A (X), and with ;() = 0. The Shapley-Bondareva-Schmeidler Theorem, which states that a game of the form Γ_X() = X, A (X), is weak if and only if the core of Γ_X(),ζ(Γ_X()), is normal, may be regarded as the fundamental theorem for weak cooperative games with side-payments. In this paper we use an ultrapower construction on the reals, , to summarize a common mathematical theme employed in various constructions used to establish the Shapley-Bondareva-Schmeidler Theorem in the literature (Dalbaen, 1974; Kannai, 1969; Schmeidler, 1967, 1972). This common mathematical theme is that the space L, comprised of finite, real linear combinations of the collection of functions, {χ_a : a ε A (X)}, possesses a certain extension property that is intimately related to the Hahn-Banach Theorem of functional analysis. A close inspection of the extension property reveals that the Shapley-Bondareva-Schmeidler Theorem is in fact equivalent to the Hahn-Banach Theorem.     

Removable Singularities for Lu=Ψ(u) and Orlicz Capacities

Suppose L is a second order elliptic differential operator in ^d and let α>1. Baras and Pierre have proved in 1984 that Γ is removable for Lu=u^α if and only if its Bessel capacity Cap_2, α′(Γ)=0. We extend this result to a general equation Lu=Ψ(u) where Ψ(u) is an increasing convex function subject to Δ₂ and ₂ conditions. Namely, we prove that Γ is removable for Lu=Ψ(u) if and only if its Orlicz capacity is zero, that is, the integral ∫_B dx Ψ(∫_Γ |x−y|^2−d ν(dy)) is equal to 0 or ∞ for every measure ν concentrated on Γ, where B stands for any ball containing Γ.     

Wijsman and Hit-and-Miss Topologies of Quasi-Metric Spaces

The relationship between the Wijsman topology and (proximal) hit-and-miss topologies is studied in the realm of quasi-metric spaces. We establish the equivalence between these hypertopologies in terms of Urysohn families of sets. Our results generalize well-known theorems and provide easier proofs. In particular, we prove that for a quasi-pseudo-metrizable space (X,T) the Vietoris topology on the set P ₀(X) of all nonempty subsets of X is the supremum of all Wijsman topologies associated with quasi-pseudo-metrics compatible with T. We also show that for a quasi-pseudo-metric space (X,d) the Hausdorff extended quasi-pseudo-metric is compatible with the Wijsman topology on P ₀(X) if and only if d ^–1 is hereditarily precompact.     

A discrete Korovkin theorem

In this paper we give a sufficient condition for the pointwise Korovkin property on B(X), the space of bounded real valued functions on an arbitrary countable set X = {x_l,…, x_j,…}. Our theorem follows from its L_p(X, μ) analogue (and conversely); here 1 p < ∞ and μ is a positive finite measure on X such that μ({x_j}) > 0 for all j.