関係的表現定理からストーン双対性への拡張

关系表示定理向斯通对偶性的推广

• 批准号: 22K11913
• 负责人: 西澤 弘毅
• 金额: $ 1.83万
• 依托单位: Kanagawa University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2022
• 资助国家: 日本
• 起止时间: 2022-04-01 至 2026-03-31
• 项目状态: 未结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-22K11913/
• 关键词: 表現定理; 二項関係; ストーン双対性; べき集合; クオンテール; 代数系; 位相空間

集合的表現定理を拡張したストーン双対性の例が数多く知られている一方、べき集合クオンテールの関係的表現定理はストーン双対性へ拡張された例がない。本研究では、べき集合クオンテールの関係的表現定理を拡張したストーン双対性を得ることが最終目的である。そのために、2022年度から2023年度にかけては、表現定理をストーン双対性へ拡張するための申請者自身による2020年の既存手法であるオプファイバー内包理論を一般化し、べき集合クオンテールの関係的表現定理に具体化するための準備をすることが計画されている。オプファイバー内包理論は圏Set上のアイレンベルグムーア圏に適用できた実績があるが、べき集合クオンテールの圏に適用できるかどうか明らかではなかった。しかし、2022年度の研究の成果として、べき集合クオンテールの圏が圏Rel上のアイレンベルグムーア圏であることがわかった。そのため、SetとRelを含む形でオプファイバー内包理論を一般化できれば、べき集合クオンテールの圏にも適用できることがわかった。また、申請者自身による2012年の既存研究で、任意のべき集合クオンテールが，ある二項関係をもとにしたべき集合クオンテールに埋め込めることが証明されているが、埋め込める根本的な理由はわかっていない。今回の成果は、べき集合クオンテールと二項関係の間の1つの強いつながりを意味する成果であり、埋め込める根本的な理由を明らかにする手がかりにもなり得る。

Collection of theorem of を company, zhang し た ス ト ー ン double の cases of seaborne が more く know ら れ て い る side, べ き collection ク オ ン テ ー ル の masato department performance theorem は ス ト ー ン double sex へ seaborne company, zhang さ れ た example が な い. This study で は, べ き collection ク オ ン テ ー ル の masato system performance theorem を company, zhang し た ス ト ー ン double sex を る enough seaborne こ と が final purpose で あ る. そ の た め に, 2022 annual か ら 2023 に か け て は, theorem of を ス ト ー ン double sex seaborne へ company, zhang す る た め の applicants themselves に よ る の 2020 existing technique で あ る オ プ フ ァ イ バ ー insourcing theory を general し, べ き collection ク オ ン テ ー ル の masato embodiment is the performance of the theorem に す る た め の prepare を す る こ と が meter Draw されて されて る. オ プ フ ァ イ バ ー insourcing theory は sha-lu Set on の ア イ レ ン ベ ル グ ム ー ア sha-lu に applicable で き た be performance が あ る が, べ き collection ク オ ン テ ー ル の sha-lu に applicable で き る か ど う か ら Ming か で は な か っ た. の し か し, 2022 annual の research と し て, べ き collection ク オ ン テ ー ル の sha-lu が sha-lu Rel on の ア イ レ ン ベ ル グ ム ー ア sha-lu で あ る こ と が わ か っ た. そ の た め, Set と Rel を containing む form で オ プ フ ァ イ バ ー insourcing theory を general で き れ ば, べ き collection ク オ ン テ ー ル の sha-lu に も applicable で き る こ と が わ か っ た. ま た に applicants themselves よ る の 2012 existing research で, arbitrary の べ き collection ク オ ン テ ー ル が, あ る binomial masato is を も と に し た べ き collection ク オ ン テ ー ル に buried め 込 め る こ と が prove さ れ て い る が, buried め 込 め る fundamental な reason は わ か っ て い な い. Today back to の results は, べ き collection ク オ ン テ ー ル と binomial masato is の の 1 つ の strong い つ な が り を mean す る results で あ り, buried め 込 め る fundamental な reason を Ming ら か に す る hand が か り に も な り る.

项目成果

べき集合クオンテールの別表現の発見

幂集量子尾的另一种表达方式的发现

• 发表时间: 2023
• 作者: 高林俊規;西澤弘毅
• 通讯作者: 西澤弘毅