Vikipedio:Projekto matematiko/Finia aro
El Vikipedio
 |
Ĉi tiu artikolo montras stilajn aŭ/kaj gramatikajn aŭ/kaj strukturajn problemojn kaj bezonas poluradon por konformi al pli bona nivelo de kvalito. Post plibonigo movu la artikolon al Finia aro (eble la nomo mem bezonas korekton) Se la ligo estas ruĝa, vi povas movi la artikolon. Se la ligo estas blua, la alia artikolo pri la temo jam ekzistas kaj tiun kaj ĉi tiun artikolon necasas kunigi. |
En matematiko, aro estas (nomita, vokis) finia se kaj nur se estas reciproke unuvalora surĵeto inter la aro kaj iu aro de la (formo, formi) {1, 2, ..., n} kie n estas natura nombro. (La valoro n=0 estas permesita; tio estas, la malplena aro estas finia.) Ĉiuj finiaj aroj estas numerebla , sed ne ĉiuj numereblaj aroj estas finia.
Ekvivalente, aro estas finia se ĝia kardinalo, kio estas la nombro de ĝiaj eroj, estas natura nombro. Ekzemple, la aro de (entjeroj, entjeras) inter -15 kaj 3 estas finia, ekde ĝi havas 17 eroj. La aro de ĉiuj primoj estas ne finia. Aroj (tiu, ke, kiu) estas ne finia estas (nomita, vokis) malfinio.
Aro estas (nomita, vokis) Dedekindo finia se tie ekzistas ne reciproke unuvalora surĵeto inter la aro kaj (ĉiu, iu) de ĝia pozitiva (subaroj, subaras). Ĝi estas teoremo (alprenanta la aksiomo de elekto) (tiu, ke, kiu) aro estas finia se kaj nur se ĝi estas Dedekindo finia.
[redaktu] Vidi ankaŭ
- malfinio
- _hereditarily_ finia aro
[redaktu] (Tononomo, Noto, Noti)
- Iu (aŭtoroj, aŭtoras) uzi "numerebla" al (meznombro, signifi) "kalkuleble malfinio", kaj tial ne konsideri finiaj aroj al esti numerebla.
