Canonical subbase-compactness of topological products

For topological products the concept of canonical subbase-compactness is introduced, and the question analyzed under what conditions such products are canonically subbase-compact in ZF-set theory.Results: (1) Products of finite spaces are canonically subbase-compact iff AC(fin), the axiom of choice for finite sets, holds.(2) Products of n-element spaces are canonically subbase-compact iff AC(<n), the axiom of choice for sets with less than n elements, holds.(3) Products of compact spaces are canonically subbase-compact iff AC, the axiom of choice, holds.(4) All powers XI of a compact space X are canonically subbase compact iff X is a Loeb-space.These results imply that in ZF the implications

     

Minimal hyperspace actions of homeomorphism groups of h-homogeneous spaces

Suppose that X is an h-homogeneous zero-dimensional compact Hausdorff space, i.e., X is a Stone dual of a homogeneous Boolean algebra. Using the dual Ramsey theorem and a detailed combinatorial analysis of what we call stable collections of subsets of a finite set, we obtain a complete list of the minimal sub-systems of the compact dynamical system (Exp(Exp(X)), Homeo(X)), where Exp(X) denotes the hyperspace comprising the closed subsets of X equipped with the Vietoris topology. The importance of this dynamical system stems from Uspenskij’s characterization of the universal ambit of G = Homeo(X). The results apply to the Cantor set, the generalized Cantor sets X = {0,1} ^κ for noncountable cardinals κ, and to several other spaces. A particular interesting case is X = ω* = βω \ ω, where βω denotes the Stone- ?ech compactification of the natural numbers. This space, called the corona or the remainder of ω, has been extensively studied in the fields of set theory and topology.     

Inequivalent measures of noncompactness

Two homogeneous measures of noncompactness ?? and ?? on an infinite dimensional Banach space X are called ??equivalent?? if there exist positive constants b and c such that b ??(S)??? ??(S)??? c ??(S) for all bounded sets ${S\subset X}$ . If such constants do not exist, the measures of noncompactness are ??inequivalent.?? We ask a foundational question which apparently has not previously been considered: For what infinite dimensional Banach spaces do there exist inequivalent measures of noncompactness on X? We provide here the first examples of inequivalent measures of noncompactness. We prove that such inequivalent measures exist if X is a Hilbert space; or if (??, ??,???) is a general measure space, 1??? p??? ??, and X?=?L ^p (??, ??,???); or if K is a compact Hausdorff space and X?=?C(K); or if K is a compact metric space, 0?<??? ?? 1, and X?=?C ^0,??(K), the Banach space of H?lder continuous functions with H?lder exponent ??. We also prove the existence of such inequivalent measures of noncompactness if ?? is an open subset of ${\mathbb{R}^n}$ and X is the Sobolev space W ^m,p (??). Our motivation comes from questions about existence of eigenvectors of homogeneous, continuous, order-preserving cone maps f : C??C and from the closely related issue of giving the proper definition of the ??cone essential spectral radius?? of such maps. These questions are considered in the companion paper [28]; see, also, [27].     

On extensions of countable filterbases to ultrafilters and ultrafilter compactness

We show in the Zermelo-Fraenkel set theory ZF without the axiom of choice:

1. Given an infinite set X, the Stone space S(X) is ultrafilter compact.

2. For every infinite set X, every countable filterbase of X extends to an ultra-filter i? for every infinite set X, S(X) is countably compact.

3. ω has a free ultrafilter i? every countable, ultrafilter compact space is countably compact.

   We also show the following:

4. There are a permutation model 𝒩 and a set X ∈ 𝒩 such that X has no free ultrafilters and S(X) is not compact but S(X) is countably compact and every countable filterbase of X extends to an ultrafilter.

5. It is relatively consistent with ZF that every countable filterbase of ω extends to an ultrafilter but there exists a countable filterbase of ? which does not extend to an ultrafilter. Hence, it is relatively consistent with ZF that ? has free ultrafilters but there exists a countable filterbase of ? which does not extend to an ultrafilter.

     

Isometric factorization of weakly compact operators and the approximation property

Using an isometric version of the Davis, Figiel, Johnson, and Pe?czyński factorization of weakly compact operators, we prove that a Banach spaceX has the approximation property if and only if, for every Banach spaceY, the finite rank operators of norm ≤1 are dense in the unit ball ofW(Y,X), the space of weakly compact operators fromY toX, in the strong operator topology. We also show that, for every finite dimensional subspaceF ofW(Y,X), there are a reflexive spaceZ, a norm one operatorJ:Y→Z, and an isometry Φ :F →W(Y,X) which preserves finite rank and compact operators so thatT=Φ(T) oJ for allT∈F. This enables us to prove thatX has the approximation property if and only if the finite rank operators form an ideal inW(Y,X) for all Banach spacesY.     

