Vectors

⚡ Key Takeaways

A vector is a quantity with both magnitude and direction, represented geometrically as an arrow or algebraically as an ordered list of components. Key result: vectors add tip-to-tail and obey the parallelogram law; they can be scaled, decomposed into components, and combined via the dot and cross products. Vectors apply everywhere direction matters — physics (force, velocity), engineering, computer graphics, and navigation. Formalized in the 19th century by Hamilton, Grassmann, Gibbs, and Heaviside.

💡 The Core Insight

A vector separates how much from which way. By splitting a directed quantity into perpendicular components, any vector problem in two or three dimensions reduces to independent one-dimensional arithmetic. Addition, scaling, and projection then become simple operations on numbers — but the geometric meaning (a length and a direction that exist regardless of coordinates) is always preserved underneath.

Formal Statement

DefinitionVector — geometric and algebraic

A vector v⃗\vec{v} is a quantity possessing both magnitude ∣v⃗∣|\vec{v}| and direction. Two equivalent representations:

Geometric: a directed line segment (arrow) from an initial point to a terminal point. Two arrows are the same vector if they have equal length and equal direction (parallel, same sense), regardless of starting location.

Algebraic: an ordered tuple of real numbers, the components, relative to a chosen basis:

1
v⃗=(vx, vy, vz)=vxı^+vyȷ^+vzk^\quad \vec{v} = (v_x,\, v_y,\, v_z) = v_x\hat{\imath} + v_y\hat{\jmath} + v_z\hat{k}

Derivation hint: project the arrow onto each coordinate axis; ı^,ȷ^,k^\hat{\imath},\hat{\jmath},\hat{k} are unit vectors along x,y,zx,y,z, and each vx,vy,vzv_x,v_y,v_z is the signed length of the projection. The magnitude (length, norm) is given by the Pythagorean theorem:

2
∣v⃗∣=vx2+vy2+vz2\quad |\vec{v}| = \sqrt{v_x^2 + v_y^2 + v_z^2}

Derivation hint: apply the Pythagorean theorem twice — once in the xyxy-plane to get vx2+vy2\sqrt{v_x^2+v_y^2}, then again combining that with vzv_z. The direction in 2D is captured by the angle θ\theta from the positive xx-axis:

3
θ=tan⁡−1 ⁣(vyvx)(adjusted for quadrant)\quad \theta = \tan^{-1}\!\left(\frac{v_y}{v_x}\right)\quad(\text{adjusted for quadrant})

Derivation hint: in the right triangle formed by the components, the tangent of the angle is opposite over adjacent, vy/vxv_y/v_x; check the signs of vx,vyv_x,v_y to place the quadrant correctly.

DefinitionVector operations

For vectors a⃗=(ax,ay,az)\vec{a}=(a_x,a_y,a_z), b⃗=(bx,by,bz)\vec{b}=(b_x,b_y,b_z) and scalar kk:

Addition (component-wise):

4
a⃗+b⃗=(ax+bx,  ay+by,  az+bz)\quad \vec{a}+\vec{b} = (a_x+b_x,\; a_y+b_y,\; a_z+b_z)

Derivation hint: place b⃗\vec{b}'s tail at a⃗\vec{a}'s tip; the resultant runs from a⃗\vec{a}'s tail to b⃗\vec{b}'s tip — each coordinate displacement simply adds.

Scalar multiplication:

5
ka⃗=(kax,  kay,  kaz)\quad k\vec{a} = (ka_x,\; ka_y,\; ka_z)

Derivation hint: stretching the arrow by factor kk stretches each projected component by kk; negative kk also reverses direction.

Dot (scalar) product:

6
a⃗⋅b⃗=axbx+ayby+azbz=∣a⃗∣ ∣b⃗∣cos⁡ϕ\quad \vec{a}\cdot\vec{b} = a_xb_x + a_yb_y + a_zb_z = |\vec{a}|\,|\vec{b}|\cos\phi

Derivation hint: expand (a⃗)⋅(b⃗)(\vec a)\cdot(\vec b) in the orthonormal basis using ı^⋅ı^=1\hat\imath\cdot\hat\imath=1, ı^⋅ȷ^=0\hat\imath\cdot\hat\jmath=0; equate with the law-of-cosines form to recover cos⁡ϕ\cos\phi.

Cross (vector) product (3D):

7
a⃗×b⃗=(aybz−azby,  azbx−axbz,  axby−aybx)\quad \vec{a}\times\vec{b} = \big(a_yb_z - a_zb_y,\; a_zb_x - a_xb_z,\; a_xb_y - a_yb_x\big)

