The main goal of this paper, divided into two sections, is to prove a theorem introduced in 1922 by the polish mathematician Kazimierz Kuratowski. This goal shall be accomplished in the second section of the paper with an argumentation, whose algebraic background has been prior exposed in the first section. The Kuratowski Closure-Complement Theorem asserts … Lire la suite de The Kuratowski Closure-Complement Problem
Composition law
An exercise inspired by the Kuratowski’s Closure-Complement Theorem
In general topology, the Closure-Complement Problem is set as follows: From a given subset A of a topological space and counting A itself, how many sets can be constructed by applying complementation and closure successively? The polish mathematician Kazimierz Kuratowski answered this question in a paper published in 1922. He showed that at most 14 sets … Lire la suite de An exercise inspired by the Kuratowski’s Closure-Complement Theorem
Formalis Mathematica 