完备的度量空间 meaning in Chinese

complete metric space

We can show the existence of solutions to the differential inclusions problem by baire category method , and so the formal problem . the main steps of using baire category method are as follows . first we construct a complete metric space v . then with the help of the likelihood functional , we obtain a series of open and dense subset vs in v . finally , by baire category theorem , we know that the subset vs is dense in v
本文指出在适当的条件下，可以将原问题转化为一个微分包含问题：对于此微分包含问题运用baire稠密性方法，构造一个完备的度量空间，也就是容许函数空间，再利用似然泛函构造出它的一列稠密开子集(实际上是逼近解集) ，从而由baire稠密性定理可以得到解的存在性。