函数

函数 — 研究对象
微积分基础 极限 — 研究方法
连续 — 研究桥梁
 第一章

集合与实数集
一、集合
二、实数集
1. 定义及表示法
定义 1. 具有某种特定性质的事物的全体称为集合 .
组成集合的事物称为元素 .

a  A.
元素 a 属于集合 A , 记作

元素 a 不属于集合 A , 记 a  A ( 或 a  A ) .
作
特征 : (1) 确定性； (2) 互异性； (3) 无序性
按元素的特征可将集合分为
有限集，无限集，不可数集，……
(1) 列举法 按某种方式列出集合中的全体元素 .
： 例 : 有限集合 A   a1 , a2 , L , an    a 
n
i i 1

自然数集 N   0, 1 , 2 , L , n , L   n 
M   x x 所具有的特征 
(2) 描述法：
例 : 整数集合Z   x x  N 或  x  N  
 p  p 与 q 互 
有理数集 Q   p  Z, q  N , 
q 质 
实数集合 R   x x 为有理数或无理数
A  {( x, y ) | x  0, y  0}  第二象限(含负x轴)
(3) 文氏图
法：
全集：所研究的所有事物构成的集合。
空集：不包含任何元素的集合。
集合的性质：
(1)自反性，A  A；
(2)完备性：  A；
(3)传递性：A  B, B  C  A  C
 定义 2 . 设有集合 A , B , 若 x  A 必有 x  B , 则称 A
是 B 的子集 , 或称 B 包含记作 A  B .
A,
若 且 则称 A 与 B 相 记作 A  B .
等,
例如 , , ,
显然有下列关系 :

 定义下列运算 :

并集 A  B  x 或  A B

B
交集 A B   x 且  A
A B

差集 A  B  A / B  x 且x  B
A B

补集 A  {x | x  U 且x  A}
例： U  {1, 2,3, 4,5}, A  {1, 2, 4}, B  {2,3,5}

A B  U A  B  {2} A  {3,5}  B

A  B  {1, 4}
交换律 A  B  B  A, A  B  B  A
：
结合律 ( A  B) C  A ( B C )
： ( A  B) C  A ( B C )
分配律 ( A  B ) C  ( A C ) ( B C )
：
( A  B )  C  ( A C )  ( B C )

摩根律 A  B  A  B, A  B  A  B
：
例:

( A  B) ( A  B) 分配律 ( A  A)  B  U  B  B
笛卡尔集

A  B   ( x , y) x  A , yB  B A B

例:
A
{1, 2}  {3, 4}  {(1, 3), (1, 4), (2, 3), (2, 4)}
例：设A  {x | 0  x  2}, B  { y | 0  y  1}，则
A  B  {( x, y ) | 0  x  2, 0  y  1}, 表示平面直角坐标系
中的矩形区域。
二、实数集
实数与数轴上的点事一一对应的，因此把实数与其对应点
不加区分。

 x x0
绝对值：|x|   是一个非负数。
 x x  0
性质：
( 1) | x | x2
(2) |  x | x
(3)  | x | x | x |
常用不等式：
(1) | x | a ( a  0)   a  x  a
(2) | x | b (b  0)  x  b 或 x  b
(3) | x  y || x |  | y |
(4) | x  y || x |  | y |
x | x|
(5) | xy || x |  | y |, | | ( y  0)
y | y|
无限区间
点的  邻
域

( )
a  a a 
去心  邻域

其中 , a 称为邻域中心 ,  称为邻域半径
.
左  邻域 : 右  邻域 :
 | x  2 | 0.5, 是以2为中心，
例： 0.5为半径的邻域，也称为2 的0. 5邻域，
也就是开区间( 1. 5, 2. 5) .

例：解不等式 | x 2  3 x  2 | 2
  x 2  3 x  2  2
解：等价于求解不等式组  2
 x  3x  2  2
 x 2  3x  0
即 2 ，分别解这两个不等式得x  0或x  3，
 x  3x  0
及  1  x  4.
故原不等式的解为{x | 1  x  0或3  x  4}
函数关系与分段函数
一、函数关系

