Real vector space

GPTKB entity

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