Lõplik hulk

Allikas: Vikipeedia

Matemaatikas nimetatakse lõplikuks hulgaks hulka, mille elementide arv on võrdne mõne naturaalarvuga.

Lõpliku hulga võib samaväärselt defineerida kui hulga, mis pole võrdvõimas ühegi oma pärisalamhulgaga.[1]

Definitsioon[muuda | redigeeri lähteteksti]

Hulka S nimetatakse lõplikuks, kui ta on tühihulk või kui leidub bijektsioon

f\colon S\rightarrow\{1,\ldots,n\}

mõne naturaalarvu n korral. Arvu n nimetatakse hulga S võimsuseks.

Tühja hulga arvamine lõplikuks hulgaks on kokkuleppe küsimus.[viide?]

Vaata ka[muuda | redigeeri lähteteksti]

Viited[muuda | redigeeri lähteteksti]

  1. Kaasik, Ü. (2002). Matemaatikaleksikon. Tartu.