Locales as spectral spaces

A frame is a complete distributive lattice that satisfies the infinite distributive law ${b \wedge \bigvee_{i \in I} a_i = \bigvee_{i \in I} b \wedge a_i}$ b ∧ ? i ∈ I a i = ? i ∈ I b ∧ a i . The lattice of open sets of a topological space is a frame. The frames form a category Fr. The category of locales is the opposite category Fr ^op . The category BDLat of bounded distributive lattices contains Fr as a subcategory. The category BDLat is anti-equivalent to the category of spectral spaces, Spec (via Stone duality). There is a subcategory of Spec that corresponds to the subcategory Fr under the anti-equivalence. The objects of this subcategory are called locales, the morphisms are the localic maps; the category is denoted by Loc. Thus locales are spectral spaces. The category Loc is equivalent to the category Fr ^op . A topological approach to locales is initiated via the systematic study of locales as spectral spaces. The first task is to characterize the objects and the morphisms of the category Spec that belong to the subcategory Loc. The relationship between the categories Top (topological spaces), Spec and Loc is studied. The notions of localic subspaces and localic points of a locale are introduced and studied. The localic subspaces of a locale X form an inverse frame, which is anti-isomorphic to the assembly associated with the frame of open and quasi-compact subsets of X.     

Norming Subspaces Isomorphic to l_1

Norming subspaces are studied widely in the duality theory of Banach spaces. These subspaces are applied to the Borel and Baire classifications of the inverse operators. The main result of this article asserts that the dual of a Banach space X contains a norming subspace isomorphic to 1 provided that the following two conditions are satisfied:(1) X*contains a subspace isomorphic to 1;and(2) X*contains a separable norming subspace.     

Subspace Inclusion Graph of a Vector Space

In this paper, the authors introduce a graph structure, called subspace inclusion graph ?n(𝕍) on a finite dimensional vector space 𝕍 where the vertex set is the collection of nontrivial proper subspaces of a vector space and two vertices are adjacent if one is contained in other. The diameter, girth, clique number, and chromatic number of ?n(𝕍) are studied. It is shown that two subspace inclusion graphs are isomorphic if and only if the base vector spaces are isomorphic. Finally, some properties of subspace inclusion graph are studied when the base field is finite.     

Norming subspaces isomorphic to ℓ 1

Norming subspaces are studied widely in the duality theory of Banach spaces. These subspaces are applied to the Borel and Baire classifications of the inverse operators. The main result of this article asserts that the dual of a Banach space X contains a norming subspace isomorphic to l₁ provided that the following two conditions are satisfied: (1) X^* contains a subspace isomorphic to l₁; and (2) X^* contains a separable norming subspace.     

Tightness relative to some (co)reflections in topology

We address what might be termed the reverse reflection problem: given a monoreflection from a category A onto a subcategory B, when is a given object B ∈ B the reflection of a proper subobject? We start with a well known specific instance of this problem, namely the fact that a compact metric space is never the ?ech-Stone compactification of a proper subspace. We show that this holds also in the pointfree setting, i.e., that a compact metrizable locale is never the ?ech-Stone compactification of a proper sublocale. This is a stronger result than the classical one, but not because of an increase in scope; after all, assuming weak choice prin­ciples, every compact regular locale is the topology of a compact Hausdorff space. The increased strength derives from the conclusion, for in general a space has many more sublocales than subspaces. We then extend the analysis from metric locales to the broader class of perfectly normal locales, i.e., those whose frame of open sets consists entirely of cozero elements. We include a second proof of these results which is purely algebraic in character.

At the opposite extreme from these results, we show that an extremally disconnected locale is a compactification of each of its dense sublocales. Finally, we analyze the same phenomena, also in the pointfree setting, for the 0-dimensional compact reflec­tion and for the Lindelöf reflection.     

Boundary conditions for linear manifolds. III. Infinite dimensional adjoints via solution spaces

