126 1 16MB
German Pages 316 Year 2009
Mathematisch für Anfänger
Martin Wohlgemuth (Hrsg.)
Mathematisch für Anfänger Die beliebtesten Beiträge von Matroids Matheplanet
Mit Beiträgen von Norbert Engbers, Ueli Hafner, Johannes Hahn, Artur Koehler, Georg Lauenstein, Fabian Lenhardt, Florian Modler, Thorsten Neuschel, Sebastian Stöckl, Martin Wohlgemuth
Herausgeber Martin Wohlgemuth E-Mail: [email protected] www.matheplanet.de
Wichtiger Hinweis für den Benutzer Der Verlag, der Herausgeber und die Autoren haben alle Sorgfalt walten lassen, um vollständige und akkurate Informationen in diesem Buch zu publizieren. Der Verlag übernimmt weder Garantie noch die juristische Verantwortung oder irgendeine Haftung für die Nutzung dieser Informationen, für deren Wirtschaftlichkeit oder fehlerfreie Funktion für einen bestimmten Zweck. Ferner kann der Verlag für Schäden, die auf einer Fehlfunktion von Programmen oder ähnliches zurückzuführen sind, nicht haftbar gemacht werden. Auch nicht für die Verletzung von Patent- und anderen Rechten Dritter, die daraus resultieren. Eine telefonische oder schriftliche Beratung durch den Verlag über den Einsatz der Programme ist nicht möglich. Der Verlag übernimmt keine Gewähr dafür, dass die beschriebenen Verfahren, Programme usw. frei von Schutzrechten Dritter sind. Die Wiedergabe von Gebrauchsnamen, Handelsnamen, Warenbezeichnungen usw. in diesem Buch berechtigt auch ohne besondere Kennzeichnung nicht zu der Annahme, dass solche Namen im Sinne der Warenzeichen- und Markenschutz-Gesetzgebung als frei zu betrachten wären und daher von jedermann benutzt werden dürften. Der Verlag hat sich bemüht, sämtliche Rechteinhaber von Abbildungen zu ermitteln. Sollte dem Verlag gegenüber dennoch der Nachweis der Rechtsinhaberschaft geführt werden, wird das branchenübliche Honorar gezahlt. Bibliogra¿sche Information der Deutschen Nationalbibliothek Die Deutsche Nationalbibliothek verzeichnet diese Publikation in der Deutschen Nationalbibliogra¿e; detaillierte bibliogra¿sche Daten sind im Internet über http://dnb.d-nb.de abrufbar. Springer ist ein Unternehmen von Springer Science+Business Media springer.de © Spektrum Akademischer Verlag Heidelberg 2009 Spektrum Akademischer Verlag ist ein Imprint von Springer 09
10
11
12
13
5
4
3
2
1
Das Werk einschließlich aller seiner Teile ist urheberrechtlich geschützt. Jede Verwertung außerhalb der engen Grenzen des Urheberrechtsgesetzes ist ohne Zustimmung des Verlages unzulässig und strafbar. Das gilt insbesondere für Vervielfältigungen, Übersetzungen, Mikrover¿lmungen und die Einspeicherung und Verarbeitung in elektronischen Systemen. Planung und Lektorat: Dr. Andreas Rüdinger, Barbara Lühker Herstellung: Crest Premedia Solutions (P) Ltd., Pune, Maharashtra, India Satz: Martin Wohlgemuth und die Autoren Umschlaggestaltung: SpieszDesign, Neu–Ulm Titelbild: © Jos Leys ISBN 978-3-8274-2285-9
ÎÓÖÛÓÖØ
! " # $ % &''( ) ) ! " * %
+
! , % ! ! ! % - * + +! %
%
! , . " ! / 0 1 1 2 1 2 + 3 %
- ! , % % 4
% % 5 ! , + 6 7 !
6 7
8
! / 8
,
1 92 :! * / ;
+ !
- 9 :
% )7 > 2 , ! , )
/
- ! ) % (& #' 2 - -
!
ÎÓÖÛÓÖØ
!"#$ % & ' ' ( ) * + , !"#$ & +, " - " . . / ) + % ) * + + " ! 0 % 0 1 & ! + 2 . . % ) ! . & 3
'# % ) 4 ! . . 5 '6% ) " , . # , ' &
% ', , . 7 8 1 ! %
9 & 3
1 : . 1 & , & + % ) + 3 & 3 0 % .
" ; + 0 ' +
% 1 @ +
& + #
% 1 8 . ) ! & A
!& !& + , % )" &
,+ % ) >
% & >
* "2 )
" ) & & & & & & % &
ÎÓÖÛÓÖØ
! " # ! ! " $ % & & & ' ( ) *+ " () ! + , - . " , ) / 0 / " $ ! ) 1 ) " 2 ) & & 3 ( + " # ) " 4 (/ +
( ! 5 + # ( + " / & ! (6 7 + " )
& " ! 4
8 & $ / ! " " 9 !
& & : ' : $ 4 4 ) $ ) $ -
& ; - ( + ( ! + 5 & & 0 <
= 9 " & > (?
ÎÓÖÛÓÖØ
!" # $ % & " ' !" % &(! & % )("! '
* !
+ ,& - . / $ $ 0 " 1 " * % % & & & 1 !" ( 2 1 .( . " && 2 !" (3 3 3 ( 0 # 4 2 " && 2 4 ! # " && ! '
0 5 & & 6 4
& $ 0 '
5 7 ( * ! - ! "# & $ !" * 3 & 8 #94. $ 4$ & & $ & & !" / & $ 0 *" & .(& & ' !" 8 + 8" # & : && 2 & !" : & 6 ( % 4 & ; " , 6 & 3 ( "
& (
& 2 (3 & - 5 ? = ? @ " + = 55 9 ( : A B 9- p q 0: = 5 2 @ "' & ' 9-) x ' 0: ! @ & C ' + 2
" -/ . 0 + + @ -. /0 -! 2 0 @ 2 D , -" 2 0 + , - 2 0 ! B @
. ( )
( E ( ( ) , -"
F
!8 0
- F
!8 0 , -5 0
! " # $ % & ' ( ! " " % &
) & * ! " % + # # , " # # -
. / "! * 0 *
%1 ) 1 ) ! ) # " .
%1 ) ) ! 1 " . %1 2
1 3 )1 . ! " #
. 4 - % 1 56 7 $ 0 0 $ 1 5& 7
5 # 7 1 0 2 5
7 $ 2 8 9 % 2 0 1 $ 1- " : -! ( ; < $ 1 * ! " %- * $
% 1-!
* # % - * 1 $ &
(' 5 = 7 2 . ! " * (' . . % . %
60! 1 ∗ ∗
. A &! . n > 0 !
∗ n ∗ n n
∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗
a ! ! " n ∈ N # $ ! % & % & & % % & % & ' ( ! ! ( $ ! &) *! + , &% !
% % ! % n . % a
& (% % / ! % 0 1% 02 % % 3 / 3 ) "% 4 % 5 ! ( 6
! " # !
$
# % % %
" & % # ' (
) $ * $ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗
) * + #, -.$(/ ' 0 1 0 # & 2 0 a = 0 0 a > 0 ' 3 %.
0 % 0 ) 4 % 5 " 0 4 " 6 & ) )! " ' $ % 7% 0$ % $
*
7 & 0 & & &
) .8 "
6
" " # $ ) %
2
1 6 , ∗ ) #$ ∗ ) ' 6 ∗ 9 : ;") : 9
¾¾ ∗ ∗ ∗
!"
∗ # $ " ∗ %&'( ) *""" "
+"
!"
# $% $ & "% %% ' % #% () ! % %" * + % %
%% , - ' % ! % #) % . #%
!" #
$
!" % &'
$
(
" )
$
# !"*#" + "
, + + % " " ," % - ., " / . -'" .
0 1 " 2/ ."" . 2/ " 2/* 34 56 ! % 5+ . ,
7 8 9 :/; /
" - 3. -7. , * + a < b => a + c < b + c; / ? # ! @ 6 0 # A - 2 % 0 7 ! # 0 & ! ' 4 ( #/ n ! !! n0 # % / ! -! ! n0 !
¾
n ≤ n0 n ≤ n0 + 1 ! n = 1 " n = 2 n = 2 " n = 3 n = 3 " n = 4 # $" n → n + 1 % %
# &" " " n ∈ N $" % ' ( " n0 " % $)
" *
+ $ " % , $ -
) . " % n n0 /
# $ $
$% ) $" 0 $ & $ " - $ A(0)
$
A(n)
$% A(n + 1) $" A(n) ⇒ A(n + 1) ( " " 1 " 2 ) 0 3 % % 3 " " # 4+ " % 15 4- " 6 % 5 3 " % ' % ) % % " % 3 ( % 0 4 " 6 % 5 0 $ A(0) A(n) " 4A(n) ⇒ A(n + 1)5 # " 0 $ % 0" 4 " * n A(n)5 % " * " % n %0 3 0" " " * n0 " " 3 # 4 " * 7885 " # 4# " * n 7885 n < 100 " n > 99
¿
! " ! # $ % & ' # ( ) & * +
, - . , / " - - n = 1- $ / , . 0 1 n → n + 1- . n / " $ / , & $ n + 1 / . 0 1 2 , 3 4 5! 2 ! 6 6 "
, - n ' $ 7 ' $ - - n = 1- ' $ ' $ - 2 , & & #
n - " n + 1 ' $ ' % $ n ' 7 8 n ' $ 2 75 n ' $ $ & n + 1 ' $
n + 1 = 2 n = 1 n = 1 ! " n
# n > 1 $
% &
n ' # n = 1 ( # ) ' '
!* " (n + 1)/2 $+ , n + 1 - ' ' - ,. /. ,... % & - ' / # '
0 # $ 1 ( !# n" * 2 ' ) * ' 3 A(n0) 1# # A(n0 + 1) * 2 # n $ ∞ ' * 2 # n
4 nk=1 k = n · (n + 1)/2 ' * # n = 1000 * 4 $ ,...3 # ) 5 6 % ' ( ' ,.. ( 72 &
*2 # n ) 0 # 8
' )
# # 5 n
! " # $ %&&' ( %&)&* %'+, -!- . - ! N
!"
Ƚ
n n∗
n m m∗ = n∗ m = n T N
1 T n T n∗ n T
! "# $ " %$ &%$
' (") * + , " , " -" .)%$ , N " / 0 .)%$
N 1 " 1 (" % A(0) / A(0) ) (" ! 0 2 % % (" 0 1 ! (" " % n 3 , N " " " " 1
N R !
" # $% % &
n & '
( % " ) * )
'
+ % % , " & . n · (n + 1) · (n + 2) , % n ∈ N# " )
% " % . 0 · 1 · 2 = 0 , - / . * % % 0 1 % + , 2 & %
&
% 34,
" % "
5 &
% % % ) $ # 6 % (
7 6 % %
% ( & 8 2% 9 2 : % + (
%
; < +
! " #
$
% & % ' &
! (
) * %&
+*
+ d(n) * , -. n / (0 n/) d(n) = n/2 · (n − 3)
1 n 2 3$ 0 " 4 /
/ * d(3) = 0 = 3/2 · (3 − 3) n = 3 %&
0 ! , n/ ( % ! * 4 56)
/& 7
8 /& * *
(n − 1)/
(n − 1)
n (n − 1)
* (n − 1)/ d(n − 1) (
) 49
(n − 1)
(n − 1)
d(n) = d(n − 1) + (n − 3) + 1 = (n − 1)/2 · ((n − 1) − 3) + (n − 3) + 1 = (n2 − 3n)/2 = (n · (n − 3))/2
n = 3 !
n (3 + 1) "# $ % & ' '
[A(n − 1) ⇒ A(n)] n (
n ≥ 4 n ≥ 3 [A(n) ⇒ A(n + 1)] n ≥ 4 [A(n − 1) ⇒ A(n)] ) n * + ,- (n2 + n + 2)/2 . +/ ' * / * 0 . -
1 % 2 & n *
2 . * 2 ' n = 1 * 0 * (12 + 1 + 2)/2 0 34 5 6 ) / 70 n * (n+1) * 2 n * * *
* / * * + 2 - n + 1 * ' * * 8 % 2 & + - *
/ * n + 1 2 (n2 + n + 2)/2 + (n + 1) * ((n + 1)2 + (n + 1) + 2)/2
(n + 1) n + 1
M m = |M |
M
|P(M )| = 2m
P(M ) M m
! " #
$ % ! &
% M
= {} |M | = 0
P(M ) = {{}} |P(M )| = 1 = 20 |M | = n + 1 x M '
% "
$
x x ( &
) 2n n & ) "
x $ $ 2n
n
$* ) )
2n + 2n = 2n+1
¼
a ∈ N
n a+k a+n+1 = k n
k=0
= a+0+1 n = 0 : a+0 0 0
! " n n+1 a+k a+(n+1)+1 k=0 k = n+1 # n $ n + 1 %
n+1 k=0
a+k k
n a+k a+n+1 = + k n+1 k=0 a+n+1 a+n+1 = + n n+1 a + (n + 1) + 1 = n+1
& n + 1 & n &' ( & n ) & # ' * + ,- . ) /
n n n+1 + = k−1 k k
0
1
n ∈ N0
1 x ∈ R 2
n n (1 + x) = · xi i n
i=0
3 ( n = 0 (1 + x)0 = 0 1 1 1 ( n = 1 1 + x = 0 · x + 1 · x 4
(1 + x)n+1 = (1 + x)n · (1 + x)
0 0
· x0
½
n n · xi = (1 + x) · i i=0 n n n n =1· · xi + x · · xi i i i=0 i=0 n n n n = · xi + · xi+1 i i i=0
i=0
n n+1 n n i = ·x + · xi i i−1 i=0
1
i=1
n
x x
x0
xn+1
n n n n i =1+ ·x + · xi + xn+1 i i−1 i=1
i=1
! n n n =1+ + · xi + xn+1 i i−1 i=1 n n+1 "#
ni + i−1 = i
n n+1 =1+ · xi + xn+1 i i=1
$ =
n+1
i=0
n+1 i
· xi
% ! &' (
)! *+
, -
- . , / -
% * 0 !1(/
a1 , . . . , an √ n a1 · · · · · an
≤
a1 + · · · + an n
¾
b1 , . . . , bn n
bk = 1,
k=1
n
bk ≥ n
k=1
b1 = b2 = · · · = bn
n n = 1 b1 , . . . , bn , bn+1 bi
nk=1 bk = 1
bi = 1
n+1 k=1 bk = n + 1 ≥ n bi = 1 ! n+1 k=1 bk = 1 " #
b1 < 1 < b2
(1 − b1 ) · (b2 − 1) > 0 # $ ! b1 + b2 > 1 + b1 · b2
#
n b1 · b2, b3 , . . . , bn , bn+1 ! b1 · b2 +
n+1
!
bk ≥ n
k=3
! n+1 k=1
bk = b1 + b2 +
n+1
bk > 1 + b1 · b2 +
k=3
n+1
bk ≥ 1 + n
k=3
%
a1 = a2 = · · · = an
& ' (
ai ) G := ! bi =
ai G
n
) bi k=1 bk = 1 bi %
! n √ a1 + · · · + an G bk > G = n a1 · · · · · an = n n k=1
√ n a1 · · · · · an
¿
! " # ! ! $% ! 1 n & ' n
1 + 2 + 3 + ··· + n =
k=
k=1
n · (n + 1) 2
()*+
' = 1 , ' n = 1' 1 = 1·(1+1) 2 % ' . n ≤ k & 1 + 2 + · · · + k = k · (k + 1)/2 ←− #% % /( +0 ! ' ! ( + % 1'
n+1
k=
k=1
n
k + (k + 1)
k=1
=
(IV )
k · (k + 1) k2 + k 2k + 2 +k+1= + 2 2 2
(k + 1)(k + 2) k2 + 3k + 2 =
2 2 (k + 1)((k + 1) + 1) = 2 =
$ & 2 % n = 1 n = 2 n = 3
12 + 22 + 32 + · · · + n2 =
n k=1
k2 =
& '
n · (n + 1) · (2n + 1) 6
()3+
n = 1 1k=1 k2 = 12 = 1 = 1·(1+1)·(2·1+1) 6 n+1 k=1
k2 =
n k=1
k2 + (n + 1)2 =
n · (n + 1) · (2n + 1) + (n + 1)2 6
! " # n · (n + 1) · (2n + 1) (n + 1) · ((n + 1) + 1) · (2 · (n + 1) + 1) + (n + 1)2 − =0 6 6
$% &
n 2 2 ' # n+1 k=1 k = k=1 k +
(n + 1)2
( ' ) ) * + n + 1! )
+# 3
3
3
3
1 + 2 + 3 + ··· + n =
n
3
k =
k=1
% ' )#
n = 1# n → n + 1#
1 k=1
#
n+1
k 3 = 13 = 1 =
k3 =
k=1
n
1 k=1
k
2
n
2
k
,!
k=1
= (1)2
")-
k3 + (n + 1)3
k=1
( n ) ' ) # =
n
2
.!
+ (n + 1)3
k
k=1
(
n+1 2 k=1 k
/ 0 #
n+1 2 n 2 k = k + (n + 1) k=1
=
k=1 n
2
+ 2 · (n + 1) ·
k
k=1
n
k
+ (n + 1)2
k=1
0 1 2 # =
n
2
k=1
=
n
k=1
+ 2 · (n + 1) ·
k
2 k
n · (n + 1) + (n + 1)2 2
+ (n + 1) · n · (n + 1) + (n + 1)2
=
n
2 + n · (n + 1)2 + (n + 1)2
k
k=1
=
=
n
2 + (n + 1) · (n + 1)2
k
k=1 n
(n + 1)2
2 + (n + 1)3
k
k=1
n ∈ N
n k=0
n k· = n · 2n−1 k
n i−1
=
ni n+1 n = 1
i
n n+1 n+1 k· = k· + (n + 1) k k k=0 k=1 n n n k· + + (n + 1) = k k−1 k=1 n n n n = k· + k· + (n + 1) k k−1 k=1 k=1 n−1 n n n = k· + (k + 1) · + (n + 1) k k k=0 k=0 n−1 n−1 n n n n = k· + k· + + (n + 1) k k k k=0 k=0 k=0 n−1 n−1 n n n n k· + k· +n + +1 = k k k k=0 k=0 k=0 n n n n n n k· + k· + = k k k
n+1
k=0
k=0
k=0
= n · 2n−1 + n · 2n−1 + 2n = 2 · n · 2n−1 + 2n = n · 2n + 2n = (n + 1) · 2n
+
nn = 1 0 · n+1 = 0 0
n
2 −1 n 1 < 0 y > 0! , x1 /y1 x1 y1 y1 < y x/y !
% #$ + √ - 2 ! . / y1 y2 y3 ! ! ! % 0 1 . ! 2 $ - 3%!
/ √2 = x/y! x2 = 2 · y 2
' x1 = 2y − x y1 = x − y! 1 < x/y < 2! ) √ x1 /y1 = (2y − x)/(x − y) x1 /y1 2!
x · (x − y) = x2 − xy (2y − x) · y = 2y2 − xy x2 = 2y2
4%( 5 , 0 < y1 < y
√ 2
¿
1 0 % ∀y ∈ Y : y ≤ M
& ' !"( ' & ) * + H(U ) , Y ⊆ H(U ) H(U ) ' Y , - ./ K ⊆ U M > 0 0 % ∀y ∈ Y : sup |y(x)| ≤ M x∈K
& ) #
/ ' / . 1 +
U ⊆ C U = ∅ A ⊆ H(U ) A
& f|K |f ∈ A , + . K = Br (x) ⊆ BR (x) ⊆ U r < R < d(x, ∂U ) f B (x) ≤ M + f ∈ A ' u, v ∈ Br (x) f ∈ A
R
|f (u) − f (v)| =
v
u
f (z) dz ≤ |u − v| · f K
γ ∂BR (x) z ∈ K 1 f (ξ) f (z) = dξ 2πi · 2 γ (ξ − z) 2π 1 |f (z)| · ≤ · γ (t) dt 2 2π 0 |γ(t) − z| 2π M 1 · R dt ≤ · 2π 0 (R − r)2
¾
=
1 M · 2πR · 2π (R − r)2
R, r M δ
∀f ∈ A ∀u, v ∈ Br (x) : |u − v| < δ =⇒ |f (u) − f (v)| < ε
f|K |f ∈ A
f|K |f ∈ A C(Br (x)) M ∀f ∈ A : f Br (x) ≤ M
! C(Br (x)) ! " # $ ! $ % & ' C(Br (x)) (
f|K |f ∈ A C(K) & ) K ⊆ U # (fn ) ! ! ' A ( (fnk ) ! K f ∈ H(U ) " K d(K, ∂U ) > 0 0 < r < R < d(K, ∂U ) ! K r$) % x1 , . . . , xn ∈ K * K⊆
n
i=1
Br (xi ) ⊆
n
i=1
Br (xi ) ⊆
n
BR (xi ) ⊆ U
i=1
! (fn ) & Br (xi ) ( $ " ) ( (fn ) + K * A H(U ) ! ,-. ' ( K0 ⊆ K1◦ ⊆ K1 ⊆ K2◦ ⊆ K2 ⊆ . . . ⊆ U i Ki = U
/ ! ' (fn )n∈N A ( fn(0)
K0 " ( fn(1)
n∈N
K1 & k ∈ N ' fn(k)
n∈N
n∈N
Kk i ≤ k " " (gn ) :=
(n)
fn
n∈N
& Kk ,-. !
(gn ) 0 # 1 2 3 4 g (gn ) H(U ) # ! A g ∈ A A
¾
! " # $ %
# mf gnk → Gockel
#
! ! " !# # $% % &! ! ! % &! ! '( ) % *% * % % ! ! +# # ) '! ! , # * &#- &% ζ(2) + ) % ζ(s) . / ζ(s) =
∞ 1 ns
01234
n=1
+ +. % # % 5 ) s Re(s) > 1 % % # ) s > 1 ζ(2) *! % 6 / ζ(2) =
∞ 1 1 1 = 1 + 2 + 2 + ... n2 2 3
01214
n=1
+ 6 ! &% 7 % "% 8 39:2 !% $ " ' ! ; 3 0 ? % % 4 ! 7% !
# ' ) % % % +% ' % + ? % sin(x) ! @(% ! /
¾
sin(x) = x −
x3 x5 x7 + − + ... 3! 5! 7!
0 ±π ±2π
±3π
?
sin(x) = x(x2 − π 2 )(x2 − 4π 2 )(x2 − 9π 2 ) . . .
x ∈ R x2 x2 x2 sin(x) = x 1 − 2 1− 2 2 1 − 2 2 ... π 2 π 3 π ?
!
" # $ % & ' ( % $ sin(x) ? = x
x2 x2 x2 1− 2 1− 2 2 1 − 2 2 ... π 2 π 3 π
)!
* x → 0 + ' ) $ ' & sin(x) lim ,! = 1, x→0 x -% ' & % . /% 0 / % . ! 2π1+ * ' 2 3+ * 1' 10 / % $ 2! y 2
1
0 1
π
2π
x
−1
−2
¾
! " # x3 x5 x7 sin(x) = x − + − + ... 5! 7! 3! 2 x x2 x2 =x 1− 2 1− 2 2 1 − 2 2 ... π 2 π 3 π
$%&
' ( )*+, -./ 0 1 2 # −
#
1 1 1 1 1 = − 2 − 2 2 − 2 2 − 2 2 − ... 3! π 2 π 3 π 4 π
x3
$3&
1 1 1 π2 + 2 + 2 + ··· = 2 1 2 3 6
$4& 1 ' + / 5 60 7 6/ ! + ζ(2) # 1,64493406684822643647 . . . 6 8+ 0 9 / : / 2
" ; 1 0 # 1 < = !
! ! " # $ $ %& &' # '& ( &) #* % # & + # & , # - , . & "#
" # / $
√ 2 2 0 , &1 2 #
. " #
& # #31 0 , 4 √ 4& & 0 # / $ 2 2 $
#- - / - & & # 5- 6
, / 1 - 0 . , $ 5 &
$ + 7 #3 8 9& # %& , : (, ; - , 1 ' 0 #
" # # ) " 2 $ + # +&
" # % = & 4 ?@ $- " ' 9&A # B & # C# % # &1 " # #3 & 8 # & %> #1 61 D E% = + F1 G-
0 ' EH =1 F 1 $ 6
/ 1 " # & 1 & &# # 1 - = 1 0 # ( ! 1 ( # s = 1
! + # 2 ! ! 3 2 ζ(s) # A & &/ 4 "5 $
¾
ζ(s) ! " # # $ % # % & ' " ( f : R → R
|x| → ∞
0
fˆ : R → R; r → fˆ(r) =
1 |x|
R
f (x) e2πirx dx,
!"!
R
# $ % &
f (n) =
n∈Z (
θ(s) =
θ(it) =
fˆ(n)
!"'
n∈Z 2
f (x) = e−πtx
# )
2 2 1 e−πtx e−2πirx dx = √ e−πr /t , t R
fˆ(r) =
1 2
eπisn
2
* +
&
n∈Z
´¾½º¿µ 1 −πtn2 1 e = f (n) = 2 2
n∈Z
!",
n∈Z
=
2 ´¾½º¾µ 1 ˆ 1 −πn 1 i √ e t = √ θ f (n) = 2 t 2 t t n∈Z n∈Z
∞ Γ(s) = 0 ts−1 e−t dt 0 Γ(s) = (s − 1)Γ(s − 1) C 1
. # / 0
2 3
/14
π −s Γ(s)ζ(2s) = π −s
0
∞
ts−1 e−t dt ·
∞ 1 n2s
n=1
∞ 2 −s = (πn ) n=1
!"-
∞ 0
t
s−1 −t
e
dt
Re(s) >
1 2&
¾ ¼
t = πn2 v =
∞
(πn2 )−s
∞
2
(πn2 v)s−1 e−πn
0
n=1
v
πn2 dv
=
∞ n=1
∞
2
v s−1 e−πn
v
dv
0
1 v e dv = v θ(iv) − dv = 2 0 0 n=1 1 ∞ 1 1 s−1 1 v s−1 θ(iv) dv − v dv + v s−1 θ(iv) − dv = 2 0 2 0 1
∞
s−1
∞
−πn2 v
∞
s−1
v = 1t
v t ∞ i 1 1 s−1 = t θ dt − t θ(it) − dt + t 2s 2 1 1 ∞ ∞ 1 1 1 t−s− 2 θ (it) dt − ts−1 θ(it) − dt = + 2s 2 1 1 ∞ ∞ 1 1 1 1 1 = (t−s− 2 + ts−1 ) θ(it) − dt + t−s− 2 dt − 2 2 2s 1 1 ∞ 1 1 1 1 = (t−s− 2 + ts−1 ) θ(it) − dt − − . 2 1 − 2s 2s 1
∞
−s−1
s π
− s2
Γ
s 2
s/2
∞
ζ(s) =
(t
− s+1 2
+t
s −1 2
1
1 1 1 ) θ(it) − dt − − 2 1−s s
s 1−s s
π
− s2
Γ
s 2
ζ(s) = π
! " # #
− 1−s 2
Γ
1−s 2
ζ(1 − s)
$%!
# & s Re(s) > 1 ζ(s) ζ(1− s) % ' " # # ζ(s) ( " # C # ) # s = 1 #%
* + + , # # . / % " (#
¾ ½
( ) < 1
! " # $ −2n, n ∈ N 0 ≤ ( ) ≤ 1 % & # a = 2 $' $( ( ( ζ(ζ) = ζ(ζ) & ) *
( +,- . ' ) # { 2 + b } . *
/ 0 1 2
! " # $3
$ 4 -5 $ ' 0 ! 6 *
7 .
¾ ¾
!
!"# $ $ # % & ! ' ( ) * + !" ,-.-/0 ( 1 2 -.34 5 ( -6 1 ( ( 7 ,-.340 8 , 9::6 ##0 ;2% ## , 0 : π(x) − Li(x) = O(x 2 +ε ), .
log(x)
!
ε=0
),--,*
ε > 0 ! x : xε > √ π(x) − Li(x) = O( x) / !
0
) * 1+ '
sin(γ log(x)) Li(x) − π(x) √ +O =1+ γ π( x)/2 0≤γ
γ
1 log(x)
# + 1
ρ=
1 2
, + iγ
),--2*
'
" $ $
3
½º
$ " $
1
¾º
$ 4 " + / '
( 4 "
5 % "
γ
)
* $ ! ' "
4 6
¾
x Li(x)
! " # $ % " " π(x) & ' Li(x) # π(x)
() * ' k > 0 + π(x)− √ ¿º
k x log(x)
Li(x) >
10
x < 10
log(log(log(x)))
1034
π(x) < Li(x)
x
!"#$ % & '
() * + , -
. & / " - * &
1034
x < 1010
π(x) < Li(x) + x
. & %
π(x) < Li(x)#
* / 0
1222$
3 *
& * 4 % 55 6 * / 0
!
7 & & * 4 8 & 9 & : ; & - , )& & 8 ? = !
F (x) [1,390821; 1,398244]·10316
!" 7 122@$
"!
* A/& 0) ? , "
F (x) =
& ) A9 &
Li(x)−π(x) √
! π( x)/2
π(x)
√ Li( x) . ) 2 = :
x = 10316
1
F (x)
& B
≈
√ x log(x)
*
6
2
6 = ;
13 O( 1000 )
? * = , - C* = *
!
: 8/
-
¾
1,0 0,0
0,5
F (x)
1,5
2,0
√ F (x) = 2(Li(x) − π(x))/π( x)
1,3 · 10316
1,4 · 10316
1,5 · 10316
1,6 · 10316
1,3970 · 10316
1,3975 · 10316
1,3980 · 10316
1,3985 · 10316
1,3990 · 10316
0,03 0,02 0,01 −0,01 0,00
F (x)
0,04
1,2 · 10316
x Li(x) < π(x)
½º
! "
s Re(s) =
1 2 # $
% & ! '
¾º
! $ ( )*+,# - ! . '/ ! ! "
- 0 12 # $
3
! ! 4 . 5 #
¿º
- '/ 4 / / 0 6 2/ 7 !
- 4 4
¾
! " #$ %&&' () * + , - . /0 , - () + 1 , ( ,2 3 4$ , 5 6 3 7 $ 2 4 * ) *- ½ 2¾ $ 5 , ( . 8 9
½ ¾
!
" # #$ % & '() )) %"
! "
# $ %$ ! & '( !
' )*+,** %% * ) ) + $ , )) #() ) , ))) ' + ( . ) ' ) / #( ) + $ )
) ' ) 0 , #$ 0 1
) 0 2 0 3 ) ) ) 0) ' )) + $, 0 0 - . (, ) ) 4 0 # 2 5
¾ ¾
B := {(x, y, z) | x + y2 + z 2 ≤ 1} 2
A1 , . . . , An , B1 , . . . , Bm ⊆ B
R3 ) σ1 , . . . , σn τ1 , . . . , τm
B =
n i=1
Ai ∪
m j=1
Bj =
n i=1
σi (Ai ) =
m
τj (Bj ).
j=1
M f : M → M ∈M M M ∈ M ! f (M ) ∈ M " M ∈ M #$% f (M ) #$% R := f (M) " & ' %( ) * + ,- ./" M #$% " 0 ) & & ) % " 1 2 ) 3 1 1 ) " 4 % ,2. ) 0
3$$ " 5 % 2 6% S 2 \D % 7 D "
89"
3$$ SO(3) 3$$
R3 " : ) & ) SO(3) &
S 2 " SO(3) 3$$ ; 3 SO(2) * 3 04 2 /
¾ ¿
! Q " #
$ % " $ "$$ $ ! Q & # '$ " Q ($ ) " $ $ $ $ "$$
$ * ) $ "# $$ $ $ + ξ . . . ξ ω ω 1
n
−1
Q
ωi ωi−1 ωi−1 ωi
!"
#
"
$ %
!
A = {ai , a−1 i | i ∈ I}, &
' ( )
∀i ∈ I : ai a−1 = ; a−1 i i ai = *
◦ : (w1 , w2 ) → w1 w2 +
,
A
- , . "
/ ' ( ) 0
1
$ .
aa
−1
−1
Fa,b
−1
= a a = bb a b
A = {a, b, a−1 , b−1 } = b−1 b =
.
0
.
¾
S x ρ φ q φ = 2π · p/q p/q ∈ Q 2
φ
φ = r · 2π r ∈ R\Q ρ := ρφ A = {ρ, ρ−1 } ρ ρ−1 ! ζ := ζγ z "# γ = s · 2π s ∈ R\Q $ SO(3) % ρφ , ζγ φ = γ = arccos(1/3) " $ B SO(3) &
' ⎛ ⎞ 1 ⎜ ⎜ ρ := ⎝ 0 0 ⎛
⎜ ζ := ⎜ ⎝
2 3
0 1 3
2 3 1 3
√ 2
√ 2
0 √ ⎟ 2 ⎟ ⎠,
− 32 1 3
√ − 23 2
0
1 3
0
0
⎞
⎟ 0 ⎟ ⎠. 1
% ( )" * ( w ∈ B, w = ) (1,0,0)t w (1,0,0)t ) (0,0,1)t w (0,0,1)t '
ρ ζ ∈ SO(3)
+ % k ∈ N (
w ∈ B ) " w(0,0,1) = (0,0,1) w ∈ {ρ, ρ } w(1,0,0)t = (1,0,0)t
w ∈ {ζ, ζ −1 }. , k ≥ 2 ζ ±1 ) χn w = χ1 χ2 . . . χn (1,0,0)t - ρ±1 ) ,. (0,0,1)t ) t
t
−1
+ * ( w % k ) w(1,0,0)t √ 31k (a, b 2, c)t / a, b, c + k = 1 0 +
¾
w = ζw , w = ζ −1 w , w = ρw , w = ρ−1 w
√w 1 w (1,0,0)t = 3k−1 · (a , b 2, c )t a b c χ1 = ζ ±1 a = a ∓ 4b , b = b ± 2a , c = 3c ,
χ1 = ρ±1 a = 3a , b = b ∓ 2c , c = c ± 4b .
! a, b, c w ∈ B ζ ζ −1 w(1,0,0)t = (1,0,0)t
"# b $ w % ζ ζ −1 % b = ±2 & $ ' () w = χ1 χ2 v ' χ1 χ2 = ζ ±1 ρ±1 , χ1 χ2 = ρ±1 ζ ±1 , χ1 χ2 = ζ ±2 , χ1 χ2 = ρ±2 .
a $ b = b ± 2a $
# c # $ b = b ∓ 2c '
# √ 1 # v(1,0,0)t = 3k−2 · (a , b 2, c )t ' b = b ± 2a = b ± 2(a ∓ 4b ) = b ± 2a − 8b = b + (b − b ) − 8b = 2b − 9b .
b b $ #
¾
Bρ ρ B Bρ−1 Bζ Bζ −1
B = Bρ ∪ Bρ−1 ∪ Bζ ∪ Bζ −1 ∪ {}.
ρBρ−1 B
ρ ! ρ−1 ρ ! ! ρ−1 " # ρ $ % & ! ' & (
q qqq q qq r q qqq q
q qqq q q qq r qq q q ra
q qqq q qq r q qqq q
−1
q q qq r qq q q qqq q
q qqq q q qq r qq q q r b
q qqq q r qq q qqq q
r
q qqq q qq r q qqq q
r q q qq r qq q q qqq q
q qqq q r qq q qqq q
q qqq q q qq r qq q q
q qqq 2 ar a r qq q q qqq q q q qq r qq q q qqq q
! " # $ %& ' ' $ ( " # '
ρBρ−1 = Bρ−1 ∪ Bζ ∪ Bζ −1 ∪ {},
ζBζ −1 = Bζ −1 ∪ Bρ ∪ Bρ−1 ∪ {}.
) & * + , ! -(( * + , *+ , -((
¾
X := S 2 \D
B ! " S 2 \D D # $ % ! & ' B\{}( D = {x ∈ S 2 | ∃ g = ∈ B g(x) = x}. ) ! & B D * % !
∼ ⊂ {(x, y) | x, y ∈ S 2 } : x ∼ y ⇐⇒ ∃g ∈ B
y = g(x)
+ & ", -&
+ &( x = (x) ∀x ∈ S 2 ",( ) y = g(x) x = g−1 (y) ∀x, y ∈ S 2 , g ∈ B -&( ) y = g(x) z = h(y) z = hg(x) ∀x, y, z ∈ S 2 , ∀g, h ∈ B ./& ! ∼ g(x) = y}, *! 0 S 2 " 1 B $ 2! z S 2 % ! w ∈ B ! & B & ( Ox := {y ∈ S 2 | ∃g ∈ B
∀w ∈ B
w(D) = D w(S 2 \D) = S 2 \D.
$ ( B D S 2 \D
¾
z∈D
B(D) ⊂ D
w ∈ B v ∈ B w vwv −1
v(z)
B(D) := {b(d) | b ∈ B, d ∈ D} #
D
! "
$ %
D
S 2 \D
&"
B(S 2 \D) ⊃ S 2 \D. '
B(S 2 \D) ⊂ S 2 \D
z w(z) = z
(&") *
B " ∀w ∈ B v(z) (&")
v∈B
&"
∀w ∈ B
vwv −1 (v(z)) = v(w(z)) = v(z)
+
, %
w-.
&"
B(S 2 \(S 2 \D)) = B(D) ⊃ D % &""
* '
Bζ ,
Bζ −1 ,
Bρ ,
B
Bρ−1 ,
{}
% &" &" &" .
S 2 \D
(&") "% / 0
"
2% 3 5
B
H
1
4
O := {Ox | x ∈ S 2 \D}
%" 6 "% 5 0
778 "" 6 !&"
&" 1
*" +9 *&" " :&"
- ; 0< 5 " : 6
H
;0<
B
; 0