Derivation hint: expand the symbolic determinant with rows (ı^,ȷ^,k^)(\hat\imath,\hat\jmath,\hat k), (ax,ay,az)(a_x,a_y,a_z), (bx,by,bz)(b_x,b_y,b_z) by cofactors along the first row. with magnitude ∣a⃗×b⃗∣=∣a⃗∣ ∣b⃗∣sin⁡ϕ|\vec{a}\times\vec{b}| = |\vec{a}|\,|\vec{b}|\sin\phi, a vector perpendicular to both, direction given by the right-hand rule.

TheoremParallelogram Law and Triangle Inequality

Vector addition is commutative (a⃗+b⃗=b⃗+a⃗\vec{a}+\vec{b}=\vec{b}+\vec{a}) and associative, so the sum of two vectors equals the diagonal of the parallelogram they span. Furthermore the magnitudes satisfy the triangle inequality:

8
∣a⃗+b⃗∣≤∣a⃗∣+∣b⃗∣\quad |\vec{a}+\vec{b}| \le |\vec{a}| + |\vec{b}|

Derivation hint: square both sides; ∣a⃗+b⃗∣2=∣a⃗∣2+2a⃗⋅b⃗+∣b⃗∣2|\vec a+\vec b|^2 = |\vec a|^2 + 2\vec a\cdot\vec b + |\vec b|^2 and since a⃗⋅b⃗≤∣a⃗∣∣b⃗∣\vec a\cdot\vec b \le |\vec a||\vec b|, the cross term is bounded above. Equality holds only when a⃗\vec{a} and b⃗\vec{b} point in the same direction.

Why It Holds / Derivation

ProofThe component magnitude formula

We derive equation [2], ∣v⃗∣=vx2+vy2+vz2|\vec{v}| = \sqrt{v_x^2+v_y^2+v_z^2}.

Step 1. Place the vector's tail at the origin OO and tip at point P=(vx,vy,vz)P=(v_x, v_y, v_z).

Step 2. Drop PP to the point Q=(vx,vy,0)Q=(v_x, v_y, 0) in the xyxy-plane. Triangle OQOQ lies flat in that plane with legs vxv_x and vyv_y, so by the Pythagorean theorem:

9
∣OQ∣=vx2+vy2\quad |OQ| = \sqrt{v_x^2 + v_y^2}

Derivation hint: the projection onto the xyxy-plane forms a right triangle with legs along the xx and yy axes.

Step 3. The segment QPQP is vertical with length ∣vz∣|v_z|, and it is perpendicular to OQOQ (one lies in the xyxy-plane, the other along zz). Triangle OQPOQP is therefore right-angled at QQ.

Step 4. Apply the Pythagorean theorem a second time:

10
∣v⃗∣2=∣OP∣2=∣OQ∣2+∣QP∣2=(vx2+vy2)+vz2\quad |\vec{v}|^2 = |OP|^2 = |OQ|^2 + |QP|^2 = (v_x^2 + v_y^2) + v_z^2

Derivation hint: substitute the result of Step 2 and ∣QP∣=∣vz∣|QP|=|v_z|, noting ∣vz∣2=vz2|v_z|^2=v_z^2.

Step 5. Taking the (positive) square root gives equation [2]. ■\blacksquare

∎
JW
Josiah Willard Gibbs
1839–1903

The American mathematical physicist Josiah Willard Gibbs, working at Yale, took the cumbersome quaternion algebra of Hamilton and distilled from it the practical, modern vector analysis used today — the dot product, cross product, and gradient/divergence/curl notation. His privately printed lecture notes (1881–84) and the 1901 textbook Vector Analysis (written up by his student E. B. Wilson) replaced four-component quaternions with clean three-component vectors. Working in parallel, the self-taught English engineer Oliver Heaviside developed an almost identical system to streamline Maxwell's equations of electromagnetism. Their pragmatic notation won out over the more abstract quaternion school, becoming the universal language of physics and engineering.

Building Intuition

🧠 Intuition

Think of a vector as a set of walking instructions: "go 3 km east and 4 km north." The instructions are the components (3,4)(3,4); the actual straight-line distance you end up from the start is the magnitude 32+42=5\sqrt{3^2+4^2}=5 km; the compass heading is the direction. Crucially, where you start walking doesn't change the instructions — that is why a vector can slide around freely without changing identity. Adding two vectors is just following one set of instructions, then the next, from wherever you ended up (tip-to-tail). The dot product measures how much two vectors "agree" in direction: it is large and positive when they point similar ways, zero when perpendicular, negative when opposed. The cross product measures how much they "disagree," producing a new vector that sticks out perpendicular to both — its length is the area of the parallelogram they span.

