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

相关推荐
33三 三like1 小时前
《基于知识图谱和智能推荐的养老志愿服务系统》开发日志
人工智能·知识图谱
芝士爱知识a1 小时前
【工具推荐】2026公考App横向评测:粉笔、华图与智蛙面试App功能对比
人工智能·软件推荐·ai教育·结构化面试·公考app·智蛙面试app·公考上岸
腾讯云开发者2 小时前
港科大熊辉|AI时代的职场新坐标——为什么你应该去“数据稀疏“的地方?
人工智能
工程师老罗2 小时前
YoloV1数据集格式转换,VOC XML→YOLOv1张量
xml·人工智能·yolo
颜酱3 小时前
图结构完全解析:从基础概念到遍历实现
javascript·后端·算法
m0_736919103 小时前
C++代码风格检查工具
开发语言·c++·算法
yugi9878383 小时前
基于MATLAB强化学习的单智能体与多智能体路径规划算法
算法·matlab
Coder_Boy_3 小时前
技术让开发更轻松的底层矛盾
java·大数据·数据库·人工智能·深度学习
啊森要自信3 小时前
CANN ops-cv:面向计算机视觉的 AI 硬件端高效算子库核心架构与开发逻辑
人工智能·计算机视觉·架构·cann