Propiedades de los Logaritmos
Las propiedades de los logaritmos son reglas que gobiernan cómo interactúan los logaritmos con la multiplicación, la división y los exponentes.
Definition
Los logaritmos siguen reglas especiales: multiplicar dentro del logaritmo se convierte en suma, dividir se convierte en resta, y los exponentes salen al frente. Para cualquier base válida $b$: la regla del producto $\log_b(xy) = \log_b(x) + \log_b(y)$, la regla del cociente $\log_b(x/y) = \log_b(x) - \log_b(y)$, la regla de la potencia $\log_b(x^r) = r\log_b(x)$, además de $\log_b(b) = 1$ y $\log_b(1) = 0$. Estas propiedades se derivan del isomorfismo $\log_b: (\mathbb{R}^+, \times) \to (\mathbb{R}, +)$: una identidad multiplicativa se convierte en la identidad aditiva, los productos se convierten en sumas, y los inversos se convierten en negativos, el contenido algebraico subyacente a todas las reglas de los logaritmos.
Example
$\log(100 \times 10) = \log(100) + \log(10) = 2 + 1 = 3$, coincidiendo con $\log(1000) = 3$ directamente, un ejemplo de la regla del producto convirtiendo la multiplicación en suma. Expandiendo $\log_2(8x^3/y) = \log_2(8) + 3\log_2(x) - \log_2(y) = 3 + 3\log_2(x) - \log_2(y)$, y condensando $2\ln(x) + \ln(5) - \ln(y) = \ln(5x^2/y)$, ambos aplican estas reglas directamente. El isomorfismo $\log_b$ que convierte el grupo multiplicativo $(\mathbb{R}^+, \times)$ en el grupo aditivo $(\mathbb{R}, +)$ hace que la regla del producto $\log(xy) = \log(x) + \log(y)$ sea exactamente la propiedad de homomorfismo $\phi(xy) = \phi(x) + \phi(y)$.
Key Insight
Estas reglas son la razón por la que los logaritmos se usaron históricamente para el cálculo, para multiplicar dos números grandes, los navegantes e ingenieros simplemente buscaban sus logaritmos, los sumaban, y buscaban el antilogaritmo de la suma, exactamente como funcionan las reglas de cálculo. Las propiedades reflejan las reglas de exponentes correspondientes, $b^m \cdot b^n = b^{m+n}$ da la regla del producto, $(b^m)^n = b^{mn}$ da la regla de la potencia, ya que los logaritmos son exponentes y obedecen las reglas de los exponentes. Los logaritmos son de hecho los únicos homomorfismos continuos de $(\mathbb{R}^+, \times)$ a $(\mathbb{R}, +)$ salvo escala, una caracterización algebraica más fundamental que las reglas computacionales, explicando por qué los logaritmos aparecen universalmente donde sea que se necesite estudiar aditivamente una estructura multiplicativa.