Funkcja pusta

Funkcja pusta – funkcja, której dziedziną jest zbiór pusty, a przeciwdziedziną dowolny zbiór $X,$ czyli funkcja postaci

$c:\varnothing \to X.$

Stąd wykres funkcji pustej $c$ jest zbiorem pustym, gdyż iloczyn kartezjański $\varnothing \times X$ również jest zbiorem pustym. W tym sensie istnieje dokładnie jedna funkcja pusta.

Własności

• Funkcja pusta spełnia definicję funkcji różnowartościowej, funkcji stałej, a w przypadku funkcji $c:\varnothing \to \varnothing$ także funkcji wzajemnie jednoznacznej.
• Złożenie funkcji pustej z dowolną funkcją jest funkcją pustą, tzn.:

jeśli $c:\varnothing \to X,f:X\to Y,$ to $f\circ c$ jest funkcją pustą

jeśli $f:X\to \varnothing ,c:\varnothing \to Y,$ to $c\circ f$ jest funkcją pustą

Zobacz też

• działanie zeroargumentowe
• relacja pusta

Linki zewnętrzne

• Szablon:Otwarty dostęp empty function Szablon:Lang, ncatlab.org, 16 kwietnia 2021 [dostęp 2023-10-10].