歡迎來到函數與圖像的世界！
歡迎修讀 H3 數學！你可能會好奇，為什麼我們要從 H2 的內容開始？在 H3，我們不只是單純地「做」數學，而是要探索其背後的基礎。在深入研究複雜的證明與數論之前，我們必須先確保你的「數學工具箱」夠銳利。函數是本課程幾乎所有內容的基礎架構。你可以將它們視為支配各種數學物件如何互動的規則。如果你在 H2 時覺得這部分有點棘手，別擔心——我們將會把它拆解得清清楚楚，讓它成為你 H3 學習旅程中得心應手的工具！
1. 到底什麼是函數？
簡單來說，函數是一種特殊的「機器」。你放入一個輸入值（input），機器會遵循特定的規則，然後精確地產出一個輸出值（output）。
三個關鍵部分
每個函數 \(f\) 都有三個重要組成部分：
1. 定義域 (Domain, \(D_f\))：所有可能「輸入」值的集合。你可以把它想像成機器被允許處理的材料清單。
2. 陪域 (Codomain)：所有「潛在」輸出值的集合。
3. 值域 (Range, \(R_f\))：從機器中實際產出的數值集合。值域永遠是陪域的子集。
黃金法則：一個關係要成為函數，定義域中的每一個元素都必須對應到陪域中的唯一一個元素。如果一個輸入值對應到兩個不同的輸出值，那它就不是函數，而僅僅是一個關係！
類比：想像一台自動販賣機。每一個按鈕（輸入）都應該只給你一種特定的零食（輸出）。如果按下「A1」有時掉出薯片，有時掉出巧克力棒，那這台機器就是壞掉的！那個「壞掉」的機器就像一個不屬於函數的數學關係。
快速回顧：垂直線測試 (Vertical Line Test)
要檢查一個圖形是否代表函數，想像在圖形上畫一條垂直線。如果這條線在超過一個點上與圖形相交，那麼它就不是函數！
總結要點：函數是一種規則，其中每個輸入值都有且只有一個輸出值。沒有任何輸入值可以是「不確定」或「身兼多職」的。
2. 一對一函數與反函數
雖然所有函數都將一個輸入對應到一個輸出，但有些函數比其他函數更有「規律」。
一對一（單射，Injective）函數
如果每個輸出值都源自於唯一的一個輸入值，那麼該函數就是一對一的。換句話說，沒有兩個不同的輸入值會得到相同的結果。
例子： \(f(x) = x^3\) 是一對一的。每個數字都有唯一的立方值。
例子： \(f(x) = x^2\)（對於所有實數 \(x\)）不是一對一的，因為 \(2\) 和 \(-2\) 都會得到輸出值 \(4\)。
水平線測試 (Horizontal Line Test)：要檢查一個函數是否為一對一，請畫一條水平線。如果它與圖形相交超過一次，則它是「多對一」的（即非一對一）。
反函數 \(f^{-1}\)
反函數基本上是「抵消」原函數所做的事情。如果 \(f\) 將 \(x\) 對應到 \(y\)，那麼 \(f^{-1}\) 就會將 \(y\) 帶回 \(x\)。
「必備」條件：反函數 \(f^{-1}\) 存在，若且唯若 (if and only if) \(f\) 是一對一函數。如果它不是一對一的，這種「回程」會讓人困惑，因為機器將無法判斷該回到哪一個原始輸入值！
反函數的關鍵特性：
1. 定義域與值域互換：\(f\) 的定義域是 \(f^{-1}\) 的值域，而 \(f\) 的值域則是 \(f^{-1}\) 的定義域。
2. 對稱性：\(y = f^{-1}(x)\) 的圖像與 \(y = f(x)\) 的圖像關於直線 \(y = x\) 對稱。
總結要點：只有一對一的函數才有反函數。要找到反函數的圖像，只需將原始圖像沿著對角線 \(y = x\) 翻轉即可。
3. 複合函數：連鎖反應
複合函數 (Composite function) 是指當你將兩台機器串聯在一起時所發生的情況。你將第一個函數的輸出值，當作第二個函數的輸入值。
我們將其寫作 \(fg(x)\)，意思是「先應用 \(g\)，然後將結果應用於 \(f\)」。
\(fg(x) = f(g(x))\)
「可行嗎？」的檢查
你不能隨意連接兩台機器。第一台機器產出的東西，必須是第二台機器「可以」接收的。正式來說：
複合函數 \(fg\) 存在，若且唯若 \(g\) 的值域是 \(f\) 定義域的子集。
\(R_g \subseteq D_f\)
你知道嗎？順序很重要！在數學中，\(fg\) 通常不等於 \(gf\)。先穿襪子再穿鞋子，與先穿鞋子再穿襪子的結果會很不一樣！
避免常見錯誤：
計算 \(fg(x)\) 時，務必從最內層向外計算。從最靠近 \(x\) 的函數開始。
總結要點：為了讓 \(fg\) 存在，從 \(g\) 輸出的一切都必須能夠被 \(f\) 接收。請務必檢查 \(R_g \subseteq D_f\)。
4. 繪圖技巧與變換
H3 的題目通常要求你想像圖形是如何變化的。我們不逐點描繪，而是使用變換 (Transformations)。
「四大」變換
假設我們從 \(y = f(x)\) 開始：
1. 平移 (Translation)：
- \(f(x) + k\)：將圖形向上移動 \(k\) 個單位。
- \(f(x - k)\)：將圖形向右移動 \(k\) 個單位。（等等，向右？沒錯！如果你在 \(x\) 減去一個數，你需要一個「更大」的 \(x\) 才能得到相同的結果，所以它會向右平移！）
2. 縮放 (Scaling/Stretching)：
- \(a \cdot f(x)\)：垂直拉伸 \(a\) 倍。
- \(f(ax)\)：水平壓縮 \(1/a\) 倍。
3. 反射 (Reflection)：
- \(-f(x)\)：關於 x 軸反射（上下顛倒）。
- \(f(-x)\)：關於 y 軸反射（左右互換）。
4. 模函數 (Modulus)：
- \(|f(x)|\)：將圖形中任何位於 x 軸下方的部分翻轉向上，使其變為正值。
- \(f(|x|)\)：捨棄圖形的左側（\(x < 0\) 的部分），並用右側的鏡像來取代它。
記憶輔助：「內與外」
- 如果變化在括號外（例如 \(f(x) + k\)），它會影響 y 值（垂直方向）。
- 如果變化在括號內（例如 \(f(x+k)\)），它會影響 x 值（水平方向），而且效果往往與你直覺預期的相反！
總結要點：掌握基本形狀（線性、二次、倒數、指數函數），並透過逐步應用變換，快速畫出複雜函數的草圖。
最後的鼓勵
函數與圖像聽起來像是「舊知識」，但在 H3 中，它們是我們證明更深奧定理所使用的語言。如果你能自信地判斷函數何時存在、求出反函數並想像其變換，你就已經掌握了本課程的基礎。如果 \(R_g \subseteq D_f\) 的符號看起來有點抽象，別擔心——隨著你練習越多具體的例子，它就會變得越自然！請保持練習，在遇到困難時，不要害怕畫出圖形。一張圖往往勝過千個方程式！