_{1}

^{*}

The Cantor’s conclusion that “there is a one-one correspondence between the points on n-dimensional space and the points on the line” appears in the numerous current documents. By introducing a monotonic and continuous function, a one-one correspondence between two intervals is built; and by using parametric equations of the curve, a one-one correspondence from the points on the curve to the points on the line is established. Specially, the meanings of multivariate functions are given. By using a n-variable equation with a parameter, a correspondence from n-dimensional space area to a interval is built, so the wrong conclusion is completely denied. The paper enriches calculus and can reduce the teaching difficulty of real function in some degree. The expression of moving curve (surface) limit is given in the paper. More importantly, after the conclusion is corrected, it will be necessary and possible to re-establish the theory and the approach about multivariable differential calculus.

Cantor was certainly one of the great mathematicians. Based on the study results of Dirichlet and Riemann, he developed point-set theory, and exploited a new world―set theory. Because his creative work clashed with mathematical traditional view, he encountered the strong opposition from academic authorities such as Klein, Weyl, Poincare. But he received strong support from other authorities such as Dedekind, Weierstrass, Mittag-Leffler. Hilbert spok highly of Cantor Set Theory and rated continuum hypothesis the top of the famous 23 probems at the 2nd ICM in 1900. Set theory had been generally accepted by us in the 20th century. Although Russells, a logician, praised of Cantor too, he found Cantor’ set theory was not complete, and he proposed a paradox in 1901:

Suppose

The accessible version of the paradox is “barber paradox” or “liar paradox”, which results in the 3th mathematics crisis. At present, set theory has gone deep among many branches of mathamatics, and can describe mathematical concepts or theorems precisely and rigorously, but we detect that there is still the other flaw in Cantor set theory.

In 1874, Cantor started to consider whether there is a one-one correspondence between the points on the line and the points in the n-dimensional space. After 3 years’ hard work, he said proudly that “there is a one-one correspondence between n-dimensional space and a line, and the points on n-dimensional space are as many as on a line” in his private communication with Dedekind. Since Cantor set theory had been published, mathematicians all over the world have taken the conclusion for granted. To this day, hardly anyone questions the conclusion, it has appeared in numerous textbooks of high school maths [

Suppose the sign C denotes the cardinality of continuum (an interval or the line), then the cardinality of

In the process of studying further multivariable calculus, it was not until the end of 2013 year that I discovered the conclusion to be obviously wrong. I had also taken the conclusion for granted when I studied real variable function and mathematical history 25 years ago. In 2006, I started to teach higher mathematics and took up with element method and tried to solve multiple integral with element method. Based on the results of Tang Yanzeng and others [

In order to lead more broader people to realize the wrong conclusion, and in order to dispel the myths that it created and to remove barriers to studying in mathematics, we will use the concept of mapping, moving curve (surface), meanings of multivariate function to reveal and correct the wrong conclusion.

The origin, per unit length and positive direction are determined on a line, every real number corresponds to the only point on number axis, every spot on number axis corresponds to the only real number. Under rectangular coordinate system, each point in the plane corresponds to only the ordered pair (a, b), and each ordered pair (a, b) corresponds the only point in the plane. The class of correspondences is called one-one correspondences.

Mapping: Let A and B be two sets. According to certain corresponding rule f, if each element a in A has the only element b in B, the rule f is said to be mapping from A to B, which is expressed

One-one correspondence: Let

Any function of one variable is a mapping from domain to value region, where an independent is a preimage and a function value is an image. Monotone functions are one-one correspondences. Quadratic functions are two-one mappings. Periodic functions are “infinitely many-one” mappings.

Using

Actually, when the two intervals are regard as the domain and the value region separately, using a appropriate monotone and continuous function, the one-one relationship is established.

Example 1 Establish one-one correspondences from an interval to the other interval.

1)

2)

3)

4)

Solution: (1)

2)

3)

4) Firstly, we determine the altitude points A and B right above a, b on number axis and drow a smooth and concave curve L between A and B. Secondly, we draw a ray line from the midpoint P of AB to intersect L and the number axis at M and N separately. Thus M corresponds to N, and the horizontal coordinate of M corres-

ponds to N on number axis. So, the correspondence is established between

Strictly speaking, there is no one-one correspondence between open-interval and closed interval unless the two endpoints on closed interval are removed, and it is as well between open interval and half-open interval or between closed interval and half-open interval.

As these examples illustrate: there are as many real numbers on R as on any open interval of R, as well as between any interval and the line.

Every point

function is continuous, the graph of it is a continuous curve. For any given curve, by using geometrical method or algebraic means, the one-one relation is established between the points on the curve and on the line, which can show that there are the same points on the curve as on the line.

