GoPiGo 小汽車︰格點圖像算術《投影幾何》【二】

靜思『歐式幾何』︰

歐式幾何裡並無『座標系』之概念,而是以『全等』關係︰

Congruence (geometry)

In geometry, two figures or objects are congruent if they have the same shape and size, or if one has the same shape and size as the mirror image of the other.[1]

More formally, two sets of points are called congruent if, and only if, one can be transformed into the other by an isometry, i.e., a combination of rigid motions, namely a translation, a rotation, and a reflection. This means that either object can be repositioned and reflected (but not resized) so as to coincide precisely with the other object. So two distinct plane figures on a piece of paper are congruent if we can cut them out and then match them up completely. Turning the paper over is permitted.

In elementary geometry the word congruent is often used as follows.[2] The word equal is often used in place of congruent for these objects.

  • Two line segments are congruent if they have the same length.
  • Two angles are congruent if they have the same measure.
  • Two circles are congruent if they have the same diameter.

In this sense, two plane figures are congruent implies that their corresponding characteristics are “congruent” or “equal” including not just their corresponding sides and angles, but also their corresponding diagonals, perimeters and areas.

The related concept of similarity applies if the objects differ in size but not in shape.

Congruent_non-congruent_triangles.svg

An example of congruence. The two triangles on the left are congruent, while the third is similar to them. The last triangle is neither similar nor congruent to any of the others. Note that congruence permits alteration of some properties, such as location and orientation, but leaves others unchanged, like distance and angles. The unchanged properties are called invariants.

研究各類圖形具有種種性質之『不變性』。

─── 摘自《光的世界︰派生科學計算六‧中

 

和『座標幾何』︰

若問為什麼平面上的一個一般三角形可以如下圖表示

三角形重心

, 只用著 a \ , b \  , \ c 三個參數?即使在思考過 a 是『底』之『長』, c 是此『底』之『高』, b 是此『高』距與此『底』一端的距離。我們深信這就『確定』了那個三角形。然而若再問︰如果此三角形的三個頂點用更一般的 A \ (x_0, y_0)  、 B \ (x_1,y_1)C \ (x_2,y_2) 來表達 ,如是分明有六個參數。那麼這兩種『表述』當真是一樣的嗎?設想你在桌面上『移動』一個三角形,從此『位置』此『方位』到達彼『位置』彼『方位』,你會認 為這個三角形『改變』了嗎??假使『直覺』以為『不變』,這個三角形就必得有使之『不變』的『因由』,這個『因由』不必『參照』解析幾何的『座標』而確立 。或可說它就是歐式幾何一個三角形的『定義』內涵而已。如此而言,一個『確定』的三角形,可由它的三個『邊長』來『確立』,所以六個參數補之以三個確定之 邊長關係,豈非還是三個參數的耶??

因為這個『歐式幾何』的『留白』,常使人懷疑『解析幾何』簡化『座標系』的『選擇』,到底『圖形』的『自由度』是幾何的了。說難道易,就請讀者思索︰平面上的『 □ 』與『 ○ 』,到底一方一圓需要幾個參數來描述的呢?

─── 摘自《勇闖新世界︰ W!o《卡夫卡村》變形祭︰品味科學‧教具教材‧【專題】 PD‧箱子世界‧留白

 

的『顯著差異』,將可默想『齊次座標』之『旨趣留白』乎?!

 

如果依據伽利略『相對性』原理之視角,那麼物理性質也不該因為『觀察者』或『座標系』之不同而有所改變??因是古典力學就得符合『伽利略變換』矣!!

Galilean transformation

In physics, a Galilean transformation is used to transform between the coordinates of two reference frames which differ only by constant relative motion within the constructs of Newtonian physics. These transformations together with spatial rotations and translations in space and time form the inhomogeneous Galilean group (assumed throughout below). Without the translations in space and time the group is the homogeneous Galilean group. The Galilean group is the group of motions of Galilean relativity action on the four dimensions of space and time, forming the Galilean geometry. This is the passive transformation point of view. The equations below, although apparently obvious, are valid only at speeds much less than the speed of light. In special relativity the Galilean transformations are replaced by Poincaré transformations; conversely, the group contraction in the classical limit c → ∞ of Poincaré transformations yields Galilean transformations.

Galileo formulated these concepts in his description of uniform motion.[1] The topic was motivated by his description of the motion of a ball rolling down a ramp, by which he measured the numerical value for the acceleration of gravity near the surface of the Earth.

300px-Standard_conf

Standard configuration of coordinate systems for Galilean transformations.

 

只是通常各自有『原點』的『座標系』並不方便以『矩陣』來表達『時空』之『等距同構

Isometry

In mathematics, an isometry (or congruence, or congruent transformation) is a distance-preserving injective map between metric spaces.[1]

Introduction

Given a metric space (loosely, a set and a scheme for assigning distances between elements of the set), an isometry is a transformation which maps elements to the same or another metric space such that the distance between the image elements in the new metric space is equal to the distance between the elements in the original metric space. In a two-dimensional or three-dimensional Euclidean space, two geometric figures are congruent if they are related by an isometry;[3] the isometry that relates them is either a rigid motion (translation or rotation), or a composition of a rigid motion and a reflection.

Isometries are often used in constructions where one space is embedded in another space. For instance, the completion of a metric space M involves an isometry from M into M’, a quotient set of the space of Cauchy sequences on M. The original space M is thus isometrically isomorphic to a subspace of a complete metric space, and it is usually identified with this subspace. Other embedding constructions show that every metric space is isometrically isomorphic to a closed subset of some normed vector space and that every complete metric space is isometrically isomorphic to a closed subset of some Banach space.

An isometric surjective linear operator on a Hilbert space is called a unitary operator.

Academ_Reflections_with_parallel_axis_on_wallpaper.svg

A composition of two opposite isometries is a direct isometry. A reflection in a line is an opposite isometry, like R 1 or R 2 on the image. Translation T is a direct isometry: a rigid motion.[2]

的變換性質,因此借著

齊次坐標

數學裡,齊次坐標(homogeneous coordinates),或投影坐標(projective coordinates)是指一個用於投影幾何裡的坐標系統,如同用於歐氏幾何裡的笛卡兒坐標一般。該詞由奧古斯特·費迪南德·莫比烏斯於1827年在其著作《Der barycentrische Calcul》一書內引入[1][2]。齊次坐標可讓包括無窮遠點的點坐標以有限坐標表示。使用齊次坐標的公式通常會比用笛卡兒坐標表示更為簡單,且更為對稱 。齊次坐標有著廣泛的應用,包括電腦圖形及3D電腦視覺。使用齊次坐標可讓電腦進行仿射變換,並通常,其投影變換能簡單地使用矩陣來表示。

如一個點的齊次坐標乘上一個非零純量,則所得之坐標會表示同一個點。因為齊次坐標也用來表示無窮遠點,為此一擴展而需用來標示坐標之數值比投影空間之維度多一。例如,在齊次坐標裡,需要兩個值來表示在投影線上的一點,需要三個值來表示投影平面上的一點。

600px-RationalBezier2D.svg

有理貝茲曲線-定義於齊次坐標內的多項式曲線(藍色),以及於平面上的投影-有理曲線(紅色)

來統整論述也就自然而然的了??!!更別說由於雙眼之視覺現象還得走入『仿射變換』的哩!!??

2D_affine_transformation_matrix.svg