Page 1 Next

Displaying 1 – 20 of 31

Showing per page

Ultra L I -ideals in lattice implication algebras

Ke Yun Qin, Yang Xu, Young Bae Jun (2002)

Czechoslovak Mathematical Journal

We define an ultra L I -ideal of a lattice implication algebra and give equivalent conditions for an L I -ideal to be ultra. We show that every subset of a lattice implication algebra which has the finite additive property can be extended to an ultra L I -ideal.

Ultra L I -Ideals in lattice implication algebras and M T L -algebras

Xiaohong Zhang, Ke Yun Qin, Wiesław Aleksander Dudek (2007)

Czechoslovak Mathematical Journal

A mistake concerning the ultra L I -ideal of a lattice implication algebra is pointed out, and some new sufficient and necessary conditions for an L I -ideal to be an ultra L I -ideal are given. Moreover, the notion of an L I -ideal is extended to M T L -algebras, the notions of a (prime, ultra, obstinate, Boolean) L I -ideal and an I L I -ideal of an M T L -algebra are introduced, some important examples are given, and the following notions are proved to be equivalent in M T L -algebra: (1) prime proper L I -ideal and Boolean L I -ideal,...

Uniform maps into normed spaces

Zdeněk Frolìk (1974)

Annales de l'institut Fourier

Thirteen properties of uniform spaces are shown to be equivalent. The most important properties seem to be those related to modules of uniformly continuous mappings into normed spaces, and to partitions of unity.

Uniform Space

Roland Coghetto (2016)

Formalized Mathematics

In this article, we formalize in Mizar [1] the notion of uniform space introduced by André Weil using the concepts of entourages [2]. We present some results between uniform space and pseudo metric space. We introduce the concepts of left-uniformity and right-uniformity of a topological group. Next, we define the concept of the partition topology. Following the Vlach’s works [11, 10], we define the semi-uniform space induced by a tolerance and the uniform space induced by an equivalence relation....

Uniform topology onEQ-algebras

Jiang Yang, Xiao Long Xin, Peng Fei He (2017)

Open Mathematics

In this paper, we use filters of an EQ-algebra E to induce a uniform structure (E, 𝓚), and then the part 𝓚 induce a uniform topology 𝒯 in E. We prove that the pair (E, 𝒯) is a topological EQ-algebra, and some properties of (E, 𝒯) are investigated. In particular, we show that (E, 𝒯) is a first-countable, zero-dimensional, disconnected and completely regular space. Finally, by using convergence of nets, the convergence of topological EQ-algebras is obtained.

Currently displaying 1 – 20 of 31

Page 1 Next