抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
JonssonとTarskiの一般化結果,Madduxは対密関係代数の概念を導入し,すべての対密度関係代数が表現可能であることを証明した。同一性要素の下の対の概念は,関係代数学の等しいフレームワークの中で容易に定義できる。3重,4重,またはより一般的には,サイズ(または測度)n>2の要素はこの枠組み内で定義できず,従って,Madduxの定理は一般化できないと思われる。しかし,Madduxの結果の非常に遠く到達する一般化は,関係代数の等式フレームワークの外側にあるならば,一次理論の枠組み内ではなく仕事を行うことが可能であることが分かった。さらに,この一般化はMadduxの定理だけでなく,JonssonとTarskiの以前の結果に対しても多くの光を与える。本論文では,任意の基本数n>0に対してnを測定する関係代数における同一要素の下の原子の概念を定義し,その同一性要素がいくつかの(有限または無限)測度を持つ原子の和であるならば,関係代数を測定できることを定義した。本論文の主目的は,グループのシステムを用いてグループ関係代数の大きなクラスを構築することであり,商同形の対応するシステム(単一グループを用いた古典的な例の代わりに,その複雑な代数を形成する)を構築し,これらの代数の各々が測定可能な集合関係代数の例であることを証明することである。次の論文において,混合物に第3の成分を加えることによって,用例のクラスを大いに拡大することができた。すなわち,「シフト」コセットのシステムであった。集合関係代数と呼ばれる拡張クラスは,すべての原子,測定可能な関係代数が基本的に同形関係代数に同形であるという表現定理を証明するのに十分大きい。Copyright 2018 Springer International Publishing AG, part of Springer Nature Translated from English into Japanese by JST.【JST・京大機械翻訳】