Neskončna množica

Iz MaFiRaWiki

Množica A je neskončna, če obstaja prava podmnožica S \subset A, ki ima enako moč kot A.

Velja:

  1. Množica A je neskončna natanko tedaj, ko obstaja injekcija \mathbb{N} \to A.
  2. Množica A z vsaj dvema elementoma je neskončna natanko tedaj, ko obstaja bijekcija med A in A \times A.
  3. Vsaka množica je bodisi končna bodisi neskončna.

Glej tudi

Osebna orodja