Skip to content
BY-NC-ND 3.0 license Open Access Published by De Gruyter November 1, 2013

Closures on partial partitions from closures on sets

  • Christian Ronse EMAIL logo
From the journal Mathematica Slovaca

Abstract

Jordens and Sturm investigated the link between closure systems on sets and closure systems on partitions. We extend that study to the wider framework of partial partitions, and highlight better the relation between these two families of closure systems. Then we consider the construction of a closure operator on partial partitions by the iterated application a set operator to the blocks of a partial partition; the resulting closure system fits into our framework.

[1] BARTHÉLEMY, J. P.— LECLERC, B.: The median procedure for partitions. In: Partitioning Data Sets (I. J. Cox, P. Hansen, B. Julesz, eds.). DIMACS Ser. Discrete Math. Theoret. Comput. Sci. 19, American Mathematical Society, Providence, RI, 1995, pp. 3–34. Search in Google Scholar

[2] BAUER, A.— BIRKEDAL, L.— SCOTT, D. S.: Equilogical spaces, Theoret. Comput. Sci. 315 (2004), 35–59. http://dx.doi.org/10.1016/j.tcs.2003.11.01210.1016/j.tcs.2003.11.012Search in Google Scholar

[3] BIRKHOFF, G.: Lattice Theory. Amer.Math. Soc. Colloq. Publ. 25 (3rd ed.), American Mathematical Society, Providence, RI, 1995. Search in Google Scholar

[4] BLOCH, I.— HEIJMANS, H.— RONSE, C.: Mathematical morphology. In: Handbook of Spatial Logics (M. Aiello, I. Pratt-Hartmann, J. van Benthem, eds.), Springer, Dordrecht, 2007, Chapter 14, pp. 857–944. http://dx.doi.org/10.1007/978-1-4020-5587-4_1410.1007/978-1-4020-5587-4_14Search in Google Scholar

[5] BLYTH, T. S.: Lattices and Ordered Algebraic Structures, Springer, London, 2005. Search in Google Scholar

[6] DAVEY, B. A.— PRIESTLEY, H. A.: Introduction to Lattices and Order (2nd ed.), Cambridge University Press, Cambridge, 2002. http://dx.doi.org/10.1017/CBO978051180908810.1017/CBO9780511809088Search in Google Scholar

[7] Galois Connections and Applications (K. Denecke, M. Erné, S. L. Wismath, eds.), Kluwer, Dordrecht, 2004. Search in Google Scholar

[8] DRAŠKOVIČOVÁ, H.: The lattice of partitions in a set, Acta Fac. Rerum Natur. Univ. Comenian. Math. Publ. 24, (1970), 37–65 (Now: Acta Math. Univ. Comenian. (N.S.)). Search in Google Scholar

[9] DRAŠKOVIČOVÁ, H.: Congruence relations on the lattice of partitions in a set, Matematick ý Časopis SAV 21 (1971), 141–153 (Now: Math. Slovaca). Search in Google Scholar

[10] ERNÉ, M.: Closure. In: Beyond Topology (F. Mynard, E. Pearl, eds.). Contemp. Math. 486, American Mathematical Society, Providence, RI, 2009, pp. 163–238. http://dx.doi.org/10.1090/conm/486/0951010.1090/conm/486/09510Search in Google Scholar

[11] GANTER, B.— WILLE, R.: Formal Concept Analysis. In: General Lattice Theory (2nd ed.) (G. Grätzer, ed.), Birkhäuser, Basel, 2003, Appendix H, pp. 591–605. Search in Google Scholar

[12] GIERZ, G.— HOFMANN, K. H.— KEIMEL, K.— LAWSON, J. D.— MISLOVE, M.— SCOTT, D. S.: Continuous Lattices and Domains, Encyclopedia Math. Appl. 93, Cambridge University Press, Cambridge, 2003. http://dx.doi.org/10.1017/CBO978051154272510.1017/CBO9780511542725Search in Google Scholar

[13] GORDON, A. D.— VICHI, M.: Partitions of partitions, J. Classification 15 (1998), 265–285. http://dx.doi.org/10.1007/s00357990003410.1007/s003579900034Search in Google Scholar

