Osajoukko

Wikipedia

Loikkaa: valikkoon, hakuun
A ⊆ B Venn-diagrammina
A ⊆ B Venn-diagrammina

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


Formaalisti määritellään, että

B \subset A, kun \forall b \in B: b \in B \Rightarrow b \in A.


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

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

Esimerkkejä:

  1. Joukko {1, 2} on joukon {1, 2, 3} aito osajoukko.
  2. \mathbb{N} \subset \mathbb{Z} \subset \mathbb{Q} \subset \mathbb{R} \subset \mathbb{C}
  3. Joukko A0 = {b ∈ R : b ≤ 0} on joukon A1 = {b ∈ R : b ≤ 1} osajoukko.
  4. Joukko S = {Merkurius, Venus, Maa} on joukon P = {Aurinkokuntamme planeetat} osajoukko.
Haettu osoitteesta http://fi.wikipedia.org/wiki/Osajoukko
Henkilökohtaiset työkalut