Open AccessSperner's Theorem
Author(s) -
Stepan Tarasenko
Publication year - 2021
Publication title -
modeling, control and information technologies
Language(s) - English
Resource type - Journals
eISSN - 2707-1049
pISSN - 2707-1030
DOI - 10.31713/mcit.2021.27
Subject(s) - multiset , mathematical proof , mathematics , brouwer fixed point theorem , element (criminal law) , danskin's theorem , simple (philosophy) , function (biology) , discrete mathematics , fixed point theorem , geometry , philosophy , epistemology , political science , law , evolutionary biology , biology
In the course of this work the analysis of the proofs of the simple case of the Sperner Theorem was carried out, the approaches to the proof of the complicated case were proposed, the partial cases of multisets were considered, the theorem for these partial cases was proved, the generalized theorem was proved for some partial cases. (the number of n - element multisets of k - element multiset), developed a small program to graphically show this fact, proved the bimonotonicity of this function. Also, in the course of this work, one of the possible applications of this theorem was considered, namely, the «Procedure for secret distribution», but the applied potential of the theorem does not end there.