検索結果
ナビゲーションに移動
検索に移動
- [[Category:順序集合論]] …2キロバイト (70 語) - 2014年11月13日 (木) 16:12
- …部分集合は[[下方集合|下方閉]]であることは要求しない。半順序集合の部分集合が有向部分集合であるための必要十分条件は、その下方閉包が[[イデアル (順序集合論)|イデアル]]となることである。有向集合の定義は「上に有向な」集合（任意の二元が上界を持つ）に対するものになっているけれども、同様に任意の二元が下界を [[Category:順序集合論]] …8キロバイト (264 語) - 2024年6月20日 (木) 21:33
- [[Category:順序集合論]] …5キロバイト (211 語) - 2022年8月29日 (月) 12:46
- …空間 {{mvar|E}} と {{mvar|E}} の任意の正元 {{mvar|e}} について、{{mvar|e}} の生成する主[[イデアル (順序集合論)|イデアル]]内の任意の元 {{mvar|f}} に対して、適当な {{mvar|e}}-単関数列 {{math|{{(}}''s''{{ind|'' …4キロバイト (234 語) - 2022年8月30日 (火) 12:44
- [[Category:順序集合論]] …5キロバイト (280 語) - 2021年11月18日 (木) 13:34
- [[Category:順序集合論]] …4キロバイト (307 語) - 2022年11月18日 (金) 12:35
- [[Category:順序集合論]] …5キロバイト (358 語) - 2024年4月2日 (火) 09:10
- …合に対して、その結び（上限）および交わり（下限）の存在が示せる。さらに仮定を増やせば、もっといろいろなことが言える場合もある。{{ill2|完備性 (順序集合論)|en|Completeness (order theory)}}等を参照。そういった文脈では、上記の定義をもっと別の方法、例えば適当な{{ill2| …たすべき条件であるとみなされる。これを順序集合論的に定式化するならば、これらの条件は単に、束準同型というのは二元の交わりと結びを[[極限を保つ写像 (順序集合論)|保つ写像]]であると言っているに過ぎない。有界束の場合に最大元と最小元も保つことは、空集合に関する結びと交わりを保つことで言える。 …32キロバイト (1,479 語) - 2022年8月8日 (月) 12:56
- [[Category:順序集合論]] …11キロバイト (388 語) - 2024年11月22日 (金) 22:09
- [[Category:順序集合論]] …8キロバイト (707 語) - 2021年6月23日 (水) 10:34
- * [[順序集合論]]において、[[完備半順序集合]] (''cpo'') は自然な位相として[[スコット位相]]を持ち、その連続写像の全体がデカルト閉圏を成す（すなわち …12キロバイト (563 語) - 2024年8月25日 (日) 16:59
- {{仮リンク|順序集合論|en|order theory|preserve=1}}では、[[半順序]]に対応する真の順序 (strict partial order) が整礎関 …11キロバイト (541 語) - 2025年1月18日 (土) 00:07
- [[Category:順序集合論]] …13キロバイト (851 語) - 2019年2月7日 (木) 09:36
- 16キロバイト (543 語) - 2024年3月26日 (火) 14:59
- [[Category:順序集合論]] …20キロバイト (1,096 語) - 2024年12月25日 (水) 17:38