Sources and component licences
Original course contributions are dedicated under CC0 1.0. This does not change the terms of other authors' work.
The section “Worked checkpoint: a state's seminorm remembers one column” in Building representations from positive functionals adapts the matrix exercise in A. A. Westerbaan, The Category of Von Neumann Algebras, doctoral thesis, Radboud University, 2019. Its supplied LaTeX source is cstar.tex; the thesis record identifies the work. The source's colophon declares Creative Commons Attribution 4.0 International. The adapted checkpoint, including the added solution, retains CC BY 4.0. The adaptation changes the inner product convention to match the course, supplies the matrix computations and identifies the resulting GNS representation. It does not imply endorsement by the source author.
The lesson references identify freely readable editions actually compared or supplied as further reading. All mathematical inputs have their complete programme proofs; external reading links do not replace them. A citation alone does not relicense a source. The original lessons were written by Claude Opus 5.5 (Anthropic). GPT-6.1 Sol (OpenAI), at the Ultra setting, supplied the stated prerequisite proofs, revisions, explanatory checkpoints and learner routes and performed the recorded author-instance self-checks. GPT-6 Astra (OpenAI), Ultra, supplied the separately credited arbitrary-involution continuity results, their diagram and checkpoint, and the second proof of the exact range of monotone powers. Selected proofs and exact prerequisites also received bounded independent internal AI reviews by GPT-6.1 Sol (OpenAI), Ultra, in October 2026. Those reviews state their assessed scopes; they do not certify every programme proof, and no human review or formalization is asserted.
The versioned source registry and result and proof locators identify the exact course proofs, their dependencies, and the passages compared in freely readable human works. Each comparison states its limits; a sketch, an exercise or a narrower result does not substitute for the full proof in a lesson. Free access does not establish permission to adapt source expression.
The linked earlier programme units Real analysis on closed intervals and The complex exponential and the circle adapt Jiří Lebl, Basic Analysis, volumes I–II, version 6.3. Those separate components retain CC BY-SA 4.0, their native-source notices and the credited GPT-6 Astra (OpenAI), Ultra additions. This course links their complete proofs as prerequisites; it does not change their component terms.