完全代表系と代表系の違いは何ですか？ また、両者の定義は何ですか？ 論理記号を使い出来るだけ厳密に定

完全代表系と代表系の違いは何ですか？
また、両者の定義は何ですか？
論理記号を使い出来るだけ厳密に定義してほしいです。
合ってるか分かりませんが、僕の考える定義はこれです。:⇔は定義の意味,≡はA上の同値関係
Xが代表系:⇔∀x,y∈X[x≠y→¬(x≡y)]∧∀a∈A∃x∈X[a≡x]
合っていますか？
どこにも代表系の定義が厳密に書かれていないので不安になります。

No.1 ベストアンサー 回答者： ありものがたり 回答日時： 2020/05/20 23:16

「代表系」は、「完全代表系」の略語なんだと思います。

X が A 上の同値関係 ≡ の完全代表系である
ことの定義は、あなたの式で良いでしょう。

この回答へのお礼

いつもありがとうございますm(_ _)m

お礼日時：2020/05/20 23:33