22/03/08 20:32:29.92 yTD6aKsd.net
K = F_n / N
F_n をつくるときにまず、同値関係で類別しています。
K をつくるときにさらに同値関係で類別しています。
分かりにくくないですか？
雪江さんは、語とその語の同値類を区別しないなどと宣言しています。
さらに、F_n / N の元は、 x*N (x は語の同値類）ですが、これも語と区別しないなどと宣言しています。
宣言すれば何でもOKなどと思っているのではないでしょうか？
22/03/08 20:32:29.92 yTD6aKsd.net
K = F_n / N
F_n をつくるときにまず、同値関係で類別しています。
K をつくるときにさらに同値関係で類別しています。
分かりにくくないですか？
雪江さんは、語とその語の同値類を区別しないなどと宣言しています。
さらに、F_n / N の元は、 x*N (x は語の同値類）ですが、これも語と区別しないなどと宣言しています。
宣言すれば何でもOKなどと思っているのではないでしょうか？