Induktiivinen sarja

Kokeneet kirjoittajat eivät ole vielä tarkistaneet sivun nykyistä versiota, ja se voi poiketa merkittävästi 22. syyskuuta 2019 tarkistetusta versiosta . tarkastukset vaativat 2 muokkausta .

Induktiivinen joukko on joukko , joka on joko tyhjä tai sille on olemassa positiivinen kokonaisluku siten , että joukko sisältää täsmälleen jäsenet [1] . Jos joukko on induktiivinen, se on äärellinen eikä voi olla refleksiivinen. Refleksiivinen joukko on joukko, joka vastaa omaa osajoukkoaan . Joukko on äärellinen, jos se ei ole refleksiivinen. Refleksiivinen joukko ei voi olla induktiivinen. Valinnan aksiooman totuuden ehdolla kaikki olemassa olevat joukot ovat joko induktiivisia tai refleksiivisiä, kolmatta ei anneta [2] . Ei ole olemassa joukkoja, joiden kardinaalisuus olisi äärellisten ja äärettömien joukkojen kardinaalisuuden välissä [2] .

Katso myös

Muistiinpanot

  1. ↑ Frenkel, 1966 , s. 85.
  2. ↑ 1 2 Frenkel, 1966 , s. 86.

Kirjallisuus