On Uncountable Unions and Intersections of Measurable Sets

We consider several natural situations where the union or intersection of an uncountable family of measurable (in various senses) sets with a good additional structure is again measurable or may fail to be measurable. We primarily deal with Lebesgue measurable sets and sets with the Baire property. In particular, uncountable unions of sets homeomorphic to a closed Euclidean simplex are considered in detail, and it is shown that the Lebesgue measure and the Baire property differ essentially in this aspect. Another difference between measure and category is illustrated in the case of some uncountable intersections of sets of full measure (comeager sets, respectively). We also discuss a topological form of the Vitali covering theorem, in connection with the Baire property of uncountable unions of certain sets.     

Typical dimension of the graph of certain functions

Most functions from the unit interval to itself have a graph with Hausdorff and lower entropy dimension 1 and upper entropy dimension 2. The same holds for several other Baire spaces of functions. In this paper it will be proved that this is the case also in the spaces of all mappings that are Lebesgue measurable, Borel measurable, integrable in the Riemann sense, continuous, uniform distribution preserving (and continuous).     

On the Convergence of ω1 Sequences of Real Functions

We study sets of points at which ω₁ sequences of real functions from a given class F converge. As F we consider continuous functions, first class of Baire, Borel measurable functions, functions with Baire property and Lebesgue measurable functions. Connections of those problem with additional set-theoretic axioms are discussed. This revised version was published online in August 2006 with corrections to the Cover Date.     

On sets with Baire property in topological spaces

Steinhaus [9] prove that if a set A has a positive Lebesgue measure in the line then its distance set contains an interval. He obtained even stronger forms of this result in [9], which are concerned with mutual distances between points in an infinite sequence of sets. Similar theorems in the case we replace distance by mutual ratio were established by Bose-Majumdar [1]. In the present paper, we endeavour to obtain some results related to sets with Baire property in locally compact topological spaces, particular cases of which yield the Baire category analogues of the above results of Steinhaus [9] and their corresponding form for ratios by Bose-Majumdar [1].     

On topologies generated by some operators

The paper concerns topologies introduced in a topological space (X, τ) by operators which are much weaker than the lower density operators. Some properties of the family of sets having the Baire property and the family of meager sets with respect to such topologies are investigated.     

A class of uniform functions and its relationship with the class of measurable functions

Borel, Lebesgue, and Hausdorff described all uniformly closed families of real-valued functions on a set T whose algebraic properties are just like those of the set of all continuous functions with respect to some open topology on T. These families turn out to be exactly the families of all functions measurable with respect to some σ-additive and multiplicative ensembles on T. The problem of describing all uniformly closed families of bounded functions whose algebraic properties are just like those of the set of all continuous bounded functions remained unsolved. In the paper, a solution of this problem is given with the help of a new class of functions that are uniform with respect to some multiplicative families of finite coverings on T. It is proved that the class of uniform functions differs from the class of measurable functions.     

How good is lebesgue measure?

So, what is the answer to the question “How good is Lebesgue measure?” In the class of invariant measures, Lebesgue measure seems to be the best candidate to be a canonical measure. In the class of countably additive not necessarily invariant measures, to find a universal measure we have to use a strong additional set-theoretical assumption and this seems to be too high a price. Thus the best improvement of Lebesgue measure seems to be the Banach construction of a finitely additive isometrically invariant extension of Lebesgue measure on the plane and line. However, such a measure does not exist on Rⁿ for n ≤ 3, and to keep the theory of measures uniform for all dimensions we cannot accept the Banach measure on the plane as the best solution to the measure problem. From this discussion it seems clear that there is no reason to depose Lebesgue measure from the place it has in modern mathematics. Lebesgue measure also has a nice topological property called regularity: for every EL and every ɛ > 0, there exists an open set V⊃E and closed set F ⊂ E such that m(V/F) < ɛ. It is not difficult to prove that Lebesgue measure is the richest countably additive measure having this property (see [Ru], Thm. 2.20, p. 50).     

On the Geometric Densities of Random Closed Sets

Abstract

In many applications it is of great importance to handle evolution equations about random closed sets of different (even though integer) Hausdorff dimensions, including local information about initial conditions and growth parameters. Following a standard approach in geometric measure theory such sets may be described in terms of suitable measures. For a random closed set of lower dimension with respect to the environment space, the relevant measures induced by its realizations are singular with respect to the Lebesgue measure, and so their usual Radon–Nikodym derivatives are zero almost everywhere. In this paper we suggest to cope with these difficulties by introducing random generalized densities (distributions) á la Dirac–Schwarz, for both the deterministic case and the stochastic case. In this last one we analyze mean generalized densities, and relate them to densities of the expected values of the relevant measures. Many models of interest in material science and in biomedicine are based on time dependent random closed sets, as the ones describing the evolution of (possibly space and time inhomogeneous) growth processes; in such a situation, the Delta formalism provides a natural framework for deriving evolution equations for mean densities at all (integer) Hausdorff dimensions, in terms of the local relevant kinetic parameters of birth and growth. In this context connections with the concepts of hazard function, and spherical contact distribution function are offered.     

Category and dimensions for cut-out sets

In this paper, we study the modified box dimensions of cut-out sets that belong to a positive, nonincreasing and summable sequence. Noting that the family of such sets is a compact metric space under the Hausdorff metric, we prove that the lower modified box dimension equals zero and the upper modified box dimension equals the upper box dimension for almost all cut-out set in the sense of Baire category.     

Sum of Cantor sets: Self-similarity and measure

