Skip to content

Mathematics · Ch 2 — Relations and Functions

Algebra of Real Functions — Sum, Difference, Product and Quotient

2.9

Algebra of Real Functions — Sum, Difference, Product and Quotient

Given two real functions ff and gg, each with its own domain, new functions can be built from them by combining their output values pointwise, at every xx common to both domains.

Sum. (f+g)(x)=f(x)+g(x)(f+g)(x) = f(x) + g(x), defined for every xx in Df∩DgD_f \cap D_g (the intersection of the two domains) — since both f(x)f(x) and g(x)g(x) must individually be defined before they can be added.

Difference. (f−g)(x)=f(x)−g(x)(f-g)(x) = f(x) - g(x), again defined on Df∩DgD_f \cap D_g.

Product. (fg)(x)=f(x)⋅g(x)(fg)(x) = f(x)\cdot g(x), defined on Df∩DgD_f \cap D_g.

Quotient. (fg)(x)=f(x)g(x)\left(\dfrac{f}{g}\right)(x) = \dfrac{f(x)}{g(x)}, defined on Df∩DgD_f \cap D_g with the further restriction that g(x)≠0g(x) \ne 0 — so the domain of f/gf/g is {x∈Df∩Dg:g(x)≠0}\{x \in D_f \cap D_g : g(x) \ne 0\}, which can be strictly smaller than Df∩DgD_f \cap D_g itself.

Scalar multiple. For a fixed real number kk, (kf)(x)=k⋅f(x)(kf)(x) = k\cdot f(x), defined on DfD_f (the domain of ff alone).

In every one of these operations, the new function's domain is worked out first, from the two original domains, before its rule is used — a very common error is to simplify the algebraic expression for f/gf/g (cancelling a common factor, say) and forget that a point excluded by g(x)=0g(x) = 0 stays excluded even if the simplified formula looks defined there.

Worked illustration. Let f(x)=x2+1f(x) = x^2 + 1 and g(x)=2x−3g(x) = 2x - 3, both with domain R\mathbb{R}. Then (f+g)(x)=x2+2x−2(f+g)(x) = x^2+2x-2, (f−g)(x)=x2−2x+4(f-g)(x) = x^2-2x+4, (fg)(x)=(x2+1)(2x−3)=2x3−3x2+2x−3(fg)(x) = (x^2+1)(2x-3) = 2x^3-3x^2+2x-3, all defined on R\mathbb{R}; but (fg)(x)=x2+12x−3\left(\dfrac{f}{g}\right)(x) = \dfrac{x^2+1}{2x-3} is defined only on R−{32}\mathbb{R} - \left\{\dfrac{3}{2}\right\}, since g(32)=0g\left(\dfrac{3}{2}\right)=0. …