Graph-like continua, augmenting arcs, and Menger’s theorem

We show that an adaptation of the augmenting path method for graphs proves Menger’s Theorem for wide classes of topological spaces. For example, it holds for locally compact, locally connected, metric spaces, as already known. The method lends itself particularly well to another class of spaces, namely the locally arcwise connected, hereditarily locally connected, metric spaces. Finally, it applies to every space where every point can be separated from every closed set not containing it by a finite set, in particular to every subspace of the Freudenthal compactification of a locally finite, connected graph. While closed subsets of such a space behave nicely in that they are compact and locally connected (and therefore locally arcwise connected), the general subspaces do not: They may be connected without being arcwise connected. Nevertheless, they satisfy Menger’s Theorem. This work was carried out while Antoine Vella was a Marie Curie Fellow at the Technical University of Denmark, as part of the research project TOPGRAPHS (Contract MEIF-CT-2005-009922), under the supervision of Carsten Thomassen.     

An analogue of Edmonds’ Branching Theorem for infinite digraphs

We extend Edmonds’ Branching Theorem to locally finite infinite digraphs. As examples of Oxley or Aharoni and Thomassen show, this cannot be done using ordinary arborescences, whose underlying graphs are trees. Instead we introduce the notion of pseudo-arborescences and prove a corresponding packing result. Finally, we verify some tree-like properties for these objects, but give also an example that their underlying graphs do in general not correspond to topological trees in the Freudenthal compactification of the underlying multigraph of the digraph.     

Conditions under which the least compactification of a regular continuous frame is perfect

We characterize those regular continuous frames for which the least compactification is a perfect compactification. Perfect compactifications are those compactifications of frames for which the right adjoint of the compactification map preserves disjoint binary joins. Essential to our characterization is the construction of the frame analog of the two-point compactification of a locally compact Hausdorff space, and the concept of remainder in a frame compactification. Indeed, one of the characterizations is that the remainder of the regular continuous frame in each of its compactifications is compact and connected.     

THE WALLMAN COMPACTIFICATION OF FRAMES

Abstract

We show that a B-conjunctive frame L, where B is a normal base for L gives rise to a strong inclusion on L and therefore a compactification of L. The resulting compact regular frame corresponds to the quotient frame obtained by Johnstone in his construction of the Wallman compactification for frames. It is also shown that, in the presence of pseudocompactness the Wallman compactification and the Wallman realcompactification coincide.     

STRONG ZERO-DIMENSIONALITY OF BIFRAMES AND BISPACES

Abstract

A bispace is called strongly zero-dimensional if its bispace Stone—?ech compactification is zero—dimensional. To motivate the study of such bispaces we show that among those functorial quasi—uniformities which are admissible on all completely regular bispaces, some are and others are not transitive on the strongly zero-dimensional bispaces. This is in contrast with our result that every functorial admissible uniformity on the completely regular spaces is transitive precisely on the strongly zero-dimensional spaces.

We then extend the notion of strong zero-dimensionality to frames and biframes, and introduce a De Morgan property for biframes. The Stone—Cech compactification of a De Morgan biframe is again De Morgan. In consequence, the congruence biframe of any frame and the Skula biframe of any topological space are De Morgan and hence strongly zero-dimensional. Examples show that the latter two classes of biframes differ essentially.     

The homology of a locally finite graph with ends

We show that the topological cycle space of a locally finite graph is a canonical quotient of the first singular homology group of its Freudenthal compactification, and we characterize the graphs for which the two coincide. We construct a new singular-type homology for non-compact spaces with ends, which in dimension 1 captures precisely the topological cycle space of graphs but works in any dimension.     

A Shirota Theorem for Frames

We establish a version of the Shirota Theorem which characterises realcompactness in terms of completeness for frames; an interesting problem considering the various notions of realcompactness for frames and the fact that the frame completion behaves differently from its spatial counterpart. Amongst other consequences of this characterisation, we can describe the completion of a uniform sigma frame. We highlight some differences between frames and spaces when considering the Lindelöf property, realcompactness, paracompactness and completeness. Most of these results appear in the doctoral thesis of the author.     

Yet another patch construction for continuous frames and connections to the Fell compactification

It has been shown that the category of stably locally continuous frames and perfect frame homomorphisms reflects into the subcategory of continuous regular frames. The reflection functor is the patch frame construction, which has the following properties: For any stably locally continuous frame L and any regular frame M, a perfect frame homomorphism L → M factors uniquely through the patch frame of L. Furthermore, the patch is the universal solution to the problem of transforming the way–below relation into the well–inside relation. In this paper, we extend these results to the larger class of continuous frames, retaining functoriality and the universal properties, but at the price of sacrificing the reflection. We show that our patch construction can be obtained as a pushout involving the Fell compactification.     

Local n-connectivity of decomposition spaces

A corollary of the main result of this paper is the following Theorem. Suppose f: X → Y is a closed surjection of metrizable spaces whose point inverses are LC^{n + 1}-divisors (n ? 1). If Y is complete and f is homology n-stable, then Y is LC^{n + 1}provided X is LC^{n + 1}.Intuitively, f is homology n-stable if the ?ech homology groups of its point inverses are locally constant up to dimension n. In addition, we obtain sufficient conditions for the Freudenthal compactification to be LCⁿ.     

Connected but not path-connected subspaces of infinite graphs

Solving a problem of Diestel [9] relevant to the theory of cycle spaces of infinite graphs, we show that the Freudenthal compactification of a locally finite graph can have connected subsets that are not path-connected. However we prove that connectedness and path-connectedness to coincide for all but a few sets, which have a complicated structure.     

L—不分明拓扑空间的Alexandorff紧化

给出了一般的Ｌ－不分明拓扑空间的Ａｌｅｘａｎｄｏｒｆｆ紧化，并且对弱诱导空间证明了该紧化是弱诱导紧化类中唯一最小的紧化。     

f-Rings and the Stone-Weierstrass Theorem

Using an appropriate notion of separating subring, it is shown that the classical Stone-Weierstrass Theorem for compact Hausdorff spaces is ultimately a result about f-rings. As an application the constructively valid Stone-Weierstrass Theorem for compact completely regular frames is obtained.     

The gliding hump property in vector sequence spaces

It is shown that vector sequence spaces with a gliding hump property have many of the properties of complete spaces. For example, it is shown that the -dual of certain vector sequence spaces with a gliding hump property are sequentially complete with respect to the topology of pointwise convergence and also versions of the Banach-Steinhaus Theorem are established for such spaces.     

Intrinsic Localization of Frames

Several concepts for the localization of a frame are studied. The intrinsic localization of a frame is defined by the decay properties of its Gramian matrix. Our main result asserts that the canonical dual frame possesses the same intrinsic localization as the original frame. The proof relies heavily on Banach algebra techniques, in particular on recent spectral invariance properties for certain Banach algebras of infinite matrices. Intrinsically localized frames extend in a natural way to Banach frames for a class of associated Banach spaces which are defined by weighted ℓ^p-coefficients of their frame expansions. As an example, the time--frequency concentration of distributions is characterized by means of localized (nonuniform) Gabor frames.     

Remainders of rectifiable spaces

We prove a Dichotomy Theorem: for any Hausdorff compactification bG of an arbitrary rectifiable space G, the remainder bG?G is either pseudocompact or Lindelöf. This theorem generalizes a similar theorem on topological groups obtained earlier in A.V. Arhangel'skii (2008) [6], but the proof for rectifiable spaces is considerably more involved than in the case of topological groups. It follows that if a remainder of a rectifiable space G is paracompact or Dieudonné complete, then the remainder is Lindelöf and that G is a p-space. We also present an example showing that the Dichotomy Theorem does not extend to all paratopological groups. Some other results are obtained, and some open questions are formulated.     

More on remainders close to metrizable spaces

