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.     

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.     

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.     

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.     

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.     

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     

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.     

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.     

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).     

Jackson＇s Theorem on Bounded Symmetric Domains

Polynomial approximation is studied on bounded symmetric domain Ω in C^n for holomorphic function spaces X such as Bloch-type spaces, Bergman-type spaces, Hardy spaces, Ω algebra and Lipschitz space. We extend the classical Jackson＇s theorem to several complex variables：Eκ（f,X）≤ω（1/k,f,X）, where Eκ（f,X） is the deviation of the best approximation of f ∈X by polynomials of degree at most k with respect to the X-metric and ω（1/k,f,X） is the corresponding modulus of continuity.     

S-types of Global Towers of Spaces and Exterior Spaces

The closed model category of exterior spaces, that contains the proper category, is a useful tool for the study of non compact spaces and manifolds. The notion of exterior weak ℕ-S-equivalences is given by exterior maps which induce isomorphisms on the k-th ℕ-exterior homotopy groups for k ∈ S, where S is a set of non negative integers. The category of exterior spaces with a base ray localized by exterior weak ℕ-S-equivalences is called the category of exterior ℕ-S-types. The existence of closed model structures in the category of exterior spaces permits to establish equivalences between homotopy categories obtained by dividing by exterior homotopy relations, and categories of fractions (localized categories) given by the inversion of classes of week equivalences. The family of neighbourhoods ‘at infinity’ of an exterior space can be interpreted as a global prospace and under the condition of first countable at infinity we can consider a global tower instead of a prospace. The objective of this paper is to use localized categories to find the connection between S-types of exterior spaces and S-types of global towers of spaces. The main result of this paper establishes an equivalence between the category of S-types of rayed first countable exterior spaces and the category of S-types of global towers of pointed spaces. As a consequence of this result, categories of global towers of algebraic models localized up to weak equivalences can be used to give some algebraic models of S-types. The authors acknowledge the financial support given by the projects FOMENTA 2007/03 and MTM2007-65431.