內容簡介
《拓撲空間》是一部本科生學習拓撲空間的基礎教程。引導讀者很好的學習拓撲中有關幾何的東西什麼是最重要的。《拓撲空間》的內容分為三大部分,綫和麵、矩陣空間和拓撲空間。書中將大量的數學詞匯概念囊括其中,不要求讀者對簡單定理或者集閤知識十分瞭解,從而減少讀者理解上的難度。收斂定理的應用在幫助讀者抓住重點的同時,逐漸接觸並理解拓撲的概念,書中的知識點步步逼近,前九節重在為本科生講述矩陣空間的知識,同時也包括瞭大量的材料,這些將成為研究生學習的教程。
內頁插圖
目錄
Preface
PART Ⅰ THE LINE AND THE PLANE
Chapter 1 What Topology Is About
Topological Equivalence
Continuity and Convergence
A Few Conventions
Extra: Topological Diversions
Exercises
Chapter 2 Axioms for R
Extra: Axiom Systems
Exercises
Chapter 3 Convergent Sequences and Continuity
Subsequences
Uniform Continuity
The Plane
Extra: Bolzano (1781-1848)
Exercises
ChaPter 4 Curves in the Plane
Curves
Homeomorphic Sets
Brouwer's Theorem
Extra: L.E.J. Brouwer (1881-1966)
PART Ⅱ METRI SPACES
Chapter 5 Metrics
Extra: Camille Jordan (1838-1922)
Exercises
Chapter 6 Open and Closed Sets
Subsets of a Metric Space
Collections of Sets
Similar Metrics
Interior and Closure
The Empty Set
Extra: Cantor (1845-1918)
Exercises
Chapter 7 Completeness
Extra: Meager Sets and the Mazur Game
Exercises
Chapter 8 Uniform Convergence
Extra: Spaces of Continuous Functions
Exercises
Chapter 9 Sequential Compactness
Extra: The p-adic Numbers
Exercises
Chapter 10 Convergent Nets
Inadequacy of Sequences
Convergent Nets
-Extra: Knots
Exercises
Chapter 11 Transition to TOpology
Generalized Convergence
Topologies
Extra: The Emergence of the Professional Mathematician
Exercises
PART Ⅲ TOPOLOGICAL SPACES
Chapter 12 Topological Spaces
Extra: Map Coloring
Exercises
Chapter 13 Compactness and the Hausdorff Property
Compact Spaces
Hausdorff Spaces
Extra: Hausdorff and the Measure Problem
Exercises
Chapter 14 Products and Quotients
Product Spaces
Quotient Spaces
Extra: Surfaces
Exercises
Chapter 15 The Hahn-Tietze-Tong-Urysohn Theorems
Urysohn's Lemma
Interpolation and Extension
Extra: Nonstandard Mathematics
Exercises
Chapter 16 Connectedness
Connected Spaces
The Jordan Theorem
Extra: Continuous Deformation of Curves
Exercises
Chapter 17 Tvchonoffs Theorem
Extra: The Axiom of Choice
Exercises
PAler Ⅳ PosTsciuer
Chapter 18 A Smorgasbord for Further Study
Countability Conditions
Separation Conditions
Compactness Conditions
Compactifications
Connectivity Conditions
Extra: Dates from the History of General Topology
Exercises
Chapter 19 Countable Sets
Extra: The Continuum Hypothesis
A Farewell to the Reader
Literature
Index of Symbols
Index of Terms
前言/序言
抽象的邊界與無限的結構:一個未探索的數學領域 本書帶領讀者踏入一個既古老又充滿活力的數學分支——代數幾何的宏偉殿堂。我們不將目光投嚮點集拓撲或度量空間的直觀圖像,而是深入挖掘那些由多項式方程所定義的、超越傳統歐幾裏得幾何範疇的結構。 第一部分:零點的低語——代數與幾何的交匯 本書伊始,我們聚焦於代數簇(Algebraic Varieties)的基礎。代數簇是多項式方程組的零點集閤,它們是連接純粹代數(如環論)與幾何直觀的橋梁。我們將從基礎的仿射空間(Affine Space)——即 $mathbb{A}^n$ 開始,詳細剖析如何用理想(Ideals)來描述這些幾何對象。關鍵在於理解希爾伯特零點定理(Hilbert's Nullstellensatz),它是代數幾何的基石,揭示瞭理想與代數集之間深刻的對偶關係。 我們不會討論任何關於鄰域、開集或連續映射的概念。相反,重點在於如何使用諸如初等對稱多項式、範德濛行列式等代數工具來精確地描述麯綫和麯麵的性質。我們將詳細分析代數簇的維度(Dimension),但這維度是通過多項式環的Krull維度(Krull Dimension)來定義的,而非基於任何拓撲基的局部性質。讀者將看到,一個代數簇的“平滑性”或“奇點”完全可以通過研究其結構環(Structure Ring)上的局部性質——例如局部環的正則性(Regularity)——來判斷。 第二部分:射影的視角與貝祖定理的威力 為瞭更完整地理解幾何結構,我們必須離開仿射空間,進入更廣闊的射影空間(Projective Space),$mathbb{P}^n$。射影空間通過引入“無窮遠綫”或“無窮遠平麵”來“封閉”仿射空間,這使得許多幾何定理的錶述更加優雅且普遍適用。 在這一部分,我們將深入探討射影代數簇,它們由齊次多項式(Homogeneous Polynomials)定義。核心內容之一是對貝祖定理(Bézout's Theorem)的詳盡考察。貝祖定理在射影平麵上給齣瞭兩個代數麯綫在交點個數上的精確計數,但這計數是通過在閤適的代數結構(如域的擴域)上考慮交點,並使用代數中“相交重數”(Intersection Multiplicity)的概念來確定的。我們將花費大量篇幅來建立交點理論的代數基礎,特彆是使用Gröbner基來計算多項式的公共零點,這與拓撲學中的交點不相交。 此外,我們還將引入層論(Sheaf Theory)的代數視角。這裏的層不是用來定義連續函數的,而是用來組織定義在代數簇的開子集上的代數對象(如結構層 $mathcal{O}_X$)的結構。我們分析層上同調(Sheaf Cohomology)的代數計算方法,例如Cech上同調的代數構造,它完全依賴於特定開復形的代數分解,而非任何內在的“形狀”或“連通性”的幾何直覺。 第三部分:更高級的代數結構——簇的形變與模空間 隨著本書的深入,我們將探討更復雜的幾何對象:簇的形變(Deformations of Varieties)。形變理論關注的是如何微小地改變定義一個簇的多項式係數,從而觀察幾何形狀如何變化。 關鍵概念之一是模空間(Moduli Spaces)。模空間是一個空間,它的“點”本身代錶著一族同構的代數簇。例如,我們可能構造一個模空間 $M_{g,n}$,其點參數化所有虧格為 $g$、有 $n$ 個標記點的光滑麯綫。構造這樣的空間主要依賴於Grothendieck的“存在性定理”和“唯一性定理”,這些證明過程涉及對各種理想的精細分類和對環的譜(Spectrum of a Ring)的構造。我們完全從代數和範疇論的角度來定義和理解這些模空間,例如,通過定義它們為錶示函子(Representable Functors)。 我們還將審視奇點理論的代數分類。奇點處的局部行為通過研究局部環的規範性(Normality)和正規化(Regularization)過程來分析。例如,如何通過計算正規化層的局部上同調群來判斷一個奇點是否是“可消除的”(Resolvable)。 第四部分:算術幾何的影子 最後,本書觸及瞭算術幾何的邊緣。我們將代數簇的定義域從復數域 $mathbb{C}$ 擴展到更一般的域,特彆是有限域 $mathbb{F}_q$。此時,代數簇上的點變成瞭具有域結構(Field Structure)的解。 我們將分析代數麯綫上的有理點。這裏的核心工具是黎曼-洛赫定理(Riemann-Roch Theorem)的算術版本,以及對 Zeta 函數(Zeta Functions)的構造。這些函數的性質——例如其歐拉乘積形式和函數的方程——直接來源於代數麯綫上點的計數問題。我們研究的是代數簇上的點集的大小,而不是其在連續空間中的分布或拓撲性質。 全書始終避免使用任何關於距離、開集或連續性的語言。所有的討論都嚴格建立在交換代數、理想理論、環的譜以及多項式方程的零點集之上,旨在展示代數結構如何獨立地、卻又深刻地定義瞭我們所稱的“幾何”。本書為那些渴望掌握超越歐幾裏得直覺、進入抽象結構世界的讀者提供瞭堅實的代數基石。