Blueprint: Norm Discretization

6 The construction and the proof

The construction carries a matrix over \(\iota \) for the first family and an operator on \(H\) for the second, each controlled by its potential. This chapter runs it and proves Theorem 1.1.