Showing 1–35 of 35 results for author: Plebanek, G

Complemented subspaces of Banach spaces $C(K\times L)$

Authors: Grzegorz Plebanek, Jakub Rondoš, Damian Sobota

Abstract: We prove that, for every compact spaces $K_1,K_2$ and a compact group $G$, if both $K_1$ and $K_2$ map continuously onto $G$, then the Banach space $C(K_1\times K_2)$ contains a complemented subspace isometric to $C(G)$. Consequently, answering a question of Alspach and Galego, we get that $C(βω\timesβω)$ contains a complemented isomorphic copy of $C([0,1]^κ$) for every cardinal number… ▽ More We prove that, for every compact spaces $K_1,K_2$ and a compact group $G$, if both $K_1$ and $K_2$ map continuously onto $G$, then the Banach space $C(K_1\times K_2)$ contains a complemented subspace isometric to $C(G)$. Consequently, answering a question of Alspach and Galego, we get that $C(βω\timesβω)$ contains a complemented isomorphic copy of $C([0,1]^κ$) for every cardinal number $1\leκ\le {\mathfrak c}$ and hence a complemented copy of $C(K)$ for every metric compact space $K$. △ Less

Submitted 29 May, 2024; originally announced May 2024.

Comments: 14 pages; first version

MSC Class: Primary: 46B20; 46E15. Secondary: 28A33; 46B26

A survey on topological properties of $P(K)$ spaces

Authors: Grzegorz Plebanek

Abstract: Given a compact space $K$, we denote by $P(K)$ the space of all Radon probability measures on $K$, equipped with the $weak^\ast$ topology inherited from $C(K)^\ast$. For nonmetrizable compacta $K$ even basic properties of $P(K)$ spaces depend of additional axioms of set theory. We discuss here older and quite recent results on the subject. Given a compact space $K$, we denote by $P(K)$ the space of all Radon probability measures on $K$, equipped with the $weak^\ast$ topology inherited from $C(K)^\ast$. For nonmetrizable compacta $K$ even basic properties of $P(K)$ spaces depend of additional axioms of set theory. We discuss here older and quite recent results on the subject. △ Less

Submitted 8 July, 2024; v1 submitted 22 December, 2023; originally announced December 2023.

Comments: third version; 33 pages

Countable discrete extensions of compact lines

Authors: Maciej Korpalski, Grzegorz Plebanek

Abstract: We consider a separable compact line $K$ and its extension $L$ consisting of $K$ and a countable number of isolated points. The main object of study is the existence of a bounded extension operator $E: C(K)\to C(L)$. We show that if such an operator exists then there is one for which $\|E\|$ is an odd natural number. We prove that if the topological weight of $K$ is bigger than or equal to the lea… ▽ More We consider a separable compact line $K$ and its extension $L$ consisting of $K$ and a countable number of isolated points. The main object of study is the existence of a bounded extension operator $E: C(K)\to C(L)$. We show that if such an operator exists then there is one for which $\|E\|$ is an odd natural number. We prove that if the topological weight of $K$ is bigger than or equal to the least cardinality of a set $X \subseteq [0,1]$ that cannot be covered by a sequence of closed sets of measure zero then there is an extension $L$ of $K$ admitting no bounded extension operator. △ Less

Submitted 8 May, 2023; originally announced May 2023.

Comments: First version, 17 pages

MSC Class: Primary 54F05; 46B03; O6E15; Secondary 03E05

The complemented subspace problem for $C(K)$-spaces: A counterexample

Authors: Grzegorz Plebanek, Alberto Salguero Alarcón

Abstract: We prove that there is a compact space $L$ and a 1-complemented subspace of the Banach space $C(L)$ which is not isomorphic to a space of continuous functions. We prove that there is a compact space $L$ and a 1-complemented subspace of the Banach space $C(L)$ which is not isomorphic to a space of continuous functions. △ Less

Submitted 7 May, 2023; v1 submitted 27 November, 2021; originally announced November 2021.

Comments: Final version of May 7, 2023; 19 pages

MSC Class: 46B03; 46B25; 46E15; 54G12

Digging into the classes of $κ$-Corson compact spaces

Authors: Witold Marciszewski, Grzegorz Plebanek, Krzysztof Zakrzewski

Abstract: For any cardinal number $κ$ and an index set $Γ$, $Σ_κ$-product of real lines consists of elements of ${\mathbb R}^Γ$ having $<κ$ nonzero coordinates. A compact space $K$ is $κ$-Corson compact if it can be embedded into such a space for some $Γ$. The class of ($ω_1$-)Corson compact spaces has been intensively studied over last decades. We discuss properties of $κ$-Corson compacta for various cardi… ▽ More For any cardinal number $κ$ and an index set $Γ$, $Σ_κ$-product of real lines consists of elements of ${\mathbb R}^Γ$ having $<κ$ nonzero coordinates. A compact space $K$ is $κ$-Corson compact if it can be embedded into such a space for some $Γ$. The class of ($ω_1$-)Corson compact spaces has been intensively studied over last decades. We discuss properties of $κ$-Corson compacta for various cardinal numbers $κ$ as well as properties of related Boolean algebras and spaces of continuous functions. We present here a detailed discussion of the class of $ω$-Corson compacta extending the results of Nakhmanson and Yakovlev. For $κ>ω$, our results on $κ$-Corson compact spaces are related to the line of research originated by Kalenda and Bell and Marciszewski, and continued by Bonnet, Kubis and Todorcevic in their recent paper. △ Less