The dual Radon–Nikodym property for finitely generated Banach <Emphasis Type="Italic">C</Emphasis>(<Emphasis Type="Italic">K</Emphasis>)-modules

We extend the well-known criterion of Lotz for the dual Radon–Nikodym property (RNP) of Banach lattices to finitely generated Banach C(K)-modules and Banach C(K)-modules of finite multiplicity. Namely, we prove that if X is a Banach space from one of these classes then its Banach dual \(X^\star \) has the RNP iff X does not contain a closed subspace isomorphic to \(\ell ^1\).     

Right-angularity, flag complexes, asphericity

The ??polyhedral product functor?? produces a space from a simplicial complex L and a collection of pairs of spaces, {(A(i), B(i))}, where i ranges over the vertex set of L. We give necessary and sufficient conditions for the resulting space to be aspherical. There are two similar constructions, each of which starts with a space X and a collection of subspaces, {X _i }, where ${i \in \{0,1. . . . , n\}}$ , and then produces a new space. We also give conditions for the results of these constructions to be aspherical. All three techniques can be used to produce examples of closed aspherical manifolds.     

Generation and commutation properties of the Volterra operator

Let V be the classical Volterra operator on L ₂(0,1). Then the algebra generated (algebraically) by V and its adjoint is not only dense in the Banach space of all compact operators, but also in the Banach space of all Hilbert?CSchmidt operators and as well in the space ${\mathcal{B}(L_2(0,1))}$ equipped with the weak operator topology. Moreover, the algebra generated by V ² and its adjoint is dense in the Banach space of all trace class operators. We give an elementary proof that similar results are valid for polynomials in V without constant term. We also show that the commutant of any non-constant analytic function of V coincides with the commutant of V.     

Ultrametric subsets with large Hausdorff dimension

It is shown that for every ε∈(0,1), every compact metric space (X,d) has a compact subset S?X that embeds into an ultrametric space with distortion O(1/ε), and $$\dim_H(S)\geqslant (1-\varepsilon)\dim_H(X),$$ where dim _H (?) denotes Hausdorff dimension. The above O(1/ε) distortion estimate is shown to be sharp via a construction based on sequences of expander graphs.     

Weak Compactness and Variational Characterization of the Convexity

We prove that if X is a Banach space and ${f : X \rightarrow \mathbb{R} \cup \{+\infty\}}$ is a proper function such that f ? ? attains its minimum for every ? ε X ^*, then the sublevels of f are all relatively weakly compact in X. As a consequence we show that a Banach space X where there exists a function ${f : X \rightarrow \mathbb{R}}$ such that f ? ? attains its minimum for every ? ε X ^* is reflexive. We also prove that if ${f : X \rightarrow \mathbb{R} \cup \{+\infty\}}$ is a weakly lower semicontinuous function on the Banach space X and if for every continuous linear functional ? on X the set where the function f ? ? attains its minimum is convex and non-empty then f is convex.     

On distribution of the norm for normal random elements in the space of continuous functions

We consider distributions of norms for normal random elements X in separable Banach spaces, in particular, in the space C(S) of continuous functions on a compact space S. We prove that, under some nondegeneracy condition, the functions $ {{\mathcal{F}}_X}=\left\{ {\mathrm{P}\left( {\left\| {X-z} \right\|\leqslant r} \right):\;z\in C(S)} \right\},\;r\geqslant 0 $ , are uniformly Lipschitz and that every separable Banach space B can be ε-renormed so that the family $ {{\mathcal{F}}_X} $ becomes uniformly Lipschitz in the new norm for any B-valued nondegenerate normal random element X.     

On the extension of Hölder maps with values in spaces of continuous functions

We study the isometric extension problem for Hölder maps from subsets of any Banach space intoc ₀ or into a space of continuous functions. For a Banach spaceX, we prove that anyα-Hölder map, with 0<α ≤1, from a subset ofX intoc ₀ can be isometrically extended toX if and only ifX is finite dimensional. For a finite dimensional normed spaceX and for a compact metric spaceK, we prove that the set ofα’s for which allα-Hölder maps from a subset ofX intoC(K) can be extended isometrically is either (0, 1] or (0, 1) and we give examples of both occurrences. We also prove that for any metric spaceX, the above described set ofα’s does not depend onK, but only on finiteness ofK.     

On lattices of congruences of relational systems and universal algebras

Let \(\mathfrak{X}\) =〈X;R〉 be a relational system.X is a non-empty set andR is a collection of subsets ofX ^α, α an ordinal. The system of equivalence relations onX having the substitution property with respect to members ofR form a complete latticeC( \(\mathfrak{X}\) ) containing the identity but not necessarilyX×X. It is shown that for any relational system (X;R) there is a groupoid definable onX whose congruence lattice isC( \(\mathfrak{X}\) )U{X×X} . Theorem 2 and Corollary 2 contain some interesting combinatorial pecularities associated with oriented complete graphs and simple groupoids.     

