門傑嵌罪盛潤入條件(Menger's imbedding condition)對半度量空間的一種刻畫.判別一個半度阿抹戰店量空間能否契約地嵌人歐氏空間的
充分必要條件之一烏蘭乎恥一個半度量空間S可以契約地嵌人n維歐氏空間E"，若且唯若:
上面所給出的條件是S可以契約嵌海幾牛人E'但不能嵌人E,_’的充分必要條件.稱S是不可約地可嵌人空間E"的，蜜婆若它不能嵌人E”一’.門傑(Menger,K. )還證明:一個可分的半度量空間謎市譽S可以契約嵌人
希爾伯特空間的充分必要條件是，S中任何有限子集的凱萊一門傑行列式都不駝嚷兵取正值.
