Construct an orthogonal basis, detect dependence and connect the result to QR.
Loading your saved responses…
Try
Start with v₁=(1,1,0) and v₂=(1,0,1). They are independent but not orthogonal. Removing v₂’s component along v₁ gives u₂=(1/2,−1/2,1), whose dot product with v₁ is zero.
Predict
Predict why you must subtract every earlier direction, not only the most recent. Gram–Schmidt builds uⱼ=vⱼ−Σprojᵤᵢ(vⱼ) over i<j. The nonzero uᵢ are orthogonal. Dividing each by its positive norm produces orthonormal qᵢ.
Experiment
Calculate v₂·v₁=1 and v₁·v₁=2, then subtract half v₁. Verify u₂·v₁=0 and ||u₂||²=3/2. Reconstruct v₂=u₂+(1/2)v₁ to show the span has not changed. No square-root decimal is needed for this unnormalized check.
Understand
Worked three-direction example: start with (1,0,0),(1,1,0),(1,1,1). The first direction stays fixed. Removing its projection from the second yields (0,1,0). Removing both earlier projections from the third yields (0,0,1). The resulting basis is orthonormal and spans the same R³.
In general each subtraction uses previously constructed orthogonal directions, so it removes exactly those components. Reversible reconstruction shows the span of each initial segment is preserved. For an independent input list no residual is zero; a zero residual instead reveals dependence and must not be normalized.
For a full-column-rank matrix A, put qᵢ in Q and the reconstruction coefficients in upper-triangular R. Then A=QR and QᵀQ=I. Q may be rectangular: this is thin QR.
Apply
Check dot products after each step and retain exact fractions. In a written QR answer, give both the orthogonality check and the reconstruction. Merely obtaining vectors of length one does not prove they are orthogonal.
Continue
Depth: classical Gram–Schmidt can lose orthogonality in floating-point arithmetic for nearly dependent inputs. Modified Gram–Schmidt and Householder QR improve numerical behavior. Exact zero and a small computed residual need different interpretations; production numerical algorithms belong to the later numerical sequence.
Apply · explain · revise
Practice and reasoning
Drafts save locally as you type. Reveal worked solutions when useful; the site remembers that exposure. Automatic matches check the requested answer, while written arguments require review against the rubric.
Let v₁=(1,1,0), v₂=(1,0,1). In u₂=v₂−c v₁, choose c to make u₂ orthogonal to v₁.
Integers, fractions and finite decimals are accepted. Expressions such as sqrt(2) are not parsed by this checker.
For u₂=(1/2,−1/2,1), compute ||u₂||².
Integers, fractions and finite decimals are accepted. Expressions such as sqrt(2) are not parsed by this checker.
A Gram–Schmidt residual is exactly zero when:
For a full-column-rank real matrix A, thin QR has:
Apply unnormalized Gram–Schmidt to (1,0,0),(1,1,0),(1,1,1).
Structure your argument and preserve revisions
These optional planning fields save locally. Recording your response saves an immutable copy of the argument and these fields. Older records may contain only first/latest responses; missing intermediate revisions are not reconstructed.
Each field allows 2,000 characters. Keep a specific claim, state where it applies, cite the facts you use, and explain what still needs checking. Blank fields are allowed and are not evidence of mastery.
Explain why replacing v₂ by u₂=v₂−cv₁ preserves span{v₁,v₂}, and why u₂≠0 when v₁,v₂ are independent.
Structure your argument and preserve revisions
These optional planning fields save locally. Recording your response saves an immutable copy of the argument and these fields. Older records may contain only first/latest responses; missing intermediate revisions are not reconstructed.
Each field allows 2,000 characters. Keep a specific claim, state where it applies, cite the facts you use, and explain what still needs checking. Blank fields are allowed and are not evidence of mastery.
Reflect and continue
Before marking this lesson complete, explain one key idea without the worked solution and identify a condition that matters. Marking complete records participation, not independent mastery.