109 年 國立臺南大學資訊工程學系碩士班《離散數學與線性代數》
第 1 題10 分
Let . Prove that .
登入後即可作答並保存紀錄。
核心觀念
本題旨在考驗離散數學中**數學歸納法(Mathematical Induction)的嚴謹證明技巧,同時亦可透過等差級數求和公式(Arithmetic Progression Sum)**進行代數驗算。
-
數學歸納法原理(Mathematical Induction):
設 為關於自然數 的命題。若滿足以下兩個條件:- 基礎步驟(Basis Step):證明 為真。
- 歸納步驟(Inductive Step):假設對任意正整數 , 為真(稱為歸納假設 Inductive Hypothesis),並由此推導出 亦為真。
則由數學歸納法原理可知,對所有 , 均為真。
-
等差級數求和公式(Arithmetic Progression Sum):
首項為 ,末項為 ,項數為 的等差級數總和公式為:
解題方法
在研究所考試中,面對題目要求「Let . Prove that ...」,最標準且可獲得滿分的證明方式為數學歸納法。
法一:數學歸納法(標準證明)
設命題 為:
-
基礎步驟(Basis Step):
當 時:- 左式(LHS)
- 右式(RHS)
因為 ,故 成立。
-
歸納假設(Inductive Hypothesis):
假設當 (其中 )時,命題 成立,即:
-
歸納步驟(Inductive Step):
當 時,目標為證明 亦成立,即證明:
由左式開始推導:
第 2 題15 分
Let be the relation on the set of real numbers such that if and only if is an integer. Prove that an equivalence relation.
登入後即可作答並保存紀錄。
核心觀念
本題考查離散數學中**關係(Relation)與等價關係(Equivalence Relation)**的定義與證明方法。
-
關係的定義:
設 為定義在實數集 上的二元關係。對任意 ,(其中 表示整數集)。 -
等價關係(Equivalence Relation)的判定條件:
一個定義在集合 上的關係 ,必須同時滿足以下三個性質才稱為等價關係:- 自反性(Reflexivity):對所有 , 均成立。
- 對稱性(Symmetry):對所有 ,若 ,則 成立。
- 遞移性(Transitivity):對所有 ,若 且 ,則 成立。
解題方法
要證明 為等價關係,必須依序證明自反性、對稱性與遞移性三個條件皆成立:
-
證明自反性(Reflexivity):
- 對於任意實數 ,計算 。
- 因為 ( 為整數),即 為整數。
- 根據關係 的定義,得 成立。
- 故關係 滿足自反性。
-
證明對稱性(Symmetry):
- 對於任意實數 ,假設 成立。
- 根據定義,存在某一整數 使得 。
- 計算 。
- 因為 ,其加法反元素 亦為整數(即 )。
- 由 ,根據定義可得 成立。
- 故關係 滿足對稱性。
-
證明遞移性(Transitivity):
- 對於任意實數 ,假設 且
第 3 題10 分
Draw the Hasse diagram for the partial ordering on the power set where .
登入後即可作答並保存紀錄。
核心觀念
本題考查「冪集上的包含關係」與 Hasse diagram 的繪製。
給定集合
其冪集為
偏序關係定義為
因此,若 是 的子集合,就將 放在 的下方。
Hasse diagram 只保留「覆蓋關係」:若 ,且不存在集合 使得
則稱 覆蓋 ,兩者之間畫一條線。對冪集而言,覆蓋關係正好是「上方集合比下方集合多一個元素」。
解題方法
依照集合中元素個數分層:
- 第 層:
- 第 層:
- 第 層:
- 第 層:
各層之間的覆蓋關係如下:
因此 Hasse diagram 為三層 Boolean lattice:
第 4 題15 分
The Jacobsthal numbers are defined by the recursion with initial conditions and . Prove that for every nonnegative integer , . Here, denotes the nearest integer to , rounding up if is a half-integer. For example, , and .
登入後即可作答並保存紀錄。
核心觀念
- 齊次線性遞迴關係式(Homogeneous Linear Recurrence Relation):
對於二階常係數齊次線性遞迴式 ,其特徵方程式為 。若特徵根為相異實根 ,則數列通項可表示為 。 - Jacobsthal 數列(Jacobsthal Numbers):
由遞迴關係 所定義之經典離散數列,廣泛應用於組合計數與資訊科學。 - 四捨五入函數與距離判定(Rounding Function & Distance Analysis):
根據題目定義, 表示最接近 的整數。若某一整數 與 之間的距離滿足 ,則 必然為最接近 的唯一整數,即 。
解題方法
本題推導分為兩個主要階段:
階段一:求解 Jacobsthal 數列的通項公式(Closed-form Formula)
階段二:證明該通項公式滿足四捨五入函數之定義
階段一:求解通項公式
給定遞迴關係式:
-
求特徵方程式與特徵根:
設 ,代入遞迴式得特徵方程式:
解得特徵根為 ,。 -
建立通式與代入初始條件:
數列通項可表示為:
代入題目給定之初始條件 與 :
-
求解待定係數 :
將上述兩式相加可得:
將 代回第一式:
-
化簡通項公式:
對於所有非負整數 ,Jacobsthal 數列之通項公式為:
(代入 驗算:,符合遞迴倒推 )。
階段二:證明
將通項公式移項變形,可得:
依據 的奇偶性進行討論:
-
當 為非負偶數()時:
此時 與整數 的距離為:
因為 ,代表整數 為距離 最近的整數。
故 。 -
當 為正奇數()時:
第 5 題10 分
If and are matrices and and , compute the following determinants.
(a)
(b) , where represents the transpose of matrix .
登入後即可作答並保存紀錄。
核心觀念
本題旨在考驗 方陣之行列式(Determinant)運算性質。設 為 階矩陣, 為純量,則行列式滿足以下基本定理與公式:
- 純量乘積之行列式:(注意階數 ,本題中矩陣為 ,故 )。
- 矩陣相乘之行列式:。
- 矩陣次方之行列式:( 為整數)。
- 逆矩陣(反矩陣)之行列式:(其中 )。
- 轉置矩陣之行列式:。
解題方法
本題已知 皆為 階矩陣(即階數 ),且已知其行列式分別為 與 。
(a) 計算
-
提純量:因為矩陣階數 ,將純量 提至行列式外部需平方:
-
拆解積與次方:利用行列式之乘法性質與次方向量拆解:
-
代入已知數值:
(b) 計算
-
利用逆矩陣行列式公式:
-
計算內部行列式 :
- 提純量 (矩陣階數 ):
- 拆解乘積與轉置:
- 代入數值:
- 提純量 (矩陣階數 ):
-
求倒數:
第 6 題10 分
In each part, use the information in the table to determine the number of the solutions of the linear system . That is, will the system have a single, many, or no solutions?
| (a) | (b) | (c) | (d) | (e) | |
|---|---|---|---|---|---|
| Size of A | 4×4 | 3×3 | 4×3 | 5×4 | 5×8 |
| Rank(A) | 4 | 3 | 2 | 4 | 5 |
| Rank[Ab] | 4 | 2 | 2 | 5 | 5 |
登入後即可作答並保存紀錄。
核心觀念
本題考查線性方程組 的解之存在性與唯一性判定,其核心定理為克羅內克-卡佩里定理(Rouché–Capelli Theorem,亦稱增廣矩陣秩定理)。
假設 為 矩陣(代表 個方程式、 個未知數), 為大小 的增廣矩陣(Augmented Matrix),則線性系統 的解數判定原則如下:
- 無解(No solutions / Inconsistent):
此時常數向量 不屬於係數矩陣 的行空間(Column Space),方程式組彼此矛盾。 - 有解(Consistent):
此時常數向量 位於 的行空間內。有解情況下可依自由變數個數 進一步分類:- 唯一解(Single solution):當 (秩等於未知數個數)時,自由變數個數為 。
- 無窮多解(Many solutions):當 (秩小於未知數個數)時,自由變數個數為 。
此外,由子空間維度定理可知,增廣矩陣 是在矩陣 後方加入一列向量 ,故必定滿足以下基本不等式關係:
任何滿足 的數據皆違反矩陣秩的基本性質。
解題方法
對表中每一小題,按以下步驟進行系統化判定:
- 找出未知數個數 (即矩陣 之大小 中的行數 )。
- 比較 與 的大小:
- 若 無解(No solutions)。
- 若 :
- 若 唯一解(Single solution)。
- 若 無窮多解(Many solutions)。
選項分析
(a) 小題
- 已知條件: 之大小為 (即 ),,。
- 推導分析:
- ,系統一致(有解)。
- 秩 等於未知數個數 ,自由變數個數為 。
- 結論:系統有唯一解(Single solution)。
(b) 小題
- 已知條件: 之大小為 (即 ),,。
- 推導分析:
- 依矩陣秩之性質, 的行空間包含於 的行空間中,恆有 。
第 7 題10 分
Let . Compute .
登入後即可作答並保存紀錄。
核心觀念
- 反矩陣(Inverse Matrix)之存在性:
對任意 的實數方陣 ,其反矩陣 存在的充要條件為行列式 (即 為非奇異矩陣 / 可逆矩陣)。 - 高斯-喬登消去法(Gauss-Jordan Elimination):
將矩陣 與同階單位矩陣 組成增廣矩陣 ,利用基本列運算(Elementary Row Operations)將左半部的 化為單位矩陣 ,此時右半部即轉變為反矩陣 ,即:
- 對稱矩陣性質:
若方陣 為對稱矩陣(),則其反矩陣 亦必定為對稱矩陣()。
解題方法
採用高斯-喬登消去法進行推導:
步驟一:建立增廣矩陣
步驟二:執行基本列運算化為列簡梯形矩陣(RREF)
-
消去第三列第一行元素(列運算 ):
-
消去第三列第二行元素(列運算 ):
-
將第三列主元倍率化為 (列運算 ):
-
向上消去第三行的其餘元素:
- 第一列執行
- 第二列執行
第 8 題10 分
A linear transformation is defined as where vector and matrix . Determine the kernel of the transformation .
登入後即可作答並保存紀錄。
核心觀念
- 線性轉換的核空間 (Kernel of Linear Transformation):設 為一線性轉換,則 的核空間(核子)定義為所有經由 轉換後會被映至零向量的向量集合:
- 矩陣轉換與零空間 (Null Space):當線性轉換定義為 時, 即為矩陣 的零空間 ,相當於齊次線性方程組 的全體解集合。
- 高斯消去法與列簡約梯形矩陣 (Reduced Row Echelon Form, RREF):透過基本列運算將矩陣 化簡為 RREF,找出樞紐變數與自由變數 (Free variables),進而表示出齊次方程組的參數式通解與核空間之生成基底。
解題方法
求線性轉換 的核空間 ,即求齊次線性方程組 的所有解:
對係數矩陣 進行高斯消去法(列運算):
-
將第 1 列的 倍加至第 3 列():
-
將第 2 列的 倍加至第 3 列():
-
將第 2 列乘以 ():
-
將第 2 列的 倍加至第 1 列(),化簡為列簡約梯形矩陣 (RREF):
寫回對應的齊次線性方程組:
樞紐變數為 ,自由變數為 。令 (其中 ),可得:
寫成向量形式:
第 9 題10 分
Show that is a basis for .
登入後即可作答並保存紀錄。
核心觀念
- 向量空間的基底(Basis)定義:
若集合 為向量空間 的基底,則必須同時滿足以下兩個條件:- 線性獨立(Linearly Independent):向量方程 只有唯一零解 。
- 線性生成(Spanning):,即 中的任意向量皆可表示為 中向量的線性組合。
- 基底定理(Basis Theorem):
已知 維向量空間 (本題 ,維度 ),若集合 恰好包含 個向量,則下列敘述等價:- 為 的基底。
- 在 中線性獨立。
- 能生成 。
因此,給定 個三維向量,只需證明這 個向量線性獨立,即可直接確定其構成 的基底。
- 行列式與線性獨立判定(Determinant Criterion):
以這 個向量作為列向量(或行向量)所構成的 方陣 ,若其行列式 ,則該向量集線性獨立,且可生成 。
解題方法
本題欲證明 為 的基底。提供以下兩種規範的推導證明方式:
方法一:矩陣行列式法(最精準且簡捷)
- 檢視向量數量與空間維度:
向量空間 的維度 ,集合 包含 個向量。 - 構造矩陣並求行列式:
將 中的向量作為矩陣的列向量構造 矩陣 :
沿第一列進行降階展開求其行列式 :
- 結論推導:
由於 ,矩陣 為可逆矩陣(階數 )。
這代表 中的 個向量在 中線性獨立。根據基底定理,維度為 的空間中 個線性獨立的向量必構成該空間的基底,故 為 的基底。
方法二:依定義逐步驗證法(線性獨立與線性生成)
- 驗證線性獨立(Linear Independence):
設純量 滿足線性組合:
寫成線性方程組: