TFPT scientific source excerpt
Original repository path: documents/archive--tfpt-45--source_extracts--01_boundary_kernel_source/sections/002-section-intrinsic-closed-branch-and-canonical-rigid-obje.tex
Original file SHA-256: 1de90a4a7379bef804cc7815d72c0f86bb398a5771e9b00997c4bb15e8815f9e
Inclusive original lines: 20-28
Line numbers below refer to the original source.
This bounded excerpt is source evidence; it is not a new proof/checker run.
Conversation metadata and personal execution details are omitted where indicated.

000020 | Because $D_{\mathrm{rel}}$ has order at most one and bounded coefficients,
000021 | \[
000022 | \|D_{\mathrm{rel}}\psi\|
000023 | \le
000024 | C_1\|\psi\|_{H^1}+C_0\|\psi\|
000025 | \le
000026 | \varepsilon\|D_{\mathrm{geo},B_{\mathrm{sa}}}\psi\|+C_\varepsilon\|\psi\|
000027 | \]
000028 | for every $\varepsilon>0$. Hence $D_{\mathrm{rel}}$ is $D_{\mathrm{geo},B_{\mathrm{sa}}}$-bounded