12
$\begingroup$

I am teaching a pre-calculus course (using the textbook by Michael Sullivan if it helps), and I realized that higher order functions seem to show up in with some frequency in pre-calculus and calculus. Since these students are particularly good (high school students taking college classes), I introduced this concept to them. Without being too rigorous, let me make some definitions.

A first order function will be a function of the form, $f:A\to B$ such that $A$, and $B$ are (nice enough) subsets of $\mathbb{R}$.

$\phantom{}$

An n-th order functions will be a function of the form, $f:A\to B$ such that either $A$ or $B$ are (perhaps sufficiently nice) sets of functions of order at most $n-1$.

$\phantom{}$

The plethora of all the $n$-th order functions will be collectively known as higher order functions.

The examples that they have seen are families of functions such as, $$a\mapsto (x\mapsto f(ax))$$ $$r\mapsto (x\mapsto x^r).$$ (in fact they have seen animations of these and others in mathematica in fact I used their experience with this program to help illustrate the concept). Some other examples that they have seen that are of the form $$PFun(\mathbb{R},\mathbb{R})\to PFun(\mathbb{R},\mathbb{R}),$$ where $PFun(\mathbb{R},\mathbb{R})$ is the set of partially defined functions on $\mathbb{R}$ (I made them partially defined so that I do not have to be too careful with the exact domain, as that can change from problem to problem), given by $$f\mapsto (x\mapsto f(x-a))\\f\mapsto (x\mapsto f(mx))\\f\mapsto (x\mapsto f(x)+b)\\f\mapsto (x\mapsto mf(x)),$$ as well as composites of these, so as to be able to talk about the affine transformations that we made to the graph. Another example of this is the difference quotient, $$(h,f)\mapsto \frac{f(x+h)-f(x)}{h},$$ and in calculus, they will also see the derivative. It seems that this notion is a fairly simple one, and one that will prove useful later in life as well as now. A student asked for a place to read about this, and I said that I did not know an appropriate place for this. I know that I can find some good treatments of this if I look up the lambda calculus or Cartesian closed categories, but I would not want them to learn the notions of category theory or the notation of the lambda calculus. I also know that this notion is described in books about programming languages like Haskell or LISP, but this seems like they would have to learn a certain amount of code to fully understand this. So my question:

Is there a treatment of higher order functions that is not a computer science book and is reasonably elementary (say at the level of elementary set theory)?

$\endgroup$
  • 4
    $\begingroup$ What is the order of a function? $\endgroup$ – copper.hat Oct 11 '13 at 3:40
  • $\begingroup$ I messes up the indexing in the inductive definition. It is fixed. $\endgroup$ – Baby Dragon Oct 11 '13 at 3:42
  • 1
    $\begingroup$ @BabyDragon : I am having trouble understanding your question. Can you please give a specific example of a higher order function that occurs in pre-calc and calc? $\endgroup$ – Stefan Smith Oct 12 '13 at 2:22
  • 1
    $\begingroup$ @StefanSmith In particular, a second order function (let's call it an operator) is a map such that either the domain or codomain is a collection (partially defined) functions from the reals to the reals. The canonical example in calculus is the map, $f\mapsto \frac{df}{dx}$. This takes the set of differentiable functions to functions. Another example that we see often enough is $f\mapsto f(x-a)$ ( used the notation $f\mapsto(x\mapsto f(x-a))$ in the question). Another example would be the difference quotient. $\endgroup$ – Baby Dragon Oct 12 '13 at 4:06
  • $\begingroup$ We could also write the difference quotient as $$f\mapsto(h\mapsto \frac{f(x+h)-f(x)}{h})$$ or $$h\mapsto (f\mapsto\frac{f(x+h)-f(x)}{h})$$. $\endgroup$ – Baby Dragon Oct 12 '13 at 4:11

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.