Revision #720 → #1030 · back to history
addedBasis (informal)3433a4a87dce
addedBasis as linearly independent spanning set3e1a98afef89
addedAll bases have the same cardinality (dimension)ec935c147d52
addedBasis of a vector space over a field12f81b0b435f
addedLinear independence condition312e69f827ee
addedSpanning propertydfda82eda558
addedEquivalent phrasing of linear independence6712e268a4bb
addedUnique representation in a basisc85145cd3f82
addedFinite-dimensional vector space845fdfb2c2c4
addedOrdered basis972c57f4e321
addedStandard basis of R^278b4d9df119e
addedStandard basis of F^n9141626a02ef
addedMonomial basis of F[X]765950849080
addedPolynomial sequence basis69e2c633f3c0
addedSteinitz exchange lemma55fb74bbd56d
addedExtending an independent set to a basis461fe2e12e0e
addedEvery vector space has a basis0326797cbe12
addedDimension theorem38a007473f68
addedBasis as minimal generating set7a50fb978059
addedBasis as maximal independent set01415c44c52d
addedn-element independent subset is a basisfd7494aea9b8
addedn-element spanning subset is a basis33323e42b679
addedCoordinates over a basis0c87902bb128
addedCoordinate isomorphism3504bcf98764
addedStandard/canonical basis of F^nac28ccea004c
addedOrdered bases correspond to linear isomorphisms396922662539
addedChange-of-basis formula172246dee3fb
addedMatrix form of change of basis2bb0b6a95ece
addedFree module54495097b8d7
addedSubgroup of finitely generated free abelian groupd22a9cd78468
addedHamel basis7c256dcb11a0
addedCardinality of Hamel basis of R over Qe8e255802bb9
addedHamel basis of a Banach space is uncountable3974a566f34c
addedCountable Hamel basis of finitely-supported sequences45f0fe80b0bb
addedOrthogonal Fourier basis of square-integrable functionsb4ed680baf92
addedFourier basis is not a Hamel basis00dcc7b0f014
addedAffine basisb09a02604de7
addedProjective basis566a83d32b0f
addedConvex basis381791e3896a
addedCone basisdbc3b0736362
addedRandom vectors form a basis with probability one6db9a104c63b
addedε-orthogonalityd8a1c716662a
addedExponential growth of almost-orthogonal random vectors7581ce329830
addedEvery vector space has a basis (proof via Zorn)a2014fb0315b
addedExistence of bases equivalent to axiom of choice10edbefeb7af