普林斯顿微积分读本——第一章 函数、图像和直线(读书笔记)

函数

函数是将一个对象转化为另一个对象的规则。起始对象称为输入，来自成为定义域的集合。返回对象称为输出，来自称为上域的集合。
一个函数必须给每一个有效的输入制定唯一的输出。
值域是所有可能的输出所组成的集合。
值域实际上是上域的一个子集。上域是可能输出的集合，而值域是实际输出的集合。

区间表示法

[a，b]是指从a到b端点间的所有实数，包括a和b,即a<=x<=b.像这种形式表示的区间叫闭区间
(a，b)指介于a和b之间但不包括a和b的所有实数的集合，即a

求定义域

三种常见的情况：
1. 分数的分母不能是零
2. 不能取一个负数的平方根(或四次根，六次根，等等)
3. 不能取一个负数或零的对数

（8，13]{2}，表示大于8并小于等于13并且不等于2的所有实数，反斜杠()表示“不包括”。

垂线检验——用于检验一个图像是否是函数的图像

如果你有某个图像并想知道它是否是函数的图像，你就看看是否任何的垂线和图像相交多余一次。如果多于一次，就说明它不是函数的图像；反之，它就是函数的图像。

反函数

给定一个函数f,在f的值域中选择y。在理想状况下，仅有一个x值满足f(x)=y。如果上述情况对于值域中的每一个y来说都成立，那么就可以定义一个新的函数，它将逆转变换，从输出y出发，这个新的函数发现一个且仅有一个输出x满足f(x)=y。这个新的函数称为f的反函数，并写作f−1。

使用数学语言对上述情形的总结：
1. 从一个函数f出发，使得对于在f值域中的任意y，都只有唯一的x值满足f(x)=y。也就是说，不同的输入对应不同的输出。
2. f−1的定义域和f的值域相同。
3. f−1的值域和f的定义域相同。
4. f−1(y)的值域就是满足f(x)=y的x。所以，如果f(x)=y,那么f−1(y)=x。
变换f−1就像是f的撤销按钮。

水平线检验——检验函数是否有反函数

如果每一条水平线和一个函数的图像相交至多一次，那么这个函数就有一个反函数。如果多于一次，这个函数就没有反函数。

求反函数

实际上，求解反函数经常是不可能的。
函数与他的反函数的图像是与y=x直线成反射。

反函数的反函数

如果f有反函数，那么对于在f定义域中的所有x，f−1(f(x))=x。

• 对于f值域中的所有y，都有f(f−1(y))=y;但是
• f−1(f(x))可能不等于x;事实上，f−1(f(x))=x仅当x在限制的定义域中才成立。

函数的复合

对于函数f(x)=cos(x2),我们令g(x)=x2,h(x)=cos(x),那么f(x)=h(g(x))，也可表示为f=h∘g,这里的圈是复合符号，表示“与……的复合”，即f是g与h的复合。

将函数f和g(x)=x−a(a是常数)进行复合，得到h(x)=f(x−a)。需要注意的是新函数y=h(x)和函数y=f(x)的图像是一样的，只不过y=h(x)的函数图像向右平移了a个单位。

奇函数和偶函数

如果对于f定义域里的所有x有f(−x)=f(x),则f是偶函数。
如果对于f定义域里的所有x有f(−x)=−f(x),则f是奇函数。
f(x)=0是即奇又偶函数，这种函数只有这一个。
一个函数可能是奇函数，也可能是偶函数，也可能非奇非偶。

偶函数的图像关于y轴具有镜面对称性。
奇函数的图像关于原点有180° 的点对称性。

两奇函数之积为偶函数，两偶函数之积仍为偶函数，奇函数和偶函数之积为奇函数。

线性函数的图像

形如f(x)=mx+b的函数叫线性函数。它们的图像是直线，直线的斜率是m。
点斜式：如果已知直线通过点(x0,y0),斜率为m,则它的方程为y−y0=m(x−x0)。
求斜率公式：如果一条直线通过点(x1,y1)和(x2,y2),则它的斜率等于y2−y1x2−x1。

常见函数及其图像

多项式

形如：p(x)=anxn+aa−1xa−1+⋯+a2x2+a1x+a0 的式子叫多项式，其中an为xn的系数，最大的幂指数n(该项系数不能为零)叫做多项式的次数。

多项式的图像左右两端的走势倒是容易判断，这是由最高次数的项的系数决定的，该系数叫做首项系数。

次数为2的多项式，叫二次函数，通常写为 p(x)=ax2+bx+c.
通常我们用希腊字母Δ来表示判别式Δ=b2−4ac。它共有三种可能：如果Δ>0，有两个不同的解；如果Δ=0，只有一个解；如果Δ<0，在实数范围内无解。解为：

−b±b2−4ac−−−−−−−√2a

注意该表达式根号下为判别式。
(ax+b)2=a2x2+2ab+b2

有理函数

形如p(x)q(x)，其中p和q为多项式的函数，叫做有理函数。

指数函数和对数函数

y=bx(b>1)。
当0<b<1时，y=(1b)x与y=b−x函数相等。

绝对值函数

|x−y|是数轴上x和y两点间的距离。