Georg Ferdinand Ludwig Philipp Cantor

advertisement
Александра Владимирова Цветкова, ф. № 43605
Александра Владимирова Цветкова, ф. № 43605
ФМИ, Информатика, 5 гр., 1 курс
Курсова работа по английски език, 2003/2004
Georg Ferdinand Ludwig Philipp Cantor
http://www-history.mcs.st-andrews.ac.uk/Mathematicians/Cantor.html
At Halle the direction of Cantor's research turned away from number theory
and towards analysis. This was due to Heine, one of his senior colleagues at Halle,
who challenged Cantor to prove the open problem on the uniqueness of representation
of a function as a trigonometric series. This was a difficult problem, which had been
unsuccessfully attacked by many mathematicians, including Heine himself as well as
Dirichlet, Lipschitz and Riemann. Cantor solved the problem proving uniqueness of
the representation by April 1870. He published further papers between 1870 and 1872
dealing with trigonometric series and these all show the influence of Weierstrass's
teaching.
Cantor was promoted to Extraordinary Professor at Halle in 1872 and in that
year he began a friendship with Dedekind who he had met while on holiday in
Switzerland. Cantor published a paper on trigonometric series in 1872 in which he
defined irrational numbers in terms of convergent sequences of rational numbers.
Dedekind published his definition of the real numbers by "Dedekind cuts" also in
1872 and in this paper Dedekind refers to Cantor's 1872 paper which Cantor had sent
him.
In 1873 Cantor proved the rational numbers countable, i.e. they may be placed
in one-one correspondence with the natural numbers. He also showed that the
algebraic numbers, i.e. the numbers that are roots of polynomial equations with
integer coefficients, were countable. However his attempts to decide whether the real
numbers were countable proved harder. He had proved that the real numbers were not
countable by December 1873 and published this in a paper in 1874. It is in this paper
that the idea of a one-one correspondence appears for the first time, but it is only
implicit in this work.
A transcendental number is an irrational number that is not a root of any
polynomial equation with integer coefficients. Liouville established in 1851 that
transcendental numbers exist. Twenty years later, in this 1874 work, Cantor showed
that in a certain sense 'almost all' numbers are transcendental by proving that the real
numbers were not countable while he had proved that the algebraic numbers were
countable.
Cantor pressed forward, exchanging letters throughout with Dedekind. The
next question he asked himself, in January 1874, was whether the unit square could be
mapped into a line of unit length with a 1-1 correspondence of points on each. In a
letter to Dedekind dated 5 January 1874 he wrote [1]:
1
Александра Владимирова Цветкова, ф. № 43605
Can a surface (say a square that includes the boundary) be uniquely
referred to a line (say a straight line segment that includes the end
points) so that for every point on the surface there is a corresponding
point of the line and, conversely, for every point of the line there is a
corresponding point of the surface? I think that answering this
question would be no easy job, despite the fact that the answer seems
so clearly to be "no" that proof appears almost unnecessary.
The year 1874 was an important one in Cantor's personal life. He became
engaged to Vally Guttmann, a friend of his sister, in the spring of that year. They
married on 9 August 1874 and spent their honeymoon in Interlaken in Switzerland
where Cantor spent much time in mathematical discussions with Dedekind.
Cantor continued to correspond with Dedekind, sharing his ideas and seeking
Dedekind's opinions, and he wrote to Dedekind in 1877 proving that there was a 1-1
correspondence of points on the interval [0, 1] and points in p-dimensional space.
Cantor was surprised at his own discovery and wrote:
I see it, but I don't believe it!
Of course this had implications for geometry and the notion of dimension of a
space. A major paper on dimension, which Cantor submitted to Crelle’s Journal in
1877 was treated with suspicion by Kronecker, and only published after Dedekind,
intervened on Cantor's behalf. Cantor greatly resented Kronecker's opposition to his
work and never submitted any further papers to Crelle's Journal.
The paper on dimension, which appeared in Crelle’s Journal in 1878, makes
the concepts of polynomial equations precise. The paper discusses denumerable sets,
i.e. those which are in 1-1 correspondence with the natural numbers. It studies sets of
equal power, i.e. those sets, which are in 1-1 correspondence with each other. Cantor
also discussed the concept of dimension and stressed the fact that his correspondence
between the interval [0, 1] and the unit square was not a continuous map.
2
Александра Владимирова Цветкова, ф. № 43605
Glossary of words and names in their mathematical meaning
(Merriam-Webster's Collegiate Dictionary)
Cantor, Georg Ferdinand Ludwig Philipp – (1845 - 1918) German
mathematician who founded set theory and introduced the mathematically meaningful
concept of transfinite numbers, indefinitely large but distinct from one another.
Heine, Eduard – (1821-1881) German mathematician who made valuable
contribution to analysis;
Dirichlet, Peter Gustav Lejeune – (1805 - 1859) German mathematician who
made valuable contributions to number theory, analysis and mechanics.
Lipschitz, Rudolf - (1832-1903) German mathematician who worked on the
number theory and differential geometry;
Riemann, (Georg Friedrich) Bernhard – (1826 - 1866) German mathematician
whose work widely influenced geometry and analysis.
Weierstrass, Karl (Theodor Wilhelm) – (1815 – 1897) German
mathematician, one of the founders of the modern theory of functions.
Dedekind, (Julius Wilhelm) Richard – (1831 – 1916) German mathematician
who developed a major redefinition of irrational numbers in terms of arithmetic
concept.
Liouville, Joseph – (1809 - 1882) French mathematician known for his work
in analysis, the theory of numbers, and differential geometry, and particularly for his
discovery of transcendental number –i.e., numbers that are not the roots of algebraic
equations having rational coefficients.
Crelle, August Leopold – (1780 - 1855) German mathematician and engineer
who advanced the work and careers of many young mathematicians of his day and
founded the Journal für die reine und angewandte Mathematik (“Journal for Pure and
Applied Mathematics”), now known as Crelle’s Journal.
Kronecker, Leopold - (1823-1891) German mathematician who worked on
number theory;
"Dedekind cuts” – Dedekind’s method, now called the Dedekind cut,
consisted in separating all the real numbers in a series into two parts such that each
real number in one part is less than every real number in the other. Such a cut, which
corresponds to a given value, defines an irrational number if no largest or no smallest
is present in either part; whereas a rational is defined as a cut in which one part
contains a smallest or a largest. Dedekind would therefore define the square root of 2
as the unique number dividing the continuum into two collections of numbers such
that all the members of one collection are greater than those of the other, or that cut,
or division, separating a series of numbers into two parts such that one collection
contains all the numbers whose squares are larger than 2 and the other contains all the
numbers whose squares are less than 2.
Number theory - a branch of mathematics that grew out of human curiosity
concerning properties of the positive integers 1, 2, 3, 4, 5, ... also called whole
numbers, natural numbers, or counting numbers;
Irrational number - a number that can be expressed as an infinite decimal
with no set of consecutive digits repeating itself indefinitely and that cannot be
expressed as the quotient of two integers;
Rational number - an integer or the quotient of an integer divided by a
nonzero integer;
3
Александра Владимирова Цветкова, ф. № 43605
Real number - one of the numbers that have no imaginary parts and comprise
the rationals and the irrationals;
Natural number - the number 1 or any number (as 3, 12, 432) obtained by
adding 1 to it one or more times - a positive integer;
Algebraic number - a root of an algebraic equation with rational coefficients;
Transcendental number - incapable of being the root of an algebraic
equation with rational coefficients (Pi is a transcendental number);
Coefficient - any of the factors of a product considered in relation to a specific
factor; esp: a constant factor of a term as distinguished from a variable;
Denumerable - capable of being put into one-to-one correspondence with the
positive integers;
Set - a number of things of the same kind that belong or are used together;
Analysis - a branch of mathematics concerned mainly with functions and
limits;
Geometry - a branch of mathematics that deals with the measurement,
properties, and relationships of points, lines, angles, surfaces, and solids;
Function - mathematical correspondence that assigns exactly one element of
one set to each element of the same or another set;
Trigonometric - of, relating to, or being in accordance with trigonometry;
Series - the indicated sum of a usu. infinite sequence of numbers;
Convergent (a ~ sequence) - characterized by having the nth term or the sum
of the first n terms approach a finite limit;
Sequence - a set of elements ordered so that they can be labeled with the
positive integers;
Polynomial (~ equations) - relating to, composed of, or expressed as one or
more polynomials (a mathematical expression of one or more algebraic terms each of
which consists of a constant multiplied by one or more variables raised to a
nonnegative integral power);
Equation - a usu. formal statement of the equality or equivalence of
mathematical or logical expressions;
One-one - pairing each element of a set uniquely with an element of another
set;
Correspondence - a relation between sets in which each member of one set is
associated with one or more members of the other;
Root - a quantity taken an indicated number of times as an equal factor (2 is a
fourth ~ of 16);
Unit - a single quantity regarded as a whole in calculation;
Surface - a plane or curved two-dimensional locus of points (as the boundary
of a three-dimensional region), for example – a plane surface, surface of a sphere;
Square – 1. a product of a number multiplied by itself; 2.a rectangle with all
four sides equal;
Boundary - something (as a line, point, or plane) that indicates or fixes a limit
or extent;
Segment – 1. a portion cut off from a geometric figure by one or more points,
lines, or planes; 2. a part of a circular area bounded by a chord and an arc of that
circle or so much of the area as is cut off by the chord; 3. a part of a sphere cut off by
a plane or included between two parallel planes; 4. a finite part of a line between two
points in the line;
Interval - a set of real numbers between two numbers either including or
excluding one or both of them;
4
Александра Владимирова Цветкова, ф. № 43605
P-dimensional - relating to or having p dimensions; esp: consisting of or
relating to elements requiring p coordinates to determine them;
Space - a set of mathematical elements and esp. of abstractions of all the
points on a line, in a plane, or in physical space; esp: a set of mathematical entities
with a set of axioms of geometric character;
5
Александра Владимирова Цветкова, ф. № 43605
Exercise:
1.
a)
b)
c)
d)
2.
a)
b)
c)
d)
3.
a)
b)
c)
d)
4.
a)
b)
c)
d)
5.
a)
b)
c)
d)
6.
a)
b)
c)
d)
7.
a)
b)
c)
d)
When was realized the first contact between Cantor and Dedekind?
1870;
1874;
1873;
1872;
Rational numbers may be placed in one-one correspondence with :
the natural numbers.
the real numbers.
the transcendental numbers .
the algebraic numbers.
Who established that transcendental numbers exist?
Dedekind;
Leouville;
Cantor;
Kronecker.
Which of the following was not a part of Cantor’s works?
trigonometric series;
set theory;
complex numbers;
polynomial equations.
Which of the following Cantor hadn’t worked with?
Heine;
Dedekind;
Louville;
Dirichlet.
What is an algebraic number?
a root of an algebraic equation with rational coefficients;
a number that can be expressed as an infinite decimal with no set of
consecutive digits repeating itself indefinitely and that cannot be expressed
as the quotient of two integers;
a root of an algebraic equation with natural coefficients;
an irrational number that is not a root of any polynomial equation with
integer coefficients.
Which of Cantor’s works was published in Crelle’s Journal?
1-1 correspondence of points on the interval [0, 1] and points in pdimensional space;
trigonometric series defining irrational numbers in terms of convergent
sequences of rational numbers.;
polynomial equations;
transcendental numbers.
6
Download