【集合论】有序对 ( 有序对 | 有序三元组 | 有序 n 元祖 )
文章目錄
- 一、 有序?qū)?/li>
- 二、 有序?qū)π再|(zhì)的引理、定理
- 三、 有序三元組
- 四、 有序 n 元組性質(zhì)定理
一、 有序?qū)?/h1>
有序?qū)Ω拍?:
<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 ( 推薦 ) : 第一個元素出現(xiàn)在每個子集合中 , 第二個元素只出現(xiàn)在一個子集合中 , 通過這種方式 , 保證了有序?qū)Φ亩x , 一前一后兩個元素 , 前后順序不同 , 對應(yīng)的有序?qū)Σ煌?;
下面是相同的兩個元素的不同的有序?qū)?:
有序?qū)?<a,b>={{a},{a,b}}<a, b> = \{ \{ a \} , \{ a , b \} \}<a,b>={{a},{a,b}}
有序?qū)?<b,a>={,{a,b}}<b, a> = \{ \{ b \} , \{ a , b \} \}<b,a>={{b},{a,b}}
二、 有序?qū)π再|(zhì)的引理、定理
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
通過上述定理 , 說明有序?qū)κ怯许樞虻?;
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>
有序三元組是有序二元組在前 , 第三個元素在后 , 組成的有序?qū)?;
有序 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? 在后 , 構(gòu)成有序?qū)?;
四、 有序 n 元組性質(zhì)定理
有序 nnn 元組性質(zhì)定理 :
<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 元祖 , 每個對應(yīng)位置上的元素兩兩相同 , 兩個 nnn 元組有序?qū)Σ畔嗟?;
總結(jié)
以上是生活随笔為你收集整理的【集合论】有序对 ( 有序对 | 有序三元组 | 有序 n 元祖 )的全部內(nèi)容,希望文章能夠幫你解決所遇到的問題。
- 上一篇: 【集合论】容斥原理 ( 复杂示例 )
- 下一篇: 【集合论】卡氏积 ( 卡氏积概念 | 卡