Cartesian closed hull of the category of uniform spaces

A concrete category $\text{K}$ is a CCT (cartesian closed topological) extension of the category Unif of uniform spaces if 1. $\text{K}$ is cartesian closed, 2. Unif is a full, finitely productive subcategory of $\text{K}$ and the forgetful functor of $\text{K}$ extends that of Unif and 3. $\text{K}$ has initial structures. We describe the smallest CCT extension of Unif which is called the CCT hull by H. Herrlich and L.D. Nel. The objects of the CCT hull are bornological uniform spaces, i.e. uniform spaces endowed with a collection of “bounded” sets related naturally to the uniformity; the morphisms are the uniformly continuous maps which preserve the bounded sets.     

Exponential objects and Cartesian closedness in the constructPrtop

We give an internal characterization of the exponential objects in the constructPrtop and investigate Cartesian closedness for coreflective or topological full subconstructs ofPrtop. If $ is the set {0} {1/n;n 1} endowed with the topology induced by the real line, we show that there is no full coreflective subconstruct ofPrtop containing $ and which is Cartesian closed. With regard to topological full subconstructs ofPrtop we give an example of a Cartesian closed one that is large enough to contain all topological Fréchet spaces and allT ₁ pretopological Fréchet spaces.Aspirant NFWO     

Discontinuous extensions and almost resolvability

It is proven that in large classes of topological spaces each real-valued continuous function on aG _δ-setG has an extension to the whole space which is continuous exactly at the points ofG. AmongG _δ-spaces this property characterizes the almost resolvable normal spaces.     

The K-Theory of C *-Algebras with Finite Dimensional Irreducible Representations

We study the K-theory of unital C^*-algebras A satisfying the condition that all irreducible representations are finite and of some bounded dimension. We construct computational tools, but show that K-theory is far from being able to distinguish between various interesting examples. For example, when the algebra A is n-homogeneous, i.e., all irreducible representations are exactly of dimension n, then K_*(A) is the topological K-theory of a related compact Hausdorff space, this generalises the classical Gelfand-Naimark theorem, but there are many inequivalent homogeneous algebras with the same related topological space. For general A we give a spectral sequence computing K_*(A) from a sequence of topological K-theories of related spaces. For A generated by two idempotents, this becomes a 6-term long exact sequence.     

Algebraic K-theory of non-linear projective spaces

In the spirit of “The Fundamental Theorem for the algebraic K-theory of spaces: I” (J. Pure Appl. Algebra 160 (2001) 21–52) we introduce a category of sheaves of topological spaces on n-dimensional projective space and present a calculation of its K-theory, a “non-linear” analogue of Quillen's isomorphism K_i(P_Rⁿ)₀ⁿK_i(R).     

Δ-spaces

We introduce the notion of a Δ-space and argue that a complete subcategory of the categoryTOP ₀of all topological T₀-spaces, defined by Δ-spaces, is a subdirectly closed subcategory ofTOP ₀that contains many of the known denotational semantic categories of topological spaces as subdirectly closed subcategories. As a consequence, the affirmative answer is given to Scott’s question which inquires whether the category of bifinite domains is a complete subdirectly closed subcategory ofEQU. Supported jointly by RFFR grant No. 96-0-00976 and by DFG grant No. 436-11312670. Translated fromAlgebra i Logika, Vol. 38, No. 6, pp. 667–679, November–December, 1999.     

ON CERTAIN INITIAL COMPLETIONS IN FUZZY TOPOLOGY

Abstract

Following a lead given by I.W. Alderton, it is shown that the MacNeille completion and the universal initial completion coincide for the categories of zero-dimensional fuzzy T₀-topological spaces, T₀-fuzzy closure spaces, 2T ₀-fuzzy bitopological spaces, and T ₁-fuzzy topological spaces and that these turn out to be respectively the categories of zero-dimensional fuzzy topological spaces, fuzzy closure spaces, fussy bitopological spaces, and fuzzy R ₀ topological spaces.     

A basic norm equivalence for the theory of multilevel methods

Summary Subspace decompositions of finite element spaces based onL ₂-like orthogonal projections play an important role for the construction and analysis of multigrid like iterative methods. Recently several authors have proved the equivalence of the associated discrete norms with theH ¹-norm. The present paper gives an elementary, self-contained derivation of this result which is based on the use ofK-functionals known from the theory of interpolation spaces.     

The facialQ-topology for compact convex sets

The structure of the set of closed two-sided ideals in aC*-algebraU with identity is described by means of a topology on the set _e K of extreme points of the state spaceK ofU. Recent results of Alfsen, Andersen, Combes, Perdrizet, Wils, and others have shown that such a topology can be defined on the set _e K of extreme points of an arbitrary compact convex subset of a locally convex Hausdorff topological vector space.The structure of the set of closed left ideals in aC*-algebraU with identity can also be described by means of a set of subsets of the set _e K of extreme points of its state spaceK. Akemann, Giles, and Kummer showed that this formed a more general structure than a topology which was called aq-topology. In this paper it is shown that for a reasonably wide class of compact convex subsetsK of locally convex Hausdorff topological vector spaces such aq-topology can also be defined on _e K and that it shares many of the properties of theq-topology defined forC*-algebras. The methods used depend strongly upon recent results of Alfsen and Shultz on the spectral theory of affine functions on compact convex sets.     

Weakly symmetric spaces and bounded symmetric domains

