模糊理论基础

模糊理论基础

---

集合：

空集：$\varnothing$
子集：$A\subseteq B$
相等：$A=B$
真子集：$A\subset B$
幂集：$P(X)$ ，X的所有子集的集合

---

笛卡尔集：

A={a,b} , B={1,2}
$A\times B$ ={<a,1>,<a,2>,<b,1>,<b,2>}

---

关系：

空关系：$\varnothing$
全关系：$X\times Y$
恒等关系： I = { ( x , x ) ∣ x ∈ X } I =\{(x,x)| x\in X\} I={(x,x)∣x∈X}

等价关系：自反，对称，传递
等价类 [x] ： R是X上的等价关系， ∀ x ∈ X , [ x ] = { y ∣ y ∈ X , x R y } \forall x\in X, [x] = \{y | y \in X,xRy\} ∀x∈X,[x]={y∣y∈X,xRy}
商集：R的等价类的集合称为X关于R的商集， X / R = { [ x ] ∣ x ∈ X } X/R = \{[x] | x \in X\} X/R={[x]∣x∈X}
划分：商集X/R构成X的一个划分

关系的三种表达方式：

1. 集合
2. 矩阵
3. 关系图

---

映射（函数)

映射（函数):, $f:A\to B$
映射：$\forall x\in A$,都有唯一的$y\in B$，使得 $y=f(x)$
单射：全为一对一的映射
满射：B中每个元素都被映射到
双射：满射 + 单射

---

代数系统

设 $f1,f2,...,f_m$是S上的m个运算，$(S,f1,f2,...,f_m)$称为一个代数系统。

+，-，$\times$ 是R上的运算，则$(R,+,-,\times )$是一个代数系统

---

同态和同构：

---

格

偏序到格

偏序：自反，反对称，传递
界：上界、下界、上确界 $supS$ 、下确界 $infS$

$(P,\le )$是一个偏序集，$S\subseteq P,a\in P$

1. 若$\forall x\in S,x\le a$，则称a是S的一个上界
2. 若$\forall x\in S,x\ge a$，则称a是S的一个下界
3. a是S的一个最小的上界，则称a是S的一个上确界
4. a是S的一个最大的下界，则称a是S的一个下确界

格的定义

( L , ≤ ) 是 偏 序 集 ， 若 ∀ α , β ∈ L , s u p { α , β } , i n f { α , β } (L,\leq)是偏序集，若 \forall \alpha,\beta \in L ,sup\{\alpha,\beta\}, inf\{\alpha,\beta\} (L,≤)是偏序集，若∀α,β∈L,sup{α,β},inf{α,β}均存在，则$(L,\le )$是一个格。

$\bigvee$ : 取大sup； $\bigwedge$ : 取小inf

不同的格：

• 分配格
  
• 有界格
  
• 完全格
  
• 完全分配格
  
• 软代数
  
• 布尔代数
  
• 优软代数