Baigtinės ir skaičiosios aibės
Pagal šį susitarimą skaičiosioms aibėms priskiriamos ir baigtinės aibės.
Esminės žinios
Aibė yra skaičiai begalinė, jei tarp jos ir natūraliųjų skaičių aibės egzistuoja bijekcija. Čia skaičioji reiškia baigtinė arba skaičiai begalinė; lygiavertiškai, iš jos egzistuoja injekcija į N.
Sąlygos ir taikymo ribos
- Laikykitės šio baigtines aibes apimančio susitarimo; kai kuriuose tekstuose skaičioji reiškia skaičiai begalinė.
- Tai aibės galios apibrėžtis, o ne teiginys, kad kiekvienos begalinės aibės elementus galima išvardyti.
Šaltiniai · 1
Šaltiniai
Šaltiniai išlaiko savo taikymo ribas. Vien nuoroda nepatvirtina kiekvieno teiginio patikrinimo.
Pagrindimas ir peržiūra
Aksiomų sąrašas; skyrius 2 apie išskyrimo aksiomų schemą; skyriai 9.6–9.10 apie susitarimą dėl baigtinių ir skaičiai begalinių aibių.
2026-10-10 · Tik apibrėžtys 9.6–9.7 ir išvada 9.9.
Įrašo informacija
Nuolatinė nuoroda į šį įrašą ↗- Įrašo identifikatorius
- math-countability
- Versija
- university-reference.1
- Struktūruotas žinyno įrašas
- Universitetinis žinynas