Cauchy completions of nearness frames

A nearness frame is Cauchy complete if every regular Cauchy filter on the nearness frame is convergent and we show that the categoryCCNFrm of Cauchy complete nearness frames is coreflective in the categoryNFrmC of nearness frames and Cauchy homomorphisms and that the coreflection of a nearness frame is given by the strict extension associated with regular Cauchy filters on the nearness frame. Using the same completion, we show that the categoryCCSNFrm of Cauchy complete strong nearness frames is coreflective in the categorySNFrm of strong nearness frames and uniform homomorphisms.     

An extension of the dual complexity space and an application to Computer Science

In 1999, Romaguera and Schellekens introduced the theory of dual complexity spaces as a part of the development of a mathematical (topological) foundation for the complexity analysis of programs and algorithms [S. Romaguera, M.P. Schellekens, Quasi-metric properties of complexity spaces, Topology Appl. 98 (1999) 311-322]. In this work we extend the theory of dual complexity spaces to the case that the complexity functions are valued on an ordered normed monoid. We show that the complexity space of an ordered normed monoid inherits the ordered normed structure. Moreover, the order structure allows us to prove some topological and quasi-metric properties of the new dual complexity spaces. In particular, we show that these complexity spaces are, under certain conditions, Hausdorff and satisfy a kind of completeness. Finally, we develop a connection of our new approach with Interval Analysis.     

Cospectral graphs and the generalized adjacency matrix

Let J be the all-ones matrix, and let A denote the adjacency matrix of a graph. An old result of Johnson and Newman states that if two graphs are cospectral with respect to yJ − A for two distinct values of y, then they are cospectral for all y. Here we will focus on graphs cospectral with respect to yJ − A for exactly one value of y. We call such graphs -cospectral. It follows that is a rational number, and we prove existence of a pair of -cospectral graphs for every rational . In addition, we generate by computer all -cospectral pairs on at most nine vertices. Recently, Chesnokov and the second author constructed pairs of -cospectral graphs for all rational , where one graph is regular and the other one is not. This phenomenon is only possible for the mentioned values of , and by computer we find all such pairs of -cospectral graphs on at most eleven vertices.     

Singular, nonsingular, and bounded rank completions of ACI-matrices

An affine column independent matrix is a matrix whose entries are polynomials of degree at most 1 in a number of indeterminates where no indeterminate appears with a nonzero coefficient in two different columns. A completion is a matrix obtained by giving values to each of the indeterminates. Affine column independent matrices are more general than partial matrices where each entry is either a constant or a distinct indeterminate. We determine when the rank of all completions of an affine column independent matrix is bounded by a given number, generalizing known results for partial matrices. We also characterize the square partial matrices over a field all of whose completions are nonsingular. The maximum number of free entries in such matrices of a given order is determined as well as the partial matrices with this maximum number of free entries.     

EQUI-MORPHIC FAMILIES IN CATEGORIES

Motivated by his previous work on proximally fine and on equi-p-fine uniform spaces, the author extends some results about equi-uniformly continuous families of functions to the general setting of equi-morphic families in a category.     

A concept of convergence in geodesic spaces

A CAT(0) space is a geodesic space for which each geodesic triangle is at least as ‘thin’ as its comparison triangle in the Euclidean plane. A notion of convergence introduced independently several years ago by Lim and Kuczumow is shown in CAT(0) spaces to be very similar to the usual weak convergence in Banach spaces. In particular many Banach space results involving weak convergence have precise analogues in this setting. At the same time, many questions remain open.     

Prefilter spaces and a precompletion of preuniform convergence spaces related to some well-known completions

In non-symmetric Convenient Topology the notion of pre-Cauchy filter is introduced and the construction of a precompletion of a preuniform convergence space is given from which Wyler's completion of a separated uniform limit space [O. Wyler, Ein Komplettierungsfunktor für uniforme Limesräume, Math. Nachr. 46 (1970) 1-12] as well as Weil's Hausdorff completion of a separated uniform space [A. Weil, Sur les Espaces à Structures Uniformes et sur la Topologie Générale, Hermann, Paris, 1937] can be derived (up to isomorphism). By the way, the construct PFil of prefilter spaces, i.e. of those preuniform convergence space which are ‘generated’ by their pre-Cauchy filters, is a strong topological universe filling in a gap in the theory of preuniform convergence spaces.     

