Elementary equivalence of Cσ(K) spaces for totally disconnected, compact Hausdorff K

1986 ◽  
Vol 51 (1) ◽  
pp. 135-146
Author(s):  
S. Heinrich ◽  
C. Ward Henson ◽  
L. C. Moore
Keyword(s):  
Compact Hausdorff Space ◽  
Hausdorff Space ◽  
Unique Fixed Point ◽  
Elementary Theory ◽  
Elementary Equivalence ◽  
Isolated Points ◽  
Isolated Point ◽  
Dense Set ◽  
Totally Disconnected ◽  
Elementary Theories

This paper is a continuation of the authors' paper [7]; in particular, we give a sharper and more useful criterion for the approximate elementary equivalence of Cσ(K) spaces, where K is a totally disconnected compact Hausdorff space. (See Theorem 2 below.) As an application, we obtain a complete description of the Banach spaces X which are approximately equivalent to c0. Namely, X ≡ Ac0 iff X = Cσ(K) where K is a totally disconnected compact Hausdorff space which has a dense set of isolated points and σ is an involutory homeomorphism on K which has a unique fixed point t, and t is not an isolated point. (See Theorem 7.)These results are derived from an analysis which we give of the elementary theories of structures (B, σ), where B is a Boolean algebra and σ is an involutory automorphism of B which leaves at most one nontrivial ultrafilter invariant. Let U(σ) denote this ultrafilter, if it exists; let U(σ) = B in case σ leaves no nontrivial ultrafilter invariant. We show that the elementary theory of (B, σ) is completely determined by the theory of (B, U(σ)) (and conversely, because U(σ) is definable in (B, σ)). This makes possible the use of the explicit invariants given by Éršov [4] for structures (B, U) where U is an ultrafilter on B. (These generalize the Tarski invariants for Boolean algebras [15].) We also use the Éršov invariants in the proof of our main result.

A note on elementary equivalence of C(K) spaces

1987 ◽  
Vol 52 (2) ◽  
pp. 368-373 ◽  
Author(s):  
S. Heinrich ◽  
C. Ward Henson ◽  
L. C. Moore
Keyword(s):  
Banach Space ◽  
Boolean Algebra ◽  
Banach Spaces ◽  
Compact Hausdorff Space ◽  
Hausdorff Space ◽  
Supremum Norm ◽  
Closed Unit Ball ◽  
Elementary Equivalence ◽  
Bounded Number ◽  
Totally Disconnected

In this paper we give a closer analysis of the elementary properties of the Banach spaces C(K), where K is a totally disconnected, compact Hausdorff space, in terms of the Boolean algebra B(K) of clopen subsets of K. In particular we sharpen a result in [4] by showing that if B(K1) and B(K2) satisfy the same sentences with ≤ n alternations of quantifiers, then the same is true of C(K1) and C(K2). As a consequence we show that for each n there exist C(K) spaces which are elementarily equivalent for sentences with ≤ n quantifier alternations, but which are not elementary equivalent in the full sense. Thus the elementary properties of Banach spaces cannot be determined by looking at sentences with a bounded number of quantifier alternations.The notion of elementary equivalence for Banach spaces which is studied here was introduced by the second author [4] and is expressed using the language of positive bounded formulas in a first-order language for Banach spaces. As was shown in [4], two Banach spaces are elementarily equivalent in this sense if and only if they have isometrically isomorphic Banach space ultrapowers (or, equivalently, isometrically isomorphic nonstandard hulls.)We consider Banach spaces over the field of real numbers. If X is such a space, Bx will denote the closed unit ball of X, Bx = {x ϵ X∣ ∣∣x∣∣ ≤ 1}. Given a compact Hausdorff space K, we let C(K) denote the Banach space of all continuous real-valued functions on K, under the supremum norm. We will especially be concerned with such spaces when K is a totally disconnected compact Hausdorff space. In that case B(K) will denote the Boolean algebra of all clopen subsets of K. We adopt the standard notation from model theory and Banach space theory.

Points of Weak*-Norm Continuity in the Unit Ball of the Space WC(K; X)*

