抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
ラベル付きMarkovプロセス(LMP)は,Sからそれ自身までのMarkovカーネルの索引付きファミリーと共に測定可能な空間Sから成る。この構造を用いて,コンピュータ科学における確率的計算をモデル化し,その領域における主な問題の1つは,2つのLMP SとS’が同一であるかどうかを定義,決定することである。LMP Tが存在して,形状S←T→S’のダイアグラムを形成する保存地図を測定するとき,SとS’が双相似性である挙動の同一性の2つの自然カテゴリー定義がある。そして,二重ダイアグラムS→U←S’を形成するいくつかのUとマップが存在するならば,それらは挙動的に等価である。これらの2つの概念は,一般的な測定可能な空間に対して異なるが,Doberkat(Edalatによる結果を拡張する)は,それらが解析的Borel空間に対して一致し,あらゆるダイアグラムS→U←S’が上記のように双相似性図を得ることができることを示した。さらに,測定保存マップの得られた正方形は,交換的(半プルバック)である。本論文では,有限付加測度の共通拡張に関するStrassen定理のバージョンを用いて,Borelσ代数のトレースを持つポーランド空間の普遍的に測定可能な部分集合に対して,以前の結果を測定可能な空間S同形に拡張する。【JST・京大機械翻訳】