A dichotomy theorem for subsets of the power set of the natural numbers

The following dichotomy is established for any pair , of hereditary families of finite subsets of : Given , an infinite subset of , there exists an infinite subset of so that either , or , where denotes the set of all finite subsets of .

     

An order characterization of commutativity for -algebras

In this paper, we investigate the problem of when a -algebra is commutative through operator-monotonic increasing functions. The principal result is that the function is operator-monotonic increasing on a -algebra if and only if is commutative. Therefore, -algebra is commutative if and only if in for all positive elements in .

     

Menger curvature and regularity of fractals

We show that if is an -regular set in for which the triple integral of the Menger curvature is finite and if , then almost all of can be covered with countably many curves. We give an example to show that this is false for .

     

Hilbert modules over a class of semicrossed products

Given the disk algebra and an automorphism , there is associated a non-self-adjoint operator algebra called the semicrossed product of with . Buske and Peters showed that there is a one-to-one correspondence between the contractive Hilbert modules over and pairs of contractions and on satisfying . In this paper, we show that the orthogonally projective and Shilov Hilbert modules over correspond to pairs of isometries on satisfying . The problem of commutant lifting for is left open, but some related results are presented.     

Holomorphic perturbation of Fourier coefficients

Let be the unit circle, let be a Banach space continuously embedded in and suppose that is a Banach -module under convolution. We show that if and is holomorphic in a neighbourhood of with and then

     

Double exponential sums over thin sets

We estimate double exponential sums of the form

where is of multiplicative order modulo the prime and and are arbitrary subsets of the residue ring modulo . In the special case , our bound is nontrivial for with any fixed 0$">, while if in addition we have it is nontrivial for .

     

Invariant projections and convolution operators

We prove the existence of invariant projections from the Banach space of -pseudomeasures onto with for closed neutral subgroup of a locally compact group . As a main application we obtain that every closed neutral subgroup is a set of -synthesis in and in fact locally -Ditkin in . We also obtain an extension theorem concerning the Fourier algebra.

     

Almost periodic hyperfunctions

We characterize the almost periodic hyperfunctions by showing that the following statements are equivalent for any bounded hyperfunction . (i) is almost periodic. (ii) for every . (iii) There are two functions and an infinite order differential operator such that (iv) The Gauss transform of is almost periodic for every 0$">. Here is the space of almost periodic continuous functions, is the Sato space of test functions for the Fourier hyperfunctions, and is the heat kernel. This generalizes the result of Schwartz on almost periodic distributions and that of Cioranescu on almost periodic (non-quasianalytic) ultradistributions to the case of hyperfunctions.

     

Compact range property and operators on -algebras

We prove that a Banach space has the compact range property (CRP) if and only if, for any given -algebra , every absolutely summing operator from into is compact. Related results for -summing operators () are also discussed as well as operators on non-commutative -spaces and -summing operators.

     

Minimal sufficiency of order statistics in convex models

Let be a convex and dominated statistical model on the measurable space , with minimal sufficient, and let . Then , the -algebra of all permutation invariant sets belonging to the -fold product -algebra , is shown to be minimal sufficient for the corresponding model for independent observations, .

The main technical tool provided and used is a functional analogue of a theorem of Grzegorek (1982) concerning generators of .

     

Vector measure Banach spaces containing a complemented copy of

Let a Banach space and a -algebra of subsets of a set . We say that a vector measure Banach space has the bounded Vitaly-Hahn-Sacks Property if it satisfies the following condition: Every vector measure , for which there exists a bounded sequence in verifying for all , must belong to . Among other results, we prove that, if is a vector measure Banach space with the bounded V-H-S Property and containing a complemented copy of , then contains a copy of .

     

Generalized frames and their redundancy

Let be a generalized frame in a separable Hilbert space indexed by a measure space , and assume its analysing operator is surjective. It is shown that is essentially discrete; that is, the corresponding index measure space can be decomposed into atoms such that is isometrically isomorphic to the weighted space of all sequences of complex numbers with , where This provides a new proof for the redundancy of the windowed Fourier transform as well as any wavelet family in .

     

Metrically generated theories

Many examples are known of natural functors describing the transition from categories of generalized metric spaces to the ``metrizable" objects in some given topological construct . If preserves initial morphisms and if is initially dense in , then we say that is -metrically generated. Our main theorem proves that is -metrically generated if and only if can be isomorphically described as a concretely coreflective subconstruct of a model category with objects sets structured by collections of generalized metrics in and natural morphisms. This theorem allows for a unifying treatment of many well-known and varied theories. Moreover, via suitable comparison functors, the various relationships between these theories are studied.

     

On the Betti numbers of sign conditions

Let be a real closed field and let and be finite subsets of such that the set has elements, the algebraic set defined by has dimension and the elements of and have degree at most . For each we denote the sum of the -th Betti numbers over the realizations of all sign conditions of on by . We prove that

This generalizes to all the higher Betti numbers the bound on . We also prove, using similar methods, that the sum of the Betti numbers of the intersection of with a closed semi-algebraic set, defined by a quantifier-free Boolean formula without negations with atoms of the form or for , is bounded by

making the bound more precise.

     

Characterization of discriminator varieties

We prove that a variety is a discriminator variety if and only if has the Fraser-Horn property and every member of is representable as a Boolean product whose factors are directly indecomposable or trivial.

     

Multiplicatively spectrum-preserving maps of function algebras

Let be a compact Hausdorff space and a function algebra. Assume that is the maximal ideal space of . Denoting by the spectrum of an , which in this case coincides with the range of , a result of Molnár is generalized by our Main Theorem: If is a surjective map with the property for every pair of functions , then there exists a homeomorphism such that

for every and every with .

     

Tensor products of -weakly closed nest algebra submodules

In this paper we prove that for any unital -weakly closed algebra which is -weakly generated by finite-rank operators in , every -weakly closed -submodule has . In the case of nest algebras, if are nests, we obtain the following -fold tensor product formula:

where each is the -weakly closed Alg -submodule determined by an order homomorphism from into itself.

     

A note on branching theorems

Let be a complex, simply connected semisimple analytic group with a closed connected reductive subgroup. Suppose is an irreducible holomorphic -module and an irreducible holomorphic -module. We prove that Hom possesses the structure of an irreducible -module whenever is . Moreover, for all and if and only if is commutative.

     

Grekos' S function has a linear growth

An exact additive asymptotic basis is a set of nonnegative integers such that there exists an integer with the property that any sufficiently large integer can be written as a sum of exactly elements of . The minimal such is the exact order of (denoted by ). Given any exact additive asymptotic basis , we define to be the subset of composed with the elements such that is still an exact additive asymptotic basis. It is known that is finite.

In this framework, a central quantity introduced by Grekos is the function defined as the following maximum (taken over all bases of exact order ):

In this paper, we introduce a new and simple method for the study of this function. We obtain a new estimate from above for which improves drastically and in any case on all previously known estimates. Our estimate, namely , cannot be too far from the truth since verifies . However, it is certainly not always optimal since . Our last result shows that is in fact a strictly increasing sequence.

     

The structure of quantum spheres

We show that the C*-algebra of a quantum sphere , 1$">, consists of continuous fields of operators in a C*-algebra , which contains the algebra of compact operators with , such that is a constant function of , where is the quotient map and is the unit circle.