任意存在数学证明语言
万能逼近原理
《 基于T-S模糊模型的非线性系统的控制与滤波设计》这本书只给出了结果,没给出发展脉络和推导过程。
主要的万能逼近器有:多项式函数逼近器、神经网络逼近器、T-S模糊系统。
万能逼近定理: 对于定义在致密集
U
∈
R
n
U \in R^n
U∈Rn上的任何连续函数
g
g
g及任意的正数
ε
\varepsilon
ε,必存在一个模糊逻辑系统
f
f
f,使得下列不等式成立:
sup
x
∈
U
∣
f
(
x
)
−
g
(
x
)
∣
<
ε
\sup_{x \in U} |f(x) - g(x)| < \varepsilon
x∈Usup∣f(x)−g(x)∣<ε
如何证明?
推论1: 对于任何的
g
∈
L
2
(
U
)
g \in L_2(U)
g∈L2(U)和任意的正常数
ε
\varepsilon
ε。式中,
U
∈
R
n
U \in R^n
U∈Rn为致密集,
L
2
(
U
)
=
[
g
:
U
→
R
∣
∫
u
∣
g
(
x
)
∣
2
d
x
<
∞
]
L_2(U) = \left[ g: U \rightarrow R | \int_u |g(x)|^2 \text{d} x < \infin \right]
L2(U)=[g:U→R∣∫u∣g(x)∣2dx<∞],且积分是Lebesgue意义上的,那么必存在一个模糊逻辑系统
f
f
f,使得下列不等式成立:
∫
U
∣
f
(
x
)
−
g
(
x
)
∣
1
2
d
x
<
ε
\int_U |f(x) - g(x)|^{\frac{1}{2}} \text{d} x < \varepsilon
∫U∣f(x)−g(x)∣21dx<ε