-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathmath_notes.tex
4879 lines (4381 loc) · 226 KB
/
math_notes.tex
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
% arara: xelatex: {action: nonstopmode,synctex: yes}
% arara: biber
% arara: xelatex: {action: nonstopmode,synctex: yes}
% arara: xelatex: {action: nonstopmode,synctex: yes}
\RequirePackage[l2tabu, orthodox]{nag}
\documentclass{book}
%文献宏包
%\usepackage[style=numeric,backend=biber]{biblatex}
\usepackage[a4paper,footnotesep=0.5cm]{geometry}
%字体宏包
\usepackage[no-math]{fontspec}
%中文宏包
\usepackage[UTF8,adobefonts,fancyhdr,hyperref,fntef]{ctex}
%\usepackage{xeCJK}
\usepackage[colorlinks]{hyperref}
\usepackage{graphicx,amsmath,amssymb,amsthm,bm,mathtools,subcaption,caption,cleveref}
%\usepackage{IEEEtrantools}
%\usepackage{dtklogos}
\usepackage[inline]{enumitem}
\usepackage{bbm}
\usepackage{fancyhdr}
\usepackage[perpage]{footmisc}
\usepackage{pdfpages}
\usepackage{tikz}
\usepackage{booktabs}
\usepackage{array}
\usepackage{cool}
\usetikzlibrary{intersections}
\usetikzlibrary{angles}
\usetikzlibrary{quotes}
\usetikzlibrary{calc}
\Style{DSymb=\mathrm{d}}%ISymb=\mathbbm{i},ESymb=\mathbbm{e}
\pagestyle{fancy}
\renewcommand{\headrulewidth}{0.4pt}
\everymath{\displaystyle}
%数学定义
\renewcommand{\emptyset}{\varnothing}
\newcommand{\union}{\cup}
\newcommand{\intersect}{\cap}
\newcommand{\deduce}{\Rightarrow}
\newcommand{\bideduce}{\Longleftrightarrow}
\newcommand{\Exists}{\exists\,}
\newcommand{\Any}{\forall\,}
\newcommand{\set}[1]{\left\{#1\right\}}
\newcommand{\proofcomplete}{\qedhere}
\newcommand{\compose}{\circ}
\newcommand{\dd}{\,\mathrm{d}}
\newcommand{\erf}[1]{\,\text{erf}(#1)}
\newcommand{\erfd}[1]{\,\text{erf}\vphantom{f}'(#1)}
\newcommand{\e}{e}%{\mathbbm{e}}
\newcommand{\openinterval}[1]{\left( #1 \right)}
\newcommand{\closedinterval}[1]{\left[ #1 \right]}
\newcommand{\exR}{\overline{\mathbb{R}}}
\newcommand{\abs}[1]{\left\lvert #1 \right\rvert}
\newcommand{\R}{\mathbb{R}}
\newcommand{\Z}{\mathbb{Z}}
\newcommand{\Q}{\mathbb{Q}}
\newcommand{\N}{\mathbb{N}}
\newcommand{\puncU}[1]{\check{U}\!\left( #1 \right)}
\newcommand{\ddfrac}[2]{\frac{\displaystyle#1}{\displaystyle#2}}
\newcommand{\f}{$f(x)$}
\newcommand{\operatorL}{\mathcal{L}}
\renewcommand{\U}[1]{U\!\left( #1 \right)}%\U command is defined in the xunicode package
\renewcommand{\ge}{\geqslant}
\renewcommand{\le}{\leqslant}
\DeclareMathOperator{\arccot}{arccot}
\DeclareRobustCommand{\makestrue}{\mathbin{\text{\Large\vbox{\baselineskip.50ex\lineskiplimit0pt\hbox{.}\hbox{.}\hbox{.}}}}}
\newenvironment{example}
{
\renewcommand{\qedsymbol}{}
\begin{proof}[Example.]
}
{\end{proof}}
\newenvironment{solution}{\begin{proof}[Solution.]}{\end{proof}}
\numberwithin{equation}{section}
\numberwithin{figure}{section}
%definition, theorem, ...
\theoremstyle{definition}
\newtheorem{definition}{Definition}
\newtheorem{theorem}{Theorem}[section]
\newtheorem{axiom}{Axiom}
\newtheorem{lemma}{Lemma}[section]
\newtheorem{corollary}{Corollary}[section]
%single & double quotes
\newcommand{\sq}[1]{`#1'}
\newcommand{\dq}[1]{``#1''}
%设置字体
\setmainfont{Adobe Garamond Pro}
\setCJKmainfont[BoldFont={Adobe Heiti Std R},ItalicFont={Adobe Kaiti Std R}]{Adobe Song Std L}
\setCJKmonofont{Adobe Fangsong Std R}
\title{数学分析笔记}
\author{Naitree Zhu}
\date{
\begin{tabular}{rl}
Created:&2014 年 5 月 6 日\\
Last Modified:&\!\!\today
\end{tabular}
}
\begin{document}
\maketitle
{
\tableofcontents
}
\chapter{Introduction}
\section{Moral Lessions}
\begin{itemize}
\item 微积分这座大厦是从上往下建造起来的. 微积分创始于 17 世纪后半期, 诞生之初就显示了强大的威力, 解决了许多过去认为是高不可攀的困难问题, 取得了辉煌的胜利. 创始微积分的大师们着眼于发展强有力的方法, 解决各种问题, 却没有来得及为这门新学科建立经得起推敲的严格的理论基础. 这引起了人们长达一个多世纪的争论和误解. 在以后的发展中, 后继者才对逻辑的细节作了逐一的修补.
\item 初等几何着眼于具体地研究每一特殊图形的性质. 高等数学却致力于寻求普遍地解决问题的方法.
\item 建立坐标系时, 将几何问题代数化了. 因为依靠坐标系, 所有几何信息都可以用数字来描述, 用数字来研究.
\end{itemize}
\section{一些常用记号}
\begin{equation*}
[x]
\end{equation*}
表示 x 的整数部分, 即不超过 x 的最大整数.
\begin{equation*}
\square
\end{equation*}
表示证毕或要证之事很明显, 不再详细写出.\footnote{\dq{$\square$} stands for Latin phrase \dq{quod erat demonstrandum} (which was to be demonstrated).}
为了方便表达两个量之间的函数关系, 在不致产生歧义的前提下, 经常用因变量的符号本身代表映射关系. 例如,
\begin{equation*}
y=y(x)\,.
\end{equation*}
%
\section{集合与逻辑记号}
\begin{definition}
\emph{集合}是由确定的一些对象构成的总体. 组成这一总体的对象被称为集合的\emph{元素}.
\end{definition}
\dq{$x$ 是集合 $E$ 的元素} 这件事记为:
\begin{equation*}
x\in E\,.
\end{equation*}
\dq{$y$ 不是集合 $E$ 的元素} 这件事记为:
\begin{equation*}
y\not\in E\,.
\end{equation*}
\begin{definition}
如果集合 $E$ 的任何元素都是集合 $F$ 的元素, 那么就说 $E$ 是 $F$ 的\emph{子集合}, 记为:
\begin{equation*}
E\subset F
\end{equation*}
或者
\begin{equation*}
F\supset E\,.
\end{equation*}
这也就是说 $E$ 是 $F$ 的一部分.
\end{definition}
在现代数学文献中, \dq{$\subset$} 表示一般性的包含关系 (不限于真包含), 而用 \dq{$\subsetneqq$} 表示真包含关系.
\begin{definition}
如果 $E\subset F$ 并且 $F\subset E$, 则说集合 $E$ 与 $F$ \emph{相等}, 记为:
\begin{equation*}
E=F\,.
\end{equation*}
\end{definition}
\begin{definition}
一个不含任何元素的集合称为\emph{空集合} $\emptyset$. 约定: 空集合是任何集合 $E$ 的子集合, 即:
\begin{equation*}
\emptyset\subset E\,.
\end{equation*}
\end{definition}
按照数字的类型来分类得到的集合也称为一个数系 (number system), 例如有理数集也称为有理数系.
常用数系:
\begin{itemize}
\item $\mathbb{N}$ 全体自然数的集合 (Natural);
\item $\mathbb{Z}$ 全体整数的集合 (Zahlen---German for \emph{numbers});
\item $\mathbb{Q}$ 全体有理数的集合 (Quotient---所有有理数都可以表示为分式形式).
\item $\mathbb{R}$ 全体实数的集合 (Real);
\item $\mathbb{C}$ 全体复数的集合 (Complex);
\end{itemize}
以上符号有角标时, \dq{$+$} 代表正的部分, \dq{0} 代表包含 0. 例如,
\begin{itemize}
\item $\mathbb{Z}_0^+$ 非负整数的集合;
\item $\mathbb{Q}_0^+$ 非负有理数的集合;
\item $\mathbb{R}_0^+$ 非负实数的集合;
\item $\R^+$ 正实数的集合;
\item $\N_0$ 含 0 的自然数集合;
\item $\N^+$ 正自然数的集合.
\end{itemize}
集合可以通过罗列元素或指出其元素所满足的条件等方法来给出, 用大括号 \dq{$\{\}$} 扩住以表示集合之整体性. 用指出元素满足的条件的方法来表示集合时, 格式一般为
\begin{equation*}
\{x\in E|cond\}\,.
\end{equation*}
其中, $x$ 代表集合元素. $E$ 是这些元素所属的数集, $cond$ 为集合内元素所满足的条件. 例如, 实数域上的一个\emph{左开右闭区间}内所有实数构成的集合:
\begin{equation*}
[a,b)=\{x\in \mathbb{R}|a\leqslant x< b\}\,,
\end{equation*}
其中, $a,b\in \mathbb{R}$, $a<b$.
两个集合的\emph{并集}记为 $E\cup F$, \emph{交集}记为 $E\cap F$. 由属于 $E$ 但不属于 $F$ 的元素组成的集合称为两个集合的\emph{差集} (也叫 \emph{$F$ 在 $E$ 中的相对补集}, \emph{relative complement of $F$ in $E$}), 记为 $E\setminus F$.
设 $\alpha$ 和 $\beta$ 是两个判断. 如果 $\alpha$ 成立时, 则 $\beta$ 一定成立, 我们就说 $\alpha$ 能够推出 $\beta$, $\alpha$ 是 $\beta$ 的充分条件, 或 $\alpha$ \emph{蕴含} $\beta$, 记为
\begin{equation*}
\alpha\deduce\beta\,.
\end{equation*}
如果 $\alpha\deduce\beta$ 并且 $\beta\deduce\alpha$, 则说 $\alpha$ 与 $\beta$ 等价, 或 $\alpha$ 与 $\beta$ 互为充分必要条件, 记为
\begin{equation*}
\alpha\bideduce\beta\,.
\end{equation*}
设 $\alpha(x)$ 是涉及 $x\in E$ 的一个判断, 用
\begin{equation*}
(\Exists x\in E)(\alpha(x))
\end{equation*}
或
\begin{equation*}
\Exists x\in E \makestrue \alpha(x)
\end{equation*}
表示 \dq{存在 $x\in E$ 使得 $\alpha(x)$ 成立}.
设 $\beta(x)$ 是涉及 $x\in E$ 的一个判断, 用
\begin{equation*}
(\Any x\in E)(\beta(x))
\end{equation*}
或
\begin{equation*}
\beta(x), \Any x\in E
\end{equation*}
表示 \dq{对一切 $x\in E$ 都有 $\beta(x)$ 成立}.
\section{映射与函数}
\begin{definition}
设 $D$ 和 $E$ 都是集合, $D$ 的元素与 $E$ 的元素之间的对应关系为 $f$, 如果按照这对应关系, 集合 $D$ 中的任意一个元素 $\xi$ 在集合 $E$ 中只有唯一的一个元素 $\eta$ 与之对应, 则称 $f$ 为一个\emph{映射}.
\end{definition}
\dq{$f$ 是从 $D$ 到 $E$ 的一个映射} 这件事记为:
\begin{equation*}
f:D\rightarrow E\,.
\end{equation*}
按照映射 $f$, 由 $D$ 中的一个 $\xi$ 元素所确定的 $E$ 中的唯一元素 $\eta$ 记为 $f(\xi)$. 有时可以用 $\xi\mapsto \eta$ 表示两集合间具体元素的映射关系 (而用 $D \rightarrow E$ 表示映射是在哪两个集合之间进行).
函数基本上和映射是同义词, 它们只是用于描述同一个数学对象 $f$ 的不同术语. 当使用 \dq{映射} 时, 强调的是集合元素之间的对应; 当使用 \dq{函数} 时, 强调的是集合元素的输入输出关系.
映射和曲线的关系.
将集合 $D$ 的元素从小到大排列\footnote{\dq{从小到大排列} 是因为这样建立的坐标轴上, 两个位置之间的几何距离与这两个位置上的坐标值的代数差值是等比例的. 从而达到了几何问题代数化的目的.}作为 x 轴, 集合 $E$ 的元素从小到大排列作为 y 轴. 映射关系 $f:D\to E,x\mapsto f(x)$ 在该坐标系下则表现为一条曲线. 该曲线上每一点的横纵坐标值 $(x,y)$ 显然满足关系 $y=f(x)$\,.
我们可以说:
\begin{itemize}
\item 映射 $f$ 在某坐标系下的\emph{几何}表现形式为曲线 $y=f(x)$\,. 其中, $x,y$ 为该坐标系的横纵坐标值. \footnote{这里就解决了我的一个高一数学遗留问题: $y$ 不是与 $f(x)$ 就是一个东西么, 为啥要写一个废话一样的等式 $y=f(x)$\,? 现在, 我可以描述这个表达式的含义. $y=f(x)$ 表示一条曲线, 这条曲线上每一点的横纵坐标值 $(x,y)$ 都满足关系 $y=f(x)$. 也就是说, $y=f(x)$ 代表的是基于某坐标系的一条曲线, 不是函数本身, 而是函数 $f$ 在给定的坐标系下的表现方式之一. (同一坐标下, 映射 $f$ 还可以表现为 $x=f(y)$, 即形式为 $y=f(x)$ 的反函数曲线.)}
\item 映射 $f$ 的\emph{代数}表现形式为 $f(x)=x^2+\cdots$\,.
\end{itemize}
但要注意的是: 映射 $f$ 本身的抽象存在性 $f(x)$ 与所选取的表现形式无关.
\begin{definition}
设 $f:D\to E$ 是一个映射, 且有两个集合 $A$ 和 $B$ 满足 $A\subset D$ 以及 $B\subset E$, 则集合
\begin{equation*}
f(A)=\set{f(x)|x\in A}(\subset E)
\end{equation*}
为集合 $A$ 经过映射 $f$ 的像集; 集合
\begin{equation*}
f^{-1}(B)=\set{x|f(x)\in B}(\subset D)
\end{equation*}
为集合 $B$ 关于映射 $f$ 的原像集.
\end{definition}
一些函数定义:
\begin{itemize}
\item \emph{Heviside function}:
\begin{equation*}
H(t)=
\begin{cases}
-1,& \text{ if } t<0,\\
0,& \text{ if } t=0,\\
1,& \text{ if } t>0.
\end{cases}
\end{equation*}
\item \emph{Direchlet function}:
\begin{equation*}
D(t)=
\begin{cases}
1,& \text{ for t rational,}\\
0,& \text{ for t irrational.}
\end{cases}
\end{equation*}
Direchlet function is discontinuous everywhere.
\item \emph{实数序列}: 一个映射
\begin{equation*}
f:\mathbb{N}\to \mathbb{R}
\end{equation*}
表示用自然数编号的一串实数:
\begin{equation*}
x_1=f(1),x_2=f(2),\dots,x_n=f(n),\dots
\end{equation*}
这样的一个映射, 或者说这样的以自然数编号的一串实数 $\set{x_n}$, 被称为实数序列.
\end{itemize}
\begin{definition}
设有两个映射: $f:D\to E$ 与 $g:G\to H$. 若 $f(D)\subset G$, 那么从 $\xi\in D$ 开始, 相继经过 $f$ 和 $g$ 的作用就得到了 $g(f(\xi))$, 也就是说
\begin{equation*}
\xi\mapsto g(f(\xi))\,.
\end{equation*}
这个新的映射被称为 $g$ 与 $f$ 的\emph{复合} (注意顺序), 记为 $g\compose f$.
\end{definition}
一般情况下, $f\compose g$ 与 $g\compose f$ 不一定都有定义, 即使都有定义也不一定相同.
\section{连加和连乘}
在 $\displaystyle\sum_i$ 求和 或 $\displaystyle\prod_i$ 求积等操作时, 指标 (index) $i$ 仅用于表示求和或求积的范围, 换成其他符号意义也不会改变, 这样的指标叫做 \dq{哑指标}.
二项式定理:
\begin{equation}\label{binomial}
(a+b)^n=\sum_{j=0}^{n}\binom{n}{j}a^j b^{n-j}=\sum_{k=0}^{n}\binom{n}{k}a^{n-k}b^k
\end{equation}
其中, $\binom{n}{k}$ 为二项式展开系数 (binomial coefficient) 同时也是 \dq{$n$ 中取 $k$ (n choose k)} 的组合数:
\begin{equation*}
\binom{n}{k}=\frac{n!}{k!(n-k)!}\,.
\end{equation*}
这可以通过 $n!=\binom{n}{k}k!(n-k)!$ 来理解.
求和运算满足的运算性质:
\begin{align*}
&\sum_{i=1}^{n}(a_i+b_i)=\sum_{i=1}^{n}a_i+\sum_{i=1}^{n}b_i\,,\\
&\sum_{i=1}^{n}\lambda c_i=\lambda\sum_{i=1}^{n}c_i\,.
\end{align*}
一些简单却易被忽略的等式:
\begin{align}
&\sum_{i=1}^{n}1=n\,,\label{sum1nn}\\
&\sum_{k=1}^{n}\big(k^p-(k-1)^p\big)=n^p\,.
\end{align}
利用二项式定理 \cref{binomial} 和以上两求和关系可以对任意的 $p\in \mathbb{N}$ 用递推的方法法求出 $\displaystyle\sum_{k=1}^{n}k^p$ 的值:
\begin{solution}
\begin{align*}
n^p=\sum_{k=1}^{n}\big(k^p-(k-1)^p\big)&=\sum_{k=1}^{n}\left[ k^p-\sum_{l=0}^{p}\binom{p}{l}(-1)^l k^{p-l} \right]\\
&=\sum_{k=1}^{n}\left[ \sum_{l=1}^{p}\binom{p}{l}(-1)^{l+1}k^{p-l} \right]\\
&=\sum_{l=1}^{p}\binom{p}{l}(-1)^{l+1}\sum_{k=1}^{n}k^{p-l}
\end{align*}
替换 $p\rightarrow p+1$\,, 得到
\begin{equation*}
n^{p+1}=\sum_{l=1}^{p+1}\binom{p+1}{l}(-1)^{l+1}\sum_{k=1}^{n}k^{p+1-l}\,.
\end{equation*}
因此,
\begin{equation*}
\sum_{k=1}^{n}k^p=\frac{1}{p+1}n^{p+1}+\frac{1}{p+1}\sum_{l=2}^{p+1}\binom{p+1}{l}(-1)^l\sum_{k=1}^{n}k^{p+1-l}\,.
\end{equation*}
由上式看出, 要求出 $\sum_{k=1}^{n}k^p$ 首先要求出 $\sum_{k=1}^{n}k^{p-1}\,,\sum_{k=1}^{n}k^{p-2}\,,\dots$ 在上式中 $p$ 从 1 开始取值, 即可递推地算出所有这些求和值.
\end{solution}
\section{面积、路程与功的计算}
在一个给定的直角坐标系下, 设有一条曲线代表映射关系 $f:x\mapsto f(x)$. 该曲线与 x 轴所夹面积 (约定 x 轴以上部分为正, x 轴以下部分为负) 的近似值为
\begin{equation*}
\sum_{j=1}^{n}f(\xi_j)\Delta x_j\,.
\end{equation*}
当分割无限加细时, 上式的极限值称为函数 $f(x)$ 的积分, 记为
\begin{equation*}
\int_a^b f(x)\dd x\,.
\end{equation*}
其中, $a,b$ 表示和数展布的区间, 积分号 $\int$ (拉长的 S) 表示求和并求极限, $f(x)\dd x$ 表示各求和项的形状. 记 $\Delta x_j$ 中的最大一个为
\begin{equation*}
\max \Delta x_i\,,
\end{equation*}
则积分可以明确表示为:
\begin{equation*}
\int_a^b f(x)\dd x=\lim_{\max\Delta x_i\to 0}\sum_{j=0}^{n}f(\xi_j)\Delta x_j\,.
\end{equation*}
在极限运算中, $\max\Delta x_i$ 趋于 0 但不会达到 0. 整个求和表达式的值是在 $\max\Delta x_i\to 0$ 时趋于积分值, 而不会等于积分值.
\section{切线、速度和变化率}
一条曲线的上有两点 $P,P_0$\,, 当 $P$ 无限接近于 $P_0$ 时 (但不会重合), 割线 $P_0 P$ 趋近的极限位置就是曲线过 $P_0$ 的切线. 曲线过 $P_0$ 点的切线, 其斜率为
\begin{equation*}
f'(x_0)=\lim_{x\to x_0}\frac{f(x)-f(x_0)}{x-x_0}\,.
\end{equation*}
这个式子的意思是: 当 $x$ 趋于 $x_0$ 时, 差商 $\frac{f(x)-f(x_0)}{x-x_0}$ 所趋于的极限为曲线过 $P_0$ 点的切线斜率 $f'(x_0)$ (但是这个差商值不会等于那点斜率值, 只能趋近). 上式定义了一个映射 $f'$ (将 $x_0$ 映射为右端差商的极限值), 称为导数 (导函数).
点 $x_0$ 处的导数 $f'(x_0)$ 表达的是函数值 $f(x)$ 在 $x_0$ 点瞬时变化率的概念. 差商 $\frac{f(x)-f(x_0)}{x-x_0}$ 表达的是函数值从 $x_0$ 至 $x$ 之间的平均变化率的概念. 当 $x\to x_0$ 时, 差商 $\frac{f(x)-f(x_0)}{x-x_0}$ 所趋于的的值\footnote{然而极限概念不关心函数是否能够达到该值. 这由连续性概念来解决.}就是那点的瞬时变化率.
有趣的是: 积的和之极限为积分. 差的商之极限为导数.
\chapter{实数}
微积分创立于 17 世纪, 而它的基础---极限理论, 直到 19 世纪初才由 Cauchy (柯西) 奠定下来. 半个世纪后, Cantor (康托) 和 Dedekind (戴德金) 等人发现极限理论的一些基本原理基于实数系的连续性. 故此, 我们首先要研究实数系的性质.
\section{无尽小数}
\begin{definition}[无尽小数]
形如
\begin{equation*}
\pm a_0.a_1a_2\cdots a_n\cdots
\end{equation*}
的表示被称为\emph{无尽小数}. 其中 $a_0\in \Z_0^+$\,, $a_1,a_2,\cdots,a_n,\cdots$ 中每一个都是 0--9 数字之一.
\end{definition}
形如
$+a_0.a_1a_2\cdots a_n\cdots$ 常常简写为 $a_0.a_1a_2\cdots a_n\cdots$\,.
约定, 形如 $\pm a_0.a_1a_2\cdots a_m 0000\cdots$ 的无尽小数可以简写为 $\pm a_0.a_1a_2\cdots a_m$\,, 并可称为有尽小数.
实数可以由无尽小数表示. 其中, 有理数都可以表示为无尽循环小数; 无理数可以表示为无尽不循环小数.
\begin{definition}[规范和非规范小数]
对于无尽小数, 规定\emph{等同关系}:
\begin{align}
-0.000\cdots&=+0.000\cdots\tag{$E_1$}\,,\\
\pm b_0.b_1\cdots b_p 999\cdots&=b_0.b_1\cdots (b_p+1)000\cdots\tag{$E_2$}\\
&\text{(其中, $b_p<9$).}\notag
\end{align}
如同 ($E_1$) 和 ($E_2$) 中等号左边那样的无尽小数被称为\emph{非规范小数}, 其他的无尽小数都称为\emph{规范小数}. 每个非规范小数通过等同关系与一个规范小数相对应.
\end{definition}
\begin{definition}[实数]
在所有的无尽小数中, 把每两个彼此等同的无尽小数视为同一个数, 这样就得到了\emph{实数}\footnote{这里对实数的定义, 只明确地用等同关系将实数轴上的一些点连了起来, 并无法直接看出这些 \dq{所有的无尽小数} 之间的关系. 什么是实数的连续性? 实数的连续性并不是实数之间 $0.00\cdots 001$ 这样的 \dq{无穷小} 的增加, 事实上这样的 \dq{无穷小} 的增加根本是不存在的. 无穷小的 $0.00\cdots 001$ 根本不成立, 这样的小量不可能是无尽小数, 而必然是一个有尽小数. 因此这种有尽小量的增加无法说明实数的连续性. 从另一方面来考虑, 对于两个相差的值为无尽不循环小数的无尽不循环小数来说, 不可能通过这种有尽小数的增加来从一个到达另一个. 实数的连续性的关键, 不是数值上有穷小量的增加, 而是相邻的概念. 所有这些相邻的实数一个接着一个地连成了实数轴. 难以描述的是, 这种相邻不是说两个确定的实数是相邻的, 因为两个不等的实数之间总是可以插入第三个实数. 这种相邻是一个无尽小数向另一个确定的无尽小数 \dq{逼近} 产生的相邻.}. 每一个实数都有唯一的规范小数表示. 规范表示为 $+a_0.a_1a_2\cdots$ 的实数被称为\emph{非负实数}, 其中规范表示为 $+0.00\cdots$ 的实数记为 $0$. 规范表示为 $-b_0.b_1b_2\cdots$ 的实数被称为\emph{负实数}.
\end{definition}
\begin{definition}[相反数]
两个非 0 实数, 如果它们的规范小数表示的各位数字分别相同, 但符号相反, 则称这两实数互为\emph{相反数}. 规定 0 的相反数为 0 自己. 实数 $x$ 的相反数通常记为 $-x$.
\end{definition}
\begin{definition}[实数的顺序]
两实数的顺序由以下比较实数大小的规则来确定:
\begin{enumerate}
\item 如果两实数有相同的规范小数表示, 则称两实数\emph{相等}.
\item 如果两实数的规范表示不同, 分以下 3 种情形考虑.
\begin{enumerate}
\item 两非负实数.
对于规范表示为 $a=a_0.a_1a_2\cdots a_n\cdots$ 和 $b=b_0.b_1b_2\cdots b_n\cdots$ 的两实数, 逐位比较各位数字. 若
\begin{equation*}
a_0=b_0,\cdots,a_{p-1}=b_{p-1},a_p>b_p\,,
\end{equation*}
则称 $a$ 大于 $b$, 表示为 $a>b$; 或 $b$ 小于 $a$, 表示为 $b<a$.
\item 两负实数.
对于规范表示为 $-c=-c_0.c_1c_2\cdots c_n\cdots$ 和 $-d=-d_0.d_1d_2\cdots d_n\cdots$ 的两实数, 逐位比较各位数字. 若
\begin{equation*}
c_0=d_0,\cdots,c_{q-1}=d_{q-1},c_q<d_q\,,
\end{equation*}
则称 $c$ 大于 $d$, 表示为 $c>d$; 或 $d$ 小于 $c$, 表示为 $d<c$.
\item 一个非负实数, 一个负实数.
规定任何非负实数大于任何负实数.
\end{enumerate}
\end{enumerate}
\end{definition}
用上述方法, 在实数中定义了包含大于、小于和等于三种关系的顺序关系. 这样定义的顺序关系具有:
\begin{description}
\item[三歧性] 对任意两个实数 $a$ 和 $b$, 必有并且只有以下三种情形之一出现:
\begin{equation*}
a>b\,,a=b\,,a<b\,.
\end{equation*}
\item[传递性] 如果 $a>b$, $b>c$, 则 $a>c$.
\end{description}
约定, 用 $a\geqslant b$ 表示 \dq{$a>b$ 或者 $a=b$}, 用 $a\leqslant b$ 表示 \dq{$a<b$ 或 $a=b$}.
\begin{theorem}[有尽小数的稠密性]
设 $a$ 和 $b$ 是实数, 且 $a<b$. 则存在有尽小数 $c$, 满足
\begin{equation*}
a<c<b\,.
\end{equation*}
\end{theorem}
证明见 \cref{proof:finiteDecimal}.
以上定理指出, 在任意两个不相等的实数之间可以再插入一个有尽小数, 所插入的实数与前两个实数都不等, 故两两实数之间仍可以插入有尽小数, 无穷无尽. 这说明\emph{有尽小数在实数系中处处稠密}, 也就是说在实数轴上任意两个不等的实数点之间有无数个有尽小数. 这种稠密性对于无尽不循环小数也是成立的. 已知有理数域由有尽小数和无尽循环小数组成, 无理数域由无尽不循环小数组成, 因此, \emph{有理数域和无理数域是实数域中的稠密集}.
\begin{definition}[绝对值]
实数 $x$ 的绝对值 $\abs{x}$ 定义为:
\begin{equation*}
\abs{x}=
\begin{cases}
x,&\text{若 $x$ 为非负实数;}\\
-x,&\text{若 $x$ 为负实数.}
\end{cases}
\end{equation*}
\end{definition}
\section{实数系的连续性: 确界原理}
\begin{definition}[上界与下界, 有界集]
对于实数的非空集合 $E$ (即, $E\subset \mathbb{R}, E\neq \emptyset$.\footnote{要求 $E$ 非空是因为, 对于没有元素的集合, 上下界的定义根本无法应用. 注意空集是什么都没有, 从而没有元素之界限的概念.}), 若存在 $L\in \mathbb{R}$, 使得
\begin{equation*}
x\leqslant L, \Any x\in E\,,
\end{equation*}
则说集合 $E$ 有\emph{上界}, 并且 $L$ 是集合 $E$ 的一个上界.
若存在 $l\in \mathbb{R}$, 使得
\begin{equation*}
x\geqslant l, \Any x\in E\,,
\end{equation*}
则说集合 $E$ 有\emph{下界}, 并且 $l$ 是集合 $E$ 的一个下界.
若一个集合有上界和下界, 则称该集合\emph{有界}, 即为\emph{有界集}.
\end{definition}
根据集合上下界的定义, 显然一个有上界的集合不可能有最大的上界, 一个有下界的集合不可能有最小的下界.
\begin{definition}[上确界]
设 $E\subset \mathbb{R}, E\neq \emptyset$. 若存在 $M\in \mathbb{R}$, 满足
\begin{enumerate}
\item $M$ 是集合 $E$ 的一个上界, 即
\begin{equation*}
x\leqslant M,\Any x\in E\,;
\end{equation*}
\item 任何小于 $M$ 的实数 $M'$ 都不再是集合 $E$ 的上界, 即
\begin{equation*}
(\Any M'<M)(\Exists x\in E)(x>M').
\end{equation*}
\end{enumerate}
两个条件, 则称 $M$ 是集合 $E$ 的\emph{上确界}.
\end{definition}
若 $M$ 是 $E$ 的上确界, 则 $E$ 的任何上界 $M_1\geqslant M$. 若 $M_1,M_2$ 都是 $E$ 的上确界, 则 $M_1=M_2$\,.\footnote{\dq{$M_1,M_2$ 都是 $E$ 的上确界}, 意味着以下逻辑表达式值为真:
\begin{gather*}
(M_1\geqslant M_2)\&\&(M_2\geqslant M_1)\\
\Updownarrow\\
(M_1>M_2\| M_1==M_2)\&\&(M_2>M_1\|M_2==M_1)\\
\Updownarrow\\
M_1==M_2
\end{gather*}
以上逻辑表达式的化简, 证明了 $A\geqslant B$ 且 $B\geqslant$ A 时, 可以得到 $A=B$.}
因此集合 $E$ 的上确界如果存在则只有一个, 记为
\begin{equation*}
\sup E\,.
\end{equation*}
\begin{definition}[下确界]
设 $E\subset \mathbb{R}, E\neq \emptyset$. 若存在 $m\in \mathbb{R}$, 满足
\begin{enumerate}
\item $m$ 是集合 $E$ 的一个下界, 即
\begin{equation*}
x\geqslant m,\Any x\in E\,;
\end{equation*}
\item 任何大于 $m$ 的实数 $m'$ 都不再是集合 $E$ 的上界, 即
\begin{equation*}
(\Any m'>m)(\Exists x\in E)(x<m').
\end{equation*}
\end{enumerate}
两个条件, 则称 $m$ 是集合 $E$ 的\emph{下确界}.
\end{definition}
集合 $E$ 的下确界如果存在则只有一个, 记为
\begin{equation*}
\inf E\,.
\end{equation*}
\begin{axiom}[The Completeness Axiom]
\leavevmode
\begin{description}
\item 第一种陈述: $\mathbb{R}$ 的任何非空而有上界的子集合 $D$ 在 $\mathbb{R}$ 中有上确界. (最小上界公理)
\item 第二种陈述: $\mathbb{R}$ 的任何非空而有下界的子集合 $E$ 在 $\mathbb{R}$ 中有下确界. (最大下界公理)
\end{description}
\end{axiom}
证明见 \cref{proof:MaximalLowerBoundary}
最小上界公理 (或最大下界公理) 说明了实数系的连续性 (完备性, completeness). 这是因为: 根据最小上界公理, 在实数轴上存在一个最小的实数 (而不会比这个实数更小) 与一个有上界的集合 $D$ 相邻. 也就是说这个实数与集合 $D$ 最右端的数字\footnote{尽管这个 \dq{集合最右端的实数} 可能永远无法真正列举出来.}是相连的 (因为在 $D$ 的右边没有比这个实数更小的却不在集合 $D$ 内的实数). 例如设想集合 $\set{x\in\R|x<\sqrt{2}}$ 在 $\sqrt{2}$ 处的连续性, $\sqrt{2}$ 不在集合内, 但与集合右端是完全相连的, 就像是从 $\sqrt{2}$ 点向左抹过去那样. 在实数轴上各处都可以构造出类似的数字相连的例子, 因此整个实数轴上各个数字是彼此相连的, 即实数系具有\emph{连续性}.
同样的连续性结论显然也可以由最大下界公理推出, 甚至由其他的等价叙述来推出.
\section{实数的四则运算}
用已经有了定义的有理数的四则运算来定义实数的四则运算.
\begin{theorem}[实数加法基础]
设 $a,b\in \mathbb{R}$, 则存在唯一实数 $u$, 使得对于满足条件
\begin{equation*}
\alpha\leqslant a\leqslant \alpha'\,,\quad\beta\leqslant b\leqslant\beta'
\end{equation*}
的任何有尽小数 $\alpha,\alpha'$ 和 $\beta,\beta'$, 都有
\begin{equation*}
\alpha+\beta\leqslant u\leqslant\alpha'+\beta'\,.
\end{equation*}
\end{theorem}
\begin{definition}[实数的加法]
上述定理中所述的唯一实数 $u$, 被称为实数 $a$ 和 $b$ 之\emph{和}, 并约定记为 $a+b$\,.
\end{definition}
\begin{definition}[实数的减法]
实数 $a$ 与 $b$ 之\emph{差}定义为 $a$ 与 $-b$ 之和, 即
\begin{equation*}
a-b=a+(-b)\,.
\end{equation*}
\end{definition}
\begin{theorem}[实数乘法基础]
设 $a,b\in \mathbb{R}_0^+$, 则存在唯一实数 $v$, 使得对于满足条件
\begin{equation*}
0\leqslant \alpha\leqslant a\alpha'\,,\quad 0\leqslant \beta\leqslant b\leqslant\beta'
\end{equation*}
的任何有尽小数 $\alpha,\alpha'$ 和 $\beta,\beta'$, 都有
\begin{equation*}
\alpha\beta\leqslant v\leqslant \alpha'\beta'\,.
\end{equation*}
\end{theorem}
在上述定理中, 要求 $\alpha,\beta\geqslant 0$ 是为了限制两者的绝对值范围, 防止出现 $\alpha\beta>v$\,.
\begin{definition}[实数的乘法]
上述定理中所述的唯一实数 $v$, 被称为非负实数 $a$ 和 $b$ 之\emph{积}, 并约定记为 $ab$\,. 对于任意实数 $a$ 和 $b$ 之积 $ab$ 定义为:
\begin{equation*}
ab=
\begin{cases}
\abs{a}\abs{b}\,,&\text{若 $a,b$ 同号};\\
-\abs{a}\abs{b}\,,&\text{若 $a,b$ 异号}.
\end{cases}
\end{equation*}
\end{definition}
注意到, 任意实数之积是转化为非负实数之积来定义的.
有尽小数的求商方法: 长除法, 即除法草式.
对给定的正的有限小数 $\alpha$ (除数), $\beta$ (被除数) 和自然数 $n$ (试商位数), 通过逐位试商可以确定一个有尽小数
\begin{equation*}
\gamma=\gamma_0.\gamma_1\cdots\gamma_n\,,
\end{equation*}
满足条件
\begin{equation*}
\gamma\cdot\alpha\leqslant\beta<\left( \gamma+\frac{1}{10^n} \right)\cdot\alpha\,.
\end{equation*}
注意上式中 ``$\leqslant$'' 和 ``$<$'' 的区别. 对于给定的 $\alpha,\beta,n$, 这样的 $\gamma$ 是唯一确定的.
我们把这样的 $\gamma$ 和 $\gamma+\tfrac{1}{10^n}$ 分别叫做 $\beta$ 除以 $\alpha$ 的、精确到小数点后 $n$ 位的\emph{不足近似商}和\emph{过剩近似商}.
约定, 分别用
\begin{equation*}
\left( \frac{\beta}{\alpha} \right)_n=\gamma\,,\quad\left( \frac{\beta}{\alpha} \right)'_n=\gamma'
\end{equation*}
来表示它们.
\begin{theorem}[倒数基础]
对任何正实数 $a$, 存在唯一的正实数 $w$, 使得对于满足条件
\begin{equation*}
\alpha\leqslant a\leqslant\alpha'
\end{equation*}
的任何有尽小数 $\alpha,\alpha'$ 和自然数 $m,n$ 都有
\begin{equation*}
\left( \frac{1}{\alpha'} \right)_m\leqslant w\leqslant \left( \frac{1}{\alpha} \right)'_n\,.
\end{equation*}
\end{theorem}
\begin{definition}[正实数的倒数]
上述定理所述的唯一正实数 $w$ 被称为正实数 $a$ 的\emph{倒数}, 记为 $\frac{1}{a}$\,.
\end{definition}
实数除法是基于实数的倒数和乘法来定义的.
\begin{definition}[实数的除法]
\begin{equation*}
\frac{b}{a}=
\begin{cases}
\dfrac{1}{\abs{a}}\cdot\abs{b}\,,&\text{若 $a,b$ 同号;}\\
\\
-\dfrac{1}{\abs{a}}\cdot\abs{b}\,,&\text{若 $a,b$ 异号.}
\end{cases}
\end{equation*}
\end{definition}
\section{实数系基本性质综述}
\subsection{运算性质}
在 $\mathbb{R}$ 中定义了加法和乘法, 使得任意的 $a,b\in \mathbb{R}$ 有确定的 $a+b\in \mathbb{R}$ 和 $a\cdot b\in\R$ 与之对应. 并且, 以下运算律成立:
\begin{itemize}
\item 加法可交换,
\begin{equation*}
a+b=b+a\,,\quad\Any a,b\in\R\,;\tag{$F_1$}
\end{equation*}
\item 加法可结合,
\begin{equation*}
(a+b)+c=a+(b+c)\,,\quad\Any a,b,c\in\R\,;\tag{$F_2$}
\end{equation*}
\item $0\in\R$ 对加法作用特殊,
\begin{equation*}
0+a=a+0=a\,,\quad\Any a\in\R\,;\tag{$F_3$}
\end{equation*}
\item 对 $\Any a\in\R$ 存在相反的数 $-a\in\R$, 使得
\begin{equation*}
(-a)+a=a+(-a)=0\,,\quad\Any a\in\R\,;\tag{$F_4$}
\end{equation*}
\item 乘法可交换,
\begin{equation*}
a\cdot b=b\cdot a\,,\quad\Any a,b\in\R\,;\tag{$F_5$}
\end{equation*}
\item 乘法可结合,
\begin{equation*}
(a\cdot b)\cdot c=a\cdot(b\cdot c)\,,\quad\Any a,b,c\in\R\,;\tag{$F_6$}
\end{equation*}
\item $1\in\R$ 对乘法作用特殊,
\begin{equation*}
1\cdot a=a\cdot 1=a\,,\quad\Any a\in\R\,;\tag{$F_7$}
\end{equation*}
\item 对 $\Any a\in\R,a\neq 0$, 存在一个倒数 $a^{-1}\in\R$, 使得
\begin{equation*}
a^{-1}\cdot a=a\cdot a^{-1}=1\,,\quad\Any a\in\R\,;\tag{$F_8$}
\end{equation*}
\item 乘法对加法是分配的, 即乘法可以分别作用于加法中的每一项
\begin{equation*}
a\cdot(b+c)=a\cdot b+a\cdot c\,,\quad\Any a,b,c\in\R\,.\tag{$F_9$}
\end{equation*}
\end{itemize}
注意到 ($F_1$)--($F_4$) 与 ($F_5$)--($F_8$) 是一一对应的.
基于加法和相反数的定义, 可以构造出减法.
基于乘法和倒数的定义, 可以构造出除法.
\subsection{顺序性质}
顺序关系 \dq{$<$} 具有以下性质:
\begin{itemize}
\item \emph{三歧性}. 对任意的 $a,b\in\R$, 必有以下三种关系之一出现 :
\begin{equation*}
a<b\,,a>b\,,a=b\,.\tag{$O_1$}
\end{equation*}
\item \emph{传递性}.
\begin{equation*}
a<b,b<c\Rightarrow a<c\,.\tag{$O_2$}
\end{equation*}
\item 加以实数的运算保持原顺序关系.
\begin{equation*}
a<b\Rightarrow a+c<b+c\,.\tag{$O_3$}
\end{equation*}
\item 乘以正实数的运算保持原顺序关系.
\begin{equation*}
a<b,c>0\Rightarrow a\cdot c>b\cdot c\,.\tag{$O_4$}
\end{equation*}
\end{itemize}
利用顺序性质 ($O_1$) 和 ($O_2$) 可以把所有实数按照从小到大的顺序排列起来.
\subsection{连续性质}
在 $\R$ 中, 确界原理成立:
\begin{equation*}
\text{$\R$ 的任何非空有上界的子集合在 $\R$ 中有上确界.}\tag{$C$}
\end{equation*}
确界原理 ($C$) 说明了实数系的连续性.
\subsection{总结}
\begin{definition}[域]
定义有加法和乘法运算并且符合运算律 ($F_1$)--($F_9$) 的集合通常称为\emph{域}.\footnote{用加法和乘法, 配合 9 条运算律可以将减法和除法定义出来.} 实数系、有理数系、无理数系和复数系都是域.
\end{definition}
\begin{definition}[有序域]
定义有顺序关系 \dq{<} 并且符合 ($O_1$)--($O_4$) 的域被称为\emph{有序域}. 实数域和有理数域都是有序域. 复数域不是有序域.
\end{definition}
因此, \textbf{实数系 $\R$ 是一个连续的有序域}.
\section{常用不等式}
\begin{itemize}
\item
\begin{equation}
\abs{x}<\alpha\bideduce -\alpha<x<\alpha\,.
\end{equation}
\item
\begin{equation}
\abs{y}\leqslant \beta\bideduce -\beta\leqslant y\leqslant \beta\,.
\end{equation}
\item
\begin{equation}\label{eqn:absoluteValueInequality}
\abs{a+b}\leqslant\abs{a}+\abs{b}\,.
\end{equation}
证明见 p.~\pageref{proof:absoluteValueInequality} in appendix.
利用上式, 易证 $n$ 个实数时,
\begin{equation}
\abs{a_1+a_2+\cdots+a_n}\leqslant\abs{a_1}+\abs{a_2}+\cdots+\abs{a_n}\,.
\end{equation}
\item
\begin{equation}\label{eqn:stangeAbsoluteValueInequality}
\big\lvert\lvert a \rvert-\lvert b\rvert\big\rvert\leqslant\abs{a-b}
\end{equation}
证明见 p.~\pageref{proof:StrangeAbsoluteValueInequality} in appendix.
\item Bernoulli 不等式
\begin{equation}
(1+x)^n\geqslant 1+nx\,.
\label{eqn:bernoulliInequality}
\end{equation}
当 $n\in\N_0$ 时, 对任意的 $x\geqslant-1$ 成立; 当 $n$ 为正偶数时, 对一切 $x\in\R$ 成立. 证明见 \cref{proof:bernoulliInequaliy}. 更一般的 Bernoulli 不等式对一切指数为实数时, 为如下形式
\begin{equation}
\begin{cases}
(1+x)^r\geqslant 1+rx\,,&r\leqslant 0\text{ or }r\geqslant 1\text{ 时},\Any x>-1\,;\\
(1+x)^r\leqslant 1+rx\,,&0\leqslant r\leqslant 1\text{ 时},\Any x>-1\,.
\end{cases}
\label{eqn:GeneralizedBernoulliInequality}
\end{equation}
\end{itemize}
\section{AM--GM 不等式}
\begin{definition}[算数平均数和几何平均数]
设 $x_1,x_2\in\R_0^+$, 称
$
\frac{x_1+x_2}{2}
$
为两实数的算数平均数;
称
$
\sqrt{x_1x_2}
$
为两实数的几何平均数.
\end{definition}
由
\begin{equation*}
\left( \sqrt{x_1}-\sqrt{x_2} \right)^2\geqslant 0\,
\end{equation*}
可得算术平均数和几何平均数的不等式
\begin{equation}
\frac{x_1+x_2}{2}\ge \sqrt{x_1x_2}\,.
\end{equation}
\begin{theorem}[AM--GM 不等式]
对非负实数 $x_1,x_2,\cdots,x_n\ge 0$, 以下算数平均数和几何平均数的不等式成立:
\begin{equation}
\frac{x_1+x_2+\cdots+x_n}{n}\ge\sqrt[n]{x_1x_2\cdots x_n}\,.
\end{equation}
\end{theorem}
证明见 \cref{proof:AMGMInequality}.
\section{简单三角函数不等式}
数学理论推导中, 角度的度量通常采用弧度作为单位. 这样的好处在于在单位圆上角度所截的弧之长度数值就是弧度值.
涉及三角函数的以下不等式成立:
\begin{equation}
\sin x<x<\tan x\,,\Any x\in \left( 0,\frac{\pi}{2} \right)\,.
\end{equation}
证明见 \cref{proof:trigonometricInequality}.
由上式易知以下不等式成立:
\begin{equation}
\abs{\sin x}\le\abs{x}\,,\Any x\in\R\,.
\end{equation}
\chapter{极限}
\begin{definition}[实数序列]
映射
\begin{equation*}
x:\N^+\to \R
\end{equation*}
相当于用自然数编号的一串实数,
\begin{equation*}
x_1=x(1),x_2=x(2),\cdots,x_n=x(n),\cdots
\end{equation*}
这样用自然数编号的一串实数的集合 $\set{x_n}$, 称为\emph{实数序列}\footnote{注意到这串实数实际上构成的数学对象是一个集合, 因此用大括号 $\{ \}$ 来将这些元素包裹起来.}.
\end{definition}
注意: 序列, 指的都是以自然数编号的一串无穷延伸的数列.
\section{有界序列}
\begin{definition}[序列上界、下界、有界]
设实数序列 $\set{x_n}$,
\begin{enumerate}
\item 若 $\Exists M\in\R$, 使得
\begin{equation*}
x_n\le M,\Any n\in\N^+\,,
\end{equation*}
则序列 $\set{x_n}$ 有\emph{上界}, 且 $M$ 是它的一个上界;
\item 若 $\Exists m\in\R$, 使得
\begin{equation*}
x_n\ge m,\Any n\in\N^+\,,
\end{equation*}
则序列 $\set{x_n}$ 有\emph{下界}, 且 $m$ 是它的一个下界;
\item 若序列 $\set{x_n}$ 既有上界也有下界, 则称序列 $\set{x_n}$ \emph{有界}.
\end{enumerate}
\end{definition}
\dq{序列 $\set{x_n}$ 有界} 的等价表示是
\begin{equation*}
(\Exists K\in\R)(\Any n\in\N^+)(\abs{x_n}\le K)\,.
\end{equation*}
\dq{序列 $\set{x_n}$ 无界} 即是上面的否定\footnote{对一个陈述进行否定时, \emph{逻辑量词} \dq{$\exists$} 变成 \dq{$\forall$}, \dq{$\forall$} 变成 \dq{$\exists$}, 并把结论变成原结论的否定. 详见 \cref{sec:logicalquantification}.}, 即
\begin{equation*}
(\Any K\in\R)(\Exists n\in\N^+)(\abs{x_n}>K)\,.
\end{equation*}
\subsection{一些有界序列和无界序列}
\label{sec:temp:1}
当 $n\in\N^+$ 时, 以下序列
\begin{align*}
x_n&=(-1)^n\,,\\
x_n&=\frac{n+1}{n}\,,\\
x_n&=\left( 1+\frac{1}{n} \right)^n\,,
\end{align*}
有界. 其中第三个的证明见 \cref{proof:sequencehaveboundary}.
证明一个序列 $\set{x_n}$ 有界, 只需要按照等价条件来找到一个 $K$, 使得对 $\Any n\in\N^+$, 都有 $\abs{x_n}\le K$\,.
当 $n\in\N^+$ 时, 序列
\begin{equation*}
x_n=1+\frac{1}{2}+\cdots+\frac{1}{n}
\end{equation*}
无界. 也就是说 $\set{x_n=\frac{1}{n}}$ 的前 $n$ 项和 $S_n=\sum_{k=1}^{n}\frac{1}{n}$ 无上界. 证明见 \cref{proof:sequencehaveboundary}.
\section{无穷小序列}
\begin{definition}[无穷小序列]
若实数序列 $\set{x_n}$满足
\begin{equation*}
(\Any \varepsilon>0)(\Exists N\in\N^+)(\Any n>N)(\abs{x_n}<\varepsilon)\,,
\end{equation*}
则称 $\set{x_n}$ 是无穷小序列.
\end{definition}
与此对应, 若 $\set{x_n}$ 不是无穷小序列, 则不满足以上量化的陈述, 即满足以上陈述的否定:
\begin{equation*}
(\Exists \varepsilon>0)(\Any N\in\N^+)(\Exists n>N)(\abs{x_n}\ge\varepsilon)\,.
\end{equation*}
注意体会为什么这个量化的句子说明了 $\set{x_n}$ 不是无穷小序列: $\set{x_n}$ 不是无穷小序列, 就意味着无论 $n$ 多大, 都存在 $x_n$ 尚未趋于 0, 仍大于某个正数.
\begin{definition}[邻域]
设 $\varepsilon\in\R$, $\varepsilon>0$, 开区间 $(a-\varepsilon,a+\varepsilon)$ 叫做 $a$ 点的 $\varepsilon$ 邻域.
\end{definition}
从几何上看, \dq{$\set{x_n}$ 是无穷小序列} 意味着无论 0 点的邻域如何小, $\set{x_n}$ 中某一项之后的各项都要进入这邻域之中.
\subsection{一些无穷小序列}
\begin{lemma}\label{lem:infinitesimalsequence}
设 $\set{\alpha_n}$ 和 $\set{\beta_n}$ 为实数序列, 并且存在 $N_0\in\N^+$, 使得
\begin{equation*}
\abs{\alpha_n}\le \beta_n\,,\quad\Any n>N_0\,.
\end{equation*}
若 $\set{\beta_n}$ 为无穷小序列, 则 $\set{\alpha_n}$ 也为无穷小序列. 注意在条件左端必须是绝对值, 否则是不能成立的.
\end{lemma}
证明一个序列为无穷小序列有两个方法:
\begin{enumerate}
\item 从定义出发, 对任意正数 $\varepsilon$, 求出满足 $\abs{x_n}<\varepsilon$ 的 $N$. 从而可以说明无论 $\varepsilon$ 为何值, 只要 $n$ 大于相应的 $N$, 就有 $\set{x_n}<\varepsilon$\,. 若直接应用 $x_n$ 的形式不好求出 $N$, 可以用 \cref{lem:infinitesimalsequence} 对不等式适当放宽, 求出满足 $\beta_n<\varepsilon$ 的 $N$, 从而这个 $N$ 也满足 $\abs{x_n}<\varepsilon$\,.
按照这个思想, 上面序列 \cref{eqn:1an,eqn:nan} 的证明在 \cref{proof:infinitesimalsequence} 中给出.
\item 将序列化为已知的无穷小序列的组合, 应用有界序列与无穷小序列的性质, 得出所要证明的序列为无穷小序列.
\end{enumerate}
从无穷小序列的定义出发, 可以证明在 $n\in\N^+$ 时, 以下序列为无穷小序列.
\begin{align}
x_n&=\frac{1+(-1)^n}{n}\,;\\
s_n&=\frac{1}{a^n}\,,\quad \text{其中{} }a\in\R,\abs{a}>1\,; \label{eqn:1an}\\
t_n&=\frac{n}{a^n}\,,\quad \text{其中{} }a\in\R,\abs{a}>1.\label{eqn:nan}
\end{align}
设 $\set{\alpha_n}$ 是无穷小序列, 记
\begin{equation}
\beta_n=\frac{\alpha_1+\alpha_2+\cdots+\alpha_n}{n}\,,\label{eqn:averageSequence}
\end{equation}
则 $\set{\beta_n}$ 也是无穷小序列. 也就是说, 以无穷小序列前 $n$ 项的算数平均值作为通项的序列, 也是一个无穷小序列. 证明见 \cref{proof:infinitesimalsequence}.
设 $\set{\alpha_n}$ 是无穷小序列, 且 $\Any n\in\N^+$, 满足 $\alpha_n\ge0$\,. 记
\begin{equation}\label{eqn:geometricAvergeSequence}
\gamma_n=\sqrt[n]{\alpha_1\alpha_2\cdots\alpha_n}\,.
\end{equation}
则 $\set{\gamma_n}$ 也是无穷小序列. 这根据 $\abs{\beta_n}$ 是无穷小序列很容易得到.
应用这个结果, 易知序列
\begin{equation*}
z_n=\sqrt[n]{\frac{1}{n!}}
\end{equation*}
是无穷小序列. 这是因为现在 $\alpha_n=\frac{1}{n}$\,.
应用有界序列和无穷小序列的性质, 可以证明以下序列为无穷小序列:
\begin{align*}
x_n&=\frac{n^k}{b^n}\,,\quad\text{其中{} }b\in\R,b>1\,;\\
x_n&=\frac{c^n}{n!}\,,\quad\text{其中{} }c>0\,.
\end{align*}
证明见 \cref{proof:infinitesimalsequence}.
\section{有界序列与无穷小序列的性质}
\begin{lemma}\label{lem:infinitesimalhasboundary}
若 $\set{a_n}$ 是无穷小序列, 则它也是有界序列.
\end{lemma}
证明见 \cref{proof:boundaryandinfinitesimalsequenceattributes}.
\begin{theorem}[有界序列与无穷小序列的性质]
\label{the:boundaryandinfinitesimalsequenceattributes}
\leavevmode
\begin{enumerate}
\item 两个有界序列 $\set{x_n},\set{y_n}$ 的和 $\set{x_n+y_n}$ 与积 $\set{x_ny_n}$ 都是有界序列.
\item 两个无穷小序列 $\set{\alpha_n},\set{\beta_n}$ 之和 $\set{\alpha_n+\beta_n}$ 为无穷小序列.
\item 无穷小序列 $\set{\alpha_n}$ 与有界序列 $\set{x_n}$ 之积 $\set{\alpha_nx_n}$ 为无穷小序列.
\item $\set{\alpha_n}$ 是无穷小序列的充要条件是 $\set{\abs{\alpha_n}}$ 是无穷小序列.
\end{enumerate}
\end{theorem}
\begin{corollary}[有界序列与无穷小序列的性质]
\label{cor:boundaryandinfinitesimalsequenceattributes}
\leavevmode
\begin{enumerate}[start=5]
\item 两无穷小序列 $\set{\alpha_n},\set{\beta_n}$ 之积 $\set{\alpha_n\beta_n}$ 为无穷小序列.
\item 实数 $c$ 与无穷小序列 $\set{\alpha_n}$ 之积 $\set{c\alpha_n}$ 为无穷小序列.
\item 有限个无穷小序列的和与积都是无穷小序列.
\end{enumerate}
\end{corollary}
以上定理和推论的证明见 \cref{proof:boundaryandinfinitesimalsequenceattributes}.
\section{收敛序列}
\begin{definition}[收敛序列与发散序列]