Przeciwobraz
Z Wikipedii
Przeciwobraz zbioru poprzez funkcję to zbiór tych elementów z dziedziny funkcji, które funkcja przeprowadza na elementy danego zbioru.
Formalnie: jeżeli oraz to przeciwobrazem zbioru A jest zbiór:
[edytuj] Własności
Przeciwobraz zachowuje wszystkie działania na zbiorach, to znaczy dla dowolnych oraz dowolnej rodziny (Ai) jego podzbiorów zachodzą równości:
- ,
- ,
- f − 1(Ac) = (f − 1(A))c,
z których w oczywisty sposób wynikają:
- ,
- ,
- .
Ponadto, dla dowolnego podzbioru jest
oraz złożenie funkcji dane jest wzorem:
- .
[edytuj] Przykłady
Niech . Na rysunku obok przeciwobrazem zbioru czerwonego jest zbiór niebieski.
Przeciwobrazem zbioru [1,4] przez funkcję f(x) = x2 jest zbiór , ponieważ kwadraty liczb z (wyłącznie) tego zbioru należą do zbioru [1,4].
Przeciwobrazem zbioru {0} przez tę samą funkcję jest {0}, przeciwobrazem zbioru {1} jest {1, − 1}, a przeciwobrazem zbioru { − 1} jest zbiór pusty – kwadrat żadnej liczby rzeczywistej nie jest równy − 1.