A Function with Locally Uncountable Rotation Set

The rotation set, , of a Lebesgue measurable real valued function on the circle is the set of R for which converges as n for almost every x. Z. L. Buczolich has constructed a non-integrable function whose rotation set contains at least countably many irrational rotations. In this paper we construct a function whose rotation set has uncountable intersection with each non-empty open subset of R.     

A criterion for a process to be prime

A criterion for a measure preserving transformation to be prime is given. The criterion allows the transformation to have uncountable centralizer.Research supported by NSF-MCS-80-26540.     

On recurrence

Summary LetT be a non-singular ergodic automorphism of a Lebesgue space (X,L,) and letf: X be a measurable function. We define the notion of recurrence of such a functionf and introduce the recurrence setR(f)={:f– is recurrent}. If , then R()={0}, but in general recurrence sets can be very complicated. We prove various conditions for a number to lie in R(f) and, more generally, forR(f) to be non-empty. The results in this paper have applications to the theory of random walks with stationary increments.     

Fourier series of additive vector measures and their term-by-term differentiation

On a measurable space (T, , ) we choose an additive measure: Z (Z is a Banach space) with the following property: for alle , we have ; this measure defines an indefinite integral over the measure onL ² (T, ,). We prove that if { _n (t)} _n ^=1/ is an orthonormal basis inL ² and _n (e)=e _n (t) d, then any additive measure: Z whose Radon-Nikodým derivatived/d belongs toL ² is uniquely expandable in a series(e)= _n ^=1/ _n n(e) that converges to(e) uniformly with respect toe can be differentiated term-by-term, and satisfies _n ^=1/ _n ^/2 <. In the caseL ²[0,2],Z=, the Fourier series of a 2-periodic absolutely continuous functionF(t) such thatF'(t) L ²[0, 2] is superuniformly convergent toF(t).Translated fromMatematicheskie Zametki, Vol. 64, No. 2, pp. 180–184, August, 1998.     

A conditional dilatation equation

Summary The following theorem holds true. Theorem. Let X be a normed real vector space of dimension 3 and let k > 0 be a fixed real number. Suppose that f: X X and g: X × X are functions satisfying x – y = k f(x) – f(y) = g(x, y)(x – y) for all x, y X. Then there exist elements and t X such that f(x) = x + t for all x X and such that g(x, y) = for all x, y X with x – y = k.     

Inequalities for Green Functions in a Dini-Jordan Domain in R2

We establish inequalities for Green functions of Dini-smooth Jordan domains in R².We give a version of the 3G theorem for these domains. With the help of these results, we prove comparison theorems between the Green kernel of and the Green kernel of – where is a nonnegative Radon measure.     

Messbare Mengen von Massen und Inhalten

Let X be a completely regular space. The customary -field is the coarsest -field on the space of Bairemeasures on X which makes (A) measurable for any Baire set A. We compare the customary -field with the Baire and Borel -field induced by the weak* topology which lies on the dual space C(X). In (2.3) it is shown that the customary -field is just the Baire -field. In part 3 necessary and sufficient conditions are given under which the set of -smooth measures is measurable with respect to the Borel -field which lies on the positive cone of the space of finitely additive, regular measures C(X). Finally, a decomposition theorem for generalized kernels is proved. The -smooth part of a generalized kernel is a kernel again if certain conditions are fulfilled.     

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.     

Two characterization theorems for integral operators

Let (X,) be a separable -finite measure space. A bounded operator A on L²(X) is called an integral operator if it is induced by an equation: Af(x) = k(x,y)f(y)d(y), where k is a measurable function on X × X such that |k(x,y)f(y)|d(y) < a.e. for every f in L²(X).In this paper, some results on Carleman operators, due to von Neumann, Tarjonski and Weidmann, are extended to the case of the general integral operator.     

Zeros of the densities of infinitely divisible measures on R n

Let be an infinitely divisible probability measure onR ⁿ without Gaussian component and let be its Lévy measure. Suppose that is absolutely continuous with respect to the Lebesgue measure . We investigate the structure of the set ⁿ of admissible translates of . This yields a unified presentation of previously known results. We also show that if(S)>0 then is equivalent to , under the assumption that supp =R ⁿ , whereS is the closure of the semigroup generated by the support of .The research of this author is supported by KBN Grant.The research of this author is supported by AFSOR Grant No. 90-0168, and the University of Tennessee Science Alliance, a State of Tennessee Center of Excellence.     

Structures of topological type