Submitted 7 July, 2023; v1 submitted 6 July, 2021; originally announced July 2021.

Comments: 37 pages; version of February 26, 2023; the paper contains, in particular, a preliminary report from 2021

MSC Class: 46A50; 54D30; 54G12

Abundance of independent sequences in compact spaces and Boolean algebras

Authors: Antonio Avilés, Gonzalo Martínez-Cervantes, Grzegorz Plebanek

Abstract: It follows from a theorem of Rosenthal that a compact space is $ccc$ if and only if every Eberlein continuous image is metrizable. Motivated by this result, for a class of compact spaces $\mathcal{C}$ we define its orthogonal $\mathcal{C}^\perp$ as the class of all compact spaces for which every continuous image in $\mathcal{C}$ is metrizable. We study how this operation relates classes where cent… ▽ More It follows from a theorem of Rosenthal that a compact space is $ccc$ if and only if every Eberlein continuous image is metrizable. Motivated by this result, for a class of compact spaces $\mathcal{C}$ we define its orthogonal $\mathcal{C}^\perp$ as the class of all compact spaces for which every continuous image in $\mathcal{C}$ is metrizable. We study how this operation relates classes where centeredness is scarce with classes where it is abundant (like Eberlein and $ccc$ compacta), and also classes where independence is scarce (most notably weakly Radon-Nikodým compacta) with classes where it is abundant. We study these problems for zero-dimensional compact spaces with the aid of Boolean algebras and show the main difficulties arising when passing to the general setting. Our main results are the constructions of several relevant examples. △ Less

Submitted 13 April, 2021; originally announced April 2021.

MSC Class: 46B22; 46B50; 54C05 (Primary) 06E15; 54C25 (Secondary)

Musing on Kunen's compact $L$-space

Authors: Grzegorz Plebanek

Abstract: We present a connected version of the compact $L$-space constructed by Kenneth Kunen under CH. We show that this provides a Corson compact space $K$ such that the Banach space $C(K)$ is isomorphic to no space of continuous function on a zero-dimensional compactum. We present a connected version of the compact $L$-space constructed by Kenneth Kunen under CH. We show that this provides a Corson compact space $K$ such that the Banach space $C(K)$ is isomorphic to no space of continuous function on a zero-dimensional compactum. △ Less

Submitted 3 December, 2020; originally announced December 2020.

Comments: 11 pages

Monolithic spaces of measures

Authors: Grzegorz Plebanek

Abstract: For a compact space $K$ we consider the space $P(K)$, of probability regular Borel measures on $K$, equipped with the $weak^\ast$ topology inherited from $C(K)^\ast$. We discuss possible characterizations of those compact spaces $K$ for which $P(K)$ is $\aleph_0$-monolithic. The main result states that under $\diamondsuit$ there exists a nonseparable Corson compact space $K$ such that $P(K)$ is… ▽ More For a compact space $K$ we consider the space $P(K)$, of probability regular Borel measures on $K$, equipped with the $weak^\ast$ topology inherited from $C(K)^\ast$. We discuss possible characterizations of those compact spaces $K$ for which $P(K)$ is $\aleph_0$-monolithic. The main result states that under $\diamondsuit$ there exists a nonseparable Corson compact space $K$ such that $P(K)$ is $\aleph_0$-monolithic but $K$ supports a measure of uncountable type. △ Less

Submitted 17 September, 2020; v1 submitted 31 December, 2019; originally announced December 2019.

Comments: 12 pages; final version

Sailing over three problems of Koszmider

Authors: Félix Cabello Sánchez, Jesús M. F. Castillo, Witold Marciszewski, Grzegorz Plebanek, Alberto Salguero-Alarcón

Abstract: We discuss three problems of Koszmider on the structure of the spaces of continuous functions on the Stone compact $K_{\mathcal A}$ generated by an almost disjoint family $\mathcal A$ of infinite subsets of $ω$ -- we present a solution to two problems and develop a previous results of Marciszewski and Pol answering the third one. We will show, in particular, that assuming Martin's axiom the space… ▽ More We discuss three problems of Koszmider on the structure of the spaces of continuous functions on the Stone compact $K_{\mathcal A}$ generated by an almost disjoint family $\mathcal A$ of infinite subsets of $ω$ -- we present a solution to two problems and develop a previous results of Marciszewski and Pol answering the third one. We will show, in particular, that assuming Martin's axiom the space $C(K_{\mathcal A})$ is uniquely determined up to isomorphism by the cardinality of $\mathcal A$ whenever $|{\mathcal A}|<{\mathfrak c}$, while there are $2^{\mathfrak c}$ nonisomorphic spaces $C(K_{\mathcal A})$ with $|{\mathcal A}|= {\mathfrak c}$. We also investigate Koszmider's problems in the context of the class of separable Rosenthal compacta and indicate the meaning of our results in the language of twisted sums of $c_0$ and some $C(K)$ spaces. △ Less

