文献

J-GLOBAL ID：202202287167729234   整理番号：22A0833402

適合の厳密性と強い厳密性のいくつかの一般的側面【JST・京大機械翻訳】

Some general aspects of exactness and strong exactness of meets

著者 (3件)： Moshier M. Andrew (CECAT, Chapman University, Orange, CA 92688, USA) ,  Picado Jorge (CMUC, Department of Mathematics, University of Coimbra, 3001-501 Coimbra, Portugal) ,  Pultr Ales (Department of Applied Mathematics, MFF, Charles University, Malostranske nam. 24, 11800 Praha 1, Czech Republic)
資料名： Topology and its Applications  (Topology and its Applications)
巻： 309  ページ： Null  発行年： 2022年 
JST資料番号： A1254A  ISSN： 0166-8641  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： 分配格子における正確な適合は,すべてのb,(∧もつ)∨bb=∧(ai∨b)に対して,満足する∧iである。フレームにおける強い正確な適合は,すべてのフレーム同形写像によって保存される。有限適合は自明で(強く)正確であった。この自然は,全ての正確な応答で厳密に正確なフィルタを閉じる厳密な厳密フィルタの概念をもたらす。その結果,全ての厳密なフィルタの部分集合は,フレーム上のアップセットフレームのサブ局所であり,従って,フレーム自体,そして,いくつかの驚くべきことに,それらは,閉じたサブ局所によって生成されたサブ局所の有用なフレームSc(L)と,オープンサブローカルによって生成されたコフレームの2重項とは,同形である。本論文では,これらがはるかに一般的な事実の特殊事例であることを示した。後者は,コフレームへの接合-半格子の自由拡張に関する。一般的結合-ホモモルフィックφ:S→C(ここでSは接合-半格子とCは共フレームである)と,関連する(随伴)共局所写像は,C上の一般化強厳密フィルタ(φ-preciseフィルタ)と閉鎖演算子のフレームを生成し,C上の閉鎖演算子(C上の小さな点-any閉鎖演算子)を創り出す。。各共フレーム同形写像は,一般化強厳密フィルタ(φ-preciseフィルタ)と閉鎖演算子のフレームを創り出せる。”C上では,C上の閉鎖演算子”と,C上の閉鎖演算子(従って,C上の閉鎖演算子)を創り出せるように,各共フレーム同形写像は,一般化強厳密フィルタ(φ-preciseフィルタ)と閉鎖演算子のフレームを生成する。前者の事例は,わずかに多く含まれている:ここでは,ψ:S→Cの揚力と接続した厳密性(ψ-厳密性)の概念の拡張を,より一般的な分散完全格子C生成,再び,ψ-厳密フィルタのフレームで補完した。応用として,もしそのようなCが補完された要素によって結合生成(resp.comped)されるならば,それはフレーム(resp.coframe)説明,例えば,サブ局所の格子のコフレーム特性,およびフレームSc(L)のそれをそれに埋め込む(探索的逆説的),であると学習する。Copyright 2022 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 写像 ,  接合 ,  フィルタ ,  揚力 ,  *フレーム ,  同形写像 ,  逆理 ,  二重項

著者キーワード (7件)： フレーム ,  コフレーム ,  地方 ,  サブローカル ,  開放型および閉じた部分領域 ,  正確な適合とフィルタ ,  強く正確な適合とフィルタ

分類 (3件)： ロボットの運動・制御  (IC04012J) ,  信号理論  (ND02020G) ,  数値計算  (JE02000J)