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

相关推荐
大强同学1 分钟前
Kimi Code CLI
人工智能·agent·claude·skill·kimi code cli
深度研习笔记2 分钟前
OpenCV工业视觉实战10|违规语音播报+弹窗告警+重复告警过滤,打造智能声光预警系统(项目加分必备)
人工智能·opencv·计算机视觉
2601_954526753 分钟前
【硬核长文】从卡门涡街物理方程到边缘网关温压补偿算法:工业蒸汽测控实战,深度解密靠谱的涡街流量计厂家有哪些
算法
湘美书院--湘美谈教育12 分钟前
湘美书院主理人:AI世代武侠小说的基本特征与蕴意
大数据·人工智能·深度学习·机器学习·生活
FriendshipT16 分钟前
Ultralytics:解读CBLinear模块
人工智能·pytorch·python·深度学习·目标检测
光锥智能17 分钟前
AI应用WAIC“抢跑”:热闹是真,但差异化是假
大数据·人工智能
吞下星星的少年·-·18 分钟前
牛客技能树:区间翻转
算法·滑动窗口
某林21223 分钟前
履带小车底盘stm32F103RCT6开发
人工智能·stm32·单片机·嵌入式硬件·架构·人机交互·ros2
逸模26 分钟前
多业态连锁,如何同步铺开各类门店
大数据·人工智能·笔记·工程·公装·连锁店
音视频牛哥28 分钟前
AI浪潮下,实时音视频SDK正在经历怎样的价值重构?
人工智能·音视频·实时音视频·rtmp推流·低延迟rtsp播放器·低延迟rtmp播放器·rtsp转rtmp推流