更改

式{{EquationNote|1}}中，数学形式是一个泛函问题，无法直接进行优化，作者将通过计算并优化变分下界来解决泛函优化问题。同时，在NIS+框架中，作者使用了编码器将p维的输入数据进行粗粒化，得到q维的宏观数据，下面编码器的通用逼近定理将证明编码器的可以近似任意复杂的粗粒化函数。

式{{EquationNote|1}}中，数学形式是一个泛函问题，无法直接进行优化，作者将通过计算并优化变分下界来解决泛函优化问题。同时，在NIS+框架中，作者使用了编码器将p维的输入数据进行粗粒化，得到q维的宏观数据，下面编码器的通用逼近定理将证明编码器的可以近似任意复杂的粗粒化函数。

此部分主要包括两个关键定理的证明：一、宏观EI的变分下界：对于给定的 q 值，由式{{EquationNote|3}}定义的无约束目标函数作为式{{EquationNote|1}}中定义的约束目标函数的下界。二、编码器的通用逼近定理：对于任何连续函数<math>

 

一、宏观EI的变分下界：对于给定的 q 值，由式{{EquationNote|3}}定义的无约束目标函数是式{{EquationNote|1}}中定义的约束目标函数的下界。

 

二、编码器的通用逼近定理：对于任何连续函数<math>

f

f

</math>，定义在<math>

</math>，定义在<math>