The Citizen Scientist
 
3 December 2004

What is infinity?

by George E. Hrabovsky, President, MAST


Where We Have Been

Last time I defined a function, the zeta function, and the infinite sum. This raised a lot of questions, some of which I intend to answer in this column.

Session 3: What is infinity?

I will introduce another reference for the project:  Richard A. Silverman, Modern Calculus and Analytic Geometry, Macmillan Company, 1969 (republished in 2002 by Dover Publications). [1]  I looked up infinity and worked out this explanation: infinity is the name of the symbol ∞, and it represents a quantity that can be arbitrarily large. Another way of saying it is that no matter what numerical value you choose for ∞, you can always find a value that is larger.  Thus, ∞ is not a number, though it can be used in expressions as if it were.

We can apply this idea to our explanation of infinite sums as a sum whose number of terms never ends.  This raises the question:

41. If an infinite sum is one with a never-ending number of terms, how can you calculate it?

What is integration?

Using reference [2] we gain the definition: "Integration is the process of finding an integral." This is rather unsatisfactory. We now have the question,

42. What is an integral?

This seems pretty important so we will continue to consider this question.

What is an integral?

According to [2] an integral is an area or the generalization of an area and is one of the fundamental concepts of calculus. The Riemann integral is the most commonly used type of integral. This raises the questions,

43. What is area?

44. What is the Riemann integral?

45. What other types of integrals are there?

What is area?

According to [2] the area of some surface is the amount of material required to cover it completely.

What is the Riemann integral?

According to [1] we can define an interval as the difference between two values of something.  For example, if we have x_1 and x_2 as two values of x the increment of x would be the difference of the latter value of x subtracted by the previous value. We can write this,

 16; x = x_2 - x_1 .

If we have a function, f(x) and we assign a point,  58;, on the increment  16; x, we can define the function at the point f( 58;).  In a normal graph we can see that the vertical axis is f( 58;) while the horizontal is x.  Let us say that the function we are studying is x^2.  We then have.

[Graphics:HTMLFiles/infinity_14.gif]

If we think about it long enough it will occur to us that f( 58;) at any point is a length from a point  58; on the x axis to the curve.

[Graphics:HTMLFiles/infinity_18.gif]

We can also see that the interval  16; x describes a line segment along the x axis. If we multiply this by f( 58;) we get a rectangular area.

[Graphics:HTMLFiles/infinity_22.gif]

This area A has the value,

A = f( 58;)  16; x .

If we add up a number n of these rectangles, we will get an approximation of the area between the curve and the x axis.

A = Underoverscript[∑, i = 1, arg3] f( 58;_i)  16; x_i .

The only problem with this method is that we get something that looks like a staircase.

[Graphics:HTMLFiles/infinity_28.gif]

There is a built-in error where the rectangles get close to the curve of the function. The accuracy of this method will increase if we make the width of each rectangle arbitrarily small. We can write this,

FormBox[RowBox[{max( 16; x_i), , 0.}], TraditionalForm]

This means that the edge of the two increments is touching,

FormBox[RowBox[{x_2 - x_1, , 0.}], TraditionalForm]

This is an important concept and requires a little more explanation at this point. Here the two points are touching, so there is no distance between them. But it does not mean that the two points occupy the same location. If we draw a little circle around each point,

[Graphics:HTMLFiles/infinity_31.gif]

we can say that the true location of each point is within the appropriate circle, called the neighborhood of the point.  If we say that these neighborhoods surround the values on the x axis, we can say that there are corresponding neighborhoods about every point on the f(x) axis.  As the value of x approaches some specific target (in this case 0), then FormBox[RowBox[{f(x), Cell[]}], TraditionalForm]will also approach some specific value called the limit of the function.  We write this,

A = Underscript[lim, max( 16; x_i) 0] Underoverscript[∑, i = 1, arg3] f( 58;_i)  16; x_i .

It turns out that this is the definition of the Riemann integral. We can use standard notation. If we want to find the area under the curve of a function, f(x), from the point x_1 to x_2, we write it,

∫_x_1^x_2xx = Underscript[lim, max( 16; x_i) 0] Underoverscript[∑, i = 1, arg3] f( 58;_i)  16; x_i .

These facts raise a number of questions:

46. How do we use limits?

47. How do we use this idea to calculate integrals?

Book Review: Modern Calculus and Analytic Geometry

Richard A. Silverman, Modern Calculus and Analytic Geometry, Macmillan Company, 1969 (republished in 2002 by Dover Publications).

This is one of the nicest calculus books around. It has very clear descriptions, a nice set of problems to work, and has a nice blend of theory and applications. It may seem expensive for a Dover book (nearly $40), but this book has over a thousand pages and is split into 15 chapters that cover such topics as set theory and functions, real numbers, limits and continuity, derivatives, the applications of derivatives to different types of functions, integrals, plane analytic geometry, plane curves and plane vectors,  linear algebra, spatial analytic geometry, multivariable derivatives (called partial derivatives), multivariable integrals (called multiple integrals), applications of multivariable calculus, and infinite series. I do think that more emphasis should be placed on infinite series, and there is not much on differential equations. These problems so not keep me from recommending the book.

References

[1] Richard A. Silverman, Modern Calculus and Analytic Geometry, Macmillan Company, 1969 (republished in 2002 by Dover Publications).

[2] Eric W. Weisstein, CRC Concise Encyclopedia of Mathematics, CRC Press, 1999.


Created by Mathematica  (November 21, 2004)

Copyright © 2004 Society for Amateur Scientists