In this paper we continue the study of structures of various types initiated by the author in the earlier paper Structures of extensions (Ref. Zh. Mat., 1974, 4A361). The present paper is devoted to the so-called structure of topological type. By a structure of topological type on the set X is meant a topological structure, defined on some set obtained from X, and possibly additional sets, by a totally ordered sequence of operations of unions of sets, products of sets, and passage to the set of subsets. We study certain structures of topological type: bitopological (Sec. 2) and settopological (Sec. 3). A bitopological structure on the set X is any topological structure on the set X×X, and a bitopological space is a pair (X,). This concept is a natural extension of the concept of a bitopological space as a set X on which there are given two topological structures ₁ and ₂-these structures define a structure =₁×₂ on the set X×X. A settopological structure on the set X is any topological structure on the set={A¦A. There are given representations of piecewise-linear structures (Sec. 4) and smooth structures (Sec. 5) as settopological structures.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 83, pp. 5–62, 1979.     

Embedding Theorems for a Certain Function Class of Sobolev Type on Metric Spaces

Given a metric space with a Borel measure , we consider a class of functions whose increment is controlled by the measure of a ball containing the corresponding points and a nonnegative function p-summable with respect to . We prove some analogs of the classical theorems on embedding Sobolev function classes into Lebesgue spaces.     

The Higher K-Theory of Real Curves

If X is a smooth curve defined over the real numbers , we show that K _n (X) is the sum of a divisible group and a finite elementary Abelian 2-group when n 2. We determine the torsion subgroup of K _n (X), which is a finite sum of copies of and 2, only depending on the topological invariants of X() and X(), and show that (for n 2) these torsion subgroups are periodic of order 8.     

Smooth Measures and Regular Strongly Supermedian Kernels Generating Sub-Markovian Resolvents

In the context of a transient Borel right Markov process with a fixed excessive measure , we characterize the regular strongly supermedian kernels, producing smooth measures by the Revuz correspondence. In the case of the measures charging no -semipolar sets, this is the analytical counterpart of a probabilistic result of Revuz, Fukushima, and Getoor and Fitzsimmons, concerning the positive continuous additive functionals. We also consider the case of the measures charging no set that is both -polar and -negligible (U being the potential part of ), answering to a problem of Revuz.     

Central limit theorem for complex measures

We prove two central limit theorems for real identically distribution random variables where the distribution is a complex-valued Borel measure . The results involve the weak convergence of the suitably scaledn-fold convolution of certain complex atomic or absolutely continuous measures of spectral radius 1 to ahypergaussian measure whose Fourier-Stieltjes transform is exp(–² for a positive integer . The proof uses a generalization of the method of characteristic functions. Counter-examples are given to rather more general statements that had appeared previously in the literature. This research arose in connection with problems related to general tauberian theorems on the line for complexvalued summability methods which are discussed at the end of the paper. Some interesting examples are given generalizing well-known theorems related to Euler and Borel summability.     

Mittelwert der Eulerschen φ-Funktion und des Quadrates der Dirichletschen Teilerfunktion in algebraischen Zahlkörpern

LetK be an algebraic number field, and for every integer K let () andd(), respectively, denote the number of relatively prime residue classes and the number of divisors of the principal ideal (). Asymptotic equalities are proved for the sums () and d ²(), where runs through certain finite sets of integers ofK.     

A topological analog of Halmos' conjugacy lemma

Using a new lemma indicated by the title, and a recent measure preserving version of Lusin's Theorem, we prove the following theorem: Any isomorphism-invariant measure theoretic property which is typical for automorphisms of a Lebesgue space is also typical for Lebesgue measure preserving homeomorphisms of the unit cubeI ⁿ ,n2. We also prove a partial converse of this theorem. Taken together, these results clarify the relationship between pairs of theorems proved by several authors, which established the typicality of specific properties (such as ergodicity and weak mixing) separately in the measurable and continuous cases.     

On aU-set for multiple Walsh series

m- (m2) , - , .     

Charakterisierung semisimplizialer Mengen durch Unterteilung und Graphen

We define a subdivision functor G for semisimplicial sets such that GXGY implies XY for all pairs of semisimplicial sets X, Y and (GX)¹(GY)¹ implies XY, too, but only, as far as we know, for pairs of weakly degenerate semisimplicial sets X, Y. These results are analogous to theorems on simplicial complexes which have been proved by Finney [1] and Segal [6].

---

---

In der Literatur werden semisimpliziale Mengen auch oft als complete semisimplicial complexes, abgekürzt css complexes bezeichnet. Wir halten uns hier im wesentlichen an die Terminologie von K. Lamotke [5].     

Normality preserving multiplication operators

We show that a multiplication operator (T)=ATB is normality preserving if and only if it is hyponormality preserving, if and only if it is either of the formA=fg,B=h f, orA=D,B=D* for someC andD* D=I. Also we show that is (semi-) Fredholmness prserving if and only ifA andB are (semi-) Fredholm operators.Supported by the Science Foundation of Zhejiang Province and NSF.