以前提示した問題が、肯定的に解けたと思う。 その証明を記事にする前に、「凸集合からの距離」関するいくつかの事実をまとめておく。次の記号を用いる。 を上の通常の（-）距離とし、に対して、 の定義の左辺に現れる集合は、自明な下界を持つので、下限は…

Zariski位相って、閉集合を先に決めるから、「位相空間」だと思った時に、慣れないとどうにも勝手が違って困る。 で、実はZariski位相にも開基がとれるんだけど、[God] *1では、普通の取り方と違う開基の取り方をしてたので、本当に同値なのかな、って思った…

記号の用意 に対して、はの第成分。 はの通常の距離 について、 命題 は、原点中心の次元単位球の内部に含まれるとする。 この時 は、次元球面と同相である。 証明の方針 のかわりにの閉包をとることで、はコンパクトとして良い の境界がであることを示す 内…

微分したくない。 ひたすらに微分したくない。 微分しないためならば、1,000円/月払ったって良い。 微分をこの世から滅ぼすための基金があったら、30,000円くらい寄付しても良い。 でも、そうはいかない。 何故か。院試に問題が出るから。Landauの記号を用い…