Covering properties which,under weak diamond principles,constrain the extents of separable spaces

We show that separable, locally compact spaces with property (a) necessarily have countable extent — i.e., have no uncountable closed, discrete subspaces — if the effective weak diamond principle ⋄(ω,ω,<) holds. If the stronger, non-effective, diamond principle Φ(ω,ω,<) holds then separable, countably paracompact spaces also have countable extent. We also give a short proof that the latter principle implies there are no small dominating families in ^ω ₁ ω.     

Final group topologies,Kac-Moody groups and Pontryagin duality

We study final group topologies and their relations to compactness properties. In particular, we are interested in situations where a colimit or direct limit is locally compact, a k _ω-space, or locally k _ω. As a first application, we show that unitary forms of complex Kac-Moody groups can be described as the colimit of an amalgam of subgroups (in the category of Hausdorff topological groups, and the category of k _ω-groups). Our second application concerns Pontryagin duality theory for the classes of almost metrizable topological abelian groups, resp., locally k _ω topological abelian groups, which are dual to each other. In particular, we explore the relations between countable projective limits of almost metrizable abelian groups and countable direct limits of locally k _ω abelian groups.     

Estimates of the weak distance between finite-dimensional Banach spaces

We prove a variant of a theorem of N. Alon and V. D. Milman. Using it we construct for everyn-dimensional Banach spacesX andY a measure space Ω and two operator-valued functionsT: Ω→L(X, Y),S: Ω→L(Y, X) so that ∫_Ω S(ω)oT(ω)dω is the identity operator inX and ∫_Ω||S(ω)||·||T(ω)||dω=O(n ^α ) for some absolute constantα<1. We prove also that any subset of the unitn-cube which is convex, symmetric with respect to the origin and has a sufficiently large volume possesses a section of big dimension isomorphic to ak-cube. Research supported in part by a grant of the Israel Academy of Sciences.     

Extensions of the measurable choice theorem by means of forcing

Using the method of forcing of set theory, we prove the following two theorems on the existence of measurable choice functions: LetT be the closed unit interval [0,1] and letm be the usual Lebesgue measure defined on the Borel subsets ofT. Theorem1. LetS⊂T×T be a Borel set such that for alltεT,S _t ^def={x|(t,x)εS} is countable and non-empty. Then there exists a countable series of Lebesgue-measurable functionsf _n: T→T such thatS _t={f_n(t)|nεω} for alltε[0,1],W _x={y|(x,y)εW} is uncountable. Then there exists a functionh:[0,1]×[0,1]→W with the following properties: (a) for each xε[0,1], the functionh(x,·) is one-one and ontoW _x and is Borel measurable; (b) for eachy, h(·, y) is Lebesgue measurable; (c) the functionh is Lebesgue measurable.     

Spaces of compact operators and their dual spaces

Theω′-topology on the spaceL(X, Y) of bounded linear operators from the Banach spaceX into the Banach spaceY is discussed in [10]. Let ℒ^w' (X, Y) denote the space of allT∈L(X, Y) for which there exists a sequence of compact linear operators (T _n)⊂K(X, Y) such thatT=ω′−lim_nT_n and let . We show that is a Banach ideal of operators and that the continuous dual spaceK(X, Y)* is complemented in . This results in necessary and sufficient conditions forK(X, Y) to be reflexive, whereby the spacesX andY need not satisfy the approximation property. Similar results follow whenX andY are locally convex spaces. Financial support from the Potchefstroom University and Maseno University is greatly acknowledged. Financial support from the NRF and Potchefstroom University is greatly acknowledged.     

Definability of closure operations in the <Emphasis Type="Italic">h</Emphasis>-quasiorder of labeled forests

