Võimsus (hulgateooria): erinevus redaktsioonide vahel
Eemaldatud sisu Lisatud sisu
integreeritud teksti artiklist Hulk |
Resümee puudub |
||
36. rida:
Selleks et omavahel mittevõrdvõimsaid hulki siiski võrrelda saaks, määratakse kindlaks, millal hulk ''B'' on võimsam kui hulk ''A'':
:Kui on olemas [[bijektsioon]] ''f'' hulgalt ''A'' hulga ''B'' ''[[alamhulk|alamhulgale]]'' ''B'', siis öeldakse, et hulk ''A'' on hulgaga ''B'' võrdvõimas või sellest vähem võimas ehk hulk ''A'' ei ole võimsam kui hulk ''B'' ehk hulga ''A'' võimsus (|''A''|) ei ole suurem kui hulga ''B'' võimsus (|''B''|). Seda märgitakse üles nii: |''A''| <= |''B''|.
Hulk ''A'' ei ole võimsam kui hulk ''B'' [[parajasti siis, kui]] leidub [[injektsioon]] hulgast ''A'' hulka ''B''. Hulk ''A'' ei ole võimsam kui hulk ''B'' parajasti siis, kui leidub [[sürjektsioon]] hulgast ''B'' hulgale ''A''.
Hulgad ''A'' ja ''B'' on võrdvõimsad parajasti siis, kui ''A'' ei ole võimsam kui ''B'' ja ''B'' ei ole võimsam kui ''A''.
| |||