函數作為結構物件：單射、滿射、合成與原像的進階世界

一個看似簡單的問題：「兩個函數一樣」到底是什麼意思？

你已經知道函數把每個輸入對應到唯一的輸出。但請先停下來想一個問題：函數 $f(x) = x$ 和函數 $g(x) = \dfrac{x^2}{x}$ 是同一個函數嗎？

直覺上它們化簡後「長得一樣」，但 $g$ 在 $x = 0$ 沒有定義（分母為零），而 $f$ 在 $x = 0$ 定義為 $0$。所以嚴格來說，它們是不同的函數——因為定義域（domain）不同。

這個小例子揭露了一件事：在進階數學裡，函數不只是「一條公式」。一個函數是三件東西的綁定：定義域、對應域（codomain）、以及對應規則。改變其中任何一個，就是不同的函數。這篇文章要帶你超越「函數是公式」的入門印象，進入函數作為結構性物件的世界：單射與滿射、合成與反函數、像與原像，以及這些概念如何撐起現代數學。

函數的正式定義：從「規則」到「集合」

入門時我們說函數是一個規則。但數學家需要更精確的定義，因為「規則」本身是個模糊的詞。正式的定義反而完全不提規則：

一個從 $A$ 到 $B$ 的函數 $f$，是笛卡兒積（Cartesian product）$A \times B$ 的一個子集 $f \subseteq A \times B$，滿足：

$$ \forall a \in A,\ \exists!\, b \in B \text{ 使得 } (a, b) \in f. $$

這裡的 $\exists!$ 讀作「存在唯一」。換句話說，函數就是它的圖形（graph）——一堆有序對 $(a, b)$ 的集合，且每個 $a$ 恰好出現一次。我們熟悉的 $f(a) = b$ 只是 $(a, b) \in f$ 的簡寫。

這個定義的威力在於：它把「函數」化約成「集合」，於是函數可以被當成數學物件來操作、計數、比較。譬如，從一個 $m$ 元集合到 $n$ 元集合，總共有幾個函數？每個輸入獨立地有 $n$ 種選擇，所以答案是 $n^m$ 個。這也是為什麼從 $A$ 到 $B$ 的所有函數所成的集合，常被記作 $B^A$。

單射、滿射、雙射：函數的三種「品質」

入門篇談的是「函數存在」。進階篇要問的是「函數有多好」。我們用三個性質來分類函數。

單射（injective，一對一）：不同的輸入給出不同的輸出。

$$ \forall a_1, a_2 \in A,\quad f(a_1) = f(a_2) \implies a_1 = a_2. $$

直覺上，單射函數「不會把兩個東西壓成同一個」，沒有資訊損失。例如 $f(x) = 2x$ 在實數上是單射；但 $f(x) = x^2$ 不是，因為 $f(2) = f(-2) = 4$。

滿射（surjective，映成）：對應域裡的每個元素都被打到。

$$ \forall b \in B,\quad \exists a \in A \text{ 使得 } f(a) = b. $$

滿射函數「填滿了整個對應域」。$f(x) = x^3$ 從 $\mathbb{R}$ 到 $\mathbb{R}$ 是滿射；但 $f(x) = x^2$ 從 $\mathbb{R}$ 到 $\mathbb{R}$ 不是，因為負數沒有實平方根的來源。

雙射（bijective）：既是單射又是滿射。雙射建立了兩個集合之間「完美配對」的一對一對應，這正是「反函數存在」的充要條件，也是定義「兩個集合一樣大」（等勢，equinumerous）的基礎。

這裡有個關鍵但常被忽略的點：滿射與否取決於你怎麼選對應域。$f(x) = x^2$ 從 $\mathbb{R}$ 到 $\mathbb{R}$ 不滿射，但從 $\mathbb{R}$ 到 $[0, \infty)$ 就滿射了。函數的性質不是公式內稟的，而是綁在你選的定義域與對應域上——這呼應了開頭那個 $f = g$ 的問題。

合成：函數真正的「運算」

數字可以相加相乘，函數也有自己的運算，最核心的就是合成（composition）。給定 $f: A \to B$ 與 $g: B \to C$，合成 $g \circ f: A \to C$ 定義為：

$$ (g \circ f)(a) = g(f(a)). $$

