Vector addition in the context of Linear isomorphism

In mathematics, a binary operation or dyadic operation is a rule for combining two elements (called operands) to produce another element. More formally, a binary operation is an operation of arity two.

More specifically, a binary operation on a set is a binary function that maps every pair of elements of the set to an element of the set. Examples include the familiar arithmetic operations like addition, subtraction, multiplication, set operations like union, complement, intersection. Other examples are readily found in different areas of mathematics, such as vector addition, matrix multiplication, and conjugation in groups.

In mathematics, and more specifically in linear algebra, a linear map (or linear mapping) is a particular kind of function between vector spaces, which respects the basic operations of vector addition and scalar multiplication. A standard example of a linear map is an ${\displaystyle m\times n}$ matrix, which takes vectors in ${\displaystyle n}$-dimensions into vectors in ${\displaystyle m}$-dimensions in a way that is compatible with addition of vectors, and multiplication of vectors by scalars.

A linear map is a homomorphism of vector spaces. Thus, a linear map ${\displaystyle T:V\to W}$ satisfies ${\displaystyle T(ax+by)=aTx+bTy}$, where ${\displaystyle a}$ and ${\displaystyle b}$ are scalars, and ${\displaystyle x}$ and ${\displaystyle y}$ are vectors (elements of the vector space ${\displaystyle V}$). A linear mapping always maps the origin of ${\displaystyle V}$ to the origin of ${\displaystyle W}$, and linear subspaces of ${\displaystyle V}$ onto linear subspaces in ${\displaystyle W}$ (possibly of a lower dimension); for example, it maps a plane through the origin in ${\displaystyle V}$ to either a plane through the origin in ${\displaystyle W}$, a line through the origin in ${\displaystyle W}$, or just the origin in ${\displaystyle W}$. Linear maps can often be represented as matrices, and simple examples include rotation and reflection linear transformations.

In relativistic physics, a velocity-addition formula is an equation that specifies how to combine the velocities of objects in a way that is consistent with the requirement that no object's speed can exceed the speed of light. Such formulas apply to successive Lorentz transformations, so they also relate different frames. Accompanying velocity addition is a kinematic effect known as Thomas precession, whereby successive non-collinear Lorentz boosts become equivalent to the composition of a rotation of the coordinate system and a boost.

Standard applications of velocity-addition formulas include the Doppler shift, Doppler navigation, the aberration of light, and the dragging of light in moving water observed in the 1851 Fizeau experiment.