15A03 Linear and multilinear algebra; matrix theory - Vector spaces, linear dependence, rank

Primary classification

# Article
1 rlvect_1 Vectors in Real Linear Space Wojciech A. Trybulec
2 rlsub_1 Subspaces and Cosets of Subspaces in Real Linear Space Wojciech A. Trybulec
3 rlsub_2 Operations on Subspaces in Real Linear Space Wojciech A. Trybulec
4 vectsp_1 Abelian Groups, Fields and Vector Spaces Eugeniusz Kusak, Wojciech Leo\'nczuk and Micha{\l} Muzalewski
5 rlvect_2 Linear Combinations in Real Linear Space Wojciech A. Trybulec
6 rlvect_3 Basis of Real Linear Space Wojciech A. Trybulec
7 vectsp_3 Finite Sums of Vectors in Vector Space Wojciech A. Trybulec
8 vectsp_4 Subspaces and Cosets of Subspaces in Vector Space Wojciech A. Trybulec
9 vectsp_5 Operations on Subspaces in Vector Space Wojciech A. Trybulec
10 vectsp_6 Linear Combinations in Vector Space Wojciech A. Trybulec
11 vectsp_7 Basis of Vector Space Wojciech A. Trybulec
12 rlvect_4 Subspaces of Real Linear Space Generated by One, Two, or Three Vectors and Their Cosets Wojciech A. Trybulec
13 rlvect_5 The Steinitz Theorem and the Dimension of a Real Linear Space Wojciech A. Trybulec
14 vectsp_8 On the Lattice of Subspaces of Vector Space Andrzej Iwaniuk
15 vectsp_9 Steinitz Theorem and Dimension of a Vector Space Mariusz \.Zynel
16 vectsp10 Quotient Vector Spaces and Functionals Jaros{\l}aw Kotowicz
   
   

Secondary classification

# Article
1 vectsp_2 Construction of Rings and Left-, Right-, and Bi-Modules over a Ring Micha{\l} Muzalewski
   
   
WebForm
TopicClassification MathSC2000
ProjectGroup?

ImplementationDate? N/A
Topic revision: r1 - 2006-11-17 - 10:03:07 - MarcoRiccardi
 
Mizar TWiki
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback