数学 {最值元素 (最大元/最小元Greatest/Least elements
)}
@LOC: 0
最值元素 (最大元/最小元Greatest/Least elements
)
定义
S为一个集合, R为S集合元素的预序关系;
最大元Greatest elements
: 对于
t
∈
S
t \in S
t∈S,
(
∀
x
∈
S
,
R
(
x
,
t
)
)
⟹
(
t
是最大元
)
(\forall x \in S, R(x,t)) \implies (t 是最大元)
(∀x∈S,R(x,t))⟹(t是最大元);
最小元Least elements
: 对于
t
∈
S
t \in S
t∈S,
(
∀
x
∈
S
,
R
(
t
,
x
)
)
⟹
(
t
是最小元
)
(\forall x \in S, R(t,x)) \implies (t 是最小元)
(∀x∈S,R(t,x))⟹(t是最小元);
性质
以常见的实数集为例, 二元关系是
≤
\leq
≤ (注意不可以是
<
<
<, 因为他不满足自反性);
最大元表明: 他大于所有元素; 最小元表明: 他小于所有元素;
@DELI;
在全序集上, 极值元素maximal/minimal
⟺
\iff
⟺ 最值元素greatest/least
;
例题
S = {a,b,c}; R = S*S
, 则a,b,c
同时是最大值 也是最小值;