ユークリッド幾何学








ユークリッド幾何学（ユークリッドきかがく、英: Euclidean geometry）は、幾何学体系の一つであり、古代エジプトのギリシア系・哲学者であるエウクレイデス（ユークリッド）の著書『原論』に由来する。



概要


古代エジプトや古代ギリシャなどでは盛んに幾何学が研究されていた。エウクレイデスはその成果を『原論』の1～4巻において体系化した。その手法は



  • まず点や線などの基礎的な概念に対する定義を与える

  • 次に一連の公理を述べ、公理系を確立する

  • そしてそれらの上に500あまりの定理を証明する。


という現代数学に近い形式をとっており、完成されたものであったので、それ以降の多くの幾何学者はこの体系の上に研究を進めた。ヨーロッパでは重要な教養の一つと考えられていたものである。


こうして基礎づけられ発展した体系は、エウクレイデス（英名:Euclid ユークリッド）に因んでユークリッド幾何学と呼ばれるようになった。


現代的観点からは公理系に若干の不備もあり、「現代数学の父」ダフィット・ヒルベルトがより厳密に体系化している。(ヒルベルトの公理（英語版）)


ユークリッド幾何学は、言うなれば直感的に納得できる空間の在り方に基づく幾何学である。直線はどこまでも伸ばせるはずであるし、平面は本来はどこまでも果てのないものが想像できるし、どこまでも平らな面があるはずであった。また、平行線はどこまでも平行に伸びることが想定された。それは、現実世界の在り方として、当然そうであると言う前提であった。


ユークリッド幾何学は永きにわたって「唯一の幾何学」であったが、『原論』の第5公準（平行線公準）に対する疑問から始まった研究の流れは19世紀に至ってついに非ユークリッド幾何学を生んだ。


ユークリッド幾何学と非ユークリッド幾何学は一方が正しく他方が間違っているというような性質のものではなく、単に独立した別個のものである。「平面や歪みのない空間の図形の性質を探求する」のがユークリッド幾何学であり、「曲面や歪んだ空間の図形を探求する」のが非ユークリッド幾何学である。



関連項目





ウィキメディア・コモンズには、ユークリッド幾何学に関連するメディアがあります。


  • 数学

  • 幾何学

  • 幾何学基礎論

  • 初等幾何学

  • ユークリッド原論

  • 非ユークリッド幾何学

  • ユークリッド(数学者)



外部リンク



  • Weisstein, Eric W. "Euclidean Geometry". MathWorld（英語）. CS1 maint: Multiple names: authors list

  • 日本大百科全書(ニッポニカ)『ユークリッド幾何学』 - コトバンク













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