あなたは以下の図形
にいくつ穴があるか求めるようお客様に要求されたとします。
灰色の部分は面で埋まっているとします。
灰色の部分は面で埋まっているとします。
あなたはこう答えたいです。
だっても何も、図形 の穴は
がなす三角形の1個だからです。
しかし、これではお客様へ要件定義の説明責任を果たせません。というか要件定義していません。
あなたの出した結論が、バグがない、品質のよいものなのかどうか全くわかりません。
また、より複雑な図形になったとき、同じようには対応できないかもしれません。
そこで、再現可能な手続きでもって求め直したいと思います(以下)。
- まず頂点と辺と面を列挙してください。
- チェイン複体を構成してください。
は各頂点に係数を掛けて足したもののなす空間だと思ってください。図形
には頂点が5つあるので
になります。ここで、簡単のため & 今回の目的を満たすのに十分なため、係数のとりうる値は
としました。場合によっては
とか
かもしれないので気を付けてください。
境界作用素は、「辺の係数空間から頂点の係数空間への写像(
から
への写像)」「面の係数空間から辺の係数空間への写像(
から
への写像)」とでもいうべき写像ですが、ここでは上のように行列表示できるものと定義します。なぜこうしたのかは、何となくわかるかもしれませんが、
の1列目が「辺
は頂点
と頂点
を境界としてもつ」に対応しています。これはチェイン複体の境界作用素への要請
を満たします。
ここで便宜上、写像を行列であるかのように書いています。
- あとは1次ホモロジー群
の次元を求めてください。線形代数の基礎知識によります。
- 剰余群をとる操作は、集合「
= 図形
に含まれる全ての(係数の重み付き)閉じたループ(辺のセット)」の元の中で、集合「
= 図形
に含まれる(係数の重み付き)閉じたループであって面で埋まっているもの」の元の差しかないものを同一視することに相当します。
の元を数えるとは、全ての閉じた(係数の重み付き)ループをカウントするが、中が面で埋まったループがくっついているかどうかの違いしかない場合は重複してカウントしない、ということになります。
の元の数をそのまま見てしまうと各辺に係数の重みを課す分無数にあるので、穴の数をとるには係数空間の次元を取ります。
- 同様に、
で連結成分の数、
で空洞の数も求まる。というより、「図形
の連結成分の数」「図形
の穴の数」「図形
の空洞の数」をこの量で定義した、といった方が正しい。
- 剰余群をとる操作は、集合「
参考文献