Figure
Vector addition by the tip-to-tail (triangle) method, with the resultant as the parallelogram diagonal
a b a + b O x y

Worked Examples

ExampleResultant force on a hook

Given: Two forces act on a hook: F⃗1=(6, 0) N\vec{F}_1 = (6,\,0)\,\text{N} (pulling east) and F⃗2=(0, 8) N\vec{F}_2 = (0,\,8)\,\text{N} (pulling north). Find the resultant force's magnitude and direction.

Step 1 — Add components (equation [4]):

11
R⃗=F⃗1+F⃗2=(6+0,  0+8)=(6, 8) N\quad \vec{R} = \vec{F}_1 + \vec{F}_2 = (6+0,\; 0+8) = (6,\,8)\,\text{N}

Derivation hint: add the xx-components together and the yy-components together.

Step 2 — Magnitude (equation [2]):

12
∣R⃗∣=62+82=36+64=100=10 N\quad |\vec{R}| = \sqrt{6^2 + 8^2} = \sqrt{36+64} = \sqrt{100} = 10\,\text{N}

Derivation hint: a 6–8–10 right triangle (a scaled 3–4–5).

Step 3 — Direction (equation [3]):

13
θ=tan⁡−1 ⁣(86)=tan⁡−1(1.333)=53.1∘\quad \theta = \tan^{-1}\!\left(\frac{8}{6}\right) = \tan^{-1}(1.333) = 53.1^\circ

Derivation hint: both components positive ⇒ first quadrant, no adjustment needed.

Answer: ∣R⃗∣=10 N at 53.1∘ north of east\boxed{|\vec{R}| = 10\ \text{N at } 53.1^\circ \text{ north of east}}

ExampleAngle between two vectors via the dot product

Given: a⃗=(2, 3, 1)\vec{a} = (2,\,3,\,1) and b⃗=(1, −1, 2)\vec{b} = (1,\,-1,\,2). Find the angle ϕ\phi between them.

Step 1 — Dot product (equation [6]):

14
a⃗⋅b⃗=(2)(1)+(3)(−1)+(1)(2)=2−3+2=1\quad \vec{a}\cdot\vec{b} = (2)(1)+(3)(-1)+(1)(2) = 2 - 3 + 2 = 1

Derivation hint: multiply matching components and sum.

Step 2 — Magnitudes (equation [2]):

15
∣a⃗∣=4+9+1=14≈3.742,∣b⃗∣=1+1+4=6≈2.449\quad |\vec{a}| = \sqrt{4+9+1}=\sqrt{14}\approx 3.742,\qquad |\vec{b}| = \sqrt{1+1+4}=\sqrt{6}\approx 2.449

Derivation hint: square each component, sum, take the root for each vector separately.

Step 3 — Solve for the angle:

16
cos⁡ϕ=a⃗⋅b⃗∣a⃗∣ ∣b⃗∣=1(3.742)(2.449)=19.165=0.1091\quad \cos\phi = \frac{\vec{a}\cdot\vec{b}}{|\vec{a}|\,|\vec{b}|} = \frac{1}{(3.742)(2.449)} = \frac{1}{9.165} = 0.1091

Derivation hint: rearrange the geometric form of equation [6] to isolate cos⁡ϕ\cos\phi.

Step 4: ϕ=cos⁡−1(0.1091)=83.7∘\phi = \cos^{-1}(0.1091) = 83.7^\circ.

Answer: ϕ≈83.7∘\boxed{\phi \approx 83.7^\circ} (nearly perpendicular).

Common Misconceptions

⚠️ Common mistake

Vectors are not just "numbers with arrows on top." Several frequent errors:

  • Adding magnitudes instead of vectors. ∣a⃗+b⃗∣≠∣a⃗∣+∣b⃗∣|\vec{a}+\vec{b}| \ne |\vec{a}|+|\vec{b}| in general (see the triangle inequality, [8]). Two 5 N forces can produce a resultant anywhere from 0 N to 10 N depending on their angle.
  • Confusing the dot and cross products. The dot product yields a scalar (a number); the cross product yields a vector. Writing a⃗⋅b⃗\vec{a}\cdot\vec{b} as a vector or a⃗×b⃗\vec{a}\times\vec{b} as a number is a category error.
  • Forgetting quadrant adjustment in tan⁡−1\tan^{-1}. A calculator returns angles only in (−90∘,90∘)(-90^\circ, 90^\circ); for vectors pointing left or down you must add 180∘180^\circ or otherwise correct.
  • Position vs. free vectors. A free vector can slide anywhere; a position vector is pinned to the origin. Treating them interchangeably causes errors in geometry problems.
