Предельная точка

множества- точка, в любой окрестности к-рой содержится по крайней мере одна точка данного множества, отличная от нее самой. Рассматриваемые множества и точка предполагаются принадлежащими нек-рому топологич. пространству. Множество, содержащее все свои П. т., наз. замкнутым. Совокупность всех П. т. множества Мназ. производным множеством и обозначается М'. Если рассматриваемое топологич. пространство X удовлетворяет первой аксиоме отделимости (для любых двух его точек х и усуществует окрестность U(х), не содержащая точку у), то каждая окрестность П. т. нек-рого множества [img: http://localhost:8080/file/041740-127.jpg] содержит бесконечно много точек этого множества и производное множество М' - замкнуто. Всякая прикосновения точка множества Мявляется либо его П. т., либо изолированной.