夕食後に一杯。空気になりたい凡人です。
最近は冷えるため、コーヒーのためによく湯を沸かすのだが、ついでにポッカレモンもよく飲む。朝・晩で沸かすが、朝はコーヒー、晩はポッカレモンと言う習慣である。もともとは薬を飲むために生まれた習慣だけどまぁ別にいいでしょう。
あぁ、夜なのにコーヒー飲みたいなぁ。
現場からは以上です。
今日のやつ フィルター
線形位相を考えるとき、位相群の場合は部分群の減少列を考えるがこれをフィルター(filtration)と呼ぶ。これを使うことで一般位相よりも単純になる。
例えば、減少列に含まれている部分群は開集合かつ閉集合になる。