Ero sivun ”Ylinumeroituva joukko” versioiden välillä
| [arvioimaton versio] | [katsottu versio] |
Poistettu sisältö Lisätty sisältö
p -k |
→Määritelmä: Huomasin mahdollisen virheen, mutta en osaa korjata kohtaa, koska en keksi mitä kirjoittaja lienee aikonut kirjoittaa. Merkkaukset: Mobiilimuokkaus mobiilisivustosta |
||
Rivi 18:
Joukko <math>\mathrm{S}</math> on ylinumeroituva jos ja vain jos [[funktio|kuvaus]]
:<math>f\colon \mathrm{S} \to \mathbb{N}</math>
on ainoastaan [[injektio]]. Jos kuvaus on [[bijektio]], on joukko <math>\mathrm{S}</math> numeroituva. (Tässä on varmaan virhe, koska kuvaus ylinumeroituvasta joukosta luonnollisiin lukuihin ei voi olla injektio, sillä silloin joukko olisi numeroituva numeroituvuuden määritelmän perusteella)
===Yleisiä tuloksia===
| |||