Statements (26)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:Vector
gptkb:mathematical_concept |
| gptkbp:addition |
vector addition
|
| gptkbp:basisFor |
set of linearly independent vectors
|
| gptkbp:canBe |
gptkb:Hilbert_space
inner product |
| gptkbp:dimensions |
can be finite or infinite
|
| gptkbp:field |
complex numbers
|
| gptkbp:generalizes |
real vector space
|
| gptkbp:hasAxiom |
associativity of addition
commutativity of addition existence of additive identity existence of additive inverse identity element of scalar multiplication distributivity of scalar multiplication with respect to vector addition compatibility of scalar multiplication with field multiplication distributivity of scalar multiplication with respect to field addition |
| https://www.w3.org/2000/01/rdf-schema#label |
complex vector space
|
| gptkbp:scalar_multiplication |
defined over complex numbers
|
| gptkbp:used_in |
functional analysis
quantum mechanics linear algebra |
| gptkbp:bfsParent |
gptkb:finite-dimensional_Euclidean_space
gptkb:orthogonal_group gptkb:Unitary_group |
| gptkbp:bfsLayer |
5
|