跳轉到內容

微積分/函式

來自華夏公益教科書,開放的書籍,開放的世界
← 代數 微積分 三角學 →
函式

函式無處不在,從簡單的距離和時間之間的相關性到複雜的熱浪。本章重點介紹函式的基礎知識:定義、基本概念和其他定義方面。它包含大量的概念,需要大量的閱讀和理解。然而,這僅僅是對未來章節的回顧和介紹。

函式的定義

理解函式的一種簡單但模糊的方法是,記住函式就像一個處理器。它接受輸入以改變輸出。形式上,從集合 X 到集合 Y 的函式 f 由一組有序對 (x, y) 定義,使得 x ∈ X,y ∈ Y,並且 X 中的每個元素都是 G 中恰好一個有序對的第一個分量。換句話說,對於 X 中的每個 x,都存在唯一的元素 y,使得有序對 (x, y) 屬於定義函式 f 的對集。集合 G 稱為函式的圖形。嚴格來說,它可以被識別為函式,但這隱藏了通常對函式作為過程的解釋。因此,在常用用法中,函式通常與其圖形區分開來。

每當一個量唯一地決定另一個量的值時,我們都有一個函式。也就是說,集合唯一地決定集合。您可以將函式視為一種機器。您向機器提供原材料,機器將原材料轉變為成品。

日常生活中函式的例子

想象一下從橋上扔下一顆球。在每個時刻,球都位於地面的某一高度。球的高度是時間的函式。物理學家需要找出這個函式的公式。這種函式被稱為實值函式,因為“成品”是一個數字(更準確地說是實數)。

日常生活中函式的例子(多變數微積分的預覽)

想象一下一場風暴。在不同的位置,風可能以不同的方向和強度吹著。風的強度和方向可以看作位置的函式。這是一個有兩個實變數的函式(位置由兩個值描述 - 一個和一個),它會產生一個向量(它可以用來表示方向和強度)。這些函式在多變數微積分中進行研究(通常在一年的大學微積分課程之後學習)。這是一個兩個實變數的向量值函式。

在學習多變數微積分之前,我們將研究實值函式。將實值函式視為輸入-輸出機器;您向函式提供輸入,它會給您一個數字(更準確地說是實數)作為輸出。例如,平方函式接受輸入 4 並輸出值 16。同一個平方函式接受輸入 -1 並輸出值 1。

這是一種理解函式的直觀方式:一個將輸入透過變換轉換為輸出的機器。

函式的使用非常廣泛,因此它們有特殊的符號。這種符號有點模糊,所以要熟悉它才能理解方程式或公式的含義。

雖然沒有嚴格的函式命名規則,但使用字母 來表示函式,而變數 用於表示自變數。 用於表示因變數和自變數。

在討論或處理函式 時,不僅要知道函式本身,還要知道它的自變數 。因此,在提到函式 時,通常不會寫成 ,而是寫成 。該函式現在被稱為“”。函式名稱緊鄰著自變數(括號內)。這對於指示函式在自變數特定值時的值非常有用。例如,如果

,

並且如果我們想要使用 等於 時的值,那麼我們將把 2 代入上面定義中的 ,並在等式兩邊寫成

這種表示法比省略自變數,直接寫成 '' 更具資訊量,但也會產生歧義,因為 旁邊的括號可能會被誤解為乘法,例如 。為了避免混淆,請遵循以下步驟

  1. 透過將函式 等於某個表示式來定義它。
  2. 寫一個類似於下面的句子:“在 時,函式 是...”。
  3. 計算函式的值。

描述

[edit | edit source]

人們可以用多種方式來描述函式。在上面的例子中,給出了一個文字描述(球在地球上方的高度作為時間的函式)。以下列出了一些描述函式的方法。前三種方法是最常見的。

  1. 給函式一個名字(比如 )並給出函式的公式。例如, 描述了一個函式。我們把輸入稱為函式的引數(或自變數),把輸出稱為函式在給定引數時的
  2. 用一個方程和兩個變數來描述函式。一個變數代表函式的輸入,另一個代表函式的輸出。代表輸入的變數稱為自變數。代表輸出的變數稱為因變數。例如, 描述了一個函式。因變數單獨出現在等號的左側。
  3. 對函式的文字描述。

