16/08/17 10:17:39.46 zlplALOY.net
>>464
近傍を開集合のみとする方が古い定義
開集合を含む集合とした方が、ある点の近傍全体がそのままフィルターになったり、
閉近傍、コンパクト近傍という言い方ができたりして便利
といったことが森毅の「位相のこころ」に書いてあったと思う
16/08/17 10:17:39.46 zlplALOY.net
>>464
近傍を開集合のみとする方が古い定義
開集合を含む集合とした方が、ある点の近傍全体がそのままフィルターになったり、
閉近傍、コンパクト近傍という言い方ができたりして便利
といったことが森毅の「位相のこころ」に書いてあったと思う