Statements (28)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:algebra
|
gptkbp:basisFor |
set of linearly independent vectors
|
gptkbp:category |
gptkb:Vector
|
gptkbp:dimensions |
can be finite or infinite
|
gptkbp:example |
gptkb:Euclidean_space
space of real-valued functions space of real matrices |
gptkbp:field |
real numbers
|
gptkbp:has_operation |
scalar multiplication
vector addition |
gptkbp:hasAxiom |
associativity of addition
commutativity of addition existence of additive identity existence of additive inverse identity element of scalar multiplication compatibility of scalar multiplication with field multiplication distributivity of scalar multiplication over vector addition distributivity of scalar multiplication over field addition |
https://www.w3.org/2000/01/rdf-schema#label |
Real vector space
|
gptkbp:spanned_by |
basis
|
gptkbp:subspace |
real vector space
|
gptkbp:used_in |
gptkb:geometry
engineering functional analysis physics linear algebra |
gptkbp:bfsParent |
gptkb:Euclidean_Space
|
gptkbp:bfsLayer |
7
|