Ｆ2＝{(x1 x2 ・・・xn)}|x∈Ｆ２}

質問

情報数学の、Ｆ２上のn次元数ベクトル空間の定義Ｆ2~n＝{(x1　x2　・・・xn)}|x∈Ｆ２}　は、F2の要素の中にＦ2~nの要素が全て含まれているということですか？

回答No.2

Tacosan

「x ∈ F2 はそういう意味ではないのでしょうか」と書かれていますが, 「x」が何かわからないので判断のしようがありません. F2~n の定義を再確認してください.
普通考えられる定義は
F2~n = { (x1, x2, ..., xn) | xi ∈ F2 }
なんですが.
ついでにいうと「F2 の要素の中に F2~n の要素が全て含まれる」という表現だと,
∀x ∈ F2~n ∃y ∈ F2 s.t. x ∈ y
か
∃y ∈ F2 s.t. ∀x ∈ F2~n (x ∈ y)
と解釈するのが普通じゃないかなぁ. 「要素の『中に』」でしょ?

お礼

すみませんでした。　もう少し復習しなおしてみます。

回答No.1

Tacosan

「F2 の要素の中に F2~n の要素が全て含まれる」とは, どういう意味でしょうか?

補足

x∈Ｆ２ はそういう意味ではないのでしょうか？