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.
Depends on
Used by
Dependency tree · two levels
20 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.
Sources
- Theo Buhler and Dietmar A. Salamon, Functional Analysis (standard reference, not scraped)
- Gerald Teschl, Topics in Real and Functional Analysis (standard reference, not scraped)