Counterexample

A student claims "the magnitude of a sum equals the sum of magnitudes." Take a⃗=(3,0)\vec{a}=(3,0) and b⃗=(−3,0)\vec{b}=(-3,0). Then ∣a⃗∣=3|\vec{a}|=3 and ∣b⃗∣=3|\vec{b}|=3, so the claim predicts ∣a⃗+b⃗∣=6|\vec{a}+\vec{b}|=6. But a⃗+b⃗=(0,0)\vec{a}+\vec{b}=(0,0), the zero vector, with magnitude 0≠60\ne 6. The two displacements cancel exactly. This shows magnitude is fundamentally non-additive for vectors unless they are parallel and same-sense.

Connections

connection

Vectors sit at the crossroads of geometry, algebra, and physics:

  • They generalize the Number Line and Coordinate Geometry from one signed magnitude to many directed quantities.
  • The dot product is the gateway to Trigonometry (it encodes cos⁡ϕ\cos\phi) and to the abstract notion of inner products in Linear Algebra.
  • Collections of vectors form vector spaces, the central object of Linear Algebra, where matrices act as linear transformations on vectors.
  • In physics, vectors underlie Newton's Laws of Motion (forces and accelerations), Kinematics (displacement, velocity), and Electromagnetism (electric and magnetic fields).
  • Differentiating a vector function leads to Vector Calculus (gradient, divergence, curl).

Real-World Applications

🔬 Where this appears

Historical Development

⏳ History
- c. 1580 (Simon Stevin): Demonstrates the parallelogram of forces in studies of statics and inclined planes — an early physical use of vector addition.
- 1687 (Isaac Newton): Principia implicitly combines forces and velocities by the parallelogram rule, though without modern notation.
- 1799 (Caspar Wessel) / 1806 (Jean-Robert Argand): Geometric representation of complex numbers as directed segments in the plane — a 2D proto-vector idea.
- 1843 (William Rowan Hamilton): Invents quaternions, a four-dimensional algebra; coins the word "vector" for the imaginary (directed) part.
- 1844 (Hermann Grassmann): Publishes Ausdehnungslehre ("Theory of Extension"), an abstract, nn-dimensional theory of directed magnitudes far ahead of its time but little read.
- 1873 (James Clerk Maxwell): Uses quaternion methods in his Treatise on Electricity and Magnetism, spotlighting the need for a cleaner vector calculus.
- 1881–1884 (J. W. Gibbs): Distributes lecture notes establishing modern vector analysis — separate dot and cross products in three dimensions.
- 1893 (Oliver Heaviside): Independently formulates and popularizes vector operations to recast Maxwell's equations into their compact modern form.
- 1901 (E. B. Wilson): Publishes Vector Analysis, based on Gibbs's lectures — the textbook that standardized today's notation.

Subtleties & Limits

open-problem

The "arrow with magnitude and direction" picture, while perfect for introductory work, conceals deeper structure that mathematicians and physicists must confront:

  • What is a vector really? The modern definition is anything that transforms correctly under change of coordinates. A list of three numbers is only a genuine vector if its components rotate the way an arrow's do — distinguishing true vectors from arbitrary triples. This leads to tensors and the geometry of how quantities behave under symmetry.
  • Axial vs. polar vectors. The cross product yields a "pseudovector" (axial vector) that flips sign under a mirror reflection differently from ordinary (polar) vectors — subtle but physically important in magnetism and chirality.
  • Curved spaces. On a sphere or in curved spacetime, you cannot freely slide a vector from one point to another without ambiguity; comparing vectors at different points requires parallel transport and the machinery of differential geometry, where the naive "free vector" idea breaks down.
  • Beyond three dimensions. The neat cross product exists only in 3 (and trivially 7) dimensions; its generalization requires the exterior/wedge product of Grassmann's algebra.

See Also

Linear Algebra · Vector Calculus · Trigonometry · Coordinate Geometry · Newton's Laws of Motion · Complex Numbers · Pythagorean Theorem · Electromagnetism