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: 23 Jun 2004 08:41:28 -0700 Organization: http://groups.google.com Lines: 28 Message-ID: References: <800c7853.0406090639.5decbd28@posting.google.com> <800c7853.0406161222.158c8925@posting.google.com> <800c7853.0406170947.6c7cf16c@posting.google.com> <800c7853.0406172037.7b1f1cc6@posting.google.com> <800c7853.0406210235.3117f8d9@posting.google.com> <800c7853.0406221046.41723d34@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 1088005294 5634 127.0.0.1 (23 Jun 2004 15:41:34 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: Wed, 23 Jun 2004 15:41:34 +0000 (UTC) Xref: ccsf.homeunix.org fj.sci.math:1246 eurms@apionet.or.jp (M_SHIRAISHI) wrote ... > http://www.age.ne.jp/x/eurms/FCTj_9.html 上記urlの証明で、 : 五番目の色を必要とする区が出現する とありますが、それはただ一つしか存在しないのでしょうか。 すなわち、 1 領域内の「ある」区があって、その区に第五番目の色を塗り、その他の区に 4つの絶対色のみを塗るような塗り分けが可能 という「だけ」の意味なのか、 (この意味なら、その性質を満たす「ある」区は複数あっても不思議ではなく、 現に、先代の証明では、「どの」区でもその性質を満たすと示していたはず。 したがって、AとIII、BとIIIの共通たるIIIのみが第五番目の塗り分けを必要 としているとの議論は成り立たない。) 2 領域内に「唯一の」区があって、上の1に書いたような性質が成り立つ という意味なのか、 (この意味なら、帰納法の仮定のみではその存在は明らかではない。) どちらなのでしょうか。 # それとも私の理解が不足しているのでしょうか。 --- iwat