二 、分段函数
数学：研究的对象是空间形式和数量关系，
因此，关系是数学研究的一个重要方面，也是数学
中一个重要的基本概念。
由 X 到 Y 的一种关系，
就是给出了 X 中元素到 Y 中元素
的一种对应规则。 实际上，关系是笛卡集 X×Y 的一个
子集；或者说关系与笛卡尔集的子集是等价的，即
给定一个由 X 到 Y 的关系就得到 X×Y 的一个子集，而给
定一个 X×Y 的子集就定义了一个由 X 到 Y 的一个关系。

在微积分课程中主要研究函数关系。
定义 . 设数集D  R 是一个非空实数集，设有一个对应法则
f, 使得每一个 x ∈ D, 都有一个确定的实数 y 与 x 对应
则称 f 是定义在 D 上的一个函数关系，

记为 定义域
y  f ( x) , x  D
因变量 自变量
y
y
Z( f )= f ( D ) 称为值域
函数图形 :
C   ( x , y ) y  f (x ) , x  D  a x b x
( D  [a, b] )
 D  f (D)
 xD
f y  f ( D)   y y  f ( x), x  D 
( 定义域 ) ( 对应法则 )
(值
域)
• 定义域 使表达式及实际问题都有意义的自变量
集合 .
• 对应法则的表示方法 : 解析法 、图象法 、列表法
例如 , 反正弦主值
定义域 值域

又如 , 绝对值函数
定义域
值 域
例：y  arcsin(2  x ), y   x  1
2 2
定义域为空集。
x y 不符合函数定义。
2
x
y  与y  x, y  x 与y  ( x ) 是不相同的函数。
2 2

x
两个函数相同要求：定义域相同，对应法则相同( 从而值域必相同) 。
自然定义域：指有唯一确定实数值的因变量与之对应的自变量的全体数值
所构成的集合。
例如：使对应法则有意义的实数全体，分式分母不为0，偶次根式下非负，
对数真数大于0，等等。

x 1 1
例：求 y  arcsin 5  的定义域。
25  x 2

x 1
|
解： | 1且25  x  0  D  [4,5).
2

5
显函数：对应法则是因变量关于自变量的一个显式
表达式。

隐函数：对应法则是用一个方程 F(x,y)=0 表示的。

例. x  y  1  0不能确定出一个函数关系。
2 2
分段函数：对于不同的自变量，对应规则不能用统一

的表达式表达，而要按照定义域不同的子集分段表达。
  x, x0
y | x | 
 x , x  0


 1  x2 | x | 1
y 2
 x 1
 1 | x | 2
符号函数 y
当 x>0 1
当 x=0 o x
当 x<0 1

取整函数
当
y

 2 1o 1 2 3 4 x
  x2, 0 x2
y  f ( x)   2 f ( x  1)
x , 2  x  4 求

( x  1)  2 0  x  1  2
解 : f ( x  1)  
 ( x  1) 2
2  x 1  4
x 1 , 0  x  3

( x  1) ,
2
3  x 1  5
  2 x , 0  x 1
y  f ( x)  
1  x , x  1
求 f ( 12 ) 及 f ( 1t ) , 并写出定义域及值域 .

解 : f ( 12 )  2 1
2
 2
1
1 , 0  t  1
t t  0时
f (t ) 
1
函数无定义
2
, t 1
t
定义域 D  (0 ,  )
值 f ( D )  (0 ,   )
域
建立函数关系与
函数的性质
一、如何建立函数关系

二 、函数的性质
实际问题 →理想化模型 →建立函数关系

( 确定函数关系式和定义域 )

定义域要与实际问题相符 .
(二 ) 函数的性质

对任意 x  D, 且有  x  D,
若 则称 f (x) 为偶函 y
数则称; f (x) 为奇函
若
数. x o x x
说明 : 若 f (x) 在 x = 0 有定 则当
义 ,
f (x) 为奇函数时 , 必有 f (0)  0. y x
x e
例如 , e
e x  e x y  ch x
y  f ( x)  偶函数
2
记
 ch x 双曲余弦 o x
 y
x
x
e e x e x e
y  f ( x)  奇函数 y  sh x
2
记 o x
 sh x 双曲正弦

偶函数关于 y 轴对称，奇函数关于原点对称。
对任意x  D, 存在T  0, 且 x  T  D, 若

则称 f (x)为周期函数 ,称 T 为周期
( 一般指最小正周期 ).
y

