Looking for Difference Sets in Groups with Dihedral Images

We prove four theorems about groups with a dihedral (or cyclic) image containing a difference set. For the first two, suppose G, a group of order 2p with p an odd prime, contains a nontrivial (v, k, ) difference set D with order n = k – prime to p and self-conjugate modulo p. If G has an image of order p, then 0 2a + 2 for a unique choice of = ±1, and for a = (k – )/2p. If G has an image of order 2p, then and ( – 1)/( – 1). There are further constraints on n, a and . We give examples in which these theorems imply no difference set can exist in a group of a specified order, including filling in some entries in Smith's extension to nonabelian groups of Lander's tables. A similar theorem covers the case when p|n. Finally, we show that if G contains a nontrivial (v, k, ) difference set D and has a dihedral image D _2m with either (n, m) = 1 or m = p ^t for p an odd prime dividing n, then one of the C ₂ intersection numbers of D is divisible by m. Again, this gives some non-existence results.     

Borel stay-in-a-set games

Consider an n-person stochastic game with Borel state space S, compact metric action sets A ₁,A ₂,,A _n , and law of motion q such that the integral under q of every bounded Borel measurable function depends measurably on the initial state x and continuously on the actions (a ₁,a ₂,,a _n ) of the players. If the payoff to each player i is 1 or 0 according to whether or not the stochastic process of states stays forever in a given Borel set G _i , then there is an -equilibrium for every >0. AMS (1991) subject classification: 60G40, 91A60, 60E15, 46A55.     

Strictly singular non-compact operators on hereditarily indecomposable Banach spaces

An example is given of a strictly singular non-compact operator on a Hereditarily Indecomposable, reflexive, asymptotic Banach space. The construction of this operator relies on the existence of transfinite -spreading models in the dual of the space.

     

-Sidon sets

The aim of this paper is to prove that for every , every -Rider set is a -Sidon set for all {\frac p{2-p}}\cdot$"> This gives some positive answers for the union problem of -Sidon sets. We also obtain some results on the behavior of the Fourier coefficient of a measure with spectrum in a -Rider set.

     

Unified Treatment of Algebraic and Geometric Difference by a New Difference Scheme and its Continuity Properties

We introduce a new operation for the difference of two sets A and C of R ⁿ depending on a parameter . This new operation may yield as special cases the classical difference and the Minkowski difference, if the sets A and C are closed, convex sets, if int(C) is nonempty, and if A or C bounded. Continuity properties with respect to both the operands and the parameter of this operation are studied. Lipschitz properties of the Minkowski difference between two sets of a normed vector space are proved in the bounded case as well as in the unbounded case without condition on the dimension of the space.     

A remark on intersection of convex sets

Let X be a real Banach space. Let be a family of closed, convex subsets of X. We show that either the intersection ?_γ∈Γ(G_γ)^? of the ?-neighborhood of the sets G_γ is bounded for each ?>0, or it is unbounded for each ?>0. From this we derive a fixed point theorem for suitable maps that move some points along a bounded direction in Hilbert spaces.     

On non-measurability of in its second dual

We show that with the weak topology is not an intersection of Borel sets in its Cech-Stone extension (and hence in any compactification). Assuming (CH), this implies that has no continuous injection onto a Borel set in a compact space, or onto a Lindelöf space. Under (CH), this answers a question of Arhangel'ski.

     

Universally meager sets

We study category counterparts of the notion of a universal measure zero set of reals.

We say that a set is universally meager if every Borel isomorphic image of is meager in . We give various equivalent definitions emphasizing analogies with the universally null sets of reals.

In particular, two problems emerging from an earlier work of Grzegorek are solved.

     

Porous sets that are Haar null, and nowhere approximately differentiable functions

We define a new notion of ``HP-small' set which implies that is both -porous and Haar null in the sense of Christensen. We show that the set of all continuous functions on which have finite unilateral approximate derivative at a point is HP-small, as well as its projections onto hyperplanes. As a corollary, the same is true for the set of all Besicovitch functions. Also, the set of continuous functions on which are Hölder at a point is HP-small.

     

Differences of Convex Compact Sets in the Space of Directed Sets. Part I: The Space of Directed Sets

A normed and partially ordered vector space of so-called directed sets is constructed, in which the convex cone of all nonempty convex compact sets in R ⁿ is embedded by a positively linear, order preserving and isometric embedding (with respect to a new metric stronger than the Hausdorff metric and equivalent to the Demyanov one). This space is a Banach and a Riesz space for all dimensions and a Banach lattice for n=1. The directed sets in R ⁿ are parametrized by normal directions and defined recursively with respect to the dimension n by the help of a support function and directed supporting faces of lower dimension prescribing the boundary. The operations (addition, subtraction, scalar multiplication) are defined by acting separately on the support function and recursively on the directed supporting faces. Generalized intervals introduced by Kaucher form the basis of this recursive approach. Visualizations of directed sets will be presented in the second part of the paper.