Charakterisierung nüchterner Räume

The categorySob of sober spaces is a full isomorphismclosed reflective subcategory of the categoryT _o of T_o-spaces (and continuous maps).SobT _o is characterized by: (i) every universal morphism of the adjunction is aT _o-epic embedding, and (ii) everyT _o-epic embedding, whose domain is sober, is a homeomorphism.Sob is the epi-reflective hull of the Sierpinski space D inT _o. A subspace of a sober space is sober, iff it is b-closed. A space is sober, iff it is a b-closed subspace of a power of D.     

TOPOLOGICAL CATEGORIES AND CLOSURE OPERATORS

Abstract

It is shown that the category CS of closure spaces is a topological category. For each epireflective subcategory A of a topological category X a functor F _A :X → X is defined and used to extend to the general case of topological categories some results given in [4], [5] and [10] for epireflective subcategories of the category Top of topological spaces.     

An Elementary Approach to Exponentiable Maps

Originally, exponentiable maps in the category Top of topological spaces were described by Niefield in terms of certain fibrewise Scott-open sets. This generalizes the first characterization of exponentiable spaces by Day and Kelly, which was improved thereafter by Hofmann and Lawson who described them as core-compact spaces.Besides various categorical methods, the Sierpinski-space is an essential tool in Niefield's original proof. Therefore, this approach fails to apply to quotient reflective subcategories of Top like Haus, the category of Hausdorff spaces. A recent generalization of the Hofmann–Lawson improvement to exponentiable maps enables now to reprove the characterization in a completely different and very elementary way. This approach works for any nontrivial quotient reflective subcategory of Top or Top/ _T , the category of all spaces over a fixed base space T, as well as for exponentiable monomorphisms with respect to epi-reflective subcategories.An important special case is the category Sep_Top/ _T of separated maps, i.e. distinct points in the same fibre can be separated in the total space by disjoint open neighbourhoods. The exponentiable objects in Sep turn out to be the open and fibrewise locally compact maps. The same holds for Haus/ _T , T a Hausdorff space. In this case, a similar characterization was obtained by Cagliari and Mantovani.     

A conglomerate of exponential supercategories of the category of finitely generated topological spaces

Summary For every ordinaln > 1 we define a categoryT _n of topological spaces in ech's sense which is isomorphic to a category ofn-ary monorelational systems. We show that every categoryT _n is an exponential supercategory of the categoryB of finitely generated topological spaces, which means that well-behaved function spacesG ^H can be defined inT _n wheneverG B.     

A remark on Mackey-functors

In the following note we characterize the category of Mackey functors from a categoryC, satisfying a few assumptions, to a categoryD as the category of functors from Sp(C), the category of spans inC, toD which preserve finite products. This caracterization permits to apply all results on categories of functors preserving a given class of limits to the case of Mackey-functors.     

A NOTE ON A PAPER BY NG PENG-NUNG AND LEE PENG-YEE

Abstract

