ブール領域 の直積の部分集合として、以下のものを考える。 これは、次の様に書くことが出来ない。 これを、ここでは「分離不可能」と言うことにする。一方で、次のようなものは分離可能である。 よって、部分集合を取れば何でもよい訳ではなく、 は特殊な状…

個人的には、数列を作った方が分かり易い。 よって、数列は単調減少数列である。 また、より、 よって、数列は単調増加数列である。 また、より、 したがって、が自然に言える。 実際に計算するときにも、数列を考えた方が扱い易いと思う。例： 参考サイト：…

時間反転演算子は反ユニタリー演算子である。 反ユニタリー演算子は、ユニタリー演算子と反線形演算子の積で表される。 教科書によって、「時間反転演算子のエルミート共役は取ってはいけない」と書いてあったり、普通にエルミート共役が定義されていたりす…