LINEAR-ALGEBRA Β· Unit 13 Β· Video 1 Β· Interactive Practice

Why Two Perpendicular Planes Aren't "Orthogonal"

IKey Formulas

Formula Name Description
xTy=x1y1+x2y2+β‹―+xnyn\mathbf{x}^T\mathbf{y} = x_1 y_1 + x_2 y_2 + \cdots + x_n y_n Dot Product Sum of component-wise products
xβŠ₯yβ€…β€ŠβŸΊβ€…β€ŠxTy=0\mathbf{x} \perp \mathbf{y} \iff \mathbf{x}^T\mathbf{y} = 0 Orthogonal Vectors Dot product equals zero
βˆ₯x+yβˆ₯2=βˆ₯xβˆ₯2+2xTy+βˆ₯yβˆ₯2\|\mathbf{x}+\mathbf{y}\|^2 = \|\mathbf{x}\|^2 + 2\mathbf{x}^T\mathbf{y} + \|\mathbf{y}\|^2 Norm Expansion Pythagorean theorem holds when cross term vanishes
SβŠ₯TS \perp T: xTy=0\mathbf{x}^T\mathbf{y} = 0 for all x∈S\mathbf{x} \in S, all y∈T\mathbf{y} \in T Orthogonal Subspaces Every pair must be perpendicular

IIVisualization 1 β€” Dot Product and Right Angles

Two vectors are orthogonal exactly when their dot product is zero β€” the instant the Pythagorean theorem holds for the triangle they form.

IIIVisualization 2 β€” The All-Pairs Test

For two lines through the origin, one number β€” the dot product of their directions β€” decides whether every pair of vectors is orthogonal.

IVVisualization 3 β€” Two Planes Always Share a Line

In R3\mathbb{R}^3, two planes through the origin always meet in at least a line, so a nonzero vector lives in both β€” which makes orthogonality impossible at any angle.

VQuiz Questions

Question 1 Β· Computing a Dot Product

Let x=(3,βˆ’1,2)\mathbf{x} = (3, -1, 2) and y=(1,4,βˆ’1)\mathbf{y} = (1, 4, -1).

What is xTy\mathbf{x}^T\mathbf{y}?

βœ… Correct! (3)(1)+(βˆ’1)(4)+(2)(βˆ’1)=3βˆ’4βˆ’2=βˆ’3(3)(1) + (-1)(4) + (2)(-1) = 3 - 4 - 2 = -3.

❌ Not quite. Carefully multiply each corresponding pair β€” watch the signs: (3)(1)+(βˆ’1)(4)+(2)(βˆ’1)(3)(1) + (-1)(4) + (2)(-1).

Show solution

Solution:

Multiply corresponding components and sum:

xTy=(3)(1)+(βˆ’1)(4)+(2)(βˆ’1)=3βˆ’4βˆ’2=βˆ’3\mathbf{x}^T\mathbf{y} = (3)(1) + (-1)(4) + (2)(-1) = 3 - 4 - 2 = -3

Since xTy=βˆ’3β‰ 0\mathbf{x}^T\mathbf{y} = -3 \neq 0, these vectors are not orthogonal.

Common mistakes:

  • Getting 3: forgetting the negative sign on (βˆ’1)(4)=βˆ’4(-1)(4) = -4
  • Getting -1: computing 3βˆ’4=βˆ’13 - 4 = -1 but forgetting the third term
  • Getting 7: using ∣xiyi∣|x_i y_i| (absolute values) instead of signed products

Question 2 Β· Perpendicular vs. Orthogonal Subspaces

True or False: Two planes in R3\mathbb{R}^3 that meet at a 90Β° dihedral angle are orthogonal subspaces.

βœ… Correct! Two planes in RΒ³ always share a line, so the all-pairs requirement can never be satisfied β€” they are never orthogonal subspaces.

❌ Not quite. Think about what the two planes must share. Any nonzero vector on that shared line would need to be orthogonal to itself...

Show solution

Solution: False.

Two planes through the origin in R3\mathbb{R}^3 always share at least a line, because:

dim⁑(S∩T)β‰₯dim⁑(S)+dim⁑(T)βˆ’n=2+2βˆ’3=1\dim(S \cap T) \geq \dim(S) + \dim(T) - n = 2 + 2 - 3 = 1

