擬球面のソースを表示


'''擬球面'''（ぎきゅうめん、{{lang-en-short|''pseudosphere''}}）または'''擬球'''（ぎきゅう）とは、幾何学において、[[ガウス曲率]]が負の定数となる曲面のことである。

半径''R''の擬球面とは、3次元ユークリッド空間 ('''R'''³) 内で至る所で[[ガウス曲率]]が -1/''R''² となるような曲面である。擬球面という名は、半径''R''の球面が至る所で 1/''R''² のガウス曲率であることとの類似から来ている。擬球面という用語は、{{仮リンク|エウジェニオ・ベルトラミ|en|Eugenio Beltrami}}が[[1868年]]の[[双曲幾何学]]モデルに関する論文で導入したものである <ref>{{Cite journal|last=Beltrami|first=Eugenio|year=1868|title=Saggio sulla interpretazione della geometria non euclidea|journal=Gior. Mat.|volume=6|pages=248–312|language=it}}<br /><br />
(Also {{Cite book |first=Eugenio |last=Beltrami |title=Opere Matematiche |date=July 2010 |trans-title=Mathematical Works |volume=1 |pages=374&ndash;405 |publisher=Scholarly Publishing Office, University of Michigan Library |language=it |isbn=978-1-4181-8434-6}};<br /><br />
{{Cite journal|last=Beltrami|first=Eugenio|year=1869|title=Essai d'interprétation de la géométrie noneuclidéenne|url=http://smf4.emath.fr/Publications/AnnalesENS/1_6/html/|journal=Annales de l'École Normale Supérieure|volume=6|pages=251&ndash;288|language=fr|accessdate=2010-07-24|doi=10.24033/asens.60}})</ref>。

