Devaney's chaos implies existence of -scrambled sets

Let be a complete metric space without isolated points, and let be a continuous map. In this paper we prove that if is transitive and has a periodic point of period , then has a scrambled set consisting of transitive points such that each is a synchronously proximal Cantor set, and is dense in . Furthermore, if is sensitive (for example, if is chaotic in the sense of Devaney), with being a sensitivity constant, then this is an -scrambled set.

     

Vector measure Banach spaces containing a complemented copy of

Let a Banach space and a -algebra of subsets of a set . We say that a vector measure Banach space has the bounded Vitaly-Hahn-Sacks Property if it satisfies the following condition: Every vector measure , for which there exists a bounded sequence in verifying for all , must belong to . Among other results, we prove that, if is a vector measure Banach space with the bounded V-H-S Property and containing a complemented copy of , then contains a copy of .

     

The number of Hall -subgroups of a -separable group

We observe a simple formula to compute the number of Hall -subgroups of a -separable finite group in terms of only the action of a fixed Hall -subgroup of on a set of normal -sections of . As a consequence, we obtain that divides whenever is a subgroup of a finite -separable group . This generalizes a recent result of Navarro. In addition, our method gives an alternative proof of Navarro's result.

     

Weak properties of weighted convolution algebras

Suppose that is a weighted convolution algebra on with the weight normalized so that the corresponding space of measures is the dual space of the space of continuous functions. Suppose that is a continuous nonzero homomorphism, where is also a convolution algebra. If is norm dense in , we show that is (relatively) weak dense in , and we identify the norm closure of with the convergence set for a particular semigroup. When is weak continuous it is enough for to be weak dense in . We also give sufficient conditions and characterizations of weak continuity of . In addition, we show that, for all nonzero in , the sequence converges weak to 0. When is regulated, converges to 0 in norm.

     

On embeddings of full amalgamated free product C-algebras

We examine the question of when the -homomorphism of full amalgamated free product C-algebras, arising from compatible inclusions of C-algebras , and , is an embedding. Results giving sufficient conditions for to be injective, as well as classes of examples where fails to be injective, are obtained. As an application, we give necessary and sufficient conditions for the full amalgamated free product of finite-dimensional C-algebras to be residually finite dimensional.

     

New obstructions to the thickening of -complexes

In this note we use Morse theory to produce new obstructions to the existence of thickenings of -complexes in low codimension. The obstructions are expressed as nonexistence of solutions to an equation of type with a Ganea-Hopf type invariant.

     

Interpolation between and

We show that if is a rearrangement invariant space on that is an interpolation space between and and for which we have only a one-sided estimate of the Boyd index 1/p, 1 < p < \infty$">, then is an interpolation space between and . This gives a positive answer for a question posed by Semenov. We also present the one-sided interpolation theorem about operators of strong type and weak type .

     

Characterizations of elements with compact support in the dual spaces of -modules of

For a locally compact group and , let be the Figà-Talamanca-Herz algebra and let be its dual Banach space. For a Banach -module of , we denote the norm closure of the subspace of the elements in with compact support by . We prove that an element of is in if and only if for any 0$">, there exists a compact subset of such that for all with and . In particular, we have that an element of is in if and only if for any 0$">, there exists a compact subset of such that for all with . If has an orthogonal complement in , we characterize by the following condition: is in if and only if for any 0$"> and any compact subset of , there exists some with and such that \Vert u\Vert - \epsilon $">. Some results of Flory (1971) and Miao (1999) can be obtained from our main theorems by taking and as some -subalgebras of .

     

A limit-point criterion for a class of Sturm-Liouville operators defined in spaces

Using a recent result of Chernyavskaya and Shuster we show that the maximal operator determined by on , -\infty$">, where and the mean value of computed over all subintervals of of a fixed length is bounded away from zero, shares several standard ``limit-point at " properties of the case. We also show that there is a unique solution of that is in all , .

     

Covering by graphs of -ary functions and long linear orderings of Turing degrees

A point is covered by a function iff there is a permutation of such that .

By a theorem of Kuratowski, for every infinite cardinal exactly -ary functions are needed to cover all of . We show that for arbitrarily large uncountable it is consistent that the size of the continuum is and is covered by -ary continuous functions.

