The strength of measurability hypotheses

We prove some consequences of various measurability hypotheses. Especially, we establish that the measurability of Σ ₂ ¹ sets implies that Σ ₂ ¹ sets have the property of Baire.     

Minkowski content and local Minkowski content for a class of self-conformal sets

We investigate (local) Minkowski measurability of ${\mathcal {C}^{1+\alpha}}$ images of self-similar sets. We show that (local) Minkowski measurability of a self-similar set K implies (local) Minkowski measurability of its image F and provide an explicit formula for the (local) Minkowski content of F in this case. A counterexample is presented which shows that the converse is not necessarily true. That is, F can be Minkowski measurable although K is not. However, we obtain that an average version of the (local) Minkowski content of both K and F always exists and also provide an explicit formula for the relation between the (local) average Minkowski contents of K and F.     

Stopping for two-dimensional stochastic processes

The aim of this paper is to introduce some techniques that can be used in the study of stochastic processes which have as parameter set the positive quadrant of the plane R²₊. We define stopping lines and derive an interesting property of measurability for them. The notion of predictability is developed, and we show the connection between predictable processes, fields associated with stopping lines, and predictable stopping lines. We also give a theorem of section for predictable sets. Extension to processes indexed by any partially ordered set with some regularity assumptions can be carried out quite easily with the same techniques.     

Some integral geometric results in the simply isotropic space

The measurability with respect to the group of the motions in the three dimensional simply isotropic space I₃⁽¹⁾ of sets of geometric elements is studied and also some Crofton type formulas are given.     

Integral operators with operator-valued kernels

Under fairly mild measurability and integrability conditions on operator-valued kernels, boundedness results for integral operators on Bochner spaces L_p(X) are given. In particular, these results are applied to convolutions operators.     

Measurable operators and the asymptotics of heat kernels and zeta functions

In this note we answer some questions inspired by the introduction in Connes (1988, 1994) [6], [7] of the notion of measurable operators using Dixmier traces. These questions concern the relationship of measurability to the asymptotics of ζ-functions and heat kernels. The answers have remained elusive for some 15 years.     

How to stay in a set or König’s lemma for random paths

Starting at statex?X, a player selects the next statex ₁ from the collection Τ(x) of those available and then selectsx ₂ from Τ(x ₁) and so on. Suppose the object is to control the pathx ₁,x ₂, … so that everyx _i will lie in a subsetA ofX. A famous lemma of König is equivalent to the statement that if every Τ(x) is finite and if, for everyn, the player can obtain a path inA of lengthn, then the player can obtain an infinite path inA. Here paths are not necessarily deterministic and, for eachx, Τ(x) is the collection of possible probability distributions for the next state. Under mild measurability conditions, it is shown that if, for everyn, there is a random path of lengthn which lies inA with probability larger than α, then there is an infinite random path with the same property. Furthermore, the measurability and finiteness assumptions can be dropped if, in the hypothesis, the positive integersn are replaced by stop rulest. An analogous result holds when the object is to visitA infinitely many times.     

Two point sets with additional properties

A subset of the plane is called a two point set if it intersects any line in exactly two points. We give constructions of two point sets possessing some additional properties. Among these properties we consider: being a Hamel base, belonging to some σ-ideal, being (completely) nonmeasurable with respect to different σ-ideals, being a κ-covering. We also give examples of properties that are not satisfied by any two point set: being Luzin, Sierpiński and Bernstein set. We also consider natural generalizations of two point sets, namely: partial two point sets and n point sets for n = 3, 4, …, ?₀, ?₁. We obtain consistent results connecting partial two point sets and some combinatorial properties (e.g. being an m.a.d. family).     

On a new property of <Emphasis Type="Italic">n</Emphasis>-poised and <Emphasis Type="Italic">G</Emphasis><Emphasis Type="Italic">C</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript> sets

