Approximation of analytic by Borel sets and definable countable chain conditions

LetI be a σ-ideal on a Polish space such that each set fromI is contained in a Borel set fromI. We say thatI fails to fulfil theΣ ₁ ¹ countable chain condition if there is aΣ ₁ ¹ equivalence relation with uncountably many equivalence classes none of which is inI. Assuming definable determinacy, we show that if the family of Borel sets fromI is definable in the codes of Borel sets, then eachΣ ₁ ¹ set is equal to a Borel set modulo a set fromI iffI fulfils theΣ ₁ ¹ countable chain condition. Further we characterize the σ-idealsI generated by closed sets that satisfy the countable chain condition or, equivalently in this case, the approximation property forΣ ₁ ¹ sets mentioned above. It turns out that they are exactly of the formMGR(F)={A : ∀F ∈ F A ∩F is meager inF} for a countable family F of closed sets. In particular, we verify partially a conjecture of Kunen by showing that the σ-ideal of meager sets is the unique σ-ideal onR, or any Polish group, generated by closed sets which is invariant under translations and satisfies the countable chain condition. Research partially supported by NSF grant DMS-9317509.     

On the congruence extension property for compact semigroups

A topological semigroupS is said to have thecongruence extension property (CEP) provided that for each closed subsemigroupT ofS and each closed congruence σ onT, σ can be extended to a closed congruence onS. (That is, ∩(T xT=σ). The main result of this paper gives a characteriation of Γ-compact commutative archimedean semigroups with the congruence extension property (CEP). Consideration of this result was motivated by the problem of characterizing compact commutative semigroups with CEP as follows. It is well known that every commutative semigroup can be expressed as a semilattice of archimedean components each of which contains at most one idempotemt. The components of a compact commutative semigroup need not be compact (nor Γ-compact) as the congruence providing the decomposition is not necessarily closed. However, any component with CEP which is Γ-compact is characterized by the afore-mentioned result. Characterization of components of a compact commutative semigroup having CEP is a natural step towar characterization of the entire semigroup since CEP is a hereditary property. Other results prevented in this paper give a characterization of compact monothetic semigroups with CEP and show that Rees quotients of compact semigroups with CEP retain CEP.     

p-Helson sets, 1<p<2

Ap-Helson set is defined to be a closed subsetE of the circle groupT with the property that every continuous function onE can be extended to the full circle in such a way that this extension has its sequence of Fourier coefficients inl ^p. For 1<p<2, the union of two such sets is again ap-Helson set. It is shown that thep-Helson sets (p>1) differ from the Helson sets and also that the notion really depends on the indexp. An analogue of H. Helson’s result is given: ap-Helson set supports no nonzero measure with Fourier-Stieltjes transform inl ^q, 1/p+1/q=1.     

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.     

Representation ofL p-norms and isometric embedding inL p-spaces

For fixed 1≦p<∞ theL _p-semi-norms onR ⁿ are identified with positive linear functionals on the closed linear subspace ofC(R ⁿ ) spanned by the functions |<ξ, ·>| ^p , ξ∈R ⁿ . For every positive linear functional σ, on that space, the function Φ_σ:R ⁿ →R given by Φ_σ is anL _p-semi-norm and the mapping σ→Φ_σ is 1-1 and onto. The closed linear span of |<ξ, ·>| ^p , ξ∈R ⁿ is the space of all even continuous functions that are homogeneous of degreep, ifp is not an even integer and is the space of all homogeneous polynomials of degreep whenp is an even integer. This representation is used to prove that there is no finite list of norm inequalities that characterizes linear isometric embeddability, in anyL _p unlessp=2. Supported by the National Science Foundation MCS-79-06634 at U.C. Berkeley.     

Subsequence generators for ergodic group translations

LetT be an ergodic translation on a compact abelian group. For every infinite set of integers {n _i} and ε >0 there is a setA of measure less than ε such that {T ⁿ _iA} generates the σ-algebra of measurable sets. Research partially supported by National Science Foundation Grants MCS7703659 (first author) and MCS7606735A01 (second author).     

Asymptotic behaviour of trajectories of unipotent flows on homogeneous spaces

We show that ifG is a semisimple algebraic group defined overQ and Γ is an arithmetic lattice inG:=G _R with respect to theQ-structure, then there exists a compact subsetC ofG/Γ such that, for any unipotent one-parameter subgroup {u _t} ofG and anyg∈G, the time spent inC by the {u _t}-trajectory ofgΓ, during the time interval [0,T], is asymptotic toT, unless {g ⁻¹u_tg} is contained in aQ-parabolic subgroup ofG. Some quantitative versions of this are also proved. The results strengthen similar assertions forSL(n,Z),n≥2, proved earlier in [5] and also enable verification of a technical condition introduced in [7] for lattices inSL(3,R), which was used in our proof of Raghunathan’s conjecture for a class of unipotent flows, in [8].     

On the complemented subspaces problem

A Banach space is isomorphic to a Hilbert space provided every closed subspace is complemented. A conditionally σ-complete Banach lattice is isomorphic to anL _p -space (1≤p<∞) or toc ₀(Γ) if every closed sublattice is complemented.     

On point to point reflection of harmonic functions across real-analytic hypersurfaces in ℝ n

Let Γ be a non-singular real-analytic hypersurface in some domainU ⊂ ℝ ⁿ and let Har₀(U, Γ) denote the linear space of harmonic functions inU that vanish on Γ. We seek a condition onx ⁰,x ¹ ∈U/Γ such that the reflection law (RL)u(x ⁰)+Ku(x ¹)=0, ∀u∈Har₀(U, Γ) holds for some constantK. This is equivalent to the class Har₀ (U, Γ) not separating the pointsx ⁰,x ¹. We find that in odd-dimensional spaces (RL)never holds unless Γ is a sphere or a hyperplane, in which case there is a well known reflection generalizing the celebrated Schwarz reflection principle in two variables. In even-dimensional spaces the situation is different. We find a necessary and sufficient condition (denoted the SSR—strong Study reflection—condition), which we described both analytically and geometrically, for (RL) to hold. This extends and complements previous work by e.g. P.R. Garabedian, H. Lewy, D. Khavinson and H. S. Shapiro.     

Semisummands and semiideals in banach spaces

Let |·| be a fixed absolute norm onR ². We introduce semi-|·|-summands (resp. |·|-summands) as a natural extension of semi-L-summands (resp.L-summands). We prove that the following statements are equivalent. (i) Every semi-|·|-summand is a |·|-summand, (ii) (1, 0) is not a vertex of the closed unit ball ofR ² with the norm |·|. In particular semi-L ^p-summands areL ^p-summands whenever 1<p≦∞. The concept of semi-|·|-ideal (resp. |·|-ideal) is introduced in order to extend the one of semi-M-ideal (resp.M-ideal). The following statements are shown to be equivalent. (i) Every semi-|·|-ideal is a |·|-ideal, (ii) every |·|-ideal is a |·|-summand, (iii) (0, 1) is an extreme point of the closed unit ball ofR ² with the norm |·|. From semi-|·|-ideals we define semi-|·|-idealoids in the same way as semi-|·|-ideals arise from semi-|·|-summands. Proper semi-|·|-idealoids are those which are neither semi-|·|-summands nor semi-|·|-ideals. We prove that there is a proper semi-|·|-idealoid if and only if (1, 0) is a vertex and (0, 1) is not an extreme point of the closed unit ball ofR ² with the norm |·|. So there are no proper semi-L ^p-idealoids. The paper concludes by showing thatw*-closed semi-|·|-idealoids in a dual Banach space are semi-|·|-summands, so no new concept appears by predualization of semi-|·|-idealoids.     

On Lattice Structure of the Space of Pointwise Limits of Harmonic Functions

Let H¹(U) denote the space of all pointwise limits of bounded sequences from H(U), where H(U) consists of all continuous functions on the closure [`(U)]\overline{U} of a bounded open set U⊂ℝ^m that are harmonic on U. It is shown that the space H¹(U) is a lattice in the natural ordering if and only if the set ∂_regU of all regular points of U is an F_σ-set.     

Amalgams of free inverse semigroups

We study inverse semigroup amalgams of the formS * _U T whereS andT are free inverse semigroups andU is an arbitrary finitely generated inverse subsemigroup ofS andT. We make use of recent work of Bennett to show that the word problem is decidable for any such amalgam. This is in contrast to the general situation for semigroup amalgams, where recent work of Birget, Margolis and Meakin shows that the word problem for a semigroup amalgamS * _U T is in general undecidable, even ifS andT have decidable word problem,U is a free semigroup, and the membership problem forU inS andT is decidable. We also obtain a number of results concerning the structure of such amalgams. We obtain conditions for theD-classes of such an amalgam to be finite and we show that the amalgam is combinatorial in such a case. For example every one-relator amalgam of this type has finiteD-classes and is combinatorial. We also obtain information concerning when such an amalgam isE-unitary: for example every one relator amalgam of the formInv<A ∪B :u =v > whereA andB are disjoint andu (resp.v) is a cyclically reduced word overA ∪A ⁻¹ (resp.B ∪B ⁻¹) isE-unitary. Research of all authors supported by a grant from the Italian CNR. The first and third authors’ research was partially supported by MURST. The second author’s research was also partially supported by NSF and the Center for Communication and Information Science of the University of Nebraska at Lincoln.     

A minimax theorem for irreducible compact operators inL p-spaces

Let (X, Σ, μ) be a σ-finite measure space,T a compact irreducible (positive, linear) operator onL ^p (μ) (1≦p<+∞). It is shown that the spectral radiusr ofT is characterized by the minimax property {fx196-1} where ∑₀ denotes the ring of sets of finite measure and whereQ denotes the set of all, almost everywhere positive functions inL ^p. Moreover, ifr>0 then equality on either side is assumed ifff is the (essentially unique) positive eigenfunction ofT. Various refinements are given in terms of corresponding relations for irreducible finite rank operators approximatingT. Dedicated to H. G. Tillmann on his 60th birthday     

Some properties of unbounded operators with closed range

Let H ₁, H ₂ be Hilbert spaces and T be a closed linear operator defined on a dense subspace D(T) in H ₁ and taking values in H ₂. In this article we prove the following results:

Nonparametric analysis of doubly truncated data

One of the principal goals of the quasar investigations is to study luminosity evolution. A convenient one-parameter model for luminosity says that the expected log luminosity, T*, increases linearly as θ ₀· log(1  +  Z*), and T*(θ ₀) = T*  −  θ ₀· log(1  +  Z*) is independent of Z*, where Z* is the redshift of a quasar and θ ₀ is the true value of evolution parameter. Due to experimental constraints, the distribution of T* is doubly truncated to an interval (U*, V*) depending on Z*, i.e., a quadruple (T*, Z*, U*, V*) is observable only when U* ≤ T* ≤ V*. Under the one-parameter model, T*(θ ₀) is independent of (U*(θ ₀), V*(θ ₀)), where U*(θ ₀) = U*  −  θ ₀· log(1  +  Z*) and V*(θ ₀) = V*  −  θ ₀· log(1  +  Z*). Under this assumption, the nonparametric maximum likelihood estimate (NPMLE) of the hazard function of T*(θ ₀) (denoted by ĥ) was developed by Efron and Petrosian (J Am Stat Assoc 94:824–834, 1999). In this note, we present an alternative derivation of ĥ. Besides, the NPMLE of distribution function of T*(θ ₀), [^(F)]{\hat F} , will be derived through an inverse-probability-weighted (IPW) approach. Based on Theorem 3.1 of Van der Laan (1996), we prove the consistency and asymptotic normality of the NPMLE [^(F)]{\hat F} under certain condition. For testing the null hypothesis H_q0: T^*(q₀) = T^*-q₀·log(1 + Z^*){H_{\theta_0}: T^{\ast}(\theta_0) = T^{\ast}-\theta_0\cdot \log(1 + Z^{\ast})} is independent of Z*, (Efron and Petrosian in J Am Stat Assoc 94:824–834, 1999). proposed a truncated version of the Kendall’s tau statistic. However, when T* is exponential distributed, the testing procedure is futile. To circumvent this difficulty, a modified testing procedure is proposed. Simulations show that the proposed test works adequately for moderate sample size.     

HEREDITARY SOBRIETY AND THE CARDINALITY OF T 1 TOPOLOGIES ON COUNTABLE SETS

Abstract

A T ₀ space is called sober provided the only irreducibly closed sets are the closures of singletons; a closed set is irreducibly closed if it cannot be written as a union of two of its proper closed subsets. The relationship between hereditarily sober spaces and the lower separation axioms is examined; e.g., every hereditarily sober space satisfies axiom T _D (the derived set of every set is closed). For T ₁ spaces, hereditary sobriety is much weaker than Hausdorff, however an hereditarily sober T ₁ topology on a countably infinite set has cardinality of the continumn.     

A Note on the Linearity of Real-valued Functions with Respect to Suitable Metrics

In this paper we prove that for every real-valued Morse function φ on a smooth closed manifold ℳ and every neighborhood U of its critical points a suitable Riemannian metric μ _U exists such that φ is linear outside U     

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.