楕円幾何学








楕円幾何学（だえんきかがく、英語：elliptic geometry）は、まっすぐな空間（ユークリッド空間、放物幾何的空間）ではなく、ある特徴（至る所で正の曲率）を持つ曲がった空間の中における幾何学を論じた数学の一分野。リーマンが球面モデルを考えたため、楕円幾何学の事を指してリーマン幾何学と呼ぶこともあるが、一般にはリーマン幾何学とは別のものである。




目次






  • 1 概要


  • 2 球面モデル


  • 3 関連項目


  • 4 外部リンク





概要


楕円幾何学は、平行線公準あるいは平行線公理とも呼ばれるユークリッド原論における第5公準「任意の直線上にない一点を通る平行な直線がただ一本存在すること」に代わり、それを否定する公理を付け加え、その新たな平行線公理と無矛盾な体系として得られる幾何学である非ユークリッド幾何学の一つである。


楕円幾何学では、第5公準の代わるものとして「ある直線 L とその直線の外にある点 p が与えられたとき、p を通り L に平行な直線は存在しない」という平行線公理を要請し、さらに無矛盾性を得るために第2公準「有限の直線を連続的にまっすぐ延長すること」も同時に否定される。



球面モデル


平面においては二本の平行線は決して交わることはないが、同じ二次元の広がりを持つ球面においては、赤道に対し垂直に引かれた二本の "直線" は、平行であるように見えるものの、極において交わる。ただし、ここでいう "直線" とは、任意の二点に対しその間を結ぶ最短の曲線を線分として、その延長として得られる曲線（測地線）を球面上で定義される直線としているものである。すなわち球面上の直線とは大円（その中心が球の中心と一致する円の周）のことである。


このような意味での直線をもつ球面はリーマン球面と呼ばれ、楕円幾何学の一つのモデル（球面モデル）になっている。また、このような球面上の幾何学を球面幾何学という。たとえば角度や距離といった幾何学でおなじみの概念は、測地線の意味での直線という概念によって自然に定義され、この幾何学モデルの中では三角法の類似物として球面三角法が定義されるが、たとえば正弦定理一つとってみても、それは我々の良く知る三角法とは大きく様相を違えるものになっていることを知ることができるだろう。


また平面においては二点を通る直線はただひとつだが、リーマン球面においては北極と南極のように球の中心に対して互いに対称の位置にある二点を通る直線はいくつも（無限個）存在する。


あるいは、リーマン球面は平面に無限遠点をただ一つだけ加えることによって実現される。このとき、平面上で互いに平行であった二つの直線は、曲面上に移されればやはり無限遠点において必ず交点を持ってしまうから、この意味でも確かに平行線が存在しなくなっていることがわかる。このような平面を射影平面といい射影幾何学が成り立つ。



関連項目



  • ユークリッド幾何学


  • 非ユークリッド幾何学

    • 楕円幾何学
      • 球面幾何学


    • ボヤイ・ロバチェフスキー幾何学（双曲幾何学）





外部リンク



  • Elliptic Geometry -- From MathWorld（英語）



Popular posts from this blog

Can a sorcerer learn a 5th-level spell early by creating spell slots using the Font of Magic feature?

Image
28 6 $begingroup$ Per the Font of Magic feature, sorcerer can use Flexible Casting to create 5th-level spell slots at level 7, even though they are not typically available until level 9. You can transform unexpended sorcery points into one spell slot as a bonus action on your turn. The Creating Spell Slots table shows the cost of creating a spell slot of [5th level is 7] If such a sorcerer levels up while still having this 5th-level spell slot, can they choose a 5th-level spell as the spell they gain upon levelling up? The Spellcasting feature states: Additionally, when you gain a level in this class, you can choose one of the sorcerer spells you know and replace it with another spell from the sorcerer spell list, which also must be of a level for which you have spell slots.
Read more

Does disintegrating a polymorphed enemy still kill it after the 2018 errata?

Image
up vote 13 down vote favorite 1 After the 2018 errata, the disintegrate spell description now reads: A creature targeted by this spell must make a Dexterity saving throw. On a failed save, the target takes 10d6 + 40 force damage. The target is disintegrated if this damage leaves it with 0 hit points. If you were to polymorph an enemy into a rat and then disintegrate it, would the enemy be disintegrated or would it just return to its original form? I know that for Druids, it’s not an instant kill anymore, but is this the case for polymorph as well? dnd-5e spells polymorph errata share | improve this question edited 18 hours ago
Read more

A Topological Invariant for $pi_3(U(n))$

Image
3 3 $begingroup$ Recently, I saw a construction of topological invariant for $pi_3(U(n))$ with $ngeq 2$ : $$ N=frac{1}{24pi^2}int_{S^3} d^3x epsilon^{ijk} Tr[(U^{-1}partial_{x_i}U)(U^{-1}partial_{x_j}U)(U^{-1}partial_{x_k}U)] , $$ where $Uin U(n)$ depends on $boldsymbol{x}=(x_1,x_2,x_3)in S^3$ , $epsilon^{ijk}$ is the Levi-Civita symbol, $i,j,k=1,2,3$ , and the duplicated indexes are summed over. It is claimed that $N$ is an integer, but why? Update 02/02/2019 I think I got an argument for $n=2$ . In this case, $U=e^{i varphi} q$ with $qin SU(2)$ . Due to the trace and the Levi-Civita symbol in $N$ , $varphi$ does not contribute to $N$ . As $Tr[q^{dagger}partial_i q]=0$ and $(q^{dagger}partial_i q)^{dagger}=-q^{dagger}partial_i q$ , $q^{dagger}partial_i q$ in geneeral has the form $q^{dagger}partia
Read more