Linear Algebra and Representation Theory

foundations+49 moreresults+55 moreequations+31 moredepends_on (declared)depends_on (declared)depends_on (declared)depends_on (declared)depends_on (declared)depends_on (declared)depends_on (declared)depends_on (declared)depends_on (declared)depends_on (declared)depends_on (declared)depends_on (declared)depends_on (declared)depends_on (declared)depends_on (declared)depends_on (declared)depends_on (declared)depends_on (declared)depends_on (declared)depends_on (declared)depends_on (declared)depends_on (declared)depends_on (declared)depends_on (declared)depends_on (declared)depends_on (declared)depends_on (declared)depends_on (declared)depends_on (declared)depends_on (declared)depends_on (declared)depends_on (declared)depends_on (declared)depends_on (declared)depends_on (declared)depends_on (declared)definition 5.1: Double factorial5.1 Double factorialdefinition 5.3: Scalar5.3 Scalardefinition 5.4: Vector5.4 Vectordefinition 5.5: Linear combination5.5 Linear combinati…definition 5.7: Vector subspace5.7 Vector subspacedefinition 5.12: Subspace generated by a set of vectors5.12 Subspace generat…definition 5.14: Linear independence5.14 Linear independe…definition 5.15: Basis5.15 Basisdefinition 5.16: Dimension5.16 Dimensiondefinition 5.17: Components of a vector5.17 Components of a…definition 5.18: Inner product5.18 Inner productdefinition 5.19: Norm5.19 Normdefinition 5.22: Metric associated with a norm5.22 Metric associate…proposition 5.2: Jacobi's formula, column form5.2 Jacobi's formula…proposition 5.20: Cauchy–Schwarz inequality5.20 Cauchy–Schwarz i…proposition 5.28: Gram–Schmidt5.28 Gram–Schmidtcorollary 5.29: Orthogonal decomposition5.29 Orthogonal decom…proposition 5.31: Gram criterion5.31 Gram criterionlemma 5.33: Determinant through the Levi–Civita symbol5.33 Determinant thro…lemma 5.34: Contraction of two Levi–Civita symbols5.34 Contraction of t…proposition 5.35: The identities of the vector algebra of ℝ^35.35 The identities o…lemma 5.38: Exchange and completion5.38 Exchange and com…theorem 5.40: Rank–nullity5.40 Rank–nullityproposition 5.42: The adjoint exists, is unique, and is linear5.42 The adjoint exis…theorem 5.43: The four fundamental subspaces5.43 The four fundame…proposition 5.45: prop:lin-matrix-unique5.45 propositionequation 5.3: eq:lin-binomialeq. (5.3)equation 5.10: eq:lin-trig-power-coseq. (5.10)equation 5.18: eq:lin-angle-defeq. (5.18)equation 5.19: eq:lin-leibniz-deteq. (5.19)equation 5.29: eq:lin-indepli2eq. (5.29)equation 5.44: eq:lin-norm-assoceq. (5.44)equation 5.49: eq:lin-orthonormalityeq. (5.49)equation 5.52: eq:lin-orthogonal-complementeq. (5.52)equation 5.74: eq:lin-matrix-repeq. (5.74)equation 5.81: eq:lin-GL-matriceseq. (5.81)equation 5.86: eq:lin-functional3eq. (5.86)equation 5.87: eq:lin-dual-expansioneq. (5.87)equation 5.102: eq:lin-eigenspaceeq. (5.102)
The chain of Linear Algebra and Representation Theory: 39 of 174 objects, read left to right from what the chapter assumes to what tests it. Solid lines are declared logical edges, dashed ones were inferred from the structure of the source. Click any node to open its own chain.

Open the whole graph · Read this chapter · What is checked, and what is still owed