Visual Tools
Calculators
Tables
Mathematical Keyboard
Converters
Other Tools


Properties of Logarithms






Structural Characteristics of Logarithmic Functions

Every logarithmic function f(x)=loga(x)f(x) = \log_a(x) possesses properties that govern its behavior across the domain. These properties — domain, range, monotonicity, injectivity, continuity, and asymptotic behavior — determine how logarithms interact with equations, inequalities, and graphs.



Domain

The domain of f(x)=loga(x)f(x) = \log_a(x) is the set of all positive real numbers: (0,)(0, \infty).

This restriction follows from the definition. The equation loga(x)=y\log_a(x) = y means ay=xa^y = x. Since a>0a > 0 and ay>0a^y > 0 for all real yy, the output of any exponential with positive base is strictly positive. No real exponent produces zero or a negative number.

Consequently, loga(0)\log_a(0) is undefined — no solution to ay=0a^y = 0 exists. Similarly, loga(5)\log_a(-5) is undefined — no real yy satisfies ay=5a^y = -5.

For composite arguments, the entire expression inside the logarithm must be positive. The function log2(x3)\log_2(x - 3) requires x3>0x - 3 > 0, giving domain x>3x > 3. The function log5(x2+1)\log_5(x^2 + 1) has domain all real numbers, since x2+1>0x^2 + 1 > 0 for every xx.

Range

The range of f(x)=loga(x)f(x) = \log_a(x) is all real numbers: (,)(-\infty, \infty).

As xx increases from just above zero toward infinity, loga(x)\log_a(x) takes every real value exactly once. Near zero, the logarithm plunges toward -\infty. At x=1x = 1, the logarithm equals zero. As xx grows large, the logarithm increases without bound, though slowly.

This unlimited range contrasts with the exponential function g(x)=axg(x) = a^x, whose range is (0,)(0, \infty). The domain and range swap between a function and its inverse — logarithms and exponentials exhibit this exchange precisely.

Monotonicity

Logarithmic functions are strictly monotonic — either always increasing or always decreasing throughout their domain.

When a>1a > 1, the function f(x)=loga(x)f(x) = \log_a(x) is strictly increasing. If x1<x2x_1 < x_2, then loga(x1)<loga(x2)\log_a(x_1) < \log_a(x_2). Larger inputs produce larger outputs. The functions log2(x)\log_2(x), log10(x)\log_{10}(x), and ln(x)\ln(x) all increase.

When 0<a<10 < a < 1, the function f(x)=loga(x)f(x) = \log_a(x) is strictly decreasing. If x1<x2x_1 < x_2, then loga(x1)>loga(x2)\log_a(x_1) > \log_a(x_2). Larger inputs produce smaller outputs. The function log1/2(x)\log_{1/2}(x) decreases.

This property is critical for solving inequalities. Taking logarithms preserves inequality direction when a>1a > 1 and reverses it when 0<a<10 < a < 1.

One-to-One Property

Logarithmic functions are one-to-one (injective): distinct inputs always produce distinct outputs.

Algebraically: if loga(x)=loga(y)\log_a(x) = \log_a(y), then x=yx = y.

This follows directly from strict monotonicity. A function that is always increasing (or always decreasing) cannot assign the same output to two different inputs — it would have to "turn around," violating monotonicity.

The one-to-one property justifies a key technique for solving equations. When an equation has the form loga(M)=loga(N)\log_a(M) = \log_a(N) with the same base on both sides, the arguments must be equal: M=NM = N. This reduces a logarithmic equation to an algebraic one.

Example: log3(2x+1)=log3(x+5)\log_3(2x + 1) = \log_3(x + 5) implies 2x+1=x+52x + 1 = x + 5, giving x=4x = 4.

Continuity

The function f(x)=loga(x)f(x) = \log_a(x) is continuous on its entire domain (0,)(0, \infty).

There are no jumps, breaks, or holes in the graph for any x>0x > 0. The function transitions smoothly from one value to the next. Small changes in input produce small changes in output.

At the boundary x=0x = 0, continuity fails — the function is not defined there. The graph approaches the yy-axis but never reaches it. This boundary behavior leads to the vertical asymptote discussed below.

Asymptotic Behavior

The line x=0x = 0 (the yy-axis) is a vertical asymptote for every logarithmic function.

As x0+x \to 0^+ (approaching zero from the right):
limx0+loga(x)=when a>1\lim_{x \to 0^+} \log_a(x) = -\infty \quad \text{when } a > 1

limx0+loga(x)=+when 0<a<1\lim_{x \to 0^+} \log_a(x) = +\infty \quad \text{when } 0 < a < 1


The graph approaches the yy-axis without touching it, plunging downward (for a>1a > 1) or rising upward (for 0<a<10 < a < 1).

As xx \to \infty:
limxloga(x)=+when a>1\lim_{x \to \infty} \log_a(x) = +\infty \quad \text{when } a > 1

limxloga(x)=when 0<a<1\lim_{x \to \infty} \log_a(x) = -\infty \quad \text{when } 0 < a < 1


Growth toward infinity is slow. For a>1a > 1, the logarithm increases without bound but at a decelerating rate — doubling the input adds only a fixed constant to the output.

Inverse Relationship with Exponential Functions

    The functions f(x)=loga(x)f(x) = \log_a(x) and g(x)=axg(x) = a^x are inverses of each other.

    Composition in either order returns the input:
    f(g(x))=loga(ax)=xfor all real xf(g(x)) = \log_a(a^x) = x \quad \text{for all real } x

    g(f(x))=aloga(x)=xfor all x>0g(f(x)) = a^{\log_a(x)} = x \quad \text{for all } x > 0


    Graphically, the curves y=loga(x)y = \log_a(x) and y=axy = a^x are reflections of each other across the line y=xy = x. Points (p,q)(p, q) on one curve correspond to points (q,p)(q, p) on the other.

    Domain and range exchange:
  • axa^x has domain (,)(-\infty, \infty) and range (0,)(0, \infty)
  • loga(x)\log_a(x) has domain (0,)(0, \infty) and range (,)(-\infty, \infty)

  • Asymptotes exchange orientation:
  • axa^x has horizontal asymptote y=0y = 0
  • loga(x)\log_a(x) has vertical asymptote x=0x = 0

  • This inverse relationship provides the foundation for converting between logarithmic and exponential forms when solving equations.