Any nonzero vector v\mathbf{v} on that shared line is in both subspaces. The all-pairs orthogonality requirement demands vTv=0\mathbf{v}^T\mathbf{v} = 0, but:

vTv=βˆ₯vβˆ₯2>0forΒ anyΒ vβ‰ 0\mathbf{v}^T\mathbf{v} = \|\mathbf{v}\|^2 > 0 \quad \text{for any } \mathbf{v} \neq \mathbf{0}

Contradiction! Two planes in R3\mathbb{R}^3 are never orthogonal subspaces, no matter the dihedral angle.

This is the key distinction: "perpendicular" (geometric appearance) β‰ \neq "orthogonal subspaces" (the all-pairs linear algebra requirement).

Question 3 Β· Intersection of Orthogonal Subspaces

If subspaces SS and TT are orthogonal (SβŠ₯TS \perp T), what must their intersection S∩TS \cap T equal?

βœ… Correct! The zero vector is the only vector orthogonal to itself (0T0=0\mathbf{0}^T\mathbf{0} = 0), so it's the only vector that can live in both subspaces.

❌ Close, but not quite. Every subspace must contain the zero vector, so S∩TS \cap T always includes 0\mathbf{0}. The intersection is never truly empty.

❌ Not quite. Think: if a nonzero vector v\mathbf{v} lived in both subspaces, what would vTv\mathbf{v}^T\mathbf{v} need to equal?

Show solution

Solution: Only the zero vector {0}\{\mathbf{0}\}.

Two key facts combine:

  1. Every subspace contains 0\mathbf{0}, so S∩TS \cap T always includes 0\mathbf{0}. (It's never the empty set!)

    • And 0T0=0\mathbf{0}^T\mathbf{0} = 0 βœ… β€” no contradiction.
  2. No nonzero vector can be shared. If vβ‰ 0\mathbf{v} \neq \mathbf{0} were in both SS and TT, the all-pairs test would require: vTv=βˆ₯vβˆ₯2>0=0Contradiction!\mathbf{v}^T\mathbf{v} = \|\mathbf{v}\|^2 > 0 = 0 \quad \text{Contradiction!}

Therefore S∩T={0}S \cap T = \{\mathbf{0}\} β€” the zero vector is the only vector orthogonal to itself.

This doesn't depend on dimensions: it's a universal consequence of the all-pairs requirement.

Question 4 Β· Dimension Constraint

In R4\mathbb{R}^4, which of the following pairs of subspaces cannot be orthogonal?

Hint: If SβŠ₯TS \perp T, then S∩T={0}S \cap T = \{\mathbf{0}\}, which forces dim⁑(S)+dim⁑(T)≀n\dim(S) + \dim(T) \leq n.

βœ… Correct! Since 2+3=5>42 + 3 = 5 > 4, these subspaces must share at least a line, making orthogonality impossible β€” just like two planes in R3\mathbb{R}^3!

❌ Not quite. Check whether dim⁑(S)+dim⁑(T)\dim(S) + \dim(T) exceeds 4. If it does, the subspaces must share a nonzero vector, and orthogonality is impossible.

Show solution

Solution: A plane (dim 2) and a 3-dimensional subspace cannot be orthogonal in R4\mathbb{R}^4.

For orthogonal subspaces, S∩T={0}S \cap T = \{\mathbf{0}\} requires dim⁑(S)+dim⁑(T)≀n\dim(S) + \dim(T) \leq n.

Check each option in R4\mathbb{R}^4 (where n=4n = 4):

Pair dim⁑(S)+dim⁑(T)\dim(S) + \dim(T) ≀4\leq 4? Orthogonal possible?
Line + 3-dim 1+3=41 + 3 = 4 βœ… Yes Yes
Plane + Plane 2+2=42 + 2 = 4 βœ… Yes Yes
Plane + 3-dim 2+3=5\mathbf{2 + 3 = 5} ❌ No No
Line + Plane 1+2=31 + 2 = 3 βœ… Yes Yes

Since 2+3=5>42 + 3 = 5 > 4, these subspaces must share at least a line:

dim⁑(S∩T)β‰₯2+3βˆ’4=1>0\dim(S \cap T) \geq 2 + 3 - 4 = 1 > 0

A shared nonzero vector makes orthogonality impossible β€” the same argument as two planes in R3\mathbb{R}^3!

Solved: 0 / 4