We prove that natural closure operations on quotient structures of the h-quasiorder of finite and (at most) countable k-labeled forests (k ≥ 3) are definable provided that minimal nonsmallest elements are allowed as parameters. This strengthens our previous result which holds that each element of the h-quasiorder of finite k-labeled forests is definable in the first-order language, and each element of the h-quasiorder of (at most) countable k-labeled forests is definable in the language L _ω1ω; in both cases k ≥ 3 and minimal nonsmallest elements are allowed as parameters. Similar results hold true for two other relevant structures: the h-quasiorder of finite (resp. countable) k-labeled trees and k-labeled trees with a fixed label on the root element.     

Theories of linear order

LetT be a complete theory of linear order; the language ofT may contain a finite or a countable set of unary predicates. We prove the following results. (i) The number of nonisomorphic countable models ofT is either finite or 2^ω. (ii) If the language ofT is finite then the number of nonisomorphic countable models ofT is either 1 or 2^ω. (iii) IfS ₁(T) is countable then so isS _n(T) for everyn. (iv) In caseS ₁(T) is countable we find a relation between the Cantor Bendixon rank ofS ₁(T) and the Cantor Bendixon rank ofS _n(T). (v) We define a class of modelsL, and show thatS ₁(T) is finite iff the models ofT belong toL. We conclude that ifS ₁(T) is finite thenT is finitely axiomatizable. (vi) We prove some theorems concerning the existence and the structure of saturated models. Most of the results in this paper appeared in the author’s Master of Science thesis which was prepared at the Hebrew University under the supervision of Professor H. Gaifman.     

Multipliers of weighted semigroups and associated Beurling Banach algebras

Given a weighted discrete abelian semigroup (S, ω), the semigroup M _ω (S) of ω-bounded multipliers as well as the Rees quotient M _ω (S)/S together with their respective weights [(w)\tilde]\tilde{\omega} and [(w)\tilde]_q\tilde{\omega}_q induced by ω are studied; for a large class of weights ω, the quotient l¹(M_w(S),[(w)\tilde])/l¹(S,w)\ell^1(M_{\omega}(S),\tilde{\omega})/\ell^1(S,{\omega}) is realized as a Beurling algebra on the quotient semigroup M _ω (S)/S; the Gel’fand spaces of these algebras are determined; and Banach algebra properties like semisimplicity, uniqueness of uniform norm and regularity of associated Beurling algebras on these semigroups are investigated. The involutive analogues of these are also considered. The results are exhibited in the context of several examples.     

Characterizations of finite groups by sets of orders of their elements

For a finite group G, ω(G) denotes the set of orders of its elements. If ω is a subset of the set of natural numbers, h(ω) stands for the number of pairwise nonisomorphic finite groups G for which ω(G)=ɛ. We prove that h(ω(G))=1, if G is isomorphic to S₉, S₁₁, S₁₂, S₁₃, or A₁₂, and h(ω(G))=2 if G is isomorphic to S₂(6) or to O ₈ ⁺ (2). 01 Supported by RFFR grant No. 96-01-01893. Translated fromAlgebra i Logika, Vol. 36, No. 1, pp. 37–53, January–February, 1997.     

On the transition from a Markov chain to a continuous time process

Starting from a real-valued Markov chain X₀,X₁,…,X_n with stationary transition probabilities, a random element {Y(t);t[0, 1]} of the function space D[0, 1] is constructed by letting Y(k/n)=X_k, k= 0,1,…,n, and assuming Y (t) constant in between. Sample tightness criteria for sequences {Y(t);t[0,1]};_n of such random elements in D[0, 1] are then given in terms of the one-step transition probabilities of the underlying Markov chains. Applications are made to Galton-Watson branching processes.     

Adjoints of semigroups acting on vector-valued function spaces

