平均幅のソースを表示

[[初等幾何学]]における'''平均幅'''（へいきんふく、{{lang-en-short|''mean width''}}）は立体の「大きさ」に関する[[測度]]の一つである（立体の測度として利用可能なもののより詳細は[[ハドヴィガーの定理]]を参照せよ）。

{{mvar|N}}-次元の場合に、{{math|''S''{{sup|''N''&minus;1}}}} 上の与えられた方向 {{mvar|{{hat|n}}}} へ直交する {{math|(''N'' &minus; 1)}}-次元超平面を考える（ここに {{mvar|S{{sup|m}}}} は [[超球面|{{mvar|m}}-次元球面]]（{{math|(''m'' + 1)}}-次元[[球体]]の[[境界 (位相空間論)|境界面]]）である）と、与えられた方向 {{mvar|{{hat|n}}}} への立体の「幅」("width") は、そのような超平面の対でその間に立体を完全に挟む（立体と超平面との交わりは境界上の点に限る）もののうち最も近い対の成す距離を言う。平均幅とは、この「幅」の {{math|''S''{{sup|''N''&minus;1}}}} の全ての方向 {{mvar|{{hat|n}}}} に亘ってとった[[算術平均]]を言う。
<!--[[File:Width in dir n for mean width.png|thumb|二次元における立体 {{mvar|B}} の {{mvar|{{hat|n}}}} 方向への「幅」の定義]]-->

より厳密に、コンパクト立体 {{mvar|B}} をその[[内部 (位相空間論)|内部]]と[[境界 (位相空間論)|境界]]からなる同値な点集合（この場合の点とは {{math|'''R'''{{sup|''N''}}}} の元である）として定義し、立体 {{mvar|B}} の{{ill2|支持函数|en|Support function}}（支持超平面と原点との距離）は <math display="block">h_B(n) := \max\{ \langle n,x\rangle \mid x \in B \}</math> として定まる。ただし {{mvar|n}} は方向ベクトル、{{math|{{angbr}}}} は {{math|'''R'''{{sup|''N''}}}} の[[標準内積]]である。このとき、平均幅は <math display="block">b(B)=\frac{1}{S_{n-1}} \int_{S^{n-1}} h_B(\hat{n})+h_B(-\hat{n})</math> で与えられる。ただし、{{math|''S''{{sub|''n''&minus;1}}}} は {{math|''S''{{sup|''n''&minus;1}}}} の {{math|(''n'' &minus; 1)}}-次元体積とする。

この平均幅は任意の（コンパクト）立体に対して定義することができるが、{{ill2|凸体|en|convex body}}（点集合として[[凸集合]]を成す立体）に関してが最も有用である。

== 低次元における凸体の平均幅 ==
=== 一次元 ===
[[線分]] {{mvar|L}} の平均幅は {{mvar|L}} の長さ（一次元体積）である。

=== 二次元 ===
二次元における任意のコンパクト図形 {{mvar|S}} の平均幅 {{mvar|w}} は {{mvar|S}} の[[凸包]]の[[周長]]を {{mvar|p}} として {{mvar|p/π}} に等しい。したがって {{mvar|w}} はその凸包と等しい周長を持つ円の直径の長さである。

=== 三次元 ===
三次元における凸体 {{mvar|K}} に対して、{{mvar|K}} の平均幅はその{{ill2|平均曲率|en|Mean curvature}} {{mvar|H}} の {{mvar|K}} の境界面全体に亘る算術平均値に関係がある。実は、<math display="block">\int_{\delta K} \frac{H}{2\pi} dS = b(K)</math> が成り立つ（ただし、{{mvar|δK}} は凸体 {{mvar|K}} の境界であり、{{mvar|dS}} は面素で、{{mvar|H}} は {{mvar|δK}} 上の対応する点における平均曲率である）。他の測度と平均曲率の一般化の間にも同様の関係が成り立ち、またほかの次元においても同じである<ref>
{{citation
|last1=Jiazu
|first1=Zhou 
|first2=Jiang
|last2=Deshuo
|title=On mean curvatures of a parallel convex body
|journal=Acta Mathematica Scientia 
|volume=28
|issue=3
|pages=489–494 
|year=2008 
|doi=10.1016/S0252-9602(08)60050-8
}}</ref>
平均曲率上の積分のほうが典型的には平均幅よりも計算がおおきく容易であり、これは非常に有用な結果である。

== 関連項目 ==
* [[定幅図形]]

== 関連項目 ==
{{reflist}}

== 関連文献 ==
平均幅は凸幾何学に関するまともな文献ならばふつうは言及があるはずである。例えば
* {{citation|title=Selected topics in convex geometry|first= Maria |last= Moszyńska |publisher= Birkhäuser |location= Boston |year=2006}} (平均幅と平均曲率の間の関係も導出されている)

[[ハドヴィガーの定理]]に言う測度の一つとしての平均幅の応用は、以下を参照
* {{citation|first=Beifang |last=Chen |contribution= A simplified elementary proof of Hadwiger's volume theorem | journal= Geometriae Dedicata |publisher=Kluwer Academic Publishers |location= Netherlands | volume= 105 |issue=1|year=2004 | pages= 107—120 |issn=1572-9168|doi=10.1023/B:GEOM.0000024665.02286.46}}

{{DEFAULTSORT:へいきんふく}}
[[Category:初等幾何学]]
[[Category:積分幾何学]]
[[Category:数学に関する記事]]