Path: ccsf.homeunix.org!ccsf.homeunix.org!news1.wakwak.com!nf1.xephion.ne.jp!onion.ish.org!news.daionet.gr.jp!news.yamada.gr.jp!newsfeed.media.kyoto-u.ac.jp!postnews2.google.com!not-for-mail From: iwat@r7.dion.ne.jp (iwat) Newsgroups: fj.sci.math Subject: Re: =?ISO-2022-JP?Q?=1B$BFZ$N=3F,Hx$N!V;M=3F'LdBj!W=1B(B?= Date: 17 Jun 2004 05:36:45 -0700 Organization: http://groups.google.com Lines: 43 Message-ID: References: <800c7853.0406090639.5decbd28@posting.google.com> <800c7853.0406120825.6654ec3a@posting.google.com> <800c7853.0406150837.7e9b89a9@posting.google.com> <800c7853.0406161222.158c8925@posting.google.com> NNTP-Posting-Host: 222.7.114.132 Content-Type: text/plain; charset=ISO-2022-JP Content-Transfer-Encoding: 8bit X-Trace: posting.google.com 1087475806 16001 127.0.0.1 (17 Jun 2004 12:36:46 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: Thu, 17 Jun 2004 12:36:46 +0000 (UTC) Xref: ccsf.homeunix.org fj.sci.math:1233 eurms@apionet.or.jp (M_SHIRAISHI) wrote in message > > > そうやね。　じゃ〜、こっち↓に行こう！ > > > http://www.age.ne.jp/x/eurms/FCTj_12.html > > さらに質問しますが、註1を含む部分に、 > > 「但し、...依然として正規の領域である為には、 > > A区に線接していた区の数は3個以下であった必要がある。」 > > という(条件)文自体は理解できるのですが、この結論を前提として > > 用いてよいのはなぜでしょうか。 > 註1) 我々は、最初に、ここでは、正規の領域のみを扱うと仮定している。 > # しかし、どっか、何か、オカシイなぁ〜。 よぉワカランけど。ヽ(＾。＾)ノ 私がオカシイと感じているのは、証明の前提が、 : 領域「自体」が正規であること であったはずなのに、註1の部分で、その前提が、 : 領域からどの区を一点に窄めても正規な領域となること にすりかわっている点です。 この部分が証明されていないと、当初の問題よりもはるかに厳しい前提の 「順々にどの区を一点に窄めていっても正規な領域としかならない領域は 四色で塗り分け可能」 という命題を証明したことにしかならないと思います。 なお、それよりは弱い仮定の 「どの区も他の区のうち3つ以下の区としか線接しない領域は四色で塗り分 け可能」 という命題さえも、容易に証明可能です。 蛇足ながら、例えを出せば、 : 定理「全ての整数は2の倍数である」 : 証明 我々の証明したい対象は整数である。 : そこで、ここで扱う数は、特に言及していなくとも、すべて、整数とする。 : ところで、任意の数xを2で割り、それをyとする。 : 仮定からyは整数である。 : 註1 我々は、最初に、整数のみを扱うと仮定している。 : よって、xは2とyの積である。 : したがって、xは2の倍数である。■ と同様に、オカシイと感じます。 如何でしょうか。 # それとも私の理解が不足しているのでしょうか。 --- iwat