Specker sequences revisited

Specker sequences are constructive, increasing, bounded sequences of rationals that do not converge to any constructive real. A sequence is said to be a strong Specker sequence if it is Specker and eventually bounded away from every constructive real. Within Bishop's constructive mathematics we investigate non‐decreasing, bounded sequences of rationals that eventually avoid sets that are unions of (countable) sequences of intervals with rational endpoints. This yields surprisingly straightforward proofs of certain basic results fromconstructive mathematics. Within Russian constructivism, we show how to use this general method to generate Specker sequences. Furthermore, we show that any nonvoid subset of the constructive reals that has no isolated points contains a strictly increasing sequence that is eventually bounded away from every constructive real. If every neighborhood of every point in the subset contains a rational number different from that point, the subset contains a strong Specker sequence. (© 2005 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Between compactness and completeness

Call a sequence in a metric space cofinally Cauchy if for each positive ε there exists a cofinal (rather than residual) set of indices whose corresponding terms are ε-close. We give a number of new characterizations of metric spaces for which each cofinally Cauchy sequence has a cluster point. For example, a space has such a metric if and only each continuous function defined on it is uniformly locally bounded. A number of results exploit a measure of local compactness functional that we introduce. We conclude with a short proof of Romaguera's Theorem: a metrizable space admits such a metric if and only if its set of points having a compact neighborhood has compact complement.     

Bounded approximation properties in non‐archimedean Banach spaces

Some non‐archimedean bounded approximation properties are introduced and studied in this paper. As an application, an affirmative answer is given, for non‐spherically complete base fields, to the following problem, posed in 13 , p. 95: Does there exist an absolutely convex edged set B in a non‐archimedean locally convex space such that its closure $\overline{B}Some non‐archimedean bounded approximation properties are introduced and studied in this paper. As an application, an affirmative answer is given, for non‐spherically complete base fields, to the following problem, posed in 13 , p. 95: Does there exist an absolutely convex edged set B in a non‐archimedean locally convex space such that its closure $\overline{B}$ is not edged?     

On Order Bounded Subsets of Locally Solid Riesz Spaces

In a topological Riesz space there are two types of bounded subsets: order bounded subsets and topologically bounded subsets. It is natural to ask (1) whether an order bounded subset is topologically bounded and (2) whether a topologically bounded subset is order bounded. A classical result gives a partial answer to (1) by saying that an order bounded subset of a locally solid Riesz space is topologically bounded. This paper attempts to further investigate these two questions. In particular, we show that (i) there exists a non-locally solid topological Riesz space in which every order bounded subset is topologically bounded; (ii) if a topological Riesz space is not locally solid, an order bounded subset need not be topologically bounded; (iii) a topologically bounded subset need not be order bounded even in a locally convex-solid Riesz space. Next, we show that (iv) if a locally solid Riesz space has an order bounded topological neighborhood of zero, then every topologically bounded subset is order bounded; (v) however, a locally convex-solid Riesz space may not possess an order bounded topological neighborhood of zero even if every topologically bounded subset is order bounded; (vi) a pseudometrizable locally solid Riesz space need not have an order bounded topological neighborhood of zero. In addition, we give some results about the relationship between order bounded subsets and positive homogeneous operators.     

On compact multipliers of topological algebras

It is shown that if the maximal ideal space (A) of a semisimple commutative complete metrizable locally convex algebra contains no isolated points, then every compact multiplies is trivial. In particular, compact multipliers on semisimple commutative Fréchet algebras whose maximal ideal space has no isolated points are identically zero.     

On some relationships between biorthogonal systems,linear topologies and the weak‐AFPP