A formula is given for the orthogonal complement of any vector subspace of l₂. Countably infinite adjoint subspaces in a Banach space are characterized via solution spaces. In particular, infinite dimensional self-adjoint subspaces in a reflexive Banach space are characterized via solution spaces, generalizing a result in Dunford and Schwartz [“Linear Operators, II,” Interscience, New York, 1963]. Applications are made to closed linear manifolds in l₂ ⊕ l₂ as well as infinite dimensional, generalized ordinary differential subspaces in a Hilbert space with the boundary conditions imposed on real sequences. The results are also expressed via solution spaces.     

弱空间式Locale

空间式locale范畴SLoc是locale范畴Loc的余反射满子范畴,但对locale乘积不封闭．本文引入弱空间式locale,证明弱空间式locale范畴WSloc为范畴Loc的余反射满子范畴,且对locale秉积封闭．还证明了一个locale A是空间式的当且仅当它的枝映射localeN(A)是弱空间式的;一个空问式locale的每一个子locale都是空间式的当且仅当它的每一个子locale是弱空间式的．最后,证明了弱空间式性在定向函子下保持不变．     

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.     

Convergence of minimum norm elements of projections and intersections of nested affine spaces in Hilbert space

We consider a Hilbert space, an orthogonal projection onto a closed subspace and a sequence of downwardly directed affine spaces. We give sufficient conditions for the projection of the intersection of the affine spaces into the closed subspace to be equal to the intersection of their projections. Under a closure assumption, one such (necessary and) sufficient condition is that summation and intersection commute between the orthogonal complement of the closed subspace, and the subspaces corresponding to the affine spaces. Another sufficient condition is that the cosines of the angles between the orthogonal complement of the closed subspace, and the subspaces corresponding to the affine spaces, be bounded away from one. Our results are then applied to a general infinite horizon, positive semi-definite, linear quadratic mathematical programming problem. Specifically, under suitable conditions, we show that optimal solutions exist and, modulo those feasible solutions with zero objective value, they are limits of optimal solutions to finite-dimensional truncations of the original problem.     

Hypercyclic Subspaces on Fréchet Spaces Without Continuous Norm

Known results about hypercyclic subspaces concern either Fréchet spaces with a continuous norm or the space ω. We fill the gap between these spaces by investigating Fréchet spaces without continuous norm. To this end, we divide hypercyclic subspaces into two types: the hypercyclic subspaces M for which there exists a continuous seminorm p such that ${M \cap {\rm ker} p = \{0\}}$ and the others. For each of these types of hypercyclic subspaces, we establish some criteria. This investigation permits us to generalize several results about hypercyclic subspaces on Fréchet spaces with a continuous norm and about hypercyclic subspaces on ω. In particular, we show that each infinite-dimensional separable Fréchet space supports a mixing operator with a hypercyclic subspace.     

Locatedness and overt sublocales

Locatedness is one of the fundamental notions in constructive mathematics. The existence of a positivity predicate on a locale, i.e. the locale being overt, or open, has proved to be fundamental in constructive locale theory. We show that the two notions are intimately connected.Bishop defines a metric space to be compact if it is complete and totally bounded. A subset of a totally bounded set is again totally bounded iff it is located. So a closed subset of a Bishop compact set is Bishop compact iff it is located. We translate this result to formal topology. ‘Bishop compact’ is translated as compact and overt. We propose a definition of locatedness on subspaces of a formal topology, and prove that a closed subspace of a compact regular formal space is located iff it is overt. Moreover, a Bishop-closed subset of a complete metric space is Bishop compact — that is, totally bounded and complete — iff its localic completion is compact overt.Finally, we show by elementary methods that the points of the Vietoris locale of a compact regular locale are precisely its compact overt sublocales.We work constructively, predicatively and avoid the use of the axiom of countable choice.     

An operator on a Fréchet space with no common invariant subspace with its inverse

A Fréchet space with a two-sided Schauder basis is constructed, such that the corresponding bilateral shift is continuous and invertible, and has no common nontrivial invariant subspace with its inverse. This shows in particular, that the problem of existence of hyperinvariant subspaces for operators on general Fréchet spaces, admits a negative answer. It is also shown that the dual of the Fréchet space constructed can be identified with a commutative locally convex complete topological algebra with unit, which has no closed nontrivial ideals.     

