Karteesinen tulo
joukko-opin käsite
Karteesinen tulo eli tulojoukko on joukko-operaatio,[1] jolla muodostetaan kahdesta tai useammasta joukosta uusi joukko. Se on nimetty ranskalaisen matemaatikon ja filosofin René Descartesin mukaan. Descartes loi käsitteen kehitellessään analyyttista geometriaa.
Karteesisen tulon yleinen muoto voidaan esittää seuraavasti:
- ja ja , missä ovat joukkoja.
Esimerkkejä karteesisesta tulosta
muokkaaKahden joukon karteesinen tulo
muokkaaKahden joukon X ja Y karteesinen tulo on sellaisten järjestettyjen parien (x, y) joukko, joissa x on joukon X alkio ja y joukon Y alkio.
- Merkitään: ja .
Karteesisen tulon osajoukkoja kutsutaan binäärisiksi eli kaksipaikkaisiksi relaatioiksi.
Kolmen joukon karteesinen tulo
muokkaaEuklidinen kolmiulotteinen avaruus voidaan ilmaista joukkona , jonka alkiot eli "pisteet" ovat järjestettyjä kolmikkoja , missä .
Muita esimerkkejä
muokkaa- Olkoot ja . Tällöin ja .
- Olkoot M = {risti, pata, ruutu, hertta} ja N = {ässä, kuningas, rouva, jätkä, 10, 9, 8, 7, 6, 5, 4, 3, 2}.
Tällöin M × N = {(risti, ässä) , (risti, kuningas), (risti, rouva),...,(hertta, 2)}. (korttipakka) - Reaalitaso: R2 = R × R = {(x, y)| x ∈ R, y ∈ R}
Lähteet
muokkaa- ↑ Mark Freitag: Mathematics for Elementary School Teachers: A Process Approach, s. 95. Cengage Learning, 2013. ISBN 9781285528762 (englanniksi)
Kirjallisuutta
muokkaa- 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 0-07-037986-6