离散定义大全
将会持续更新
空集:
∅
=
{
x
∣
x
≠
x
}
.
\varnothing=\lbrace x|x\not ={x}\rbrace.
∅={x∣x=x}.
幂集:
P
(
A
)
=
{
x
∣
x
⊆
A
}
P(A)=\lbrace x|x\subseteq A\rbrace
P(A)={x∣x⊆A}
集合相等:
A
=
B
⇔
A
⊆
B
并
且
B
⊆
A
A=B\lrArr A\subseteq B并且B\subseteq A
A=B⇔A⊆B并且B⊆A
并集:
A
∪
B
=
{
x
∣
x
∈
A
或
x
∈
B
}
A \cup B=\lbrace x|x\in A 或 x\in B\rbrace
A∪B={x∣x∈A或x∈B}
交集:
A
∩
B
=
{
x
∣
x
∈
A
并
且
x
∈
B
}
A \cap B=\lbrace x|x\in A 并且 x\in B\rbrace
A∩B={x∣x∈A并且x∈B}
补集:
A
‾
=
{
x
∣
x
∉
A
}
\overline{A}=\lbrace x|x\notin A\rbrace
A={x∣x∈/A}
差集:
A
−
B
=
{
x
∣
x
∈
A
并
且
x
∉
B
}
A - B=\lbrace x|x\in A 并且 x\notin B\rbrace
A−B={x∣x∈A并且x∈/B}
对称差集:
A
⊕
B
=
{
x
∣
(
x
∈
A
并
且
x
∉
B
)
或
(
x
∉
A
并
且
x
∈
B
)
}
A\oplus B=\lbrace x|(x\in A并且x\notin B)或(x\notin A并且x\in B)\rbrace
A⊕B={x∣(x∈A并且x∈/B)或(x∈/A并且x∈B)}
笛卡尔积:
A
×
B
=
{
<
x
,
y
>
∣
x
∈
A
且
y
∈
B
}
A\times B=\lbrace<x,y>|x\in A且y\in B\rbrace
A×B={<x,y>∣x∈A且y∈B}
全域关系:
E
A
=
{
<
x
,
y
>
∣
x
∈
A
,
y
∈
A
}
E_A=\lbrace <x,y>|x\in A,y\in A\rbrace
EA={<x,y>∣x∈A,y∈A}
恒等关系:
I
A
=
{
<
x
,
x
>
∣
x
∈
A
}
I_A=\lbrace <x,x>|x\in A\rbrace
IA={<x,x>∣x∈A}
自反:任意元素
x
∈
A
x\in A
x∈A,都有
<
x
,
x
>
∈
R
<x,x>\in R
<x,x>∈R
反自反:任意元素
x
∈
A
x\in A
x∈A,都有
<
x
,
x
>
∉
R
<x,x>\notin R
<x,x>∈/R
对称:任意元素
x
∈
A
和
y
∈
A
x\in A和y\in A
x∈A和y∈A,都有
<
x
,
y
>
∈
R
,
<
y
,
x
>
∈
R
<x,y>\in R,<y,x>\in R
<x,y>∈R,<y,x>∈R
反对称:任意元素
x
∈
A
和
y
∈
A
x\in A和y\in A
x∈A和y∈A,都有
<
x
,
y
>
∈
R
,
<
y
,
x
>
∉
R
<x,y>\in R,<y,x>\notin R
<x,y>∈R,<y,x>∈/R
传递:任意元素
x
∈
A
,
y
∈
A
,
z
∈
A
x\in A,y\in A,z\in A
x∈A,y∈A,z∈A,如果
<
x
,
y
>
∈
R
且
<
y
,
z
>
∈
R
<x,y>\in R且<y,z>\in R
<x,y>∈R且<y,z>∈R
复合关系:
x
∈
A
,
z
∈
C
且
存
在
y
∈
B
,
使
得
<
x
,
y
>
∈
R
且
<
y
,
z
>
∈
S
x\in A,z\in C且存在y\in B,使得<x,y>\in R且<y,z>\in S
x∈A,z∈C且存在y∈B,使得<x,y>∈R且<y,z>∈S
逆运算:
x
∈
B
,
y
∈
A
,
<
y
,
x
>
∈
R
x\in B,y\in A,<y,x>\in R
x∈B,y∈A,<y,x>∈R
幂运算:
R
n
+
1
=
R
n
∘
R
R^{n+1}=R^n\circ R
Rn+1=Rn∘R
闭包运算:
r
(
R
)
=
R
∪
I
A
r(R)=R\cup I_A
r(R)=R∪IA、
s
(
R
)
=
R
∪
R
−
1
s(R)=R\cup R^{-1}
s(R)=R∪R−1、
∣
A
∣
=
n
,
t
(
R
)
=
⋃
i
=
1
n
R
i
|A|=n,t(R)=\bigcup^n_{i=1}R^i
∣A∣=n,t(R)=⋃i=1nRi
等价关系:满足自反、对称、传递
等价类:
y
∈
A
且
<
x
,
y
>
∈
R
y\in A且<x,y>\in R
y∈A且<x,y>∈R
商集:
[
x
]
∣
x
∈
A
[x]|x\in A
[x]∣x∈A
划分:
- S i ⊆ A , S i ≠ ∅ , i = 1 , 2 , . . , m S_i\subseteq A,S_i\not ={\varnothing},i=1,2,..,m Si⊆A,Si=∅,i=1,2,..,m
- S i ∩ S j = ∅ , i ≠ j , i , j = 1 , 2 , . . , m S_i\cap S_j=\varnothing,i\not ={j},i,j=1,2,..,m Si∩Sj=∅,i=j,i,j=1,2,..,m
- ⋃ i = 1 m S i = A \bigcup_{i=1}^m S_i = A ⋃i=1mSi=A
同余关系: ( x − y ) / n (x-y)/n (x−y)/n
偏序关系:满足自反、反对称、传递
如果
x
≤
y
x\leq y
x≤y或
y
≤
x
y\leq x
y≤x,则称
x
x
x与
y
y
y可比
如果
x
≤
y
x\leq y
x≤y且不存在
z
∈
A
z\in A
z∈A使得
x
≤
z
≤
y
x\leq z\leq y
x≤z≤y,则称
y
y
y盖住
x
x
x(x和y中间不能有桥过去 x必须直达y)
函数:如果对每个
x
∈
A
x\in A
x∈A,都存在
y
∈
B
y\in B
y∈B,使得
<
x
,
y
>
∈
f
<x,y>\in f
<x,y>∈f,则关系
f
f
f为
A
A
A到
B
B
B的函数(映射),记为
f
:
A
→
B
f:A\rightarrow B
f:A→B
所有
A
A
A到
B
B
B的函数构成的集合记为
B
A
B^A
BA,
∣
A
∣
=
m
,
∣
B
∣
=
n
|A|=m,|B|=n
∣A∣=m,∣B∣=n
B
A
=
{
f
∣
f
:
A
→
B
}
B^A=\{f|f:A\rightarrow B\}
BA={f∣f:A→B}
- 对于任意 x 1 , x 2 x_1,x_2 x1,x2,如果 x 1 ≠ x 2 x_1\not = {x_2} x1=x2,都有 f ( x 1 ) ≠ f ( x 2 ) f(x_1)\not = {f(x_2)} f(x1)=f(x2),则称 f f f为 A A A到 B B B的单射
- 如果函数的值域 r a n f = B ranf=B ranf=B,则为从 A A A到 B B B的满射
- 如果既满足单射也满足满射,则为双射
设 f : A → B , g : B → C f:A\rightarrow B,g:B\rightarrow C f:A→B,g:B→C,则复合关系为 f ∘ g = { < x , z > ∣ x ∈ A , z ∈ C , ∃ y ∈ B , 使 y = f ( x ) 且 z = g ( y ) } f\circ g=\{<x,z>|x\in A,z\in C,\exist y\in B,使y=f(x)且z=g(y)\} f∘g={<x,z>∣x∈A,z∈C,∃y∈B,使y=f(x)且z=g(y)}