lemma that a topological space is normal iff any 2 disjoint closed subsets can be separated by a continuous function
via Wikidata · CC0
在拓扑学中，乌雷松引理，有时称为“拓扑学中的第一非平凡事实”，通常用于构造正规空间上不同性质的连续函数。这个定理有广泛的应用，因为所有的度量空间和紧豪斯多夫空间都是正规的。 这个引理是以帕维尔·萨穆伊洛维奇·乌雷松命名的。
Abstract from DBpedia / Wikipedia · CC BY-SA
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).