-
Uniform topological space base on ideals in bounded Heyting algebras
- LIU Chun-hui
-
JOURNAL OF SHANDONG UNIVERSITY(NATURAL SCIENCE). 2022, 57(11):
10-20.
doi:10.6040/j.issn.1671-9352.0.2022.125
-
Abstract
(
657 )
PDF (548KB)
(
223
)
Save
-
References |
Related Articles |
Metrics
In order to study the properties and structure of bounded Heyting algebras by using topological tools, based on a type of congruences induced by the notion of ideal, uniform topological space (H,τ) is established and some of its basic and topological properties are investigated in bounded Heyting algebra (H,≤,→,0,1). It is proved that (H,τ) is disconnected, locally connected, locally compact, zero-dimensional, first-countable and completely regular space. Moreover (H,τ) is a T1 space if it is a Hausdorff space. Some necessary and sufficient conditions for (H,τ)to be discrete and compact space are obtained. It is showed that the lattice and implication operations in (H,≤,→,0,1) are continuous under the uniform topology τ, make (H,≤,→,0,1) to be a topological bounded Heyting algebra. Meanwhile, some properties of the quotient space of (H,τ) are discussed.