In this paper, we obtain new results for the weak‐AFPP in abstract spaces by exploiting biorthogonal systems techniques. Firstly, we investigate the strong‐AFPP on countably infinite dimensional Hausdorff locally convex spaces. Spaces of this class are shown to be sequentially complete iff they have the hereditary FPP for totally bounded, closed convex sets. This might open a research line for the analysis of weak‐AFPP in such frames. In connection, we provide a simple criterion for the containement of ?₁‐sequences in terms of strongly‐equicontinuous biorthogonal systems. We then establish a few results concerning the existence of Hausdorff finer vector topologies on abstract spaces having as prescribed condition the existence of such systems. The proofs are based on methods of Peck and Porta concerning building of finer vector topologies, and a classical construction of Singer which allows us to prove under rather natural conditions the existence of equicontinuous biorthogonal systems in metrizable locally convex spaces. These results are compatible with the failure of the weak‐AFPP. We also study the inverse problem by proving that every infinite dimensional vector space admits a (non‐locally convex) Hausdorff vector topology which is complete, non‐metrizable and is compatible with a bounded Hamel Schauder basis. It is shown further that such a topology has the ‐AFPP, where is the linear span of coefficient functionals associated to a Hamel basis. Finally, inspired by a result of Shapiro, we observe that if X is a non‐locally convex F‐space with an absolute basis, then the weak‐AFPP is equivalent to the fact that every bounded convex subset of X is compact.     

Finitary sequence spaces

This paper studies the metric structure of the space H_r of absolutely summable sequences of real numbers with at most r nonzero terms. H_r is complete, and is located and nowhere dense in the space of all absolutely summable sequences. Totally bounded and compact subspaces of H_r are characterized, and large classes of located, totally bounded, compact, and locally compact subspaces are constructed. The methods used are constructive in the strict sense. MSC: 03F65, 54E50.     

概率赋范空间上的一些不动点定理的进一步分析

该文在局部有界ＰＮ空间或邻域卜局部凸ＰＮ空间上,证明了非空完备子集上的概率压缩映象必有唯一不动点;并在度量线性空间中给出了关于伪范族一致压缩映象的不动点定理．     

Dense computability structures

We examine computability structures on a metric space and the relationships between maximal, separable and dense computability structures. We prove that in a computable metric space which has the effective covering property and compact closed balls for a given computable sequence which is a metric basis there exists a unique maximal computability structure which contains that sequence. Furthermore, we prove that each maximal computability structure on a convex subspace of Euclidean space is dense. We also examine subspaces of Euclidean space on which each dense maximal computability structure is separable and prove that spheres, boundaries of simplices and conics are such spaces.     

Equilibrium maps between metric spaces

We show the existence of harmonic mappings with values in possibly singular and not necessarily locally compact complete metric length spaces of nonpositive curvature in the sense of Alexandrov. As a technical tool, we show that any bounded sequence in such a space has a subsequence whose mean values converge. We also give a general definition of harmonic maps between metric spaces based on mean value properties and-convergence.     

On completion of fuzzy metric spaces

Completions of fuzzy metric spaces (in the sense of George and Veeramani) are discussed. A complete fuzzy metric space Y is said to be a˜fuzzy metric completion of a˜given fuzzy metric space X if X is isometric to a˜dense subspace of Y. We present an example of a˜fuzzy metric space that does not admit any fuzzy metric completion. However, we prove that every standard fuzzy metric space has an (up to isometry) unique fuzzy metric completion. We also show that for each fuzzy metric space there is an (up to uniform isomorphism) unique complete fuzzy metric space that contains a˜dense subspace uniformly isomorphic to it.     

Reverse mathematics of separably closed sets

This paper contains a corrected proof that the statement “every non-empty closed subset of a compact complete separable metric space is separably closed” implies the arithmetical comprehension axiom of reverse mathematics.     

An equilateral four point property which characterizes generalized euclidean spaces

Various characterizations of generalized euclidean spaces among complete metric spaces which contain a metric line joining each two points make use of euclidean four point properties, which require that every quadruple from a suitably chosen class of quadruples of points of the metric space be isometric with a quadruple of euclidean points. The present paper shows if every quadruple which contains an equilateral triple and a linear triple is embeddable, the space is generalized euclidean.     

Wijsman topology on function spaces

