🚀 go-pugleaf

$@>.NS(J@$@N6C+Bg3X$G$9!#<+J,$N5-;v$K%U%)%m!<(J$@$7$^$9!#(J

In article <SATOSHI.92Nov30192259@whale.ryukoku.ac.jp> satoshi@whale.ryukoku.ac.jp (Satoshi Kobayashi) writes:

 |$@$=$&$$$&%b%G%k$O<B:]$K:n$l$^$9!#(J\Omega $@$r(J [0,1] $@$NDL>o$N0LAj$K$h$k3+=8(J
 |$@9g7O$H(J$@$7$F!"(JV^(\Omega) $@$r9M$($^$9!#(JV^(\Omega) $@$K$*$1$k(J($@%G%G%-%s%H%+%C(J
 |$@%H$K$h$k(J)$@<B?t$O!"(JV $@$K$*$1$k(J [0,1] $@$+(J$@$i(J R $@$X$NO"B34X?t$KBP1~$7$^$9!#$=(J
 |$@$3$G!"(J[0,1] $@>e$N(J identity function id$@$KBP1~$9$k(J V^(\Omega) $@$N<B?t(J id~ 
 |$@$r9M$(!"(JP(x) $@$O(J x < id~ or x > id~ $@$H$9$l$P$h$$$N$G$9!#(J

$@$3$l$r=q$$$?$"$H$G;W$C$?$N$G$9$,!"$3(J$@$NNc$O>>K\$5$s$,4|BT$7$F$*$i$l$?$h(J
$@$&$J$b$N$H$O$A$g$C$H0c$&$h$&$J5$$,$7$F$-$^$7$?!#$H$$$&$N$O!"(JP(x) $@$,(J$@$b(J
$@$H$b$H$N(J IZF $@$N8@8l$@$1$G=q$+$l$F$$$J$/$F!"$"$kFCDj$N(J V^(\Omega) $@$N85(J
id~($@$KBP1~$5$;$F?7$?$K$D$12C(J$@$($i$l$?Dj?t5-9f(J)$@$r4^$s$@I=8=$K$J$C$F$$$k(J
$@$+$i$G$9!#>>K\$5$s$O!"%b%G%k$K$+$+$o$i$J$$=R8l$NDj5A!"$H$$$&(J$@$h$&$J$3$H(J
$@$r$*$C$7$c$C$F$$$?$N$G!"(JIZF $@$N8@8l$@$1$G=q$+$l$?Nc$r<($7$?$[$&$,$h$+$C(J
$@$?$h$&$K;W$$$^$9!#$=(J$@$&$$$&Nc$r$H$l$P!"=R8l$NDj5A<+BN$O3N$+$K%b%G%k$K0M(J
$@B8$;$:!"(J
        [not all x.P(x)] = 1
        $@$+$D(J
        [exist x.not P(x)] = 0
$@$H$J$k$+$I$&$+$@$1!"%b%G%k$N$H$jJ}$K0MB8$9$k$3$H$K$J$j$^$9!#(J

$@0J2<!"$=(J$@$&$$$&Nc$r(J2$@$D$"$2$^$9!#(J

1.  < $@$r<B?t$K$D$$$F$NBg>.4X78$H$7!"(JP(x) $@$H$7$F!"(Jx > 0 or not x > 0 $@$r(J
$@$H$k!#(J\Omega $@$rNc$($P!"(J[0,1] $@$N3+=89g7O$K$H$l$P!"(J
        [not all x in R. P(x)] = 1
        $@$+$D!"(J
        [exist x in R.not P(x)] = 0
$@$H$J$k!#$?$@$7!"$3$3$G(J R $@$O(JDedekind real $@$H$9$k!#(J

2. $@>e$N$h$j$D$^$i$J$$(J$@$1$l$I$b$C$H4JC1$JNc!#(J\Omega $@$OF1$8$H$7$F!"(J
P(x) $@$H$7$F!"(J0 in x or not 0 in x $@$H$9$l$P!"(J
        [not all x. P(x)] = 1
        $@$+$D!"(J
        [exist x.not P(x)] = 0
$@$H$J$j$^$9!#(J

IZF $@0J30$NM}O@$K$D$$$F$b(J$@$3$&$$$&Nc$O$$$/$i$G$b$"$2$i$l$^$9!#(J($@$b$A$m$s!"(J
$@$=$N>l9g$O(JV^(\Omega) $@$H$O0c$&$b$N$r%b%G%k$K$H$j$^$9!#(J)
--
			$@N6C+Bg3XM}9)3XIt?tM}>pJs3X2J(J    $@>.NS(J  $@Ao(J
			satoshi@whale.ryukoku.ac.jp
			0775-43-7523($@3X2J;v(J$@L3<<(J) 0775-43-7528($@8&5f<<(J)
			0775-43-7524(FAX)