庞加莱半平面模型和黎曼流形

快捷方式: 差异，相似，杰卡德相似系数，参考。

庞加莱半平面模型和黎曼流形之间的区别

庞加莱半平面模型 vs. 黎曼流形

在非欧几里得几何中，庞加莱半平面模型（Poincaré half-plane model）是赋有庞加莱度量的上半平面，这是二维双曲几何的一个模型。 它以昂利·庞加莱命名，但最初是贝尔特拉米（Eugenio Beltrami）发现的，他用这个模型与克莱因模型以及庞加莱圆盘模型（属于黎曼）证明了双曲几何与欧几里得几何的相容性等价（equiconsistent）。圆盘模型与半平面模型在共形映射下是等价的。. 黎曼流形（Riemannian manifold）是一個微分流形，其中每點p的切空間都定義了點積，而且其數值隨p平滑地改變。它容許我們定義弧線長度、角度、面積、體積、曲率、函數梯度及向量域的散度。 每個Rn的平滑子流形可以导出黎曼度量：把Rn的點積都限制於切空間內。實際上，根据纳什嵌入定理，所有黎曼流形都可以這樣产生。 我們可以定義黎曼流形為和Rn的平滑子流形是等距同构的度量空間，等距是指其内蕴度量（intrinsic metric）和上述从Rn导出的度量是相同的。这對建立黎曼幾何是很有用的。 黎曼流形可以定义为平滑流形，其中给出了一个切丛的正定二次形的光滑截面。它可產生度量空間： 如果γ: → M是黎曼流形M中一段連續可微分的弧線，我們可以定義它的長度L（γ）為 （注意：γ'（t）是切空間M在γ（t）點的元素；||·||是切空間的內積所得出的範數。） 使用这个长度的定义，每个连通的黎曼流形M很自然的成为一个度量空間（甚至是長度度量空間）：在x與y兩點之間的距離d（x, y）定義為： 虽然黎曼流形通常是弯曲的，“直線”的概念依然存在：那就是測地線。 在黎曼流形中，測地線完备的概念，和拓撲完备及度量完备是等价的：每个完备性都可以推出其他的完备性，这就是Hopf-Rinow定理的内容。.

等距同构

在数学中，「等距同构」或稱「保距映射」（isometry），是指在度量空间之中保持距离不变的同构关系。几何学中的对应概念是全等变换。 等距同构经常用于将一个空间嵌入到另一空间的构造中。例如，测度空间M的完备化即涉及从M到M' 的等距同构，这里M' 是M上柯西序列所构成的空间关于“距离为零”的等价关系的商集。这样，原空间M就等距同构到完备的度量空间的一个稠密子空间并且通常用这一空间来指代原空间M。 其它的嵌入构造表明每一度量空间都等距同构到某一賦範向量空間的一个闭子集以及每一完备度量空间都等距同构到某一巴拿赫空间的一个闭子集。 一个希尔伯特空间上的等距、满射的线性算子被称为酉算子。.

庞加莱半平面模型和等距同构 · 等距同构和黎曼流形 · 查看更多 »