- 締切済み
束
- みんなの回答 （1）
- 専門家の回答
みんなの回答
- Tacosan
- ベストアンサー率23% (3656/15482)
何を言いたいのだろう. 最初の文を読むだけでもいくつか奇妙な点がある. たとえば ・演算子が先にあるように読めるが普通は「集合が先にあってその集合の要素に対する作用として演算を定義する」はず. ・上にも書いたように演算というのは本来「ある集合の要素に対する作用」である. つまり, 「どの元、部分集合同士に適用しても空集合になる」ということなら「ある集合 A に対し, その集合のすべての要素とすべての部分集合を要素とする集合 A' = A ∪ 2^A に対する演算を考えている」と読めるが, それでいい? いずれにしても「束の定義」を確認すればわかるはずですな. あと余談だけど, 「上記のような集合で定義されている演算子」って日本語として曖昧だね.
関連するQ&A
- 代数系に関する問題
非負整数全体の集合Nのべき集合をP(N)と表し、集合の共通部分を求める演算を∩と表す。次の２つの性質が成立するので、代数系( P(N), ∩ )はモノイドである。 性質１： 演算∩が結合律を満たす。つまり、 ∀A,B,C ∈ P(N) ( (1) )。 性質２： 演算∩に関する(2)が存在する。つまり、 ∃A ∈ P(N) ∀B ∈ P(N) ( A∩B=B ∧ B∩A=B )。 問１ 上の文章の空欄(1)に入る式と空欄(2)に入る語句を答えよ。 問２ 性質２を証明せよ。 問３ 空欄(2)の元が唯一であることを、上記のモノイドの定義に基づいて証明せよ。 問４ P(N)上の演算∩に関する逆元の定義を述べよ。 問５ P(N)の要素のうち、演算∩に関する逆元が存在するものを全て求めよ。求めた要素に逆元が存在する理由と、それ以外の要素に逆元が存在しない理由も述べること。 という問題があります。 問１は(1):(A∩B)∩C = A∩(B∩C) (2):単位元 となるのは分かるのですが、問２以降が全然分かりません。 どなたかこの問題が解ける方いらっしゃらないでしょうか？
- 締切済み
- 数学・算数
- 有限加法族の定義で"φ∈Ω"は不要では?
宜しくお願い致します。 有限加法族の定義で質問です。 有限加法族の定義は 集合Ω(≠φ)の集合族2^Ωが (i) φ∈Ω (ii) A∈2^Ω⇒A^c∈2^Ω (iii)A,B∈2^Ω⇒A∪B∈2^Ω の時、2^Ωを有限加法族という。 だと思います。 (i)は 空集合の定義…空集合φは任意の集合の部分集合とする から当然だと思うのですが。。。 集合Ω(≠φ)の集合族2^Ωが (i) A∈2^Ω⇒A^c∈2^Ω (ii)A,B∈2^Ω⇒A∪B∈2^Ω の時、2^Ωを有限加法族という。 だけでOKだと思うのですが如何でしょうか?
- ベストアンサー
- 数学・算数
- 郡の問題
何問かあるのですが、全然分からないので、分かる方がいたらぜひ協力してください。 ＜1＞正多面体って5個しかないみたいなんですが、本当でしょうか？証明が分かる方はぜひ教えてください。 ＜2＞1の続きみたいなものですが、正六面体郡を示し方を教えてください。 ＜3＞Ｒにa*b=ab-a-b+2で演算を定義しても、Ｒは郡にはならないみたいなんですが、Ｒから一元を除けば郡になるらしんですが、どう証明したらいいんでしょうか？ ＜4＞4つの元からなる集合Ｇ＝｛e,a,b,c｝が演算*で郡になり単位元をeとします。このとき、a*a=b*b=c*c=eになる場合とa*a=bになる場合についてそれぞれ他の演算の結果はどうなるんでしょうか？
- ベストアンサー
- 数学・算数
お礼
ご回答ありがとうございました。定義をみなおします。