Related papers: Some realcompact spaces

It is shown that every outer *-automorphism of a real C*-algebra can be uniquely extended to an injective envelope of real C*-algebra. It is proven that if a real C*-algebra is a simple, then its injective envelope is also simple, and it is…

A partial action is associated with a normal weakly left resolving labelled space such that the crossed product and labelled space $C^*$-algebras are isomorphic. An improved characterization of simplicity for labelled space $C^*$-algebras…

We introduce the category of C*-discrete inclusions of C*-algebras $A\subset B$ with a faithful conditional expectation $E:B\twoheadrightarrow A$. This class includes many examples such as finite Watatani index inclusions, and also abundant…

We investigate when a computable automorphism of a computable field can be effectively extended to a computable automorphism of its (computable) algebraic closure. We then apply our results and techniques to study effective embeddings of…

We define and systematically study nonassociative C*-algebras as C*-algebras internal to a topological tensor category. We also offer a concrete approach to these C*-algebras, as G-invariant, norm closed *-subalgebras of bounded operators…

Let $G$ be a locally compact groupoid. If $X$ is a free and proper $G$-space, then $(X*X)/G$ is a groupoid equivalent to $G$. We consider the situation where $X$ is proper but no longer free. The formalism of groupoid C*-algebras and their…

It is well known that for a non pseudocompact space X, the family (X) of all intermediate subrings of C(X) which contain bounded real valued continuous functions contains at least 2c many distinct rings. We show that if in addition X is…

We consider the relationship between normality and semi-proximality. We give a consistent example of a first countable locally compact Dowker space that is not semi-proximal, and two ZFC examples of semi-proximal non-normal spaces. This…

For realcompact spaces X and Y we give a complete description of the linear biseparating maps between spaces of vector-valued continuous functions on X and Y, where special attention is paid to spaces of vector-valued bounded continuous…

For a collection of subcategories satisfying a fixed set of conditions, for example thick subcategories of a triangulated category, we define a topological space called classifying space of subcategories. We show that this space classifies…

In this paper we introduce and study the notion of I-convergence of sequences in a metric-like space, where I is an ideal of subsets of the set N of all natural numbers. Further introducing the notion of I*-convergence of sequences in a…

The purpose of this note is to give counterexamples to the containment $I^{(3)}\subset I^2$ over the real numbers.

In a separably connected space any two points are contained in a separable connected subset. We show a mechanism that takes a connected bounded metric space and produces a complete connected metric space whose separablewise components form…

Recently a new kind of approximation to continuum topological spaces has been introduced, the approximating spaces being partially ordered sets (posets) with a finite or at most a countable number of points. The partial order endows a poset…

Convex sets appear in various mathematical theories, and are used to define notions such as convex functions and hulls. As an abstraction from the usual definition of convex sets in vector spaces, we formalize in Coq an intrinsic…

The purpose of this paper is construct an embedding of the C*-algebra of the Cartan motion group of a real reductive group G into the reduced C*-algebra of G itself. The embedding has a number of applications: we shall use it to…

Nuclear $C^*$-algebras having a system of completely positive approximations formed with convex combinations of a uniformly bounded number of order zero summands are shown to be approximately finite dimensional.

Let US be the class of all ultrametric spaces generated by labeled star graphs. We prove that compact US-spaces are the completions of totally bounded ultrametric spaces generated by decreasingly labeled rays. We characterize the…

We show that there are strictly pseudoconvex, real algebraic hypersurfaces in $\bC^{n+1}$ that cannot be locally embedded into a sphere in $\bC^{N+1}$ for any $N$. In fact, we show that there are strictly pseudoconvex, real algebraic…

The notion of bounded element of C*-inductive locally convex spaces (or C*-inductive partial *-algebras) is introduced and discussed in two ways: the first one takes into account the inductive structure provided by certain families of…