01 Grunnleggende mengdelære Flashcards
mengde
En mengde (eng: set) er en endelig eller uendelig samling av objekter der innbyrdes rekkefølge og antall forekomster av hvert objekt ignoreres
mengdebygger
En mengde kan defineres som mengden av alle elementer som har en gitt egenskap. En slik konstruksjon kalles en mengdebygger (eng: set builder / comprehension / abstraction)
{x | x har egenskapen P}
Mengden av alle elementer x slik at x har egenskapen P
union
Unionen (eng: union) av to mengder A og B er den mengden som inneholder nøyaktig de elementer som er element i A eller B. Dette inkluderer elementene som er med i begge.
A ∪ B
snitt
Snittet (eng: intersection) mellom to mengder A og B (A snittet med B) er mengden som inneholder nøyaktig de objekter som er element i både A og B.
A ∩ B
mengdedifferanse
Hvis A og B er mengder, er mengdedifferansen (eng: set difference) mellom A og B (A minus B) mengden som inneholder nøyaktig de objekter som er element i A, men ikke element i B.
A \ B
delmengde
En mengde A er en delmengde (eng: subset) av en mengde B hvis alle elementer i A også er elementer i B. Vi leser ofte “A er inneholdt i B”.
A ⊆ B
tuppel
Et tuppel (eng: tuple) med n elementer (et n-tuppel) er en samling med n objekter der både innbyrdes rekkefølge og antall forekomster av hvert objekt teller.
Et 2-tuppel med to elementer x og y kalles et (ordnet) par (eng: ordered pair), og skrives ⟨x, y⟩.
To n-tupler er like hvis de er komponentvis like.
kartesisk produkt
Det kartesiske produktet (eng: cartesian product), også kalt kryssproduktet (eng: cross product), av n mengder, X1, …, Xn, skrives X1 x … x Xn og er definert som mengden av alle n-tupler
{⟨x1, …, xn⟩ | x1 ∈ Xi for i = 1, …, n}
hvor hvert element xi kommer fra mengden Xi. Skrive måten X^n er en forkortelse for X x X x … x X (n ganger).
Vi lar X^0 være mengden av det tomme tuppelet, {⟨⟩}.
multimengde
En multimengde (eng: bag/multiset) er en samling objekter der rekkefølgen, men ikke antall forekomster av hvert element, ignoreres. En multimengde kan angis ved å skrive opp elementene mellom symbolene [ ].