We study other cardinal invariants of the -ideal on generated by continuous -ary functions and finally relate the question of how many continuous functions are necessary to cover to the least size of a set of parameters such that the Turing degrees relative to this set of parameters are linearly ordered.

     

Multiplicative bijections of

Let be a compact Hausdorff space which satisfies the first axiom of countability, let and let , be the set of all continuous functions from to If , ,is a bijective multiplicative map, then there exist a homeomorphism and a continuous map such that for all and for all

     

A proof of W. T. Gowers' theorem

W. T. Gowers' theorem asserts that for every Lipschitz function and 0$">, there exists an infinite-dimensional subspace of such that the oscillation of on is at most . The proof of this theorem has been reduced by W. T. Gowers to the proof of a new Ramsey type theorem. Our aim is to present a proof of the last result.

     

-bounding and -induction

Working in the base theory of , we show that for all , the bounding principle for -formulas ( ) is equivalent to the induction principle for -formulas ( ). This partially answers a question of J. Paris.

     

The Russo-Dye Theorem in a weakly closed -module

Suppose that is admissible. It is shown that the convex hull of unitary elements of a weakly closed -module contains the whole unit ball of if and only if and for any 0$">, 0$">.

     

Local existence of -sets, projective tensor products, and Arens regularity for

Theorem. If are perfect compact subsets of the locally compact metrizable abelian group, then there are pairwise disjoint perfect subsets such that (i) is either a Kronecker set or (ii) for some , is a translate of a -set all of whose elements have order , and (iii) is isomorphic to the projective tensor product .

This extends what was previously known for groups such as or for the case to the general locally compact abelian group. Old results concerning the local existence of Kronecker and -sets are improved.

     

-adic -basis and regular local ring

We introduce the concept of -adic -basis as an extension of the concept of -basis. Let be a regular local ring of prime characteristic and a ring such that . Then we prove that is a regular local ring if and only if there exists an -adic -basis of and is Noetherian.

     

Lightface -indescribable cardinals

-absoluteness for forcing means that for any forcing , . `` inaccessible to reals' means that for any real , . To measure the exact consistency strength of `` -absoluteness for forcing and is inaccessible to reals', we introduce a weak version of a weakly compact cardinal, namely, a (lightface) -indescribable cardinal; has this property exactly if it is inaccessible and .

     

Algebraic isomorphisms and -subspace lattices

The class of -lattices was originally defined in the second author's thesis and subsequently by Longstaff, Nation, and Panaia. A subspace lattice on a Banach space which is also a -lattice is called a -subspace lattice, abbreviated JSL. It is demonstrated that every single element of has rank at most one. It is also shown that has the strong finite rank decomposability property. Let and be subspace lattices that are also JSL's on the Banach spaces and , respectively. The two properties just referred to, when combined, show that every algebraic isomorphism between and preserves rank. Finally we prove that every algebraic isomorphism between and is quasi-spatial.

     

Real rank and squaring mappings for unital -algebras

It is proved that if is a compact Hausdorff space of Lebesgue dimension , then the squaring mapping , defined by , is open if and only if . Hence the Lebesgue dimension of can be detected from openness of the squaring maps . In the case it is proved that the map , from the selfadjoint elements of a unital -algebra into its positive elements, is open if and only if is isomorphic to for some compact Hausdorff space with .

     

The classical monotone convergence theorem of Beppo Levi fails in noncommutative -spaces

Let be a complex Hilbert space and let be a von Neumann algebra over equipped with a faithful, normal state . Then is a prehilbert space with respect to the inner product , whose completion is given by the Gelfand-Naimark-Segal representation theorem, according to which there exist a one-to-one -homomorphism of into the algebra of all bounded linear operators acting on and a cyclic, separating vector such that for all . Given any separable Hilbert space , we construct a faithful, normal state on and an increasing sequence of positive operators acting on such that is bounded, but fails to converge both bundlewise and in -norm. We also present an example of an increasing sequence of positive operators which has a subsequence converging both bundlewise and in -norm, but the whole sequence fails to converge in either sense. Finally, we observe that our results are linked to a previous one by R. V. Kadison.