Some Krasnosel'skii numbers for finitely starlike sets in the plane

Let S be a subset of the plane. In case (int cl S) S = , then S is finitely starlike if and only if every 4 points of S see via S a common point. In case (int cl S) S has at most countably many components, each a singleton set, then S is finitely starlike if and only if every 5 points of S see via S a common point. Each of the numbers 4 and 5 is best possible. Examples show that these results fail without suitable restrictions on (int cl S) S. Moreover, a final example shows that if a general Krasnosel'skii number . exists to characterize finitely starlike sets in the plane, then > 9.     

Isometries of symmetric operator spaces associated with AFD factors of typeII and symmetric vector-valued spaces

If is a surjective isometry of the separable symmetric operator spaceE(M, ) associated with the approximately finite-dimensional semifinite factorM and if · _E(M,) is not proportional to · _{L 2}, then there exist a unitary operatorUM and a Jordan automorphismJ ofM such that(x)=UJ(x) for allxME(M, ). We characterize also surjective isometries of vector-valued symmetric spacesF((0, 1), E(M, )).Research supported by the Australian Research Council     

Exceptional sets and wavelet packets orthonormal bases

We give a partial positive answer to a problem posed by Coifman et al. in [1]. Indeed, starting from the transfer function m₀ arising from the Meyer wavelet and assuming m₀=1 only on [–/3, /3], we provide an example of pairwise disjoint dyadic intervals of the form I(n, q)=[2^qn, 2^q(n+1)), (n, q)EN×Z, which cover [0, +) except for a set A of Hausdorff dimension equal to 1/2, and such that the corresponding wavelet packets 2^q/2w_n (2^qx–k), kZ, (n, q)EN×Z form an orthonormal basis of L²(R).     

Convex independent sets and 7-holes in restricted planar point sets

For a finite setA of points in the plane, letq(A) denote the ratio of the maximum distance of any pair of points ofA to the minimum distance of any pair of points ofA. Fork>0 letc (k) denote the largest integerc such that any setA ofk points in general position in the plane, satisfying for fixed , contains at leastc convex independent points. We determine the exact asymptotic behavior ofc (k), proving that there are two positive constants=(), such thatk ^1/3c (k)k ^1/3. To establish the upper bound ofc (k) we construct a set, which also solves (affirmatively) the problem of Alonet al. [1] about the existence of a setA ofk points in general position without a 7-hole (i.e., vertices of a convex 7-gon containing no other points fromA), satisfying . The construction uses Horton sets, which generalize sets without 7-holes constructed by Horton and which have some interesting properties.     

The embedding of linearly ordered sets

It is shown that if a linearly ordered set B does not contain as subsets sets of order type and ^* then B can be embedded in 2 . We construct an example of a set satisfying the above conditions which cannot be embedded in any 2 if < . Simultaneously we show that for any ordinal, 2 ⁺¹ cannot be embedded in 2 and that there exists at least ₊₁ distinct dense order types of cardinality 2 .Translated from Matematicheskie Zametki, Vol. 11, No. 1, pp. 83–88, January, 1972.In conclusion, I wish to take the opportunity to thank Yu. L. Ershov for kindness and assistance in this work.     

О предельном распределении для сумм независимых слууайных велиуин на бикомпактных коммутативных топологиуеских группах

,      

Subgroups of the general symplectic group containing the group of diagonal matrices

There are described the subgroups of the general symplectic group =GSp(2n, R) over a commutative semilocal ring R, containing the group of symplectic diagonal matrices. For each such subgroup P there is uniquely defined a symplectic D-net a such that ()pN(), where () is the net subgroup in corresponding to (cf. RZhMat, 1977, 5A288), and N() is its normalizer. The quotient group N × ()/() is calculated. There are also considered subgroups in Sp(2n, R). Analogous results for subgroups of the general linear group were obtained earlier in RZhMat, 1978, 9A237.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 103, pp. 31–47, 1980.     

Mixed-norm estimates for a class of integral operators

(, ) — R ^m ×R ⁿ . f R ^m ×R ⁿ f_p,q, f L _p (R ^m) x y, L^q(Rⁿ). ׃ _q,r cƒ _p,r , ׃ R ^m ×R ⁿ , , , q r . , ( ¦¦) K ₀ (y); p, g r , K ₀.     

Determining starshaped sets and unions of starshaped sets by their sections

Let S be a compact set in R^d. Let p be a fixed point of S and let k be a fixed integer, 1 k <d. Then S is starshaped with p ker S if and only if for every k-dimensional flat F through p, F S is starshaped. Moreover, an analogue of this result holds for unions of starshaped sets as well.     

On the summability of Fourier series with the method of lacunary arithmetic means

