2つの有限集合とが同じ数の元を持つとは、に含まれる元の個数とに含まれる元の個数を数えればわかる。 また、有限集合が有限集合以上の元を持つことは、集合の元の個数をと表すことでと表すことができるし、は有限集合が有限集合よりも元を多くもっていると…

位相線形空間だとの近傍の基本系の中でもbalancedでabsorbingでsymmetricなものを選んでこれる。 わりと悩んだので書いておく。 symmetric 一番簡単だからこれから。 集合に対して という集合を定義する。がベクトル空間の部分集合であれば、をと書いたりす…