对数函数是数学中的一种重要函数，具有以下基本性质：
定义域和值域
定义域：正实数集合，即 \（ x > 0 \）。
值域：实数集合。
与指数函数的关系
对数函数 \（ y = \log_a x \） 与指数函数 \（ y = a^x \） 互为反函数。
基本性质
\（\log_a 1 = 0\），\（\log_a a = 1\），\（\log_a （ax） = x\），其中 \（ a > 0 \） 且 \（ a \neq 1\），\（ x \） 为实数。
单调性
当 \（ a > 1 \） 时，函数是单调递增的。
当 \（ 0 < a < 1 \） 时，函数是单调递减的。
运算性质
\（\log_a （MN） = \log_a M + \log_a N\）。
\（\log_a \left（\frac{M}{N}\right） = \log_a M - \log_a N\）。
\（\log_a （M^n） = n \log_a M\）。
\（\log_a b^c = c \log_a b\）。
\（\log_a （b/c） = \log_a b - \log_a c\）。
换底公式：\（\log_a b = \frac{\log_c b}{\log_c a}\）。
图像特性
函数图像恒过定点 \（（1, 0）\）。
当 \（ a > 1 \） 时，图像在 \（ x = 1 \） 右侧随 \（ a \） 的增大而下降。
当 \（ 0 < a < 1 \） 时，图像在 \（ x = 1 \） 右侧随 \（ a \） 的增大而上升。
其他性质
对数函数的导数，当底数为 \（ e \） 时，可简化为 \（\frac{1}{x}\）。
这些性质构成了对数函数的基本框架，并在数学分析、物理、工程等领域有着广泛的应用。需要注意的是，对数函数的定义域排除了 \（ x \leq 0 \） 和 \（ a \leq 0 \） 或 \（ a = 1 \） 的情况。