In the paper “Convergence in normed Köthe spaces” (J. Singapore National Academy of Science, 4, 146–148 (1975) M.R. 52 # 11568) Ng Peng-Nung and Lee Peng-Yee obtained a convergence result in the general setting of Banach funcation spaces providing conditions in order that pointwise and weak convergence imply norm convergence. They claim this result to be a generalization of a corresponding well known result in the Lebesgue space L₁ (X, u). To substantiate their claim it is necessary to show that the class of Banach function spaces for which their theorem holds is larger than the class of L₁-spaces. This, we shall show, is unfortunately not the case.     

A remark on “homotofp fibrations”

We define a category Top^F of homotopy fibrations with fibre F (or rather maps with homotopy fibre F) and show that this category is closed under certain colimits and homotopy colimits. It follows that the geometric realization of a semisimplicial object in Top^F is again in Top^F. As a corollary we show that for a homotopy everything H-space A_*(i.e. a (special) -space in the sense of G. Segal (s.[9],[10])) with homotopy inverse the loop space of the classifying space of A_* is homotopy equivalent (not only weakly s. [9],[iO])to A₁ even without assuming that all spaces involved have the homotopy type of CW-complexes (compare [8]).     

EPIREFLECTIVE SUBCATEGORIES AND SEMICLOSURE OPERATORS

ABSTRACT

Let C be a category of topological spaces and continuous functions which is full, hereditary and closed under homeomorphisms and products. If A is a subclass of C, let E(A) be the full subcategory of C whose objects are the subspaces in A. In this paper we characterize the epireflective subcategories of C containing A and contained in E(A) by introducing a “semiclosure” operator which is a generalization for the “idempotent semi-limit” operator introduced by S.S. Hong (see [5]) with respect to Top _o. In case A is extensive in C, so that E(A) = C, all the extensive subcategories of C containing A are thus characterized.     

More on upper bicompletion-true functorial quasi-uniformities

Let T:QU₀→Top₀ denote the usual forgetful functor from the category of quasi-uniform T₀-spaces to that of the topological T₀-spaces. We regard the bicompletion reflector as a (pointed) endofunctor K:QU₀→QU₀. For any section F:Top₀→QU₀ of T we consider the (pointed) endofunctor R=TKF:Top₀→Top₀. The T-section F is called upper bicompletion-true (briefly, upper K-true) if the quasi-uniform space KFX is finer than FRX for every X in Top₀. An important known characterisation is that F is upper K-true iff the canonical embedding X→RX is an epimorphism in Top₀ for every X in Top₀. We show that this result admits a simple, purely categorical formulation and proof, independent of the setting of quasi-uniform and topological spaces. We thus mention a few other settings where the result is applicable. Returning then to the setting T:QU₀→Top₀, we prove: Any T-section F is upper K-true iff for all X the bitopology of KFX equals that of FRX; and iff the join topology of KFX equals the strong topology (also called the b- or Skula topology) of RX.     

Über einen Satz von Shl. Sternberg in der Theorie der analytischen Iterationen

Let X=X ₁,...,X _n be the ring of formal power series inn indeterminates over . LetF:XAX+B(X)=(F ⁽¹⁾(X),...,F ⁽ⁿ⁾(X))(X) ⁿ denote an automorphism of X and let ₁,..., _n be the eigenvalues of the linear partA ofF. We will say thatF has an analytic iteration (a. i.) if there exists a family (F _t (itX)) _t of automorphisms such thatF _t(X) has coefficients analytic int and such thatF ₀=X,F ₁=F,F _t+t=F_tF_t for allt,t. Let now a set=(ln₁,...,ln _n ) of determinations of the logarithms be given. We ask if there exists an a. i. ofF such that the eigenvalues of the linear partA(t) ofF _t(X) are . We will give necessary and sufficient conditions forF to have such an a. i., namely thatF is conjugate to a semicanonical formN=T ^–1FT such that inN ^(k)(X) there appear at most monomialsX ₁ ¹ ...X _n ⁿ . This generalizes a result of Shl.Sternberg.

---

---

Herrn Prof. Dr. E. Hlawka zum 60. Geburtstag gewidmet     

Essentially complete TO-spaces

For a topological space X (a), (b), (c), (d) are equivalent: (a) X is an essentially complete T_o-space. (b) (i) X is sober; (ii) X is an upper semi-lattice with o with regard to its induced partial order such that the binary sup: X × X X is continuous. (c) (i) X is a T_o-space; (ii) X is a complete lattice in its induced partial order such that for every set I the I-indexed sup: X^I X is continuous (d) (i) For every ordinary proper filter F on X there is a unique x X with X=conv . —The essential hull X of a T_o-space X can be constructed as a space of convergence sets. —Suitably topologizing a poset (X, ) one obtains (i) Frink's ideal completion, (ii) MacNeille's completion as the lattice underlying.     

On a Theorem of I. Juhász on the Image Weight Spectrum

Using C(X)-techniques, we give a simple proof of a recent theorem of I. Juhász: If X is an infinite compact T₂space of weight and < is any infinite cardinal, then X has a T₂continuous image Y, of weight . We observe that the answer to the analogous question about the values of a cardinal function for subspaces of a topological space follows in several cases from well-known results on chains of subspaces.     

An elementary approach to ‘Algebra ∩ topology = compactness’

Herrlich and Strecker characterized the category Comp ₂ of compact Hausdorff spaces as the only nontrivial full epireflective subcategory in the category Top ₂ of all Hausdorff spaces that is concretely isomorphic to a variety in the sense of universal algebra including infinitary operations. The original proof of this result requires Noble's theorem, i.e. a space is compact Hausdorff iff every of its powers is normal, which is far from being elementary. Likewise, Petz' characterization of the class of compact Hausdorff spaces as the only nontrivial epireflective subcategory of Top ₂, which is closed under dense extensions (= epimorphisms in Top ₂) and strictly contained in Top ₂ is based on a result by Kattov stating that a space is compact Hausdorff iff its every closed subspace is H-closed. This note offers an elementary approach for both, instead.Presented at the European Colloquium of Category Theory, Tours, France, 25–31 July 1994.     

Splittings of spaces CX

The n-fold free loop space ⁿSⁿX is for connected spaces X weakly equivalent to a simpler space C_nX, which has a natural filtration F_inr C_nX. It is well known that there is a splitting S^tF_r(C_nX) V _m=1 ^p S^t(F_m(C_nX)¦F_m–1(C_nX) inducing a stable splitting of C_nX. We give a simple construction for such a splitting with comparatively low estimates for the number t of necessary suspension coordinates.     

Ideals of subseries convergence and <Emphasis Type="Italic">F</Emphasis>-spaces

Let X be an F-space and \({\boldsymbol x=(x_n)}\) be a sequence of vectors in X. Ideals \({\mathcal{C}(\boldsymbol x)}\) of subseries convergence are considered. In particular, we show that a characterization of the class of Banach spaces not containing c ₀ obtained by using the ideals \({\mathcal{C}(\boldsymbol x)}\) breaks down in every Fréchet space not isomorphic to a Banach space. On the other hand, the result can be extended to some F-spaces via the definition of a new class of F-spaces satisfying a stronger version of the condition (O) of Orlicz. A theorem discriminating between the finite and infinite dimensional case is obtained about the family \({\mathcal{C}(X)}\) of all ideals associated with the F-space X.     

Finiteness properties of chevalley groups overFq[t]

LetG be a simple Chevalley group of rankn and Γ=G( ). Then the finiteness length of Γ shall be determined by studying the action of Γ on the Bruhat-Tits buildingX ofG . This is always possible provided that certain subcomplexes of the links of simplices inX are spherical. As a consequence, one obtains that Γ is of typeF _n−1 but not of typeFP _n ifG is of typeA _n, B_n, C_n orD _n andq≥2²ⁿ⁻¹.     

Probabilistic metric spaces induced by Markov chains

Let C be a collection of particles, each of which is independently undergoing the same Markov chain, and let d be a metric on the state space. Then, using transition probabilities, for distinct p, q in C, any time t and real x, we can calculate F _pq ^(t) (x) = Pr [d (p,q)t]. For each time t 0, the collection C is shown to be a probabilistic metric space under the triangle function . In this paper we study the structure and limiting behavior of PM spaces so constructed. We show that whenever the transition probabilities have non-degenerate limits then the limit of the family of PM spaces exists and is a PM space under the same triangle function. For an irreducible, aperiodic, positive recurrent Markov chain, the limiting PM space is equilateral. For an irreducible, positive recurrent Markov chain with period p, the limiting PM space has at most only [p/2]+2 distinct distance distribution functions. Finally, we exhibit a class of Markov chains in which all of the states are transient, so that P _ij(t)0 for all states i, j, but for which the {F _pq ^tt } all have non-trivial limits and hence a non-trivial limiting PM space does exist.     

Functional envelope of Cantor spaces

Given a topological dynamical system(X, T), where X is a compact metric space and T a continuous selfmap of X. Denote by S(X) the space of all continuous selfmaps of X with the compactopen topology. The functional envelope of(X, T) is the system(S(X), FT), where FT is defined by FT(?) = T ? ? for any ? ∈ S(X). We show that(1) If(Σ, T) is respectively weakly mixing, strongly mixing, diagonally transitive, then so is its functional envelope, where Σ is any closed subset of a Cantor set and T a selfmap of Σ;(2) If(S(Σ), F_σ) is transitive then it is Devaney chaos, where(Σ, σ) is a subshift of finite type;(3) If(Σ, T) has shadowing property, then(SU(Σ), FT) has shadowing property,where Σ is any closed subset of a Cantor set and T a selfmap of Σ;(4) If(X, T) is sensitive, where X is an interval or any closed subset of a Cantor set and T : X → X is continuous, then(SU(X), FT) is sensitive;(5) If Σ is a closed subset of a Cantor set with infinite points and T : Σ→Σ is positively expansive then the entropy ent U(FT) of the functional envelope of(Σ, T) is infinity.     

Operatoren H1→X

Let X be a complex Banach space and H¹ the usual Hardy space. Various properties of operators L¹/H ₀ ¹ X and, mainly, H¹X are considered, e.g. being weakly compact, Riesz representable, Dunford-Pettis. Connections with RNP resp. aRNP and with the validity of the equation are also studied, the latter space being an X-valued Hardy space. Whereas results for operators L¹/H ₀ ¹ X closely resemble well-known theorems about operators L¹ X, this is not the case for operators H¹X. E.g., for most classical Banach spaces X it isnot true that (canonically).