Proof of the contraction mapping theorem

学的这个课程

强化学习的数学原理_中国大学MOOC(慕课)

算是强化学习里面很火的课程了(゚∀゚)

老师的讲义和书都是英文的,可以看看啊,词汇都不难,主要是理解一些专业词汇

这个是第三章里面压缩映射定理的证明,正好学习一下Latex

CSDN里面公式显示好像不太稳定,可以直接去看书

1. we prove that the sequence with is convergent.

the proof relies on Cauchy sequences: for any small , there exists such that for all

if we simply have , it is insufficient to claim that the sequence is a Cauchy sequence. For example, it holds that for , but apparently, it diverges.

we next show that is a Cauchy sequence and hence converges.

first, since is a contraction mapping, we have

thus,we have

since ,we know that converges to zero exponentially fast as given any

we need to futher consider for any . In particular,

Therefore, this sequence is Cauchy and hence converges to a limit point denoted as

2. we show that the limit is a fixed point.

converges to zero exponentially fast

3. we show that the fixed point is unique.

suppose that there is another fixed point , then

this inequality holds if and only if . therefore,

4. we show that converges to exponentially fast as

相关推荐
叫我:松哥2 小时前
基于LSTM与ARIMA的城市空气质量分析与预测系统
人工智能·python·rnn·算法·机器学习·flask·lstm
j7~2 小时前
【C++】模板初阶--函数模板,类模板详解
数据结构·c++·算法·函数模板·类模板·函数模板实例化
RestCloud3 小时前
Claude Code适配故障频发,企业AI业务稳定,离不开AI网关兜底
人工智能·claude·ai大模型·ipaas·minimax·ai网关
爱看科技3 小时前
苹果WWDC26引爆全端AI产品,Meta/WIMI微美全息加速抢滩XR眼镜硬件市场
人工智能·xr
广州智造3 小时前
如何在HyperMesh的两片相邻体单元间批量创建RBE3实现载荷传递
人工智能·设计·建模·网格·网格划分·hypermesh·前处理
CodeSheep程序羊3 小时前
宇树科技,即将上市!
java·c语言·c++·人工智能·python·科技·硬件工程
白露与泡影3 小时前
Java 8老系统旁路接入AI Gateway:不升级JDK也能用AI
java·人工智能·gateway
ai产品老杨3 小时前
【架构深评】如何基于 GB28181 与 RTSP 协议栈,构建解耦、异构的百万级 AI 视频流媒体管理平台?(附开源源码)
人工智能·架构·媒体
蓝速科技3 小时前
蓝速科技端庄型 AI 数字人在严肃场景的落地应用指南
人工智能·科技
招标采购导航网3 小时前
标讯质量评分体系:招标采购导航网如何给每条标讯打“可信度分”和“价值分”
大数据·人工智能