Über innere Abbildungen
We define an ultra -ideal of a lattice implication algebra and give equivalent conditions for an -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 -ideal.
A mistake concerning the ultra -ideal of a lattice implication algebra is pointed out, and some new sufficient and necessary conditions for an -ideal to be an ultra -ideal are given. Moreover, the notion of an -ideal is extended to -algebras, the notions of a (prime, ultra, obstinate, Boolean) -ideal and an -ideal of an -algebra are introduced, some important examples are given, and the following notions are proved to be equivalent in -algebra: (1) prime proper -ideal and Boolean -ideal,...
Let be a group, be the Stone-Čech compactification of endowed with the structure of a right topological semigroup and . Given any subset of and , we define the -companion of , and characterize the subsets with finite and discrete ultracompanions.
Given a free ultrafilter on and a space , we say that is the -limit point of a sequence in (in symbols, -) if for every neighborhood of , . By using -limit points from a suitable metric space, we characterize the selective ultrafilters on and the -points of . In this paper, we only consider dynamical systems , where is a compact metric space. For a free ultrafilter on , the function is defined by - for each . These functions are not continuous in general. For a...