2  o  2 x
|sinx| 周期为  max{sinωx,0} 周期为
例 . 设 f(x) 以 T (T>0) 为周期，则 f(ax) 的周期
为 T/a.
例 .sin x  T  2 sin  x  T  2

注 : 周期函数不一定有最小正周期 .

例如 , 常值函数 f ( x)  C
1, x 为有理数
狄利克雷函数
(Dirichlet) 0 , x 为无理数
 设函数 y  f ( x) , x  D , 且有区间 I  D .

(3) 单调性

对任意 x1 , x2  I , x1  x2 时 ,

若 f ( x1 )  f ( x2 ) , 称 f (x) 为 I 上
单调增函数 ; 的
y
若 f ( x1 )  f ( x2 ) , 称 f (x) 为 I 上的
单调减函
数 . x1 x2 x
例 . 函数 y = 2x2+1 的单调区间为：在 (-∞,0] 单调
减少，在 (0,+ ∞) 单调增加 .
(4) 有界性
对任意x  (a, b) , 存在M  0, 使 f ( x)  M , 称 f (x)
在 (a, b) 内有界，
若 (a, b) 是定义域则称 f(x) 为有界函
数.
若不存在这样的 M ，则称 f (x) 在 (a, b) 内
无界 .
 y  sin x在( - , +) 内有界，且| s i nx|  1;
1 1
y  在(0,1)内无界，而在[1, )上有界，且 | | 1.
x x

1
例. 证明y  是有界函数.
1 x 2

1 1
因为y  定义域为(, ), 且 | y || | 1
1 x 2
1 x 2
反函数、复合函数、
初等函数
一、反函数

二 、复合函数

三、初等函数
 (1) 反函数的概念及性质
若函数 为单射 , 则存在逆映射

1
称此映射 f 为 f 的反函数 .
习惯上 , y  f ( x) , x  D 的反函数记成
y  f 1 ( x) , x  f ( D)
性质 :
1) y ＝ f (x) 单调递 ( 减 )其反函数
增且也单调递增
(减)
.
 2) 函数 与其反函数 y

的图形关于直线 yx
Q (b, a )
y  f (x)
对称 .
o x
例
如 ,
指数函数 y  e x , x  ( ,   )
互为反函数 ,
对数函数
它们都单调递增 , 其图形关于直线 对称 .
 设
y  f (u ), u  D1 ①
且 g ( D)  D1 ②
则
称为由① , ② 确定的复合函数 ,u 称为中间变量 .
注意 : 构成复合函数的条件 g ( D)  D 1不可少 .
例如 , y  arcsin u , 可定义复合
函数

2
但函数 y  arcsin u , u  2  x 不能构成复合函数 .
 两个以上函数也可构成复合函数 . 例如 ,
y u, u0
u  cot v , v  k (k  0,  1,  2 ,)
x
v  , x  (,  )
2
可定义复合函数 :

nZ

x  x
k   k  时 , cot  0
2 2 2
(1) 基本初等函数
幂函数 ( 包括常值函数 )
、
指数函数、对数函数、 三角函数、 反三角函数
(2) 初等函数

由常数及基本初等函数 经过有限次四则运算和复合步

骤所构成 ,并可用一个式子表示的函数 称为初等函数

, .

否则称为非初等函数 ( 或超越函数 ).

例如 ,
 x, x0
y 可表为 y  x 2 , 故为初等函数 .
x, x0

注：微积分主要研究初等函数 .
符号函数 y
当 x>0 1
当 x=0 o x
当 x<0 1

取整函数
当
y

 2 1o 1 2 3 4 x
 1. 设 且 时 其中
a, b, c 为常数 , 且 证明 为奇函数 .

证 : 令t  1x , 则 x  1t , a f ( t )  b f (t )  ct
1

由
a f ( 1x )  b f ( x)  c x
消去 f ( 1x ), 得

为奇函数 .
 y  f ( x) , x  ( ,  ) 的图形与 x  a ,
x  b (a  b) 均对称 , 求证 y  f (x) 是周期函数 .
证 : 由 f (x) 的对称性知
f (a  x)  f (a  x), f (b  x)  f (b  x)
于是 f (x)  f  a  ( x  a)
 f ( 2a  x )

故 f (x)是周期函数 , 周期为