Spaces of compact operators on C(2(m) circle plus [0, alpha]) spaces

We classify up to isomorphism the spaces of compact operators K(E, F), where E and F are Banach spaces of all continuous functions defined on the compact spaces 2(m) circle plus [0, alpha], the topological sum of Cantor cubes 2(m) and the intervals of ordinal numbers [0, alpha]. More precisely, we prove that if 2(m) and aleph(gamma) are not real-valued measurable cardinals and n >= aleph(0) is not sequential cardinal, then for every ordinals xi, eta, lambda and mu with xi >= omega(1), eta >= omega(1), lambda = mu < omega or lambda, mu is an element of [omega(gamma), omega(gamma+1)[, the following statements are equivalent: (a) K(C(2(m) circle plus [0, lambda]), C(2(n) circle plus [0, xi])) and K(C(2(m) circle plus [0, mu]), C(2(n) circle plus [0, eta]) are isomorphic. (b) Either C([0, xi]) is isomorphic to C([0, eta] or C([0, xi]) is isomorphic to C([0, alpha p]) and C([0, eta]) is isomorphic to C([0,alpha q]) for some regular cardinal alpha and finite ordinals p not equal q. Thus, it is relatively consistent with ZFC that this result furnishes a complete isomorphic classification of these spaces of compact operators. (C) 2010 Elsevier Inc. All rights reserved.

A BROADER CONTEXT FOR MONOTONICALLY MONOLITHIC SPACES

This is a sequel of the work done on (strongly) monotonically monolithic spaces and their generalizations. We introduce the notion of monotonically kappa-monolithic space for any infinite cardinal kappa and present the relevant results. We show, among other things, that any sigma-product of monotonically kappa-monolithic spaces is monotonically kappa-monolithic for any infinite cardinal kappa; besides, it is consistent that any strongly monotonically omega-monolithic space with caliber omega(1) is second countable. We also study (strong) monotone kappa-monolithicity in linearly ordered spaces and subspaces of ordinals.

Lindelof spaces which are indestructible, productive, or D

We discuss relationships in Lindelof spaces among the properties "indestructible". "productive", "D", and related properties. (C) 2011 Elsevier B.V. All rights reserved.

Multiscale histograms: Summarizing topological relations in large spatial datasets

Summarizing topological relations is fundamental to many spatial applications including spatial query optimization. In this paper, we present several novel techniques to eectively construct cell density based spatial histograms for range (window) summarizations restricted to the four most important topological relations: contains, contained, overlap, and disjoint. We rst present a novel framework to construct a multiscale histogram composed of multiple Euler histograms with the guarantee of the exact summarization results for aligned windows in constant time. Then we present an approximate algorithm, with the approximate ratio 19/12, to minimize the storage spaces of such multiscale Euler histograms, although the problem is generally NP-hard. To conform to a limited storage space where only k Euler histograms are allowed, an effective algorithm is presented to construct multiscale histograms to achieve high accuracy. Finally, we present a new approximate algorithm to query an Euler histogram that cannot guarantee the exact answers; it runs in constant time. Our extensive experiments against both synthetic and real world datasets demonstrated that the approximate mul- tiscale histogram techniques may improve the accuracy of the existing techniques by several orders of magnitude while retaining the cost effciency, and the exact multiscale histogram technique requires only a storage space linearly proportional to the number of cells for the real datasets.

Generalized Variational Inequalities for Upper Hemicontinuous and Demi Operators with Applications to Fixed Point Theorems in Hilbert Spaces

∗ The final version of this paper was sent to the editor when the author was supported by an ARC Small Grant of Dr. E. Tarafdar.

Upper and Lower Bounds in Relator Spaces

2000 Mathematics Subject Classification: 06A06, 54E15

A Note On Quasi-Lindelöf Spaces

Петра Г. Стайнова - Квази-линдельофовите пространства са въведени от Архангелски като усилване на слабо-линдельофовите. В тази статия се разглеждат няколко свойства на квази-линдельофовите пространства и се правят сравнения със съответни ре- зултати за линдельофовите и слабо-линдельофовите пространства. Дадени са няколко примера, включително на слабо-линдельофово пространство, което не е квази-линдельофово; на пространство, което е топологично произведение на две линдельофови, но не е дори квази-линдельофово, и на пространство, което е квази-линдельофово, но не Суслиново. Накрая са поставени няколко отворени въпроси.

The non-existence of a universal topological type space

The concept of types was introduced by Harsányi[8]. In the literature there are two approaches for formalizing types, type spaces: the purely measurable and the topological models. In the former framework Heifetz and Samet [11] showed that the universal type space exists and later Meier[13] proved that it is complete. In this paper we examine the topological approach and conclude that there is no universal topological type space in the category of topological type spaces.

The existence of an inverse limit of inverse system of measure spaces - a purely measurable case

The existence of an inverse limit of an inverse system of (probability) measure spaces has been investigated since the very beginning of the birth of the modern probability theory. Results from Kolmogorov [10], Bochner [2], Choksi [5], Metivier [14], Bourbaki [3] among others have paved the way of the deep understanding of the problem under consideration. All the above results, however, call for some topological concepts, or at least ones which are closely related topological ones. In this paper we investigate purely measurable inverse systems of (probability) measure spaces, and give a sucient condition for the existence of a unique inverse limit. An example for the considered purely measurable inverse systems of (probability) measure spaces is also given.

Orbital and strongly orbital spaces

We say that a (countably dimensional) topological vector space X is orbital if there is T∈L(X) and a vector x∈X such that X is the linear span of the orbit {Tnx:n=0,1,…}. We say that X is strongly orbital if, additionally, x can be chosen to be a hypercyclic vector for T. Of course, X can be orbital only if the algebraic dimension of X is finite or infinite countable. We characterize orbital and strongly orbital metrizable locally convex spaces. We also show that every countably dimensional metrizable locally convex space X does not have the invariant subset property. That is, there is T∈L(X) such that every non-zero x∈X is a hypercyclic vector for T. Finally, assuming the Continuum Hypothesis, we construct a complete strongly orbital locally convex space.

As a byproduct of our constructions, we determine the number of isomorphism classes in the set of dense countably dimensional subspaces of any given separable infinite dimensional Fréchet space X. For instance, in X=ℓ2×ω, there are exactly 3 pairwise non-isomorphic (as topological vector spaces) dense countably dimensional subspaces.

“Varopoulos paradigm”: Mackey property versus metrizability in topological groups.

The class of all locally quasi-convex (lqc) abelian groups contains all locally convex vector spaces (lcs) considered as topological groups. Therefore it is natural to extend classical properties of locally convex spaces to this larger class of abelian topological groups. In the present paper we consider the following well known property of lcs: “A metrizable locally convex space carries its Mackey topology ”. This claim cannot be extended to lqc-groups in the natural way, as we have recently proved with other coauthors (Außenhofer and de la Barrera Mayoral in J Pure Appl Algebra 216(6):1340–1347, 2012; Díaz Nieto and Martín Peinador in Descriptive Topology and Functional Analysis, Springer Proceedings in Mathematics and Statistics, Vol 80 doi:10.1007/978-3-319-05224-3_7, 2014; Dikranjan et al. in Forum Math 26:723–757, 2014). We say that an abelian group G satisfies the Varopoulos paradigm (VP) if any metrizable locally quasi-convex topology on G is the Mackey topology. In the present paper we prove that in any unbounded group there exists a lqc metrizable topology that is not Mackey. This statement (Theorem C) allows us to show that the class of groups satisfying VP coincides with the class of finite exponent groups. Thus, a property of topological nature characterizes an algebraic feature of abelian groups.

Mackey topology on locally convex spaces and on locally quasi-convex groups. Similarities and historical remarks

A counterpart of the Mackey–Arens Theorem for the class of locally quasi-convex topological Abelian groups (LQC-groups) was initiated in Chasco et al. (Stud Math 132(3):257–284, 1999). Several authors have been interested in the problems posed there and have done clarifying contributions, although the main question of that source remains open. Some differences between the Mackey Theory for locally convex spaces and for locally quasi-convex groups, stem from the following fact: The supremum of all compatible locally quasi-convex topologies for a topological abelian group G may not coincide with the topology of uniform convergence on the weak quasi-convex compact subsets of the dual groupG∧. Thus, a substantial part of the classical Mackey–Arens Theorem cannot be generalized to LQC-groups. Furthermore, the mentioned fact gives rise to a grading in the property of “being a Mackey group”, as defined and thoroughly studied in Díaz Nieto and Martín-Peinador (Proceedings in Mathematics and Statistics 80:119–144, 2014). At present it is not known—and this is the main open question—if the supremum of all the compatible locally quasi-convex topologies on a topological group is in fact a compatible topology. In the present paper we do a sort of historical review on the Mackey Theory, and we compare it in the two settings of locally convex spaces and of locally quasi-convex groups. We point out some general questions which are still open, under the name of Problems.

On Gruenhage spaces, separating σ-isolated families, and their relatives

We prove that, given a topological space X, the following conditions are equivalent. (α) X is a Gruenhage space. (β) X has a countable cover by sets of small local diameter (property SLD) by F∩G sets. (γ) X has a separating σ-isolated family M⊂F∩G. (δ) X has a one-to-one continuous map into a metric space which has a σ-isolated base of F∩G sets. Besides, we provide an example which shows Fragmentability ⇏ property SLD ⇏ the space to be Gruenhage.