dm³ 103 · Week 09 · ρ Operator

The ρ Operator — Spectral Radius

Spectral radius ρ(A) of the n-bonacci companion matrix. ρ = Σ, Ω, … for each n. spectral-radius.html and spectral-radius-v2.html.

dm³ 103 · Week 09 · Spectral Radius · Collatz

Course: dm³ 103 · Operator: ρ (Spectral Radius · Collatz) · Standard week

Content stub — prose, diagrams, and Lean 4 exercises to be written.

This week covers: Spectral radius ρ(A) of the n-bonacci companion matrix. ρ = Σ, Ω, … for each n. spectral-radius.html and spectral-radius-v2.html.

Primary chapter references from book/: spectral-radius.html, spectral-radius-v2.html

-- dm³ 103 · Week 09 · Lean 4 Lab
-- Operator: ρ (Spectral Radius · Collatz)
-- TODO: fill in theorems and exercises

-- stub
example : True := trivial

← Week 8 ↑ dm³ 103 Course Week 10 →