11.2 Closure of Real Number Operations

Closure of Real Number Operations describes the property that combining two real numbers with addition, subtraction, or multiplication always produces another real number, and the more restricted case of division, which produces a real number only when its divisor condition is respected.

Closure under the Basic Operations

Closure under Addition

The real numbers are closed under addition, meaning that adding any two real numbers always produces a result that is itself a real number, with no combination of two real numbers ever producing a sum outside the real numbers.

Closure under Subtraction

The real numbers are closed under subtraction, meaning that subtracting any real number from another always produces a real number, including cases where the result is negative or where the two numbers being subtracted are equal, producing zero.

Closure under Multiplication

The real numbers are closed under multiplication, meaning that multiplying any two real numbers always produces a result that is itself a real number, regardless of the sign or size of the two factors involved.

The Conditional Case of Division

Conditional Closure under Division

The real numbers are closed under division only conditionally: dividing one real number by another produces a real number result exactly when the divisor is not zero, making division a closed operation on the real numbers minus that single excluded case.

Nonzero Divisor Requirement

The single condition attached to closure under division is that the divisor must not equal zero; this requirement exists because division is defined as finding a number that, multiplied by the divisor, recovers the dividend, and no such number can exist when the divisor is zero, since anything multiplied by zero gives zero rather than a nonzero dividend.

Real Numbers of Different Types

Rational and Irrational Operand Results

Closure under these operations holds across the entire set of real numbers, regardless of whether the two operands are rational or irrational; combining two rational numbers, two irrational numbers, or one of each with addition, subtraction, or multiplication still produces some real number, even though the specific type of number in the result can vary depending on the operands involved.

Result Remaining within the Real Numbers

Closure guarantees only that the result stays within the real numbers as a whole, not that the result stays within any particular subset, such as the whole numbers or the rational numbers; two irrational numbers can combine to produce a rational result, and two rational numbers always produce a rational result, but both outcomes remain real numbers regardless.

Distinguishing Closure Failure from Undefinedness

Undefined Division and Closure Distinction

Division by zero is not an example of the real numbers failing to be closed under division in the sense of producing a result outside the real numbers; rather, division by zero produces no result at all, since the operation itself is undefined in that single case. Closure under division is therefore stated as holding for every real-number pair except this specific excluded case, rather than as failing to hold in general.