== 牽引面 ==
[[ファイル:Pseudosphere.png|thumb|250px|牽引面]]
擬球面は、[[牽引線]]（追跡線、トラクトリクス曲線）をその[[漸近線]]を中心に回転させてできる曲面（[[回転面]]）と一致する。このため擬球面は牽引面（または追跡面、トラクトロイド）とも呼ばれる。例えば、半径1の擬球面（の半分）は、次式のように変数表示された牽引線の回転面である<ref>{{Cite book |title=Low-dimensional geometry: from Euclidean surfaces to hyperbolic knots |first=Francis |last=Bonahon |publisher=AMS Bookstore |year=2009 |isbn=978-0-8218-4816-6 |page=108 |url=https://books.google.com/books?id=YZ1L8S4osKsC}}, [https://books.google.com/books?id=YZ1L8S4osKsC&pg=PA108 Chapter 5, page 108]</ref>。

: <math>t \mapsto \left( t - \tanh t, \operatorname{sech}\,t \right), \quad \quad 0 \le t < \infty.</math>

牽引面は、[[赤道]]に当たる中央の円が[[特異点 (数学)|特異点]]となる特異な2次元空間だが、赤道以外では至る所でガウス曲率が一定の負の値となる。したがって、部分的には[[双曲空間|双曲2次元空間]]と[[等長写像]]の関係にあると言える。

「擬球面」という名前は、ガウス曲率が負の定数である2次元の曲面であることから生まれた。球のガウス曲率が、正の定数であることと同様であるためである。球がどの点においても凸型に膨らんだ形状を意味する正の曲率であるのに対して、擬球面全体はどの点においても[[鞍]]のような形状を意味する負の曲率である。

[[1693年]]に、早くも[[クリスティアーン・ホイヘンス]]は、この形が回転軸に沿って無限に広がっているにもかかわらず、[[体積]]と[[表面積]]が有限であることを発見した<ref>{{Cite book |title=Mathematics and Its History |edition=revised, 3rd |first=John |last=Stillwell |publisher=Springer Science & Business Media |year=2010 |isbn=978-1-4419-6052-8 |page=345 |url=https://books.google.com/books?id=V7mxZqjs5yUC}}, [https://books.google.com/books?id=V7mxZqjs5yUC&pg=PA345 extract of page 345]</ref>。半径''R''に対し、表面積は{{Math|4π''R''<sup>2</sup>}}と球の表面積に等しいが、体積は{{Math|{{sfrac|2|3}}π''R''<sup>3</sup>}}と半径を同じくする球の体積の半分となる<ref>{{Cite book |title=Great Currents of Mathematical Thought, Vol. II: Mathematics in the Arts and Sciences |edition=2 |first=F. |last=Le Lionnais |publisher=Courier Dover Publications |year=2004 |isbn=0-486-49579-5 |page=154 |url=https://books.google.com/books?id=pCYDhbhu1O0C}}, [https://books.google.com/books?id=pCYDhbhu1O0C&pg=PA154 Chapter 40, page 154]
</ref><ref><templatestyles src="Module:Citation/CS1/styles.css"></templatestyles>{{MathWorld|title=Pseudosphere}}</ref>。

擬球面は、幾何学に基づく[[意匠]]を扱う染織工芸や教育へ繋がる重要な基礎的図形の一つともされる<ref>{{Cite news |url=https://www.nytimes.com/2024/01/15/science/mathematics-crochet-coral.html |title=The Crochet Coral Reef Keeps Spawning, Hyperbolically |newspaper=The New York Times |date=15 January 2024 |last=Roberts |first=Siobhan}}</ref>。

== 普遍被覆空間 ==
[[ファイル:Geodesics_on_the_pseudosphere_and_three_other_models_of_hyperbolic_geometry.png|thumb|300px|擬球面と他の3つの双曲幾何学模型との関係]]
曲率 −1 の擬球面（牽引面の半分）は、界線 ([[:en:Horocycle]]) の内部で[[被覆空間|被覆]]される。[[ポワンカレ半平面模型]]には、この被覆に都合の良い、''y'' ≥ 1 の半平面の部分がある。ここで、被覆写像は x 方向に周期 2{{Pi}} を持ち、界線 y = c を擬似球面の子午線に、垂直測地線 x = c を擬球面を生成する牽引線に対応させる。この写像は局所的等長写像であり、したがって上半平面の y ≥ 1 の部分が擬球面の普遍被覆空間となる。<math>t\mapsto \big(u(t) = t - \operatorname{tanh} t,v(t) =  \operatorname{sech} t\big)</math> を牽引線の[[媒介変数]]式とするとき、正確な写像は、

:<math>(x,y)\mapsto \big(v(\operatorname{arcosh} y)\cos x, v(\operatorname{arcosh} y) \sin x, u(\operatorname{arcosh} y)\big)</math>

となる。

== 双曲面 ==
[[ファイル:Deforming_a_pseudosphere_to_Dini's_surface.gif|thumb|500px|擬球面をディニの曲面の一部に変形する。この変形は微分幾何学においてリー変換と呼ばれる。対応する{{仮リンク|サイン・ゴルドン方程式|en|Sine-Gordon equation}}の解では、この変形は静的な1ソリトン解の[[ローレンツ変換]]に対応する。]]
双曲2次元空間の双曲面模型を扱ういくつかの文献では、双曲面のことを擬球面と呼ぶ場合がある<ref>{{Citation|title=A new theory of complex rays|last=Hasanov|first=Elman|year=2004|url=http://imamat.oxfordjournals.org/cgi/reprint/69/6/521|archive-url=https://archive.today/20130415131937/http://imamat.oxfordjournals.org/cgi/reprint/69/6/521|archive-date=2013-04-15|journal=IMA J. Appl. Math.|volume=69|issue=6|pages=521&ndash;537|doi=10.1093/imamat/69.6.521|issn=1464-3634}}</ref>。

これは、双曲面が[[ミンコフスキー空間]]に埋め込まれた[[虚数]]半径の球面として考えられるためである。

== 擬球的曲面 ==
擬球的曲面は、擬球面の一般化である。曲率が負の定数である '''R'''³ において部分的に滑らかに埋め込まれた曲面は、擬球的曲面と呼ばれる。牽引面は最も単純な例である。他の例としては、{{仮リンク|ディニの曲面|en|Dini's surface}}、ブリーザー曲面、クエン曲面などがある。

== サイン・ゴルドン方程式との関係 ==
擬球面は、{{仮リンク|サイン・ゴルドン方程式|en|Sine-Gordon equation}}の解から導くことができる<ref name="wheeler">{{Cite web |author=Wheeler |first=Nicholas |title=From Pseudosphere to sine-Gordon equation |url=https://www.reed.edu/physics/faculty/wheeler/documents/Miscellaneous%20Math/Geometric%20Origin%20of%20Sine-Gordon/Pseudosphere%20to%20Sine-Gordon.pdf |access-date=24 November 2022}}</ref>。簡略化した証明は、{{仮リンク|ガウス・コダッチ方程式|en|Gauss–Codazzi equations}}をサイン・ゴルドン方程式として書き換えられる座標系における牽引面の変数を変更することから始まる。

特に牽引面に関しては、ガウス・コダッチ方程式が静的[[ソリトン]]解に適用されたサイン・ゴルドン方程式であるため、ガウス・コダッチ方程式の要件は満たされている。この座標系では、[[第一基本形式]]と[[第二基本形式]]は、サイン・ゴルドン方程式の任意の解に対してガウス曲率が −1 であることが明確に分かる形で記述されている。

したがって、サイン・ゴルドン方程式の任意の解を使用して、ガウス・コダッチ方程式の要件を満たす第一基本形式と第二基本形式を選ぶことができる。また、任意の初期データの集まりによって、少なくとも局所的に '''R'''³ に埋め込まれた曲面を選ぶことができるという定理がある。

以下に、サイン・ゴルドン方程式のいくつかの解とそれに対応する曲面の僅かな例を示す。

* 静的1ソリトン解：擬球面
* 動的1ソリトン解：ディニの曲面
* ブリーザー解：ブリーザー曲面
* 2ソリトン：クエン曲面

== 関連項目 ==
* [[微分幾何学におけるヒルベルトの定理]]
* {{仮リンク|ディニの曲面|en|Dini's surface}}
* [[ガブリエルのラッパ]]
* [[双曲面]]
* [[双曲面構造]]
* [[準球]]
* {{仮リンク|サイン・ゴルドン方程式|en|Sine-Gordon equation}}
* [[球面|球]]
* [[回転面]]
* [[染織]]、[[染織における数学]]

== 脚注 ==
{{Reflist}}

== 参考文献 ==
* {{Cite book |last=Stillwell |first=J. |title=Sources of Hyperbolic Geometry |date=1996 |publisher=Amer. Math. Soc & London Math. Soc.}}
* {{Cite book |last=Henderson |first=D. W. |last2=Taimina |first2=D. |author2-link=Daina Taimiņa |title=Aesthetics and Mathematics |publisher=Springer-Verlag |year=2006 |url=http://dspace.library.cornell.edu/bitstream/1813/2714/1/2003-4.pdf |chapter=Experiencing Geometry: Euclidean and Non-Euclidean with History}}
* {{Cite book |first=Edward |last=Kasner |first2=James |last2=Newman |date=1940 |title=[[Mathematics and the Imagination]] |pages=140, 145, 155 |publisher=[[Simon & Schuster]]}}

== 外部リンク ==
* [http://www.cs.unm.edu/~joel/NonEuclid/pseudosphere.html Non Euclid]
* [http://www.cabinetmagazine.org/issues/16/crocheting.php Crocheting the Hyperbolic Plane: An Interview with David Henderson and Daina Taimina]
* [https://www.youtube.com/watch?v=6xgtMQ7WSzQ Norman Wildberger lecture 16], History of Mathematics, University of New South Wales. YouTube. 2012 May.
* [http://virtualmathmuseum.org/Surface/gallery_o.html#PseudosphericalSurfaces Pseudospherical surfaces] at the virtual math museum.
* {{MathWorld|title=Pseudosphere|urlname=Pseudosphere}} 

{{DEFAULTSORT:ききゆうめん}}
[[Category:球面]]
[[Category:曲面]]
[[Category:双曲幾何学]]
[[Category:曲面の微分幾何学]]
[[Category:数学に関する記事]]