中身の詰まったトーラス
初等幾何学における中身の詰まったトーラス(なかみのつまったトーラス、英: solid torus; ソリッドトーラス、トーラス体)は、一つの円周に沿って円板が掃く領域として定まる回転体である。位相的には、一つのハンドル体のみを持つ(すなわち種数 1 の)コンパクト図形である。
中身の詰まったトーラスを図示するには三次元空間に埋め込まれたトーラス形(トロイド)として描くのが標準的な方法であるが、図示の仕方によっては互いに区別すべきトーラスと同様の見た目になることがある。トーラスとはトーラス形の表面(境界面)を成す二次元の図形のことであり、トーラスに囲まれる有界領域はソリッドトーラスの一種となる。
位相幾何学におけるソリッドトーラスは、円板 D と円周 S との直積集合 S × D に直積位相を入れたものに同相であるな位相空間を言う。
ソリッドトーラスは連結コンパクトかつ向き付け可能な三次元の境界付き多様体で、その境界は通常のトーラス S × S に同相である。
円板 D は可縮ゆえ、ソリッドトーラスは円周 S のホモトピー型を持つ。したがってソリッドトーラスの基本群およびホモロジー群は円周のそれに同型となる:
π 1 ( S 1 × D 2 ) ≅ π 1 ( S 1 ) ≅ Z , {\displaystyle \pi _{1}(S^{1}\times D^{2})\cong \pi _{1}(S^{1})\cong \mathbb {Z} ,}
H k ( S 1 × D 2 ) ≅ H k ( S 1 ) ≅ { Z if k = 0 , 1 , 0 otherwise . {\displaystyle H_{k}(S^{1}\times D^{2})\cong H_{k}(S^{1})\cong {\begin{cases}\mathbb {Z} &{\text{if }}k=0,1,\\0&{\text{otherwise}}.\end{cases}}}
ソリッドトーラスの体積は V = 2 π 2 r 2 R {\displaystyle V=2\pi ^{2}r^{2}R} で与えられる。
この公式を、円板の面積 A r = π r 2 {\displaystyle A_{r}=\pi r^{2}} と中心軌跡(円周の長さ) U R = 2 π R {\displaystyle U_{R}=2\pi R} を掛けたものと解釈することができる。これは円柱体の体積が V cylinder = π r 2 l {\displaystyle V_{\text{cylinder}}=\pi r^{2}l} であるのと同様である。表面積の計算も同様にできて、ここでは二つの円周 U r = 2 π r {\displaystyle U_{r}=2\pi r} と U R = 2 π R {\displaystyle U_{R}=2\pi R} の積に等しい。これもやはり円柱の側面積が O cylinder = 2 π r l {\displaystyle O_{\text{cylinder}}=2\pi rl} であることに対応する。