Source author record

Damian Sobota

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.FA math.GN math.LO math.PR

Catalog footprint

Research overview

5works

4topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

On complementability of $c_0$ in spaces $C(K\times L)$

Using elementary probabilistic methods, in particular a variant of the Weak Law of Large Numbers related to the Bernoulli distribution, we prove that for every infinite compact spaces $K$ and $L$ the product $K\times L$ admits a sequence $\langleμ_n\colon n\in\mathbb{N}\rangle$ of normalized signed measures with finite supports which converges to $0$ with respect to the weak* topology of the dual Banach space $C(K\times L)^*$ . Our approach is completely constructive -- the measures $μ_n$ are defined by an explicit simple formula. We also show that this result generalizes the classical theorem of Cembranos and Freniche which states that for every infinite compact spaces $K$ and $L$ the Banach space $C(K\times L)$ contains a complemented copy of the space $c_0$ .

preprint2022arXiv

On complemented copies of the space $c_0$ in spaces $C_p(X\times Y)$

Cembranos and Freniche proved that for every two infinite compact Hausdorff spaces $X$ and $Y$ the Banach space $C(X\times Y)$ of continuous real-valued functions on $X\times Y$ endowed with the supremum norm contains a complemented copy of the Banach space $c_{0}$ . We extend this theorem to the class of $C_p$ -spaces, that is, we prove that for all infinite Tychonoff spaces $X$ and $Y$ the space $C_{p}(X\times Y)$ of continuous functions on $X\times Y$ endowed with the pointwise topology contains either a complemented copy of $\mathbb{R}^ω$ or a complemented copy of the space $(c_{0})_{p}=\{(x_n)_{n\inω}\in \mathbb{R}^ω\colon x_n\to 0\}$ , both endowed with the product topology. We show that the latter case holds always when $X\times Y$ is pseudocompact. On the other hand, assuming the Continuum Hypothesis (or even a weaker set-theoretic assumption), we provide an example of a pseudocompact space $X$ such that $C_{p}(X\times X)$ does not contain a complemented copy of $(c_{0})_{p}$ . As a corollary to the first result, we show that for all infinite Tychonoff spaces $X$ and $Y$ the space $C_{p}(X\times Y)$ is linearly homeomorphic to the space $C_{p}(X\times Y)\times\mathbb{R}$ , although, as proved earlier by Marciszewski, there exists an infinite compact space $X$ such that $C_{p}(X)$ cannot be mapped onto $C_{p}(X)\times\mathbb{R}$ by a continuous linear surjection. This provides a positive answer to a problem of Arkhangel'ski for spaces of the form $C_p(X\times Y)$ . Another corollary asserts that for every infinite Tychonoff spaces $X$ and $Y$ the space $C_{k}(X\times Y)$ of continuous functions on $X\times Y$ endowed with the compact-open topology admits a quotient map onto a space isomorphic to one of the following three spaces: $\mathbb{R}^ω$ , $(c_{0})_{p}$ or $c_{0}$ .

preprint2022arXiv

There is a P-measure in the random model

We say that a finitely additive probability measure $μ$ on $ω$ is \emph{a P-measure} if it vanishes on points and for each decreasing sequence $(E_n)$ of infinite subsets of $ω$ there is $E\subseteqω$ such that $E\subseteq^* E_n$ for each $n\inω$ and $μ(E) = \lim_{n\to\infty}μ(E_n)$ . Thus, P-measures generalize in a natural way P-points and it is known that, similarly as in the case of P-points, their existence is independent of $\mathsf{ZFC}$ . In this paper we show that there is a P-measure in the model obtained by adding any number of random reals to a model of $\mathsf{CH}$ . As a corollary, we obtain that in the classical random model $ω^*$ contains a nowhere dense ccc closed P-set.

preprint2021arXiv

On sequences of homomorphisms into measure algebras and the Efimov Problem

For given Boolean algebras $\mathbb{A}$ and $\mathbb{B}$ we endow the space $\mathcal{H}(\mathbb{A},\mathbb{B})$ of all Boolean homomorphisms from $\mathbb{A}$ to $\mathbb{B}$ with various topologies and study convergence properties of sequences in $\mathcal{H}(\mathbb{A},\mathbb{B})$ . We are in particular interested in the situation when $\mathbb{B}$ is a measure algebra as in this case we obtain a natural tool for studying topological convergence properties of sequences of ultrafilters on $\mathbb{A}$ in random extensions of the set-theoretical universe. This appears to have strong connections with Dow and Fremlin's result stating that there are Efimov spaces in the random model. We also investigate relations between topologies on $\mathcal{H}(\mathbb{A},\mathbb{B})$ for a Boolean algebra $\mathbb{B}$ carrying a strictly positive measure and convergence properties of sequences of measures on $\mathbb{A}$ .

preprint2014arXiv

Countable tightness in the spaces of regular probability measures

We prove that if $K$ is a compact space and the space $P(K\times K)$ of regular probability measures on $K\times K$ has countable tightness in its $weak^*$ topology, then $L_1(μ)$ is separable for every $μ\in P(K)$ . It has been known that such a result is a consequence of Martin's axiom MA $(ω_1)$ . Our theorem has several consequences; in particular, it generalizes a theorem due to Bourgain and Todorčević on measures on Rosenthal compacta.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Damian Sobota

Research overview

Is this your work?

5 publications

On complementability of $c_0$ in spaces $C(K\times L)$

On complemented copies of the space $c_0$ in spaces $C_p(X\times Y)$

There is a P-measure in the random model

On sequences of homomorphisms into measure algebras and the Efimov Problem

Countable tightness in the spaces of regular probability measures

See the researcher in context

Building this map preview

Damian Sobota

Research overview

Is this your work?

5 publications

On complementability of c0c_0c0​ in spaces C(K×L)C(K\times L)C(K×L)

On complemented copies of the space c0c_0c0​ in spaces Cp(X×Y)C_p(X\times Y)Cp​(X×Y)

There is a P-measure in the random model

On sequences of homomorphisms into measure algebras and the Efimov Problem

Countable tightness in the spaces of regular probability measures

See the researcher in context

Building this map preview

On complementability of $c_0$ in spaces $C(K\times L)$

On complemented copies of the space $c_0$ in spaces $C_p(X\times Y)$