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

相关推荐
大橙子打游戏13 小时前
薅满火山引擎每天数百万免费 Tokens:我写了一个自动轮换代理
人工智能
lpfasd12313 小时前
2026年第17周科技社区趋势周报
人工智能·科技
IT_陈寒13 小时前
SpringBoot配置加载顺序把我坑惨了
前端·人工智能·后端
集和诚JHCTECH13 小时前
BRAV-7120加持,让有毒有害气体无处遁形
大数据·人工智能·嵌入式硬件
机械X人14 小时前
Encoder-Decoder PLM
人工智能·深度学习
小锋java123414 小时前
天天说的 Agent,到底是啥???
人工智能
阿里云大数据AI技术14 小时前
MaxFrame 视频帧智能分析:从视频到语义向量的端到端分布式处理
人工智能·python
大模型任我行14 小时前
谷歌:大模型规划最优性超越传统算法
人工智能·语言模型·自然语言处理·论文笔记
两万五千个小时14 小时前
为什么你的 Agent 读了文件,却好像什么都没读到?
人工智能·程序员·架构
淘矿人14 小时前
从0到1:用Claude启动你的第一个项目
开发语言·人工智能·git·python·github·php·pygame