1999 ◽  
Vol 42 (1) ◽  
pp. 118-124 ◽  
Author(s):  
T. S. S. R. K. Rao
Keyword(s):  
Banach Space ◽  
Unit Ball ◽  
Compact Hausdorff Space ◽  
Hausdorff Space ◽  
Vector Measures ◽  
Weak Norm ◽  
Norm Continuity ◽  
Nikodym Property ◽  
Isolated Points ◽  
Dense Set

AbstractFor a compact Hausdorff space with a dense set of isolated points, we give a complete description of points of weak*-norm continuity in the dual unit ball of the space of Banach space valued functions that are continuous when the range has the weak topology. As an application we give a complete description of points of weak-norm continuity of the unit ball of the space of vector measures when the underlying Banach space has the Radon-Nikodym property.

scholarly journals The Centre of the Spaces of Banach Lattice-Valued Continuous Functions on the Generalized Alexandroff Duplicate

2011 ◽  
Vol 2011 ◽  
pp. 1-5 ◽  
Author(s):  
Faruk Polat
Keyword(s):  
Banach Lattice ◽  
Compact Hausdorff Space ◽  
Hausdorff Space ◽  
Continuous Functions ◽  
Isolated Points ◽  
Discrete Functions

We characterize the centre of the Banach lattice of Banach lattice -valued continuous functions on the Alexandroff duplicate of a compact Hausdorff space in terms of the centre of , the space of -valued continuous functions on . We also identify the centre of whose elements are the sums of -valued continuous and discrete functions defined on a compact Hausdorff space without isolated points, which was given by Alpay and Ercan (2000).

scholarly journals A Banach algebra which is generated by idempotents

2015 ◽  
Vol 24 (1) ◽  
pp. 97-99
Author(s):  
A. ZIVARI-KAZEMPOUR ◽  
Keyword(s):  
Banach Algebra ◽  
Compact Hausdorff Space ◽  
Hausdorff Space ◽  
Locally Compact ◽  
Locally Compact Hausdorff Space ◽  
Totally Disconnected

In this paper we show that the Banach algebra C0(X), where X is a locally compact Hausdorff space, is generated by idempotents if and only if X is totally disconnected.

scholarly journals Double-dual types over the Banach spaceC(K)

2005 ◽  
Vol 2005 (16) ◽  
pp. 2533-2545
Author(s):  
Markus Pomper
Keyword(s):  
Banach Space ◽  
Compact Hausdorff Space ◽  
Hausdorff Space ◽  
Lower Semicontinuous ◽  
Continuous Functions ◽  
Upper Semicontinuous ◽  
Isolated Points

LetKbe a compact Hausdorff space andC(K)the Banach space of all real-valued continuous functions onK, with the sup-norm. Types overC(K)(in the sense of Krivine and Maurey) can be uniquely represented by pairs(ℓ,u)of bounded real-valued functions onK, whereℓis lower semicontinuous,uis upper semicontinuous,ℓ≤u, andℓ(x)=u(x)for all isolated pointsxofK. A condition that characterizes the pairs(ℓ,u)that represent double-dual types overC(K)is given.

scholarly journals A note on the lattice of density preserving maps

2005 ◽  
Vol 72 (1) ◽  
pp. 1-6
Author(s):  
Sejal Shah ◽  
T.K. Das
Keyword(s):  
Complete Lattice ◽  
Compact Hausdorff Space ◽  
Hausdorff Space ◽  
Locally Compact ◽  
Continuous Maps ◽  
Countably Compact ◽  
Isolated Points ◽  
Locally Compact Hausdorff Space

We study here the poset DP (X) of density preserving continuous maps defined on a Hausdorff sapce X and show that it is a complete lattice for a compact Hausdorff space without isolated points. We further show that for countably compact T3 spaces X and Y without isolated points, DP (X) and DP (Y) are order isomorphic if and only if X and Y are homeomorphic. Finally, Magill's result on the remainder of a locally compact Hausdorff space is deduced from the relation of DP (X) with posets IP (X) of covering maps and EK (X) of compactifications respectively.

Types over c(k) spaces

2004 ◽  
Vol 77 (1) ◽  
pp. 17-28
Author(s):  
Markus Pomper
Keyword(s):  
Banach Space ◽  
Compact Hausdorff Space ◽  
Hausdorff Space ◽  
Lower Semicontinuous ◽  
Continuous Functions ◽  
Upper Semicontinuous ◽  
Bounded Functions ◽  
Isolated Point