注意先做 $f$ 再做 $g$，但寫的時候 $g$ 在左邊——這個「反序」常讓初學者困惑，但它與函數作用的記號 $g(f(a))$ 一致。合成要求 $f$ 的對應域必須能對接 $g$ 的定義域，否則 $g(f(a))$ 沒有意義。

合成有兩個重要性質：

結合律成立：$(h \circ g) \circ f = h \circ (g \circ f)$。所以多重合成寫成 $h \circ g \circ f$ 不會有歧義。

交換律不成立：一般而言 $g \circ f \neq f \circ g$。例如取 $f(x) = x + 1$、$g(x) = x^2$，則 $(g \circ f)(x) = (x+1)^2$，但 $(f \circ g)(x) = x^2 + 1$，兩者完全不同。函數合成的非交換性，是後續抽象代數（群論、范疇論）中許多深刻現象的根源。

合成還保留品質：兩個單射合成仍是單射，兩個滿射合成仍是滿射，兩個雙射合成仍是雙射。

反函數：不只是「倒過來」

入門時你可能學過「把 $y = f(x)$ 解出 $x$」來求反函數。進階的觀點要精確得多：反函數的存在，等價於原函數是雙射。

如果 $f: A \to B$ 是雙射，則存在唯一的 $f^{-1}: B \to A$，使得：

$$ f^{-1} \circ f = \mathrm{id}_A, \qquad f \circ f^{-1} = \mathrm{id}_B, $$

其中 $\mathrm{id}$ 是恆等函數（identity function）。這兩個式子才是反函數的本質定義：合成後回到「什麼都不做」。

但故事更細緻。如果 $f$ 只是單射（未必滿射），它有左反函數（left inverse） $g$ 使 $g \circ f = \mathrm{id}_A$；如果 $f$ 只是滿射，它有右反函數（right inverse） $h$ 使 $f \circ h = \mathrm{id}_B$。只有雙射時，左反與右反合而為一，成為真正的反函數。

看一個例子

考慮 $f: \mathbb{R} \to \mathbb{R}$，$f(x) = e^x$。

這個函數是單射（指數嚴格遞增），但不是滿射，因為值域只有正數 $(0, \infty)$，負數和零打不到。所以 $f$ 在 $\mathbb{R} \to \mathbb{R}$ 這個設定下沒有反函數。

但如果我們把對應域縮小到 $(0, \infty)$，$f: \mathbb{R} \to (0, \infty)$ 就變成雙射，反函數正是自然對數 $f^{-1}(y) = \ln y$。驗證一下：

$$ (f^{-1} \circ f)(x) = \ln(e^x) = x, \qquad (f \circ f^{-1})(y) = e^{\ln y} = y. $$

這再次說明：反函數能不能存在，不只看公式，還看你怎麼設定對應域。許多教科書「偷偷」把對應域換成值域，才讓反函數「存在」——理解這個動作，你就比公式背得更深一層。

像與原像：把函數作用在「集合」上

函數本來作用在「點」上，但我們可以把它推廣到「集合」上，這在分析、拓樸、機率論裡無所不在。

給定 $f: A \to B$，對於子集 $S \subseteq A$，定義像（image）：

$$ f(S) = \{ f(a) : a \in S \}. $$

對於子集 $T \subseteq B$，定義原像（preimage）：

$$ f^{-1}(T) = \{ a \in A : f(a) \in T \}. $$

請特別注意：這裡的 $f^{-1}(T)$ 不需要 $f$ 有反函數！原像永遠有定義，即使 $f$ 不是雙射。$f^{-1}(T)$ 只是「會落進 $T$ 的所有輸入」所成的集合，可能是空集，也可能有很多元素。這個記號和反函數共用 $f^{-1}$，是常見的混淆來源，務必分清楚。

動手試試

設 $f: \mathbb{R} \to \mathbb{R}$，$f(x) = x^2$。

計算原像 $f^{-1}(\{4\})$：哪些 $x$ 使 $x^2 = 4$？答案是 $\{-2, 2\}$，有兩個元素——這正說明 $f$ 不是單射。

計算原像 $f^{-1}([1, 4])$：哪些 $x$ 使 $1 \le x^2 \le 4$？解得 $x \in [-2, -1] \cup [1, 2]$。

計算原像 $f^{-1}([-3, -1])$：哪些 $x$ 使 $x^2$ 落在負區間？沒有，因為平方非負。所以 $f^{-1}([-3, -1]) = \varnothing$。

