実数の大小関係,集合の包含関係などには一つの共通した性質がある。すなわち,または≧という関係を抽象的にで表すことにすると,
aa ……反射法則
ab,ba ⇒ a=a ……反対称法則
ab,bc ⇒ ac ……推移法則
という3条件を満たす。このようなものを順序関係,または単に順序という。順序関係の与えられた集合を順序集合という。実数の場合と集合の包含関係の大きな違いは,実数の場合は,二つの実数の間に必ず大小関係があることである。そのような場合,全順序であるという。
が一つの順序であるとき,関係を,ab⇔baと定めると,も順序になる。これをもとの順序の双対(順序)という。この意味で,大きいという概念と小さいという概念は双対的である。
執筆者:永田 雅宜
出典 株式会社平凡社「改訂新版 世界大百科事典」改訂新版 世界大百科事典について 情報
宇宙事業会社スペースワンが開発した小型ロケット。固体燃料の3段式で、宇宙航空研究開発機構(JAXA)が開発を進めるイプシロンSよりもさらに小さい。スペースワンは契約から打ち上げまでの期間で世界最短を...
12/17 日本大百科全書(ニッポニカ)を更新
11/21 日本大百科全書(ニッポニカ)を更新
10/29 小学館の図鑑NEO[新版]動物を追加
10/22 デジタル大辞泉を更新
10/22 デジタル大辞泉プラスを更新