LetC(X,Y) be the space of continuous functions from a metric space (X,d) to a metric space (Y, e).C(X, Y) can be thought as subset of the hyperspaceCL(X×Y) of closed and nonempty subsets ofX×Y by identifying each element ofC(X,Y) with its graph. We considerC(X,Y) with the topology inherited from the Wijsman topology induced onCL(X×Y) by the box metric ofd ande. We study the relationships between the Wijsman topology and the compact-open topology onC(X,Y) and also conditions under which the Wijsman topology coincide with the Fell topology. Sufficient conditions under which the compactopen topology onC(X,Y) is weaker than the Wijsman topology are given (IfY is totally bounded, then for every metric spaceX the compactopen topology onC(X,Y) is weaker than the Wijsman topology and the same is true forX locally connected andY rim-totally bounded). We prove that a metric spaceX is boundedly compact iff the Wijsman topology onC(X, ℝ) is weaker than the compact-open topology. We show that ifX is a σ-compact complete metric space andY a compact metric space, then the Wijsman topology onC(X,Y) is Polish.     

To the question of stability of periodic points of three-dimensional diffeomorphisms

Self-diffeomorphisms of three-dimensional space with a hyperbolic fixed point at the origin and a nontransversal point homoclinic to it are considered. It is assumed that the Jacobian matrix of the initial diffeomorphism has complex eigenvalues at the origin. It is shown that, under certain conditions imposed mainly on the character of tangency of the stable and unstable manifolds, a neighborhood of the nontransversal homoclinic point contains an infinite set of stable periodic points whose characteristic exponents are bounded away from zero.     

Convergence in probability of random power series and a related problem in linear topological spaces

A linear topological space is said to have the circle property if every power series with coefficients in it has a circle of convergence. Every complete locally convex or locally bounded space has the circle property, but not a certain class ofF-spaces including the space of all random variables on a non-atomic probability space, endowed with the topology of convergence in probability. Research sponsored by the National Science Foundation under Grant No. GP 6035.     

A characterization of distinguished Fréchet spaces

Bierstedt and Bonet proved in 1988 that if a metrizable locally convex space E satisfies the Heinrich's density condition, then every bounded set in the strong dual (E ′, β (E ′, E)) of E is metrizable; consequently E is distinguished, i.e. (E ′, β (E ′, E)) is quasibarrelled. However there are examples of distinguished Fréchet spaces whose strong dual contains nonmetrizable bounded sets. We prove that a metrizable locally convex space E is distinguished iff every bounded set in the strong dual (E ′, β (E ′, E)) has countable tightness, i.e. for every bounded set A in (E ′, β (E ′, E)) and every x in the closure of A there exists a countable subset B of A whose closure contains x. This extends also a classical result of Grothendieck. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Homogeneous spaces of curvature bounded below

We prove that every locally connected quotient G/H of a locally compact, connected, first countable topological group G by a compact subgroup H admits a G-invariant inner metric with curvature bounded below. Every locally compact homogeneous space of curvature bounded below is isometric to such a space. These metric spaces generalize the notion of Riemannian homogeneous space to infinite dimensional groups and quotients which are never (even infinite dimensional) manifolds. We study the geometry of these spaces, in particular of non-negatively curved homogeneous spaces. Dedicated to the memory of A. D. Alexandrov     

On Convergence to Infinity

 By a metric mode of convergence to infinity in a regular Hausdorff space X, we mean a sequence of closed subsets of X with and , and a sequence (or net) in X is convergent to infinity with respect to provided for each contains eventually. Modulo a natural equivalence relation, these correspond to one-point extensions of the space with a countable base at the ideal point, and in the metrizable setting, they correspond to metric boundedness structures for the space. In this article, we study the interplay between these objects and certain continuous functions that may determine the metric mode of convergence to infinity, called forcing functions. Falling out of our results is a simple proof that each noncompact metrizable space admits uncountably many distinct metric uniformities. (Received 2 March 1999)