Матеріал з Вікіпедії — вільної енциклопедії.
Подстраница "Користувая:Галактион/Скінченная множина" создана для того, чтобы перенести информацию из раздела "Обговорення" статьи "Скінченна множина ". Галактион 12:09, 5 березня 2010 (UTC)
Примечание к статье "Скiнченна множина"
⊢
X
i
s
a
f
i
n
i
t
e
s
e
t
.
↔
|
X
|
<
ℵ
0
{\displaystyle ~\vdash \quad X\ \mathrm {is\ a\ finite\ set} .\ \leftrightarrow \ |X|<\aleph _{0}}
⊢
X
i
s
a
f
i
n
i
t
e
s
e
t
.
↔
|
X
|
<
|
N
|
{\displaystyle ~\vdash \quad X\ \mathrm {is\ a\ finite\ set} .\ \leftrightarrow \ |X|<|\mathbb {N} |}
⊢
X
i
s
a
f
i
n
i
t
e
s
e
t
.
↔
∃
n
(
n
∈
N
∧
|
X
|
=
n
)
{\displaystyle ~\vdash \quad X\ \mathrm {is\ a\ finite\ set} .\ \leftrightarrow \ \exists n\ (n\in \mathbb {N} \ \land \ |X|=n)}
Примечание
|
∅
|
=
0
⇒
|
∅
|
<
ℵ
0
⇔
∅
i
s
a
f
i
n
i
t
e
s
e
t
.
{\displaystyle ~|\varnothing |=0\quad \Rightarrow \quad |\varnothing |<\aleph _{0}\quad \Leftrightarrow \quad \varnothing \ \ \mathrm {is\ a\ finite\ set.} }
Галактион 13:25, 13 серпня 2009 (UTC)