„Halmazrendszerek geometriája/Halmazrendszerek és hipergráfok” változatai közötti eltérés

Tartalom törölve Tartalom hozzáadva
Nincs szerkesztési összefoglaló
124. sor:
<center> m(R) = 2<sup>0</sup>&middot;χ<sub>R</sub>(s(1))+2<sup>1</sup>&middot;χ<sub>R</sub>(s(2))+...+2<sup>|U|-1</sup>&middot;χ<sub>R</sub>(s(|U|)).</center>
 
:: Az m('''R''') függvény tehát a <big><big>℘</big></big>(<big>U</big>) halmazból '''N'''-be képez. Ennél többet is tudunk mondani. Minthogy minden j∈<u>1,|U|</u> indexre χ<sub>R</sub>(s(1)) vagy nulla, vagy 1, ezért az összes m(R) szám tekinthető kettes számrendszerbeli számnak. A legkisebb köztük az azonosan 0 karakterisztikus függvényű R=&Oslash; üres részhalmazhoz tartozó, a legnagyobb pedig nyilván az azonosan 1 karakterisztikus függvényű U univerzális részhalmazhoz tartozó szám. Tehát az m('''R''') függvény Ran(m('''R''')) értékkészletére: Ran(m('''R'''))⊆<u>0, A</u>, ahol
<center> <math> \mbox{ }_{A = \underbrace{ \mbox{ }_{11 \cdots 1_{(2)} } }_{n \ db. 1-es} }</math> = 2<sup>0</sup>+2<sup>1</sup>+...+2<sup>|U|-1</sup>. </center>