径
初等幾何学における図形の径（けい、英: diameter）は、その図形の差し渡しをいう。ギリシア語: διάμετρος（δια-「亙りの」+ μέτρον「大きさ」）[1] に由来する。
円の直径は、その円の中心を通り、両端点がその円周上にある任意の線分であり、またその円の最長の弦でもある。球体の直径についても同様。
より現代的な用法では、任意の直径の（一意な）長さ自身も同じく「直径」と呼ばれる（一つの円に対して線分の意味での直径は無数にあるが、その何れも同じ長さを持つことに注意する。それゆえ（量化を伴わず）単に円の直径といった場合、ふつうは長さとしての意味である）。長さとして、直径は半径 (radius) の二倍に等しい。
平面上の凸図形に対して、その径は図形の両側から接する二本の平行線の間の最長距離として定義される（同様の最小距離は幅 (width) と呼ばれる）。径（および幅）は回転キャリパー法を用いて効果的に計算することができる[2]。ルーローの三角形のような定幅図形では、任意の平行接線が同じ長さを持つから、径と幅は一致する。
注意
いくつか本項に言うものと異なる用語法に従うものが存在することに注意が必要である。
- 回転体の径とは、軸に垂直な弦のうち最長のもの、およびその長さを言うのが通例である。これはまた module[3] (modulus) とも呼ぶ。
- 平面幾何学における楕円に対する標準的な用語法では、楕円の中点を通る任意の弦を径と呼ぶ[4]。両端点における楕円の接線が互いに平行となるような径は共軛径と呼ばれる。また最長の径は長径 (major axis) と言う。同様に、任意の円錐曲線の径は、典型的にはその中心を通る任意の弦として定義される。このような意味の径は（それが円 (離心率 e = 0) でない限り）必ずしも一定の長さを持たない。
定義
円や球や凸図形に対して個別に径を定義する代わりに、それらを特別の場合として含む任意の n-次元図形（凸または非凸、あるいは連続的または散在的な点集合）に対するより一般の径の定義を与えることができる。
- 定義
- 距離空間の空でない部分集合の径とは、その部分集合に属する点の任意の対の間の距離全体の成す集合の上限を言う。
- 式では、距離空間 (X, d) の部分集合 A ≠ ∅ に対し[math]\operatorname{diam}(A) := \sup\{d(x,y)\mid x,y\in A\}[/math]と書ける。
- 注意
- 多くの文献では、部分集合 A が空集合である場合への言及を行わない[5]。
- いくつかの文献では、上記の定義を空集合に対しても拡張して、diam(∅) = sup(∅) = −∞（負の無限大）とする[6][7]。ここで sup(∅) の値は考えている全体集合によって変化する相対的なものであることに注意しなければならない。−∞ とするのは、いま d の終域を実数直線 R と考えていることによる（上限は補完数直線 R ∪ {±∞} に値をとることに注意）[8]。
- あるいは別の規約として、diam(∅) = 0 とするものもある[9]。これは d の終域を非負実数全体 [0, +∞) と見なすことに対応する[10]。
- 空でない部分集合 A の径が有限な正の実数となるのは A が有界なるときであり、さもなくば diam(A) = +∞ である。
- n-次元ユークリッド空間内の任意の（中身の詰まった）立体あるいは散在点集合の径は、その凸包の径に等しい。
- 微分幾何学において、径は重要な大域リーマン不変量である。
例
直径記号
直径記号 ⌀ は、空集合の記号 ∅ やギリシャ文字大文字イタリックの Φ あるいは北欧系母音の Ø とは異なるから混同すべきではない[11]。
製図などの分野では直径を表す記号として、ラテン文字のØに似た直径記号ファイル:Boundy diameter.svg（まる）が用いられる。これは丸印○に、ゼロ0と区別をつけるための斜線を入れたものとされる。ギリシア文字Φとの字形の類似から「ファイ」と読まれることもある。パイと読まれることがあるがファイの聞き間違いからきたと思われる。JIS Z 8317では「まる」とされ、その後の改定で「ふぁい」という読み方も記載された[12]。直径記号はUnicodeのU+2300として登録されている。
| 記号 | Unicode | JIS X 0213 | 文字参照 | 名称 |
|---|---|---|---|---|
| ⌀ | U+2300 |
- |
⌀⌀ |
DIAMETER SIGN |
注
- ↑ Online Etymology Dictionary
- ↑ Toussaint, Godfried T. (1983). Solving geometric problems with the rotating calipers. Proc. MELECON '83, Athens.
- ↑ テンプレート:CNRTL (consulté le 21 mai 2016).
- ↑ Cut-the-Knot
- ↑ 5.0 5.1 テンプレート:Bourbaki-Topologie テンプレート:Abréviation IX.14.
- ↑ テンプレート:Ouvrage.
- ↑ テンプレート:Ouvrage.
- ↑ (PDF) 集合と位相第一講義資料 11, p. 4
- ↑ テンプレート:Ouvrage.
- ↑ Re: diameter of an empty set
- ↑ Korpela, Jukka K. (2006), Unicode Explained, O'Reilly Media, Inc., pp. 23–24, ISBN 978-0-596-10121-3.
- ↑ JIS Z8317-1 2008 製図－寸法及び公差の記入方法－第1部：一般原則