分析一台大数学系齐震宇教授.PDFVIP

分析一臺大數學系齊震宇教授 l 課程概要： 本課程可視為【微積分⼀、⼆】 (數微)的延續；同時，在過程中亦 將使⽤數微的各種內容，建議有興趣的朋友先參考數微的課程網⾴： .tw/ntu-ocw/ 在該網⾴中有列⼀些相關資源的連結，請多加利⽤。 【分析】課程概述 在數學中，「分析」是「所有關於數量的研究」的同義詞。那麼， 這裡說的「數量」是什麼呢？粗略地說，數量指的是「定義在空間 上的函數」。這時⾃然得問：「空間是什麼？函數⼜是什麼呢？」 雖然這些辭彙我們在中學 (或甚⾄⼩學？)便聽過，在⽇常⽣活中亦 不乏使⽤的機會，在數學中它們卻常有更多的樣貌。 若不算中⼩學裡學習有關數量的常識，微積分⼤概是許多⼈了解分 析的起點，在那裡，我們密集地接觸了求總和 (級數、⾯積、體積、 通量等)與求變化率 (導數、速度、加速度、密度、曲率等)的觀念， 以及它們之間的種種關聯。在微積分的基礎學習階段，所謂的「空 間」⼤多指的是 n 維歐⽒空間(例如⼤家熟悉的 xyz 實數坐標空間) 及其中某些特殊形態的⼦集合，如曲線、曲⾯等等。「函數」則是 以這些集合為定義域的實數值或是向量值函數。在【分析】中，我 們將談論更廣義的空間與函數觀念。以下略舉幾個重點來介紹。 (1) ⼀般拓樸學(general topology)初步 ─ 拓樸空間 (topological space)與連續函數/映射 在微積分的課程中，我們已經提到了距離空間 (metric space)的觀 念，距離結構⼀⽅⾯定義了哪些⼦集是「開」的，另⼀⽅⾯則定義 了函數/映射的極限與連續性。最終，我們發現，函數的連續性表⾯ 上雖然是利⽤距離結構定義的，但實際上只要知道哪些⼦集是開集 便決定了。在【分析】這⾨課裡，我們會介紹拓樸空間，它們是這 樣的⼀個集合：其中的⼀些⼦集被適當地直接規定為開集。⼀旦開 集被指定了，函數的連續性便能被定義。(也就是繞過了距離結構的 觀念。)在距離空間中討論過的許多觀念 (如開集、閉集、邊界、極 限點、緊緻性、連續映射)及它們的性質都可以在拓樸空間這個新的 架構下重現。 距離空間的概念對⼀般⼈來說是較為直觀的，因此初學者很容易產 ⽣「為什麼要引進拓樸空間這種抽象玩意兒」這樣的疑問。其實， 拓樸空間⼀個表⾯上的好處是，許多論證在這個新架構下變得更單 純，以前種種透過距離⽐較進⾏的論證被代之以集合論式的論證； 更重要的是，我們可以討論的東⻄不再限於歐⽒空間中的物件，⽽ 且在處理「將若干空間黏貼成⼀個空間」這件事情上變得更單純、 更有系統。這在未來將對進⼀步理解各種函數空間與幾何學中的空 間(如流形(manifold) 、多樣體(variety))時有很⼤的幫助。 (2) 測度論(measure theory) ─ 可測空間(measurable space) 、 可測映射/函數與測度 求導(微分)與求積分是微積分的主旋律。可是，原先的積分操作只 能對連續性較強的函數施⾏；此外，即使⼀列可積分的函數有極限， 只有在較強的假設下，這個極限函數的積分才會等於原本函數列各 項積分的極限。此外，應⽤廣泛的微積分基本定理僅在函數是連續 可微分的情況被證明為真。這樣的處境在⼗九世紀末許多數學家的 努⼒之下，終於在進⼊⼆⼗世紀之際由勒⾙格(Lebesgue)發展成 了今⽇被稱為測度論的理論的⾻幹。 在定義⼀個函數的黎曼積分時，我們需要將其定義域切割成⼩⽅塊， 並且利⽤它們的體積來計算黎曼和，然後取這個和在⽅塊尺⼨趨於 零時的極限。勒⾙格的根本想法很單純：不要直接切割定義域，改 成將函數值範圍切割案成⼩範圍，再找出定義域中對應的部分(它們 常常不是⽅塊的模樣) ，接者拿這每個部分的體積(如果有定義)來形 成⼀個類似的和，然後求極限。要這麼做，這些形狀不定的部分必 須要有體積的觀念，「在怎麼樣的⼦集上能系統地定義性質良好的 體積」便成了測度論的起點。 我們將在【分析】這⾨課裡，介紹測度論的⼀些基本概念。在這個 新理論架構下，積分操作能對更⼀般的函數施⾏，同時在很弱的假 設下，積分與求函數列極限有很好的交換性。當積分理論有了這樣 的⾰新，微分理論也相應地得到系統的發展，例如我們能