proposition 5.48 Existence, uniqueness, and linearity of the inverse

open in the book · parts/02-mathematical-methods/03-linear-algebra-representations.tex:2252 · p. 123

Rests on

depends_on definition 5.47 Inverse of a linear transformation ¶
- depends_on definition 5.37 Linear transformation ¶
  - depends_on definition 4.33 Vector space ¶
    - depends_on definition 4.8 Commutativity; abelian structure ¶
      - depends_on definition 4.4 Internal binary operation; magma ¶
    - depends_on definition 4.32 Field ¶
      - depends_on definition 4.11 Inverse element ¶
      - depends_on definition 4.20 Monoid ¶
      - depends_on definition 4.30 Ring ¶
    - depends_on definition 4.31 Module ¶
      - depends_on definition 4.29 Action ¶
      - depends_on definition 4.28 Distributivity ¶
      - depends_on definition 4.21 Group ¶
      - depends_on definition 4.30 Ring ¶ ↺
depends_on definition 5.37 Linear transformation ¶ ↺
proves proof ch:03-linear-algebra-representations@proof-17 ¶

Supports

depends_on proposition 5.49 Injective, surjective, invertible ¶
- depends_on lemma 5.97 Fitting splitting ¶
  - depends_on theorem 5.98 Primary decomposition ¶
    - depends_on corollary 5.99 Semisimple and nilpotent parts ¶
- depends_on proposition 5.31 Gram criterion ¶
- depends_on proposition 5.2 Jacobi's formula, column form ¶
  - depends_on lemma 44.10 Divergence theorem on $(M,g)$ ¶
    - depends_on proposition 44.11 The boundary term, and the Gibbons–Hawking–York action ¶
  - depends_on lemma 44.7 Variation of inverse and determinant ¶
    - depends_on proposition 44.17 Stress–energy of the electromagnetic field ¶
      - depends_on proposition 44.38 The electromagnetic field satisfies NEC, WEC, SEC and DEC ¶
    - depends_on theorem 44.9 Variation of the Einstein–Hilbert action ¶
      - depends_on proposition 44.11 The boundary term, and the Gibbons–Hawking–York action ¶ ↺
      - depends_on proposition 44.30 The cosmological term ¶
  - depends_on proposition 7.111 Jacobi's formula, cofactor form ¶
- depends_on proposition 5.90 Polar decomposition ¶
- depends_on proposition 5.130 An orthogonal transformation is an isometry ¶
  - depends_on theorem 5.133 Isotropic Cartesian tensors of rank at most four ¶
    - depends_on lemma A.742 Isotropic representation ¶
      - depends_on corollary A.743 Two scalar functions instead of a tensor field ¶
      - depends_on lemma A.747 The third-order structure functions ¶
      - depends_on lemma A.744 Vanishing of the pressure–velocity correlation ¶
    - depends_on lemma A.671 The three products are independent ¶
      - depends_on proposition A.673 Cubic tensors of rank four ¶
    - depends_on lemma 30.26 Isotropic Cartesian tensors of rank four ¶
      - depends_on phenomenon 30.28 Hooke's law ¶
    - depends_on remark A.677 The lower ranks, and why an isotropic solid is not piezoelectric ¶
    - depends_on remark 30.27 Two results this chapter borrows from Part II ¶
    - depends_on remark 13.7 What the classification is used for ¶
- depends_on theorem 5.71 The eigenvalues are the roots of the characteristic polynomial ¶
  - depends_on corollary 5.72 Existence of an eigenvalue over $\C$ ¶
    - depends_on theorem 5.98 Primary decomposition ¶ ↺
    - depends_on theorem 5.79 Spectral theorem for a self-adjoint operator ¶
      - depends_on definition 30.20 Pressure and deviatoric stress ¶
      - depends_on proposition 30.9 Principal strains ¶
      - depends_on theorem 5.80 Simultaneous diagonalization of commuting self-adjoint operators ¶
      - depends_on theorem 5.84 Spectral theorem for a real symmetric operator ¶
      - depends_on theorem 28.33 Normal modes ¶
      - depends_on theorem 29.16 Principal axes ¶
  - depends_on proposition 32.17 Classification of planar fixed points ¶
    - depends_on example 32.18 A linear centre that is really a stable focus ¶
    - depends_on theorem 32.25 Hopf bifurcation, quoted ¶
      - depends_on proposition 32.26 The Hopf normal form ¶
  - depends_on theorem 5.84 Spectral theorem for a real symmetric operator ¶ ↺
  - depends_on theorem 9.26 Structure of the solutions ¶
    - depends_on corollary 9.27 Linear stability ¶
      - depends_on corollary 9.41 Hill's equation ¶
      - depends_on proposition 9.31 Lyapunov's first method: asymptotic stability ¶
      - depends_on proposition 9.29 The planar classification ¶
      - depends_on theorem 9.39 Floquet ¶
depends_on proposition 5.51 prop:lin-matrix-inverse ¶
depends_on proposition 5.136 $\Sp(2n,\R)$ is a subgroup of $\GL(2n,\R)$ ¶

Neighborhood

Every logical edge within two steps of this node.

declared and complete
partly declared
a check failed
not graded
declared in the source
inferred from structure

Edges

type	direction	node	provenance	where
`depends_on`	→	Inverse of a linear transformation	declared	parts/02-mathematical-methods/03-linear-algebra-representations.tex:2262
`depends_on`	→	Linear transformation	declared	parts/02-mathematical-methods/03-linear-algebra-representations.tex:2262
`depends_on`	←	Injective, surjective, invertible	declared	parts/02-mathematical-methods/03-linear-algebra-representations.tex:2303
`depends_on`	←	prop:lin-matrix-inverse	declared	parts/02-mathematical-methods/03-linear-algebra-representations.tex:2348
`depends_on`	←	$\Sp(2n,\R)$ is a subgroup of $\GL(2n,\R)$	declared	parts/02-mathematical-methods/03-linear-algebra-representations.tex:5915
`proves`	←	ch:03-linear-algebra-representations@proof-17	declared	parts/02-mathematical-methods/03-linear-algebra-representations.tex:2265