. f- ,S _n (f)— . {n _k }, n _k+1/n _k >1+ck ^– ,— , 0<1/2, f ₀, .     

НАИЛУЧШЕЕ ПРИБЛИЖЕ НИЕ УГЛОМ И ПРИБЛИЖЕНИЕ УГЛОМ ИЗ СИНГУЛЯРНЫХ ИНТЕГРАЛОВ ФУНКЦИЙf∈L p (R n ),2<P<∞

. .     

Convergence of simultaneous Padé approximants to two dilogarithms

. .     

On Sets of Planes in Projective Spaces Intersecting Mutually in One Point

Let be a projective space. In this paper we consider sets of planes of such that any two planes of intersect in exactly one point. Our investigation will lead to a classification of these sets in most cases. There are the following two main results:- If is a set of planes of a projective space intersecting mutually in one point, then the set of intersection points spans a subspace of dimension 6. There are up to isomorphism only three sets where this dimension is 6. These sets are related to the Fano plane.- If is a set of planes of PG(d,q) intersecting mutually in one point, and if q3, 3(q²+q+1), then is either contained in a Klein quadric in PG(5,q), or is a dual partial spread in PG(4,q), or all elements of pass through a common point.     

Application of a computer to the proof of a conjecture of Minkowski in the geometry of numbers

A computer-assisted proof is given of Minkowski's conjecture on the critical determinant of the region x^p+y^p<1 in the cases 1.03p 1.9745, p2.40, p2.577.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 71, pp. 163–180, 1977.     

On blocking sets in affine planes

Denote by _q an affine plane of order q. In the desarguesian case _q=AG(2,q), q 5(q= p^h, p prime), we prove that the smallest cardinality of a blocking set is 2q–1. In any arbitrary affine plane _q (desarguesian or not) with q5, for any integer k with 2q–1 k(q–1)², we construct a blocking set S with ¦S¦=k. For an irreducible blocking set S of _q we determine the upper bound S [qq]+1. We prove that if _q contains a blocking set S which is irreducible with its complementary blocking set, then necessarily _q=AG(2, 4) and S is uniquely determined. Finally we introduce techniques to obtain blocking sets in AG(2, q) and in PG(2, q).Research partially supported by G.N.S.A.G.A. (CNR)     

On approximation by Riesz means concerning orthogonal series

, , . .

---

---

Dedicated to Academician S. M. Nikol'skii on his 90th birthday

---

This research was partially supported by the Hungarian National Foundation for Scientific Research under Grant # 234.     

Coarse Cohomology and lp-Cohomology

We prove that, for any exact category M, any element of K₁(M)can be described in terms of a pair of admissible monomorphisms A X, B Y and an isomorphism :A X/A Y B Y/B X.     

Exact estimates for partially monotone approximation

f(x) — , - [–1,1], (f, ) — , as— f, . . (- ) (x _i,x _{i+ 1}) (i=0, 1, ...,s–1; =–1,x _s,=1), f(x) . , n=0,1,... _n() , [– 1,1] signf(x) sign _n(x) 0, ¦f(x)– _n(x)¦ C(s) (f, 1/n+1, C(s) s. , - , « » .     

Regular homomorphisms of generalized projective planes

A generalized projective plane is an incidence structure together with a relation distant on the set of points and also on the set of lines, such that any two distant points A,B (lines a,b) have a unique common line (A,B) (common point (a,b)) and three further axioms hold. Every commutative ring with 1 supplies a model. A homomorphism of into an incidence structure is called regular if the following condition and its dual are valid: A distant B and c IA,B implies c=(A,B). We shall prove the following two theorems. Let be a generalized projective plane satisfying a richness condition called (U). Let M I m. If and are regular homomorphisms of such that X = M X = M for each point X of the line m then A = B A = B for any two points A,B. If is a projective plane over a commutative ring such that (U) holds then the surjective regular homomorphisms of are induced by the ideals of the ring; in particular, the image of under a regular homomorphism is again a projective plane over a ring, and preserves distant.     

A Niche Width Model of Optimal Specialization

Niche width theory, a part of organizational ecology, predicts whether specialist or generalist forms of organizations have higher fitness, in a continually changing environment. To this end, niche width theory uses a mathematical model borrowed from biology. In this paper, we first loosen the specialist-generalist dichotomy, so that we can predict the optimal degree of specialization. Second, we generalize the model to a larger class of environmental conditions, on the basis of the model's underlying assumptions. Third, we criticize the way the biological model is treated in sociological theory. Two of the model's dimensions seem to be confused, i.e., that of trait and environment; the predicted optimal specialization is a property of individual organizations, not of populations; and, the distinction between fine and coarse grained environments is superfluous.