順序対の定義
順序対の定義
\(\left(a_{1},b_{1}\right)=\left(a_{2},b_{2}\right)\)となるのは、\(a_{1}=a_{2}\land b_{1}=b_{2}\)となるときのみ、すなわち\(\left(a_{1},b_{1}\right)=\left(a_{2},b_{2}\right)\Leftrightarrow a_{1}=a_{2}\land b_{1}=b_{2}\)である。
3つの順序対は\(\left(a,b,c\right)=\left(a,\left(b,c\right)\right)\)や\(\left(a,b,c\right)=\left(\left(a,b\right),c\right)\)とすればいい。
\(\left(a,b\right):=\left\{ \left\{ a,1\right\} ,\left\{ b,2\right\} \right\} \)とする。
クラトフスキーの定義
\(\left(a,b\right):=\left\{ \left\{ a\right\} ,\left\{ a,b\right\} \right\} \)とする。
このとき、\(\left(a,a\right)=\left\{ \left\{ a\right\} ,\left\{ a,a\right\} \right\} =\left\{ \left\{ a\right\} ,\left\{ a\right\} \right\} =\left\{ \left\{ a\right\} \right\} \)となる。
(1)順序対
2つの対象\(a,b\)を順番も考慮し組にしたものを順序対といい、\(a,b\)の順に指定するなら\(\left(a,b\right)\)と表記する。\(\left(a_{1},b_{1}\right)=\left(a_{2},b_{2}\right)\)となるのは、\(a_{1}=a_{2}\land b_{1}=b_{2}\)となるときのみ、すなわち\(\left(a_{1},b_{1}\right)=\left(a_{2},b_{2}\right)\Leftrightarrow a_{1}=a_{2}\land b_{1}=b_{2}\)である。
3つの順序対は\(\left(a,b,c\right)=\left(a,\left(b,c\right)\right)\)や\(\left(a,b,c\right)=\left(\left(a,b\right),c\right)\)とすればいい。
(2)順序対の定義
ハウスドルフの定義\(\left(a,b\right):=\left\{ \left\{ a,1\right\} ,\left\{ b,2\right\} \right\} \)とする。
クラトフスキーの定義
\(\left(a,b\right):=\left\{ \left\{ a\right\} ,\left\{ a,b\right\} \right\} \)とする。
このとき、\(\left(a,a\right)=\left\{ \left\{ a\right\} ,\left\{ a,a\right\} \right\} =\left\{ \left\{ a\right\} ,\left\{ a\right\} \right\} =\left\{ \left\{ a\right\} \right\} \)となる。
ページ情報
タイトル | 順序対の定義 |
URL | https://www.nomuramath.com/n3uwlg7w/ |
SNSボタン |
10個の誕生日の候補
会話を元に誕生日を特定しましょう。
正接関数・双曲線正接関数の多重対数関数表示
\[
\tan^{\pm1}z=i^{\pm1}\left(1+2\Li_{0}\left(\mp e^{2iz}\right)\right)
\]
大数の法則
\[
\lim_{n\rightarrow\infty}P(\left|Y_{n}-\mu\right|\geq\epsilon)=0
\]
剰余の剰余
\[
\mod\left(\mod\left(\alpha,n\beta\right),\beta\right)=\mod\left(\alpha,\beta\right)
\]