🚀 go-pugleaf

$B9)A!Bg$NDMK\$H?=$7$^$9(B.

In article <SHIMURA.95Nov16193359@octopus.math.cst.nihon-u.ac.jp>
shimura@math.cst.nihon-u.ac.jp (Shimura Tatsuya) writes:
  < $B!V%3%s%Q%/%H(B$BItJ,=89g$OA4$FJD=89g$G$"$k!W(B             >
  < $B%3%s%Q%/%H0LAj6u4V$G%O%&%9%I%k%U$G$J$$$b$N$NNc$H$7$F(B >
  < <SHIMURA.95Nov14191024@h1.logic.info.waseda.ac.jp>$B$G(B >
> > > Lynn Arthur Steen, J.Arthur Seebach,Jr.:
> > > Counterexamples in Topology (second edition),
> > > Springer(1978).
  < $B$+$i0z$$$?Nc$NCf$G(B                                   >
> > > 99. Maximal compact topology
> > > $BDj5A$OLLE]$J$N$GN,!#(B
> > > $BG$0U$N%3%s%Q%/%H=89g$,JD=89g$K$J$C$F$$$k$=$&$G$9!#(B
  < $B$,E,Ev$9$k$3$H$r=R$Y$i$l$?>e$G(B                       >
> $B$H$$$&$3$H$G>e5-$NK\$+$iDj5A$r$=$N$^$^0zMQ$7$^$9!#(B
> 
> Let X be the set of all lattice points (i,j) of positive
> integers together with two ideal points x and y. The
> topology on X is defined by declaring each lattice point
> to be open, and by taking as open neighborhoods of x sets
> of the form X-A where A is any set of lattice points with
> at most finitely many points on each row, and as open
> neighborhoods of y all sets of the form X-B where B is any
> set of lattice points selected from at most finitely many rows.

$B86E5$N`laS$r;XE&$9$l$P(B, X-A $B$O(B X-A-{y}, X-B $B$O(B X-B-{x}, $B$G$9(B$B$M(B.

$B!V%3%s%Q%/%HItJ,=89g$OA4$FJD=89g$G$"$k!W%3%s%Q%/%H0LAj6u4V$G(B
$B%O%&%9%I%k%U$G$O$J$$Nc$K$O(B, $BB>$K(B
$B!V(B$B2D;;8D$N(B S^1 $B$N(B bouquet $B$N(B1$BE@%3%s%Q%/%H2=!W(B
$B$,3:Ev$9$k$H;W$$$^$9(B.

$B!V%3%s%Q%/%HItJ,=89g$OA4$FJD=89g$G(B$B$"$k!W%3%s%Q%/%H0LAj6u4V$G(B
$BBh(B 1$B2D;;8xM}$rK~$?$9$b$N$O%O%&%9%I%k%U$G$9$+$i(B, $B$=$3$rJx$7$F(B
$B9=@.$9$k$H$$$&(B$B$3$H$N$h$&$K;W$$$^$9(B.
--
$BDMK\@i=)(B@$B1~MQ?t3X(B.$B9bJ,;R3X2J(B.$BA!0]3XIt(B.$B5~ET9)7]A!0]Bg3X(B
Tsukamoto, C. : chiaki@ipc.kit.ac.jp