对数的性质
duì shù de xìng zhì
对数的性质是一组规则,用于说明对数在乘法、除法和指数运算中的表现。
Definition
对数遵循一些特殊规则：括号内相乘变成括号外相加，相除变成相减，指数则被提到前面。对任意有效底数 $b$：积的法则 $\log_b(xy) = \log_b(x) + \log_b(y)$、商的法则 $\log_b(x/y) = \log_b(x) - \log_b(y)$、幂的法则 $\log_b(x^r) = r\log_b(x)$，再加上 $\log_b(b) = 1$ 和 $\log_b(1) = 0$。这些性质都源自同构 $\log_b: (\mathbb{R}^+, \times) \to (\mathbb{R}, +)$：乘法单位元变成加法单位元，乘积变成和，逆元变成相反数，这正是所有对数法则背后的代数内容。
Example
$\log(100 \times 10) = \log(100) + \log(10) = 2 + 1 = 3$，与直接计算 $\log(1000) = 3$ 相符，这是积的法则把乘法变成加法的一个例子。展开 $\log_2(8x^3/y) = \log_2(8) + 3\log_2(x) - \log_2(y) = 3 + 3\log_2(x) - \log_2(y)$，合并 $2\ln(x) + \ln(5) - \ln(y) = \ln(5x^2/y)$，都是直接应用这些法则。同构 $\log_b$ 把乘法群 $(\mathbb{R}^+, \times)$ 转化为加法群 $(\mathbb{R}, +)$，正好使积的法则 $\log(xy) = \log(x) + \log(y)$ 成为同态性质 $\phi(xy) = \phi(x) + \phi(y)$。
Key Insight
这些法则正是对数在历史上被用于计算的原因，要把两个大数相乘，航海家和工程师只需查出它们的对数、相加，再查出这个和的反对数，这也正是计算尺的工作原理。这些性质反映了对应的指数法则，$b^m \cdot b^n = b^{m+n}$ 给出积的法则，$(b^m)^n = b^{mn}$ 给出幂的法则，因为对数就是指数，遵循指数的运算规则。对数实际上是从 $(\mathbb{R}^+, \times)$ 到 $(\mathbb{R}, +)$（在缩放意义下）唯一的连续同态，这是一种比计算法则更根本的代数刻画，解释了为什么只要需要用加法结构研究乘法结构，对数就会普遍出现。