Normality of products of monotonically normal spaces with compact spaces

Let S be the class of all spaces, each of which is homeomorphic to a stationary subset of a regular uncountable cardinal (depending on the space). In this paper, we prove the following result: The product X×C of a monotonically normal space X and a compact space C is normal if and only if S×C is normal for each closed subspace S in X belonging to S. As a corollary, we obtain the following result: If the product of a monotonically normal space and a compact space is orthocompact, then it is normal.     

The weak McShane integral

We present a weaker version of the Fremlin generalized McShane integral (1995) for functions defined on a σ-finite outer regular quasi Radon measure space (S,Σ, T, µ) into a Banach space X and study its relation with the Pettis integral. In accordance with this new method of integration, the resulting integral can be expressed as a limit of McShane sums with respect to the weak topology. It is shown that a function f from S into X is weakly McShane integrable on each measurable subset of S if and only if it is Pettis and weakly McShane integrable on S. On the other hand, we prove that if an X-valued function is weakly McShane integrable on S, then it is Pettis integrable on each member of an increasing sequence (S _l ) _l?1 of measurable sets of finite measure with union S. For weakly sequentially complete spaces or for spaces that do not contain a copy of c ₀, a weakly McShane integrable function on S is always Pettis integrable. A class of functions that are weakly McShane integrable on S but not Pettis integrable is included.     

On ω-limit sets of ordinary differential equations in Banach spaces

Let X be an infinite-dimensional real Banach space. We classify ω-limit sets of autonomous ordinary differential equations x^′=f(x), x(0)=x₀, where f:X→X is Lipschitz, as being of three types I-III. We denote by SX the class of all sets in X which are ω-limit sets of a solution to (1), for some Lipschitz vector field f and some initial condition x₀∈X. We say that S∈SX is of type I if there exists a Lipschitz function f and a solution x such that S=Ω(x) and . We say that S∈SX is of type II if it has non-empty interior. We say that S∈SX is of type III if it has empty interior and for every solution x (of Eq. (1) where f is Lipschitz) such that S=Ω(x) it holds . Our main results are the following: S is a type I set in SX if and only if S is a closed and separable subset of the topological boundary of an open and connected set U⊂X. Suppose that there exists an open separable and connected set U⊂X such that , then S is a type II set in SX. Every separable Banach space with a Schauder basis contains a type III set. Moreover, in all these results we show that in addition f may be chosen Ck-smooth whenever the underlying Banach space is Ck-smooth.     

Almost maximal spaces

A topological space X is called almost maximal if it is without isolated points and for every x∈X, there are only finitely many ultrafilters on X converging to x. We associate with every countable regular homogeneous almost maximal space X a finite semigroup Ult(X) so that if X and Y are homeomorphic, Ult(X) and Ult(Y) are isomorphic. Semigroups Ult(X) are projectives in the category F of finite semigroups. These are bands decomposing into a certain chain of rectangular components. Under MA, for each projective S in F, there is a countable almost maximal topological group G with Ult(G) isomorphic to S. The existence of a countable almost maximal topological group cannot be established in ZFC. However, there are in ZFC countable regular homogeneous almost maximal spaces X with Ult(X) being a chain of idempotents.     

On extending continuous functions into a metrizable AE

We say that a subset S of a topological space X is M-embedded (M^N₀-embedded) in X if every map from S to a (separable) metrizable AE can be extended over X. Characterizations of M-and M^N_O-embedding are given and we prove that S is M-embedded (M^N_O-embedded) in X iff(X,S) has the Homotopy Extension Property with respect to every (seperable) ANR space.     

Boundedly connected sets and the distance to the intersection of two sets

We prove that if (X,d) is a metric space, C is a closed subset of X and x∈X, then the distance of x to R∩S agrees with the maximum of the distances of x to R and S, for every closed subsets R,S⊂C such that C=R∪S, if and only if C is x-boundedly connected.     

Calibers and point-finite cellularity of the space Cp(X) and some questions of S. Gul'ko and M. Husek

