theorem · fr-4-proposition-4-3

Finite validity without total closability

Result stated and proved in the source manuscript; website restatement (draft) fusion-reconstruction

Statement

On , regarded as dense in , set . Every finite restriction is bounded and injective, but is nonclosable.

Meaning and scope

For , the source norm tends to zero and . The target contains ; the source is the closure of the positive-index span.

Source

Paper 4, Proposition 4.3. Draft manuscript — compile-audit version; not marked frozen.

Bidirectional research graph

Where this object sits in the mathematics

Incoming and outgoing relations are generated from the same typed graph used by paper pages. Nothing is inferred from title similarity or prose alone.

Open full research graph →

Referenced by

No source-verified relations recorded yet.

Points to

No source-verified relations recorded yet.