Path: news.ccsf.jp!tomockey.ddo.jp!border1.nntp.dca.giganews.com!nntp.giganews.com!postnews.google.com!r34g2000vba.googlegroups.com!not-for-mail
From: kyokoyoshida123@gmail.com
Newsgroups: fj.sci.math
Subject: Re: R^d=R^{d_1} $B!_ (BR^{d_2} $B$H$9$k;~ (B,R^d $B$N%k%Y!<%0B,EY (Bm 
	$B$O (Bm_1 $B!_ (Bm_2 $B$N40Hw2=$K$J$C$F$$$k;v$r<($; (B
Date: Sat, 7 Mar 2009 15:11:19 -0800 (PST)
Organization: http://groups.google.com
Lines: 29
Message-ID: <b326743c-d5fa-4a27-b66e-1e5046ad0102@r34g2000vba.googlegroups.com>
References: <c46a825e-4b9c-41ac-b838-1054f3d812ca@j35g2000yqh.googlegroups.com> 
	<090224212026.M0109028@cs2.kit.ac.jp> <4a06f53a-16ff-49d6-9e2f-6f2ac344fcce@f37g2000vbf.googlegroups.com> 
	<090225203123.M0123197@cs2.kit.ac.jp> <16740961-8c41-4dac-a4fa-32982497af66@x38g2000yqj.googlegroups.com> 
	<090302010834.M0221643@cs1.kit.ac.jp> <0f9d4baf-d26f-44f6-8d87-698025e39f4d@h5g2000yqh.googlegroups.com> 
	<090302190008.M0207353@cs2.kit.ac.jp> <931381a2-ab8c-4c1f-a9cf-a1ecdae1d9e1@r34g2000vba.googlegroups.com> 
	<090305011128.M0229041@cs1.kit.ac.jp>
NNTP-Posting-Host: 208.120.248.122
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-2022-JP
Content-Transfer-Encoding: 7bit
X-Trace: posting.google.com 1236467479 28213 127.0.0.1 (7 Mar 2009 23:11:19 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Sat, 7 Mar 2009 23:11:19 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: r34g2000vba.googlegroups.com; posting-host=208.120.248.122; 
	posting-account=WW-P-goAAADS1u9yskwAcJfIST-zvGgd
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/4.0 (compatible; MSIE 6.0; Windows NT 5.1; 
	SV1),gzip(gfe),gzip(gfe)
Xref: news.ccsf.jp fj.sci.math:2533

ご回答大変ありがとうございます。


>> M_1×M_2なら G=G_1×G_2(但しG_1∈M_1,G_2∈M_2)とは書けないのですよね。
> M_1×M_2 = { G_1×G_2 | G_1 ∈ M_1, G_2 ∈ M_2 } です.

ああ、納得です。

> M_1×M_2 が集合体になるとも何とも言っていません.
> # ならないわけです.
> σ(M_1×M_2) は **後で** 出て来ます.
> 従って, ここでは G = G_1×G_2, G_1 ∈ M_1, G_2 ∈ M_2 と
> 書けるものについて議論しています.

了解いたしました。

>> > ある E_1, F_1 ∈ B_1 で E_1 ⊂ G_1 ⊂ F_1, m_1(E_1) = m_1(F_1), ある
>> > E_2, F_2 ∈ B_2 で E_2 ⊂ G_2 ⊂ F_2, m_2(E_2) = m_2(F_1),
>> これはどうしてもわかりませんでした。どうしてこれが成り立つのでしょうか?
> G_1 ∈ M_1 ですから, 貴方が好まれる書き方では,
> G_1 = E_1 ∪ Z_1, E_1 ∈ B_1, Z_1 ⊂ H_1 ∈ B_1, m_1(H_1) = 0,
> となっています. F_1 = E_1 ∪ H_1 とすれば, F_1 ∈ B_1 で,
> E_1 ⊂ G_1 ⊂ F_1, 一方, F_1＼E_1 ⊂ H_1 ですから,
> m_1(F_1＼E_1) = 0 でもあり, m(F_1) = m(E_1) + m(F_1＼E_1) = m_1(E_1)
> です. G_2 についても同様です.

納得です。どうもございました。

吉田京子