當給函式命名時(如上面的第 1 號),函式的名字通常是一個字母(比如 )。一些名字是多個字母的函式(如正弦函式

將值代入函式

如果我們寫 ,那麼我們知道

  • 函式 的函式。
  • 要計算某個數在函式中的值,將 替換為那個數。
  • 替換為那個數,在函式的右側會得到該輸入對應的輸出。
  • 用英語解釋 的定義,就是:“給定一個數, 將返回該數的三倍再加 2”。

我們怎麼知道函式 在 3 處的取值呢?我們會這樣想:

我們會寫成:

.

函式 在 3 處的取值為 11。

注意, 表示當 取值為 3 時,因變數的取值。因此,我們看到,當我們輸入數字 3 時,函式的輸出為 11。人們通常將上述工作概括為:“函式 在 3 處的取值為 11”,或簡寫為“ 的 3 等於 11”。

函式的基本概念

[edit | edit source]

函式的正式定義指出,函式實際上是一種對映,它將一個稱為函式定義域的集合 的元素與另一個稱為函式值域的集合 的元素關聯起來。對於我們從函式定義域中選擇的每個值,在函式的值域中恰好對應一個元素。函式的定義告訴我們值域中的哪個元素與我們從定義域中選取的元素對應。下面給出一個例子。

設函式 對所有 成立。當 取值為多少時,

在數學中,注意到重複現象非常重要。如果有什麼東西看起來是重複的,請把它記在你的腦海中。

這裡,請注意 。因為 等於兩個不同的值,因此等號另一側與 相等的兩個值也應該相等。這種性質被稱為傳遞性質,因此可以使下面的等式成立。

接下來,簡化 — 讓你的生活更輕鬆,而不是更困難。在這種情況下,由於 包含 作為公因式,並且兩個項都是分數相加,將其放到一個共同的分母上並簡化。類似地,由於 是一個帶分數,.




將兩邊乘以 係數的倒數,即 ,來進行乘法。


或者 .

使 值為 ..

從經典的角度來看,從定義域中選取的元素被視為輸入函式的東西,而對應於值域中的元素則被視為輸出。由於我們“選取”定義域中的元素,其在值域中的對應元素是我們想要找到的,因此我們可以控制選擇哪個元素,因此該元素也被稱為“自變數”。值域中對映的元素超出了我們的控制範圍,並且由函式“對映到”。因此,該元素也被稱為“因變數”,因為它取決於我們選擇哪個自變數。由於從經典的觀點更好地理解了函式的基本概念,因此我們將在以後使用它。但是,務必始終牢記函式的正確定義。

基本型別的變換

[edit | edit source]

簡單來說,對於函式 ,所有可能的 值構成定義域,所有 (x-y 平面上為 )構成值域。更正式地說,函式 是將某個元素 (稱為定義域)對映到一個元素 (稱為值域),使得 。下面的圖片應該有助於解釋函式的現代定義

The image demonstrates a mapping of some element a (the circle) in A, the domain, to exactly one element b in B, the range.
是函式的定義域,而 是值域。從集合 的這種變換就是一個一對一函式的示例。
  1. 如果一個元素 來自函式 的定義域 ,會導致函式的取值範圍 中只有一個元素 ,則該函式被稱為 一對一 函式。根據定義,因為只有一個元素 由函式 從某個元素 對映, 意味著只存在一個來自對映的元素 。因此,存在一對一函式,因為它符合函式的定義。這個定義類似於 圖 1
  2. 如果來自函式 的定義域 的一些元素 對映到函式的取值範圍 中的同一個元素 ,則該函式被稱為 多對一 函式。由於一些元素 必須對映到同一個元素 必須符合函式的定義。因此,存在多對一函式。
  3. 如果函式域中恰好有一個元素 對映到函式 的域 中的某些元素 ,則該函式被認為是 **一對多** 函式,且對映到函式 的值域 。如果某個元素 對映到多個不同的元素 ,則 不是函式,因為存在多個不同的元素 。由於多對一函式不符合函式的定義,因此不存在一對多函式。

現代的定義足夠描述函式,它可以幫助我們判斷某種新型別的“函式”是否確實是函式。現在每個情況都在上面定義了,現在你可以證明函式是否屬於這些情況之一。以下是一個示例問題

**已知**:,其中 為常數,且
**證明**:函式 是一對一函式。
注意函式 中唯一變化的元素是 。根據定義證明函式是一對一的可能是不可能的,因為雖然域集合 中的兩個隨機元素可能不是多對一的,但可能存在一些元素 使函式成為多對一函式。為了解決這種可能性,我們必須證明不可能出現這樣的結果。

假設存在兩個不同的元素 會導致 。這將使函式成為多對一函式。因此,

從等式兩邊減去

從等式兩邊減去

從等式左邊兩項中提取公因子

在等式兩邊乘以

在等式兩邊加上

注意到。然而,這不可能,因為 是不同的。因此,。沒有兩個不同的輸入可以產生相同的輸出。因此,該函式必須是一對一的。

基本概念

[edit | edit source]
定義域是集合 中可以對映到集合 中元素的所有元素。值域是集合 中與定義域相對映的元素。陪域是集合 中的所有元素。

從函式的現代定義中,還有幾個重要的概念需要學習,這些概念來自於理解域、值域和陪域之間的區別。我們已經討論過其中一些,但瞭解集合為這三個概念帶來了新的定義。因此,讓我們基於這些新的概念來討論它們。令是集合。如果我們將這兩個集合組合起來,它將被定義為笛卡爾積。這個積的子集就是函式。下面的定義可能有點令人困惑。解釋這些定義的最佳方式是畫一張圖。在這些定義的右邊是與之對應的影像。

函式的定義域、值域和陪域

定義域被定義為一個集合,其中所有元素都至少對映到一個唯一的

集合中的元素是函式在笛卡爾積中對映的值域,其中所有元素都對映到某個元素

陪域是集合,其中並不一定所有元素都被某個對映到。

請注意,陪域不像其他兩個概念那樣重要。

例如,取

該函式的定義域是區間[-1, 1]

由於平方根的存在,平方根內的內容必須嚴格不小於 0。

因此,定義域是

該函式的值域是區間[0, 1]

相應地,值域將是

其他型別的變換

[edit | edit source]

還有一個最後的方面需要定義。我們已經對什麼使對映成為函式有了很好的瞭解(例如,它不能是一對多)。但是,為了討論以下三個定義,您經常會聽到它們:單射滿射雙射

左邊的函式對映是單射函式的一個例子,因為它是一對一的。但是,它不是滿射,因為值域和陪域不相同。
  • 如果函式是一對一的,則該函式是單射的。
  • 如果一個函式是滿射,則它就是“到”的。也就是說,對映 具有 作為函式的值域,其中函式的陪域和值域相同。
  • 如果一個函式既是滿射又是單射,那麼它就是雙射

同樣地,上述定義經常令人感到困惑。我們會在專案符號的右側提供另一張圖片,並提供另一個例子。讓我們分析函式

給定,其中 為常數且
證明:函式 是非滿射且非單射。
請注意,函式 中唯一變化的元素是 。讓我們檢查一下這個函式的條件。

它是否單射?令 ,並解出 。首先,用 除。

然後對 開平方。根據定義,,所以

但是,請注意我們在上述操作中所學到的知識。由於求解 ,我們發現 有兩個解。然而,這導致 有兩個不同的值。這意味著對於一些單獨的 ,它給出了 ,存在兩個不同的輸入導致相同的值。由於當 時,,根據定義,它不是單射。

它是否滿射?作為我們對輸入瞭解的自然結果,讓我們確定函式的值域。畢竟,判斷一個東西是否滿射的唯一方法是檢視值域是否適用於所有實數。確定這一點的一個好方法是找出域的模式。假設我們為域輸入一個負數:。這個看似簡單的練習告訴我們,負數會給我們值域中的非負數。這是一個重要的資訊!對於 ,該函式總是得到 作為我們的值域。對於集合 ,我們在這個集合中有一些元素沒有來自集合 的對映。因此, 是集合 的陪域。因此,此函式不是滿射!
這是一個表示式無法透過垂直線測試的例子。

方程測試

[edit | edit source]

垂直線測試

[edit | edit source]

垂直線測試是一種系統性的測試方法,用於確定包含 的方程是否可以作為函式(其中 是自變數, 是因變數)。只需繪製方程的影像,然後繪製一條穿過 軸上每個點的垂直線。如果任何垂直線都觸碰影像上的多個點,則該方程不是函式;如果該線始終只觸碰影像上的一個點,則該方程是一個函式。

右側的圓形不是函式,因為當時,垂直線與圖形上的兩點相交。

水平線測試和代數一對一測試

[編輯 | 編輯原始碼]

類似地,水平線測試雖然不能測試一個方程是否為函式,但可以測試一個函式是否為單射(一對一)。如果任何水平線在任何時候與圖形上的多個點相交,那麼該函式就不是一對一的;如果該線始終最多與圖形上的一個點相交,那麼該函式就是一對一的。

代數一對一測試是一種非幾何的方法,用於判斷一個函式是否為一對一的。基本概念是

假設存在一個函式。如果

,並且,那麼

函式是一對一的。

以下是一個示例:證明是單射的。

由於該符號是函式符號,所以該方程是一個函式。因此,我們只需要證明它是單射的。設是函式的輸入,並且。因此,


所以,結果是,證明了該函式是單射的。

另一個例子是證明 不是單射的。

使用相同的方法,可以發現,這不是。所以,該函式不是單射的。

以下是函式定義的直接結果

  1. 根據定義,對於每個“輸入”,函式僅返回一個與該輸入相對應的“輸出”。雖然同一個輸出可能對應多個輸入,但一個輸入不能對應多個輸出。這在圖形上表現為垂直線測試:平行於因變數軸(通常是垂直的)繪製的直線只會與函式的圖形相交一次。但是,平行於自變數軸(通常是水平的)繪製的直線可以與函式的圖形相交任意多次。等價地,這具有代數(或公式)解釋。我們總是可以說如果,那麼,但如果我們只知道,那麼我們不能確定
  2. 每個函式都有一個值集,即函式的定義域,它可以接受作為輸入。也許這個集合是所有正實數;也許它是集合 {pork, mutton, beef}。這個集合必須在函式定義中隱式/顯式定義。你不能給函式輸入一個不在定義域中的元素,因為函式對於該輸入元素沒有定義。
  3. 每個函式都有一個值集,即函式的值域,它可以輸出。這可能是實數集。它可能是正整數集,甚至可能是集合 {0,1}。這個集合也必須在函式定義中隱式/顯式定義。

函式是數學的重要基礎。這種現代解釋是歷史上數學家努力的結果。直到最近,由勒內·笛卡爾在他的幾何(1637)中引入關係的定義。將近一個世紀後,標準符號()首次由萊昂哈德·尤拉在他的無窮分析導論微積分原理中引入。函式一詞也是尤拉時代的新發明,是由戈特弗裡德·威廉·萊布尼茨在 1673 年的一封信中引入的,“用來描述與曲線上的點相關的量,例如座標或曲線的斜率”。最後,函式作為集合間關係的現代定義是 1908 年由戈弗雷·哈羅德·哈代首次引入的,其中兩個變數之間存在關係,使得“無論如何,某些的值至少對應的值”。對於想要了解更多關於函式歷史的人,請訪問函式歷史

重要函式

[編輯 | 編輯原始碼]

下面列出的函式對於微積分至關重要。本節僅作為回顧,並觸及這些函式的表面。如果有關於這些函式的任何問題,請在繼續之前複習相關資料。更多關於繪圖的內容將在第1.4章中解釋。

多項式

[編輯 | 編輯原始碼]

多項式函式是微積分世界中最常見和最方便的函式。它們頻繁出現以及在計算機計算中的應用使它們變得重要。

多項式函式的定義

單個未知數 x 的多項式始終可以寫成(或改寫成)以下形式

為了更簡潔,它也可以用求和的形式寫成

常數

[edit | edit source]
影像上顯示了兩個線性函式。一個是 ,另一個是

時,多項式可以改寫成以下函式

,其中 是一個常數。

該函式的圖形是一條水平線,穿過點

線性

[edit | edit source]

時,多項式可以改寫成

,其中 是常數。

該函式的圖形是一條直線,穿過點 ,該函式的斜率是

這是二次函式的影像。

二次

[edit | edit source]

時,多項式可以改寫成

,其中 是常數。

此函式的影像是一個拋物線,類似於籃球投進籃筐的軌跡。

如果有關於二次公式和其他基本多項式概念的問題,請檢視代數中相應的章節。

三角函式

[編輯 | 編輯原始碼]

三角函式也很重要,因為它可以連線代數和幾何。由於其重要性和難度,三角函式在這裡進行了詳細解釋。

左側的曲線是指數函式,而右側的曲線是對數函式。

指數和對數

[編輯 | 編輯原始碼]

指數函式和對數函式在計算導數時具有獨特的身份,因此現在是回顧這些函式的好時機。

指數函式和對數函式的定義

指數函式定義為

,其中 是一個常數。

而對數函式定義為

,其中 是一個常數。

在這些函式中,會經常看到一個特殊的數字:尤拉常數,也稱為自然對數的底數。記為,它定義為.

符號函式

[編輯 | 編輯原始碼]

符號函式的定義很簡單

函式的性質

[編輯 | 編輯原始碼]

有時,很多函式操作如果沒有一些基本函式性質的幫助,是無法實現的。

定義域和值域

[編輯 | 編輯原始碼]

這個概念在上面已經討論過了。

雖然看起來很容易發現一個函式是遞增還是遞減,但如果沒有繪圖軟體的幫助,我們需要用數學方法來判斷函式是遞增還是遞減,否則我們人類的大腦無法立即理解大量資訊。

假設一個函式 ,其輸入為 ,並且始終滿足 以及

如果對於所有的 ,那麼

上是遞增的。

如果對於所有的 ,那麼

上是遞減的。

示例: 在哪些區間內 是遞增的?

首先,定義域很重要。因為分母不能為 0,所以該函式的定義域為

中,函式的增長趨勢為

因此,

由於

所以,

上是遞減的。

, 因此,

由於

然而, 上的符號無法確定。它只能在 上確定。

因此, 上是遞減的,在 上是遞增的。

,則

由於

所以,

上遞增。

因此,函式遞增的區間為

學習導數後,將會有更多方法來確定函式的增長情況。

奇偶性

[edit | edit source]

奇偶性與對稱性相關。偶函式關於 軸對稱,奇函式關於原點對稱。用數學語言描述為

時,函式為偶函式。當 時,函式為奇函式。

例:證明 是偶函式。

是偶函式

函式運算

[edit | edit source]

函式的加減乘除

[edit | edit source]

對於兩個實值函式,我們可以對它們進行加減乘除、乘方等運算。

例:對無名函式進行加減乘除運算

如果將函式 相加,得到

如果我們從 中減去 ,我們得到 。我們也可以寫成

如果我們把函式 和函式 相乘,我們得到 。我們也可以寫成

如果我們把函式 除以函式 ,我們得到


如果一道數學題要求你將兩個函式 相加,題目可能會用兩種方式表達。

  1. 如果你被告知 ,並詢問關於 的問題,那麼你就是被要求將兩個函式相加。你的答案應該是
  2. 如果告訴你 ,並詢問你關於 的問題,那麼你被要求對兩個函式進行加法運算。 的加法被稱為 。你的答案將是

對於減法、乘法和除法,也可以做出類似的陳述。

示例:對有名稱的函式進行加減乘除運算

並且: 。讓我們進行加減乘除運算。

,


,


,


.

函式的複合

[編輯 | 編輯原始碼]

在我們討論函式複合是什麼之前,讓我們先從一個有趣(且不太複雜)的函式複合應用開始。

示例:掉球

如果我們從一座距離地面 20 米的橋上扔下一個球,那麼球在地球上方的高度是時間的函式。物理學家告訴我們,如果我們以秒為單位測量時間,以米為單位測量距離,那麼高度關於時間的公式是 。假設我們用相機跟蹤球,並且始終希望球位於我們的影像中心。假設我們有 。該角度將取決於球在地面上的高度,而地面上的高度取決於時間。因此,該角度將取決於時間。這可以寫成 。我們將 替換為它等於的值。這就是組合的本質。

函式的組合是另一種組合函式的方式,它不同於加法、減法、乘法或除法。


函式 的值取決於另一個變數 的值;然而,該變數可能等於另一個函式 ,因此它的值取決於第三個變數的值。如果是這種情況,則第一個變數是第三個變數的函式 ;此函式 () 稱為另外兩個函式 () 的 **組合**。

示例:組合兩個函式

以及: 的組合讀作“f 與 g 的組合”或“f(g(x))”。

那麼

.

有時,數學問題會要求你計算 ,實際上他們希望你計算

這裡, 的複合函式,我們寫作 。需要注意的是,複合運算不滿足交換律。

,並且
所以

函式的複合運算非常常見,主要是因為函式本身很常見。例如,平方和正弦都是函式

因此,表示式 是函式的複合運算

(注意,這與 不一樣)。由於正弦函式在 時等於

.

由於平方函式在 時等於

.

變換

[edit | edit source]

變換是函式操作中非常常見的一種型別。它們包括對輸入或輸出乘以、除以、加上或減去常數。乘以常數稱為**伸縮**,加上常數稱為**平移**。以下是一些示例

伸縮
平移
伸縮
平移
水平和垂直平移的示例
水平和垂直伸縮的示例

平移和伸縮可以是水平的,也可以是垂直的。右側顯示了垂直和水平平移的示例。紅色圖形表示函式的“原始”狀態,實線藍色圖形已水平平移(移動),虛線圖形已垂直平移。

伸縮以類似的方式展示。函式

的輸入已翻倍。一種思考方式是,現在輸入的任何變化都會翻倍。如果我在 上加 1,那麼我在 的輸入上加 2,因此它現在變化的速度將是原來的兩倍。因此,這是一個水平伸縮 ,因為到 軸的距離被**縮短了一半**。垂直伸縮,例如

稍微更直接一些。在這種情況下,您將函式的輸出加倍。輸出表示到 軸的距離,因此實際上,您已經使函式的圖形“更高”了。以下是一些基本示例,其中 是任何正數常數

原始圖形 繞原點旋轉
水平平移 個單位 **向左** 水平平移 個單位 **向右**
水平拉伸 垂直拉伸
垂直平移 個單位 **向下** 垂直平移 個單位 **向上**
關於 軸反射 關於 軸反射

反函式

[edit | edit source]

我們稱 的反函式,如果對於所有  

一個函式 具有逆函式當且僅當 是單射的。例如, 的逆函式是 。函式 沒有逆函式,因為它不是單射的。類似地,三角函式的逆函式必須經過變換和限制才能被視為有效的函式。

符號

[edit | edit source]

的逆函式記為 。因此, 被定義為遵循以下規則的函式

要確定給定函式 ,用 代替 ,用 代替 。然後解出 ,前提是它也是一個函式。

示例: 給定 ,求

代入 ,並將 代入 。然後解出

為了檢查你的工作,確認

如果 不是一對一的,那麼,正如我們之前所說,它沒有逆。然後這種方法將失敗。

示例: 給定 ,求

代入 ,並將 代入 。然後解出

由於 有兩種可能性,它不是一個函式。因此 沒有逆函式。當然,我們也可以透過應用水平線測試從圖形中發現這一點。但是,擁有多種解決問題的方法很有用,因為在特定情況下,其中一些方法可能非常困難,而另一些方法可能很容易。例如,我們可能只知道 的代數表示式,而不是圖形。

外部連結

[編輯 | 編輯原始碼]
← 三角函式 微積分 線性函式圖形 →
函式
華夏公益教科書