Lompat ke konten utama\(\newcommand{\Z}{\mathbb{Z}}
\newcommand{\N}{\mathbb{N}}
\newcommand{\Q}{\mathbb{Q}}
\newcommand{\R}{\mathbb{R}}
\newcommand{\C}{\mathbb{C}}
\newcommand{\ds}{\displaystyle}
\newcommand{\lub}{\text{lub}}
\newcommand{\glb}{\text{glb}}
\newcommand{\Int}{\text{Int}}
\newcommand{\Bdry}{\text{Bdry}}
\newcommand{\B}{\mathcal{B}}
\newcommand{\ssim}{\sim}
\newcommand{\overparen}[1]{\overset{\frown}{#1}}
\newcommand{\la}{\left|}
\newcommand{\ra}{\right|}
\newcommand{\lt}{<}
\newcommand{\gt}{>}
\newcommand{\amp}{&}
\definecolor{fillinmathshade}{gray}{0.9}
\newcommand{\fillinmath}[1]{\mathchoice{\colorbox{fillinmathshade}{$\displaystyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\textstyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\scriptstyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\scriptscriptstyle\phantom{\,#1\,}$}}}
\)
Bagian Diagnostik kesalahan ringkas
- Mengabaikan kodomain
Dua aturan yang sama dapat mempunyai sifat surjektif berbeda. Tulis tipe lengkap \(f:A\to B\) sebelum menguji.
- Menukar daerah hasil dan kodomain
Daerah hasil adalah nilai yang benar-benar tercapai dan selalu merupakan subhimpunan kodomain.
- Membaca komposisi dari kiri
Pada \(g\circ f\text{,}\) terapkan \(f\) lebih dahulu; periksa bahwa keluarannya dapat menjadi masukan \(g\text{.}\)
- Menganggap simbol \(f^{-1}\) selalu fungsi
Relasi balik menjadi fungsi hanya untuk bijeksi; prapeta himpunan \(f^{-1}(B)\) tetap terdefinisi tanpa bijektivitas.
- Citra dan irisan
Citra mempertahankan gabungan, tetapi untuk irisan hanya satu inklusi yang selalu benar; prapeta mempertahankan keduanya.
- Membuktikan surjektivitas dengan satu contoh
Mulai dari unsur sembarang kodomain dan bangun prapetanya.
- Mengabaikan kasus kosong atau faktor tak kosong
Periksa asumsi ketakosongan ketika memakai proyeksi, membatalkan hasil kali Kartesius, atau menafsirkan irisan keluarga kosong.