In this paper we consider n-poised planar node sets, as well as more special ones, called G C _n sets. For the latter sets each n-fundamental polynomial is a product of n linear factors as it always holds in the univariate case. A line ? is called k-node line for a node set \(\mathcal X\) if it passes through exactly k nodes. An (n + 1)-node line is called maximal line. In 1982 M. Gasca and J. I. Maeztu conjectured that every G C _n set possesses necessarily a maximal line. Till now the conjecture is confirmed to be true for n ≤ 5. It is well-known that any maximal line M of \(\mathcal X\) is used by each node in \(\mathcal X\setminus M, \)meaning that it is a factor of the fundamental polynomial. In this paper we prove, in particular, that if the Gasca-Maeztu conjecture is true then any n-node line of G C _n set \(\mathcal {X}\) is used either by exactly \(\binom {n}{2}\) nodes or by exactly \(\binom {n-1}{2}\) nodes. We prove also similar statements concerning n-node or (n ? 1)-node lines in more general n-poised sets. This is a new phenomenon in n-poised and G C _n sets. At the end we present a conjecture concerning any k-node line.     

Bernstein sets and κ ‐coverings

In this paper we study a notion of a κ ‐covering set in connection with Bernstein sets and other types of non‐measurability. Our results correspond to those obtained by Muthuvel in [7] and Nowik in [8]. We consider also other types of coverings (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Generalized triangulations and diagonal-free subsets of stack polyominoes

For n?3, let Ω_n be the set of line segments between vertices in a convex n-gon. For j?1, a j-crossing is a set of j distinct and mutually intersecting line segments from Ω_n such that all 2j endpoints are distinct. For k?1, let Δ_n,k be the simplicial complex of subsets of Ω_n not containing any (k+1)-crossing. For example, Δ_n,1 has one maximal set for each triangulation of the n-gon. Dress, Koolen, and Moulton were able to prove that all maximal sets in Δ_n,k have the same number k(2n-2k-1) of line segments. We demonstrate that the number of such maximal sets is counted by a k×k determinant of Catalan numbers. By the work of Desainte-Catherine and Viennot, this determinant is known to count quite a few other objects including fans of non-crossing Dyck paths. We generalize our result to a larger class of simplicial complexes including some of the complexes appearing in the work of Herzog and Trung on determinantal ideals.     

Indestructibility and destructible measurable cardinals

Say that \({\kappa}\)’s measurability is destructible if there exists a < \({\kappa}\)-closed forcing adding a new subset of \({\kappa}\) which destroys \({\kappa}\)’s measurability. For any δ, let λ_δ =_df The least beth fixed point above δ. Suppose that \({\kappa}\) is indestructibly supercompact and there is a measurable cardinal λ > \({\kappa}\). It then follows that \({A_{1} = \{\delta < \kappa \mid \delta}\) is measurable, δ is not a limit of measurable cardinals, δ is not δ⁺ strongly compact, and δ’s measurability is destructible when forcing with partial orderings having rank below λ_δ} is unbounded in \({\kappa}\). On the other hand, under the same hypotheses, \({A_{2} = \{\delta < \kappa \mid \delta}\) is measurable, δ is not a limit of measurable cardinals, δ is not δ⁺ strongly compact, and δ′s measurability is indestructible when forcing with either Add(δ, 1) or Add(δ, δ⁺)} is unbounded in \({\kappa}\) as well. The large cardinal hypothesis on λ is necessary, as we further demonstrate by constructing via forcing two distinct models in which either \({A_{1} = \emptyset}\) or \({A_{2} = \emptyset}\). In each of these models, both of which have restricted large cardinal structures above \({\kappa}\), every measurable cardinal δ which is not a limit of measurable cardinals is δ⁺ strongly compact, and there is an indestructibly supercompact cardinal \({\kappa}\). In the model in which \({A_{1} = \emptyset}\), every measurable cardinal δ which is not a limit of measurable cardinals is <λ_δ strongly compact and has its <λ_δ strong compactness (and hence also its measurability) indestructible when forcing with δ-directed closed partial orderings having rank below λ_δ. The choice of the least beth fixed point above δ is arbitrary, and other values of λ_δ are also possible.     

The rugby footballers of croam

The vertices of the graph O₈ are indexed by the 7-subsets of a 15-set. Two vertices are adjacent if and only if their labeling sets are disjoint. This paper demonstrates a Hamiltonian circuit in O₈.     

On the closedness of the algebraic difference of closed convex sets

We characterize in a reflexive Banach space all the closed convex sets C₁ containing no lines for which the condition C₁^∞∩C₂^∞={0} ensures the closedness of the algebraic difference C₁−C₂ for all closed convex sets C₂. We also answer a closely related problem: determine all the pairs C₁, C₂ of closed convex sets containing no lines such that the algebraic difference of any sufficiently small uniform perturbations of C₁ and C₂ remains closed. As an application, we state the broadest setting for the strict separation theorem in a reflexive Banach space.     

Subsets of the Plane with Small Linear Sections and Invariant Extensions of the Two-Dimensional Lebesgue Measure

We consider some subsets of the Euclidean plane R ², having small linear sections (in all directions), and investigate those sets from the point of view of measurability with respect to certain invariant extensions of the classical Lebesgue measure on R ².     

The Hurewicz dichotomy for generalized Baire spaces

By classical results of Hurewicz, Kechris and Saint-Raymond, an analytic subset of a Polish space X is covered by a K_σ subset of X if and only if it does not contain a closed-in-X subset homeomorphic to the Baire space ^ww. We consider the analogous statement (which we call the Hurewicz dichotomy) for ∑₁¹j subsets of the generalized Baire space ^κκ for a given uncountable cardinal κ with κ = κ^<κ. We show that the statement that this dichotomy holds at all uncountable regular cardinals is consistent with the axioms of ZFC together with GCH and large cardinal axioms. In contrast, we show that the dichotomy fails at all uncountable regular cardinals after we add a Cohen real to a model of GCH. We also discuss connections with some regularity properties, like the κ-perfect set property, the κ-Miller measurability, and the κ-Sacks measurability.     

Integration of combinatorial decompositions in the presence of collinearities

Many results in Combinatorial Integral Geometry are derived by integration of the combinatorial decompositions associated with finite point sets {P _i } given in the plane ?². However, most previous cases of integration of the decompositions in question were carried out for the point sets {P _i } containing no triads of collinear points, where the familiar algorithm sometimes called the “Four indicator formula” can be used. The present paper is to demonstrate that the complete combinatorial algorithm valid for sets {P _i } not subject to the mentioned restriction opens the path to various results, including the field of Stochastic Geometry. In the paper the complete algorithm is applied first in an integration procedure in a study of the perforated convex domains, i.e convex domains containing a finite array of non-overlapping convex holes. The second application is in the study of random colorings of the plane that are Euclidean motions invariant in distribution, basing on the theory of random polygonal windows from the so-called Independent Angles (IA) class. The method is a direct averaging of the complete combinatorial decompositions written for colorings observed in polygonal windows from the IA class. The approach seems to be quite general, but promises to be especially effective for the random coloring generated by random Poisson polygon process governed by the Haar measure on the group of Euclidean motions of the plane, assuming that a point P ∈ ?² is colored J if P is covered by exactly J polygons of the Poisson process. A general theorem clearing the way for Laplace transform treatment of the random colorings induced on line segments is formulated.     

On the latticity of projection and antiprojection sets in Orlicz-Musielak spaces

We discuss the latticial structure of projection sets and antiprojection sets in Orlicz-Musielak spaces L ^Φ, with the distance given by modular ρ _Φ and classical F-norms generated by ρ _Φ. In particular, we show that the case of Amemiya F-norm is essentially different from others. This extends results given for sets of best approximants by Landers and Rogge, Kilmer and Kozlowski, and Mazzone.     

Some topologies on the spaces of USCO maps and densely continuous forms

We study the completeness of three (metrizable) uniformities on the sets D(X, Y) and U(X, Y) of densely continuous forms and USCO maps from X to Y: the uniformity of uniform convergence on bounded sets, the Hausdorff metric uniformity and the uniformity U _B . We also prove that if X is a nondiscrete space, then the Hausdorff metric on real-valued densely continuous forms D(X, ?) (identified with their graphs) is not complete. The key to guarantee completeness of closed subsets of D(X, Y) equipped with the Hausdorff metric is dense equicontinuity introduced by Hammer and McCoy in [7].     

Protecting convex sets

A point-setS is protecting a collection F =T ₁,T ₂,..., _n ofn mutually disjoint compact sets if each one of the setsT _i is visible from at least one point inS; thus, for every setT _i ∈F there are points xS andy T _i such that the line segment joining x to y does not intersect any element inF other thanT _i . In this paper we prove that [2(n-2)/3] points are always sufficient and occasionally necessary to protect any family F ofn mutually disjoint compact convex sets. For an isothetic family F, consisting ofn mutually disjoint rectangles, [n/2] points are always sufficient and [n/2] points are sometimes necessary to protect it. IfF is a family of triangles, [4n/7] points are always sufficient. To protect families ofn homothetic triangles, [n/2] points are always sufficient and [n/2] points are sometimes necessary.