In this paper a particular case of z-ideals, called strongly z-ideal, is defined by introducing zero sets in pointfree topology. We study strongly z-ideals, their relation with z-ideals and the role of spatiality in this relation. For strongly z-ideals, we analyze prime ideals using the concept of zero sets. Moreover, it is proven that the intersection of all zero sets of a prime ideal of C(L),...

Proof. Properties 2 and 3 are left to the reader. For property 1, assume that S is an unbounded compact set. Since S is unbounded, we may select a sequence {vn}n=1 such that ‖vn‖ → 0 as n→∞. Since S is compact, this sequence will have a convergent subsequence, say {vk}k=1, which will still be unbounded. This sequence is Cauchy, so there is a positive integer K for which ‖v`− vm‖ ≤ 1/2 for all `...

In this note we study some topological properties of bounded sets and Bourbaki-bounded sets. Also we introduce two types of Bourbaki-bounded homomorphisms on topological groups  including, n$-$Bourbaki-bounded homomorphisms and$hspace{1mm}$ B$-$Bourbaki-bounded homomorphisms. We compare them to each other and with the class of continuous homomorphisms. So, two topologies are presented on them a...

A novel upper power domain construction is deened by means of strongly compact sets. Its power domains contain less elements than the classical ones in terms of compact sets, but still admit all necessary operations, i.e. they contain less junk. The notion of strong compactness allows a proof of stronger properties than compactness would, e.g. an intrinsic universal property of the upper power ...

a compact formulation of the set of tours neither in a graph nor its complement is presented and illustrates a general methodology proposed for constructing polyhedral models of decision problems based upon permutations, projection and lifting techniques. directed hamilton tours on n vertex graphs are interpreted as (n-1)- permutations. sets of extrema of birkhoff polyhedra are mapped to tours ...