2.12.4 Tensor Vector Addition Algebraic Law
The Tensor Vector Addition Algebraic Law defines how vectors combine in tensor spaces, establishing foundational rules for linear operations in multilinear algebra.
Tensor Vector Addition Algebraic Law is the collection of formal laws, namely commutativity, associativity, existence of an additive identity, and existence of additive inverses, that the vector addition operation must obey as part of the axioms defining a vector space. These laws give vector addition the same well-behaved algebraic character as ordinary numerical addition, allowing familiar manipulation techniques to be applied safely to vectors and, by extension, to tensors.
Formal Statement
Commutative Law
The order in which two vectors are added does not affect the result.
Associative Law
Grouping three vectors differently under repeated addition does not affect the final result.
Identity and Inverse Laws
There exists a zero vector that leaves every vector unchanged under addition, and every vector has an additive inverse that, when added to it, produces the zero vector.
Consequences of These Laws
Well-Defined Sums of Many Vectors
Because addition is associative and commutative, a sum of several vectors can be written without parentheses and evaluated in any order, always producing the same result regardless of grouping or sequence.
Solvability of Vector Equations
The existence of additive inverses, combined with associativity, allows vector equations of the form a vector plus an unknown equals a given vector to be solved uniquely by adding the additive inverse of the known vector to both sides.
Relationship to the Structure of a Group
Vector Addition Forms an Abelian Group
Taken together, these four laws mean that the vector space, considered only with respect to its addition operation, forms an abelian group, a structure widely studied independently of the scalar multiplication that distinguishes vector spaces from mere groups.
Independence From Scalar Multiplication
These algebraic laws for addition hold regardless of the properties of scalar multiplication, so they remain valid even before scalar multiplication and its own distributive laws are introduced into the discussion.
Role in Tensor Construction
Guaranteeing Well-Behaved Tensor Sums
Because tensor addition is built from the addition operations of the underlying factor vector spaces, the algebraic laws holding for vector addition in each factor guarantee that tensor addition itself is commutative and associative, with a well-defined zero tensor and additive inverses.
Supporting Rearrangement in Multilinear Expressions
The commutative and associative laws for vector addition permit terms in multilinear expressions involving several tensors to be freely reordered and regrouped, a manipulation frequently used when simplifying or evaluating tensor expressions.
Summary of Key Properties
Full Set of Group-Like Addition Laws
Tensor Vector Addition Algebraic Law collects the commutative, associative, identity, and inverse properties that make vector addition behave predictably and consistently.
Basis for Reliable Algebraic Manipulation
These laws provide the algebraic foundation that justifies rearranging, regrouping, and simplifying expressions involving vector and tensor sums throughout tensor algebra.