It is well known that ℵ₁ is a precaliber of Cp(X) for every Tychonoff space X. We prove under GCH that a compact space X is metrizable if and only if ℵ₁ and ℵ₂ are calibers of Cp(X). We show also that if X is a compact space then ℵ₁ is a caliber of Cp(X) if and only if its diagonal Δ ⊂ X² is small in the sense of Husek [9]. A similar method is used to establish that if X is an extremally disconnected compact space then Cp(X) admits a continuous injection into Σ₁ (τ) (for some τ) if and only if the space X is separable.     

On p-covalenced association schemes

Let (X,S) denote an association scheme where X is a finite set. For a prime p we say that (X,S) is p-covalenced (p-valenced) if every multiplicity (valency, respectively) of (X,S) is a power of p. In the character theory of finite groups Ito's theorem states that a finite group G has a normal abelian p-complement if and only if every character degree of G is a power of p. In this article we generalize Ito's theorem to p-valenced association schemes, i.e., a p-valenced association scheme (X,S) has a normal p-covalenced p-complement if and only if (X,S) is p-covalenced.     

The isometries of LP(Ω, X)

Let (Ω, ∑, μ) be a finite measure space and X a separable Banach space. We characterize the linear isometries of $\text{L}{}^{\mathrm{p}}\text{(Ω, X)}$ onto itself for 1 ? p < ∞, p ≠ 2 under the condition that X is not the l^p-direct sum of two nonzero spaces (for the same p). It is shown that T is such an isometry if and only if (Tf)(·) = S(·)h(·)(Φ(f))(·), where Φ is a set isomorphism of ∑ onto itself, S is a strongly measurable operator-valued map such that S(t) is a.e. an isometry of X onto itself, and h is a scalar function which is related to Φ. It is further shown that for a big class of measure spaces (perhaps all nontrivial ones) the condition on X is also a necessary condition for the above conclusion to hold. In the case when X is a Hilbert space the injective isometries of $\text{L}{}^{\mathrm{p}}\text{(Ω, X)}$ are also characterized. They have the same form as above, except that Φ and S(t) are not necessarily onto.     

Neighborhoods of sphere-like continua

Let X be an S^k-like continuum in Euclicean space Eⁿ. It is shown that if the embedding of X satisfies the small loops condition and 1⩽k⩽n−4, then X has arbitrarily small neighborhoods which are homeomorphic to S^k×B^n−k. It follows that if X and Y are S^k-like continua in Sⁿ, 1⩽k⩽n−4, and both satisfy the small loops condition, then X and Y have homeomorphic complements if and only if they have the same shape.     

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].     

Orthogonality of matrices

Let X be a real finite-dimensional normed space with unit sphere S_X and let L(X) be the space of linear operators from X into itself. It is proved that X is an inner product space if and only if for A,C∈L(X)

     

A note on the Brouwer dimension of chainable spaces

A general method produces from a compact Hausdorff space S a compact Hausdorff space T with IndT=IndS+1. We show that if S is chainable, then T is also chainable while DgT<IndT, where Dg denotes dimensionsgrad, the dimension in the original sense of Brouwer. This leads to a chainable, first countable, separable space Xn with DgXn<IndXn=n for each integer n>1.     

Ordinals and set-valued zero-selections for hyperspaces

A continuous zero-selection f for the Vietoris hyperspace F(X) of the nonempty closed subsets of a space X is a Vietoris continuous map f:F(X)→X which assigns to every nonempty closed subset an isolated point of it. It is well known that a compact space X has a continuous zero-selection if and only if it is an ordinal space, or, equivalently, if X can be mapped onto an ordinal space by a continuous one-to-one surjection. In this paper, we prove that a compact space X has an upper semi-continuous set-valued zero-selection for its Vietoris hyperspace F(X) if and only if X can be mapped onto an ordinal space by a continuous finite-to-one surjection.     

Covering properties on X2⧹Δ, W-sets,and compact subsets of Σ-products

