Remarks on products of σ-ideals
Let X, Y be uncountable Polish spaces and let μ be a complete σ-finite Borel measure on X. Denote by K and L the families of all meager subsets of X and of all subsets of Y with μ measure zero, respectively. It is shown that the product of the ideals K and L restricted to C-sets of Selivanovskiĭ is σ-saturated, which extends Gavalec's results.
For a σ-ideal I of sets in a Polish space X and for A ⊆ , we consider the generalized projection (A) of A given by (A) = x ∈ X: Ax ∉ I, where =y ∈ X: 〈x,y〉∈ A. We study the behaviour of with respect to Borel and analytic sets in the case when I is a -supported σ-ideal. In particular, we give an alternative proof of the recent result of Kechris showing that [ for a wide class of -supported σ-ideals.
Let K(X) be the hyperspace of a compact metric space endowed with the Hausdorff metric. We give a general theorem showing that certain subsets of K(X) are true sets.
We introduce and examine the notion of dense weak openness. In particular we show that multiplication in C(X) is densely weakly open whenever X is an interval in ℝ.
We give sufficient conditions for the interchange of the operations of limit and the Birkhoff integral for a sequence of functions from a measure space to a Banach space. In one result the equi-integrability of ’s is involved and we assume almost everywhere. The other result resembles the Lebesgue dominated convergence theorem where the almost uniform convergence of to is assumed.
Let C denote the Banach space of real-valued continuous functions on [0,1]. Let Φ: C × C → C. If Φ ∈ +, min, max then Φ is an open mapping but the multiplication Φ = · is not open. For an open ball B(f,r) in C let B²(f,r) = B(f,r)·B(f,r). Then f² ∈ Int B²(f,r) for all r > 0 if and only if either f ≥ 0 on [0,1] or f ≤ 0 on [0,1]. Another result states that Int(B₁·B₂) ≠ ∅ for any two balls B₁ and B₂ in C. We also prove that if Φ ∈ +,·,min,max, then the set is residual whenever E is residual in...
We construct algebras of sets which are not MB-representable. The existence of such algebras was previously known under additional set-theoretic assumptions. On the other hand, we prove that every Boolean algebra is isomorphic to an MB-representable algebra of sets.
We compare several conditions sufficient for maximal resolvability of topological spaces. We prove that a space is maximally resolvable provided that for a dense set and for each the -character of at is not greater than the dispersion character of . On the other hand, we show that this implication is not reversible even in the class of card-homogeneous spaces.
Page 1 Next