Utvalsaksiomet

Frå Wikipedia – det frie oppslagsverket
Gå til: navigering, søk

Utvalsaksiomet er eit viktig aksiom i mengdelære. Ein kan formulere aksiomet på fleire måtar, til dømes ved at ein i ein kvar familie av mengder kan velje ut eitt element frå kvar av dei og på den måten danne ei ny mengd. Enkelte matematiske teorem kan bevisast utan utvalsaksiomet medan andre ikkje kan. Aksiomet er særleg viktig for uendelege mengder.

Sjå òg[endre | endre wikiteksten]

Kjelder[endre | endre wikiteksten]