Ositus

Wikipedia
Loikkaa: valikkoon, hakuun
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.

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[muokkaa | muokkaa wikitekstiä]