DefinitionDefinition: Literature-sourcedProof: Not applicablejudge pass (gpt-5.6-terra)audited 2026-09-01
How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Linear isometries and isometric isomorphisms
Definition
Let and be normed spaces over the same scalar field.
A linear map (Linear map between vector spaces over the same field) is a linear isometry if
A linear isometry is automatically an isometric embedding for the induced metrics, because
A linear isometric isomorphism is a linear isometry that is bijective (Injection, surjection, bijection). Equivalently, it is a bijective isometry between the underlying metric spaces whose map is linear.
Remarks
- The adjective "isometric" by itself refers to the metric notion of Isometry, isometric embedding, and the subspace metric on a subset; the adjective "linear" is recorded separately because later pages need both embedding and surjective forms.
- A bijective linear isometry has a linear inverse, so a linear isometric isomorphism identifies two normed spaces without changing any distance.