Quasicontinuous functions,minimal usco maps and topology of pointwise convergence

In [HOLá, Ľ.—HOLY, D.: Pointwise convergence of quasicontinuous mappings and Baire spaces, Rocky Mountain J. Math.] a complete answer is given, for a Baire space X, to the question of when the pointwise limit of a sequence of real-valued quasicontinuous functions defined on X is quasicontinuous. In [HOLá, Ľ.—HOLY, D.: Minimal USCO maps, densely continuous forms and upper semicontinuous functions, Rocky Mountain J. Math. 39 (2009), 545–562], a characterization of minimal USCO maps by quasicontinuous and subcontinuous selections is proved. Continuing these results, we study closed and compact subsets of the space of quasicontinuous functions and minimal USCO maps equipped with the topology of pointwise convergence. We also study conditions under which the closure of the graph of a set-valued mapping which is the pointwise limit of a net of set-valued mappings, is a minimal USCO map.     

Some topologies on the spaces of USCO maps and densely continuous forms

We study the completeness of three (metrizable) uniformities on the sets D(X, Y) and U(X, Y) of densely continuous forms and USCO maps from X to Y: the uniformity of uniform convergence on bounded sets, the Hausdorff metric uniformity and the uniformity U _B . We also prove that if X is a nondiscrete space, then the Hausdorff metric on real-valued densely continuous forms D(X, ?) (identified with their graphs) is not complete. The key to guarantee completeness of closed subsets of D(X, Y) equipped with the Hausdorff metric is dense equicontinuity introduced by Hammer and McCoy in [7].     

Densely continuous forms, pointwise topology and cardinal functions

We consider the space D(X, Y) of densely continuous forms introduced by Hammer and McCoy [5] and investigated also by Holá [6]. We show some additional properties of D(X, Y) and investigate the subspace D*(X) of locally bounded real-valued densely continuous forms equipped with the topology of pointwise convergence τ- _p . The largest part of the paper is devoted to the study of various cardinal functions for (D*(X), τ _p ), in particular: character, pseudocharacter, weight, density, cellularity, diagonal degree, π-weight, π-character, netweight etc. This work was supported by Science and Technology Assistance Agency under the contract No. APVT-51-006904. The authors would like to thank Ľubica Holá for suggestions and comments.     

On Two Questions About Topological (and Nonstandard) Extensions

We construct, under MA, a non-Hausdorff (T₁-)topological extension ^*ω of ω, such that every function from ω to ω extends uniquely to a continuous function from ^*ω to ^*ω. We also show (in ZFC) that for every nontrivial topological extension ^*X of a countable set X there exists a topology τ_f on ^*X, strictly finer than the Star topology, and such that (^*X, τ_f) is still a topological extension of X with the same function extensions ^*f. This solves two questions raised by M. Di Nasso and M. Forti.     

On Two Questions About Topological (and Nonstandard) Extensions

We construct, under MA, a non-Hausdorff (T₁-)topological extension ^*ω of ω, such that every function from ω to ω extends uniquely to a continuous function from ^*ω to ^*ω. We also show (in ZFC) that for every nontrivial topological extension ^*X of a countable set X there exists a topology τ_f on ^*X, strictly finer than the Star topology, and such that (^*X, τ_f) is still a topological extension of X with the same function extensions ^*f. This solves two questions raised by M. Di Nasso and M. Forti.     

Spaces of Densely Continuous Forms, USCO and Minimal USCO Maps

Our paper studies the topology of uniform convergence on compact sets on the space of densely continuous forms (introduced by Hammer and McCoy (1997)), usco and minimal usco maps. We generalize and complete results from Hammer and McCoy (1997) concerning the space D(X,Y) of densely continuous forms from X to Y. Let X be a Hausdorff topological space, (Y,d) be a metric space and D _k (X,Y) the topology of uniform convergence on compact sets on D(X,Y). We prove the following main results: D _k (X,Y) is metrizable iff D _k (X,Y) is first countable iff X is hemicompact. This result gives also a positive answer to question 4.1 of McCoy (1998). If moreover X is a locally compact hemicompact space and (Y,d) is a locally compact complete metric space, then D _k (X,Y) is completely metrizable, thus improving a result from McCoy (1998). We study also the question, suggested by Hammer and McCoy (1998), when two compatible metrics on Y generate the same topologies of uniform convergence on compact sets on D(X,Y). The completeness of the topology of uniform convergence on compact sets on the space of set-valued maps with closed graphs, usco and minimal usco maps is also discussed.     

On based-free actions of compact lie groups on the hilbert cube

It is proved that a based-free action α of a given compact Lie groupG on the Hilbert cubeQ is equivalent to the standard based-free action σ if and only if the orbit spaceQ ₀/α of the free partQ ₀=Q* is aQ-manifold having the proper homotopy type of the orbit spaceQ ₀/σ. The existence of an equivariant retraction (Q ₀, σ)→(Q ₀, α) is established. It is proved that for any TikhonovG-spaceX the family of all equivariant mapsX→ conG separates the points and the closed sets inX. Translated fromMatematicheskie Zametki, Vol. 65, No. 2, pp. 163–174, February, 1999.     