AbstractLet K be a compact Hausdorff space and C(K) the Banach space of all real-valued continuous functions on K, with the sup norm. Types over C(K) (in the sense of Krivine and Maurey) are represented here by pairs (l, u) of bounded real-valued functions on K, where l is lower semicontinuous and u is upper semicontinuous, l ≤ u and l(x) = u(x) for every isolated point x of K. For each pair the corresponding type is defined by the equation τ(g) = max{║l + g║∞, ║u + g║∞} for all g ∈ C(K), where ║·║∞ is the sup norm on bounded functions. The correspondence between types and pairs (l, u) is bijective.

scholarly journals Proximity inductive dimension and Brouwer dimension agree on compact Hausdorff spaces

Filomat ◽  
2021 ◽  
Vol 35 (5) ◽  
pp. 1431-1437
Author(s):  
Jeremy Siegert
Keyword(s):  
Compact Hausdorff Space ◽  
Hausdorff Space ◽  
Hausdorff Spaces ◽  
Covering Dimension ◽  
Polish Spaces ◽  
Inductive Dimension ◽  
Isolated Points

We show that the proximity inductive dimension defined by Isbell agrees with the Brouwer dimension originally described by Brouwer (for Polish spaces without isolated points) on the class of compact Hausdorff spaces. This shows that Fedorchuk?s example of a compact Hausdorff space whose Brouwer dimension exceeds its Lebesgue covering dimension is an example of a space whose proximity inductive dimension exceeds its proximity dimension as defined by Smirnov. This answers Isbell?s question of whether or not proximity inductive dimension and proximity dimension coincide.

Positive Linear Mappings Between C*-Algebras

1995 ◽  
Vol 38 (2) ◽  
pp. 252-256
Author(s):  
Yong Zhong
Keyword(s):  
Compact Hausdorff Space ◽  
Hausdorff Space ◽  
Von Neumann Algebra ◽  
Linear Mapping ◽  
Von Neumann ◽  
Jordan Homomorphism ◽  
C Algebras ◽  
Invertible Elements ◽  
Totally Disconnected

AbstractWe prove that a positive unital linear mapping from a von Neumann algebra to a unital C*-algebra is a Jordan homomorphism if it maps invertible selfadjoint elements to invertible elements, and that for any compact Hausdorff space X, all positive unital linear mappings from C(X) into a unital C*-algebra that preserve the invertibility for self-adjoint elements are *-homomorphisms if and only if X is totally disconnected.

scholarly journals A Generalization of Strassen’s Theorem on Preordered Semirings

Order ◽  
2021 ◽  
Author(s):  
Péter Vrana
Keyword(s):  
Compact Hausdorff Space ◽  
Polynomial Growth ◽  
Hausdorff Space ◽  
Continuous Functions ◽  
Equivalent Condition ◽  
Real Numbers ◽  
Asymptotic Spectrum ◽  
Ring Of Continuous Functions ◽  
Archimedean Property ◽  
Locally Compact Hausdorff Space

AbstractGiven a commutative semiring with a compatible preorder satisfying a version of the Archimedean property, the asymptotic spectrum, as introduced by Strassen (J. reine angew. Math. 1988), is an essentially unique compact Hausdorff space together with a map from the semiring to the ring of continuous functions. Strassen’s theorem characterizes an asymptotic relaxation of the preorder that asymptotically compares large powers of the elements up to a subexponential factor as the pointwise partial order of the corresponding functions, realizing the asymptotic spectrum as the space of monotone semiring homomorphisms to the nonnegative real numbers. Such preordered semirings have found applications in complexity theory and information theory. We prove a generalization of this theorem to preordered semirings that satisfy a weaker polynomial growth condition. This weaker hypothesis does not ensure in itself that nonnegative real-valued monotone homomorphisms characterize the (appropriate modification of the) asymptotic preorder. We find a sufficient condition as well as an equivalent condition for this to hold. Under these conditions the asymptotic spectrum is a locally compact Hausdorff space satisfying a similar universal property as in Strassen’s work.

Sign in / Sign up

Export Citation Format

Share Document