Skip to content

Mathematics · Ch 2 — Relations and Functions

Algebra of Real Functions

2.4.2

Algebra of Real Functions

Algebra of Real Functions

When you have two real functions — that is, functions whose domain and codomain are subsets of the real numbers — you can combine them using the same arithmetic operations you use with ordinary numbers: addition, subtraction, multiplication, and division. The key idea is that these operations are performed pointwise: for each input xx, you apply the operation to the outputs f(x)f(x) and g(x)g(x).

For all the definitions that follow, we assume f:X→Rf: X \to \mathbb{R} and g:X→Rg: X \to \mathbb{R} are two real functions, where X⊂RX \subset \mathbb{R}.

Addition of Two Real Functions

The sum of ff and gg is a new function, written f+gf + g, defined by

(f+g)(x)=f(x)+g(x),for all x∈X.(f + g)(x) = f(x) + g(x), \quad \text{for all } x \in X.

The domain of f+gf+g is the same as the common domain XX of ff and gg. At every point xx, you simply add the two function values.

Subtraction of a Real Function from Another

The difference of ff and gg, written f−gf - g, is defined by

(f−g)(x)=f(x)−g(x),for all x∈X.(f - g)(x) = f(x) - g(x), \quad \text{for all } x \in X.

Again, the domain is XX, and the operation is pointwise.

Multiplication by a Scalar

Let α\alpha be a scalar — here, a scalar means a real number. The product of α\alpha and ff, written αf\alpha f, is a function defined by

(αf)(x)=α⋅f(x),for all x∈X.(\alpha f)(x) = \alpha \cdot f(x), \quad \text{for all } x \in X.

This scales every output of ff by the constant factor α\alpha. The domain remains XX.

Multiplication of Two Real Functions

The product of ff and gg, written fgfg, is defined by

(fg)(x)=f(x)⋅g(x),for all x∈X.(fg)(x) = f(x) \cdot g(x), \quad \text{for all } x \in X.

This is called pointwise multiplication because you multiply the values at each point individually. The domain is XX.

Quotient of Two Real Functions

The quotient of ff by gg, written fg\frac{f}{g}, is defined by

(fg)(x)=f(x)g(x),for all x∈X such that g(x)≠0.\left(\frac{f}{g}\right)(x) = \frac{f(x)}{g(x)}, \quad \text{for all } x \in X \text{ such that } g(x) \neq 0. …