Hausdorff graph topology, proximal graph topology and the uniform topology for densely continuous forms and minimal USCO maps

For metric spaces (X, d _x) and (Y, d _y) we consider the Hausdorff metric topology on the set (CL(X × Y), ρ) of closed subsets of the product metrized by the product (box) metric ρ and consider the proximal topology defined on CL(X × Y). These topologies are inherited by the set G(X, Y) of closed-graph multifunctions from X to Y, if we identify each multifunction with its graph. Finally, we consider the topology of uniform convergence τ _uc on the set F(X, 2^Y) of all closed-valued multifunctions, i.e. functions from X to the set (CL(Y),) of closed subsets of Y metrized by the Hausdorff metric . We show the relationship between these topologies on the space G(X, Y) and also on the subspaces of minimal USCO maps and locally bounded densely continuous forms. This work was supported by Science and Technology Assistance Agency under the contract No. APVT-51-006904. The authors would like to thank.ubica Holá for suggestions and comments.     

On derivations of algebras with involution

Summary Let X be a complex Hilbert space, let L(X) be the algebra of all bounded linear operators on X, and let A(X) ⊂ L(X) be a standard operator algebra, which is closed under the adjoint operation. Suppose there exists a linear mapping D: A(X) → L(X) satisfying the relation D(AA*A) = D(A) A*A + AD(A*)A + AA*D(A), for all A ∈ A(X). In this case D is of the form D(A) = AB-BA, for all A∈ A(X) and some B ∈ L(X), which means that D is a derivation. We apply this result to semisimple H*-algebras.     

Stability of <Emphasis Type="Italic">C</Emphasis>-regularized Semigroups

Let T = (T(t))t≥0 be a bounded C-regularized semigroup generated by A on a Banach space X and R(C) be dense in X. We show that if there is a dense subspace Y of X such that for every x ∈ Y, σu(A, Cx), the set of all points λ ∈ iR to which (λ - A)^-1 Cx can not be extended holomorphically, is at most countable and σr(A) N iR = Ф, then T is stable. A stability result for the case of R(C) being non-dense is also given. Our results generalize the work on the stability of strongly continuous senfigroups.     

Multivalued perturbations ofm-accretive differential inclusions

Given anm-accretive operatorA in a Banach spaceX and an upper semicontinuous multivalued mapF: [0,a]×X→2 ^X , we consider the initial value problemu′∈−Au+F(t,u) on [0,a],u(0)=x ₀. We concentrate on the case when the semigroup generated by—A is only equicontinuous and obtain existence of integral solutions if, in particular,X* is uniformly convex andF satisfies β(F(t,B))≤k(t)β(B) for all boundedB⊂X wherek∈L ¹([0,a]) and β denotes the Hausdorff-measure of noncompactness. Moreover, we show that the set of all solutions is a compactR _δ-set in this situation. In general, the extra condition onX* is essential as we show by an example in whichX is not uniformly smooth and the set of all solutions is not compact, but it can be omited ifA is single-valued and continuous or—A generates aC _o-semigroup of bounded linear operators. In the simpler case when—A generates a compact semigroup, we give a short proof of existence of solutions, again ifX* is uniformly (or strictly) convex. In this situation we also provide a counter-example in ℝ⁴ in which no integral solution exists. The author gratefully acknowledges financial support by DAAD within the scope of the French-German project PROCOPE.     

Hyperfinite Dimensional Representations of Spaces and Algebras of Measures

Let X be a locally compact topological space and (X, E, X_ω) be any triple consisting of a hyperfinite set X in a sufficiently saturated nonstandard universe, a monadic equivalence relation E on X, and an E-closed galactic set X_ω ⊆ X, such that all internal subsets of X_ω are relatively compact in the induced topology and X is homeomorphic to the quotient X_ω/E. We will show that each regular complex Borel measure on X can be obtained by pushing down the Loeb measure induced by some internal function X ? ^*\Bbb CX \rightarrow {}{^{\ast}{\Bbb C}} . The construction gives rise to an isometric isomorphism of the Banach space M(X) of all regular complex Borel measures on X, normed by total variation, and the quotient M_w(X)/M₀(X){\cal M}_{\omega}(X)/{\cal M}_0(X) , for certain external subspaces M₀(X), M_w(X){\cal M}_0(X), {\cal M}_{\omega}(X) of the hyperfinite dimensional Banach space ^*\Bbb C^X{}{^{\ast}{\Bbb C}}^X , with the norm ‖f‖₁ = ∑_{x ∈ X} |f(x)|. If additionally X = G is a hyperfinite group, X_ω = G_ω is a galactic subgroup of G, E is the equivalence corresponding to a normal monadic subgroup G₀ of G_ω, and G is isomorphic to the locally compact group G_ω/G₀, then the above Banach space isomorphism preserves the convolution, as well, i.e., M(G) and M_w(G)/M₀(G){\cal M}_{\omega}(G)/{\cal M}_0(G) are isometrically isomorphic as Banach algebras.     

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.     