In this note it is shown that the sum of two homogeneous Cantor sets is often a uniformly contracting self-similar set and it is given a sufficient condition for such a set to be of Lebesgue measure zero (in fact, of Hausdorff dimension less than one and positive Hausdorff measure at this dimension).

     

Local properties of some Gaussian processes

The purpose of this paper is twofold. First we obtain exact formulae for the Hausdorff dimensions of the level sets and graph, and of the image of a fixed time set, for a Gaussian process with stationary increments and monotone incremental variance. Inequalities for these dimensions have been obtained by Kahane in the case where the process is the sum of a trigonometric series with random coefficients. Secondly we obtain some precise results for the brownian motion process. We consider when an image set has positive Lebesgue measure and when the zero set has positive capacity with respect to a given kernel. We show that certain conditions, which Kahane has shown to be sufficient to ensure these properties, are also necessary.     

On the measurability of functions with quasi-continuous and upper semi-continuous vertical sections

Let f: ?² → ? be a function with upper semicontinuous and quasi-continuous vertical sections f _x (t) = f(x, t), t, x ∈ ?. It is proved that if the horizontal sections f ^y (t) = f(t, y), y, t ∈ ?, are of Baire class α (resp. Lebesgue measurable) [resp. with the Baire property] then f is of Baire class α + 2 (resp. Lebesgue measurable and sup-measurable) [resp. has Baire property].     

Effective Borel measurability and reducibility of functions

The investigation of computational properties of discontinuous functions is an important concern in computable analysis. One method to deal with this subject is to consider effective variants of Borel measurable functions. We introduce such a notion of Borel computability for single‐valued as well as for multi‐valued functions by a direct effectivization of the classical definition. On Baire space the finite levels of the resulting hierarchy of functions can be characterized using a notion of reducibility for functions and corresponding complete functions. We use this classification and an effective version of a Selection Theorem of Bhattacharya‐Srivastava in order to prove a generalization of the Representation Theorem of Kreitz‐Weihrauch for Borel measurable functions on computable metric spaces: such functions are Borel measurable on a certain finite level, if and only if they admit a realizer on Baire space of the same quality. This Representation Theorem enables us to introduce a realizer reducibility for functions on metric spaces and we can extend the completeness result to this reducibility. Besides being very useful by itself, this reducibility leads to a new and effective proof of the Banach‐Hausdorff‐Lebesgue Theorem which connects Borel measurable functions with the Baire functions. Hence, for certain metric spaces the class of Borel computable functions on a certain level is exactly the class of functions which can be expressed as a limit of a pointwise convergent and computable sequence of functions of the next lower level. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Collectionwise Hausdorff versus collectionwise normal with respect to compact sets

Collectionwise normal (CWN) and collectionwise Hausdorff (CWH) spaces have played an increasingly important role in topology since the introduction of these concepts by R.H. Bing in 1951 [3]. It has remained an open and frequently raised question as to whether CWH T₃-spaces are CWN with respect to compact sets. Recently, a counterexample requiring the existence of measurable cardinals and having little additional topological structure was constructed by W.G. Fleissner and the author. In this paper, the author gives a simple example in ZFC of a CWH, first countable, perfect T₃-space that is not CWN with respect to compact, metrizable sets, and, under Martin's Axiom, such an example that is also a Moore space. In addition, the author considers the analogous question for strongly collectionwise Hausdorff (SCWH) T₃-spaces and characterizes the existence of SCWH T₃-spaces that are not CWN with respect to compact sets in set-theoretic and box product formulations. The constructions utilized throughout the paper are of a general nature and several apparently new set-theoretic techniques for interchanging ‘points’ and ‘sets’ are introduced.     

Continual Version of the Perron Effect of Change in Values of Characteristic Exponents

A nonlinear perturbed differential system with a linear approximation is considered. An open question has been the validity of a (continual) version of the Perron effect when the set of Lyapunov exponents of all nontrivial solutions (necessarily infinitely extendable on the right) of the corresponding nonlinear perturbed system with a perturbation of arbitrary higher order of smallness in a neighborhood of the origin is measurable, lies entirely on the positive half-line, and has the cardinality of the continuum and even a positive Lebesgue measure. The positive answer to this question is given by the presented theorem, which generally determines an explicit representation of the Lyapunov exponents of all nontrivial solutions to the nonlinear system in terms of their initial values.     

Large cardinals and projective sets

We investigate measure and category in the projective hierarchie in the presence of large cardinals. Assuming a measurable larger than Woodin cardinals we construct a model where every -set is measurable, but some -set does not have Baire property. Moreover, from the same assumption plus a precipitous ideal on we show how a model can be forced where every set is measurable and has Baire property. Received October 12, 1994     

Dimension of Slices Through Fractals with Initial Cubic Pattern

In this paper, the Hausdorff dimension of the intersection of self-similar fractals in Euclidean space R~n generated from an initial cube pattern with an(n-m)-dimensional hyperplane V in a fixed direction is discussed. The authors give a sufficient condition which ensures that the Hausdorff dimensions of the slices of the fractal sets generated by "multirules" take the value in Marstrand's theorem, i.e., the dimension of the self-similar sets minus one. For the self-similar fractals generated with initial cube pattern, this sufficient condition also ensures that the projection measure μVis absolutely continuous with respect to the Lebesgue measure L~m. When μV《 L~m, the connection of the local dimension ofμVand the box dimension of slices is given.     

Continuous transformation of Baire measures into Lebesgue measure

A recent result by Wulbert on the existence of continuous functions with measure zero level sets is slightly extended and its proof is considerably simplified. As a by-product, a criterion is established for a Baire measure to allow a continuous transformation into Lebesgue measure.