## Function f

The graph of a function f is the set of all points in the plane of the form (x, f(x)). We could also define the graph of f to be the graph of the equation y = f(x). So, the graph of a function if a special case of the graph of an equation.

Example 1:

Let f(x) = x2 – 3.

Recall that when we introduced graphs of equations we noted that if we can solve the equation for y, then it is easy to find points that are on the graph. We simply choose a number for x, then compute the corresponding value of y. Graphs of functions are graphs of equations that have been solved for y!

The graph of f(x) in this example is the graph of y = x2 – 3. It is easy to generate points on the graph. Choose a value for the first coordinate, then evaluate f at that number to find the second coordinate. The following table shows several values for x and the function f evaluated at those numbers.

 x -2 -1 0 1 2 f(x) 1 -2 -3 -2 1

Each column of numbers in the table holds the coordinates of a point on the graph of f.

Exercise 1:

(a) Plot the five points on the graph of f from the table above, and based on these points, sketch the graph of f.

(b) Verify that your sketch is correct by using the Java Grapher to graph f. Simply enter the formula x^2 - 3 in the f text box and click graph.

Example 2:

Let f be the piecewise-defined function

To express f in a single formula for the Java Grapher or Java Calculator we write

(5 - x^2)*(xLE2) + (x - 1)*(2Lx).

The factor (xLE2) has the value 1 for x <= 2 and 0 for x > 2. Similarly, (2Lx) is 1 for 2 < x and 0 otherwise. If we evaluate the sum above at x = 3, the first product is 0 because (xLE2) is 0 and the second product is (3 – 1)*1=2. In other words, for x > 2, the formula evaluates to x – 1. If x <= 2, then the formula above is equal to 5 – x^2, which is exactly what we want!

The graph of f is shown below.

## Systems of Functions

In the theory of algebraic invariants, questions as to the finiteness of complete systems of forms deserve, as it seems to me, particular interest. L. Maurer has lately succeeded in extending the theorems on finiteness in invariant theory proved by P. Gordan, to the case where, instead of the general projective group, any subgroup is chosen as the basis for the definition of invariants.

An important step in this direction had been taken al ready by A. Hurwitz, who, by an ingenious process, succeeded in effecting the proof, in its entire generality, of the finiteness of the system of orthogonal invariants of an arbitrary ground form.

The study of the question as to the finiteness of invariants has led me to a simple problem which includes that question as a particular case and whose solution probably requires a decidedly more minutely detailed study of the theory of elimination and of Kronecker’s algebraic modular systems than has yet been made.

Let a number m of integral rational functions Xl, X2, … , Xm, of the n variables xl, x2, … , xn be given,

 (S) X1 = f1(x1, … , xn), X2 = f2(x1, … , xn), … Xm = fm(x1, … , xn).

Every rational integral combination of Xl, … , Xm must evidently always become, after substitution of the above expressions, a rational integral function of xl, … , xn. Nevertheless, there may well be rational fractional functions of Xl, … , Xm which, by the operation of the substitution S, become integral functions in xl, … , xn. Every such rational function of Xl, … , Xm, which becomes integral in xl, … , xn after the application of the substitution S, I propose to call a relatively integral function of Xl, … , Xm. Every integral function of Xl, … , Xm is evidently also relatively integral; further the sum, difference and product of relative integral functions are themselves relatively integral.

The resulting problem is now to decide whether it is always possible to find a finite system of relatively integral function Xl, … , Xm by which every other relatively integral function of Xl, … , Xm may be expressed rationally and integrally.

We can formulate the problem still more simply if we introduce the idea of a finite field of integrality. By a finite field of integrality I mean a system of functions from which a finite number of functions can be chosen, in terms of which all other functions of the system are rationally and integrally expressible. Our problem amounts, then, to this: to show that all relatively integral functions of any given domain of rationality always constitute a finite field of integrality.

It naturally occurs to us also to refine the problem by restrictions drawn from number theory, by assuming the coefficients of the given functions fl, … , fm to be integers and including among the relatively integral functions of Xl, … , Xm only such rational functions of these arguments as become, by the application of the substitutions S, rational integral functions of xl, … , xn with rational integral coefficients.

The following is a simple particular case of this refined problem: Let m integral rational functions Xl, … , Xm of one variable x with integral rational coefficients, and a prime number p be given. Consider the system of those integral rational functions of x which can be expressed in the form

G(Xl, … , Xm) / ph,

where G is a rational integral function of the arguments Xl, … , Xm and ph is any power of the prime number p. Earlier investigations of mine show immediately that all such expressions for a fixed exponent h form a finite domain of integrality. But the question here is whether the same is true for all exponents h, i. e., whether a finite number of such expressions can be chosen by means of which for every exponent h every other expression of that form is integrally and rationally expressible.