设集合
A
=
{
x
∣
0
<
x
≤
1
,
x
∈
R
}
A = \{x | 0 < x \leq 1, x \in \mathbb{R}\}
A={x∣0<x≤1,x∈R} ，集合
E
x
=
{
y
∣
0
<
y
<
x
,
x
∈
A
}
E_x = \{y | 0< y < x, x \in A\}
Ex={y∣0<y<x,x∈A}，请说明：
⋂
x
∈
A
E
x
=
∅
\bigcap_{x \in A}{E_x} = \varnothing
x∈A⋂Ex=∅
证明：
直觉上， 若
x
1
<
x
2
x_1 < x_2
x1<x2 则
E
x
1
⊂
E
x
2
E_{x_1} \subset E_{x_2}
Ex1⊂Ex2，而
A
A
A 是有序集合，所以
⋂
x
∈
A
E
x
\bigcap\limits_{x \in A}{E_x}
x∈A⋂Ex 为空集的唯一可能就是存在
k
k
k 使得
E
k
=
∅
E_k = \varnothing
Ek=∅。
对于集合 E x k = { y ∣ 0 < y < x k , x k ∈ A } E_{x_k} = \{y | 0 < y < x_k, x_k \in A \} Exk={y∣0<y<xk,xk∈A} 无最小值，故而 ∀ y ∈ E x k \forall y \in E_{x_k} ∀y∈Exk，均 ∃ k ∈ A \exist k \in A ∃k∈A 使得 k < y k < y k<y，所以 E k = ∅ E_k = \varnothing Ek=∅，从而命题得证。
有点反直觉
7039
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