LetG be a connected, simply-connected, real semisimple Lie group andK a maximal compactly embedded subgroup ofG such thatD=G/K is a hermitian symmetric space. Consider the principal fiber bundleM=G/K _s G/K, whereK _s is the semisimple part ofK=K _s ·Z _K ⁰ andZ _K ⁰ is the connected center ofK. The natural action ofG onM extends to an action ofG ¹=G×Z _K ⁰ . We prove as the main result thatM is weakly symmetric with respect toG ¹ and complex conjugation. In the case whereD is an irreducible classical bounded symmetric domain andG is a classical matrix Lie group under a suitable quotient, we provide an explicit construction ofM=D×S ¹ and determine a one-parameter family of Riemannian metrics onM invariant underG ¹. Furthermore,M is irreducible with respect to . As a result, this provides new examples of weakly symmetric spaces that are nonsymmetric, including those already discovered by Selberg (cf. [M]) for the symplectic case and Berndt and Vanhecke [BV1] for the rank-one case.Research partially supported by an NSF grant. The author wishes to thank the International Erwin Schroedinger Institute for its hospitality during the preparation of this paper.     

On fuzzy covering properties

The purpose of this paper is to introduce properties of the notion of α-compactness for fuzzy topological spaces. Moreover, α _c-compact spaces are introduced and properties of them are also discussed for fuzzy topological spaces.      

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.     

Hausdorff separation in categories

Considering subobjects, points and a closure operator in an abstract category, we introduce a generalization of the Hausdorff separation axiom for topological spaces: the notion ofT ₂-object. We discuss the properties ofT ₂-objects, which depend essentially on the behaviour of points, and finally we relate them to the well-known separated objects.The results of this paper are essentially taken from the author's Ph. D. Thesis written under the supervision of Professors M. Sobral and W. Tholen and partially supported by a scholarship of I.N.I.C.-Instituto Nacional de Investigação Científica.     

Duality of <Emphasis Type="Italic">κ</Emphasis>-normed topological vector spaces and their applications

In this paper, the duality of κ-normed topological vector spaces X is defined and investigated, where X is over the field K = R, or K = C, or a non-Archimedean field. For such spaces, an analog of the Mackey-Arens theorem is proved. The conditional κ-normability of spaces L(X) of linear topological homeomorphisms of a locally convex κ-normed space X is studied, where the image of elements under the corresponding operations is in L(X). Cases where the κ-normability of a topological vector space implies its local convexity are investigated. Applications of κ-normed spaces for resolutions of differential equations and for approximations of functions in mathematical economics are given. Translated from Sovremennaya Matematika i Ee Prilozheniya (Contemporary Mathematics and Its Applications), Vol. 52, Functional Analysis, 2008.     

The curvature of the Sasaki metric of tangent sphere bundles

We study the sectional curvaturesK of the Sasaki metric of tangent sphere bundles over spaces of constant curvatureK(T ₁(M ⁿ, K)). We give precise bounds on the variation of the Ricci curvature and a bound on the scalar curvature ofT ₁ (M ⁿ, K) that is uniform onK. In an appendix we calculate and give lower bounds for the lengths of closed geodesics onT ₁ S ⁿ. titles.Translated from Ukrainskií Geometricheskií Sbornik, Issue 28, 1985, pp. 132–145.     

Iwasawa invariants of imaginary quadratic fields

LetK be an imaginary quadratic field andp an odd prime which splits inK. We study the Iwasawa invariants for ℤ _p -extensions ofK. This is motivated in part by a recent result of Sands. The main result is the following. Assumep does not divide the class number ofK. LetK _∞ be a ℤ _p -extension ofK. SupposeK _∞ is not totally ramified at the primes abovep. Then the μ-invariant forK _∞/K vanishes. We also show that if μ=0 for all ℤ _p -extensions ofK, then the λ-invariant is bounded asK _∞ runs through all such extensions.     

Free Internal Groups

In the first part of this note an elementary proof is given of the fact that algebraic functors, that is, functors induced by morphisms of Lawvere theories, have left adjoints provided that the category K\mathcal{K} in which the models of these theories take their values is locally presentable. The main focus however lies on the special cases of the underlying functor of the category Grp(K)\mathsf{Grp}(\mathcal{K}) of internal groups in K\mathcal{K} and the embedding of Grp(K)\mathsf{Grp}(\mathcal{K}) into Mon(K)\mathsf{Mon}(\mathcal{K}), the category of monoids in K\mathcal{K}: Here a unifying construction of the respective left adjoints is provided which not only works in case K\mathcal{K} is a locally presentable category but also when K\mathcal{K} is, for example, a particular category of topological spaces such as the category of Hausdorff or Tychonoff spaces or a cartesian closed topological category.     

On the MacNeille Completion of the Category of Partially Ordered Topological Spaces

Preordered topological spaces for which the order has a closed graph form a topological category. Within this category we identify the MacNeille completions (coinciding with the universal initial completions) of five monotopological subcategories, namely those of the T₀(T₁, T₂) preordered spaces and the (completely regular) partially ordered spaces. We also show that a functor due to L. NACHBIN from the quasi-uniform spaces to the preordered spaces preserves initial sources.     

PreT 2 Objects in Topological Categories

In previous papers, two notions of pre-Hausdorff (PreT ₂) objects in a topological category were introduced and compared. The main objective of this paper is to show that the full subcategory of PreT ₂ objects is a topological category and all of T ₀, T ₁, and T ₂ objects in this topological category are equivalent. Furthermore, the characterizations of pre-Hausdorff objects in the categories of filter convergence spaces, (constant) local filter convergence spaces, and (constant) stack convergence spaces are given and as a consequence, it is shown that these categories are homotopically trivial.