Class: 'Finitedimensional space'
http://cll.niimm.ksu.ru/ontologies/mathematics#E1088
Annotations (3)

comment "the dimension of a vector space V is the cardinality (i.e. the number of vectors) of a basis of V.
For every vector space there exists a basis (if one assumes the axiom of choice), and all bases of a vector space have equal cardinality (see dimension theorem for vector spaces); as a result the dimension of a vector space is uniquely defined. We say V is finitedimensional if the dimension of V is finite.
" (en)

label "Finitedimensional space" (en)

label "конечномерное пространство" (ru)
Superclasses (1)
Usage (1)

Class: 'Finitedimensional space'