Given an arbitrary ideal f on the real numbers, two topologies are denned that are both finer than the ordinary topology. There are nonmeasurable, non-Baire sets that are open in all of these topologies, independent of f . This shows why the restriction to Baire sets is necessary in the usual definition of the ./"-density topology. It appears to be difficult to find such restrictions in the cas...

let g = (v,e) be a locally finite graph, i.e. a graph in which every vertex has finitely many adjacent vertices. in this paper, we associate a topology to g, called graphic topology of g and we show that it is an alexandroff topology, i.e. a topology in which intersec- tion of every family of open sets is open. then we investigate some properties of this topology. our motivation is to give an e...

Following the point-set lattice-theoretic (poslat) approach to topology of S. E. Rodabaugh [11], we introduced a more general way to do categorical (fuzzy) topology under the name of categorically-algebraic (catalg) topology [12], which unified many lattice-valued topological settings, and provided the means of intercommunication between different such frameworks. Moreover, motivated by the res...

W is the category of archimedean l-groups with distinguished weak order unit, with l-group homomorphisms which preserve unit. This category includes all rings of continuous functions C(X) and all rings of measurable functions modulo null functions, with ring homomorphisms. The authors, and others, have studied previously the epimorphisms (right-cancellable morphisms) in W. There is a rich theor...

With the emergence of the fundamental paper [5] by Zadeh in 1965 number of papers have appeared in literature featuring the application of fuzzy sets to pattern recognition, decision problems, function approximation, system theory, fuzzy logic, fuzzy algorithms, fuzzy automata, fuzzy grammars, fuzzy languages, fuzzy algebras, fuzzy topology, etc. [2], [7]. In this note, our interests are in the...

A σ-frame is a poset with countable joins and finite meets in which binary meets distribute over countable joins. Aim of this paper is to present σ-frames, actually σ-locales, as a branch of Formal Topology, that is, intuitionistic and predicative pointfree topology. We show that every σframe L can be presented as the lattice of Lindelöf elements (those whose covers admit countable subcovers) o...

Let (A,LA) be a quantum metric space. Then clearly S(A) with the metric ρLA is a compact balanced convex metric space, i.e. the metric ρLA is convex and balanced. Another important property of S(A) is that the R−valued affine continuous functions Af(S(A)) separate the points of S(A). Conversly, let (X, ρ) be a compact balanced convex metric space on which Af(X) separate the points of X. Then Af...

modeling and simulation of processing plants are widely used in industry. construction of a mathematical model for a plant is a time-consuming and error-prone task. in light of extensive advancements in computer science (both hardware and software), computers are becoming a necessary instrument in industrial activities. many software tools for modeling, simulation and optimization of processing...

Most ownership systems enforce a tree topology on a program’s heap. The tree topology facilitates many aspects of programming such as thread synchronization, memory management, and program verification. Ownership-based verification techniques leverage the tree topology of an ownership system (and hence the fact that there exists a single owner) to restore sound modular reasoning about invariant...

Let X,Y be locally convex spaces and L(X,Y ) the space of continuous linear operators from X into Y . We consider 2 types of multiplier convergent theorems for a series P Tk in L(X,Y ). First, if λ is a scalar sequence space, we say that the series P Tk is λ multiplier convergent for a locally convex topology τ on L(X,Y ) if the series P tkTk is τ convergent for every t = {tk} ∈ λ. We establish...