Przeciwobraz

Przeciwobraz zbioru – pojęcie matematyczne, konkretniej teorii mnogości, związane z dowolną funkcją lub inną relacją dwuargumentową^[1]. Przeciwobrazy definiuje się dla podzbiorów przeciwdziedziny – dla funkcji ${\displaystyle f\colon X\to Y}$ przeciwobrazy dotyczą dowolnego zbioru ${\displaystyle B\subseteq Y}$. Przeciwobraz zbioru ${\displaystyle B}$ to zbiór wszystkich elementów dziedziny, które są odwzorowane na elementy ${\displaystyle B}$^[2].

Pojęcie przeciwobrazu bywa używane w różnych działach matematyki, nie tylko wyższej; przeciwobrazami można definiować inne pojęcia jak miejsce zerowe^[3] i funkcja ciągła^[4].

Niech ${\displaystyle f\colon X\to Y}$ oznacza dowolną funkcję 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}=\{x\in X\colon f(x)\in B\}.}$

Inne oznaczenia^[2][5]:

• ${\displaystyle f^{-1}(B);}$
• ${\displaystyle {\vec {f}}^{-1}(B).}$

Przeciwobraz względem ustalonej funkcji ${\displaystyle f}$, oznaczany ${\displaystyle {\vec {f}}^{-1}}$, to funkcja ze zbioru potęgowego zbioru ${\displaystyle Y}$ w zbiór potęgowy zbioru ${\displaystyle X}$, czyli ${\displaystyle {\vec {f}}^{-1}:2^{Y}\rightarrow 2^{X}}$^[5][6].

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ą.

Niech funkcja rzeczywista ${\displaystyle f\colon \mathbb {R} ^{2}\to \mathbb {R} }$ będzie dana wzorem ${\displaystyle f(x,y)=x^{2}+y^{2}.}$ Przeciwobraz liczby rzeczywistej ${\displaystyle a}$ przy tej funkcji – oznaczany ${\displaystyle f^{-1}(a)}$ – zależy od jej wartości^[3]:

• dla ${\displaystyle a>0}$ przeciwobrazami są okręgi o wspólnym środku w początku układu współrzędnych;
• dla ${\displaystyle a=0}$ przeciwobrazem jest sam początek układu;
• dla ${\displaystyle a<0}$ przeciwobrazem jest zbiór pusty.

Przeciwobraz zbioru jednoelementowego oznacza się ${\displaystyle \textstyle f^{-1}}$ lub krócej ${\displaystyle f^{-1}.}$ Nazywa się go włóknem nad ${\displaystyle y}$, poziomicą^[3] lub warstwicą ${\displaystyle y}$^{[potrzebny przypis]}.

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ń^{[potrzebny przypis]}.

• Thomas ScottT.S. Blyth Thomas ScottT.S., Lattices and Ordered Algebraic Structures, London: Springer, 2005, ISBN 1-85233-905-5, OCLC 262677746 .
• Barbara Stanosz: Ćwiczenia z logiki. Warszawa: Wydawnictwo Naukowe PWN, 2012. ISBN 978-83-01-14428-9.

Zobacz hasło przeciwobraz w Wikisłowniku

• Piotr Stachura, Przeciwobraz zbioru w odwzorowaniu, kanał Khan Academy na YouTube, 10 sierpnia 2016 .
• Eric W.E.W. Weisstein Eric W.E.W., Pre-Image, MathWorld, Wolfram Research  (ang.). .
• Ten artykuł zawiera materiał z artykułu Fibre na PlanetMath, który został udostępniony na licencji Creative Commons Attribution/Share-Alike License.