21/01/20 23:15:41.78 wuG76rBA.net
(3)あたりで、W=W∞ か W=W∞<c> (∃c∈W∞) とかける。
前者の場合は自明なので、後者についてだが、このc=min W∞＼Wである。
今、a∈Wだが、W=W∞<c>なのでa<c
よって、W∞<c><a>=W∞<a>
よって、W<a>=W∞<a>
21/01/20 23:15:41.78 wuG76rBA.net
(3)あたりで、W=W∞ か W=W∞<c> (∃c∈W∞) とかける。
前者の場合は自明なので、後者についてだが、このc=min W∞＼Wである。
今、a∈Wだが、W=W∞<c>なのでa<c
よって、W∞<c><a>=W∞<a>
よって、W<a>=W∞<a>