円で囲まれた平面図形
ディスク付き 直径 D
半径 R
中心または原点 O
幾何学 において 、 円板 （ disc とも綴られる ） [1]は、平面 上で 円 で囲まれた 領域である。円板は 、その境界を構成する円を含む場合 「閉円 板」、含まない場合 「開円板」 と呼ばれる。 [2]
半径 の場合 、開円板は通常 と表記され 、閉円板は と表記されます。しかし、 位相幾何学 の分野では、 閉円板は通常 と表記され 、開円板はと表記されます 。 r {\displaystyle r} D r {\displaystyle D_{r}} D r ¯ {\displaystyle {\overline {D_{r}}}} D 2 {\displaystyle D^{2}} 整数 D 2 {\displaystyle \operatorname {int} D^{2}}
直交座標 では 、 中心 と半径 Rの 開円板は 式 [1] で与えられ
、 同じ中心と半径の 閉円板は式で与えられる。 （ 1つの 、 b ） {\displaystyle (a,b)} D ＝ { （ × 、 y ） ∈ R 2 : （ × − 1つの ） 2 + （ y − b ） 2 < R 2 } 、 {\displaystyle D=\{(x,y)\in \mathbb {R} ^{2}:(xa)^{2}+(yb)^{2}R^{2}\},} D ¯ ＝ { （ × 、 y ） ∈ R 2 : （ × − 1つの ） 2 + （ y − b ） 2 ≤ R 2 } 。 {\displaystyle {\overline {D}}=\{(x,y)\in \mathbb {R}^{2}:(xa)^{2}+(yb)^{2}\leq R^{2}\}.}
半径 R の閉じた円板または開いた円板の面積 は πR2 で ある （ 円板の面積を 参照）。 [3]
プロパティ ディスクは 円対称性 を持つ。 [4]
開円板と閉円板は位相的に同値ではない（つまり 同相で はない）。これは、両者が互いに異なる位相特性を持つためである。例えば、すべての閉円板は コンパクトで あるのに対し、すべての開円板はコンパクトではない。 [5]しかし、 代数的位相幾何学 の観点からは 、両者は多くの特性を共有している。すなわち、両者は 収縮可能であり [6] 、したがって 単一の点と ホモトピー同値である。これは、それらの 基本群が 自明であり、 ホモロジー群はすべて、 Z と同型である 0 番目を除いて自明であることを意味する 。点の オイラー特性 （したがって、閉円板または開円板のオイラー特性も）は 1 である。 [7]
閉円板からそれ自身への連続写像は必ず少なくとも1つの不動点を持つ （ 写像 が 単射 や 全射で ある必要はない）。これは ブラウワー不動点定理の n =2の 場合である 。 [8] この命題は開円板に対しては偽である。 [9]
例えば、 開単位円板上のすべての点を、その右隣の開単位円板上の別の点に写す関数を考えてみましょう。しかし、閉単位円板の場合は、半円上のすべての点を固定します。 f （ × 、 y ） ＝ （ × + 1 − y 2 2 、 y ） {\displaystyle f(x,y)=\left({\frac {x+{\sqrt {1-y^{2}}}}{2}},y\right)} × 2 + y 2 ＝ 1 、 × > 0。 {\displaystyle x^{2}+y^{2}=1,x>0.}
統計分布として 円盤上の点からある場所までの平均距離 単位円板上の一様分布は、統計学において時折遭遇する。最も一般的に見られるのは、都市計画数学におけるオペレーションズ・リサーチであり、都市内の人口モデル化に用いられる。また、与えられた線形不等式が満たされる確率を容易に計算できるという性質を利用する用途もある。（ 平面上の ガウス分布は 数値積分を 必要とする。）
「初等関数による巧妙な議論」は、円板上の2点間の 平均 ユークリッド距離が 128 / 45π ≈ 0.90541 、 [10] 極座標での直接積分では平均二乗距離は 1 となる。
円板の中心から距離 qにある任意の位置が与えられた場合、分布上の点からその位置までの平均距離 b ( q ) と、それらの距離の平均二乗を求めることも重要です。後者の値は q 2 + として直接計算できます。 1 / 2 。
任意の内部点までの平均距離 円盤から内部の点までの平均距離 b ( q ) を求めるには、位置が内部または外部、つまり q ≶ 1 の場合を別々に調べる必要がありますが、どちらの場合も結果は 完全な楕円積分 でのみ表現できることがわかります 。
内部位置を考慮する場合、私たちの目標は（図を見て）密度が である分布の下でのrの期待値を計算する こと です 。 1 / π 0 ≤ r ≤ s (θ) の場合 、セルの面積がr d r dθ となる固定位置を中心とした極座標で積分すると 、 b （ q ） ＝ 1 π ∫ 0 2 π d θ ∫ 0 s （ θ ） r 2 d r ＝ 1 3 π ∫ 0 2 π s （ θ ） 3 d θ 。 {\displaystyle b(q)={\frac {1}{\pi}}\int _{0}^{2\pi}{\textrm {d}}\theta \int _{0}^{s(\theta)}r^{2}{\textrm {d}}r={\frac {1}{3\pi}}\int _{0}^{2\pi}s(\theta)^{3}{\textrm {d}}\theta .}
ここで s (θ)は 余弦定理を用いて q と θ を用いて 求めることができる。積分を評価するために必要な手順といくつかの参考文献は、Lewらの論文 [10] に記載されている。 結果は次の通りである
。 ここで K と E は第一種および第二種の完全楕円積分である。 [11] b (0) = b （ q ） ＝ 4 9 π { 4 （ q 2 − 1 ） K （ q 2 ） + （ q 2 + 7 ） E （ q 2 ） } {\displaystyle b(q)={\frac {4}{9\pi }}{\biggl \{}4(q^{2}-1)K(q^{2})+(q^{2}+7)E(q^{2}){\biggr \}}} 2 / 3 ; b (1) = 32 / 9π ≈ 1.13177 。
任意の外部点までの平均距離 円盤から外部点までの平均距離 外部の場所に目を向けると、同じように積分を設定することができ、今度は
b （ q ） ＝ 2 3 π ∫ 0 罪 − 1 1 q { s + （ θ ） 3 − s − （ θ ） 3 } d θ {\displaystyle b(q)={\frac {2}{3\pi}}\int _{0}^{{\textrm {sin}}^{-1}{\tfrac {1}{q}}}{\biggl \{}s_{+}(\theta )^{3}-s_{-}(\theta )^{3}{\biggr \}}{\textrm {d}}\theta } ここで余弦定理によれば、 s + (θ) と s – (θ) は方程式の s の根である。 したがって、
標準積分を使用し て u = q sinθ を代入して得ることができる 。 [12] s 2 − 2 q s コス θ + q 2 − 1 ＝ 0。 {\displaystyle s^{2}-2qs\,{\textrm {cos}}\theta +q^{2}\!-\!1=0.} b （ q ） ＝ 4 3 π ∫ 0 罪 − 1 1 q { 3 q 2 コス 2 θ 1 − q 2 罪 2 θ + （ 1 − q 2 罪 2 θ ） 3 2 } d θ 。 {\displaystyle b(q)={\frac {4}{3\pi}}\int _{0}^{{\textrm {sin}}^{-1}{\tfrac {1}{q}}}{\biggl \{}3q^{2}{\textrm {cos}}^{2}\theta {\sqrt {1-q^{2}{\textrm {sin}}^{2}\theta }}+{\Bigl (}1-q^{2}{\textrm {sin}}^{2}\theta {\Bigr )}^{\tfrac {3}{2}}{\biggl \}}{\textrm {d}}\theta .} b （ q ） ＝ 4 3 π ∫ 0 1 { 3 q 2 − あなた 2 1 − あなた 2 + （ 1 − あなた 2 ） 3 2 q 2 − あなた 2 } d あなた ＝ 4 3 π ∫ 0 1 { 4 q 2 − あなた 2 1 − あなた 2 − q 2 − 1 q 1 − あなた 2 q 2 − あなた 2 } d あなた ＝ 4 3 π { 4 q 3 （ （ q 2 + 1 ） E （ 1 q 2 ） − （ q 2 − 1 ） K （ 1 q 2 ） ） − （ q 2 − 1 ） （ q E （ 1 q 2 ） − q 2 − 1 q K （ 1 q 2 ） ） } ＝ 4 9 π { q （ q 2 + 7 ） E （ 1 q 2 ） − q 2 − 1 q （ q 2 + 3 ） K （ 1 q 2 ） } {\displaystyle {\begin{aligned}b(q)&={\frac {4}{3\pi }}\int _{0}^{1}{\biggl \{}3{\sqrt {q^{2}-u^{2}}}{\sqrt {1-u^{2}}}+{\frac {(1-u^{2})^{\tfrac {3}{2}}}{\sqrt {q^{2}-u^{2}}}}{\biggr \}}{\textrm {d}}u\\[0.6ex]&={\frac {4}{3\pi }}\int _{0}^{1}{\biggl \{}4{\sqrt {q^{2}-u^{2}}}{\sqrt {1-u^{2}}}-{\frac {q^{2}-1}{q}}{\frac {\sqrt {1-u^{2}}}{\sqrt {q^{2}-u^{2}}}}{\biggr \}}{\textrm {d}}u\\[0.6ex]&={\frac {4}{3\pi }}{\biggl \{}{\frac {4q}{3}}{\biggl (}(q^{2}+1)E({\tfrac {1}{q^{2}}})-(q^{2}-1)K({\tfrac {1}{q^{2}}}){\biggr )}-(q^{2}-1){\biggl (}qE({\tfrac {1}{q^{2}}})-{\frac {q^{2}-1}{q}}K({\tfrac {1}{q^{2}}}){\biggr )}{\biggr \}}\\[0.6ex]&={\frac {4}{9\pi }}{\biggl \{}q(q^{2}+7)E({\tfrac {1}{q^{2}}})-{\frac {q^{2}-1}{q}}(q^{2}+3)K({\tfrac {1}{q^{2}}}){\biggr \}}\end{aligned}}}
したがって、再び b (1) = 32 / 9π 、また [13] リム q → ∞ b （ q ） ＝ q + 1 8 q 。 {\displaystyle \lim _{q\to \infty }b(q)=q+{\tfrac {1}{8q}}.}
参照
参考文献 ^ ab クリストファー・クラパム、ジェームズ・ニコルソン (2014). 『コンサイス・オックスフォード数学辞典』オックスフォード大学出版局. p. 138. ISBN 9780199679591 。 ^ Arnold, BH (2013). 初等位相幾何学における直観的概念. ドーバー数学書籍. クーリエ・ドーバー出版. p. 58. ISBN 9780486275765 。 ^ ロットマン、ジョセフ・J. (2013). 『数学への旅：証明入門』ドーバー数学書籍. クーリエ・ドーバー出版. p. 44. ISBN 9780486151687 。 。 ^ アルトマン、サイモン・L. (1992). 『アイコンと対称性 』オックスフォード大学出版局. ISBN 9780198555995 . ディスクは円対称です。 ^ モードリン、ティム（2014）、物理的幾何学の新しい基礎：線状構造の理論、オックスフォード大学出版局、p. 339、 ISBN 9780191004551 。 ^ コーエン、ダニエル・E.（1989）、組合せ群論：位相的アプローチ、ロンドン数学会学生テキスト、第14巻、ケンブリッジ大学出版局、p.79、 ISBN 9780521349369 。 ^ 高次元では、閉球のオイラー特性は+1のままであるが、開球のオイラー特性は偶数次元の球では+1、奇数次元の球では-1となる。Klain , Daniel A.; Rota, Gian-Carlo (1997), Introduction to Geometric Probability , Lezioni Lincee, Cambridge University Press, pp. 46– 50を参照。 。 ^ アーノルド（2013）、132ページ。 ^ アーノルド（2013）、例1、135ページ。 ^ ab JS Lew 他、「円形ディスク内の平均距離について」(1977)。 ^ アブラモウィッツとステグン 、17.3。 ^ GradshteynとRyzhik 3.155.7と3.169.9。AbramowitzとStegunの表記法の違いを適切に考慮している。（A&S 17.3.11とG&R 8.113を比較。）この記事はA&Sの表記法に従っている。 ^ AbramowitzとStegun、17.3.11以降。
コンパクトな位相表面とその3D浸漬
境界なし
方向付け可能 球 （種数0） トーラス （属1） 8番（属2） プレッツェル（属3）... 非方向性
境界あり 関連する 概念
![{\displaystyle {\begin{aligned}b(q)&={\frac {4}{3\pi }}\int _{0}^{1}{\biggl \{}3{\sqrt {q^{2}-u^{2}}}{\sqrt {1-u^{2}}}+{\frac {(1-u^{2})^{\tfrac {3}{2}}}{\sqrt {q^{2}-u^{2}}}}{\biggr \}}{\textrm {d}}u\\[0.6ex]&={\frac {4}{3\pi }}\int _{0}^{1}{\biggl \{}4{\sqrt {q^{2}-u^{2}}}{\sqrt {1-u^{2}}}-{\frac {q^{2}-1}{q}}{\frac {\sqrt {1-u^{2}}}{\sqrt {q^{2}-u^{2}}}}{\biggr \}}{\textrm {d}}u\\[0.6ex]&={\frac {4}{3\pi }}{\biggl \{}{\frac {4q}{3}}{\biggl (}(q^{2}+1)E({\tfrac {1}{q^{2}}})-(q^{2}-1)K({\tfrac {1}{q^{2}}}){\biggr )}-(q^{2}-1){\biggl (}qE({\tfrac {1}{q^{2}}})-{\frac {q^{2}-1}{q}}K({\tfrac {1}{q^{2}}}){\biggr )}{\biggr \}}\\[0.6ex]&={\frac {4}{9\pi }}{\biggl \{}q(q^{2}+7)E({\tfrac {1}{q^{2}}})-{\frac {q^{2}-1}{q}}(q^{2}+3)K({\tfrac {1}{q^{2}}}){\biggr \}}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b74955633c3180f6eb7da5f40be083b2d0ac971a)