This article is a natural continuation of [A.V. Arhangel'skii, Remainders in compactifications and generalized metrizability properties, Topology Appl. 150 (2005) 79-90]. As in [A.V. Arhangel'skii, Remainders in compactifications and generalized metrizability properties, Topology Appl. 150 (2005) 79-90], we consider the following general question: when does a Tychonoff space X have a Hausdorff compactification with a remainder belonging to a given class of spaces? A famous classical result in this direction is the well known theorem of M. Henriksen and J. Isbell [M. Henriksen, J.R. Isbell, Some properties of compactifications, Duke Math. J. 25 (1958) 83-106].It is shown that if a non-locally compact topological group G has a compactification bG such that the remainder Y=bG?G has a Gδ-diagonal, then both G and Y are separable and metrizable spaces (Theorem 5). Several corollaries are derived from this result, in particular, this one: If a compact Hausdorff space X is first countable at least at one point, and X can be represented as the union of two complementary dense subspaces Y and Z, each of which is homeomorphic to a topological group (not necessarily the same), then X is separable and metrizable (Theorem 12). It is observed that Theorem 5 does not extend to arbitrary paratopological groups. We also establish that if a topological group G has a remainder with a point-countable base, then either G is locally compact, or G is separable and metrizable.     

Continuous Frames, Function Spaces, and the Discretization Problem

A continuous frame is a family of vectors in a Hilbert space which allows reproductions of arbitrary elements by continuous superpositions. Associated to a given continuous frame we construct certain Banach spaces. Many classical function spaces can be identified as such spaces. We provide a general method to derive Banach frames and atomic decompositions for these Banach spaces by sampling the continuous frame. This is done by generalizing the coorbit space theory developed by Feichtinger and Gröchenig. As an important tool the concept of localization of frames is extended to continuous frames. As a byproduct we give a partial answer to the question raised by Ali, Antoine, and Gazeau whether any continuous frame admits a corresponding discrete realization generated by sampling.     

Local Connectedness Made Uniform

The uniformly locally connected reflection for a locally connected uniform frame is constructed. Applications of this construction to the theory of locally connected completely regular frames are given. One such application is that if a completely regular frame is locally connected and pseudocompact then every compactification of it is locally connected.     

Constructing all self-adjoint matrices with prescribed spectrum and diagonal

The Schur–Horn Theorem states that there exists a self-adjoint matrix with a given spectrum and diagonal if and only if the spectrum majorizes the diagonal. Though the original proof of this result was nonconstructive, several constructive proofs have subsequently been found. Most of these constructive proofs rely on Givens rotations, and none have been shown to be able to produce every example of such a matrix. We introduce a new construction method that is able to do so. This method is based on recent advances in finite frame theory which show how to construct frames whose frame operator has a given prescribed spectrum and whose vectors have given prescribed lengths. This frame construction requires one to find a sequence of eigensteps, that is, a sequence of interlacing spectra that satisfy certain trace considerations. In this paper, we show how to explicitly construct every such sequence of eigensteps. Here, the key idea is to visualize eigenstep construction as iteratively building a staircase. This visualization leads to an algorithm, dubbed Top Kill, which produces a valid sequence of eigensteps whenever it is possible to do so. We then build on Top Kill to explicitly parametrize the set of all valid eigensteps. This yields an explicit method for constructing all self-adjoint matrices with a given spectrum and diagonal, and moreover all frames whose frame operator has a given spectrum and whose elements have given lengths.     

On the Riesz fusion bases in Hilbert spaces

In this paper we investigate the connection between fusion frames and obtain a relation between indexes of the synthesis operators of a Besselian fusion frame and associated frame to it. Next we introduce a new notion of a Riesz fusion bases in a Hilbert space. We show that any Riesz fusion basis is equivalent with a orthonormal fusion basis. We also obtain generalizations of Theorem 4.6 of [1]. Our results generalize results obtained for Riesz bases in Hilbert spaces. Finally we obtain some results about stability of fusion frame sequences under small perturbations.