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, asymptotic behavior, and inverse relationship to exponentials — determine how logarithms interact with equations, inequalities, and graphs.

Key Terms

Structural Properties

Argument (of a Logarithm)must be positive; determines the domain
Monotonicityincreasing for base >1> 1, decreasing for base between 00 and 11
One-to-One Propertydistinct inputs always produce distinct outputs
Logarithmic Functiondomain, range, asymptote, and inverse relationship

See All Algebra Definitions


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.
Feature logₐ(x)
Domain (0, ∞) (−∞, ∞)
Range (−∞, ∞) (0, ∞)
Asymptote vertical, x = 0 horizontal, y = 0
Anchor point (1, 0) (0, 1)
Composition with the other logₐ(aˣ) = x a^(logₐ(x)) = x

Summary of Properties

The seven properties above together describe how logarithmic functions behave on their domain and how that behavior shapes work with logarithmic equations, inequalities, and graphs. The table below collects each property in a single row — the statement and the practical consequence — useful as a reference card.
Property Statement Practical consequence
Domain (0, ∞) — the argument must be strictly positive verify the argument is positive before accepting any solution
Range (−∞, ∞) — every real value is attained logarithms can equal any real number, positive or negative
Monotonicity strictly increasing for a > 1; strictly decreasing for 0 < a < 1 inequality direction is set by the base
One-to-one logₐ(M) = logₐ(N) implies M = N drop matching logs to reduce a logarithmic equation to an algebraic one
Continuity continuous on (0, ∞) — no jumps, breaks, or holes small changes in input produce small changes in output
Vertical asymptote x = 0; logₐ(x) → ∓∞ as x → 0⁺ (sign depends on base) graph hugs the y-axis but never touches it
Inverse of aˣ logₐ(aˣ) = x and a^(logₐ(x)) = x switch between exponential and logarithmic form to solve equations