Boolean - este

Să - o mulțime. Setul de toate subgrupurile numite Boolean (ca grad set (Engl. Set de alimentare), dezvăluind o pluralitate de sau a unei bucăți pluralitate) și marcate. De asemenea, este indicat, deoarece corespunde cu setul de mapări.

În cazul în care două seturi au aceeași cardinalitatea. aceeași cardinalitatea și Boolean. Declarația converse (adică operații pentru injectivitate cardinal) este independent de ZFC.

display-uri functori covariant funcționează în funcția astfel încât acesta afișează imaginea cu respect.
Contravariant funcția de afișare functor astfel încât se afișează în imaginea inversă completă sub.

În urma afirmație este adevărată:

număr finit de subseturi care constau din elemente, precum și.

Baza. .. În cazul în care, adică, setul este gol, atunci el are doar un singur subset - este ea însăși, și suntem interesați de numărul de îngrijire.

etapa de inducție. Să presupunem că afirmația este adevărată pentru unii n și lăsați - set cu număr cardinal. Fixarea unui element, împărțiți subseturi în două tipuri:

, care cuprinde
, care nu conțin, adică sunt subseturi.

Subseturi de tip (2) prin inducție. Dar subseturi de tip (1), exact la fel ca subsetul de tip (1), se obține dintr-unul și numai un subset de tip (2), prin adăugarea elementului și deci al fiecărui subset de tip (2) se obține prin această metodă un și numai un subset de tip (1).

Prin urmare, avem și. Prin ipoteza de inducție și. Noi primim.

Vezi ce „Boolean“ în alte dicționare:

Boolean -. Y, h speciale. Tip 1 danih rozryadnіstyu bіt scho Mauger priymati valori Lachey 1 ABO 0 (true true ABO) ... Ukrainsky tlumachny vocabular

Poset - În acest termen, există alte utilizări, vezi Setul comandat .. Subseturile, Upo ... Wikipedia

Simetric diferență - nu trebuie confundat cu diferența dintre seturi. Diagrama Euler Venn pentru o diferență de diferență simetrică simetrică a două seturi este teoretic operațiunea de mai multe p ... Wikipedia

selecție Axioma - selecția se numește teoria mulțimilor axiomatică următoarea declarație: „Pentru fiecare familie există nevidă seturi disjuncte (cel puțin unul) set. care are doar un singur element comun al c fiecare dintre seturile de ... ... Wikipedia

Axiom Boolean - axiom Boolean existenței (axioma subseturi) este formulat după cum urmează: „din orice set poate forma boolean, care este atât de multe. care constă din toate subgrupurile adecvate și inadecvate ale acestui set ". Conform Wikipedia ...

Lema Zorn - selecție axiomatică (axioma alegere), este următoarea teorie set declarație: axiomă selectați prevede: „Pentru fiecare familie există seturi disjuncte de nevid [cel puțin o] o pluralitate. care are doar un singur ... ... Wikipedia

BASIS - generarea unei multitudini de X minimum submulțime B. Generarea înseamnă că utilizarea unei anumite clase de operațiuni cerned elementelor se obține fiecare element Acest concept este asociat cu conceptul relației: operațiuni Xposredstvom elementelor plasate în ... ... matematică Enciclopedia

Teoria mulțimilor - teoria mulțimilor o ramură a matematicii care studiază proprietățile generale ale seturilor. Teoria mulțimilor este baza de cele mai multe discipline matematice; a avut o influență profundă asupra înțelegerii obiectului de ... ... Wikipedia

Subsetul - Acest articol lipsesc referințele bibliografice la sursele de informații. Informațiile trebuie să fie verificabile, în caz contrar acesta poate fi pusă la îndoială și eliminate. Aveți posibilitatea să ... Wikipedia

seturi combinand - Combinarea A și B unirea seturilor Teoretic o multitudine de seturi, care cuprinde toate elementele seturilor originale (tzh sumă sau compus.). Combinând cele două seturi ... Wikipedia