The first part of the paper deals with general features of weak star convergence from a topological point of view. We present basic facts about weak and weak star topologies, dual spaces and representations of linear functionals as Radon measures. A special attention is payed to finitely additive measures and some results regarding the Baire sets. We prove that in a wide class of topological sp...

Spatial aspects of computation are becoming increasingly relevant in Computer Science, especially in the field of collective adaptive systems and when dealing with systems distributed in physical space. Traditional formal verification techniques are well suited to analyse the temporal evolution of programs; however, properties of space are typically not taken into account explicitly. We present...

We investigate properties of the class of compact spaces on which every regular Borel measure is separable. This class will be referred to as MS. We discuss some closure properties of MS, and show that some simply deened compact spaces, such as compact ordered spaces or compact scattered spaces, are in MS. Most of the basic theory for regular measures is true just in ZFC. On the other hand, the...

For a closure space (P,φ) with φ(∅) = ∅, the closures of open subsets of P , called the regular closed subsets, form an ortholattice Reg(P,φ), extending the poset Clop(P,φ) of all clopen subsets. If (P,φ) is a finite convex geometry, then Reg(P, φ) is pseudocomplemented. The Dedekind-MacNeille completion of the poset of regions of any central hyperplane arrangement can be obtained in this way, ...

We design and analyze an algorithm for computing solutions with coefficients in a finite field Fq of underdetermined systems defined over Fq. The is based on reductions to zero-dimensional searches. searches are performed “vertical strips”, namely parallel linear spaces suitable dimension given direction. Our results show that, average, less than three suffice obtain solution the original syste...

in this paper‎, ‎strong convergence theorems of ishikawa type implicit iteration‎ ‎process with errors for a finite family of asymptotically‎ ‎nonexpansive in the intermediate sense and asymptotically‎ ‎quasi-pseudocontractive type mappings in normed linear spaces are‎ ‎established by using a new analytical method‎, ‎which essentially‎ ‎improve and extend some recent results obtained by yang‎ ‎...

Discrete systems such as sets, monoids, groups are familiar categories. The internal strucutre of the latter two is defined by an algebraic operator. In this paper we describe the internal structure of the base set by a closure operator. We illustrate the role of such closure in convex geometries and partially ordered sets and thus suggest the wide applicability of closure systems. Next we deve...

Let D be the open unit disk in the complex plane C. Denote by H(D) the class of all functions analytic on D. An analytic self-map φ : D → D induces the composition operator Cφ on H(D), defined by Cφ ( f ) = f (φ(z)) for f analytic on D. It is a well-known consequence of Littlewood’s subordination principle that the composition operator Cφ is bounded on the classical Hardy and Bergman spaces (se...