Weak continuity of Riemann integrable functions in Lebesgue-Bochner spaces

In general, Banach space-valued Riemann integrable functions defined on [0, 1] （equipped with the Lebesgue measure） need not be weakly continuous almost everywhere. A Banach space is said to have the weak Lebesgue property if every Riemann integrable function taking values in it is weakly continuous almost everywhere. In this paper we discuss this property for the Banach space LX^1 of all Bochner integrable functions from [0, 1] to the Banach space X. We show that LX^1 has the weak Lebesgue property whenever X has the Radon-Nikodym property and X＊ is separable. This generalizes the result by Chonghu Wang and Kang Wan [Rocky Mountain J. Math., 31（2）, 697-703 （2001）] that L^1[0, 1] has the weak Lebesgue property.     

Separation properties inX and 2 X . Upper semicontinuous and measurable multifunctions

This paper investigates relations among some separation (countable separation) properties of a topological space (X, τ _X ), corresponding properties of the hyperspace 2 ^X , endowed with the finite topology (the σ-algebra σ(ν ⁺)), and closedness (measurability) of graphs of semicontinuous (measurable) multifunctions.     

Enveloping Σ-C *-algebra of a smooth Frechet algebra crossed product by ℝ,K-theory and differential structure inC *-algebras

Given anm-tempered strongly continuous action α of ℝ by continuous^*-automorphisms of a Frechet^*-algebraA, it is shown that the enveloping ↡-C ^*-algebraE(S(ℝ, A^∞, α)) of the smooth Schwartz crossed productS(ℝ,A ^∞, α) of the Frechet algebra A^∞ of C^∞-elements ofA is isomorphic to the Σ-C ^*-crossed productC ^*(ℝ,E(A), α) of the enveloping Σ-C ^*-algebraE(A) ofA by the induced action. WhenA is a hermitianQ-algebra, one getsK-theory isomorphismRK _*(S(ℝ, A^∞, α)) =K ^*(C ^*(ℝ,E(A), α) for the representableK-theory of Frechet algebras. An application to the differential structure of aC ^*-algebra defined by densely defined differential seminorms is given.     

On the Oka principle in a Banach space,II

 Let X be one of the Banach spaces c ₀ , ℓ _p , 1≤p<∞; Ω⊂X pseudoconvex open, a holomorphic Banach vector bundle with a Banach Lie group G ^* for structure group. We show that a suitable Runge-type approximation hypothesis on X, G ^* (which we also prove for G ^* a solvable Lie group) implies the vanishing of the sheaf cohomology groups H ^q (Ω, 𝒪 ^E ), q≥1, with coefficients in the sheaf of germs of holomorphic sections of E. Further, letting 𝒪^Γ (𝒞^Γ) be the sheaf of germs of holomorphic (continuous) sections of a Banach Lie group bundle Γ→Ω with Banach Lie groups G, G ^* for fiber group and structure group, we show that a suitable Runge-type approximation hypothesis on X, G, G ^* (which we prove again for G, G ^* solvable Lie groups) implies the injectivity (and for X=ℓ₁ also the surjectivity) of the Grauert–Oka map H ¹ (Ω, 𝒪^Γ)→H ¹ (Ω, 𝒞^Γ) of multiplicative cohomology sets. Received: 1 March 2002 / Published online: 28 March 2003 Mathematics Subject Classification (2000): 32L20, 32L05, 46G20 RID="*" ID="*" Kedves Laci Móhan kisfiamnak. RID="*" ID="*" To my dear little Son     

SOME LIMIT PROPERTIES OF LOCAL TIME FOR RANDOM WALK

Let X,X1,X2 be i. i. d. random variables with EX^2＋δ〈∞ （for some δ〉0）. Consider a one dimensional random walk S={Sn}n≥0, starting from S0 =0. Let ζ＊ （n）=supx∈zζ（x,n）,ζ（x,n） =#{0≤k≤n：[Sk]=x}. A strong approximation of ζ（n） by the local time for Wiener process is presented and the limsup type and liminf-type laws of iterated logarithm of the maximum local time ζ＊（n） are obtained. Furthermore,the precise asymptoties in the law of iterated logarithm of ζ＊（n） is proved.     

Purely imaginary eigenvalues of operator semigroups

For aC ₀-contraction semigroup (S(t)) _t≥0 of bounded linear operators on a complex Banach spaceX, J. A. Goldstein and B. Nagy [6] have shown that, givenx∈X, S(t)x=e ^iλt x, t≥0, for some λ∈ℝ, provided lim _t→∞ |<S(t)x,x ^* >|=|<x,x ^* >| for allx ^*∈X^*. We present (a) an extension to the case of nonlinear nonexpansive mapsS(t), t≥0, and (b) various generalizations in the linear context.     

The List-Chromatic Number of Infinite Graphs Defined on Euclidean Spaces

If D is a countable set of positive reals, 2≤n<ω, let X _n (D) be the graph with the points of R ⁿ as vertices where two vertices are joined iff their distance is in D. We determine the list-chromatic number of X _n (D) as much as possible.