По определению, он гомео-морфен некоторому прямолинейному полиэдру Y. Y является суммой симплексов некоторого Е - ... - Большая Энциклопедия Нефти и Газа
По определению, он гомео-морфен некоторому прямолинейному полиэдру Y. Y является суммой симплексов некоторого Е - комплекса К и, наконец, К определяет А-комплекс, С - совокупность остовов вершин симплексов, принадлежащих К. Это построение А-комплекса С по заданному полиэдру X не однозначно. Оказывается, однако, что принадлежность построенного А-комплекса к классу н-мерных абстрактных гомологических многообразий не зависит от произвола конструкции и определяется, следовательно, исключительно полиэдром X, как топологическим пространством. Это дает возможность определить n - мерное гомологическое многообразие, как полиэдр, дающий n - мерное абстрактное гомологическое многообразие при только что описанной конструкции. Очевидно, что так определенное понятие п-мерного гомологического многообразия является топологически инвариантным: всякое пространство, гомеоморфное п-мерному гомологическому многообразию, само является таковым.
