函数记号
hán shù jì hào
函数记号用像 f(x) 这样的符号,表示当输入为 x 时函数 f 的输出。
Formula
f(x)
Definition
函数记号是书写函数的一种简写方式：我们不写"$y=$"，而写"$f(x)=$"，读作"f of x"（f 作用于 x），其中 $f$ 是函数的名字，$x$ 是输入；其他字母可以命名其他函数，例如 $g(x)$ 或 $h(t)$。更正式地说，这是一种元语言约定，把函数的名字和自变量映射到函数值：在 λ 演算中，$f(x)$ 相当于把一个抽象作用于一个自变量；在形式逻辑中，函数符号是一阶理论签名的一部分。
Example
若 $f(x) = 3x + 1$，则 $f(2)$ 表示把 $2$ 代入 $x$：$f(2) = 3(2) + 1 = 7$。已知 $f(x) = x^2 - 4$：$f(-3) = (-3)^2 - 4 = 5$，而 $f(a + 1) = (a + 1)^2 - 4 = a^2 + 2a - 3$。在抽象代数中，同态 $\phi: G \to H$ 用 $\phi(g)$ 表示群元素 $g$ 的像，这种记号在范畴论中进一步推广为函子 $F(C)$。
Key Insight
$f(x)$ 中的括号并不表示乘法，它表示"函数 $f$ 的输入是 $x$"。这种记号便于交流，因为 $f(3)$ 和 $g(3)$ 明确指代不同的函数，也使复合函数如 $f(g(x))$ 的表达十分清晰。选用有意义的函数名（如用 $P$ 表示概率，用 $v$ 表示速度）是一种交流上的约定，有助于在应用数学和物理学中提高理解效率。