Large sublattices in subsets of Banach lattices

A classical problem (initially studied by N. Kalton and A. Wilansky) concerns finding closed infinite dimensional subspaces of X / Y, where Y is a subspace of a Banach space X. We study the Banach lattice analogue of this question. For a Banach lattice X, we prove that X / Y contains a closed infinite dimensional sublattice under the following conditions: either (i) Y is a closed infinite codimensional subspace of X, and X is either order continuous or a C(K) space, where K is a compact subset of \({\mathbb {R}}^n\); or (ii) Y is the range of a compact operator.     

Set-valued Brownian motion

Brownian motions, martingales, and Wiener processes are introduced and studied for set valued functions taking values in the subfamily of compact convex subsets of arbitrary Banach spaces X. The present paper is an application of the paper (Labuschagne et al. in Quaest Math 30(3):285–308, 2007) in which an embedding result is obtained which considers also the ordered structure of the family of compact convex subsets of a Banach space X and of Grobler and Labuschagne (J Math Anal Appl 423(1):797–819, 2015; J Math Anal Appl 423(1):820–833, 2015) in which these processes are considered in f-algebras. Moreover, in the space of continuous functions defined on a Stonian space, a direct Levy’s result follows.     

Additivity of homological dimensions for a class of Banach algebras

Let Ω be a metrizable compact space. Suppose that its derived set of some finite order is empty. Let B be a unital Banach algebra, and let $\widehat \otimes $ stand for the projective tensor product. We prove the additivity formulas dg C(Ω)B $\widehat \otimes $ =dgB and db C(Ω) $\widehat \otimes $ B=dbC(Ω)+dbB for the global homological dimension and the homological bidimension. Thus these formulas are true for a new class of commutative Banach algebras in addition to those considered earlier by Selivanov.     

Some 0/1 polytopes need exponential size extended formulations

We prove that there are 0/1 polytopes ${P \subseteq \mathbb{R}^{n}}$ that do not admit a compact LP formulation. More precisely we show that for every n there is a set ${X \subseteq \{ 0,1\}^n}$ such that conv(X) must have extension complexity at least ${2^{n/2\cdot(1-o(1))}}$ . In other words, every polyhedron Q that can be linearly projected on conv(X) must have exponentially many facets. In fact, the same result also applies if conv(X) is restricted to be a matroid polytope. Conditioning on ${\mathbf{NP}\not\subseteq \mathbf{P_{/poly}}}$ , our result rules out the existence of a compact formulation for any ${\mathbf{NP}}$ -hard optimization problem even if the formulation may contain arbitrary real numbers.     

Strong convergence theorems for strictly asymptotically pseudocontractive mappings in Hilbert spaces

The purpose of this paper is by using CSQ method to study the strong convergence problem of iterative sequences for a pair of strictly asymptotically pseudocontractive mappings to approximate a common fixed point in a Hilbert space. Under suitable conditions some strong convergence theorems are proved. The results presented in the paper are new which extend and improve some recent results of Acedo and Xu [Iterative methods for strict pseudo-contractions in Hilbert spaces. Nonlinear Anal., 67(7), 2258??271 (2007)], Kim and Xu [Strong convergence of modified Mann iterations for asymptotically nonexpansive mappings and semigroups. Nonlinear Anal., 64, 1140??152 (2006)], Martinez-Yanes and Xu [Strong convergence of the CQ method for fixed point iteration processes. Nonlinear Anal., 64, 2400??411 (2006)], Nakajo and Takahashi [Strong convergence theorems for nonexpansive mappings and nonexpansive semigroups. J. Math. Anal. Appl., 279, 372??79 (2003)], Marino and Xu [Weak and strong convergence theorems for strict pseudocontractions in Hilbert spaces. J. Math. Anal. Appl., 329(1), 336??46 (2007)], Osilike et al. [Demiclosedness principle and convergence theorems for k-strictly asymptotically pseudocontractive maps. J. Math. Anal. Appl., 326, 1334??345 (2007)], Liu [Convergence theorems of the sequence of iterates for asymptotically demicontractive and hemicontractive mappings. Nonlinear Anal., 26(11), 1835??842 (1996)], Osilike et al. [Fixed points of demi-contractive mappings in arbitrary Banach spaces. Panamer Math. J., 12 (2), 77??8 (2002)], Gu [The new composite implicit iteration process with errors for common fixed points of a finite family of strictly pseudocontractive mappings. J. Math. Anal. Appl., 329, 766??76 (2007)].