- ベストアンサー
σ-代数
- みんなの回答 (1)
- 専門家の回答
質問者が選んだベストアンサー
Xは全体集合ということで証明します。 ちなみにXが部分集合のときはσ-代数とはなりません(∵CX∈σ-代数ではない) C・は補集合を表します (1)「X,Φ∈M」 これは自明 (2)「A∈M ⇒ CA∈M」 X∈M ⇒ CX=Φ∈M 、Φ∈M ⇒ CΦ=X∈M よって、(2)もOK (3)「An∈M (∀n) ⇒ ∪_[n]An∈M」 Mの元が有限個しかないので、X∪Φだけ調べればよく X∪Φ∈M よって、(3)もOK 以上よりMはσ-代数の定義を満たす ■ ちなみにこのMより小さなσ-代数は存在しません
関連するQ&A
- ある代数系で 0^0=1 とすることについて
体と言われる代数系においては、0に逆元0^-1はありません。 従って、0^0=0^-1*0^1=1 とはされていません。 逆に言えば、体でなければ、0に逆元が存在し、0^0=1 とすることができるだろうと予想されます。 次のような代数系を定義します。 -- ここから -- 集合X = {0, 1} とする。 加法を以下のように定義する。 0+0=0, 0+1=1 1+0=1, 1+1=0 乗法を以下のように定義する。 0*0=1, 0*1=0 1*0=0, 1*1=1 この代数系では、体での基本法則は以下のようになる。 ・交換法則と結合法則は、加法と乗法で成立する。 ・加法単位元は0で、-0=0, -1=1 となる。 ・乗法単位元は1で、1/0=0, 1/1=1 となる。 ・0≠1。 ・分配法則は成立しない。 -- ここまで -- この代数系で、べき乗を定義します。 べき乗:a^1=a, a^(n+1)=a^n*a より 0^1=0, 0^2=1, 0^3=0, … 1^1=1, 1^2=1, 1^3=1, … さらに a^-1=1/a, a^-n=(a^-1)^n より 0^-1=0, 0^-2=1, 0^-3=0, … 1^-1=1, 1^-2=1, 1^-3=1, … そして a^0=a^-1*a より 0^0=1 1^0=1 となります。 以上の結果から、次のことが分かります。 加法の単位元を0で表し、乗法の単位元を1で表すとき、0^0=1となる。 …という例が存在する。 つまり、0^0が未定義なのは、体に固有の問題であり、 分配法則が成立しない代数系では、0^0=1となることがある。 ここまでの計算とこの結論は妥当ですか?
- ベストアンサー
- 数学・算数
- ブール代数に関する問題
集合間の演算である和集合演算、積集合演算、補集合演算をそれぞれ、+、・、-、の演算記号であらわし、集合Aのベキ集合を2^Aとしたとき、(2^A、+、・)はブール代数であることを証明せよ。 という問題があるのですが、そもそもブール代数というのがなんなのかよく分かりません。 http://ysserve.cs.shinshu-u.ac.jp/Lecture/bool01/node5.html http://bw-www.ie.u-ryukyu.ac.jp/~wada/digcir02/boolean.html などをみたのですが、それでも分かりません。 「ブール代数とは、そう言うものだからおぼえるしかないよ」 といわれればそうでしょうが・・・ では、そうするとどのようにして上の問題を証明すればよいのでしょうか? 分かる方がいらっしゃれば是非教えていただきたいと思います。 よろしくお願いします
- 締切済み
- 数学・算数
- 代数学の問題(整域)で解法が分かりません.
代数学の問題で, (1)a+b√3(a,bは整数)の全体 (2)すべての奇数の集合 これらの集合は整域であるかどうか,理由を明記して判定せよ. という問題なのですが,整域の定義(5つあったと思いますが)に従って,一つ一つ証明していき,全て合ったら整域であり,一つでも違ったら整域ではないと判定する解法でいいのでしょうか. 宜しくお願いします.
- ベストアンサー
- 数学・算数
- 代数
自然数m、任意の整数aに対して、[a]=a+nZ:={a+mn|nは整数}とする。また集合Z/mZ:={[x]|xは整数}と定義する。 (1)整数a,a'に対して、[a]=[a']⇔ a≡a'(mod m)を証明せよ。 <←は、[a]≠[a']として、背理法で解けばよいのでしょうか?> (2)Z/mZの元[a][b]に対して、[a]+[b]を[a+b]とおき、これが演算であることを証明せよ。 <[a]∋a+mn,[b]∋b+mn'として解いていっても大丈夫ですか?> (3)[a]+[b]:=[a+b]で、Z/mZで可換群になることを証明せよ。 <群であることをまず証明し、その後、[a]+[b]=[b]+[a]を示せばよいのですか?あと、(2)の解法のようにすることは可能ですか?> 長々となりましたが、<>の部分を教えてください。
- 締切済み
- 数学・算数
- 代数学の問題なのですが、
代数学の問題なのですが、 G=〈x〉を位数n<∞の巡回群とする。mは自然数でnはmZに属する元で位数mの部分群がただひとつ存在することを証明せよ。 という問題なのですが教えてください。
- 締切済み
- 数学・算数
- 代数(algebra)の例
体K上のベクトル空間Rに、何らかの積を定義して、Rが環になるときに、RをK上の代数と言うと思いますが、初心者のため、例を探しています。 例えば、R^3(3次元空間)上のベクトル全体の集合にK=R(実数)としてスカラー積を定義したベクトル空間を考えたときに、そのベクトル空間上に外積として×を定義すれば、それは代数になりますか? また、積構造として、内積・を定義したときは、代数にはならないですか? よくわかっていないので、教えて頂ければ大変有り難く思います。
- ベストアンサー
- 数学・算数