Department of Pattern Recognition

(eng): We recall one Tarski's result about the existence of a non-zero additive measure defined on power set of an infinite set vanishing on finite subsets. This rather surprising result goes back to 1930 and it allows to introduce a non-trivial linear functional invariant under changes of finitely many inputs.

(cze): Najprv pripomenieme jeden Tarského výsledok o existencii nenulovej aditívnej miery definovanej na systéeme všetkých podmnožín daného univerza, ktorá je nulová na všetkých konečných podmnožinách. Tento dosť prekvapujúci výsledok pochádza z roku 1930 a umožňuje zaviesť netriviálny lineárny funkcionál, ktorý je invariantný vzhľadom na zmenu konečného počtu vstupných hodnôt