【集合论】有序对 ( 有序对 | 有序三元组 | 有序 n 元祖 )
文章目錄
- 一、 有序對
- 二、 有序對性質的引理、定理
- 三、 有序三元組
- 四、 有序 n 元組性質定理
一、 有序對
有序對概念 :
<a,b>={{a},{a,b}}<a, b> = \{ \{ a \} , \{ a , b \} \}<a,b>={{a},{a,b}}
其中 aaa 是第一個元素 , bbb 是第二個元素 ;
記做 <a,b><a, b><a,b> , 也可以記做 (a,b)(a , b)(a,b)
理解 1 : a,ba, ba,b 是有順序的 , 單個元素的集合中的元素是第一個元素 , 兩個元素集合中的另一個元素是第二個元素 ;
理解 2 ( 推薦 ) : 第一個元素出現在每個子集合中 , 第二個元素只出現在一個子集合中 , 通過這種方式 , 保證了有序對的定義 , 一前一后兩個元素 , 前后順序不同 , 對應的有序對不同 ;
下面是相同的兩個元素的不同的有序對 :
有序對 <a,b>={{a},{a,b}}<a, b> = \{ \{ a \} , \{ a , b \} \}<a,b>={{a},{a,b}}
有序對 <b,a>={{b},{a,b}}<b, a> = \{ \{ b \} , \{ a , b \} \}<b,a>={{b},{a,b}}
二、 有序對性質的引理、定理
1. 引理 1 : {x,a}={x,b}\{ x , a \} = \{ x, b \}{x,a}={x,b} ?\Leftrightarrow? a=ba=ba=b
兩個集合如果相等 , 當且僅當 a=ba = ba=b ;
2. 引理 2 : 若 A=B=??\mathscr{A} = \mathscr{B} \not= \varnothingA=B?=? , 則有
① ?A=?B\bigcup \mathscr{A} = \bigcup \mathscr{B}?A=?B
② ?A=?B\bigcap \mathscr{A} = \bigcap \mathscr{B}?A=?B
說明 : 集族 A\mathscr{A}A 與 集族 B\mathscr{B}B 相等 , 并且 兩個集族都不為空 , 那么 兩個集族的廣義交相等 , 兩個集族的廣義并也相等 ;
3. 定理 : <a,b>=<c,d><a,b> = <c, d><a,b>=<c,d> ?\Leftrightarrow? a=c∧b=da = c \land b = da=c∧b=d
通過上述定理 , 說明有序對是有順序的 ;
4. 推論 : a=?ba \not= ba?=b ?\Rightarrow? <a,b>=?<b,a><a,b> \not= <b, a><a,b>?=<b,a>
三、 有序三元組
有序三元組 :
<a,b,c>=<<a,b>,c><a, b, c> = < <a, b> , c ><a,b,c>=<<a,b>,c>
有序三元組是有序二元組在前 , 第三個元素在后 , 組成的有序對 ;
有序 nnn 元祖 : n≥2n \geq 2n≥2
<a1,a2,?,an>=<<a1,?,an?1>,an><a_1, a_2, \cdots , a_n> = < <a_1, \cdots , a_{n-1}> , a_n ><a1?,a2?,?,an?>=<<a1?,?,an?1?>,an?>
先拿前 n?1n-1n?1 個元素組成一個有序 n?1n-1n?1 元祖 , 該 n?1n-1n?1 元祖在前 , 然后跟第 nnn 個元素 ana_nan? 在后 , 構成有序對 ;
四、 有序 n 元組性質定理
有序 nnn 元組性質定理 :
<a1,a2,?,an>=<b1,b2,?,bn><a_1, a_2, \cdots , a_n> = <b_1, b_2, \cdots , b_n><a1?,a2?,?,an?>=<b1?,b2?,?,bn?> ?\Leftrightarrow? ai=bi,i=1,2,?,na_i = b_i , i = 1, 2, \cdots , nai?=bi?,i=1,2,?,n
說明 : 兩個有序 nnn 元祖 , 每個對應位置上的元素兩兩相同 , 兩個 nnn 元組有序對才相等 ;
總結
以上是生活随笔為你收集整理的【集合论】有序对 ( 有序对 | 有序三元组 | 有序 n 元祖 )的全部內容,希望文章能夠幫你解決所遇到的問題。
- 上一篇: 【集合论】容斥原理 ( 复杂示例 )
- 下一篇: 【集合论】卡氏积 ( 卡氏积概念 | 卡