[14] HEIJMANS, H. J. A. M.: Morphological Image Operators. Advances in Electronics and Electron Physics Series, Academic Press, Boston, 1994. Search in Google Scholar

[15] HEIJMANS, H. J. A. M.— SERRA, J.: Convergence, continuity and iteration in mathematical morphology, J. Visual Commun. Image Represent. 3 (1992), 84–102. http://dx.doi.org/10.1016/1047-3203(92)90032-O10.1016/1047-3203(92)90032-OSearch in Google Scholar

[16] JORDENS, O.— STURM, T.: Closure systems of equivalences with a local property, Math. Japonica 36 (1991), 245–250. Search in Google Scholar

[17] JORDENS, O.— STURM, T.: Equivalences with closed equivalence classes, Math. Japonica 36 (1991), 291–304. Search in Google Scholar

[18] MITCHELL, J. C.: Foundations for Programming Languages, MIT Press, Cambridge, MA, 1996. Search in Google Scholar

[19] ORE, O.: Theory of equivalence relations, Duke Math. J. 9 (1942), 573–627. http://dx.doi.org/10.1215/S0012-7094-42-00942-610.1215/S0012-7094-42-00942-6Search in Google Scholar

[20] RONSE, C.: Partial partitions, partial connections and connective segmentation, J.Math. Imaging Vision 32 (2008), 97–125. http://dx.doi.org/10.1007/s10851-008-0090-510.1007/s10851-008-0090-5Search in Google Scholar

[21] RONSE, C.: Adjunctions on the lattices of partitions and of partial partitions, Appl. Algebra Engrg. Comm. Comput. 21 (2010), 343–396. http://dx.doi.org/10.1007/s00200-010-0129-x10.1007/s00200-010-0129-xSearch in Google Scholar

[22] RONSE, C.: Idempotent block splitting on partial partitions, I: isotone operators, Order 28 (2011), 273–306. http://dx.doi.org/10.1007/s11083-010-9171-310.1007/s11083-010-9171-3Search in Google Scholar

[23] RONSE, C.: Idempotent block splitting on partial partitions, II: non-isotone operators, Order 28 (2011), 307–339. http://dx.doi.org/10.1007/s11083-010-9190-010.1007/s11083-010-9190-0Search in Google Scholar

[24] RONSE, C.— SERRA, J.: Algebraic foundations of morphology. In: Mathematical morphology: From Theory to Applications (L. Najman, H. Talbot, eds.), ISTE/J. Wiley & Sons, London/Hoboken, NJ, 2010, Chapter 2, pp. 35–80. Search in Google Scholar

[25] SABELFELD, A.— SANDS, D.: A per model of secure information flow in sequential programs, Higher-Order Symbolic Comput. 14 (2001), 59–91. http://dx.doi.org/10.1023/A:101155320033710.1023/A:1011553200337Search in Google Scholar

[26] Image Analysis and Mathematical Morphology, II: Theoretical Advances (J. Serra, ed.), Academic Press, London, 1988. Search in Google Scholar

[27] SERRA, J.: Mathematical morphology for Boolean lattices. In: Image Analysis and Mathematical Morphology, II: Theoretical Advances (J. Serra, ed.), Academic Press, London, 1988, Chapter 2, pp. 37–58. Search in Google Scholar

[28] SERRA, J.: A lattice approach to image segmentation, J. Math. Imaging Vision 24 (2006), 83–130. http://dx.doi.org/10.1007/s10851-005-3616-010.1007/s10851-005-3616-0Search in Google Scholar

[29] STURM, T.: Verbände von Kernen isotoner Abbildungen, Czekoslovak Math. J. 22(97) (1972), 126–144. 10.21136/CMJ.1972.101081Search in Google Scholar

Published Online: 2013-11-1
Published in Print: 2013-10-1

© 2013 Mathematical Institute, Slovak Academy of Sciences

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.

Downloaded on 16.4.2024 from https://www.degruyter.com/document/doi/10.2478/s12175-013-0147-9/html
Scroll to top button