Transformations of Discrete Closure Systems

Transformations of Discrete Closure Systems

Peer-reviewed article not indexed in WoS or Scopus

Discrete systems such as sets, monoids, groups are familiar categories. The internal structure of the latter two is defined by an algebraic operator. In this paper we concentrate on discrete systems that are characterized by unary operators; these include choice operators $\CHOICE$, encountered in economics and social theory, and closure operators $\CL$, encountered in discrete geometry and data mining. Because, for many arbitrary operators $\OPER$, it is easy to induce a closure structure on the base set, closure operators play a central role in discrete systems. Our primary interest is in functions $f$ that map power sets $2^{\UNIV}$ into power sets $2^{\UNIV'}$, which are called transformations. Functions over continuous domains are usually characterized in terms of open sets. When the domains are discrete, closed sets seem more appropriate. In particular, we consider monotone transformations which are ``continuous'', or ``closed''. These can be used to establish criteria for asserting that ``the closure of a transformed image under $f$ is equal to the transformed image of the closure''.

Discrete systems such as sets, monoids, groups are familiar categories. The internal structure of the latter two is defined by an algebraic operator. In this paper we concentrate on discrete systems that are characterized by unary operators; these include choice operators $\CHOICE$, encountered in economics and social theory, and closure operators $\CL$, encountered in discrete geometry and data mining. Because, for many arbitrary operators $\OPER$, it is easy to induce a closure structure on the base set, closure operators play a central role in discrete systems. Our primary interest is in functions $f$ that map power sets $2^{\UNIV}$ into power sets $2^{\UNIV'}$, which are called transformations. Functions over continuous domains are usually characterized in terms of open sets. When the domains are discrete, closed sets seem more appropriate. In particular, we consider monotone transformations which are ``continuous'', or ``closed''. These can be used to establish criteria for asserting that ``the closure of a transformed image under $f$ is equal to the transformed image of the closure''.

closure; choice; operator; continuous; category; function

closure; choice; operator; continuous; category; function

ŠLAPAL, J.; PFALTZ, J.

2014

01.06.2013

0236-5294

ACTA MATHEMATICA HUNGARICA

138

4

Hungary

386

405

20