講演抄録/キーワード |
講演名 |
2010-01-25 10:55
距離等分の存在 今井桂子(中大)・○河村彰星(トロント大)・徳山 豪(東北大)・イルジ マトウシェク(カレル大)・ダニエル レエム(イスラエル工科大) COMP2009-41 |
抄録 |
(和) |
距離空間内の空でない二集合P,Qから等距離にある点の全体をP,Q間の距離二等分という.列C_1,…,C_{k-1}であって各C_iがC_{i-1}とC_{i+1}との距離二等分であるもの(但しC_0=P,C_k=Qと考える)をP,Q間の距離k等分という.この概念は回路設計についての村田の問をもとに淺野,マトウシェク,徳山が導入し,PとQとがユークリッド平面内の点でありkが3であるときに限りその存在と唯一とを既に示した.本稿ではより一般に固有測地空間内の空でなく交らない二閉集合間に距離k等分が存在することを示す(一意性は不明).証明においては,二集合間のk階層という概念を定義し,その存在をタルスキ不動点定理によって示す.これはレエム,ライクが似た問題に対して用いた手法である. |
(英) |
The bisector of two nonempty sets P and Q in a metric space is the set of all points with equal distance to P and to Q. A distance k-sector of P and Q, where k is an integer, is a (k-1)-tuple (C_1, C_2, ..., C_{k-1}) such that C_i is the bisector of C_{i-1} and C_{i+1} for every i = 1, 2, ..., k-1, where C_0 = P and C_k = Q. This notion, for the case where P and Q are points in Euclidean plane, was introduced by Asano, Matousek, and Tokuyama, motivated by a question of Murata in VLSI design. They established the existence and uniqueness of the distance trisector in this special case. We prove the existence of a distance k-sector for all k and for every two disjoint, nonempty, closed sets P and Q in Euclidean spaces of any (finite) dimension, or more generally, in proper geodesic spaces (uniqueness remains open). The core of the proof is a new notion of k-gradation for P and Q, whose existence (even in an arbitrary metric space) is proved using the Knaster-Tarski fixed point theorem, by a method introduced by Reem and Reich for a slightly different purpose. |
キーワード |
(和) |
距離の等分 / タルスキの不動点定理 / / / / / / |
(英) |
distance k-sector / Tarski fixed point theorem / / / / / / |
文献情報 |
信学技報, vol. 109, no. 391, COMP2009-41, pp. 17-22, 2010年1月. |
資料番号 |
COMP2009-41 |
発行日 |
2010-01-18 (COMP) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
COMP2009-41 |
|