Submitted 7 April, 2020; v1 submitted 16 October, 2019; originally announced October 2019.

Comments: 19 pages; the final version, accepted for publication

MSC Class: 46E15; 03E50; 54G12

Twisted sums of $c_0$ and $C(K)$-spaces: A solution to the CCKY problem

Authors: Antonio Avilés, Witold Marciszewski, Grzegorz Plebanek

Abstract: We consider the class of Banach space $Y$ for which $c_0$ admits a nontrivial twisted sum with $Y$. We present a characterization of such space $Y$ in terms of properties of the $weak^\ast$ topology on $Y^\ast$. We prove that under the continuum hypothesis $c_0$ has a nontrivial twisted sum with every space of the form $Y=C(K)$, where $K$ is compact and not metrizable. This gives a consistent posi… ▽ More We consider the class of Banach space $Y$ for which $c_0$ admits a nontrivial twisted sum with $Y$. We present a characterization of such space $Y$ in terms of properties of the $weak^\ast$ topology on $Y^\ast$. We prove that under the continuum hypothesis $c_0$ has a nontrivial twisted sum with every space of the form $Y=C(K)$, where $K$ is compact and not metrizable. This gives a consistent positive solution to a problem posed by Cabello, Castillo, Kalton and Yost. △ Less

Submitted 14 April, 2020; v1 submitted 20 February, 2019; originally announced February 2019.