原像有一個比像更「乖」的性質：它與聯集、交集、補集都可交換。

$$ f^{-1}(T_1 \cup T_2) = f^{-1}(T_1) \cup f^{-1}(T_2),\quad f^{-1}(T_1 \cap T_2) = f^{-1}(T_1) \cap f^{-1}(T_2). $$

但像只保證 $f(S_1 \cap S_2) \subseteq f(S_1) \cap f(S_2)$，交集處可能「縮水」（除非 $f$ 單射才取等號）。正因為原像如此守規矩，連續性、可測性這些核心概念都是用原像來定義的：連續函數就是「開集的原像是開集」，可測函數就是「可測集的原像是可測集」。

重點回顧

• 一個函數是定義域、對應域與對應規則三者的綁定；改變對應域可以改變函數是否滿射、是否可逆。
• 正式定義下，函數就是滿足「每個輸入恰一個輸出」的有序對集合 $f \subseteq A \times B$；從 $A$ 到 $B$ 的函數共有 $|B|^{|A|}$ 個。
• 單射不損失資訊、滿射填滿對應域、雙射建立完美配對；雙射存在 $\iff$ 反函數存在。
• 合成 $g \circ f$ 結合律成立但交換律不成立；反函數的本質是 $f^{-1}\circ f = \mathrm{id}$ 與 $f \circ f^{-1} = \mathrm{id}$。
• 原像 $f^{-1}(T)$ 對任何函數都有定義（不需可逆），且與聯集、交集、補集相容，是連續性與可測性的定義基石。

深入探討（研究所視角）

把函數提升為「結構之間保結構的映射」，是現代數學的中心思想，這裡給三個延伸視角。

一、范疇論（category theory）的觀點。 在范疇論裡，數學物件（集合、群、拓樸空間⋯⋯）是「對象」，而它們之間保結構的映射是「態射（morphism）」。我們前面強調的合成結合律與恆等態射，正好就是范疇的兩條公理。於是「函數」不再是研究的終點，而是組織整個數學的語言。在這個框架下，雙射的推廣是同構（isomorphism）：一個態射 $f$ 若存在 $g$ 使 $g \circ f = \mathrm{id}$ 且 $f \circ g = \mathrm{id}$，則 $f$ 是同構。值得玩味的是，在集合范疇裡同構恰好就是雙射，但在拓樸空間范疇裡，雙射的連續函數未必是同構（反函數可能不連續），這個落差正是同胚（homeomorphism）這個概念存在的理由。

二、基數與選擇公理。 用雙射定義「等勢」後，無窮集合的大小變得可以比較。康托（Cantor）證明 $\mathbb{N}$ 與 $\mathbb{Q}$ 等勢（都可數），但 $\mathbb{N}$ 與 $\mathbb{R}$ 不等勢——對角線論證顯示不存在從 $\mathbb{N}$ 到 $\mathbb{R}$ 的滿射。更精妙的是康托定理：對任何集合 $A$，不存在從 $A$ 到其冪集 $\mathcal{P}(A)$ 的滿射，故 $|A| < |\mathcal{P}(A)|$，無窮也有無窮多層。而前面提到「滿射 $f: A \to B$ 必有右反函數 $h$」，這個看似顯然的命題在 $A$ 無窮時其實等價於選擇公理（axiom of choice）——因為定義 $h$ 需要從每個非空原像 $f^{-1}(\{b\})$ 同時挑一個代表元。

三、泛性質（universal property）與函數空間。 我們提過所有函數的集合記作 $B^A$。這個記號背後是深刻的「指數-乘積伴隨」：在集合范疇中，

$$ \mathrm{Hom}(A \times B,\ C) \;\cong\; \mathrm{Hom}\bigl(A,\ C^{B}\bigr), $$

也就是「兩個變數的函數」與「回傳函數的函數」之間有自然的一一對應。這就是程式語言裡的 currying（柯里化）——把 $f(a, b)$ 看成 $a \mapsto (b \mapsto f(a,b))$。從這裡再往前，函數空間自身可以被賦予拓樸或度量結構（如 $C[0,1]$ 上的上確界範數），於是「函數的集合」變成可以談收斂、連續、緊緻的空間，這正是泛函分析（functional analysis）的起點。一條看似平凡的「輸入對應輸出」，最終撐起了從拓樸、邏輯到分析的整片現代數學版圖。