Lindelöf type of generalization of separability in Banach spaces

We will introduce the countable separation property (CSP) of Banach spaces X, which is defined as follows: X has CSP if each family E of closed linear subspaces of X whose intersection is the zero space contains a countable subfamily E₀ with the same intersection. All separable Banach spaces have CSP and plenty of examples of non-separable CSP spaces are provided. Connections of CSP with Marku?evi?-bases, Corson property and related geometric issues are discussed.     

$C(X)$上的开点与紧开拓扑

In this note we define a new topology on C(X),the set of all real-valued continuous functions on a Tychonoff space X.The new topology on C(X) is the topology having subbase open sets of both kinds:[f,C,ε[={g E C(X):|f(x)-g(x)| ε for every x∈C} and[U,r]~-={g∈C(X):g~(-1)(r)∩U≠φ},where f∈C(X),C∈KC(X)={nonempty compact subsets of X},ε 0,while U is an open subset of X and r∈R.The space C(X) equipped with the new topology T_(kh) which is stated above is denoted by C_(kh)(X).Denote X_0={x∈X:x is an isolated point of X} and X_c={x∈X:x has a compact neighborhood in X}.We show that if X is a Tychonoff space such that X_0=X_c,then the following statements are equivalent:(1) X_0 is G_δ-dense in X;(2) C_(kh)(X) is regular;(3) C_(kh)(X) is Tychonoff;(4) C_(kh)(X) is a topological group.We also show that if X is a Tychonoff space such that X_0=X_c and C_(kh)(X) is regular space with countable pseudocharacter,then X is σ-compact.If X is a metrizable hemicompact countable space,then C_(kh)(X) is first countable.     

On HCO spaces. An uncountable compactT 2 space,different from ℵ1+1, which is homeomorphic to each of its uncountable closed subspaces,which is homeomorphic to each of its uncountable closed subspaces

LetX be an Hausdorff space. We say thatX is a CO space, ifX is compact and every closed subspace ofX is homeomorphic to a clopen subspace ofX, andX is a hereditarily CO space (HCO space), if every closed subspace is a CO space. It is well-known that every well-ordered chain with a last element, endowed with the interval topology, is an HCO space, and every HCO space is scattered. In this paper, we show the following theorems: Theorem (R. Bonnet):

1. Every HCO space which is a continuous image of a compact totally disconnected interval space is homeomorphic to β+1 for some ordinal β.
2. Every HCO space of countable Cantor-Bendixson rank is homeomorphic to α+1 for some countable ordinal α.

Theorem (S. Shelah):Assume \(\diamondsuit _{\aleph _1 } \) . Then there is a HCO compact space X of Cantor-Bendixson rankω ₁} and of cardinality ?₁ such that:

1. X has only countably many isolated points,
2. Every closed subset of X is countable or co-countable,
3. Every countable closed subspace of X is homeomorphic to a clopen subspace, and every uncountable closed subspace of X is homeomorphic to X, and
4. X is retractive.

In particularX is a thin-tall compact space of countable spread, and is not a continuous image of a compact totally disconnected interval space. The question whether it is consistent with ZFC, that every HCO space is homeomorphic to an ordinal, is open.     

关于CSS空间及相关结论

CSS空间是指空间中的紧集都是一致G_δ集的空间.该文的第一部分,主要证明了具有拟G_δ(2)对角线的空间是CSS空间.另外,还证明了如果X是可数个闭的CSS空间的并,则X是CSS空间.CSS空间的可数积空间是CSS空间;第二部分证明了如果空间X可以表示成可数个闭的β空间(或半层空间)的并,则X是β空间(或半层空间).     

Nagata's conjecture and countably compact hulls in generic extensions

Nagata conjectured that every M-space is homeomorphic to a closed subspace of the product of a countably compact space and a metric space. Although this conjecture was refuted by Burke and van Douwen, and A. Kato, independently, but we can show that there is a c.c.c. poset P of size ω² such that in VP Nagata's conjecture holds for each first countable regular space from the ground model (i.e. if a first countable regular space X∈V is an M-space in VP then it is homeomorphic to a closed subspace of the product of a countably compact space and a metric space in VP). By a result of Morita, it is enough to show that every first countable regular space from the ground model has a first countable countably compact extension in VP. As a corollary, we also obtain that every first countable regular space from the ground model has a maximal first countable extension in model VP.     

Rings of Continuous Functions on Spaces of Finite Rank and the SV Property

Let X be a compact topological space and let C(X) denote the f-ring of all continuous real-valued functions defined on X. A point x in X is said to have rank n if, in C(X), there are n minimal prime ?-ideals contained in the maximal ?-ideal M _x  = {f ? C(X):f(x) = 0}. The space X has finite rank if there is an n ? N such that every point x ? X has rank at most n. We call X an SV space (for survaluation space) if C(X)/P is a valuation domain for each minimal prime ideal P of C(X). Every compact SV space has finite rank. For a bounded continuous function h defined on a cozeroset U of X, we say there is an h-rift at the point z if h cannot be extended continuously to U ∪ {z}. We use sets of points with h-rift to investigate spaces of finite rank and SV spaces. We show that the set of points with h-rift is a subset of the set of points of rank greater than 1 and that whether or not a compact space of finite rank is SV depends on a characteristic of the closure of the set of points with h-rift for each such h. If X has finite rank and the set of points with h-rift is an F-space for each h, then X is an SV space. Moreover, if every x ? X has rank at most 2, then X is an SV space if and only if for each h, the set of points with h-rift is an F-space.     

Division and k-th root theorems for Q-manifolds

We prove that a locally compact ANR-space X is a Q-manifold if and only if it has the Disjoint Disk Property (DDP), all points of X are homological Z∞-points and X has the countable-dimensional approximation property (cd-AP), which means that each map f:K→X of a compact polyhedron can be approximated by a map with the countable-dimensional image. As an application we prove that a space X with DDP and cd-AP is a Q-manifold if some finite power of X is a Q-manifold. If some finite power of a space X with cd-AP is a Q-manifold, then X2 and X×[0,1] are Q-manifolds as well. We construct a countable familyχof spaces with DDP and cd-AP such that no space X∈χis homeomorphic to the Hilbert cube Q whereas the product X×Y of any different spaces X, Y∈χis homeomorphic to Q. We also show that no uncountable familyχwith such properties exists.     

度量空间的序列复盖SS一映射

证明了如下结果：（l）拓扑空间X具有局评可数弱基当且仅当X＃A星空间的1一序列复盖商ss-掩映象；（2）拓升空间X具有局都可数基当且仅当XRk量空间的2一序列复盖商ss一映象．     

Coincidence of the upper Kuratowski topology with the co-compact topology on compact sets, and the Prohorov property

For a Hausdorff space X, let F be the hyperspace of all closed subsets of X and H a sublattice of F. Following Nogura and Shakhmatov, X is said to be H-trivial if the upper Kuratowski topology and the co-compact topology coincide on H. F-trivial spaces are the consonant spaces first introduced and studied by Dolecki, Greco and Lechicki. In this paper, we deal with K-trivial spaces and Fin-trivial space, where K and Fin are respectively the lattices of compact and of finite subsets of X. It is proved that if C_k(X) is a Baire space or more generally if X has ‘the moving off property’ of Gruenhage and Ma, then X is K-trivial. If X is countable, then C_p(X) is Baire if and only if X is Fin-trivial and all compact subsets of X are finite. As for consonant spaces, it turns out that every regular K-trivial space is a Prohorov space. This result remains true for any regular Fin-trivial space in which all compact subsets are scattered. It follows that every regular first countable space without isolated points, all compact subsets of which are countable, is Fin-nontrivial. Examples of K-trivial non-consonant spaces, of Fin-trivial K-nontrivial spaces and of countably compact Prohorov Fin-nontrivial spaces, are given. In particular, we show that all (generalized) Fréchet–Urysohn fans are K-trivial, answering a question by Nogura and Shakhmatov. Finally, we describe an example of a continuous open compact-covering mapping f :X→Y, where X is Prohorov and Y is not Prohorov, answering a long-standing question by Topsøe.     

星可数k网与序列覆盖s映射

证明了在空间具有星可数ｋ网的条件下,度量空间的１（２）序列覆盖ｓ映象是局部可分度量空间的１（２）序列覆盖、紧覆盖ｓ映象。     

某些局部凸空间上相对弱紧集，相对弱列紧集，相对弱可数紧集的关系

对可分离的局部凸空间（Ｘ，τ），本文建立了相应的局部凸空间（Ｑｘ，Ｔｘ），利用它证明了当（Ｘ，τ）满足某些条件时（赋范空间满足这些条件），ＥＸ相对弱紧Ｅ相对弱列紧Ｅ相对弱可数紧，从而推广了Ｅｂｅｒｌｅｉｎ等人的工作，证明了在空间Ｄ（Ｒ￣ｎ），（Ｒ￣ｎ）和Ｄ＿（ＬＰ），１＜ｐ＜∞上前述三种弱紧性等价．     

Spaces in Which Countable Closed Sets Have Countable Character

It is proved that in a T ₃ space countable closed sets have countable character if and only if the set of limit point of the space is a countable compact set and every compact set is of countable character. Also, it is shown that spaces where countable sets have countable character are WN-spaces and are very close to M-spaces. Finally, some questions of Dai and Lia are discussed and some questions are proposed.     

Realizations of Countable Groups as Fundamental Groups of Compacta

It has been an open question for a long time whether every countable group can be realized as a fundamental group of a compact metric space. Such realizations are not hard to obtain for compact or metric spaces but the combination of both properties turn out to be quite restrictive for the fundamental group. The problem has been studied by many topologists (including Cannon and Conner) but the solution has not been found. In this paper we prove that any countable group can be realized as the fundamental group of a compact subspace of ${\mathbb{R}^4}$ . According to the theorem of Shelah [10] such space can not be locally path connected if the group is not finitely generated. The theorem is proved by an explicit construction of an appropriate space X _G for every countable group G.     

关于弱正则空间的闭扩充

在此文中我们分别给出了刻画第一可数弱正则一闭拓空间和第一可数弱正则一极小拓扑空间的等价性定理，同时我们还证明了第一个局部弱紧的第一可为九弱正则空间都存在一个第一可数弱正则一闭扩充，此定理在表达形式上数拟于Ｒ．Ｍ．Ｓｔｅｐｈｅｎｓｏｎ等人对ｐ＝第一可数完全正则，或第一可数Ｕｒｙｓｏｈｎ以及第一可数零维时的结果。     

Banach空间中带扰动的m-增生算子的零点与映象定理

设X为实Banach空间,TX D(T)→2x为m-增生算子,CD(T)→X为有界算子(未必连续),而C(T+I)-1为紧算子.假设     

On the mean square of the remainder for the euclidean lattice point counting problem

We study an invariant of dynamical systems called naive entropy, which is defined for both measurable and topological actions of any countable group. We focus on nonamenable groups, in which case the invariant is two-valued, with every system having naive entropy either zero or infinity. Bowen has conjectured that when the acting group is sofic, zero naive entropy implies sofic entropy at most zero for both types of systems. We prove the topological version of this conjecture by showing that for every action of a sofic group by homeomorphisms of a compact metric space, zero naive entropy implies sofic entropy at most zero. This result and the simple definition of naive entropy allow us to show that the generic action of a free group on the Cantor set has sofic entropy at most zero. We observe that a distal Γ-system has zero naive entropy in both senses, if Γ has an element of infinite order. We also show that the naive entropy of a topological system is greater than or equal to the naive measure entropy of the same system with respect to any invariant measure.     

Actions moyennables et fonctions harmoniquesAmeanable actions and harmonic functions

We prove that the action of a countable discrete group on a locally compact invariant space of minimal harmonic functions is ameanable. To cite this article: P. Biane, E. Germain, C. R. Acad. Sci. Paris, Ser. I 334 (2002) 355–358.     

Some extremely amenable groupsQuelques groupes extrêmement moyennables

A topological group G is extremely amenable if every continuous action of G on a compact space has a fixed point. Using the concentration of measure techniques developed by Gromov and Milman, we prove that the group of automorphisms of a Lebesgue space with a non-atomic measure is extremely amenable with the weak topology but not with the uniform one. Strengthening a de la Harpe's result, we show that a von Neumann algebra is approximately finite-dimensional if and only if its unitary group with the strong topology is the product of an extremely amenable group with a compact group. To cite this article: T. Giordano, V. Pestov, C. R. Acad. Sci. Paris, Ser. I 334 (2002) 273–278.     

Stationary probability measures and topological realizations

We establish the generic inexistence of stationary Borel probability measures for aperiodic Borel actions of countable groups on Polish spaces. Using this, we show that every aperiodic continuous action of a countable group on a compact Polish space has an invariant Borel set on which it has no σ-compact realization.     

度量空间的弱开cs-映象的注记

In this paper, we prove that a space with a compact countable weak base if and only if it is a weak open cs-image of a metric space.