本文的閱讀等級:中級
歐幾里得空間 是有序數組 (稱為點或向量) 形成的集合,其中 為實數。在歐氏幾何中,譬如平面幾何與空間幾何,我們可以計算兩點之間的距離、多個向量的線性組合 (向量加法與純量乘法)、向量的長度,以及兩個向量之間的夾角。數學家將這些概念予以抽象化,並用公設化方式定義出不同的數學結構,稱為空間。在數學中,空間一詞並不單獨存在,我們可以稱 是一個集合,但不講 是一個空間。粗淺地說,空間是一個賦予某種數學結構的集合,該數學結構決定空間的名稱,例如線性代數讀者熟悉的向量空間。本文概述歐氏空間 的一些數學結構,背後的目的是將有限維空間延伸至無限維空間,其中最重要的一個特例是希爾伯特 (Hilbert) 空間。
度量空間
度量空間 (賦距空間,metric space) 是一個集合 (一般是非空集合),並賦予一距離函數,稱為度量 (度規,metric)。具體而言,度量空間是一個二元組 ,其中 為集合,度量 為非負函數,滿足
(M1) (非負性)
(M2) (不可區分者的同一性)
(M3) (對稱性)
(M4) (三角不等式)
公理 (M4)是歐幾里得幾何中三角不等式的抽象公式化,這是一個非常重要的定義性質。度量空間的四個公理並不獨立,(M1) 可由其他三個公理推得:
。
給定集合 ,度量 有許多合法的定義。例如,考慮 的兩點 和 ,歐氏距離
或曼哈頓距離 (Manhattan distance)
皆為集合 上的度量 (請讀者自行驗證 和 滿足上述公理)。因此,即便 和 有相同的底層集 (underlying set) ,兩者是不同的度量空間。事實上,給定一個非空集合 ,存在無限多個度量空間。譬如,若 是定義於 的一個度量,則 ,,也是在 上的度量。
度量空間的核心概念在於賦予集合的元素之間距離或鄰近性,稱之為拓撲結構 (度量空間是一個拓撲空間)。分析學中映射的連續性與序列的收斂性可以放在度量空間上討論。令 為一個從度量空間 至 的映射。我們說 在點 是連續的,若對於每一 ,存在一個 使得 蘊含 。映射 的連續性由兩個度量空間 和 共同決定。如果 在每一 都是連續的,則稱 是一個連續映射。在度量空間 ,我們說 是一個收斂序列,如果有一點 ,對於每一 ,存在一正整數 ,使得 蘊含 。換一個說法,若 收斂至 ,則 是收斂序列。點 稱為序列 的極限 (limit)。請注意,一個收斂序列的極限是唯一的,記為 或 。假設 且 ,則
,
故 。表面上,連續與收斂是不同的概念,但兩者其實有密切的關係。下面是等價的陳述:
- 映射 在點 是連續的;
- 對於每一收斂序列 滿足 ,。
接著介紹一個重要的拓撲學概念,叫做完備性 (completeness)。考慮度量空間 ,其中 , 是標準度量,。明顯地,序列 被 所包含。然而, 不是一個收斂序列,因為極限 不屬於 。這個現象引領出完備的概念。在度量空間 ,我們稱 為柯西序列 (Cauchy sequence),若對於每一 ,存在正整數 使得 蘊含 。換句話說, 當 。每一個收斂序列都是柯西序列:若 ,則
。
上例中, 是一個柯西序列,但不是於 的收斂序列。這個問題發生的原因在於底層集 裡面有一個「洞」,即點 。如果將底層集擴充為 ,則每一柯西序列都是收斂序列。針對這個情況,若於一度量空間 的每一柯西序列都存在極限 (也就是收斂序列),我們稱 是一個完備 (complete) 度量空間。
向量空間
向量空間 (vector space),或稱線性空間 (linear space),是一種代數結構,核心概念在於線性組合 (合併向量加法與純量乘法)。我們稱 是一個佈於體 (域,field) 的向量空間,若 與 具備向量加法 和純量乘法 ,並滿足下列公理:
(V1) (交換律)
(V2) (結合律)
(V3) 存在唯一的 使得
(V4) 存在唯一的 使得
(V5) (結合律)
(V6)
(V7) (分配律)
(V8) (分配律)
若 ,則 稱為實向量空間;若 ,則 稱為複向量空間。在線性代數中,歐氏空間 是最常見的一個向量空間,其中的元素 構造一個 維實向量 。對比連續映射在度量空間扮演重要的角色,線性映射 (變換) 則是向量空間中最重要的運算機制。設 和 為佈於相同數系的向量空間,我們稱 為一個線性映射,若任意 和純量 滿足
線性映射出現在許多科學與工程領域,這是我們對向量空間如此重視的原因。
賦範向量空間
定義於度量空間的連續映射與定義於向量空間的線性映射可以合成為一個連續線性映射,具體的作法是將距離與長度引進向量空間,這個概念稱為範數 (norm)。對於一個佈於體 的向量空間 ,實函數 稱為範數,其中 ,若下列性質成立:
(N1) , (非負性)
(N2) , 是任一純量 (均勻性)
(N3) (三角不等式)
一個賦範向量空間 (normed vector space) 是二元組 ,其中 是一個向量空間, 是定義於 的一個範數。賦範向量空間 是一個度量空間:給定任意 ,
是定義於 的一個度量。(N1) 表明 ,且 等價於 ,故滿足 (M1) 與 (M2)。設 ,由 (N2) 可得 ,滿足 (M3)。最後,由 (N3) 可得
,
此即 (M4) 的三角不等式。
如果一個賦範向量空間是完備度量空間,則稱之為巴拿赫 (Banach) 空間 (即完備賦範向量空間)。舉例來說,若 ,定義向量空間 的一個範數,稱為 ─範數,如下 (見“向量範數”):
,
其中 ,且當 ,
。
對於 , 是一個巴拿赫空間。如欲將有限維空間 推廣至無限維空間,我們定義 為包含所有的序列 的集合,並滿足
,
其中 。對於 ,─範數為
。
我們可以證明 是一個向量空間。因為 是所有實序列的一個子空間,只要證明若 且 ,則 且 。使用 Minkowski 不等式 (見“向量範數”),令 ,
,
以及
。
在不造成混淆的前提下,我們經常以 取代二元組 。當 , 包含有界序列,範數為
,
其中 是最小上界 (supremum)。對於 , 是一個巴拿赫空間。
內積空間
我們已經將歐氏幾何中兩點之間的距離、向量的線性組合,以及向量的長度等概念抽象化,最後剩下兩向量之間的夾角,與此相關的概念是內積 (inner product) 和正交 (orthogonality)。令 為複向量空間。內積是一個映射 ,記為 ,其中 ,並滿足下列公理 (見“內積的定義”):
(I1) , (非負性)
(I2) (可加性)
(I3) (均勻性)
(I4) (共軛對稱性)
內積空間 (inner product space) 是一個二元組 ,其中 是向量空間, 是定義於 的內積。若 ,我們說向量 和 是正交的。正交是內積空間中最重要的一個概念,正交使得內積空間擁有完善的幾何性質,例如正交投影。內積空間 是一個賦範向量空間。我們可以證明
是一個範數。不難證明 滿足 (N1) 和 (N2)。下面證明 (N3) 三角不等式成立。寫出
使用 Schwarz 不等式 (見“Schwarz 不等式”),可得
。
如果一內積空間是完備度量空間,則稱之為希爾伯特空間 (即完備內積空間)。因此,希爾伯特空間是定義了內積的巴拿赫空間。歐氏空間 與空間 都是希爾伯特空間。在歐氏空間 ,向量 和 的內積定義如下:
。
在 (實) 空間 ,向量 (序列) 和 的內積為
。
據此,我們可以將空間 視為無限維歐氏空間,前提是每一 滿足 (見“從幾何向量空間到函數空間”)。
最後我用一張圖呈現歐氏空間 的數學結構階層關係,X空間 Y空間表示X空間蘊含Y空間,各空間的核心概念總結於下:
- 度量空間:度量 (距離)
- 向量空間:線性組合
- 賦範向量空間:範數 (長度)
- 巴拿赫空間:範數與完備性
- 內積空間:內積 (角度)
- 希爾伯特空間:內積與完備性
老師您好: 最近剛開始接觸數學上各式各樣的空間,感謝您的這篇網誌的詳細解釋。我有兩個問題想請教您,先謝謝您的回答。
1. 請問定義這些特殊結構(metric, norm, dot product)的目的為何? 他們的實用性在哪裡?
以賦範向量空間為例,我的理解是在這個空間的元素(vector)都要滿足(V1)-(V8),然後對每個元素能夠計算其長度(norm)。所以其實就是原本向量空間多了長度的概念。但是我不清楚為這樣有什麼特別的好處?
2. 想要請教如何理解空間中”連續”的概念。我查了維基百科,但是還是不是很明白。裡面提到在拓樸空間可以定義連續的概念,而賦範向量空間同時是拓樸空間和向量空間。請問要怎麼理解賦範向量空間中的連續的概念? 能否想像是在集合中的某些元素距離非常近呢?
謝謝!
正巧我還在寫賦範向量空間的介紹,近期內會貼上來,這裡先簡單回覆:我們想將有限維向量空間(線性代數)推廣至無限維向量空間。但一般的無限維向量空間太大,我們所能處理的無限維向量空間叫Hilbert 空間(應用最廣的一種),下文最末一段粗略地提到為什麼要度量範數:
連續與收斂有關(如上文),在無限維向量空間(或分析學)中收斂是一個很重要的概念,欲證明存在一個向量具有某些性質,我們常建立一個適當的向量序列收斂至一極限,而此極限可以被證明滿足該性質。
針對你的提問寫了賦範向量空間的介紹,請參閱下文:
請問一下,就我所知好像是指純集合,應該不能稱為歐基里德空間?
另請問歐基里德空間的真正定義是什麼呢?
https://en.m.wikipedia.org/wiki/Euclidean_space
請參閱維基百科解釋
謝謝回答,我有查過維基的解釋,但還是不甚清楚,所以才來這邊詢問。
是說上定義了inner product $latex $,就可以把稱為歐基里德空間嗎?還是不一定要在,只要所有的inner product space都算是歐基里德空間?
謝謝回答,我有查過維基的解釋,但還是不甚清楚,所以才來這邊詢問。
是說上定義了inner product: ,就可以把(, )稱為歐基里德空間嗎?那這樣要把distance, angle的定義都一併定義出來,才能算是歐基里德空間嗎?如果只單純註明說是(, )?
另外是否不一定要在,只要所有的inner product space都算是歐基里德空間?
這個wiki裡有Euclidean structure這個字,可是這個字好像很少人有用,因為我拿去google,貌似沒找到什麼資料
內積定義的符號(大於小於)我打不出來
請參考下文
http://www.euclideanspace.com/maths/geometry/space/euclidean/
Pingback: 歐幾里得空間的數學結構 | 不分享空間
老師我想請問一下對於巴拿赫空間、完備賦範向量空間的認知是否可以為如下:在賦範向量空間(V,norm)中,對於定義出的p norm存在1<=p<=inf,就可以說此賦範向量空間是完備的,即為巴拿赫空間(主要是p norm的定義範圍有關係嗎?因為內文是用p norm來舉例)
但是在度量空間中的完備性概念,是說若每一個柯西序列都是收斂序列、存在著極限,即可以說此度量空間是完備的。度量空間的完備性應該是和賦範向量空間中的完備性指的是同一個東西,不知道要怎麼跟上面提到的p norm觀念來做結合?
而對於賦範向量空間是否完備,將其向量空間從有限維空間推廣至無限維空間,並沒有關係(?),因為在內文中介紹賦範向量空間提到巴拿赫空間時,是以x={x1,x2,…,xn}來舉例
Click to access ch13.pdf
請參考pp15, Thm13-55
謝謝老師,這一章裡面寫得很清楚。不過有一個比較基本的問題想請問一下老師,應該不會跟我上一個人的提問重複到
就是在歐氏空間數學結構圖中可以知道:最上方的R^n是歐式空間,蘊含著希伯爾特空間和巴拿赫空間…等等。但書中寫到說巴拿赫空間是(vector space R^n with lp norm)的二元組,R^n就變成指的是n維實向量空間,是屬於向量空間了。那這樣子跟歐氏空間R^n的概念是不是會有衝突?
我用R^n表示歐氏空間,又用R^n表示實向量空間,確實會造成一些混淆。不過你應該可以從上下文判斷兩者之間的差異。
OK,謝謝老師的回答。因為學生不是數學本科系出生,很多基礎觀念不是很確定;目前準備攻讀機器人領域和控制理論相關的博班,正在自修重新打造線性代數的觀念。才發現有這麼好的一個地方有這麼多和線性代數相關的資源,而且老師您每天也都會回覆學生的問題,能夠在這裡學習、發問並解開心中的疑惑真的非常幸運!
我也不是數學本科出身。數學其實很簡單,只是我們還沒學會。
老師您好!剛剛拜讀完這篇,覺得獲益良多,但有個細節我不太理解想請教您
我理解到內積空間亦為某種度量空間,定義了角度的度量方法,回頭看度量空間公理M2,若度量為0則引出x=y(不可區分者的同一性),但在內積方法裡則表示二向量是正交的,並非同一個向量,不曉得我的思考裡哪裡出了問題? 先謝謝老師了!
定義 ,其中 。若 ,則 ,即 。
要如何說明Rn is a Hilbert space with an inner product?