外贸论坛有哪些?,优化设计练习册,干煤棚网架公司,管理系统中的计算机应用文章目录 一、说明二、双曲几何的上半平面模型三、距离问题四、弧长微分五、面积问题 一、说明 庞加莱圆盘模型是表示双曲几何的一种方法#xff0c;对于大多数用途来说它都非常适合几何作图。然而#xff0c;另一种模型#xff0c;称为上半平面模型#xff0c;使一些计算变… 文章目录 一、说明二、双曲几何的上半平面模型三、距离问题四、弧长微分五、面积问题 一、说明 庞加莱圆盘模型是表示双曲几何的一种方法对于大多数用途来说它都非常适合几何作图。然而另一种模型称为上半平面模型使一些计算变得更容易包括三角形面积的计算。
二、双曲几何的上半平面模型 双曲几何的上半平面模型具有空间 U 由所有复数组成 z 这样我 z) 0 , 和转化组 U 包括发送的所有莫比乌斯变换 U 对自己。空间 U 称为上半平面 C。 双曲几何的庞加莱圆盘模型可以通过由两次反演构建的莫比乌斯变换转移到上半平面模型如下所示
围绕圆反转 C 以i为圆心经过 - 1 和 1 如图 5.5.1 。对实轴对称。 注意圆的反转C固定- 1和1并且需要将i映射到无穷大。 由于穿过实轴的反射使这些图像点固定因此两个反演的组合是莫比乌斯变换它将单位圆带到实轴。该图还将圆盘的内部发送到上半平面。进一步注意莫比乌斯变换需要无穷大到-i; 因此由定理3.5.1map可以写成 V ( z ) − i z 1 z − i . . . . . . . . . . . . . . . . . . . . . . ( 5.5.1 ) V(z) \dfrac{-iz 1}{z - i}\text{.} ..................... (5.5.1) V(z)z−i−iz1......................(5.5.1) 这种莫比乌斯变换是将双曲平面的圆盘模型转移到上半平面模型的关键。事实上当在这些模型之间来回切换时本节采用以下约定是很方便的让z表示其中的一个点d ,和w表示上半平面中的一个点U ,如图5.5.2。我们记录连接下面空间的转换。 在 (D,H) 之间移动 和UU。莫比乌斯变换 V 映射D 给你 及其逆 V − 1 V^{-1} V−1 由下式给出 w V ( z ) − i z 1 z − i , 和 z V 1 ( w ) i w 1 w i . . . . . . . . ( 5.5.2 ) wV(z)\frac{−iz1}{z−i }, 和 zV_1(w)\frac{iw1}{wi}........(5.5.2) wV(z)z−i−iz1,和zV1(w)wiiw1........(5.5.2) 上半平面模型的一些特征立即显现出来。自从V是莫比乌斯变换它保留斜线和角度。这意味着圆盘模型中的理想点即无穷远圆上的点 S 1 S_1 S1无穷大, 已移动到实轴并且圆盘模型中的双曲线已变为与实轴成直角相交的斜线。
图-5.5. 2将圆盘映射到上半平面。
三、距离问题 定义两点之间的双曲距离w1,w2在上半平面模型中表示为 d U w 1 , w 2 ) d_Uw1,w2) dUw1,w2),是圆盘模型中它们的原像之间的双曲距离。 认为w1和w2有两点在V其单位圆盘中的原像为z1和z2,分别。然后 d U ( w 1 , w 2 ) d H ( z 1 , z 2 ) l n ( ( z 1 , z 2 ; u , v ) ) . . . . . . . . . . ( 5.5.3 ) d_U(w1,w2)d_H(z1,z2)ln((z1,z2;u,v)).......... (5.5.3) dU(w1,w2)dH(z1,z2)ln((z1,z2;u,v))..........(5.5.3) 在这里u和v是双曲线的理想点z1和z2。但是由于交叉比在莫比乌斯变换下得以保留 d U ( w 1 , w 2 ) l n ( ( w 1 , w 2 ; p , q ) ) . . . . . . . . . . . . ( 5.5.4 ) d_U(w1,w2) ln((w1,w2; p,q))............(5.5.4) dU(w1,w2)ln((w1,w2;p,q))............(5.5.4) 在这里,是上半平面中双曲线的理想点w1和w2。特别是从w1到w2我们正在走向理想点p 。 例子5.5. 1: 虚轴上点之间的距离ri和si。因为r s 0我们计算之间的距离我和我在上半平面模型中。 双曲线通过ri和si是正虚轴有理想点0和无穷大。因此 d U ( r i , s i ) ln ( ( r i , s i ; 0 , ∞ ) ) r i − 0 r i − ∞ ⋅ s i − ∞ s i − 0 ln ( r s ) . \begin{align*} d_U(ri, si) \ln((ri, si; 0, \infty))\\ \dfrac{ri - 0}{ri - \infty}\cdot\dfrac{si-\infty}{si-0}\\ \ln\left(\dfrac{r}{s}\right)\text{.} \end{align*} dU(ri,si)ln((ri,si;0,∞))ri−∞ri−0⋅si−0si−∞ln(sr).
例子5.5.2 任意两点之间的距离。 求任意两点之间的距离 w1 和w2 在 U \mathbb{U} U 中 我们首先在上半平面模型中构建一个映射将这两个点移动到正虚轴。为了构建这张图我们使用庞加莱圆盘模型。 通过改造 V 1 V_1 V1我们发送w1和w2回到 D \mathbb{D} D .我们让 z 1 V 1 ( w 1 ) z_1V_1(w1) z1V1(w1) 和 z 2 V 1 w 2 z_2V_1w_2 z2V1w2。然后让 S ( z ) e i θ z − z 1 1 − z 1 ˉ z S(z)e^{iθ}\frac{z−z1}{1−\bar{z_1}z} S(z)eiθ1−z1ˉzz−z1 是转变 D 、 H \mathbb{D}、\mathcal{H} D、H发送z1到0和θ仔细选择以便 z 2 z_2 z2被发送到正虚轴。实际上z2被发送到ki,在这里 k ∣ S z 2 ) ∣ ∣ S V − 1 w 2 ) ) ∣ k | Sz_2) | | SV^{- 1}w_2) ) | k∣Sz2)∣∣SV−1w2))∣和0 k 1。然后申请V就情况而言0被发送到i,和ki被发送到 1 k 1 − k i \frac{1 k}{1 − k}i 1−k1ki我。因此 V ∘ S ∘ V − 1 V∘ S∘V^{- 1} V∘S∘V−1发送w1到i;和w2 到 1 k 1 − k i \frac{1 k}{1 − k}i 1−k1ki其中通过前面的示例点之间的距离是已知的 d U w 1 , w 2 ) l n ( 1 k ) − l n ( 1 − k ) . . . . . . . . . . . . . ( 5.5.5 ) dUw1,w2) ln( 1 k ) − ln( 1 − k ) .............(5.5.5) dUw1,w2)ln(1k)−ln(1−k).............(5.5.5) 描述k按照w1和w2留给有冒险精神的读者。我们不需要在这里追究这个问题。
四、弧长微分 现在我们再次通过圆盘模型导出上半平面模型的双曲弧长微分。回想一下圆盘模型中的弧长微分是 d s 2 ∣ d z ∣ 1 − ∣ z ∣ 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ( 5.5.6 ) ds \dfrac{2|dz|}{1-|z|^2}\text{.}..............................(5.5.6) ds1−∣z∣22∣dz∣...............................(5.5.6) 自从 z V − 1 ( w ) i w 1 w i z V^{-1}(w) \dfrac{iw1}{wi} zV−1(w)wiiw1 我们可以计算出弧长微分dw。 我们需要对复杂表达式求导这可以像实值表达式一样进行。开始了 d s 2 ∣ d z ∣ 1 − ∣ z ∣ 2 2 ∣ d ( i w 1 w i ) ∣ 1 − ∣ i w 1 w i ∣ 2 2 ∣ i ( w i ) d w − ( i w 1 ) d w ∣ ∣ w i ∣ 2 / [ 1 − ∣ i w 1 ∣ 2 ∣ w i ∣ 2 ] 4 ∣ d w ∣ ∣ w i ∣ 2 − ∣ i w 1 ∣ 2 4 ∣ d w ∣ ( w i ) ( w ‾ − i ) − ( i w 1 ) ( − i w ‾ 1 ) 4 ∣ d w ∣ 2 i ( w ‾ − w ) ∣ d w ∣ I m ( w ) . \begin{align*} ds \dfrac{2|dz|}{1-|z|^2}\\ \dfrac{2|d\bigg(\dfrac{iw1}{wi}\bigg)|}{1-\bigg|\dfrac{iw1}{wi} \bigg|^2} \tag{$z \dfrac{iw1}{wi}$}\\ \dfrac{2|i(wi)dw-(iw1)dw|}{|wi|^2}\bigg/\bigg[1-\dfrac{|iw1|^2}{|wi|^2}\bigg]\tag{chain rule}\\ \dfrac{4|dw|}{|wi|^2-|iw1|^2}\\ \dfrac{4|dw|}{(wi)(\overline{w}-i)-(iw1)(-i\overline{w}1)}\\ \dfrac{4|dw|}{2i(\overline{w}-w)}\\ \dfrac{|dw|}{{ Im}(w)}\text{.} \end{align*} ds1−∣z∣22∣dz∣1− wiiw1 22∣d(wiiw1)∣∣wi∣22∣i(wi)dw−(iw1)dw∣/[1−∣wi∣2∣iw1∣2]∣wi∣2−∣iw1∣24∣dw∣(wi)(w−i)−(iw1)(−iw1)4∣dw∣2i(w−w)4∣dw∣Im(w)∣dw∣.(zwiiw1)(chain rule) 这使我们得出以下定义 定义平滑曲线的长度平滑曲线的长度 r ( t ) r ( t ) r(t)为了 a ≤ t ≤ b a≤t≤b a≤t≤b在上半平面模型中 ( U , U ) , (\mathbb{U},{\cal U})\text{,} (U,U), 表示 L ( r ) , {\cal L}(\boldsymbol{r})\text{,} L(r), 是谁给的 L ( r ) ∫ a b ∣ r ′ ( t ) ∣ Im ( r ( t ) ) d t . . . . . . . . . ( 5.5.7 ) {\cal L}(\boldsymbol{r}) \int_a^b \dfrac{|\boldsymbol{r}^\prime(t)|}{\text{Im}(\boldsymbol{r}(t))}~dt\text{.}........(5.5.7) L(r)∫abIm(r(t))∣r′(t)∣ dt.........(5.5.7)
例子5.5.3曲线的长度。 求水平曲线的长度 r ( t ) t k i r ( t ) t k i r(t)tki设定了 a ≤ t ≤ b a≤t≤b a≤t≤b 注意 r ′ ( t ) 1 r^′( t ) 1 r′(t)1 和 I m ( r ( t ) ) k Im ( r ( t ) ) k Im(r(t))k 。因此 L ( r ) ∫ a b 1 k d t b − a k . . . . . . . . . . . . . . . . . . . ( 5.5.8 ) {\cal L}(\boldsymbol{r}) \int_a^b \dfrac{1}{k}~dt \dfrac{b-a}{k}\text{.}..................(5.5.8) L(r)∫abk1 dtkb−a...................(5.5.8)
五、面积问题 由弧长微分 d s d w Im ( w ) ds \dfrac{dw}{\text{Im}(w)} dsIm(w)dw 面积微分来了
定义区域面积 上半平面模型中 ( U , H (\mathbb{U} ,\mathcal{H} (U,H双曲几何中一个区域的面积R 用笛卡尔坐标描述表示为一个 A R AR AR给的 A R ∬ R 1 1 y 2 d x d y . . . . . . . . . . . . . . . . . . . . . . . . . . . . ( 5.5.9 ) A R ∬_ {R_1}\frac{1}{y^2} dxdy ............................(5.5.9) AR∬R1y21dxdy............................(5.5.9) 例子5.5.4求一个2/3-理想的三角形 的面积。 认为 w ∈ U w ∈ U w∈U位于单位圆上并考虑2/3-理想三角形的区域1w∞就是下图蓝线包围的区域如图所示。 特别地假设内角为w是α ,以便 w e i ( π − α ) w e^{i( π- α )} wei(π−α)在里这0 α π。 这个面积2/3- 理想三角形是这样的面积 A ∫ cos ( π − α ) 1 ∫ 1 − x 2 ∞ 1 y 2 d y d x ∫ cos ( π − α ) 1 1 1 − x 2 d x . \begin{align*} A \int_{\cos(\pi - \alpha)}^1 \int_{\sqrt{1-x^2}}^\infty \dfrac{1}{y^2}~dydx\\ \int_{\cos(\pi - \alpha)}^1 \dfrac{1}{\sqrt{1-x^2}}~dx\text{.} \end{align*} A∫cos(π−α)1∫1−x2 ∞y21 dydx∫cos(π−α)11−x2 1 dx. 用三角函数替换 cos ( θ ) x , \cos(\theta) x\text{,} cos(θ)x,,以便, 1 − x 2 sin ( θ ) \sqrt{1-x^2} \sin(\theta) 1−x2 sin(θ)因此有 − sin ( θ ) d θ d x , -\sin(\theta)d\theta dx\text{,} −sin(θ)dθdx, 积分变为 ∫ π − α 0 − sin ( θ ) sin ( θ ) d θ π − α . \begin{align*} \int_{\pi - \alpha}^0\dfrac{-\sin(\theta)}{\sin(\theta)}~d\theta\\ \pi - \alpha\text{.} \end{align*} ∫π−α0sin(θ)−sin(θ) dθπ−α. 事实证明任何2/3- 理想三角形与其中一种形式全等1w∞,在这里w位于单位圆的上半部分并且由于我们的变换保留了角度和面积因此我们已经证明了面积公式2/3-理想三角形。 定理5.5.1的面积为2/3-具有内角的理想三角形α,面积等于π- α 。
