文献

J-GLOBAL ID：202202237134605456   整理番号：22A0003127

Kantorovich-Rubinstein準計量 II 超空間とパワードメイン【JST・京大機械翻訳】

Kantorovich-Rubinstein quasi-metrics II: Hyperspaces and powerdomains

著者 (1件)： Goubault-Larrecq Jean (Universite Paris-Saclay, CNRS, ENS Paris-Saclay, Laboratoire Methodes Formelles, 91190, Gif-sur-Yvette, France)
資料名： Topology and its Applications  (Topology and its Applications)
巻： 305  ページ： Null  発行年： 2022年 
JST資料番号： A1254A  ISSN： 0166-8641  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： 著者らは,パートIのKantorovich-Rubinstein準計量dKRとdKRaが,プレビジョンの種々の空間に自然に拡張し,特に,パートIの直線プレビジョン(粗く,測度)に拡張することを示した。HoareとSmythのパワードメインの間には,それぞれ,離散サブリニアプレビジョンと離散正規化超線形プリビジョンの空間で使われるように,自然同形写像がある。対応する超空間,すなわち,同じパワードメインに,しかし,代わりに,より低いVietorisと上部Vietorisトポロジーを装備し,これは,いわゆる弱いトポロジーを備えた,事前ビジョンの対応する空間を有するホメオモルフィズムに変わる。これらの同形写像を通して,2つのパワードメインは,それぞれ,よく知られたHausdorffメトリックを暗示する準計量dHとdQを継承する。次に,代数的完全準計量空間のHoareとSmythパワードメインが,それらの準計量によって,再び代数的完全であり,同様に,連続完全準計量空間の対応するパワードメインが連続的完全であることを示した。さらに,連続完全事例において,dH-Scottトポロジーは,より低いVietorisトポロジーと一致し,そして,dQ-Scottトポロジーは,上部Vietorisトポロジーと一致した。Copyright 2022 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 位相幾何学 ,  測度 ,  同形写像 ,  線形性 ,  *超空間 ,  正規化
準シソーラス用語： ホップ数 , 【Automatic Indexing@JST】

著者キーワード (6件)： 準計量 ,  ビジョン ,  パワードメイン(Hoare Smyth) ,  超空間 ,  Kantorovich-Rubinstein準計量 ,  Vietrisトポロジー(下部)

分類 (3件)： 一般相対論及び重力理論  (BA07030F) ,  図形・画像処理一般  (JE04010I) ,  場の理論一般  (BF01021K)

タイトルに関連する用語 (3件)： 計量 ,  パワー ,  ドメイン