高中數學講義 2. 對映與函式
對映
對映(mapping)
是兩個集合之間的對應關係
表示非空集合
到非空集合
的一個對映。
稱為
定義域(domain)
,
稱為目標域(codomain/target),
稱為對應法則(relation)
,有唯一的
與之相對應。
存在性、唯一性、封閉性
(畫Venn圖說明)
集合
稱為
值域(range)
{中。美,英}到{北京,華盛頓,莫斯科,倫敦}按“國家對應的首都”的對映
{-3,-2,-1,1,2,3}到{1,4,9}按“取平方”的對映
單射(injection):
稱為單射,若
滿射(surjection):
稱為滿射,若值域等於目標域(
)
雙射(bijection)
:既是單射又是滿射(一一對應)
畫圖說明單射、滿射、雙射
雙射
:
,有唯一的
使得
與之相對應。 這樣得到的對映
稱為
的
逆對映(inverse mapping)
兩個對映相等,若它們的定義域和對應關係相同
函式的定義及表示
初中對函式的定義:一個變化過程中的2個變數x,y,對x的每個值y都有唯一的值與之對應
當集合為數集(實數的子集)時,對映稱為
函式(function)
函式
,
稱為
自變數(independent variable/argument)
,
稱為
因變數(dependent variable/function)
。 定義域記為
,值域記為
。
求
的定義域,值域。 並判斷是否是單射、滿射、雙射
一個邊長為10的正方形紙裁掉4個小正方形,折成的長方體的體積與裁掉的邊長的函式關係
函式的表示:
解析法(顯式表示)、列表法、影象法
不是所有函式都能畫出影象
Dirichlet函式
分段函式(piecewise function)
在定義域的不同部分函式有不同的對應關係
定義域、值域取各分段的並集
符號函式
絕對值函式
取整函式
隱函式(inplicit function)
:沒有給出明確的對應關係,而是給出一個方程
一般寫成
是圓在第一象限的部分,化成顯函式(explicit~)
注意整個圓不是函式!Why?
含參函式(parametric function)
:沒有給出自變數和因變數的直接對應,而是藉助引數表達
從第一個式子反解出
,代入第二個式子化成顯函式
還是圓的例子
函式的運算
函式的和:函式
在
上的和
對勾函式=正比例函式+反比例函式
畫出
的影象,求定義域和值域
函式的
複合(composition)
:若函式
滿足
,則它們在
上的複合
函式與自身複合
常記為
反函式(inverse function)
:
逆對映
反函式
反解出
求反函式
反函式與原函式的影象關於
對稱
逆對映與原映射覆合得
恆等對映(identity)
寫出以下函式的反函式:
,
,
,
,
函式的基本性質
單調性
增函式(increasing~):
若區間
滿足
,則稱
在區間
上
單調遞增
,
是
上的
增函式
,
是
的
(單調)增區間
函式隨自變數增大而增大
減函式(decreasing~):
若區間
滿足
,則稱
在區間
上
單調遞減
,
是
上的
減函式
,
是
的
(單調)減區間
函式隨自變數增大而減小
求單調區間:定義法、影象法
寫出一次函式、反比例函式、二次函式、對勾函式的單調區間
複合函式的單調性:內外同增、內外同減為增;內增外減、內減外增為減(
同增異減
)
單調區間書寫時只能寫“和”不能寫“並”
奇偶性
奇函式(odd~):
若
,則稱
是奇函式。
奇函式的影象關於原點對稱
若奇函式
在
處有定義,則
偶函式(even~):
若
,則稱
是偶函式。
偶函式的影象關於
軸對稱
證明奇偶性:定義法、影象法
奇函式:正比例函式、反比例函式、對勾函式
偶函式:常函式,絕對值函式
,拋物線
既奇又偶:
非奇非偶:絕大部分函式
定義域相同的兩個函式:
奇+奇=奇;偶+偶=偶;奇×奇=偶;偶×偶=偶;奇×偶=偶
偶函式在關於原點對稱的區間上單調性相同
奇函式在關於原點對稱的區間上單調性相反
週期性:
若
使得
,則稱
是
週期函式(periodic function)
,
稱為
的
週期(period)
若
是
的週期,則按定義,
也是週期
若
的週期裡一個最小的正數,則該數稱為
的
最小正週期(fundamental period)
最小正週期不一定存在!
常函式是週期函式
三角函式是週期函式(後面會講)
最值:
最大值(maximum):
若
使得
,則
稱為
的最大值,記為
最小值(minimum):
若
使得
,則
稱為
的最小值,記為
最值不一定存在!
在講導數的時候會介紹另一個相似的概念——
極值
初中我們學過二次函式的最值
反比例函式沒有最值
介值定理(Intermediate Value Theorem)
:若
在
上連續,則
可以取到 。
與
之間的任意值。
零點存在性定理
:若
在
上連續,且
,則
使得
。
習題
求證Dirichlet函式是週期函式。 它是否有最小正週期?若有則求值,若沒有則說明理由