55.4 Rational Power Domain

Rational Power Domain is the set of conditions on the base of a rational-exponent expression that determine when that expression represents a real number, derived directly from the domain conditions already established for the equivalent radical notation, since the denominator of a rational exponent functions as a root index in exactly the same way. It addresses how the base's sign interacts with an even or odd denominator, how zero bases behave under positive and negative rational powers, and how these conditions extend to a variable base.

Because rational exponent notation and radical notation are directly equivalent, every domain condition established for radicals transfers over to rational exponents without modification, simply restated in terms of the exponent's denominator rather than a radical's index.

The Core Parity Condition

Even-Denominator Base Condition

When the denominator of a rational exponent is even, the base must be greater than or equal to zero for the expression to represent a real number, matching the requirement already established for an even-indexed radical.

Odd-Denominator Base Allowance

When the denominator of a rational exponent is odd, the base may be any real number, positive, negative, or zero, matching the unrestricted domain already established for an odd-indexed radical.

Negative Bases in Detail

Negative Base Odd-Root Case

A negative base raised to a rational exponent whose denominator is odd is fully defined over the real numbers, since the odd root of a negative number is itself a real, negative value.

Negative Base Even-Root Rejection

A negative base raised to a rational exponent whose denominator is even is not defined over the real numbers, since no real number raised to an even power produces a negative result, precisely mirroring the corresponding restriction on even-indexed radicals.

Zero and Negative Exponents

Negative Rational Power Nonzero Base

When the rational exponent itself is negative, the base must additionally be nonzero, since a negative exponent represents a reciprocal, and division by zero remains undefined regardless of what exponent notation is being used.

Zero Base Positive-Power Case

When the base is zero and the rational exponent is positive, the expression is defined and evaluates to zero, since raising zero to any positive power, whole or rational, still produces zero.

Extending to a Variable Base

Variable Base Domain Condition

When the base of a rational-exponent expression is a variable or a variable expression rather than a specific number, the same parity-based condition applies to whatever values that expression can take, restricting the domain of the variable to values that keep the base nonnegative whenever the exponent's denominator is even.

Stating the Complete Domain

Rational Power Domain Statement

The complete domain of a rational-exponent expression combines whatever condition the denominator's parity imposes on the base, and, if the exponent is negative, the further condition that the base cannot be zero, stated together as the full set of values for which the expression is defined.