「《積分幾何学》」の版間の差分

提供: ORWiki
ナビゲーションに移動 検索に移動
(新しいページ: ''''【せきぶんきかがく (integral geometry)】''' “ビュッフォンの針”のように図形に関係した確率を幾何確率といい, これらの理論的...')
 
4行目: 4行目:
  
  
−
\begin{figure}[h]
+
<center><table><tr><td align=center>[[スタイル検討#積分幾何学 (0207-c-e-01-1)|スタイル検討]]</td></tr>
−
\begin{center}
+
<td align=center>図1：直線に下ろした垂線</td></table></center>
−
\begin{picture}(300,170)(-50,-20)
 
−
 
 
−
\put(0,0){\vector(1,0){220}} \put(220,0){\makebox(0,0)[l]{\large  $ x $ }}
 
−
\put(0,0){\vector(0,1){130}} \put(0,130){\makebox(0,0)[b]{\large  $ y $ }}
 
−
\put(0,0){\line(1,2){50}}
 
−
\put(-10,100){\line(2,-1){220}}
 
−
\put(140,30){\makebox(0,0)[bl]{\large  $ g $ }}
 
−
\put(22,71){\line(2,-1){11}}
 
−
\put(22,71){\line(1,2){5}}
 
−
\put(20,50){\makebox(0,0)[tr]{\large  $ p $ }}
 
−
\put(0,0){\makebox(0,0)[tr]{O}}
 
−
\put(5,0){\oval(15,20)[tr]}
 
−
\put(15,15){\makebox(0,0)[l]{\large  $ \theta $ }}
 
−
\end{picture}
 
−
\vspace{-10mm}
 
−
\caption{直線に下ろした垂線} \label{fig:C-E-01+2}
 
−
\end{center}
 
−
\end{figure}
 
  
 
          
 
          
−
　図1のように, 直線 $ g $ があって, 原点からこれに下ろした垂線の長さを $ p $ , 垂線と $ x $ 軸との角度を $ \theta $ とすると, この直線は
+
　図1のように, 直線 <math>g\, </math> があって, 原点からこれに下ろした垂線の長さを <math>p\, </math> , 垂線と <math> x\, </math> 軸との角度を <math>\theta\, </math> とすると, この直線は
  
  
−
\begin{eqnarray}
+
:<math>
−
x\cos \theta+y\sin \theta=p \label{eqn:C-E-01+4}
+
x\cos \theta+y\sin \theta=p
−
\end{eqnarray}
+
\, </math>　　　　　<math>(1)\, </math>
  
  
−
と表される. そこで, この $ p $ と $ \theta $ で, 直線の集合(たとえばある領域と交わる直線の集合など)の測度を
+
と表される. そこで, この p と \theta で, 直線の集合(たとえばある領域と交わる直線の集合など)の測度を
  
  
−
\begin{eqnarray}
+
:<math>
−
m(X)=\int_{X}f(p,\theta)\hspace*{1mm}\mbox{d}p\hspace*{1mm}\mbox{d}\theta  
+
m(X)=\int_{X}f(p,\theta)\; \mbox{d}p \; \mbox{d}\theta  
−
\label{eqn:C-E-01+5}
+
\, </math>　　　　　<math>(2)\, </math>
−
\end{eqnarray}
 
  
  
−
とおき, 以下, 合同変換で不変の条件を考えよう. 直線 (1)で表されるような, 直線の集合 $ X $ が, 合同変換
+
とおき, 以下, 合同変換で不変の条件を考えよう. 直線 (1)で表されるような, 直線の集合 <math>X\, </math> が, 合同変換
  
  
−
\begin{eqnarray}
+
:<math>\begin{array}{lll}
−
x' &=& x\cos \alpha-\sin \alpha+a \nonumber\\
+
x' &=& x\cos \alpha-\sin \alpha+a \\
−
y' &=& x\sin \alpha+y \cos \alpha+b \label{eqn:C-E-1+2}
+
y' &=& x\sin \alpha+y \cos \alpha+b
−
\end{eqnarray}
+
\end{array}\, </math>　　　　　<math>(3)\, </math>
  
  
55行目: 36行目:
  
  
−
\begin{eqnarray*}
+
:<math>
 
x'\cos\theta'+y'\sin\theta'=p'  
 
x'\cos\theta'+y'\sin\theta'=p'  
−
\end{eqnarray*}
+
\, </math>
  
  
−
なる直線の集合 $ X' $ に変換されたものとする. すると, 上式より
+
なる直線の集合 <nowiki>X'</nowiki> に変換されたものとする. すると, 上式より
  
  
−
\begin{eqnarray}
+
:<math>\begin{array}{lll}
−
\theta &=& \theta'-\alpha,\nonumber \\
+
\theta &=& \theta'-\alpha, \\
−
p &=& p'-a\cos \theta'-b\sin \theta' \label{eqn:C-E-01+6}
+
p &=& p'-a\cos \theta'-b\sin \theta'  
−
\end{eqnarray}
+
\end{array}\, </math>　　　　　<math>(4)\, </math>
  
  
−
が得られる. ここで, 一様な直線の分布を考えているので,  $ X $ と $ X' $ の測度は等しく, すなわ
+
が得られる. ここで, 一様な直線の分布を考えているので,  <math>X\, </math> と <math> X' \, </math> の測度は等しく, すなわ
 
ち
 
ち
  
  
−
\begin{eqnarray*}
+
:<math>\int_{X}f(p,\theta)\; \mbox{d}p \;
−
\int_{X}f(p,\theta)\hspace*{1mm}\mbox{d}p \hspace*{1mm}
+
\mbox{d}\theta=\int_{X}f(p',\theta') \; \mbox{d}p' \;
−
\mbox{d}\theta=\int_{X}f(p',\theta')\hspace*{1mm}\mbox{d}p'\hspace*{1mm}
+
\mbox{d}\theta'\, </math>
−
\mbox{d}\theta'  
 
−
\end{eqnarray*}
 
  
  
−
でなければならない. ところが, 式 (4)から $ (p',\theta') $ より $ (p,\theta) $ への変数変換のヤコビアンは1なので, 上式の右辺を変形して
+
でなければならない. ところが, 式 (4)から <math>(p',\theta')\, </math>  より <math>(p,\theta)\, </math> への変数変換のヤコビアンは1なので, 上式の右辺を変形して
  
  
−
\begin{eqnarray*}
+
:<math>
−
\int_{X}f(p,\theta)\hspace*{1mm}\mbox{d}p\hspace*{1mm}
+
\int_{X}f(p,\theta)\; \mbox{d}p \;
−
\mbox{d}\theta=\int_{X}f(p',\theta')\hspace*{1mm}\mbox{d}p\hspace*{1mm}
+
\mbox{d}\theta=\int_{X}f(p',\theta')\; \mbox{d}p \;
 
\mbox{d}\theta  
 
\mbox{d}\theta  
−
\end{eqnarray*}
+
</math>
  
  
−
と表すことができ, これは $ X $ をどのようにとっても成立しなければならないので,  
+
と表すことができ, これは <math> X\, </math> をどのようにとっても成立しなければならないので,  
  
  
−
\begin{eqnarray*}
+
:<math>f(p,\theta)=c\, </math> <math>( \, </math>定数<math>) \, </math>
−
f(p,\theta)=c\mbox(定数)
 
−
\end{eqnarray*}
 
  
  
−
が得られる. そこで $ c=1 $ とし, $ \mbox{d}p \hspace*{1mm}\mbox{d} \theta $ を $ \mbox{d}G $ とおいて, これを直線の集合 $ G $ の密度を表わすとすれば, 直線の集合の測度が式 (2)より
+
が得られる. そこで <math> c=1 \, </math> とし, <math> \mbox{d}p \; \mbox{d} \theta \, </math> を <math> \mbox{d}G\, </math>  とおいて, これを直線の集合 <math> G \, </math> の密度を表わすとすれば, 直線の集合の測度が式 (2)より
  
  
−
\begin{eqnarray}
+
:<math>m(X)=\int_X \mbox{d}G\, </math> 　　　　　<math>(5)\, </math>
−
m(X)=\int_X \mbox{d}G \label{eqn:C-E-01+7}
 
−
\end{eqnarray}
 
  
  
−
と導かれる. ここで, 図2のような滑らかな曲線ABがあり, その長さを $ L $ とする. AB上の点Pでこの曲線と交わる直線を $ g $ , 曲線ABのPにおける接線と $ g $ とのなす角度を $ \varphi $ , AからPまでの曲線上の長さを $ s $ とおく. すると,  $ (p,\theta) $ から $ (s,\varphi) $ への変数変換におけるヤコビアンは $ |\sin\varphi| $ となり, 曲線ABと交わる直線のすべては,  $ 0\leq s\leq L, 0\leq\varphi \leq \pi $ の範囲を考えればよい. ゆえに
+
と導かれる. ここで, 図2のような滑らかな曲線ABがあり, その長さを <math> L \, </math> とする. AB上の点Pでこの曲線と交わる直線を <math>g\, </math>, 曲線ABのPにおける接線と <math> g\, </math> とのなす角度を <math> \varphi \, </math>, AからPまでの曲線上の長さを <math> s \, </math> とおく. すると,  <math> (p,\theta) \, </math> から <math> (s,\varphi) \, </math> への変数変換におけるヤコビアンは <math> |\sin\varphi| \, </math> となり, 曲線ABと交わる直線のすべては,  <math> 0\leq s\leq L, 0\leq\varphi \leq \pi \, </math> の範囲を考えればよい. ゆえに
  
  
−
\begin{eqnarray*}
+
:<math>\int_{0}^{L}\!  
−
\int_{0}^{L}\!  
+
\int_{0}^{\pi}\sin\varphi \; \mbox{d}s \;\mbox{d}\varphi=2L\, </math>
−
\int_{0}^{\pi}\sin\varphi\hspace*{1mm}\mbox{d}s\hspace*{1mm}\mbox{d}\varphi=2L  
 
−
\end{eqnarray*}
 
  
  
−
\begin{figure}[h]
+
<center><table><tr><td align=center>[[スタイル検討#積分幾何学 (0207-c-e-01-2)|スタイル検討]]</td></tr>
−
\begin{center}
+
<td align=center>図２：曲線と直線</td></table></center>
−
\begin{picture}(300,170)(-50,-20)
 
  
−
\put(0,0){\vector(1,0){220}} \put(220,0){\makebox(0,0)[l]{\large  $ x $ }}
 
−
\put(0,0){\vector(0,1){130}} \put(0,130){\makebox(0,0)[b]{\large  $ y $ }}
 
−
\put(0,0){\line(2,1){150}}
 
−
\put(100,-10){\line(-1,2){70}}
 
−
\put(90,10){\makebox(0,0)[bl]{\large  $ g $ }}
 
−
\put(71,22){\line(-1,2){5}}
 
−
\put(71,22){\line(2,1){11}}
 
−
\put(40,30){\makebox(0,0)[tr]{\large  $ p $ }}
 
−
\put(0,0){\makebox(0,0)[tr]{O}}
 
−
\put(15,0){\oval(11,15)[tr]}
 
−
\put(30,10){\makebox(0,0)[tl]{\large  $ \theta $ }}
 
−
\put(30,110){\oval(60,80)[br]}
 
−
\put(56.2,77.6){\vector(2,3){40}}
 
−
\put(56.6,85.5){\oval(9,8)[t]}
 
−
\put(56,89.5){\makebox(0,0)[b]{\large  $ \varphi $ }}
 
−
\put(55.5,72){\makebox(0,0)[t]{\large P}}
 
−
\put(30,70){\makebox(0,0)[r]{\large A}}
 
−
\put(60,115){\makebox(0,0)[b]{\large B}}
 
−
\end{picture}
 
−
\vspace{-5mm}
 
−
\caption{曲線と直線} \label{fig:C-E-01+4}
 
−
\end{center}
 
−
\end{figure}
 
  
 +
となるので, この <math> 2L \, </math> を曲線 <math> AB \, </math> と交わる直線の集合の測度 <math> \int\mbox{d}p \; \mbox{d}\theta \, </math> としてよいかにみえる. ところが上記の積分は曲線 <math> AB\, </math> に沿って行なわれたので, この曲線と二つ以上の点で交わる直線については, それぞれの交点で計算されている. したがって, 上記の <math> 2L \, </math> という値は求めたい測度よりも大きい数値であり, <math> n(p,\theta) \, </math> でこの重複を表現すれば
  
−
\begin{figure}[h]
 
−
\begin{center}
 
−
\begin{picture}(300,140)(-50,-10)
 
  
−
\put(-10,130){\line(2,-1){220}}
+
:<math>\int{n}(p,\theta) \; \mbox{d}p \; \mbox{d}\theta=2L\, </math>
−
\put(-30,130){\line(1,-1){130}}
 
−
\put(40,50){\circle{80}}
 
−
\put(90,60){\oval(200,100)}
 
−
\put(150,90){\makebox(0,0)[bl]{\large  $ C_0 $ }}
 
−
\put(60,60){\makebox(0,0)[l]{\large  $ C $ }}
 
−
\end{picture}
 
−
\vspace{-5mm}
 
−
\caption{ $ C $ と交わる確率} \label{fig:C-E-01+5}
 
−
\end{center}
 
−
\end{figure}
 
−
           
 
  
−
となるので, この $ 2L $ を曲線 $ AB $ と交わる直線の集合の測度 $ \int\mbox{d}p\hspace*{1mm}\mbox{d}\theta $ としてよいかにみえる. ところが上記の積分は曲線 $ AB $ に沿って行なわれたので, この曲線と二つ以上の点で交わる直線については, それぞれの交点で計算されている. したがって, 上記の $ 2L $ という値は求めたい測度よりも大きい数値であり,  $ n(p,\theta) $ でこの重複を表現すれば
 
  
 +
が得られる. ところで, 曲線ABを滑らかなものとして議論してきたが, 滑らかな曲線を有限個つなげたものや, 不連続なものについても, ほとんどいたるところで接線は存在するので, 上式は成立する. そして対象となる曲線と交わらない直線については,  <math> n(p,\theta)=0 \, </math> と解釈し,
  
−
\begin{eqnarray*}
 
−
\int{n}(p,\theta)\hspace*{1mm}\mbox{d}p\hspace*{1mm}\mbox{d}\theta=2L
 
−
\end{eqnarray*}
 
  
 +
:<math>\int{n}\mbox{d}G=2L\, </math>　　　　　<math>(6)\, </math>
  
−
が得られる. ところで, 曲線ABを滑らかなものとして議論してきたが, 滑らかな曲線を有限個つなげたものや, 不連続なものについても, ほとんどいたるところで接線は存在するので, 上式は成立する. そして対象となる曲線と交わらない直線については,  $ n(p,\theta)=0 $ と解釈し,
 
  
 +
が導かれる. さて, これをもとに, 簡単な図形と交わる直線の集合の測度を求めよう. まず上記の曲線ABが直線分であれば, ほとんどいたるところ <math> n=1 \, </math> なので, 長さ <math> L \, </math> の線分と交わる直線の集合 <math> X \, </math> の測度は
  
−
\begin{eqnarray}
 
−
\int{n}\mbox{d}G=2L \label{eqn:C-E-01+11}
 
−
\end{eqnarray}
 
  
 +
:<math>m(X)=\int\mbox{d}G=2L\, </math>　　　　　<math>(7)\, </math>
  
−
が導かれる. さて, これをもとに, 簡単な図形と交わる直線の集合の測度を求めよう. まず上記の曲線ABが直線分であれば, ほとんどいたるところ $ n=1 $ なので, 長さ $ L $ の線分と交わる直線の集合 $ X $ の測度は
 
  
 +
<center><table><tr><td align=center>[[スタイル検討#積分幾何学 (0207-c-e-01-3)|スタイル検討]]</td></tr>
 +
<td align=center>図３：<math>C\, </math> と交わる確率</td></table></center>
  
−
\begin{eqnarray}
 
−
m(X)=\int\mbox{d}G=2L \label{eqn:C-E-01+12}
 
−
\end{eqnarray}
 
  
 +
となる. 次に曲線が凸閉曲線の場合, ほとんどいたるところ <math> n=2 \, </math> が成立するので, 長さ <math> L \, </math> の凸閉曲線と交わる直線の集合 <math> X \, </math> の測度は
  
−
となる. 次に曲線が凸閉曲線の場合, ほとんどいたるところ $ n=2 $ が成立するので, 長さ $ L $ の凸閉曲線と交わる直線の集合 $ X $ の測度は
 
  
 +
:<math>m(X)=\int\mbox{d}G=L\, </math>　　　　　<math>(8)\, </math>
  
−
\begin{eqnarray}
 
−
m(X)=\int\mbox{d}G=L \label{eqn:C-E-01+13}
 
−
\end{eqnarray}
 
  
−
 
+
となる. これを用いると, 以下のような確率を簡単に求めることができる. 図3のように凸閉曲線 <math> C_0,C \, </math> があって, 長さをそれぞれ,  <math> L_0,L \, </math> とする. 曲線 <math> C_0,C \, </math> に交わる直線の集合を <math>X_0,X \, </math> とすれば,  <math> C_0 \, </math> に交わる直線が,  <math> C\, </math>  にも交わる確率 <math> P \, </math> は, 式(8)より
−
となる. これを用いると, 以下のような確率を簡単に求めることができる. 図\ref{fig:C-E-01+5}のように凸閉曲線 $ C_0,C $ があって, 長さをそれぞれ,  $ L_0,L $ とする. 曲線 $ C_0,C $ に交わる直線の集合を $ X_0,X $ とすれば,  $ C_0 $ に交わる直線が,  $ C $ にも交わる確率 $ P $ は, 式(8)より
 
 
   
 
   
 
   
 
   
−
\begin{eqnarray}
+
:<math>P=m(X)/m(X_0)=L/L_0\, </math>　　　　　<math>(9)\, </math>
−
P=m(X)/m(X_0)=L/L_0 \label{eqn:C-E-01+14}
+
 
−
\end{eqnarray}
 
  
  

2007年7月13日 (金) 20:14時点における版

【せきぶんきかがく (integral geometry)】

“ビュッフォンの針”のように図形に関係した確率を幾何確率といい, これらの理論的な部分は, 積分幾何学(integral geometry)を基礎にしている. 積分幾何学は幾何確率に応用可能であるばかりでなく, もっと広く図形に関する様々な局面で基礎となり得ると考えられる. そこで積分幾何学の基礎概念と直線に関する主公式にかぎって述べることにする. 詳しくは[1], [2]を参照されたい. 積分幾何学の基礎概念とは合同変換によって不変な測度を求めることにあるが, 例を直観では分かりづらい直線の集合に採り, 以下で議論を展開する.


スタイル検討
図1：直線に下ろした垂線


　図1のように, 直線 があって, 原点からこれに下ろした垂線の長さを , 垂線と 軸との角度を とすると, この直線は


　　　　　


と表される. そこで, この p と \theta で, 直線の集合(たとえばある領域と交わる直線の集合など)の測度を


　　　　　


とおき, 以下, 合同変換で不変の条件を考えよう. 直線 (1)で表されるような, 直線の集合 が, 合同変換


　　　　　


によって,



なる直線の集合 X' に変換されたものとする. すると, 上式より


　　　　　


が得られる. ここで, 一様な直線の分布を考えているので, と の測度は等しく, すなわ ち



でなければならない. ところが, 式 (4)から より への変数変換のヤコビアンは1なので, 上式の右辺を変形して



と表すことができ, これは をどのようにとっても成立しなければならないので,


定数


が得られる. そこで とし, を とおいて, これを直線の集合 の密度を表わすとすれば, 直線の集合の測度が式 (2)より


　　　　　


と導かれる. ここで, 図2のような滑らかな曲線ABがあり, その長さを とする. AB上の点Pでこの曲線と交わる直線を , 曲線ABのPにおける接線と とのなす角度を , AからPまでの曲線上の長さを とおく. すると, から への変数変換におけるヤコビアンは となり, 曲線ABと交わる直線のすべては, の範囲を考えればよい. ゆえに



スタイル検討
図２：曲線と直線


となるので, この を曲線 と交わる直線の集合の測度 としてよいかにみえる. ところが上記の積分は曲線 に沿って行なわれたので, この曲線と二つ以上の点で交わる直線については, それぞれの交点で計算されている. したがって, 上記の という値は求めたい測度よりも大きい数値であり, でこの重複を表現すれば



が得られる. ところで, 曲線ABを滑らかなものとして議論してきたが, 滑らかな曲線を有限個つなげたものや, 不連続なものについても, ほとんどいたるところで接線は存在するので, 上式は成立する. そして対象となる曲線と交わらない直線については, と解釈し,


　　　　　


が導かれる. さて, これをもとに, 簡単な図形と交わる直線の集合の測度を求めよう. まず上記の曲線ABが直線分であれば, ほとんどいたるところ なので, 長さ の線分と交わる直線の集合 の測度は


　　　　　


スタイル検討
図３： と交わる確率


となる. 次に曲線が凸閉曲線の場合, ほとんどいたるところ が成立するので, 長さ の凸閉曲線と交わる直線の集合 の測度は


　　　　　


となる. これを用いると, 以下のような確率を簡単に求めることができる. 図3のように凸閉曲線 があって, 長さをそれぞれ, とする. 曲線 に交わる直線の集合を とすれば, に交わる直線が, にも交わる確率 は, 式(8)より


　　　　　


となる.

参考文献

[1] L.A.Santaló, Integral Geometry and Geometric Probability, Addison-Wesley, Reading, Massachusetts, 1976.

[2] 腰塚武志, 「積分幾何学について(1)～(4)」, 『オペレーションズ・リサーチ』, 21 (1976), 524-529, 591-596, 654-659, 711-717.

「https://orsj-ml.org/orwiki/wiki/index.php?title=《積分幾何学》&oldid=4565」から取得