「順序集合」の版間の差分
削除された内容 追加された内容
Mikadukimooo (会話 | 投稿記録) →{{anchors|上界|下界|上限|下限|最大|最小|極大|極小}}上界、最大、極大、上限、上方集合: 論理記号やresp. を使わない形に変更。 |
Mikadukimooo (会話 | 投稿記録) |
||
118行目:
=== 定義 ===
* {{mvar|x}} が {{mvar|A}} の'''上界'''であるとは、
* {{mvar|x}} が {{mvar|A}} の'''上限'''であるとは、{{mvar|x}} が {{mvar|A}} の上界全体の集合の最小元となること。
* {{mvar|x}} が {{mvar|A}} の'''最大元'''であるとは、{{mvar|x}} は {{mvar|A}} の元であり、かつ {{mvar|x}} は {{mvar|A}} の上界であること。
* {{mvar|x}} が {{mvar|A}} の'''極大元'''であるとは、{{mvar|x}} は {{mvar|A}} の元であり、かつ {{math|''y'' > ''x''}} を満たす {{math|''y'' ∈ ''A''}} が存在しないこと。
* {{mvar|x}} が {{mvar|A}} の'''下界'''であるとは、
* {{mvar|x}} が {{mvar|A}} の'''下限'''であるとは、{{mvar|x}} が {{mvar|A}} の下界全体の集合の最大元となること。
* {{mvar|x}} が {{mvar|A}} の'''最小元'''であるとは、{{mvar|x}} は {{mvar|A}} の元であり、かつ {{mvar|x}} は {{mvar|A}} の下界であること。
| |||