Mixing
立体
立体の例: 球体, 角錐, 立方体, トーラス体, 中空円筒, 円柱, 円錐, 結ばれたトーラス体
幾何学における立体（りったい、英: body）あるいは中身のつまった図形 (solid figure) は、その表面となる曲面を記述することによって与えられる三次元の図形である。立体の表面は平坦または曲がった面の小片を繋ぎ合わせてかたち作ることができる。その表面をかたち作る小片が全て平面であるような立体は多面体という。様々な立体に対して、それらの体積や表面積を計算するための公式が存在する（幾何学の公式一覧参照）。より高い次元の図形についても一般にこのような仕方で「立体」を定式化するのは容易であるから、ここで述べた立体のことを特に三次元立体とよぶこともある。
目次
1 定義
2 例
3 立体の種類
3.1 多面体
3.2 凸体
4 応用
5 注
6 参考文献
定義
図形を数学的に定義する方法は様々だが、三次元空間を点の集合と考えるならば、その特別な性質を持つ点からなる部分集合が立体であるということになる。
空間幾何学で扱われる立体は、三次元空間の有界な三次元部分空間であって、その境界となる曲面が有限個の有限の面積を持つ平面または曲面をそれらの境界で貼り合せたものになっている。ここで集合が有界であるとは、それをすべて含むような十分大きな球体が存在することをいう。立体の境界上にある点全体の成す曲面を、その立体の表面と呼ぶ。立体の表面は空間を二つの互いに素な部分集合に分割し、そのうちで一つも直線（線分ではない）を含まないほうをその立体の内部と定める[1]。
幾何学的モデル論における立体は、三次元空間の有界かつ閉な部分集合であって、その内部の閉包が自身に等しいものを言う。与えられた集合がその境界をすべて含むとき完備であると言い、また与えられた集合を全く含む最小の閉集合をその集合の完備化というので、先の立体の条件の三つ目は立体が三次元空間において完備である（低次の領域につぶれていない）ことを保証するものである。これを立体の正則性あるいは一様性と呼ぶことがある。この定義のもとでは、立体は複数の連結成分を持ち得る[2][3]。立体の表面が複数の連結成分からなることもある。いずれにせよそれらの面に向きが与えられていれば、立体をその表面によって記述することができる。それを立体の境界表現ということがある。
例
最もよく知られた立体は、その表面が平坦、円状あるいは球状である。一般に知られた立体の例として、立方体、三角錐、角錐、角柱、八面体、円柱、円錐、球体、トーラス体などが挙げられる。
立体の種類
多面体
多面体はその表面が全て多角形であるような立体である。特に一種類の正多角形のみからなるものを正多面体と呼ぶ。多面体は三次元の有界な図形であって、それを囲む多角形の辺は全て外側にあり有限である。例えば立方体、四面体、切頭二十面体（いわゆるサッカーボール体）など。このような立体は五種類しかない: プラトンの立体はその双対もまたプラトンの立体になる、それ以外にはアルキメデスの立体及びその双対であるカタランの立体、ジョンソンの立体、角柱および反角柱がある。これらの中で一種類で空間充填可能なものは、立方体・三角柱・六角柱・異相双三角柱・切頭八面体の五種類だけである。
凸体
凸である立体を、凸体と呼ぶ。任意の正多面体は凸体である。凸体を（ p-ノルムなどの）ノルムで定義することもできる。
応用
- 立体を詳細に理解する方法として、立体の展開図や（物理的な）立体模型を作ったり、動的空間幾何やCADのソフトフェアが利用できる。
- 様々な立体に体積や表面積を与える公式が知られている。
- 個々の立体に対してそれが持つ対称性は群論に基づいて述べることができる。
- 結晶はそれを構成するユニットを立体として理解することができる。
注
^ (Gellet 1998)
^ (Agoston 2005)
^ (Floriani & Puppo 2000)
参考文献
Tommy Bonnesen, W. Fenchel: Theorie der konvexen Körper. American Mathematical Soc., 1971, ISBN 0828400547.
Walter Gellert, Herbert Kästner, Siegfried Neuber (Hrsg.): Fachlexikon ABC Mathematik. Harri Deutsch, Thun, Frankfurt/Main, Jahr=1998, ISBN 3-871-44336-0, S. 298.
Max K. Agoston: Computer Graphics and Geometric Modelling: Implementation & Algorithms. Springer, 2005, ISBN 978-1-846-28108-2, S. 158.
Leila de Floriani, Enrico Puppo: Representation and conversion issues in solid modelling. In: George Zobrist, C Y Ho (Hrsg.): Intelligent Systems and Robotics. CRC Press, 2000, ISBN 978-9-056-99665-9.
| ||||
