【角度】
通常我們這裡指的是二維空間的角度,但很多時候它也會被擴展到三維空間中去使用,比如數學中的空間曲線夾角或者曲面夾角(實質上都是二維空間的角度)
定義這個概念之前,我們有必要談一談二維空間(我們不涉及更高維數,而且我們要提醒大家的是,我們下面的討論最多能夠適用到三維空間,四維空間或更高維空間,已經不能憑直觀來想像)
一個二維空間,數學上的抽象定義是空間中每一個容量為0的結構(我們不直接說是點,因為可能導致其他問題,例如點的鄰域的連續性問題,我們不想討論那麼多太複雜的與本部分主題無關的東西),可以用兩個坐標來定位
例如圖中曲面上任意一點可以用經向坐標(通過該點的拋物線上的自然坐標系中的坐標)和緯向坐標(通過該點的圓線上的自然坐標系中的坐標)這兩個坐標來定位
但是我們很容易想到一個問題,經緯向的自然坐標系都是一維坐標系,它們要組成一個二維坐標系,必然要有一套組成規則
如果你想到了這個問題,那麼就表明你觸及到我們問題的核心了:
一個二維結構絕不是一系列一維結構的隨意組合,二維結構之所以不再是一維結構,就是因為它上面存在了新的空間結構規則
所以我們討論二維空間中的位置關係的時候,不僅要討論長度(距離),通常還要討論角度,因為角度是用來描述一維空間結構如何組成二維空間結構的規則用到的概念
物理學中的二維角度定義,與幾何中二維角度定義一致,當兩條曲線相交時,我們取它們交點附近的兩條曲線的儘可能小部分(都要包括交點在內),將所取的兩部分(每條曲線取一部分)近似看作直線,這樣確定了一個非常微小的平面結構,在這個平面結構中去根據根據平直空間結構下定義的角度概念來定義兩條直線之間的夾角
所以最終我們還是要定義平直空間中的兩直線夾角
說到平直空間,很多人認為首先是一維平直空間的概念,即直線的概念,實際上我們並不能孤立定義一條直線,因為直這個概念本身由角度來定義,在我們沒有定義角度前,扯直線的概念就等於是循環定義(角度由直線定義,直線又由角度定義,實際上兩者都是架空的定義)
所以我們首先討論的是面結構(未必是平面,因為你還沒定義角度,平面的平也是靠角度定義的,但是曲面不需要依靠角度來定義,所以說曲面更具有一般性)
我們還要強調的是我們這裡談論的曲面都是光滑曲面,它不僅由光滑曲線構成,而且所有構成它的光滑曲線之間的組織方式也是光滑的(這不是數學語言,數學語言會涉及到各種可導性,還會考慮到那些分形曲線和分型面結構,那對我們來說太複雜,而且和本主題沒多大關係,所以我們用一種不太專業但比較直觀的說法來描述這個問題)
當我們隨意取曲面上任意小的一個部分,這個小曲面內肯定包含了兩條小的相交曲線,它們只有一個交點(如果不止一個,那說明我們取的小曲面還不夠微小,還要更小,直到只剩下一個交點)
在這種條件下,我們要求所取的」小曲面「滿足:
所有通過這兩條小曲線的那個交點的小曲線之間都不再有另外的交點
通過這個共同交點的所有小曲線形成一個曲線族,我們將它們稱為經向曲線族,我們可以將它們共同的交點定義為原點,其經向坐標為0,即所有小曲線上的一維自然坐標系都把這一點作為0坐標點重新規劃坐標系,而且我們知道原點把每一條經向曲線分為兩部分,一部分的坐標沿著曲線正向增大,一部分的坐標沿著曲線負向減小
把一個我們選好的小曲面部分放大後的樣子,紅線和藍線為我們最先選取的那兩條線,黑線是和它們通過同一交點的曲線族(的幾個代表成員)
然後我們以那個交點為中心,畫一個任意的圈(形狀可以不規則,但仍然必須是光滑曲線,既然說它是圈,那就必須是條封閉曲線),並保證它絕對不通過那個交點:
類似地我們還可以畫更多的圈,並且加一條要求:
所有的圈之間都沒有交點
假定我們畫了無數個圈,它們可以稱之為同心圈族,也是一個曲線族,我們把它們稱為緯向曲線族,然後我們給出一個新規定來調整緯向曲線族:
同一條緯向曲線圈與所有經向曲線有且只有一個交點,這一系列交點與經向曲線族的原點(也就是緯向曲線族的共同的中心)之間的長度都相等(請注意這裡用到了前面說的曲線長度的概念)
這樣我們重新做一些規定:
1-----同一條緯向曲線圈上所有的點的緯向坐標(紅)都相等
2-----同一條經向曲線上所有的點的經向坐標(藍)都相等
最後就是這個樣子:
原點的經向坐標是任意的,但緯向坐標是0(確定的)
這個類似我們地球儀上的經緯網路,經緯網路就是用經緯兩個曲線族來規劃球面的二維坐標系,只不過坐標的數值設定和我們這裡不同
【注】別看我圖中畫的緯線圈全是橢圓,實際上可能是不規則的光滑封閉曲線形狀,別忘了我們是在曲面上說事,我們的曲面可能各種凹凸不平,我畫成橢圓只是為了畫著省事
另外,原則上來說,當我們選取的小曲面足夠小時,它已經近似為平面了,但是我們為了讓大家時刻記得我們是在曲面上說事,所以我畫的還是曲面(有些誇張)