In this paper, the uniform topological spaces are established based on the congruences induced by BF-ideals and some of their properties are discussed in negative non-involutive residuated lattices. ...The following conclusions are proved: (i) every uniform topological space is first-countable, zero-dimensional, disconnected, locally compact and completely regular. (ii) a uniform topological space is a T1 space iff it is a T2 space. (iii) the lattice and adjoint operations in a negative non-involutive residuated lattice are continuous with respect to the uniform topology, which make the negative non-involutive residuated lattice to be topological negative non-involutive residuated lattice. Meanwhile, some necessary and sufficient conditions for the uniform topological spaces to be compact and discrete are obtained. The results of this paper have a positive role to reveal internal features of negative non-involutive residuated lattices at a topological level.
We extend a notion of effective continuity due to Mori, Tsujii and Yasugi to real-valued functions on effective topological spaces. Under reasonable assumptions, Type-2 computability of these ...functions is characterized as sequential computability and the effective continuity. We investigate effective uniform topological spaces with a separating set, and adapt the above result under some assumptions. It is also proved that effective local uniform continuity implies effective continuity under the same assumptions.
Après quelques résultats de convergence faible, nous donnons des théorèmes de selection pour des éléments aléatoires sur des espaces uniformes. Nous rattachons un théorème de Fernandez (1971, p. ...1740) á ces résultats.
Following some results on weak convergence, theorems are given on the selection of sample elements on uniform spaces. Our results are tied in with a theorem of Fernandez (1971, p. 1740).
Après quelques résultats de convergence faible, nous donnons des théorèmes de sélection pour des éléments aléatoires sur des espaces uniformes. Nous rattachons un théorème de Fernandez (1971, p. ...1740) à ces résultats. /// Following some results on weak convergence, theorems are given on the selection of sample elements on uniform spaces. Our results are tied in with a theorem of Fernandez (1971, p. 1740).