31 lines
1.2 KiB
Markdown
31 lines
1.2 KiB
Markdown
---
|
||
title: "不动点 (Fixed Point)"
|
||
type: concept
|
||
tags: [math, recursion, formalization, fixed-point]
|
||
---
|
||
|
||
## Definition
|
||
在递归自优化生成系统中，稳定生成能力定义为自映射 $\Phi$ 的不动点：
|
||
$$G^* \in \mathcal{G}, \quad \Phi(G^*) = G^*$$
|
||
|
||
## Core Insight
|
||
不动点生成器具有"自洽性"：它在自身的"生成→优化→更新"循环中保持不变。这意味着：
|
||
1. 该生成器的输出已经内含了改进所需的所有标准
|
||
2. 继续迭代不再带来质变，系统达到"生成能力稳定"状态
|
||
|
||
## Mathematical Characterization
|
||
当 $\Phi$ 满足适当的连续性或收缩性条件时，不动点可通过迭代极限获得：
|
||
$$G^* = \lim_{n \to \infty} \Phi^n(G_0)$$
|
||
|
||
## Relationship to Self-Reference
|
||
不动点与自引用（self-reference）密切相关：
|
||
- 生成器通过不动点组合子 $Y$ 定义为：$G^* \equiv Y\;\text{STEP}$
|
||
- 满足 $G^* = \text{STEP}\;G^*$，即"用自身定义自身"
|
||
|
||
## Why It Matters
|
||
- 传统优化：搜索输出空间中的最优解（可能不存在或不稳定）
|
||
- 递归自优化：寻找生成器空间中的不动点（稳定的生成机制）
|
||
|
||
## Source
|
||
- [[A Formalization of Recursive Self-Optimizing Generative Systems]]
|