arXiv subjects
Publications and source records attributed to Antonio Avilés.
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 study splitting chains in $\mathscr{P}(ω)$, that is, families of subsets of $ω$ which are linearly ordered by $\subseteq^*$ and which are splitting. We prove that their existence is independent of axioms of $\mathsf{ZFC}$. We show that they can be used to construct certain peculiar Banach spaces: twisted sums of $C(ω^*)=\ell_\infty/c_0$ and $c_0(\mathfrak c)$. Also, we consider splitting chains in a topological setting, where they give rise to the so called tunnels.
We prove that every complete metric space with property (Z) is a length space. These answers questions posed by García-Lirola, Procházka and Rueda Zoca, and by Becerra Guerrero, López-Pérez and Rueda Zoca, related to the structure of Lipschitz-free Banach spaces of metric spaces.
We prove that if a compact line is fragmentable, then it is a Radon-Nikodým compact space.
We prove that, when $2<p<\infty$, in the free Banach lattice generated by $\ell_p$ (respectively by $c_0$), the absolute values of the canonical basis form an $\ell_r$-sequence, where $\frac{1}{r} = \frac{1}{2} + \frac{1}{p}$ (respectively an $\ell_2$-sequence). In particular, in any Banach lattice, the absolute values of any $\ell_p$ sequence always have an upper $\ell_r$-estimate. Quite surprisingly, this implies that the free Banach lattices generated by the nonseparable $\ell_p(Γ)$ for $2<p<\infty$, as well as $c_0(Γ)$, are weakly compactly generated whereas this is not the case for $1\leq p\leq 2$.
We show that for an arbitrary Banach space $E$, the free Banach lattice $FBL[E]$ generated by $E$ satisfies the $σ$-bounded chain condition.
A Banach space $X$ is said to have Efremov's property ($\mathcal{E}$) if every element of the weak$^*$-closure of a convex bounded set $C \subseteq X^*$ is the weak$^*$-limit of a sequence in $C$. By assuming the Continuum Hypothesis, we prove that there exist maximal almost disjoint families of infinite subsets of $\mathbb{N}$ for which the corresponding Johnson-Lindenstrauss spaces enjoy (resp. fail) property ($\mathcal{E}$). This is related to a gap in [A. Plichko, Three sequential properties of dual Banach spaces in the weak$^*$ topology, Topology Appl. 190 (2015), 93--98] and allows to answer (consistently) questions of Plichko and Yost.
Locally $L^0$-convex modules were introduced in [D. Filipovic, M. Kupper, N. Vogelpoth. Separation and duality in locally $L^0$-convex modules. J. Funct. Anal. 256(12), 3996-4029 (2009)] as the analytic basis for the study of multi-period mathematical finance. Later, the algebra of conditional sets was introduced in [S. Drapeau, A. Jamneshan, M. Karliczek, M. Kupper. The algebra of conditional sets and the concepts of conditional topology and compactness. J. Math. Anal. Appl. 437(1), 561-589 (2016)]. By means of Boolean-valued models and its transfer principle we show that any known result on locally convex spaces has a transcription in the frame of locally $L^0$-convex modules which is also true, and that the formulation in conditional set theory of any theorem of classical set theory is also a theorem. We propose Boolean-valued analysis as an analytic framework for the study of multi-period problems in mathematical finance.
Given a family $\mathcal{F}$ of subsets of $\{1,\ldots,m\}$, we try to compute the least natural number $n$ such that for every function $S:[\aleph_n]^{<ω}\longrightarrow [\aleph_n]^{<ω}$ there exists a bijection $u:\{1,\ldots,m\}\longrightarrow Y\subset \aleph_n$ such that $Su(A)\cap Y \subset u(A)$ for all $A\in\mathcal{F}$.
The free Banach lattice over a Banach space is introduced and analyzed. This generalizes the concept of free Banach lattice over a set of generators, and allows us to study the Nakano property and the density character of non-degenerate intervals on these spaces, answering some recent questions of B. de Pagter and A.W. Wickstead. Moreover, an example of a Banach lattice which is weakly compactly generated as a lattice but not as a Banach space is exhibited, thus answering a question of J. Diestel.
We show that the problem whether every $1$-separably injective Banach space contains an isomorphic copy of $\ell_\infty$ is undecidable. Namely, unlike under the continuum hypothesis, assuming Martin's axiom and the negation of the continuum hypothesis, there is an $1$-separably injective Banach space of the form $C(K)$ (which means that $K$ is an $F$-space) without an isomorphic copy of $\ell_\infty$. This result is a consequence of our study of $ω_2$-subsets of tightly $σ$-filtered Boolean algebras introduced by Koppelberg for which we obtain some general principles useful when transferring properties of Boolean algebras to the level of Banach spaces.
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.
We show that if a separable Rosenthal compactum $K$ is an $n$-to-one preimage of a metric compactum, but it is not an $n-1$-to-one preimage, then $K$ contains a closed subset homeomorphic to either the $n-$Split interval $S_n(I)$ or the Alexandroff $n-$plicate $D_n(2^\mathbb{N})$. This generalizes a result of the third author that corresponds to the case $n=2$.
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.
A Banach space $X$ is said to have property (K) if every $w^*$-convergent sequence in $X^*$ admits a convex block subsequence which converges with respect to the Mackey topology. We study the connection of this property with strongly weakly compactly generated Banach spaces and its stability under subspaces, quotients and $\ell^p$-sums. We extend a result of Frankiewicz and Plebanek by proving that property (K) is preserved by $\ell^1$-sums of less than $\mathfrak{p}$ summands. Without any cardinality restriction, we show that property (K) is stable under $\ell^p$-sums for $1<p<\infty$.
We study the different ways in which a weakly compact set can generate a Banach lattice. Among other things, it is shown that in an order continuous Banach lattice $X$, the existence of a weakly compact set $K \subset X$ such that $X$ coincides with the band generated by $K$, implies that $X$ is WCG.
We introduce the open degree of a compact space, and we show that for every natural number n, the separable Rosenthal compact spaces of degree n have a finite basis.
We study extension operators between spaces $σ_n(2^X)$ of subsets of $X$ of cardinality at most $n$. As an application, we show that if $B_H$ is the unit ball of a nonseparable Hilbert space $H$, equipped with the weak topology, then, for any $0<λ<μ$, there is no extension operator $T: C(λB_H)\to C(μB_H)$.