Comments: Final version (the previous title `Twisting $c_0$ around nonseparable Banach spaces'), 32 pages

MSC Class: 46B25; 46B26; 46E15 (Primary); 03E35; 54C55; 54D40 (Secondary)

On Boolean algebras with strictly positive measures

Authors: Menachem Magidor, Grzegorz Plebanek

Abstract: We investigate reflection-type problems on the class SPM, of Boolean algebras carrying strictly positive finitely additive measures. We show, in particular, that in the constructible universe there is a Boolean algebra $\mathfrak A$ which is not in SPM but every subalgebra of $\mathfrak A$ of cardinality $\mathfrak c$ admits a strictly positive measure. This result is essentially due to Farah and… ▽ More We investigate reflection-type problems on the class SPM, of Boolean algebras carrying strictly positive finitely additive measures. We show, in particular, that in the constructible universe there is a Boolean algebra $\mathfrak A$ which is not in SPM but every subalgebra of $\mathfrak A$ of cardinality $\mathfrak c$ admits a strictly positive measure. This result is essentially due to Farah and Velickovic. △ Less

Submitted 5 October, 2018; v1 submitted 11 September, 2018; originally announced September 2018.

Comments: 8 pages; version of October 5, 2018

MSC Class: Primary 28A60; 06E15; 03G05

On fragmentable compact lines

Authors: Antonio Avilés, Gonzalo Martínez-Cervantes, Grzegorz Plebanek, Stevo Todorcevic

Abstract: We prove that if a compact line is fragmentable, then it is a Radon-Nikodým compact space. We prove that if a compact line is fragmentable, then it is a Radon-Nikodým compact space. △ Less

Submitted 23 June, 2018; originally announced June 2018.

MSC Class: 46B26; 06A5; 54F05

Chain conditions in free Banach lattices

Authors: Antonio Avilés, Grzegorz Plebanek, José David Rodríguez Abellán

Abstract: We show that for an arbitrary Banach space $E$, the free Banach lattice $FBL[E]$ generated by $E$ satisfies the $σ$-bounded chain condition. We show that for an arbitrary Banach space $E$, the free Banach lattice $FBL[E]$ generated by $E$ satisfies the $σ$-bounded chain condition. △ Less

Submitted 11 May, 2018; v1 submitted 22 January, 2018; originally announced January 2018.

Comments: 8 pages, version 2 of May 2018

MSC Class: 46B42

Journal ref: J. Math. Anal. Appl. 465 (2018), 1223-1229

Mardešić conjecture and free products of Boolean algebras

Authors: Gonzalo Martínez-Cervantes, Grzegorz Plebanek

Abstract: We show that for every $d\ge 1$, if $L_1,\ldots, L_d$ are linearly ordered compact spaces and there is a continuous surjection \[ L_1\times L_2\times \dots\times L_d\to K_1\times K_2\times\ldots\times K_{d}\times K_{d+1},\] where all the spaces $K_i$ are infinite, then $K_i, K_j$ are metrizable for some $1\le i<j\le d+1$. This answers a problem posed by S. Mardešić. We present some related resul… ▽ More We show that for every $d\ge 1$, if $L_1,\ldots, L_d$ are linearly ordered compact spaces and there is a continuous surjection \[ L_1\times L_2\times \dots\times L_d\to K_1\times K_2\times\ldots\times K_{d}\times K_{d+1},\] where all the spaces $K_i$ are infinite, then $K_i, K_j$ are metrizable for some $1\le i<j\le d+1$. This answers a problem posed by S. Mardešić. We present some related results on Boolean algebras not containing free products with too many uncountable factors. In particular, we answer a problem on initial chain algebras that was posed by L. Baur and L. Heindorf. △ Less

Submitted 28 November, 2017; originally announced November 2017.

MSC Class: 54F05; 54F45; 03G05; 06E15

Extension operators and twisted sums of $c_0$ and $C(K)$ spaces

Authors: Witold Marciszewski, Grzegorz Plebanek

Abstract: We investigate the following problem posed by Cabello Sanchéz, Castillo, Kalton, and Yost: Let $K$ be a nonmetrizable compact space. Does there exist a nontrivial twisted sum of $c_0$ and $C(K)$, i.e., does there exist a Banach space $X$ containing a non-complemented copy $Z$ of $c_0$ such that the quotient space $X/Z$ is isomorphic to $C(K)$? Using additional set-theoretic assumptions we give… ▽ More We investigate the following problem posed by Cabello Sanchéz, Castillo, Kalton, and Yost: Let $K$ be a nonmetrizable compact space. Does there exist a nontrivial twisted sum of $c_0$ and $C(K)$, i.e., does there exist a Banach space $X$ containing a non-complemented copy $Z$ of $c_0$ such that the quotient space $X/Z$ is isomorphic to $C(K)$? Using additional set-theoretic assumptions we give the first examples of compact spaces $K$ providing a negative answer to this question. We show that under Martin's axiom and the negation of the continuum hypothesis, if either $K$ is the Cantor cube $2^{ω_1}$ or $K$ is a separable scattered compact space of height $3$ and weight $ω_1$, then every twisted sum of $c_0$ and $C(K)$ is trivial. We also construct nontrivial twisted sums of $c_0$ and $C(K)$ for $K$ belonging to several classes of compacta. Our main tool is an investigation of pairs of compact spaces $K\subseteq L$ which do not admit an extension operator $C(K)\to C(L)$. △ Less

Submitted 11 August, 2017; v1 submitted 6 March, 2017; originally announced March 2017.

Comments: 34 pages, revised version of August 11, 2017

MSC Class: 46B25; 46B26; 46E15 (Primary); 03E35; 54C55; 54D40 (Secondary)

On disconnected images of connected spaces

Authors: Antonio Avilés, Grzegorz Plebanek

Abstract: We introduce the notion that a zero-dimensional compact space $L$ is a \emph{Boolean image} of an arbitrary compact space $K$. When $K$ is also zero-dimensional, this just means that $L$ is a continuous image of $K$. However, a number of interesting questions arise when we consider connected compacta $K$. We introduce the notion that a zero-dimensional compact space $L$ is a \emph{Boolean image} of an arbitrary compact space $K$. When $K$ is also zero-dimensional, this just means that $L$ is a continuous image of $K$. However, a number of interesting questions arise when we consider connected compacta $K$. △ Less

Submitted 19 August, 2019; v1 submitted 16 October, 2016; originally announced October 2016.

Comments: Revised version

MSC Class: 03G05; 06E15; 54D05

Journal ref: Top. Appl. 228 (2017), 108-124

Weakly Radon-Nikodým Boolean algebras and independent sequences

Authors: Antonio Avilés, Gonzalo Martínez-Cervantes, Grzegorz Plebanek

Abstract: A compact space is said to be weakly Radon-Nikodým (WRN) if it can be weak*-embedded into the dual of a Banach space not containing $\ell_1$. We investigate WRN Boolean algebras, i.e. algebras whose Stone space is WRN compact. We show that the class of WRN algebras and the class of minimally generated algebras are incomparable. In particular, we construct a minimally generated nonWRN Boolean algeb… ▽ More A compact space is said to be weakly Radon-Nikodým (WRN) if it can be weak*-embedded into the dual of a Banach space not containing $\ell_1$. We investigate WRN Boolean algebras, i.e. algebras whose Stone space is WRN compact. We show that the class of WRN algebras and the class of minimally generated algebras are incomparable. In particular, we construct a minimally generated nonWRN Boolean algebra whose Stone space is a separable Rosenthal compactum, answering in this way a question of W. Marciszewski. We also study questions of J. Rodríguez and R. Haydon concerning measures and the existence of nontrivial convergent sequences on WRN compacta, obtaining partial results on some natural subclasses. △ Less

Submitted 13 October, 2016; originally announced October 2016.

Comments: 20 pages

MSC Class: Primary 03G05; O6E15; 28A60; Secondary 46B22; 46B50

On properties of compacta that do not reflect in small continuous images

Authors: Menachem Magidor, Grzegorz Plebanek

Abstract: Assuming that there is a stationary set in $ω_{2}$ of ordinals of countable cofinality that does not reflect, we prove that there exists a compact space which is not Corson compact and whose all continuous images of weight at most $ω_1$ are Eberlein compacta. This yields an example of a Banach space of density $ω_{2}$ which is not weakly compactly generated but all its subspaces of density… ▽ More Assuming that there is a stationary set in $ω_{2}$ of ordinals of countable cofinality that does not reflect, we prove that there exists a compact space which is not Corson compact and whose all continuous images of weight at most $ω_1$ are Eberlein compacta. This yields an example of a Banach space of density $ω_{2}$ which is not weakly compactly generated but all its subspaces of density $ω_{1}$ are weakly compactly generated. We also prove that under Martin's axiom countable functional tightness does not reflect in small continuous images of compacta. △ Less

Submitted 8 August, 2016; v1 submitted 20 January, 2016; originally announced January 2016.

Comments: 10 pages, version of Aug 8, 2016

MSC Class: 54A25; 54C05; 46B50; 03E10

Compactifications of $ω$ and the Banach space $c_0$

Authors: Piotr Drygier, Grzegorz Plebanek

Abstract: We investigate for which compactifications $γω$ of the discrete space of natural numbers $ω$, the natural copy of the Banach space $c_0$ is complemented in $C(γω)$. We show, in particular, that the separability of the remainder of $γω$ is neither sufficient nor necessary for $c_0$ being complemented in $C(γω)$ (for the latter our result is proved under the continuum hypothesis). We analyse, in thi… ▽ More We investigate for which compactifications $γω$ of the discrete space of natural numbers $ω$, the natural copy of the Banach space $c_0$ is complemented in $C(γω)$. We show, in particular, that the separability of the remainder of $γω$ is neither sufficient nor necessary for $c_0$ being complemented in $C(γω)$ (for the latter our result is proved under the continuum hypothesis). We analyse, in this context, compactifications of $ω$ related to embeddings of the measure algebra into $P(ω)/fin$. We also prove that a Banach space $C(K)$ contains a rich family of complemented copies of $c_0$ whenever the compact space $K$ admits only measures of countable Maharam type. △ Less

Submitted 23 January, 2016; v1 submitted 14 January, 2016; originally announced January 2016.

Comments: 20 pages, version of Jan 23, 2016

MSC Class: 46B26; 46E50; 54D35; secondary 28C15; 03E50

Measures on Suslinean spaces

Authors: Piotr Borodulin-Nadzieja, Grzegorz Plebanek

Abstract: We study the existence of non-separable compact spaces that support a measure and are small from the topological point of view. In particular, we show that under Martin's axiom there is a non-separable compact space supporting a measure which has countable $π$-character and which cannot be mapped continuously onto $[0,1]^{ω_1}$. On the other hand, we prove that in the random model there is no non-… ▽ More We study the existence of non-separable compact spaces that support a measure and are small from the topological point of view. In particular, we show that under Martin's axiom there is a non-separable compact space supporting a measure which has countable $π$-character and which cannot be mapped continuously onto $[0,1]^{ω_1}$. On the other hand, we prove that in the random model there is no non-separable compact space having countable $π$-character and supporting a measure. △ Less

Submitted 16 November, 2015; originally announced November 2015.

A normal measure on a compact connected space

Authors: Grzegorz Plebanek

Abstract: We present a construction of a compact connected space which supports a normal probability measure. We present a construction of a compact connected space which supports a normal probability measure. △ Less

Submitted 10 July, 2015; originally announced July 2015.

Comments: 4 pages

MSC Class: 28C15; 54D05

The Ascoli property for function spaces and the weak topology of Banach and Fréchet spaces

Authors: S. Gabriyelyan, J. Kakol, G. Plebanek

Abstract: Following [3] we say that a Tychonoff space $X$ is an Ascoli space if every compact subset $\mathcal{K}$ of $C_k(X)$ is evenly continuous; this notion is closely related to the classical Ascoli theorem. Every $k_\mathbb{R}$-space, hence any $k$-space, is Ascoli. Let $X$ be a metrizable space. We prove that the space $C_{k}(X)$ is Ascoli iff $C_{k}(X)$ is a $k_\mathbb{R}$-space iff $X$ is locally… ▽ More Following [3] we say that a Tychonoff space $X$ is an Ascoli space if every compact subset $\mathcal{K}$ of $C_k(X)$ is evenly continuous; this notion is closely related to the classical Ascoli theorem. Every $k_\mathbb{R}$-space, hence any $k$-space, is Ascoli. Let $X$ be a metrizable space. We prove that the space $C_{k}(X)$ is Ascoli iff $C_{k}(X)$ is a $k_\mathbb{R}$-space iff $X$ is locally compact. Moreover, $C_{k}(X)$ endowed with the weak topology is Ascoli iff $X$ is countable and discrete. Using some basic concepts from probability theory and measure-theoretic properties of $\ell_1$, we show that the following assertions are equivalent for a Banach space $E$: (i) $E$ does not contain isomorphic copy of $\ell_1$, (ii) every real-valued sequentially continuous map on the unit ball $B_{w}$ with the weak topology is continuous, (iii) $B_{w}$ is a $k_\mathbb{R}$-space, (iv) $B_{w}$ is an Ascoli space. We prove also that a Fréchet lcs $F$ does not contain isomorphic copy of $\ell_1$ iff each closed and convex bounded subset of $F$ is Ascoli in the weak topology. However we show that a Banach space $E$ in the weak topology is Ascoli iff $E$ is finite-dimensional. We supplement the last result by showing that a Fréchet lcs $F$ which is a quojection is Ascoli in the weak topology iff either $F$ is finite dimensional or $F$ is isomorphic to the product $\mathbb{K}^{\mathbb{N}}$, where $\mathbb{K}\in\{\mathbb{R},\mathbb{C}\}$. △ Less

Submitted 16 April, 2015; originally announced April 2015.

MSC Class: 46A04; 46B03; 54C30

Nonseparable growth of the integers supporting a measure

Authors: Piotr Drygier, Grzegorz Plebanek

Abstract: Assuming $\mathfrak b = \mathfrak c$ (or some weaker statement), we construct a compactification $γω$ of $ω$ such that its remainder $γω\setminusω$ is nonseparable and carries a strictly positive measure. Assuming $\mathfrak b = \mathfrak c$ (or some weaker statement), we construct a compactification $γω$ of $ω$ such that its remainder $γω\setminusω$ is nonseparable and carries a strictly positive measure. △ Less

Submitted 27 January, 2015; originally announced January 2015.

Comments: 8 pages

MSC Class: 54D35; 54D65

Tukey classification of some ideals in $ω$ and the lattices of weakly compact sets in Banach spaces

Authors: Antonio Avilés, Grzegorz Plebanek, José Rodríguez

Abstract: We study the lattice structure of the family of weakly compact subsets of the unit ball $B_X$ of a separable Banach space $X$, equipped with the inclusion relation (this structure is denoted by $\mathcal{K}(B_X)$) and also with the parametrized family of almost inclusion relations $K \subseteq L+εB_X$, where $ε>0$ (this structure is denoted by $\mathcal{AK}(B_X)$). Tukey equivalence between partia… ▽ More We study the lattice structure of the family of weakly compact subsets of the unit ball $B_X$ of a separable Banach space $X$, equipped with the inclusion relation (this structure is denoted by $\mathcal{K}(B_X)$) and also with the parametrized family of almost inclusion relations $K \subseteq L+εB_X$, where $ε>0$ (this structure is denoted by $\mathcal{AK}(B_X)$). Tukey equivalence between partially ordered sets and a suitable extension to deal with $\mathcal{AK}(B_X)$ are used. Assuming the axiom of analytic determinacy, we prove that separable Banach spaces fall into four categories, namely: $\mathcal{K}(B_X)$ is equivalent either to a singleton, or to $ω^ω$, or to the family $\mathcal{K}(\mathbb{Q})$ of compact subsets of the rational numbers, or to the family $[\mathfrak{c}]^{<ω}$ of all finite subsets of the continuum. Also under the axiom of analytic determinacy, a similar classification of $\mathcal{AK}(B_X)$ is obtained. For separable Banach spaces not containing $\ell^1$, we prove in ZFC that $\mathcal{K}(B_X) \sim \mathcal{AK}(B_X)$ are equivalent to either $\{0\}$, $ω^ω$, $\mathcal{K}(\mathbb{Q})$ or $[\mathfrak{c}]^{<ω}$. The lattice structure of the family of all weakly null subsequences of an unconditional basis is also studied. △ Less

Submitted 5 June, 2016; v1 submitted 20 June, 2014; originally announced June 2014.

Comments: The main open problem stated in the first version of the preprint is now solved

MSC Class: 46B20 (Primary); 03E60; 03E75; 06A06; 46B50; 03E75

Countable tightness in the spaces of regular probability measures

Authors: Grzegorz Plebanek, Damian Sobota

Abstract: 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 T… ▽ More 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. △ Less

Submitted 11 May, 2014; originally announced May 2014.

Comments: 9 pages

MSC Class: Primary 46E15; 46E27; 54C35

Representations of ideals in Polish groups and in Banach spaces

Authors: Piotr Borodulin-Nadzieja, Barnabas Farkas, Grzegorz Plebanek

Abstract: We investigate ideals of the form $\{A \subseteq ω\colon \sum_{n\in A} x_n$ is unconditionally convergent $\}$, where $(x_n)_{n\inω}$ is a sequence in a Polish group or in a Banach space. If an ideal on $ω$ can be seen in this form for some sequence in $X$, then we say that it is representable in $X$. After numerous examples we show the following theorems: (1) An ideal is representable in a Poli… ▽ More We investigate ideals of the form $\{A \subseteq ω\colon \sum_{n\in A} x_n$ is unconditionally convergent $\}$, where $(x_n)_{n\inω}$ is a sequence in a Polish group or in a Banach space. If an ideal on $ω$ can be seen in this form for some sequence in $X$, then we say that it is representable in $X$. After numerous examples we show the following theorems: (1) An ideal is representable in a Polish Abelian group iff it is an analytic P-ideal. (2) An ideal is representable in a Banach space iff it is a non-pathological analytic P-ideal. We focus on the family of ideals representable in $c_0$. We prove that the trace of the null ideal, Farah's ideal, and Tsirelson ideals are not representable in $c_0$, and that a tall $F_σ$ P-ideal is representable in $c_0$ iff it is a summable ideal. Also, we provide an example of a peculiar ideal which is representable in $\ell_1$ but not in $\mathbb{R}$. Finally, we summarize some open problems of this topic. △ Less

Submitted 3 February, 2014; originally announced February 2014.

On Borel structures in the Banach space C(βω)

Authors: Witold Marciszewski, Grzegorz Plebanek

Abstract: M. Talagrand showed that, for the Cech-Stone compactification βω of the space of natural numbers, the norm and the weak topology generate different Borel structures in the Banach space C(βω). We prove that the Borel structures in C(βω) generated by the weak and the pointwise topology are also different. We also show that in C(ω*), where ω*=βω- ω, there is no countable family of pointwise Borel s… ▽ More M. Talagrand showed that, for the Cech-Stone compactification βω of the space of natural numbers, the norm and the weak topology generate different Borel structures in the Banach space C(βω). We prove that the Borel structures in C(βω) generated by the weak and the pointwise topology are also different. We also show that in C(ω*), where ω*=βω- ω, there is no countable family of pointwise Borel sets separating functions from C(ω*). △ Less

Submitted 7 September, 2013; originally announced September 2013.

Comments: 14 pages

MSC Class: 46B26; 46E15; 54C35; 54H05

On positive embeddings of C(K) spaces

Authors: Grzegorz Plebanek

Abstract: We investigate isomorphic embeddings $T: C(K)\to C(L)$ between Banach spaces of continuous functions. We show that if such an embedding $T$ is a positive operator then $K$ is an image of $L$ under a upper semicontinuous set-function having finite values. Moreover we show that $K$ has a $π$-base of sets which closures a continuous images of compact subspaces of $L$. Our results imply in particular… ▽ More We investigate isomorphic embeddings $T: C(K)\to C(L)$ between Banach spaces of continuous functions. We show that if such an embedding $T$ is a positive operator then $K$ is an image of $L$ under a upper semicontinuous set-function having finite values. Moreover we show that $K$ has a $π$-base of sets which closures a continuous images of compact subspaces of $L$. Our results imply in particular that if $C(K)$ can be positively embedded into $C(L)$ then some topological properties of $L$, such as countable tightness of Frechetness, pass to the space $K$. We show that some arbitrary isomorphic embeddings $C(K)\to C(L)$ can be, in a sense, reduced to positive embeddings. △ Less

Submitted 19 February, 2013; v1 submitted 18 February, 2013; originally announced February 2013.

Comments: 13 pages

On isomorphisms of Banach spaces of continuous functions

Authors: Grzegorz Plebanek

Abstract: We prove that if $K$ and $L$ are compact spaces and $C(K)$ and $C(L)$ are isomorphic as Banach spaces then $K$ has a $π$-base consisting of open sets $U$ such that $\bar{U}$ is a continuous image of some compact subspace of $L$. This gives some information on isomorphic classes of the spaces of the form $C([0,1]^κ)$ and $C(K)$ where $K$ is Corson compact. We prove that if $K$ and $L$ are compact spaces and $C(K)$ and $C(L)$ are isomorphic as Banach spaces then $K$ has a $π$-base consisting of open sets $U$ such that $\bar{U}$ is a continuous image of some compact subspace of $L$. This gives some information on isomorphic classes of the spaces of the form $C([0,1]^κ)$ and $C(K)$ where $K$ is Corson compact. △ Less

Submitted 19 September, 2013; v1 submitted 13 February, 2013; originally announced February 2013.

Comments: 11 pages, version of September 15, 2013

MSC Class: Primary 46B26; 46B03; 46E15

On Baire measurability in spaces of continuous functions

Authors: Antonio Avilés, Grzegorz Plebanek, José Rodríguez

Abstract: Let C(K) be the Banach space of all continuous functions on a given compact space K. We investigate the w*-sequential closure in C(K)* of the set of all finitely supported probabilities on K. We discuss the coincidence of the Baire sigma-algebras on C(K) associated to the weak and pointwise convergence topologies. Let C(K) be the Banach space of all continuous functions on a given compact space K. We investigate the w*-sequential closure in C(K)* of the set of all finitely supported probabilities on K. We discuss the coincidence of the Baire sigma-algebras on C(K) associated to the weak and pointwise convergence topologies. △ Less

Submitted 10 August, 2012; originally announced August 2012.

Journal ref: J. Math. Anal. App. 398 (2013) 230-238

A weak* separable C(K)* space whose unit ball is not weak* separable

Authors: Antonio Avilés, Grzegorz Plebanek, José Rodríguez

Abstract: We provide a ZFC example of a compact space K such that C(K)* is w*-separable but its closed unit ball is not w*-separable. All previous examples of such kind had been constructed under CH. We also discuss the measurability of the supremum norm on that C(K) equipped with its weak Baire sigma-algebra. We provide a ZFC example of a compact space K such that C(K)* is w*-separable but its closed unit ball is not w*-separable. All previous examples of such kind had been constructed under CH. We also discuss the measurability of the supremum norm on that C(K) equipped with its weak Baire sigma-algebra. △ Less

Submitted 24 December, 2011; originally announced December 2011.

Journal ref: Trans. Am. Math. Soc.366 (2014), 4733-4753

On measures on Rosenthal compacta

Authors: Witold Marciszewski, Grzegorz Plebanek

Abstract: We show that if K is Rosenthal compact which can be represented by functions with countably many discontinuities then every Radon measure on K is countably determined. We also present an alternative proof of the result stating that every Radon measure on an arbitrary Rosenthal compactum is of countable type. Our approach is based on some caliber-type properties of measures, parameterized by separa… ▽ More We show that if K is Rosenthal compact which can be represented by functions with countably many discontinuities then every Radon measure on K is countably determined. We also present an alternative proof of the result stating that every Radon measure on an arbitrary Rosenthal compactum is of countable type. Our approach is based on some caliber-type properties of measures, parameterized by separable metrizable spaces. △ Less

Submitted 13 April, 2011; originally announced April 2011.

Comments: 14 pages

MSC Class: 28C15; 46A50 (Primary) 28A60; 54C35 (Secondary)

A dichotomy for the convex spaces of probability measures

Authors: Mikołaj Krupski, Grzegorz Plebanek

Abstract: We show that every nonempty compact and convex space M of probability Radon measures either contains a measure which has `small' local character in M or else M contains a measure of `large' Maharam type. Such a dichotomy is related to several results on Radon measures on compact spaces and to some properties of Banach spaces of continuous functions. We show that every nonempty compact and convex space M of probability Radon measures either contains a measure which has `small' local character in M or else M contains a measure of `large' Maharam type. Such a dichotomy is related to several results on Radon measures on compact spaces and to some properties of Banach spaces of continuous functions. △ Less

Submitted 7 April, 2011; originally announced April 2011.

Comments: 10 pages

MSC Class: 46E27; 28C15 (Primary) 46B26; 46E15 (Secondary)

Measurability in C(2^k) and Kunen cardinals

Authors: Antonio Avilés, Grzegorz Plebanek, José Rodríguez

Abstract: A cardinal k is called a Kunen cardinal if the sigma-algebra on k x k generated by all products AxB, coincides with the power set of k x k. For any cardinal k, let C(2^k) be the Banach space of all continuous real-valued functions on the Cantor cube 2^k. We prove that k is a Kunen cardinal if and only if the Baire sigma-algebra on C(2^k) for the pointwise convergence topology coincides with the Bo… ▽ More A cardinal k is called a Kunen cardinal if the sigma-algebra on k x k generated by all products AxB, coincides with the power set of k x k. For any cardinal k, let C(2^k) be the Banach space of all continuous real-valued functions on the Cantor cube 2^k. We prove that k is a Kunen cardinal if and only if the Baire sigma-algebra on C(2^k) for the pointwise convergence topology coincides with the Borel sigma-algebra on C(2^k) for the norm topology. Some other links between Kunen cardinals and measurability in Banach spaces are also given. △ Less

Submitted 31 October, 2011; v1 submitted 1 March, 2011; originally announced March 2011.

Comments: version accepted in Israel J. Math

MSC Class: 28A05; 28B05

Journal ref: Israel J. Math. 195 (2013), 1-30

The McShane integral in weakly compactly generated spaces

Authors: Antonio Avilés, Grzegorz Plebanek, José Rodríguez

Abstract: Di Piazza and Preiss asked whether every Pettis integrable function defined on [0,1] and taking values in a weakly compactly generated Banach space is McShane integrable. In this paper we answer this question in the negative. Di Piazza and Preiss asked whether every Pettis integrable function defined on [0,1] and taking values in a weakly compactly generated Banach space is McShane integrable. In this paper we answer this question in the negative. △ Less

Submitted 22 August, 2010; v1 submitted 27 January, 2010; originally announced January 2010.

Comments: Revised version. To appear in Journal of Functional Analysis

MSC Class: 28B05; 46B10; 46B26

Journal ref: J. Funct. Anal. 259 (2010) 2776-2792