3,138

edits
# Changes

## Domain

,→Computation of maximum possible domain from algebraic expression

| [[scalar multiple of function|scalar multiple]] by a constant || <math>af</math> is the function <math>x \mapsto af(x)</math> where <math>a</math> is a real number || Same as the domain of the original function ||

|-

| [[pointwise product of functions|pointwise product]] || <math>f \cdot g</math> (sometimes denoted <math>fg</math>) is the function <math>x \mapsto f(x)g(x)</math><br>f_1 \cdot f_2 \cdot \dots f_n</math> (sometimes denoted <math>f_1f_2\dots f_n</math> is the function <math>x \mapsto ~~ ~~f_1(x)f_2(x) \dots f_n(x)</math> || Intersection of the domains of all the functions being multiplied || Similar to the note for sums.<br> <toggledisplay>Note that this definition is quasi-paradoxical, in that the function defined as <math>f \cdot g</math> where <math>f(x) = x - 2</math> and <math>g(x) = 1/(x - 2)</math> is 1 everywhere ''except'' at 2. This is because even though the expressions for <math>f</math> and <math>g</math> cancel each other, evaluating at <math>x = 2</math> does not make sense for the expression ''prior'' to algebraic simplication by cancellation.</toggledisplay>|-| [[pointwise quotient of functions|pointwise quotient]] || <math>f/g</math> is the function <math>x \mapsto f(x)/g(x)</math> || Intersection of the domain of <math>f</math> with the ''subset'' of the domain of <math>g</math> comprising those points <math>x</math> where <math>g(x) \ne 0</math>.|-| [[composite of two functions]] || <math>f \circ g</math> is the function <math>x \mapsto f(g(x))</math> || Set of those values <math>x</math> for which <math>g(x)</math> lies inside the domain of <math>f</math>. |||-| [[inverse function]] of a [[one-one function]] || <math>f^{-1}</math> sends <matH>x</math> to the unique <math>y</math> such that <math>f(y) = x</math> || Same as the [[range]] of the original one-one function <math>f</math> |||-| [[piecewise definition of functions|piecewise definition]] || {{fillin}} || Union of the domain of definition for each piece. This domain is usually given explicitly or requires finding the subset of an explicitly specified set where an explicit expression makes sense. ||

|}