Množice Flashcards
Kako lahko podajamo množice?
a) Z naštevanjem elementov (na primer: A = {0, 1, 2} )
b) Z neko izjavno formulo (na primer: A = {x; φ(x) } )
Velja naslednje: x ∈ A <=> φ(x)
Kdaj pravimo da sta množici enaki?
Množici sta enaki, kadar velja: A = B <=> ∀x(x ∈ A <=> x ∈ B)
Kdaj je množica A podmnožica množice B?
Množica A je podmnožica množice B, kadar velja: A ⊆ B <=> ∀x(x ∈ A => x ∈ B)
Kdaj je množica A prava podmnožica množice B?
Množica A je prava podmnožica množice B, kadar velja: A ⊂ B <=> A ⊆ B ⋀ A ≠ B
Temu predpisu pravimo tudi relacija stroge inkluzije.
Katere operacije z množicami poznaš?
Kdaj sta množici disjunktni?
Množici A in B sta disjunktni, če je A ∩ B = 0.
Katera množica je univerzalna množica?
Univerzalna množica (označimo jo s S – Svet) ustreza področju pogovora v predikatnem računu. Vse obravnavane množice so vsebovane v S.
Kaj je komplement množice?
Komplement množice A (označimo ga z AC) definiramo kot: AC = S \ A
Kaj je potenčna množica?
Potenčna množica PA množice A je množica vseh podmnožic A.
Definiramo jo kot: PA = {B; B ⊆ A}
Kakšna je povezava med množico in njeno potenčno množico (glede na elemente)?
Če množica A vsebuje natanko n elementov (in je n naravno število) potem PA vsebuje natanko 2**n elementov.
Kako je definiran urejeni par?
Urejeni par s prvo komponento (koordinato) a in drugo komponento b označimo z (a, b) in
definiramo kot: (a, b) = {{a}, {a, b}}
Trditev: (Osnovna lastnost urejenih parov) (a, b) = (c, d) <=> a = c in b = d
Kaj je kartezični produkt množic?
Kartezični produkt množic A in B je množica vseh urejenih parov, ki je definirana tako:
A × B − { (x, y); x ∈ A ⋀ y ∈ B }
Kaj lahko poveš o moči kartezičnega produkta?
Moč kartezičnega produkta je enaka produktu moči obeh faktorjev. Če je množica A končna z
m elementi in B končna z n elementi, potem je A × B končna z m*n elementi.
Kaj je moč končne množice?
Naj bo A končna množica. Potem |A| označuje število elementov v množici ali tudi moč množice A
Kdaj sta končni množici enako močni?
Naj bosta A in B končni množici. Pravimo da sta A in B enako močni, A ~ B, če je |A| = |B|.