Przeciwobraz

Przeciwobraz – zbiór wszystkich elementów dziedziny, które są odwzorowywane na elementy danego podzbioru przeciwdziedziny^[1].

Dalej ${\displaystyle f\colon X\to Y}$ oznacza funkcję (w szczególności, np. w algebrze liniowej, operator) ze zbioru ${\displaystyle X}$ w zbiór ${\displaystyle Y.}$ Przeciwobrazem zbioru ${\displaystyle B\subseteq Y}$ względem ${\displaystyle f}$ nazywa się podzbiór zbioru ${\displaystyle X}$ określony wzorem

${\displaystyle f^{-1}[B]=\{x\in X\colon f(x)\in B\}.}$

Przeciwobraz zbioru jednoelementowego, oznaczany symbolem ${\displaystyle \textstyle f^{-1}[\scriptstyle \{y\}\textstyle ]}$ lub ${\displaystyle f^{-1}[y],}$ nazywa się włóknem nad ${\displaystyle y}$ lub poziomicą lub warstwicą ${\displaystyle y.}$

Zbiór wszystkich włókien nad elementami ${\displaystyle Y}$ tworzy rodzinę zbiorów indeksowaną przez ${\displaystyle Y.}$ Prowadzi to do pojęcia kategorii rozwłóknień.

Jeśli nie ma ryzyka pomyłki, to ${\displaystyle f^{-1}[B]}$ można oznaczać symbolem ${\displaystyle f^{-1}(B)}$ i myśleć o ${\displaystyle f^{-1}}$ jako o funkcji ze zbioru potęgowego ${\displaystyle Y}$ w zbiór potęgowy ${\displaystyle X.}$ Oznaczenie ${\displaystyle f^{-1}}$ może przywodzić na myśl notację odrębnego pojęcia funkcji odwrotnej, które pokrywa się z pojęciem przeciwobrazu wtedy i tylko wtedy, gdy ${\displaystyle f}$ jest bijekcją.

Przeciwobraz można zdefiniować nie tylko dla funkcji, ale ogólnie dla wszystkich relacji dwuargumentowych.