Duera aro

El Vikipedio, la libera enciklopedio
Saltu al: navigado, serĉo

En matematiko, duera aroduuma aro estas aro kun akurate du malsamaj eroj, aŭ, ekvivalente, aro kies kardinalo estas 2.

Ekzemploj:

  • Aro {1, 2} estas duuma.
  • Aro {1, 1} estas ne duuma, ĉar ĝi estas la sama aro kiel {1}, kaj estas tiel unuera aro.

En aksioma aroteorio, la ekzisto de duumaj aroj estas konsekvenco de la aksiomo de malplena aro kaj la aksiomo de parigo. De la aksiomo de malplena aro sekvas ke ekzistas aro \emptyset = \{\}. De la aksiomo de parigo sekvas ke ekzistas aro \{\emptyset, \emptyset\} = \{\emptyset\}, kaj tial ekzistas aro \{\{\emptyset\}, \emptyset\}s. Ĉi tiu lasta aro havas du erojn.

Vidu ankaŭ[redakti | redakti fonton]