Professional Documents
Culture Documents
25-35
.
, , , ,
, !, 1900
8 5 , David Hilbert (18621943) ,
[1], ,
, ,
, ;
, , ,
, , ,
, , Riemann Goldbach
Hilbert , Hilbert
, ;
, ,
, , , ,
Hilbert
! ,
Hilbert 1900 , , Henri
Poincare (18541912) Felix Klein (18491925) , ,
, ,
25
26 30 1 95 3
, ,
, :,
? ?
, ? :,
, , , ,
, , ,
, ,
, , Hilbert
, ,
! , ? ,
, , , ,
, Hilbert Hilbert
, , [2]
[3]
, , ,
: , , , , Hilbert
, , ; , ,
,
[4]
, , , ,
, , Gauss, Riemann, Euler, Weierstrass ,
, , ,
, Hilbert , :
, , ,
? ,
, , ;
:, ,
,
, , , , Hilbert
; , ,
, !,
, , ,
27
,
,
, , , ,
! ,
, , , ,
Hilbert
, ,
, ,
.
, ,
[5], , ; ,
, ,
, ,
, ,
, ,
, ,
, , , ,
, ,
, : ,
, ( ), ,
, ,
, xyzw ,
, ,
, ,
; , , , ,
, ,
,
, ,
;
, , ,
28 30 1 95 3
, , ,
, ,
: (1) ,
; (2) , , ;
(3) , ,
,
, , , ,
,
, ,
,
, ,
, ,
, ,
, Hilbert
,
, , M. al-Khowarizmi (783-850)
x2 + px + q = 0 x = p/2
p
(p/2)2 q () 1545 G. Cardano (15011576) N. Fontana
29
, Abel, Galois
:
(module)
( 1.1):
....... ....... ....... ....... ....... ....... ....... ....... ....... ....... ....... ......
...
...
..
.
...
...
..
.
..................................................................................................................................................................................
...
...
...
..
.
..
....
..
...
..
...
..
...
...
...
...
..
.
...
..
...
...
..
.
...
....
..
.
..
...
...
..
..
...
...
...
...
..
.
...
...
...
..
..
.
..
.
...
...
...
...
...
..
................................................................................................................................................................................
.. .
...
..
...
...
...
..
.
...... ....... ....... ....... ....... ....... ....... ....... ....... ....... ....... ......
, ,
......................................................................................................................
,
1.1.
.
, ,
: (Pythagoras, 500 )
, (Euclid) (Elements)[6] . Euclid ,
300 13 , 5 , 5 , 119
465 , , ,
,
, ,
30 30 1 95 3
,
, ,
, ,
, ,
R. Descartes (15961650) P. de Fermat (16011665)
, , (x, y)
, ,
, Descartes
,
,
, , ,
,
, , ,
, ,
,
, Descartes Fermat
, , ,
, Apollonius ( 262 190)
, ,
: , : ,
, ,
, ,
, ,
, ,
31
? , ,
,
, :(1)
, ; (2)
, ; (3)
, ,
, ,
,
, ,
, , ,
, :(1)
; (2) ; (3) ;(4)
; (5) , ,
,
, , , ,
() , :
,
, ,
, , C. F. Gauss (17771855) J. Bolyai
(18021860) N. U. Lobatchevsky (17921856) ,
:
,
, ,
, , ,
,
1854 (B. Riemann (18261866)) Euler, Gauss
, ,
, , ,
, ; , ,
, ,
, (A. Einstein (18791955))
32 30 1 95 3
, , ,
, Laplace-Beltrami ,
; , HeisenbergSchrodinger Planck
; ,
(position) (moment) ,
, , Lie bracket
(Heisenberg Uncertainty Principle),
: (sub-elliptic differential operators) ,
(subRiemannian geometry),
, [7]
, ,
, !
, ,
, , ,
, , ,
, ,
, , 6
sin x, cos x, . . . ,
, ,
, , , ,
, ,
, ,
x2 + 1 = 0 , 1 = i
, ,
Euler , ,
, Euler,
, ,
Euler ,
33
Euler , ,
,
( 1.2) :
..
.................................................................................................................................................................
...
..
...
...
...
...
...
..
......................................................................................................................
............................................................
............................................................
.....
.....
.....
......
......
.....
.....
.....
.....
......
.....
.....
.....
.....
......
......
.........
.
, Euler
.................................................................................................................................................
Riemann
,
1.2.
, Hilbert ,
, , : (1)
, ,
, , ,
;(2) , : ,
, , ,
: ,
.
, ?
,
, ,
34 30 1 95 3
, , ,
,
, , , ,
, ,
, , , ? ,
, ,
, , ,
, , ,
, ,
, ? ?
, ,
,
, ,
, Euler ei = cos + i sin ,
, Euler , ,
, , , Euler
,
: , , ,
, , : ,
:
, ,
, , ,
, , , ,
, , ,
, ; ,
: , !
, ,
, , , , ,
, Gauss, Bolyai, Lobatchevsky
, ,
35
, ,
, ; , LagrangeAbel Galois
, , Fermat
1637, 350 ,
, 1994 Andrew Wiles 125
, Wiles ; ,
, ,
, ,
, ,
, , ,
1. D. Hilbert, Cottinger Nachrichten, 1900, 253297; The Bulletin of American Mathematical Society. 8, 1902, 437445, 478479.
2. , , , , , 2002
3. , , , , 1981
4. , , , , 2004
5. D. M. Burton, The History of Mathematics: An Introduction, 5th ed., McGraw-Hill,
New York, 2003.
6. Euclid, The thirteen books of the Elements, Trans from text of Heiberg with introduction and commentary by T. L. Heath, 3rd ed., Cambridge University Press, Cambridge,
1908.
7. O. Calin, D. C. Chang and P. Griener, Geometric mechanics on the Heisenberg group
and its applications, to be published by American Mathematical Society & International
Press, Cambridge, Massachusetts, 2006.
; Georgetown University
30 2 , pp. 12-27
.
,
, ,
, ,
, : (Archimedes, 287212)
,
, , (Newton)
( Leibniz) , ,
, , y = xn (n)
();
,
, , Newton-Leibniz
(): f (t) [a, b] , x [a, b]
,
(x) =
f (t)dt
(a < x < b)
(x) [a, b] ,
(x) = f (x)
(a < x < b)
d(x) = f (x)dx
12
13
d(x) = f (x)dx
(): (x) [a, b],
d(x)
dx
f (x),
Z x
f (t)dt = (x) (a)
(a x b).
(x) (a) =
f (t)dt
, :
, , , ,
, ,
, , , ;
, ,
,
,
:
, f (x)[a, b], x0 [a, b] ,
f (x0 + x) f (x0 )
x0
x
lim
x 0 , f (x) x = x0 ,
df
(x0 )
dx
f (x0 )
14 30 2 95 6
f (x0 )dx f x = x0 ,
x = x0
[a, b] n 1 x1 , . . . , xn1 , a = x0 , b = xn , a = x0 < x1 <
n
X
f (j )xj ,
j=1
= max{j }, n , 0, limn,0 Sn ,
, f (x) [a, b] Riemann ,
Z b
f (x)dx
a
Sn (Riemann sum)
, : y = xm , m
, [0, 1] , y = xm ,
, y = xm , m = 2
, [0, 1] n , j = xj1 ,
n 1 2 i
1 h 1 2 2 2
Sn =
+
++
n n
n
n
i
1h 2
= 3 1 + 22 + + (n 1)2
n
1 (n 1)n(n 2)
= 3
n
6
1
1
1
1
1
2
=
6
n
n
3
: 12 + 22 + + (n 1)2 , m = 3 , y = x3
: 13 + 23 + + (n 1)3 ,
m , , y = xm [0, 1]
1m + 2m + + (n 1)m , ,
[0, 1] : y = xm , m ,
[a, b] , 0 < a < b OC = a, OD = b, C, D M1 , . . . , Mn1 ,
OM1 = aq, OM2 = aq 2 , . . . , OMn = aq n , Mn = D,
b 1/n
C = M0 ,
q=
a
15
[a, b] , Nk y = xm x = OMk , Nk Mk
(aq k )m , Pk Nk1 x Nk Mk
2.1
Mk1 Nk1 Pk Mk
(aq k aq k1 )(aq k1 )m = (q 1)(aq k1)m+1
y = xm [a, b]
Sn = (q 1)(aq 11 )m+1 + (q 1)(aq 21 )m+1 + (q 1)(aq n1 )m+1
= (q 1)am+1 1 + q m+1 + q 2(m+1) + + q (m+1)(n1)
= (q 1)am+1
q (m+1)n 1
q m+1 1
q n = ab ,
m+1
m+1
Sn = a
b
a
q m+1 1
q1
, , [a, b] ,
, n , q 1,
q m+1 1
m+1
q1
Sn
bm+1 am+1
m+1
Z
a
xm dx =
bm+1 am+1
m+1
16 30 2 95 6
m, 0 < a < b
, , , y =
xm , m , , , , y = xm
, , , , ,
, ,
? Newton Leibniz
, , , f (x) ,
, (x), (x) = f (x), , (x) f (x)
y = xm , (x), (x) = xm ,
, ,
, ,
.
,
, ,
, ,
, , :
, ,
,
, , ?
,
, ,
, ()
(George Green, 17931841) (): D xy
L , P (x, y) Q(x, y) D ,
I
ZZ
Q P
dxdy
P dx + Qdy =
x
y
L
D
L ( 2.2)
17
2.2.
(George Gabril Stokes, 18191903) ():
L, P (x, y, z), Q(x, y, z) R(x, y, z) ,
Z
ZZ
P R
Q P
R Q
dydz +
dzdx +
dxdy
P dx + Qdy + Rdz =
y
z
z
x
x y
L
2.3
2.3
2.4
ext , dv V ( 2.4)
18 30 2 95 6
()
? ,
, ?
? , (exterior differential forms)
, , ,
(Georges William de Rham) [1] ,
, , 1958 Fields Medal
R. Thom (1923) , :
[2]
, , ,
, , :
L A B, , A B, B
A , A B B A , ,
, :
Z b
Z a
f (x)dx =
f (x)dx.
a
, , ,
, , ,
, , ABCD
( 2.5) , , ,
Mobius bend , ,
, , ,
Poincare ,
19
: f (x, y) D ,
ZZ
X
f (x, y)dA = lim
f (j , j )Aj ,
D
Dxy, Aj ,
(j , j ) , Aj Aj , lim Aj
,
( 2.6)
2.6
D , Aj ,
x = x(u, v)
y = y(u, v)
(1)
(x, y)
dudv
dA = dxdy =
(u, v)
ZZ
D
f (x, y)dxdy =
ZZ
D
(x, y)
dudv
f (u(x, y), v(x, y))
(u, v)
, Jacobi (Jacobian) , D
D (1) , D ,
, Jacobi ,
ZZ
ZZ
(x, y)
dudv
f (x, y)dxdy =
f (u(x, y), v(x, y))
(u, v)
D
20 30 2 95 6
D ,
x
(x, y)
dxdy =
dudv = u
y
(u, v)
u
x
v dudv
y
v
(i) y = x,
(ii) x y ,
x
dxdx = u
x
u
y
dydx = u
x
u
x
v dudv = 0
x
v
y
v dudv = dxdy
x
v
dydx 6= dxdy, , dx dy , ,
(exterior product),
, dx dy , :
dx dx = 0 ()
dx dy = dy dx ()
dx dx = 0 dx dy = dy dx : ,
,
, P , Q, R, A, B, C, H, x, y, z , P dx + Qdy + Rdz
(, );
Adx dy + Bdy dz + Cdz dxdy
; Hdx dy dz ; P , Q, R, A, B, C, H,
, f 0
, ,
A, B, C, D, E, F , G, P , Q R x, y, z ,
= Adx + Bdy + Cdz
= Edx + F dy + Gdz
= P dy dz + Qdz dx + Rdx dy
21
(ii) ( ) = ( ) . , ,
(iii) p , q ,
= (1)pq .
dx dx = 0; dx dy = dy dx ,
: ~u, ~v () , ~u ~u = ~0, ~u ~v = ~v ~u,
, :
, f (x),
df =
f
f
f
dx +
dy +
dz
x
y
z
22 30 2 95 6
= P dx + Qdy + Rdz,
d = dP dx + dQ dy + dR dz
P , Q, R , ,
P
dx +
x
Q
dQ =
dx +
x
R
dx +
dR =
x
dP =
P
P
dy +
dz
y
z
Q
Q
dy +
dz
y
z
R
R
dy +
dz
y
z
,
R Q
P
Q P
R
d =
dy dz +
dz dx +
dx dy
y
z
z
x
x
y
= Ady dz + Bdz dx + Cdx dy,
d = dA dy dz + dB dz dx + dC dx dy
dA, dB, dC , ,
A B C
dx dy dz
+
+
d =
x
y
z
= Hdx dy dz , d = dH dx dy dz,
, d = 0 dH dx dy dz ,
, , ! ,
Poincare : , , dd =
0
:
Poincare : p , d = 0, p 1
, = d
,
Green :
ZZ
Q P
P dx + Qdy =
dxdy
x
y
L
23
1 = P dx + Qdy, 1 ,
Q P
d1 =
dx dy
x
y
, Green
I
ZZ
1 =
d1
Stokes :
Z
ZZ
P R
Q P
R Q
dydz +
dzdx +
dxdy
P dx + Qdy + Rdz =
y
z
z
x
x y
L
L , P dx + Qdy + Rdz = 2
,
R Q
P
Q P
R
d2 =
dy dz +
dz dx +
dx dy
y
z
z
x
x
y
Stokes
2 =
ZZ
d2
, Gauss :
ZZZ
Z
P
Q R
P dydz + Qdzdx + Rdxdy =
dxdydz
+
+
x
y
z
ext
V
P
ZZ
Q R
dx dy dz
+
y
z
3 =
ZZZ
d3
(2)
, , d, d, ,
R
d , , : Green
24 30 2 95 6
Stokes Gauss, ,
,
, , 0 , f (x),
[a, b], , a b, d
df
(x),
dx
Stokes
:
Z
a
b
df
(x)dx = f (x) = f (b) f (a),
dx
a
, Stokes
, (2) , , , Newton-Leibniz
; , , Green ;
, , Stokes ; ,
, Gauss , :
Newton-Leibniz
Green
Stokes
Gauss
(2) ,
, : d
,
,
(2) , ?
, Poincare , (2)
, : , 3 ,
Stokes (2) ; , () , (2)
, Stokes (2) ,
, , ; ,
3, , ; ,
, ,
, , ,
25
0 = f (x, y, z),
d1 = df =
f
f
f
dx +
dy +
dz
x
y
z
f (x, y, z)
f f f
grad(f ) = (f ) =
,
,
x y z
1 = P dx + Qdy + Rdz,
R Q
P
Q P
R
d1 =
dy dz +
dz dx +
dx dy
y
z
z
x
x
y
dy dz dz dx dx dy
= x
x
x
P
Q
R
26 30 2 95 6
~u =< P, Q, R >
R Q
~i + P R ~j + Q P ~k
curl(~u) = (~u) =
y
z
z
x
x
y
~
~j ~k
i
= x
x
x
P Q R
~i ~j ~k x y z ,
A B C
+
+
x
y
z
,
? , , ,
, ,
, , ,
:
0
, Pioncare dd = 0, ,
, = f , dd f = 0
curl grad(f ) = ~0
1 , 1 = P dx+Qdy+Rdz, ~u =< P, Q, R >, dd1 = 0
div curl(~u) = 0
27
, Poincare : ~v ~v
, ~v = (f ) curl(~v ) = ~0, Poincare : d = 0
= d, , (
) , ~v ~v , ~v = curl(~v )
div (~v ) = 0, Poincare : d = 0 = d,
,
30 3 , pp. 31-41
.
, ,
,
, () ,
Stokes , ,
, , , ,
, , ?
: ,
, ,
, ,
, ,
, , ,
, , , (
, ), (,
) ,
(arithemetic), , (composition),
(inverse) , , ,
,
31
32 30 3 95 9
(1)
(2)
(3)
(4)
, (, ):
u(x) + v(x) = u (x) + v (x);
u(x) v(x) = u (x) v (x);
u(x)v(x) = u(x)v(x) + u(x)v (x);
(x)
u(x)
;
= u (x)v(x)u(x)v
v(x)
v2 (x)
f (x)
u(x)
v(x)
v(x) = u(x)
Z
P (x) Q(x) ,
P (x)
Q(x)
P (x)
dx,
Q(x)
, , ; (3 )
; (5 ) () (1) (3)
33
(5), , :
, ; ,
, ,
,
, , , ,
, ,
, , : (
) :
(a) (C) = 0, C;
(b) (x ) = x1 , ;
(c) (sin x) = cos x;
(d) (cos x) = sin x;
(e) (tan x) = sec2 x;
(j) (ex ) = ex ;
(k) (ax ) = ax loge a;
1
;
1x2
1
(arccos x) = 1x
2 ;;
1
(arctan x) = 1+x
2;
1
(arccot x) = 1+x
2.
(l) (arcsin x) =
(m)
(n)
(o)
34 30 3 95 9
Z
a
[a, b] ,
y = F (x) (a, F (a)) (b, F (b)) ( 3.1);
[a, b] , y = f (x) [a, b]
b a f () ( 3.2) , ,
, (), (),
( ) () ,
Z x
f (t) dt = F (x)
a
, , , ,
35
3.1
3.2
, ,
,
, (Broox Taylor, 1685-1731) : f (x)
x = a n + 1 , f (x) x = a
f (x) = f (a) + f (a)(x a) +
f (a)
f (n) (a)
(x a)2 + +
(x a)n + Rn (x)
2!
n!
Rn (x) Taylor
, , Rn (x)
Rn (x) =
ax, Rn (x):
Z
1 x
(x t)n f (n+1) (t) dt
Rn (x) =
n! a
: , ,
Taylor , Taylor,
, , G.F.A.LHospital (1661-1704)
(), , ,
,
, ,
36 30 3 95 9
.
,
,
, ,
, :
(1) , x ,
(2) , sin x, cos x, . . ., arcsin x, arccos x, . . .;
(3) , ex , log x, . . .;
, ,
Euler ez = cos z + i sin z.
, :
sin z =
eiz eiz
,
2i
cos z =
eiz + eiz
.
2
: z = e ln z , z,
,
, , ,
, :
37
B
B(p, q) =
Z
0
tp1 (1 t)q1 dt
(p > 0,
q > 0)
, , ,
, , ,
, :
, ,
,
, , , :
f (x) x = a
f (x) = f (a) + f (a)(x a) +
f (a)
(x a)2 +
2!
x = a, f (x) x = a ,
x = a , f (x),
Taylor , f (x), Fourier
a0 X
+
an cos nx + bn sin nx
f (x) =
2
n=1
1
an =
1
bn =
n = 0, 1, 2, . . . Fourier , f (x) (
)
Fourier f (x), Fourier Taylor
Taylor, Fourier Fourier ,
,
,
, , Euler eix =
cos x + i sin x, Fourier
f (x) =
X
k=
ck eikx
38 30 3 95 9
1
ck =
2
f (x)eikx dx,
k = 0, 1, 2, . . . .
, , Taylor Fourier
, ,
, , , : x = [x1 . . . xn ]T n Euclid
D ,
f1 (x)
.
.
f (x) =
.
fn (x)
D, a = [a1 , . . . , an ]T D, f (x) x = a
Taylor
f1
(a)
f1 (a)
f1 (x)
x1
. . .
.. = .. + ..
fn
fn (a)
fn (x)
(a)
x1
fn
(a)
x1
..
.
fn
(a)
xn
x = a , Jf (a)
, , , ,
:
()
( ); ,
,
,
.
,
, , ,
,
39
, ,
R +
P
n=0 an f (x)dx, ;
n=0 un (x)
R
0 f (u, x)du, ; Fourier
a0 X
+
an cos nx + bn sin nx
2
n=0
Fourier
1
2
f ()ei() d
Fourier ,
, ;
Fourier , ,
, ,
, ,
1: , Cauchy (Cauchy Criterion):
X
k=0
ak = a0 + a1 + + an +
40 30 3 95 9
, : , (),
,
2. , Cauchy :
n=1
un (x) [a, b]
: > 0, x N ,
n > N ,
un+1(x) + un+2(x) + + un+m (x) <
m > 0
, Cauchy :
R
0
f (u, x)du
f (u, x)du <
[a, b] x
, : , (),
, ,
X
1
1 2 2
f (x)dx = a20 +
a2n + b2n
0
2
n=1
, an bn f (x) Fourier
a0 X
+
an cos nx + bn sin nx
2
n=0
Fourier
Fourier , Parsevel (Plancherel) : f (x)
(, ) Lebesgue ,
Z
1 +
f() =
f (x)eix dx
f Fourier ( Fourier Fourier ) ,
Z +
Z +
2 d =
f()
f 2 (x)dx
41
, ,
, , , ()
()
Taylor Taylor
, ,
, ,
, ,
,
, ,
,
; Georgetown University
30 4 , pp. 20-31
.
Richard Courant (1888-1972) 1949 Carl B. Boyer
[1] : , , ; :
; ,
M. Kline
: ,
,
[2] M. Kline ,
,
,
, , [1],
[3], [4] , [6] , ,
Newton-Leibniz
, , ,
, , ,
?
Euclid, Archimedes , ( 163 )
( 429-500) , ,
, ,
, , , ,
[2],
, , ;
20
21
, ,
,
, ,
22 30 4 95 12
, Fermat, Descartes, B. Pascal (1623-1662), J.Wallis (16161703), Isaac Barrow (1630-1677), B. Cavalieri (1598-1647), Galileo
, ,
, ,
, : Kepler
1615 ,
, Fermat Descartes ,
Descartes 1637
, ,
1637 Fermat ,
Ra n
x dx, n Fermat Cavalieri 1635
0
, Cavalieri ,
, Barrow , 1669
,
Barrow Newton
, (Lucas) ,
Newton , 1669 Lucas
Newton, , , ,
Barrow
, Newton , Leibniz,
.
, Newton Leibniz ,
Newton 1642 , ,
23
, , ,
: ,
! Newton 1661 ,
Barrow 1665 8 , , , Newton
, ,
,
Newton 1664 ,
Galileo, Kepler, Wallis, Descartes ,
1665 5 (
) 1666 5 () 1666
10 , (Tract on Fluxions) ,
, (
)
4.1 , ab = x, q = f (x)
4.1
= q,
dx
dt
dx
dt
= p = 1, cb abc = y
= p,
dy . dx
q
= = q = f (x).
dt dt
p
, y x q, ,
, y = xn 0 x
y=
xn+1
n+1
xn+1
,
n+1
xn
Newton ,
: ,
, ,
, , ,
, ,
, ,
,
,
24 30 4 95 12
, , Newton
, , :
(A) (De analysi per acquationes numero terminorum infinitas), 1669;
(B) (Methodus Fluxionum et sevierum infinitarum), 1671;
(C) (Tractatus de quadratura curvarum), 1691.
, ,
y = f (x) , y = ax n
z=
m+n
na
x n
m+n
: x h, x + h x, z + hy z,
z + hy =
m+n
na
(x + h) n .
m+n
, h , h , y = axm/n , y =
axm/n x
m+n
na
x n .
m+n
(C) , Newton (A) (B) , : ,
, . . . , ,
, : y = xn , x
x + h, xn
(x + h)n = xn + nhxn1 +
n(n 1) 2 n2
hx
+
2
(x + h) x
=
(x + h)n xn
nxn1 +
h ,
nxn1
1
n(n1)
hxn2
2
x xn ,
, ,
25
, , Kepler
, ,
Einstein , ,
, , Newton
, , , ,
, , Newton
, , ,
,
Leibniz 1646 , 1667
, Galileo, Kepler, Pascal, Descartes
Barrow , 1672 1676 , ,
, Newton
, Leibniz Pascal , 1673
: P , P
Q, P Q, ds, x dx y
dy, , ds, dx dy Leibniz ,
, , :
,
,
Leibniz ? 1666 , ,
0, 1, 4, 9, 16, 25, 36 . . . 1, 3, 5, 7, 9, 11 2, 2, 2, 2, 2,
, , ,
, , y
, x , x y
, , , y = x ,
, 1676 , dx = x1 dx
Z
x+1
x dx =
+1
( > 0) 1677 , , ,
dz
y, Leibniz , z, dx
= y,
R
R
ydx = dz ydx = dz = z ()
26 30 4 95 12
, : y , z ,
dz
dx
= y
1684 , Leibniz
(Nova methodus pro maximis et minimis, itemque tangetibus,quae nec irrationals
quantiquantitetes moratur , et singulaze pro illi calculi genus),
1686 ,
(De geometria recondite et analysi indivisibilium atque infinitorum) Leibniz
R
dx, , ,
Leibniz
n
d (uv) =
n
X
j=0
Leibniz ,
, ,
, , , Newton Leibniz
, , ,
,
, ,
, , Newton Leibniz
1699 N. F. de Duillier Newton
, Leibniz Newton
, Leibniz Newton Leibniz
, Leibniz ,
Newton Leibniz; Leibniz Newton
,
Newton , Leibniz ,
.
, ,
, ,
27
,
; , ;
, ,
, , ,
,
B. Taylor, C. Maclaurin (1698-1746), A. de Moivre (1667-1754),
J. Stirling (1692-1770) ,
Maclaurin , Leibniz
, : Jacob Bernoulli (1654-1705)
John Bernoulli (1667-1748) , L. Euler, A. C. Clairaut (1713-1765), J. B. L. R.
DAlembert ( 1717-1783), J. L. Lagange, G. Monge (1746-1818), P. S. M. de Laplace
(1749-1827) A. M. Legendre (1752-1883) Euler
, , [5] [6]
Newton Leibniz ,
, , ,
Newton Leibniz ,
,
, 1872 ,
, ,
, , : 1695 B. Nieuwentyt Newton , Leibniz
G. Berkeley (1685-1753) 1734 , ,
(The analyst, a discourse addressed to an infidel mathematician),
Newton E. Haley Berkeley
:, Newton ,
, Newton xn , x
h, xn
nxn1 +
n(n 1) n2
n(n 1)(n 2) n3 2
x h+
x h + ,
2
3!
h , xn nxn1 Berkeley h ,
: ? , ,
28 30 4 95 12
, ? Leibniz ,
, Berkeley
, ,
D Alembert, Euler Lagrange
,
,
,
, 19 B. Bolzano (17811848), 1817 , ,
,
A. L. Cauchy (1789-1851) , :
(Cours d analyse de lEcole polytechnique 1821),
(Resume des lecons sur le calcul infinitesimal, 1823) (Lecons sur
le calcul differential 1929) , ,
,
, ,
, :
, ,
,
Riemann Riemann , Riemann , Cauchy
, Riemann
, Cauchy ,
,
,
Cauchy
Cauchy
,
,
, Cauchy , , ,
, Cauchy
29
Bolzano ,
, 1861 K. Weierstrass (1815-1897)
, :
f (x) =
bn cos(an x)
n=0
,
19 , ,
, ,
1857 Weierstrass , : ,
N ,
, Cauchy
,
, 1872 , R. Dedekind (1831-1916)
G. Cantor (1845-1918) H. C. R. Meray (1835-1911) H. E. Heine (1821-1881)
, Weierstrass
G. Peano (1858-1932) ,
1834 Riemann Riemann ,
,
, ,
, ,
Stokes :
d.
, , ,
: ;
; ,
, ,
, Poincare , ,
1899 , Elie Cartan (1869-1951)
30 30 4 95 12
, Newton Leibniz
, , ,
a,
|a|, 2|a|, . . . , n|a|, . . .
, m > 0, m , n,
n|a| > m, Archimedes R
, Cauchy , , n ,
, Archimedes R Newton Leibniz
, , ,
, 00 ,
, , , N ,
, , ,
: ,
, ,
! Newton Leibniz ,
:
, ,
[9]
,
, (1562-1633) (
31
Metteo Ricci) , ,
(1811-1882) 1859 , A.
Wylie (1815-1887) E. Loomis (1811-1899) 1851 Elements
of analytic geometry and of differential and integral calculus ,
,
, ,
, , , :
,
,
n
X
2n+r1
(Ckn )2 C2n
= (Cnn+r )2
k=0
2. , , , 2000(1), 44-45
3. , (), , , 2002
4. M. Kline, Mathematical Thought from Ancient to Modern Times, Vol. II, Oxford University Press , 1972 : , 2, , , 1980
5. , , , , 1995
6. , , , , 1981
7. E. Cartan, Sur certains express differentielles et le problem de Pfaff, Ann. Sci. Ecole
Norm. (3) T. 16, 239-322.
8. H. Poincare, Les Methods Nourelles de la Mecanique Caleste, 1899.
9. A. Robinson, Non-Standard Analysis, North-Holland Pub. Com. 1974. :
, : , 1980
; Georgetown University
bf 31 1 , pp. 17-29
}
}5(
",U
. }D
d =
18 bf 31 1 96 3 ~
b
a
2 x
W.?_ 7/U f (x) [a, b] , 6.?\ f 0 (x) [a, b] , ,HWD f (x) b, zp} }14 b; }
, .}D }1 U,Hty<2-A
(2) Lebesgue {p-b: _,bu- J/J_
bi 6uz: - b, !,u/b, D5.
_7bu7, w2%
: TT./b, U)Abw: /bDb!
6sBb: . }1, }k
(3) }--, 'b'#K W:(a) Jfn (x), n = 1, 2, . . .,
[a, b],/, /_Yk f (x), f (x) [a, b] ,/, /
Z b
Z b
lim
fn (x)dx =
f (x)dx
n
f (x, y)dy =
c
dy
c
f (x, y)dx
a
m,n
} 19
f (x) u E ,b
y1 , y2 , . . . , yn1 , U)
n
X
yr m(er ),
s=
r=1
n
X
yr1 m(er )
r=1
J S |- J, s |, I, I = J, f (x) E , Lebesgue ,
/p
I =J =
f (x)dx,
E
f (x) E , Lebesgue }
*_2J| Lebesgue }D- },. w.5T6r
Lebesgue AzVzpu|/7; Fz: cBi7A', b,
v, lO M}, (l ,M, y, uB };
.OM}, 7uO*2|l(Vl,b, u- };k
20 bf 31 1 96 3 ~
- b, Oqcu Lebesgue b /
Z 1
f (x)dx = 0.
0
A TW, f (x) =
lim
un (x)dx =
E
lim un (x)dx =
E n
u(x)dx
E
p 0, q 0,
} 21
2. }
3.
Rq
f (x, y)dxdy =
Rn
dx
Rp
f (x, y)dy =
Rq
dy
Rq
f (x, y)dx
Rp
Fubini KK[
7
(D) Bb6z- bu.e, .u Banach , O Lebesgue p
b Lp , (p 1), (c 2) ue, Banach , wuL2 u
A \ B = {x : x A, x
/ B} Iz: E D5:5JL<
W2: (2) J f (x) u2k [a, b] ,b, f (x)
E ,_L<(, u_Y
22 bf 31 1 96 3 ~
1p
, Lp (E) Banach
. b, }
b,
7 }(, T }A, tb,uF
9 bwo5, j x2 + 1 = 0jwFHbjj, Ow
j, ju*0n, 77 0, b, }, b,
C}&, AH| b}X5, JzuH$Pb}X5 J
} 23
C }$,
1 = 1 (z, z),
2 = 2 (z, z)
7 =
z, zb, d }, d = + ,
,
d =
Z Z
,
z
,
z
p i
Z
1
f ()
f (z) =
d
2i L z
A
Cauchy }z: cq,,
Z
f (z)dz = 0
L
24 bf 31 1 96 3 ~
k= ck (z
a)k [
K, / \ K , J f \ K ,r, f Jr , ;z C 2
} 25
|z1 |2 + |z2 |2 + + |zn |2 < 1} D6 P = {z Cn : |z1 | < 1, |z2 | < 1, , |zn | < 1}
5.r, B P , z = (z1 , . . . , zn ) 6uz, 7&r
. $, }
,2}7b, }b, 6Jz,
r, }r, *SiVz, _bur
}$,,
}$, }, }$uHb2|b!
15 Hbu, ObzUBu}$,
}bI', 6, ss52m.?6..bdK9,
?}I .z_<
Bu}$? u_x}!Zr bju: Bu
r? Bu}!Z?
26 bf 31 1 96 3 ~
b2L<s_.uJ}
J X, Y us_b, f u X Y /, / f (X) = Y , f 1 6u
// f , f (homeomorphism), X D Y u J
u, M 2_ U Rn 2_ Rn 2, rj [
Rn 2 j _, p xj = rj , , xj b, j = 1, 2, . . . , n,
(U, ) (CpT (U, x1 , . . . , xn ))
{(U , ) : A} = F , -_K:
(i) A U = M;
k
(ii) F, A, 1
C ;
<2u, f _} fj , j = 1, 2, . . . , n, D ,u k , / f (k) D ,
/
*,H<22J|: Iz, _
ruDr_
F A, 7}!Zuzu
}:V [12], [13] (c 5.1) 7u
}$<, On}$u k =
8$, 6um$
5.1 2 }[ U U , }
B$-j }, 7-i
5.1
k
}-i } 1
u C , k 1 F , A
A , u}$
bu: Hb2n%%u}$ : r Rn , r Cn ,
&, &, n &7u}$; T-u&
} 27
u_, f : G R u G ,_Mb, J p G U , f 1
u2
(G U ) , Bb f p , f 1
(p) ,; Bb f
k
G U ,, f 1
(G U ) ,; Bb f G U ,u C , k 1,
k
f 1
(G U ) ,u C , }$,2_bb, u
1 , r,|VbbV2
, L<s_ , A, / U U , 1
Jacobi Wu
(2) Fj (p) = 0, p
/ Uj , j = 1, 2, . . . , m;
Pm
(3) j=1 Fj (p) 1, p M
J u M ,_ n }$, Uj (x1 , x2 , . . . , xn ), Uj ,,
= aj (x1 , . . . , xn )dx1 dx2 dxn
h, I, ,H (3),
Z
Z
=
M
1=
m
X
j=1
Fj =
m Z
X
j=1
Fj ,
M
28 bf 31 1 96 3 ~
,H (2),
Z
]@v
2
Z
Fj =
M
Pm R
j (Uj )
j=1
Uj
Pm
Fj , 7
k=1
Uj
Fj =
Uk
Fj ,
Uj
Fj 2
uw2_, _m (n 1) }$,
Z
Z
d =
5d.
1. G. Cantor: Uber eine eigenschaft das Inbegriffes aller, reelen alge braischen Zahlen,
Crelles Journal fur Mathematik, 77(1874), 258-262.
} 29