LetT(t) be the translation group onY=C ₀(ℝ×K)=C ₀(ℝ)⊗C(K),K compact Hausdorff, defined byT(t)f(x, y)=f(x+t, y). In this paper we give several representations of the sun-dialY ^⊙ corresponding to this group. Motivated by the solution of this problem, viz.Y ^⊙=L ¹(ℝ)⊗M(K), we develop a duality theorem for semigroups of the formT ₀(t)⊗id on tensor productsZ⊗X of Banach spaces, whereT ₀(t) is a semigroup onZ. Under appropriate compactness assumptions, depending on the kind of tensor product taken, we show that the sun-dial ofZ⊗X is given byZ ^⊙⊗X*. These results are applied to determine the sun-dials for semigroups induced on spaces of vector-valued functions, e.g.C ₀(Ω;X) andL ^p (μ;X). This paper was written during a half-year stay at the Centre for Mathematics and Computer Science CWI in Amsterdam. I am grateful to the CWI and the Dutch National Science Foundation NWO for financial support.     

Pseudodifferential Operators on Local Hardy Spaces

In this work, we study the continuity of pseudodifferential operators on local Hardy spaces h ^p (ℝ ⁿ ) and generalize the results due to Goldberg and Taylor by showing that operators with symbols in S _1,δ ⁰(ℝ ⁿ ), 0≤δ<1, and in some subclasses of S _1,1⁰(ℝ ⁿ ) are bounded on h ^p (ℝ ⁿ ) (0<p≤1). As an application, we study the local solvability of the planar vector field L=∂ _t +ib(x,t)∂ _x , b(x,t)≥0, in spaces of mixed norm involving Hardy spaces. Work supported in part by CNPq, FINEP, and FAPESP.     

Multiple points of trajectories of multiparameter fractional Brownian motion

Consider 0<α<1 and the Gaussian process Y(t) on ℝ ^N with covariance E(Y(s)Y(t))=|t|^2α+|s|^2α−|t−s|^2α, where |t| is the Euclidean norm of t. Consider independent copies X ¹,…,X ^d of Y and␣the process X(t)=(X ¹(t),…,X ^d (t)) valued in ℝ ^d . When kN≤␣(k−1)αd, we show that the trajectories of X do not have k-multiple points. If N<αd and kN>(k−1)αd, the set of k-multiple points of the trajectories X is a countable union of sets of finite Hausdorff measure associated with the function ϕ(ɛ)=ɛ ^{k N /α−( k −1) d} (loglog(1/ɛ)) ^k . If N=αd, we show that the set of k-multiple points of the trajectories of X is a countable union of sets of finite Hausdorff measure associated with the function ϕ(ɛ)=ɛ ^d (log(1/ɛ) logloglog 1/ɛ) ^k . (This includes the case k=1.) Received: 20 May 1997 / Revised version: 15 May 1998     

More on countably compact,locally countable spaces

Following [5], aT ₃ spaceX is called good (splendid) if it is countably compact, locally countable (andω-fair).G(κ) (resp.S(κ)) denotes the statement that a good (resp. splendid) spaceX with |X|=κ exists. We prove here that (i) Con(ZF)→Con(ZFC+MA+2 ^ω is big+S(κ) holds unlessω=cf(κ)<κ); (ii) a supercompact cardinal implies Con(ZFC+MA+2suω>_ω+₁+┐G(ω_ω+₁); (iii) the “Chang conjecture” (ω_ω+₁),→(ω ₁,ω) implies ┐S(κ) for allκ≧k≧ω_ω; (iv) ifP addsω ₁ dominating reals toV iteratively then, in , we haveG(λ^ω) for allλ. Research supported by Hungarian National Foundation for Scientific Research grant no. 1805.     

Weakly Singular Integral Operators in Weighted L∞–Spaces

We study integral operators on (−1, 1) with kernels k(x, t) which may have weak singularities in (x, t) with x ∈N₁, t ∈N₂, or x=t, where N₁,N₂ are sets of measure zero. It is shown that such operators map weighted L^∞–spaces into certain weighted spaces of smooth functions, where the degree of smoothness is the higher the smoother the kernel k(x, t) as a function in x is. The spaces of smooth function are generalizations of the Ditzian-Totik spaces which are defined in terms of the errors of best weighted uniform approximation by algebraic polynomials.     

Imbedding theorems of Besov spaces in Banach lattices

The paper examines imbeddings of Besov spaces B _{E, θ} ^ω in ideal spaces (Banach lattices) given that ω ∈ S_k). In particular, the symmetric hull of the space B _{E, θ} ^ω is described (E is a symmetric space), an inequality of different metrics is obtained, and imbeddings in Orlicz and Lorentz spaces and in some weighted spaces are studied. Most of the results are easily extended to the anisotropic case. Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 159, pp. 69–82, 1987.     

