logo

Theory of proveit.linear_algebra

Provide description here.

In [1]:
import proveit
%theory # toggles between interactive and static modes

Local content of this theory

common expressions axioms theorems demonstrations

Sub-theories

additionaddition of vectors
negationnegation (additive inverse) of vectors
scalar_multiplicationscalar multiplication of vectors
inner_productsinner product spaces and inner products
vector_setsSpanning set, linear dependence, and bases
linear_mapslinear maps from vector space to vector space
matricesmatrix representations of linear maps over finite vector spaces
tensorstensor products and generalization of matrices
lie_algebraLie algebra and Lie group concepts and notation

All axioms contained within this theory

proveit.linear_algebra.addition

proveit.linear_algebra.negation

This sub-theory contains no axioms.

proveit.linear_algebra.scalar_multiplication

proveit.linear_algebra.inner_products

proveit.linear_algebra.vector_sets

proveit.linear_algebra.linear_maps

proveit.linear_algebra.matrices

This sub-theory contains no axioms.

proveit.linear_algebra.tensors

proveit.linear_algebra.lie_algebra

This sub-theory contains no axioms.