Echivalent cu setul - o enciclopedie mare de petrol și gaze, hârtie, pagina 2
echivalent cu setul
Două seturi sunt echivalente în cazul în care între elementele lor se poate stabili o corespondență unu-la-unu, spunem că seturile echivalente au același număr de putere sau de cardinal. Astfel, fiecare set de corelat-lea (un obiect - capacitatea sa, seturile echivalente corespunde uneia și aceeași putere [16].
De fapt, orice set infinit A conține un subset al A, echivalent cu setul de numere naturale, în timp ce seturi echivalente au aceeași putere. [17]
Construcția efectivă a funcțiilor de bază, la fel ca în paragraful precedent, se reduce la o simplă problemă de a construi lor pe elementul suport, prin introducerea conceptului de seturi echivalente. [18]
În principiu, rezoluția este un mijloc suficient pentru a scoate procedurile logice ale specificațiilor, deoarece fiecare oferă logică standard incluse în specificațiile noastre inițiale, poate fi transformată printr-o varietate de metode sistematice (de fapt) este echivalentă cu o mulțime de oferte. reprezentate ca disjuncts. În funcție de tipul propoziției sursă este un set poate cuprinde atât Horn și clauzele nehornovskie. Dacă toate clauzele Horn în acesta, în sinteza ulterioară se poate utiliza o metodă simplă de rezoluție, de sus în jos, așa cum se arată în exemplul anterior. În caz contrar, (atunci când clauzele nehornovskie disponibile) pot aplica o rezoluție comună. [19]
Prin urmare, dacă există un set C astfel încât nx (SATR (C)) SATX (C), apoi C echivalent cu nx (C)) Se pare că nx (C) poate fi infinit și nu au echivalent finit de T - și GF-dependență (vezi. Ex. [20]
Deci, este din nou în prim-plan sunt unele strict diferite, abstract, în mod logic separa elementele individuale, care sunt combinate într-o, ca să spunem așa, un set sălbatic, și numai prin îndepărtarea lor diferite-Ness, individualitate, chiar și care decurg din relația lor în interiorul întregului în care acestea sunt combinate, se transformă numărul de putere sau cardinal ca o clasă caracteristică seturi echivalente. obținut mapare unu la unul dintre elementele unul de altul. [21]
Capacitatea A este clasa tuturor mulțimilor care sunt echivalente cu mulțimea A, și este notată cu A. seturi echivalente sunt, de asemenea, numite equicardinal. [22]
Este ușor de văzut că aceasta este într-adevăr o relație de echivalență. O clasă de echivalență de seturi numite m-grade. [23]
A și asocia fiecare set, este echivalent, un T obiect (A), care se numește numărul cardinal sau puterea multimii A si setati orice echivalente cu acestea. In mod clar, setați echivalentul. și numai ei, au aceeași putere. [24]
Pluralitatea de puncte de două segmente sunt echivalente, deoarece deformarea uniformă segment mai mare devine mai mică și fiecare punct găsește adecvat. Se spune că puterea de seturi echivalente sunt egale. [25]
Arată că după identificarea seturilor echivalente de sistem N este convertit într-o algebra booleana complet (A. [26]
În cazul în care condiția (2) este îndeplinită, vom încerca să realizeze satisfacerea condiției (3), tratarea din nou, într-o anumită ordine în F rămase și atributele în funcție de laturile lor din stânga. Dacă se poate elimina unele atribut al unei partea stângă și încă mai au un set echivalent de atribute. atunci acest atribut este exclus. [27]
Două seturi sunt echivalente în cazul în care între elementele lor se poate stabili o corespondență unu-la-unu, spunem că seturile echivalente au același număr de putere sau de cardinal. Astfel, fiecare set de corelat-lea (un obiect - capacitatea sa, seturile echivalente corespunde uneia și aceeași putere [28].
Teorema 5.2 prevede că pentru non-minimal non-redundante G pot găsi Y - - U și Z - V, pentru care Y - Z și Y - Z în G. Odată ce sunt găsite, ele pot fi înlocuite, așa cum sa făcut în dovada Lema 5.8, un F-dependența de Z - - - UV. Rezultatul este echivalent cu o pluralitate de dependență F-un număr mai mic. [29]
Teorema 5.2 prevede că pentru G non-minimal non-redundante pot găsi Y - U și Z - V, pentru care Y - Z și Y - UZ în G. Odată ce sunt găsite, ele pot fi înlocuite, așa cum sa făcut în dovada Lema 5.8, unul F-dependența de Z - - - UV. Rezultatul este echivalent cu o pluralitate de dependență F-un număr mai mic. [30]
Pagini: 1 2 3