Wolna encyklopedia

Obraz zbioru poprzez funkcję to zbiór wszystkich możliwych wartości, jakie funkcja przyjmuje dla argumentów branych z danego zbioru.

Formalnie: jeżeli f\colon X \to Y, to obrazem podzbioru A zbioru X nazywamy zbiór:

f(A)=\{y\in Y\colon \exist_{a\in A}\ f(a)=y\}

Obrazem elementu a\in X nazywamy element f(a) ze zbioru Y. Nie jest to to samo, co obraz zbioru {a}, ten jest bowiem zbiorem {f(a)}.

Jeśli \forall_{y\in Y}\ \exists_{x\in X}\ y=f(x), to mówimy, że funkcja jest na bądź, że jest suriekcją.

Własności

Operacja brania obrazu zbioru zachowuje jedynie część działań na zbiorach. Jeżeli A, B \subset X, zaś (Ai) rodziną jego podzbiorów, to:

Z powyższych własności łatwo wynikają również poniższe:


Jeżeli A \subset X,\ B \subset Y, to spełnione są następujące związki między obrazem a przeciwobrazem funkcji:

W przypadku funkcji "na" mamy równość f \big( f^{-1}(B) \big) = B, natomiast dla funkcji różnowartościowej prawdziwa jest równość A = f^{-1} \big( f(A) \big).

Przykłady

Wykres schematycznie prezentuje pojęcie obrazu zbioru. Objaśnienia w tekście.

Na rysunku obok zbiory  pomarańczowy  i czerwony mają ten sam obraz – zbiór niebieski. Obrazem zbioru zielonego jest zbiór szary.

Obrazem każdego ze zbiorów { − 1,1},{ − 1},{1} przez funkcję f(x) = x2 jest zbiór {1}.

Obrazem zbioru [ − 1,2] przez funkcję f(x) = 2x + 1 jest zbiór [ − 1,5].

Zobacz też

Źródło: „haslo,Obraz_(matematyka)