Check if a set of vectors is linearly independent. Get the rank, determinant (if square), and a basis for the null space. Step‑by‑step linear algebra.
A set of vectors {v₁, v₂, …, vₖ} in ℝⁿ is said to be linearly independent if the only scalars c₁, c₂, …, cₖ satisfying
c₁v₁ + c₂v₂ + … + cₖvₖ = 0
are the trivial ones: c₁ = c₂ = … = cₖ = 0. If there exists a nontrivial combination that yields the zero vector, the vectors are linearly dependent. This fundamental concept underpins vector spaces, bases, dimension, and matrix rank.
Matrix Rank Criterion: Arrange vectors as columns of a matrix A. The columns are linearly independent if and only if rank(A) = number of vectors (k). Equivalently, null space contains only the zero vector.
Our algorithm constructs a matrix where each vector becomes a column. Using Gaussian elimination with partial pivoting, we reduce the matrix to row echelon form and determine the rank. If the rank equals the number of vectors, the set is independent; otherwise, dependence exists. Moreover, if dependent, we solve the homogeneous system Ax = 0 via nullspace extraction to provide one explicit linear dependence relation (with rational‑like coefficients). All computations are performed with double precision and tolerance ε = 1e-9 for near‑zero comparisons.
In truss analysis, force equilibrium equations produce a set of vectors representing load paths. Determining linear independence of these force vectors ensures that the structure is statically determinate. Using this calculator, engineers can quickly validate whether a set of reaction forces provides a unique solution to equilibrium equations, avoiding redundancy or instability.
Given vectors v₁, …, vₘ ∈ ℝⁿ, form the n×m matrix A = [v₁ v₂ … vₘ]. Solve A·x = 0. The nullspace dimension (nullity) = m - rank(A). If nullity = 0 → independent; otherwise dependent. Our tool not only outputs rank and independence but also finds a concrete dependency:
∑ αⱼ vⱼ = 0 with not all αⱼ = 0. This is obtained by solving the homogeneous system and picking a basis vector for the nullspace (the simplest one).
Historical context: Linear algebra was systematized in the 19th century by mathematicians like Grassmann, Cayley, and Sylvester. The concept of linear independence was central to the definition of dimension, first formalized by Grassmann in 1844.