Module Joint Reconstruction Certificate

Statement

In a specified module realization class supporting graph closure, assume closable, closed, , closability of the graph lift in that class, and the module relative-coercivity estimate. Then is closable and .

Meaning and scope

The chosen module operator category is part of the hypothesis. This statement does not automatically supply regularity or adjointability for unbounded module operators.

Source

Paper 3, Theorem B.2. Frozen manuscript — research note, not peer reviewed.