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 map between vector spaces over the same field
Definition
Let and be vector spaces over the same field . A function is linear when
for all and . Such a function is a linear map, or linear transformation.
Depends on
Used by
- Second-order linear stabilized Runge–Kutta–Chebyshev step Algorithm
- A linear map from a finite-dimensional normed space is bounded Corollary
- Lambda identity minus compact has index zero Corollary
- The sharp real phase-retrieval count for full-spark measurements Corollary
- The space of Jacobi fields along a geodesic has dimension two n Corollary
- A Deligne kernel need not be one external tensor factor Counterexample
- A faithful canonical realization that is not reflection faithful: the affine rank-two system Counterexample
- Noise underestimation defeats a truncated singular-value rule Counterexample
- The integers do not have property (T) Counterexample
- The left-to-right exact equivalence need not preserve the identity Counterexample
- A bounded linear operator between normed spaces Definition
- A linear map L:ℝᵐ→ℝⁿ in Euclidean coordinates Definition
- A norm on a real vector space, the induced metric, and the dictionary with the metric axioms Definition
- Admissible constraint classes and restricted identifiability Definition
- Associative superalgebra over the complex numbers Definition
- Bilinear forms, and symmetric, skew-symmetric, and alternating bilinear forms Definition
- Bounded, coercive and symmetric sesquilinear forms Definition
- Character and maximal ideal space Definition
- Choi matrix with input factor first Definition
- Commensurable subspaces and the ideals E₀, E₁, E₂ of E Definition
- Compact linear operator Definition
- Complement splitting and range projection for a simple fold Definition
- Completely positive maps Definition
- Complexification of a real-linear map Definition
- Conjugate points along a geodesic and their multiplicity Definition
- Conjugations and real structures on a complex vector space Definition
- Coordinate columns [v]_B and matrices [T]_B^C of linear maps relative to ordered bases Definition
- Derivations of Lie algebras Definition
- Dirac Notation Conversion Definition
- Eigenvalues, eigenvectors, eigenspaces E_λ(T)=ker(T-λ I), and the spectrum σ_F(T) of an endomorphism Definition
- Finite adiabatic path model Definition
- Finite Kraus representation Definition
- Finite-dimensional quantum channel Definition
- Homomorphisms of possibly infinite-dimensional Lie algebras Definition
- Infinitesimal generator of a unitary group Definition
- Intertwiners, the spaces Hom_G(V,W) and End_G(V), equivalent representations, and faithful representations Definition
- Invariant subspaces, restrictions, and induced quotient operators Definition
- Invertible linear maps, linear isomorphisms, and inverse linear maps Definition
- Isometric Stinespring representation Definition
- Kernel and image of a linear map Definition
…and 136 more results.
Dependency tree · two levels
8 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
- Axler, Linear Algebra Done Right, Chapter 3 (standard reference, not scraped)