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

提供: 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のように, 直線 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle g\, } があって, 原点からこれに下ろした垂線の長さを 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle p\, } , 垂線と 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle x\, } 軸との角度を 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \theta\, } とすると, この直線は


構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle x\cos \theta+y\sin \theta=p \, } 　　　　　構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle (1)\, }


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


構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle m(X)=\int_{X}f(p,\theta)\; \mbox{d}p \; \mbox{d}\theta \, } 　　　　　構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle (2)\, }


とおき, 以下, 合同変換で不変の条件を考えよう. 直線 (1)で表されるような, 直線の集合 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle X\, } が, 合同変換


構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \begin{array}{lll} x' &=& x\cos \alpha-\sin \alpha+a \\ y' &=& x\sin \alpha+y \cos \alpha+b \end{array}\, } 　　　　　構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle (3)\, }


によって,


構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle x'\cos\theta'+y'\sin\theta'=p' \, }


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


構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \begin{array}{lll} \theta &=& \theta'-\alpha, \\ p &=& p'-a\cos \theta'-b\sin \theta' \end{array}\, } 　　　　　構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle (4)\, }


が得られる. ここで, 一様な直線の分布を考えているので, 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle X\, } と 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle X' \, } の測度は等しく, すなわ ち


構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \int_{X}f(p,\theta)\; \mbox{d}p \; \mbox{d}\theta=\int_{X}f(p',\theta') \; \mbox{d}p' \; \mbox{d}\theta'\, }


でなければならない. ところが, 式 (4)から 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle (p',\theta')\, } より 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle (p,\theta)\, } への変数変換のヤコビアンは1なので, 上式の右辺を変形して


構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \int_{X}f(p,\theta)\; \mbox{d}p \; \mbox{d}\theta=\int_{X}f(p',\theta')\; \mbox{d}p \; \mbox{d}\theta }


と表すことができ, これは 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle X\, } をどのようにとっても成立しなければならないので,


構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle f(p,\theta)=c\, } 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle ( \, } 定数構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle ) \, }


が得られる. そこで 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle c=1 \, } とし, 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \mbox{d}p \; \mbox{d} \theta \, } を とおいて, これを直線の集合 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle G \, } の密度を表わすとすれば, 直線の集合の測度が式 (2)より


構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle m(X)=\int_X \mbox{d}G\, } 　　　　　構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle (5)\, }


と導かれる. ここで, 図2のような滑らかな曲線ABがあり, その長さを 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle L \, } とする. AB上の点Pでこの曲線と交わる直線を 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle g\, } , 曲線ABのPにおける接線と 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle g\, } とのなす角度を 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \varphi \, } , AからPまでの曲線上の長さを 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle s \, } とおく. すると, 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle (p,\theta) \, } から 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle (s,\varphi) \, } への変数変換におけるヤコビアンは 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle |\sin\varphi| \, } となり, 曲線ABと交わる直線のすべては, 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle 0\leq s\leq L, 0\leq\varphi \leq \pi \, } の範囲を考えればよい. ゆえに



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


となるので, この 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle 2L \, } を曲線 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle AB \, } と交わる直線の集合の測度 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \int\mbox{d}p \; \mbox{d}\theta \, } としてよいかにみえる. ところが上記の積分は曲線 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle AB\, } に沿って行なわれたので, この曲線と二つ以上の点で交わる直線については, それぞれの交点で計算されている. したがって, 上記の という値は求めたい測度よりも大きい数値であり, 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle n(p,\theta) \, } でこの重複を表現すれば


構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \int{n}(p,\theta) \; \mbox{d}p \; \mbox{d}\theta=2L\, }


が得られる. ところで, 曲線ABを滑らかなものとして議論してきたが, 滑らかな曲線を有限個つなげたものや, 不連続なものについても, ほとんどいたるところで接線は存在するので, 上式は成立する. そして対象となる曲線と交わらない直線については, 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle n(p,\theta)=0 \, } と解釈し,


構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \int{n}\mbox{d}G=2L\, } 　　　　　構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle (6)\, }


が導かれる. さて, これをもとに, 簡単な図形と交わる直線の集合の測度を求めよう. まず上記の曲線ABが直線分であれば, ほとんどいたるところ 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle n=1 \, } なので, 長さ 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle L \, } の線分と交わる直線の集合 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle X \, } の測度は


　　　　　構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle (7)\, }


スタイル検討
図３：構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle C\, } と交わる確率


となる. 次に曲線が凸閉曲線の場合, ほとんどいたるところ 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle n=2 \, } が成立するので, 長さ 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle L \, } の凸閉曲線と交わる直線の集合 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle X \, } の測度は


構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle m(X)=\int\mbox{d}G=L\, } 　　　　　構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle (8)\, }


となる. これを用いると, 以下のような確率を簡単に求めることができる. 図3のように凸閉曲線 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle C_0,C \, } があって, 長さをそれぞれ, 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle L_0,L \, } とする. 曲線 に交わる直線の集合を 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle X_0,X \, } とすれば, に交わる直線が, 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle C\, } にも交わる確率 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle P \, } は, 式(8)より


構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle P=m(X)/m(X_0)=L/L_0\, } 　　　　　構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle (9)\, }


となる.

参考文献

[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」から取得