Osajoukko

Kohteesta Wikipedia
Loikkaa: valikkoon, hakuun

Joukko B on joukon A osajoukko, jos jokainen joukon B alkio kuuluu joukkoon A, merkitään . Tällöin sanotaan myös, että B sisältyy joukkoon A.


Formaalisti määritellään, että

, kun .


Joukko B on joukon A aito osajoukko, jos se on joukon A osajoukko, mutta B ei ole sama kuin A, BA.
Aitoa osajoukkoa merkitään usein , jolloin osajoukkoa merkitään .

Jokainen joukko C on itsensä osajoukko, . Tyhjä joukko Ø on jokaisen joukon osajoukko ja aito osajoukko jokaiselle joukolle paitsi itselleen.

Kun joukossa on n alkiota, siitä voidaan muodostaa osajoukkoa.[1]

Esimerkkejä:

  1. Joukko {1, 2} on joukon {1, 2, 3} aito osajoukko.
Sen kaikki osajoukot ovat Ø, {1}, {2}, {3}, {1, 2}, {1, 3}, {2, 3}, {1, 2, 3}.
  1. Joukko A0 = {b ∈ R : b ≤ 0} on joukon A1 = {b ∈ R : b ≤ 1} osajoukko.
  2. Joukko S = {Merkurius, Venus, Maa} on joukon P = {Aurinkokuntamme planeetat} osajoukko.

Lähteet[muokkaa | muokkaa wikitekstiä]

Viitteet
  1. Yngve Lehtosaari – Jarkko Leino: Matematiikka 10. Lukion laajempi kurssi. 1.5. Osajoukko. Harjoituksia: 2. s. 23. Helsinki: Kirjayhtymä, 1971.

Kirjallisuutta[muokkaa | muokkaa wikitekstiä]

  • Merikoski, Jorma; Virtanen, Ari; Koivisto, Pertti: Diskreetti matematiikka I. Tampere: Tampereen yliopisto, 2001 (1993). ISBN 951-44-3604-0.
  • Lipschutz, Seymour: Set Theory and Related Topics. McGraw-Hill, 1964. ISBN 0070379866.