<html xmlns="http://www.w3.org/1999/xhtml"><head></head><body><p><anchor-end xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:" a0:anchor="2" xmlns:a0="urn:x-suika-fam-cx:markup:suikawiki:0:9:">[2]</anchor-end> 
<dfn><rubyb xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">位相<rt xmlns="http://www.w3.org/1999/xhtml">topology</rt></rubyb></dfn>は、
<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">オブジェクト</anchor>間の<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">時間<title xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:10:">時間 (ISO 19108)</title></anchor>連結性に関する情報を示します。
ときには<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">時間<title xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:10:">時間 (ISO 19108)</title></anchor>における<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">地物</anchor>の<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">順序</anchor>の情報を示すこともできます。
<src xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:10:"><anchor-internal xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:" a0:anchor="1" xmlns:a0="urn:x-suika-fam-cx:markup:suikawiki:0:9:">&gt;&gt;1</anchor-internal> 5.2.4.1</src></p><p><anchor-end xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:" a0:anchor="3" xmlns:a0="urn:x-suika-fam-cx:markup:suikawiki:0:9:">[3]</anchor-end> 一方で、<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">位相</anchor>は、<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">時間位置</anchor>の情報は示しません。
<src xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:10:"><anchor-internal xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:" a0:anchor="1" xmlns:a0="urn:x-suika-fam-cx:markup:suikawiki:0:9:">&gt;&gt;1</anchor-internal> 5.2.4.1</src></p><note xmlns="urn:x-suika-fam-cx:markup:ietf:html:3:draft:00:"><p xmlns="http://www.w3.org/1999/xhtml"><anchor-end xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:" a0:anchor="4" xmlns:a0="urn:x-suika-fam-cx:markup:suikawiki:0:9:">[4]</anchor-end> <anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">位相</anchor>関係は<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">幾何<title xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:10:">TM_GeometricPrimitive</title></anchor>情報から導出できることもありますが、
<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">時間位置</anchor>データは必ずしもこの導出に適していないため、
<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">位相</anchor>を明記することが必要な場合があります。
また、
導出できるとしても、
<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">位相</anchor>を明記していることが要件なら、<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">位相</anchor>を用いることができます。
<src xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:10:"><anchor-internal xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:" a0:anchor="1" xmlns:a0="urn:x-suika-fam-cx:markup:suikawiki:0:9:">&gt;&gt;1</anchor-internal> 5.2.4.1</src></p></note><p><anchor-end xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:" a0:anchor="5" xmlns:a0="urn:x-suika-fam-cx:markup:suikawiki:0:9:">[5]</anchor-end> <dfn><rubyb xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">位相プリミティブ<rt xmlns="http://www.w3.org/1999/xhtml">topological primitive</rt></rubyb></dfn>すなわち
<dfn><code>TM_TopologicalPrimitive</code></dfn>
は、
単独で不可分な<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">位相</anchor>要素を表現するものです。
<src xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:10:"><anchor-internal xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:" a0:anchor="1" xmlns:a0="urn:x-suika-fam-cx:markup:suikawiki:0:9:">&gt;&gt;1</anchor-internal> 5.2.4.2</src>
<code>TM_Primitive</code>、 <code>TM_Object</code> を<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">継承</anchor>し、
<code>TM_Order</code> を<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">利用<title xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:10:">利用 (UML)</title></anchor>します。</p><p><anchor-end xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:" a0:anchor="6" xmlns:a0="urn:x-suika-fam-cx:markup:suikawiki:0:9:">[6]</anchor-end> <code>TM_TopologicalPrimitive</code> には、
0次元の <code>TM_Node</code> と、
1次元の <code>TM_Edge</code> があります。
<src xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:10:"><anchor-internal xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:" a0:anchor="1" xmlns:a0="urn:x-suika-fam-cx:markup:suikawiki:0:9:">&gt;&gt;1</anchor-internal> 5.2.4.2</src></p><p><anchor-end xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:" a0:anchor="7" xmlns:a0="urn:x-suika-fam-cx:markup:suikawiki:0:9:">[7]</anchor-end> <anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">位相プリミティブ</anchor>は連結性に関する情報を示すためのもので、
相互の関係が最も重要な特性とされています。
<src xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:10:"><anchor-internal xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:" a0:anchor="1" xmlns:a0="urn:x-suika-fam-cx:markup:suikawiki:0:9:">&gt;&gt;1</anchor-internal> 5.2.4.2</src>
<sw-see xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:"> Initiation, Termination (<anchor>TM_Node</anchor>, <anchor>TM_Edge</anchor>) </sw-see></p><comment-p xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:10:"><anchor-end xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:" a0:anchor="9" xmlns:a0="urn:x-suika-fam-cx:markup:suikawiki:0:9:">[9]</anchor-end> <anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">幾何プリミティブ</anchor>には0次元の <code xmlns="http://www.w3.org/1999/xhtml">TM_Instant</code> 
と1次元の <code xmlns="http://www.w3.org/1999/xhtml">TM_Period</code>
があり、<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">時間軸</anchor>上の点と区間を表しています。
<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">幾何プリミティブ</anchor>は<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">時間軸</anchor>上の特定の位置に紐付いていますが、
<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">位相プリミティブ</anchor>はその<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">時間軸</anchor>との絶対的な関係性を取り去り、
かわりに相互の順序関係に重きを置いたものとなっています。
node は瞬間、 edge は期間と言い換えることもできるのでしょうが、
この違いを明確にするため別の語を使っていると思われます。</comment-p><p><anchor-end xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:" a0:anchor="8" xmlns:a0="urn:x-suika-fam-cx:markup:suikawiki:0:9:">[8]</anchor-end> <anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">位相プリミティブ</anchor>は、
<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">位相複体</anchor>すなわち <code>TM_TopologicalComplex</code> 中に含めることができます。
<src xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:10:"><anchor-internal xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:" a0:anchor="1" xmlns:a0="urn:x-suika-fam-cx:markup:suikawiki:0:9:">&gt;&gt;1</anchor-internal> 5.2.4.2</src>
実用上、例えば <code>TM_Order</code> の<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">比較</anchor>演算を機能させるために、
<code>TM_TopologicalComplex</code> を適切に定義することは必須のようです。</p><example xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:"><p xmlns="http://www.w3.org/1999/xhtml"><anchor-end xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:" a0:anchor="15" xmlns:a0="urn:x-suika-fam-cx:markup:suikawiki:0:9:">[15]</anchor-end> 例えば<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">縄文時代</anchor>、<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">江戸時代</anchor>などの
「日本の歴史時代」
を<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">位相</anchor>として記述したい場合、
各時代が <code>TM_Edge</code> となり、
江戸開府など時代の結節点となるできごとが
<code>TM_Node</code>
となり、
「日本の歴史時代」という全体が <code>TM_TopologicalComplex</code> となると思われます。
<code>TM_TopologicalComplex</code> 内には各時代の <code>TM_Node</code> と <code>TM_Edge</code>
が時代順で含まれます。</p></example><p><anchor-end xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:" a0:anchor="16" xmlns:a0="urn:x-suika-fam-cx:markup:suikawiki:0:9:">[16]</anchor-end> <anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">時間位相オブジェクト</anchor>は、
<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">地物</anchor>や<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">データ集合</anchor>の<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">時間特性</anchor>を示す値として使わなければなりません。
<src xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:10:"><anchor-internal xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:" a0:anchor="1" xmlns:a0="urn:x-suika-fam-cx:markup:suikawiki:0:9:">&gt;&gt;1</anchor-internal> 5.2.2</src></p><p><anchor-end xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:" a0:anchor="10" xmlns:a0="urn:x-suika-fam-cx:markup:suikawiki:0:9:">[10]</anchor-end> <anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">位相プリミティブ</anchor>は次の関係を持ちます。</p><figure class="list members"><figcaption><anchor-end xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:" a0:anchor="11" xmlns:a0="urn:x-suika-fam-cx:markup:suikawiki:0:9:">[11]</anchor-end> <code>TM_TopologicalPrimitive</code></figcaption><dl><dt><f xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">geometry</f></dt><dd>
対応する<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">幾何プリミティブ</anchor>。
<sw-see xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:"> <code xmlns="http://www.w3.org/1999/xhtml">TM_Node</code>, <code xmlns="http://www.w3.org/1999/xhtml">TM_Edge</code> </sw-see></dd><dt><dfn><f xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">complex</f></dfn></dt><dd>
要素として含まれる <code>TM_TopologicalComplex</code>。
(関係 Complex、任意個)</dd></dl></figure><figure class="quote"><figcaption><anchor-end xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:" a0:anchor="1" xmlns:a0="urn:x-suika-fam-cx:markup:suikawiki:0:9:">[1]</anchor-end> <anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">JIS X 7108:2004</anchor></figcaption><blockquote><dl><dt>4.1.37 位相プリミティブ (topological primitive)</dt><dd>
単独の不可分な要素を表す<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">位相オブジェクト</anchor> (<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">ISO 19107</anchor>)。<note xmlns="urn:x-suika-fam-cx:markup:ietf:html:3:draft:00:"><p xmlns="http://www.w3.org/1999/xhtml"><b>備考</b>
<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">位相プリミティブ</anchor>は,
<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">幾何実現</anchor>
(<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">ISO 19107</anchor> 参照)
によって同じ<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">次元</anchor>の<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">幾何プリミティブ</anchor>の<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">境界</anchor>の内側に対応する。</p></note></dd></dl></blockquote></figure><section><h1>グラフの形態</h1><p><anchor-end xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:" a0:anchor="12" xmlns:a0="urn:x-suika-fam-cx:markup:suikawiki:0:9:">[12]</anchor-end> <code>TM_Node</code> の <f xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">previousEdge<title xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:10:">TM_Node</title></f> や <f xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">nextEdge<title xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:10:">TM_Node</title></f>
に複数の <code>TM_Edge</code> を含めることができ、<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">非線形</anchor><anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">位相</anchor>を表す<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">非線形</anchor><anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">グラフ</anchor>となります。
そのような <code>TM_Node</code> からわかれる <code>TM_Edge</code>
は、異なる<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">地物</anchor>の<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">時間特性</anchor>や、
同じ<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">地物</anchor>の異なる<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">時間特性</anchor>を表現するため、何らかの方法で分離したものとみなします。
<src xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:10:"><anchor-internal xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:" a0:anchor="1" xmlns:a0="urn:x-suika-fam-cx:markup:suikawiki:0:9:">&gt;&gt;1</anchor-internal> 5.2.4.6.1</src></p><p><anchor-end xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:" a0:anchor="13" xmlns:a0="urn:x-suika-fam-cx:markup:suikawiki:0:9:">[13]</anchor-end> しかし<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">時間<title xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:10:">時間 (ISO 19108)</title></anchor>は単一<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">次元</anchor>ですから、
<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">時間位相</anchor>は<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">線形</anchor><anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">グラフ</anchor>と表現することが望ましいです。
そのような<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">線形</anchor><anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">位相</anchor>の <code>TM_TopologicalComplex</code> にあっては
<code>TM_Edge</code> と <code>TM_Node</code> は交互に出現し、
最初の<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">位相プリミティブ</anchor>は最初の <code>TM_Edge</code> の <f xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">start<title xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:10:">TM_Edge</title></f>
の <code>TM_Node</code> であり、
最後<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">位相プリミティブ</anchor>は最後の <code>TM_Edge</code> の <f xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">end<title xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:10:">TM_Edge</title></f>
の <code>TM_Node</code> であって、それ以外の <code>TM_Node</code>
は必ず <f xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">previousEdge</f> と <f xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">nextEdge</f> の <code>TM_Edge</code>
を1つずつ有することとなります。
<src xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:10:"><anchor-internal xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:" a0:anchor="1" xmlns:a0="urn:x-suika-fam-cx:markup:suikawiki:0:9:">&gt;&gt;1</anchor-internal> 5.2.4.6.2</src></p><example xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:"><p xmlns="http://www.w3.org/1999/xhtml"><anchor-end xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:" a0:anchor="14" xmlns:a0="urn:x-suika-fam-cx:markup:suikawiki:0:9:">[14]</anchor-end> 
例えば<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">天皇</anchor>の在位期間を <code>TM_Edge</code> で表すことにすると、
<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">南北朝時代</anchor>などに複数同時在位があるため<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">非線形</anchor>グラフで表現せざるを得ないことになります。</p></example></section><section><h1>関連</h1><p><anchor-end xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:" a0:anchor="17" xmlns:a0="urn:x-suika-fam-cx:markup:suikawiki:0:9:">[17]</anchor-end> <anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">編年</anchor></p></section><section><h1>メモ</h1></section></body></html>