K-fusion Frames and the Corresponding Generators for Unitary Systems

Motivated by K-frames and fusion frames, we study K-fusion frames in Hilbert spaces.By the means of operator K, frame operators and quotient operators, several necessary and sufficient conditions for a sequence of closed subspaces and weights to be a K-fusion frame are obtained, and operators preserving K-fusion frames are discussed. In particular, we are interested in the K-fusion frames with the structure of unitary systems. Given a unitary system which has a complete wandering subspace, we give a necessary and sufficient condition for a closed subspace to be a K-fusion frame generator.     

<Emphasis Type="Italic">K</Emphasis>-fusion Frames and the Corresponding Generators for Unitary Systems

Motivated by K-frames and fusion frames, we study K-fusion frames in Hilbert spaces. By the means of operator K, frame operators and quotient operators, several necessary and sufficient conditions for a sequence of closed subspaces and weights to be a K-fusion frame are obtained, and operators preserving K-fusion frames are discussed. In particular, we are interested in the K-fusion frames with the structure of unitary systems. Given a unitary system which has a complete wandering subspace, we give a necessary and sufficient condition for a closed subspace to be a K-fusion frame generator.     

τ-CHEBYSHEV AND τ-COCHEBYSHEV SUBPSACES OF BANACH SPACES

The concepts of quasi-Chebyshev and weakly-Chebyshev and σ-Chebyshev were defined [3 - 7], and as a counterpart to best approximation in normed linear spaces, best coapproximation was introduced by Franchetti and Furi[1]. In this research, we shall define τ-Chebyshev subspaces and τ-cochebyshev subspaces of a Banach space, in which the property τ is compact or weakly-compact, respectively. A set of necessary and sufficient theorems under which a subspace is τ-Chebyshev is defined.     

Entourages, Covers and Localic Groups

Due to the nature of product in the category of locales, the entourage uniformities in the point-free context only mimic the classical Weil approach while the cover (Tukey type) ones can be viewed as an immediate extension. Nevertheless the resulting categories are concretely isomorphic. We present a transparent construction of this isomorphism, and apply it to the natural uniformities of localic groups. In particular we show that localic group homomorphisms are uniform, thus providing natural forgetful functors from the category of localic groups into any of the two categories of uniform locales.     

τ-CHEBYSHEV AND τ-COCHEBYSHEV SUBPSACES OF BANACH SPACES

The concepts of quasi-Chebyshev and weakly-Chebyshev and σ-Chebyshev were defined [3 - 7], andas a counterpart to best approximation in normed linear spaces, best coapprozimation was introduced by Franchetti and Furi^[1]. In this research, we shall define τ-Chebyshev subspaces and τ-cochebyshev subspaces of a Banach space, in which the property τ is compact or weakly-compact, respectively. A set of necessary and sufficient theorems under which a subspace is τ-Chebyshev is defined.     

Singular symmetric functionals and stabilizing subspaces of Marcinkiewicz spaces

We consider Marcinkiewicz spaces of functions measurable on a semiaxis that admit a wide set of singular symmetric Dixmier functionals. For elements of these spaces we study the measurability property introduced by A. Connes. We establish that this property is closely connected with the Tauberian property (which is more strong) but is not reduced to it. We specify the maximal subspace of the Marcinkiewicz space such that for its elements both properties are equivalent. We prove that this subspace is not reducible to other known subspaces of the Marcinkiewicz space and that it plays an important role in the theory of Dixmier functionals.     

Ergodic Banach spaces

We show that any Banach space contains a continuum of non-isomorphic subspaces or a minimal subspace. We define an ergodic Banach space X as a space such that E₀ Borel reduces to isomorphism on the set of subspaces of X, and show that every Banach space is either ergodic or contains a subspace with an unconditional basis which is complementably universal for the family of its block-subspaces. We also use our methods to get uniformity results. We show that an unconditional basis of a Banach space, of which every block-subspace is complemented, must be asymptotically c₀ or ?_p, and we deduce some new characterisations of the classical spaces c₀ and ?_p.