LabLynx Wiki

Tämä artikkeli käsittelee matemaattista aihetta. Ositus on myös oikeustieteellinen käsite, josta on artikkeli ositus (oikeustiede).

Ositus on kokoelma joukon erillisiä epätyhjiä osajoukkoja, jotka yhdessä sisältävät kaikki joukon alkiot.^[1]

Täsmällinen määritelmä: Olkoon $\Omega$ epätyhjä joukko. $\{\Omega _{1},\Omega _{2},\ldots ,\Omega _{n}\}$ on $\Omega$ :n äärellinen ositus, jos $\Omega _{i}\cap \Omega _{j}=\varnothing$ kaikilla $i\neq j\ (i,j\leq n)$ ja

\bigcup _{i=1}^{n}\Omega _{i}=\Omega

.

$\{\Omega _{1},\Omega _{2},\ldots \}$ on $\Omega$ :n ääretön ositus, jos $\Omega _{i}\cap \Omega _{j}=\varnothing$ kaikilla $i\neq j\ (i,j\in \mathbb {N} )$ ja

\bigcup _{i=1}^{\infty }\Omega _{i}=\Omega

.

Katso myös

Lähteet

↑ Häsä, Jokke & Rämö, Johanna: Johdatus abstraktiin algebraan, s. 143–145. Helsinki: Gaudeamus, 2015. ISBN 978-952-495-361-0

Kirjallisuutta

Kivelä, Simo K.: Algebra ja geometria, s. 16–19. Helsinki: Otatieto, 1989. Virhe: Virheellinen ISBN-tunniste
Lipschutz, Seymour: Set Theory and Related Topics. McGraw-Hill, 1964. ISBN 0070379866

[k1-1] Häsä, Jokke & Rämö, Johanna: Johdatus abstraktiin algebraan, s. 143–145. Helsinki: Gaudeamus, 2015. ISBN 978-952-495-361-0

[1]