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

相关推荐
周末程序猿12 分钟前
浅析大模型推理十二篇之KV Cache
人工智能
鱼樱前端24 分钟前
用 AI 做内容变收入
前端·人工智能·ai编程
Dawson Zhu1 小时前
基于Palantir Foundry构建半导体制造AI友好型数据中台:从良率分析场景谈起
人工智能·语言模型·架构·制造·agi
To_OC1 小时前
LC 438 找到所有字母异位词:暴力超时后,我靠滑动窗口一招搞定
javascript·算法·leetcode
fthux1 小时前
装闭 RenoPit 源码解析(04):装修图纸和合同文件上传处理流程
人工智能·ai·开源·github·open source·renopit
weixin_446260853 小时前
从被动镜像到主动智能体:面向网络物理人工智能的整体论数字孪生(HDT-Net)
网络·人工智能
秋枫要学习3 小时前
你的鼠标,正在被 AI 抢走
人工智能·计算机外设
满怀冰雪4 小时前
19-图像数据处理:PaddleVision Transform 实战
人工智能·深度学习·计算机视觉·paddle
Forever Nore4 小时前
学完C语言力扣第一题做不来正常吗
数据结构·算法