Asymptotic representations of solutions of nonautonomous ordinary differential equations with regularly varying nonlinearities

We obtain asymptotic representations as t ↑ ω, ω ≤ + ∞, for all possible types of P _ω(Y ₀, λ ₀)-solutions (where Y ₀ is zero or ±∞ and −∞ ≤ λ₀ ≤ +∞) of nonlinear differential equations y ⁽ⁿ⁾ = α ₀ p(t)φ(y), where α ₀ ∈ {−1, 1}, p: [a, ω[→]0,+∞[ is a continuous function, and φ is a continuous regularly varying function in a one-sided neighborhood of Y ₀.     

Well-posedness of equations with fractional derivative via the method of sum

We study the well-posedness of the equations with fractional derivative Dαu(t)=Au(t)+f(t)(0 ≤t≤2π),where A is a closed operator in a Banach space X,0α1 and Dα is the fractional derivative in the sense of Weyl.Although this problem is not always well-posed in Lp(0,2π;X) or periodic continuous function spaces Cper([0,2π];X),we show by using the method of sum that it is well-posed in some subspaces of L p(0,2π;X) or C per([0,2π];X).     

Some notes on densely continuous forms

We consider a special space of set-valued functions (multifunctions), the space of densely continuous forms D(X, Y) between Hausdorff spaces X and Y, defined in [HAMMER, S. T.—McCOY, R. A.: Spaces of densely continuous forms, Set-Valued Anal. 5 (1997), 247–266] and investigated also in [HOLá, L’.: Spaces of densely continuous forms, USCO and minimal USCO maps, Set-Valued Anal. 11 (2003), 133–151]. We show some of its properties, completing the results from the papers [HOLY, D.—VADOVIČ, P.: Densely continuous forms, pointwise topology and cardinal functions, Czechoslovak Math. J. 58(133) (2008), 79–92] and [HOLY, D.—VADOVIČ, P.: Hausdorff graph topology, proximal graph topology and the uniform topology for densely continuous forms and minimal USCO maps, Acta Math. Hungar. 116 (2007), 133–144], in particular concerning the structure of the space of real-valued locally bounded densely continuous forms D _p ^*(X) equipped with the topology of pointwise convergence in the product space of all nonempty-compact-valued multifunctions. The paper also contains a comparison of cardinal functions on D _p ^*(X) and on real-valued continuous functions C _p (X) and a generalization of a sufficient condition for the countable cellularity of D _p ^*(X). This work was supported by Science and Technology Assistance Agency under the contract No. APVT-51-006904 and by the Eco-Net (EGIDE) programme of the Laboratoire de Mathématiques de l’Université de Saint-Etienne (LaMUSE), France.     

Classification locale simultanée de deux formes symplectiques compatibles

Consider a symplectic form ω and a closed 2-form ω₁ on a real or complex manifold. Suppose that the Nijenhuis torsion of the tensor fieldJ defined by ω₁(X,Y) = ω(JX,Y) vanishes. In this paper we give the complete local classification of the couple {ω, ω₁} on a dense open set, defined by some minor conditions of regularity. Around each point of this open set we can find coordinates on wich ω is written with constant coefficients and ω₁ with affine ones. Projet de recherche DGICYT PB91-0412