Decompositions of Borel bimeasurable mappings between complete metric spaces

We prove that every Borel bimeasurable mapping can be decomposed to a σ-discrete family of extended Borel isomorphisms and a mapping with a σ-discrete range. We get a new proof of a result containing the Purves and the Luzin-Novikov theorems as a by-product. Assuming an extra assumption on f, or that Fleissner's axiom (SCω₂) holds, we characterize extended Borel bimeasurable mappings as those extended Borel measurable ones which may be decomposed to countably many extended Borel isomorphisms and a mapping with a σ-discrete range.     

The Katětov dimension of proximity spaces

An analogue of Kattov's theorem on the equality between the dimension of a Tychonov space and the analytic dimension of its ring of bounded real-valued continuous maps is established for proximity spaces and proximally continuous maps by an internal method of proof. A new kind of filter, called proximally prime filter, arises naturally as a tool in this theory.     

Isomorphism and local isomorphism of clones of spaces

We construct metric spaces X and Y such that their clones cloX and cloY (i.e. the categories of all continuous maps on their respective finite powers) are not isomorphic while any initial segment of cloX is isomorphic to the corresponding segment of cloY.     

On an affirmative answer to S. Lin?s problem

In this paper, we give an affirmative answer to the problem posed by S. Lin (2002, 2007) in [7] and [8], and give another answer to the question posed by Y. Ikeda, C. Liu and Y. Tanaka (2002) in [5].     

The compact-open topology: A new perspective

This paper studies the compact-open topology on the set KC(X) of all real-valued functions defined on a Tychonoff space, which are continuous on compact subsets of X. In addition to metrizability, separability and second countability of this topology on KC(X), various kinds of topological properties of this topology are studied in detail. Actually the motivation for studying the compact-open topology on KC(X) lies in the attempt of having a simpler proof for the characterization of a completeness property of the compact-open topology on C(X), the set of all real-valued continuous functions on X.     

Eigenvalues and expanders

Linear expanders have numerous applications to theoretical computer science. Here we show that a regular bipartite graph is an expanderif and only if the second largest eigenvalue of its adjacency matrix is well separated from the first. This result, which has an analytic analogue for Riemannian manifolds enables one to generate expanders randomly and check efficiently their expanding properties. It also supplies an efficient algorithm for approximating the expanding properties of a graph. The exact determination of these properties is known to be coNP-complete. The research was supported by the Weizmann Fellowship for Scientific Research and by Air Force Contract OSR 82-0326.     

Locally arcwise connected metrizable spaces with the fixed point property are complete-metrizable

Metrizable spaces which have no closed subset homeomorphic to the real halfline are considered. Complete-metrizability of such locally arcwise connected spaces is proved (Corollary 4) and a simple formula for a complete metric is given in Theorem 3.     

On the semi-uniformity of bornological convergence

Abstract

When in the construction of the ρ-Hausdorff distance the balls with finite radius are replaced with an arbitrary ideal of bounded sets we no longer obtain a uniformity, but a semi-uniformity. In this paper we study the uniform reflection of this structure and its properties.     

Selectors in non-Archimedean spaces

Continuous selectors on the hyperspace F(X) are studied, when X is a non-Archimedean space. It is shown that a non-Archimedean space has a continuous selector if and only if it is topologically well orderable. Another characterization is given in terms of density and complete metrizability.     

Preservation of completeness by some continuous maps

We show that a metrizable space Y is completely metrizable if there is a continuous surjection f:X→Y such that the images of open (clopen) subsets of the (0-dimensional paracompact) ?ech-complete space X are resolvable subsets of Y (in particular, e.g., the elements of the smallest algebra generated by open sets in Y).