Γを対応
![\forall a\in A[ b\in B | (a,b)\in G(\Gamma )]](https://www.google.com/chart?cht=tx&chf=bg,s,FFFFFF00&chco=000000&chl=%5Cforall%20a%5Cin%20A%5B%20b%5Cin%20B%20%7C%20(a%2Cb)%5Cin%20G(%5CGamma%20)%5D)
)
%3D%5Cleft%5C%7B%20a%5Cin%20A%20%7C%20%5Cexists%20b%5Cin%20B%20((a%2Cb)%5Cin%20G)%7D%5Cright%5C)
%3D%5Cleft%5C%7B%20b%5Cin%20B%20%7C%20%5Cexists%20a%5Cin%20A%20((a%2Cb)%5Cin%20G)%7D%5Cright%5C)
%20%5CLeftrightarrow%20a%5Cin%20%5CGamma%5E%7B-1%7D(b))
%3D%5Cleft%5C%7B(b%2Ca)%5Cin%20B%5Ctimes%20A%7C(a%2Cb)%5Cin%20G(%5CGamma)%5Cright%5C%7D)
%3DV(%5CGamma)%20%2C%20V(%5CGamma%5E%7B-1%7D)%3DD(%5CGamma)%2C(%5CGamma%5E%7B-1%7D)%5E%7B-1%7D%3D%5CGamma)
とする。
が成り立つ。
Γの定義域、値域はそれぞれ
集合AからBへの任意の対応Γを1つとる。
逆対応
バックスラッシュをコピー・アンド・ペーストで入力するようになり、TeXでの入力がメニューから記号を探して選択するのではなく直接キーボードから入力できる記号、ラテン文字等が増えてきました。自然に大体の記号、ラテン文字等をキーボードから直接入力し記述できるようになる日がくるのがわくわく楽しみな今日この頃です。
0 コメント:
コメントを投稿