Example 2 [

Proof: Method-1. Let a circle touch the number axis at the origin (the tangent point corresponds to the origin). Let a tangent line from any point A on the circle intersect the number axis at a, then point A on the circle corresponds to a on the line (Set the tangent point corresponds to

Method-2 The function

establishes the one-one correspondence from interval (0, 2π) to the circle

So

establishes the one-one correspondence from (−∞, +∞) to circle. Note: The point

Cantor proposed that the set was called countable if the all elements in the set could be arranged at certain regular. He divided all the sets into two types: countable sets and uncountable sets, and proposed that the set of integers and the set of rational numbers were all countable, and there were as many positive rational numbers as positive integers. The set of irrational number and the set of real number are all uncountable. In spite of infinitely many rational numbers and real numbers between any two real number, each rational number can be expressed as the quotient of two integers [

Example 3 There are the same rational numbers on any interval as positive integers.

Proof For convenience, we will first prove that the number of rational numbers on interval (0.1, 0.2) is equal to number of positive integers.

We arrange the all rational numbers on the interval under the rules: ascending denominator (if the denominator is the same, the rule is ascending numerator; if a rational number is equal to the former, keep the former). So, the all rational numbers on the interval (0, 1, 0, 2) is arranged as follows.

The number of elements in a set is called the cardinal number or cardinality of the set. Any interval is a continuum, C is used to express the cardinality of any interval [

The system of coordinates has built a bridge between algebra and geometry. Any binary equation with infinitely many solutions represents a curve (line, half-line, polyline), for instance

is introduced, which is called to be a degenerate transformation.

Example 4 Give the meanings of the equations

1)

2)

Solution: (1) When t is assigned a non-zero real number, a parabola is obtained from the Equation (2). When

coordinate plane to the interval

parabola is infinitely tending to x-axis; when

(2) The Equation (3)

When

So, the equation

Analogously, any equation

Example 5 Give the meanings of the equations

1)

2)

3) [

Solution:

1) (4) acts as a moving plane and a family of planes in the space; a mapping that makes each plane and the infinite points in the each plane correspond to the only real number, and vice versa.

2) (5) acts as a moving sphere and a family of spheres in the space; a mapping that makes each sphere and the infinite points in each sphere correspond to the only positive number, and vice versa.

3) When t is assigned a non-zero real number, a four-leaf surface is obtained from the equation; when t is assigned a positive real number, the four-leaf surface is located 1, 3, 6, 8 four octants; when t is assigned a minus, the four-leaf surface is located 2, 4, 5, 7 four octants.

For convenience, the case in 1 octant is discussed. When t has gone through real numbers on

The equation

When

An equation

Functions of a variable can be classified into two kinds: one-one correspondence, several-one correspondence. But, any function of two variables is a infinity-one correspondence (the extreme points and the points of maxima or minima can are excepted).

Choose any function value

Owing to infinitely many real numbers between any two real numbers, there are infinitely many curves between any two curves

so the domain of the function

Similarly,

ing from the domain to the value region of the function, which makes each surface and all the points in the each surface correspond to the only value of the function. The domain of the function

Any function of three variables is also an infinite many-one correspondence (the extreme points, the points of maxima or minima are excepted).

A function value

Generally, a continuous function of two variables expresses a surface in the space; a degenerate transformation; a moving curve in the area; a family of curves that cove completely the whole area; a mapping from the area to the value region of the function, which makes each curve and all the points on the each curve correspond to the only value of the function. Any continuous function of n-variables (n ≥ 3) expresses a moving surface in n-dimensional space; a degenerate transformation; a family of surfaces that fill completely in the n-dimensional domain; a mapping from the n-dimensional domain to the value range of the function, which makes each surface and all the points on the each surface correspond to the only value of the function. Any multivariate function is a infinite many-one correspondence from the points of the domain to the points of the functional value.

Furthermore, because any binary equation with infinite many solutions expresses a curve, and a curve is a one-dimensional space, so the binary equation expresses a one-dimensional space, and a function

For any n-dimensional domain and any interval, let the domain be the domain of a function of n variables and the interval be the rang of the function, a one-one correspondence from a family of n − 1 dimensional subspace to the interval is established by the function. As long as a one-one correspondence is established between set A and set B, the elements in A are the same many as that in B. Due to the one-one correspondence from any interval to the line, and owing to the one-one correspondence from a family of n − 1 dimensional spaces in n-dimen- sional space to an interval, there is a one-one correspondence from a family of n − 1 dimensional subspaces to the line, but there are infinite points on each n − 1 dimensional subspace, thus the conclusion that there is a one- one correspondence between n-dimensional space and the line, and the points on n-dimensional space are as many that as on the line is obviously mistaken.

We correct Cantor’ conclusion as the followings:

There is a one-one correspondence between any interval and the line, the points on any interval are as many as on the line. There is a one-one correspondence between any curve and the line, the points on any curve are as many as on the line. There is a one-one correspondence from a family of curves that cover completely the plane to the line; the curves are as many as pints on the line. There is a one-one correspondence from a family of surfaces which fill completely the 3-dimensional space to the line; the surfaces in 3-dimensional space are as many as the points on the line. There is a one-one correspondence from a family of n − 1 dimensional subspaces which fill in the n-dimensional space to the points on the line. There is no one-one correspondence from the points in n-dimensional space to the points on the line.

Let

In this paper, by using an appropriate monotone and continuous function, the one-one correspondence can be established between any two intervals; by using geometrical method or algebraic means, the one-one relation is established between the points on the curve and on the line; and by helping a appropriate continuous function of n variables, the correspondence from a family of n − 1 dimensional subspace in n-dimensional space to an interval. Thus, the paper can not only strengthen the relations among middle school maths, calculus, space analytic geometry, real function theory, can but also reduce the teaching difficulty of real analysis in some degree. After proposing the concept of moving curve (surface) and the concept of family curves (surfaces), and revealing the relations between moving curve (surface) and multivariate function, we can give the geometric meanings and the physics meanings of the problem of conditional extreme value. A new approach which is superior to current Lagrange multiplier method is obtained can completely replace it. Based on the concepts of moving curve (surface) and set theory, the method of changing directly multiple integrals or fist type surface integrals into simple integrals can have visual geometric meanings and physics meanings, and it is absolutely necessary to redefine multiple function integrals.

Thank Library of Chengdu Normal University!

MingXiong, (2015) Correct a Wide Spread Conclusion of Cantor Set Theory. Advances in Pure Mathematics,05,544-551. doi: 10.4236/apm.2015.59050