Sampling on the Sierpinski gasket.
In the class of self-affine sets on ℝⁿ we study a subclass for which the geometry is rather tractable. A type is a standardized position of two intersecting pieces. For a self-affine tiling, this can be identified with an edge or vertex type. We assume that the number of types is finite. We study the topology of such fractals and their boundary sets, and we show how new finite type fractals can be constructed. For finite type self-affine tiles in the plane we give an algorithm which decides whether...
A measure is called -improving if it acts by convolution as a bounded operator from to L² for some q < 2. Interesting examples include Riesz product measures, Cantor measures and certain measures on curves. We show that equicontractive, self-similar measures are -improving if and only if they satisfy a suitable linear independence property. Certain self-affine measures are also seen to be -improving.
The basic question of this paper is: If you consider two iterated function systems close to each other in an appropriate topology, are the dimensions of their respective invariant sets close to each other? It is well known that the Hausdorff dimension (and Lebesgue measure) of the invariant set does not depend continuously on the iterated function system. Our main result is that (with a restriction on the "non-conformality" of the transformations) the Hausdorff dimension is a lower semicontinuous...
Suppose that is a measurable space and is a metrizable, Souslin space. Let denote the universal completion of . For , let be the lower semicontinuous hull of . If is -measurable, then is -measurable.
Schmets [22] has developed a measure theory from a generalized notion of a semiring of sets. Goguadze [15] has introduced another generalized notion of semiring of sets and proved that all known properties that semiring have according to the old definitions are preserved. We show that this two notions are almost equivalent. We note that Patriota [20] has defined this quasi-semiring. We propose the formalization of some properties developed by the authors.
This article proposes the formalization of some examples of semiring of sets proposed by Goguadze [8] and Schmets [13].