Let Δ ? X¹ be the diagonal. In the first part of this paper, we show that a compact space X is Corson compact (resp., Eberlein compact; compact metric) if and only if X²?Δ is metalindelöf (resp., σ-metacompact; paracompact). In the second part of the paper, we investigate the notion of a W-set in a space X, which is defined in terms of an infinite game. We show that a compact space X is Corson compact if and only if X has a W-set diagonal, and that a compact scattered space X is strong Eberlein compact if and only if each point of X is a W-set in X.     

On the symmetric hyperspace of the circle

By X(n), n?1, we denote the n-th symmetric hyperspace of a metric space X as the space of non-empty finite subsets of X with at most n elements endowed with the Hausdorff metric. In this paper we shall describe the n-th symmetric hyperspace S¹(n) as a compactification of an open cone over ΣDn−2, here Dn−2 is the higher-dimensional dunce hat introduced by Andersen, Marjanovi? and Schori (1993) [2] if n is even, and Dn−2 has the homotopy type of Sn−2 if n is odd (see Andersen et al. (1993) [2]). Then we can determine the homotopy type of S¹(n) and detect several topological properties of S¹(n).     

On a calculus for a generalized scalar operator

Let $\text{X}$ be a Banach space; S and T bounded scalar-type operators in $\text{X}$. Define Δ on the space of bounded operators on $\text{X}$ by ΔX = TX ? XS if X is a bounded operator. We set up a calculus for Δ which allows us to consider f(Δ), for f a complex-valued bounded Borel measurable function on the spectrum of Δ, as an operator in the space of bounded operators whose domain is a subspace of operators which we call measure generating. This calculus is used to obtain some results on when the kernel of Δ is a complemented subspace of the space of bounded operators on $\text{X}$.     

Tychonoff expansions with prescribed resolvability properties

The recent literature offers examples, specific and hand-crafted, of Tychonoff spaces (in ZFC) which respond negatively to these questions, due respectively to Ceder and Pearson (1967) [3] and to Comfort and García-Ferreira (2001) [5]: (1) Is every ω-resolvable space maximally resolvable? (2) Is every maximally resolvable space extraresolvable? Now using the method of KID expansion, the authors show that every suitably restricted Tychonoff topological space (X,T) admits a larger Tychonoff topology (that is, an “expansion”) witnessing such failure. Specifically the authors show in ZFC that if (X,T) is a maximally resolvable Tychonoff space with S(X,T)?Δ(X,T)=κ, then (X,T) has Tychonoff expansions U=Ui (1?i?5), with Δ(X,Ui)=Δ(X,T) and S(X,Ui)?Δ(X,Ui), such that (X,Ui) is: (i=1) ω-resolvable but not maximally resolvable; (i=2) [if κ^′ is regular, with S(X,T)?κ^′?κ] τ-resolvable for all τ<κ^′, but not κ^′-resolvable; (i=3) maximally resolvable, but not extraresolvable; (i=4) extraresolvable, but not maximally resolvable; (i=5) maximally resolvable and extraresolvable, but not strongly extraresolvable.     

Author index for volume 37

If h is an ergodic transformation defined on a probability space (S, ∑, μ), then a unitary operøtor V: H → H is said to be an eigenoperator of h if there exists a vector-valued solution X: S → H to the equation X(h(·)) = VX(·). We extend to this case some results from the theory of complex eigenvalues for ergodic finite measure preserving transformations.     

Invariant subspaces for operator semigroups with commutators of rank at most one

Let X be a complex Banach space of dimension at least 2, and let S be a multiplicative semigroup of operators on X such that the rank of ST−TS is at most 1 for all {S,T}⊂S. We prove that S has a non-trivial invariant subspace provided it is not commutative. As a consequence we show that S is triangularizable if it consists of polynomially compact operators. This generalizes results from [H. Radjavi, P. Rosenthal, From local to global triangularization, J. Funct. Anal. 147 (1997) 443-456] and [G. Cigler, R. Drnovšek, D. Kokol-Bukovšek, T. Laffey, M. Omladi?, H. Radjavi, P. Rosenthal, Invariant subspaces for semigroups of algebraic operators, J. Funct. Anal. 160 (1998) 452-465].