帰納法の原理 - wint

帰納法の原理

数学的帰納法（帰納法）を導く原理

$ F(P) \subset P \implies \mu_F \subset P

$ F(P) \le P \implies \mu(F) \le P

μ: 最小不動点

双対：余帰納法の原理

$ P \subset F(P) \implies P \subset \nu_F

ν: 最大不動点

ref.

1903.05127 Induction, Coinduction, and Fixed Points: Intuitions and Tutorial

Induction, Coinduction, and Fixed Points in Order Theory, Set Theory, (PL) Type Theory, Logic, and Category Theory: A Concise Survey (and Tutorial) | Semantic Scholar

Table 1 from Induction, Coinduction, and Fixed Points: A Concise Comparative Survey | Semantic Scholar

https://d3i71xaburhd42.cloudfront.net/d5cee90d7058d2a9133ac68a099292a49869cfd3/11-Table1-1.png