Quiz 2

Affine Subspaces & Affine Mappings

1336 words
7 min read
Python Week 1: the first filter for runtime behavior
Visual companion
Python
Type and operator map

Python Week 1: the first filter for runtime behavior

View
Revision summary

What this note is really saying

Short form

# Affine Subspaces & Affine Mappings ## 🎯 Learning Objectives After this topic you will be able to: - Define affine subspaces as translates of linear subspaces - Determine whether a set is an affine subspace - Parametrise lines and planes in parametric and implicit forms - Distinguish between linear, affine, and co...

Affine Subspaces & Affine Mappings

🎯 Learning Objectives

After this topic you will be able to:
  • Define affine subspaces as translates of linear subspaces
  • Determine whether a set is an affine subspace
  • Parametrise lines and planes in parametric and implicit forms
  • Distinguish between linear, affine, and convex combinations
  • Identify affine mappings

📋 Prerequisites

  • Subspaces (Week 3) — subspaces must contain the origin
  • Linear Transformations (Week 5) — linear maps preserve the origin

1. Intuition: Moving Away from the Origin

A subspace must contain 0\mathbf{0}. But what about a line that doesn't pass through the origin, or a plane shifted upward? These are affine subspaces — they are "parallel" to a linear subspace but translated by a fixed vector. (Diagram) Every affine subspace can be written as:
W=p+V={p+vvV}W = \mathbf{p} + V = \{\mathbf{p} + \mathbf{v} \mid \mathbf{v} \in V\}
where VV is a linear subspace and p\mathbf{p} is a fixed vector.

2. Definition and Examples

2.1 Definition

Definition (Affine Subspace). A subset ARnA \subseteq \mathbb{R}^n is an affine subspace if it can be written as:
>A=p+V={p+vvV}>> A = \mathbf{p} + V = \{\mathbf{p} + \mathbf{v} \mid \mathbf{v} \in V\} >
where VV is a linear subspace of Rn\mathbb{R}^n and pRn\mathbf{p} \in \mathbb{R}^n. The dimension of an affine subspace is dim(V)\dim(V). Example 1: Lines in ℝ²
  • Linear subspace: y=2xy = 2x (through origin, dimension 1)
  • Affine subspace: y=2x+3y = 2x + 3 (parallel to y=2xy = 2x, shifted up by 3)
y=2x+3y = 2x + 3 can be written as (0,3)+span{(1,2)}(0,3) + \text{span}\{(1,2)\}. Example 2: Planes in ℝ³
2x+3yz=52x + 3y - z = 5 is an affine plane. Direction space: 2x+3yz=02x + 3y - z = 0 (through origin) — a linear subspace. Particular point: (1,1,0)(1,1,0) works (2+30=52+3-0=5). So plane = (1,1,0)+V(1,1,0) + V where V={(x,y,z)2x+3yz=0}V = \{(x,y,z) \mid 2x+3y-z=0\}.

2.2 Parametric Form

An affine line through p\mathbf{p} in direction v\mathbf{v}:
x(t)=p+tv,tR\mathbf{x}(t) = \mathbf{p} + t\mathbf{v}, \quad t \in \mathbb{R}
An affine plane through p\mathbf{p} spanned by v1,v2\mathbf{v}_1, \mathbf{v}_2:
x(s,t)=p+sv1+tv2,s,tR\mathbf{x}(s,t) = \mathbf{p} + s\mathbf{v}_1 + t\mathbf{v}_2, \quad s,t \in \mathbb{R}

3. Affine Combinations

Definition (Affine Combination). A linear combination i=1kcivi\sum_{i=1}^k c_i \mathbf{v}_i is an affine combination if i=1kci=1\sum_{i=1}^k c_i = 1. Contrast:
  • Linear combination: No restriction on coefficients
  • Affine combination: Coefficients sum to 1
  • Convex combination: Coefficients sum to 1 and ci0c_i \geq 0
Example 3: Affine combinations
(1,2)=13(3,0)+23(0,3)(1,2) = \frac{1}{3}(3,0) + \frac{2}{3}(0,3) is an affine combination (13+23=1\frac{1}{3}+\frac{2}{3}=1).
It is also a convex combination (coefficients are non-negative).
(1,2)=2(3,0)+(1)(0,3)(1,2) = 2(3,0) + (-1)(0,3) is not an affine combination (2+(1)=12 + (-1) = 1, so it is! Wait — 2+(1)=12 + (-1) = 1, so it IS an affine combination. But it's not convex since 1<0-1 < 0.) Theorem: A set AA is an affine subspace iff it is closed under affine combinations.

4. Affine Mappings

Definition (Affine Mapping). A function F:RnRmF: \mathbb{R}^n \to \mathbb{R}^m is affine if:
>F(x)=Ax+b>> F(\mathbf{x}) = A\mathbf{x} + \mathbf{b} >
where AA is an m×nm \times n matrix and bRm\mathbf{b} \in \mathbb{R}^m. Every affine map is a linear transformation followed by a translation. Example 4: Affine vs. linear
F(x,y)=(2x+3y+1,x4y2)F(x,y) = (2x+3y+1, x-4y-2) is affine. T(x,y)=(2x+3y,x4y)T(x,y) = (2x+3y, x-4y) is linear (the linear part). The translation vector is b=(1,2)\mathbf{b} = (1, -2). Properties:
  • F(0)0F(\mathbf{0}) \neq \mathbf{0} generally (unlike linear maps)
  • FF preserves affine combinations: F(civi)=ciF(vi)F(\sum c_i \mathbf{v}_i) = \sum c_i F(\mathbf{v}_i) when ci=1\sum c_i = 1
  • Affine maps map affine subspaces to affine subspaces

5. Edge Cases & Gotchas

SituationWhat Happens
** pV\mathbf{p} \in V **Then A=VA = V (a linear subspace is also affine)
Zero translationA=VA = V (linear subspace)
Single point{p}=p+{0}\{\mathbf{p}\} = \mathbf{p} + \{\mathbf{0}\} , dimension 0
Empty setNot an affine subspace

6. Common Pitfalls

❌ Pitfall 1: Thinking affine subspaces are linear subspaces

Affine subspaces are not closed under scalar multiplication: if A=p+VA = \mathbf{p} + V, then 2p2\mathbf{p} is not in AA (unless pV\mathbf{p} \in V).

❌ Pitfall 2: Confusing affine and convex combinations

All convex combinations are affine, but not vice versa. Convex requires ci0c_i \geq 0.

7. Formula Summary Table

ConceptDefinition
Affine subspacep+V\mathbf{p} + V , VV linear subspace
Affine combinationcivi\sum c_i \mathbf{v}_i , ci=1\sum c_i = 1
Affine mappingF(x)=Ax+bF(\mathbf{x}) = A\mathbf{x} + \mathbf{b}
Linear subspaceSpecial case: p=0\mathbf{p} = \mathbf{0}

8. 📝 Practice Questions

Q1: Affine line in ℝ²
Parametrise the line y=3x+1y = 3x + 1 as an affine subspace.
Solution: Direction vector: (1,3)(1,3). Point on line: (0,1)(0,1). x(t)=(0,1)+t(1,3)=(t,1+3t)\mathbf{x}(t) = (0,1) + t(1,3) = (t, 1+3t). Q2: Is it affine?
Is A={(x,y,z)x+y+z=2}A = \{(x,y,z) \mid x + y + z = 2\} an affine subspace?
Solution: Direction space V={(x,y,z)x+y+z=0}V = \{(x,y,z) \mid x+y+z = 0\} (a plane through origin). Point: (2,0,0)A(2,0,0) \in A. So A=(2,0,0)+VA = (2,0,0) + V. Yes, it's affine. Q3: Affine combination
Express (3,4)(3,4) as an affine combination of (1,2)(1,2) and (5,6)(5,6).
Solution: (3,4)=c(1,2)+(1c)(5,6)(3,4) = c(1,2) + (1-c)(5,6). c+5(1c)=3c+55c=34c=2c=1/2c + 5(1-c) = 3 \Rightarrow c + 5 - 5c = 3 \Rightarrow -4c = -2 \Rightarrow c = 1/2. Check: 2c+6(1c)=2(1/2)+6(1/2)=1+3=42c + 6(1-c) = 2(1/2) + 6(1/2) = 1+3 = 4 ✓. So (3,4)=12(1,2)+12(5,6)(3,4) = \frac{1}{2}(1,2) + \frac{1}{2}(5,6). Q4: Affine mapping
F(x,y)=(x+2y+1,3x4y+2)F(x,y) = (x+2y+1, 3x-4y+2). Find F(0,0)F(0,0) and F(1,1)F(1,1).
Solution: F(0,0)=(1,2)F(0,0) = (1,2). F(1,1)=(1+2+1,34+2)=(4,1)F(1,1) = (1+2+1, 3-4+2) = (4,1). Q5: Affine image of a line
Find the image of the line x(t)=(t,2t)\mathbf{x}(t) = (t, 2t) under F(x,y)=(x+y+1,x2y)F(x,y) = (x+y+1, x-2y).
Solution: F(t,2t)=(t+2t+1,t4t)=(3t+1,3t)F(t,2t) = (t+2t+1, t-4t) = (3t+1, -3t). This is y(t)=(1,0)+t(3,3)=(1,0)+3t(1,1)\mathbf{y}(t) = (1,0) + t(3,-3) = (1,0) + 3t(1,-1), an affine line through (1,0)(1,0) with direction (1,1)(1,-1). Q6: Is it affine?
Is A={(x,y)x2+y2=1}A = \{(x,y) \mid x^2 + y^2 = 1\} affine?
Solution: No. The circle is not an affine subspace (it's not a translate of a linear subspace; it fails closure under affine combinations). Q7: Dimension of affine subspace
What's the dimension of the affine plane 2xy+3z=42x - y + 3z = 4?
Solution: The direction space is 2xy+3z=02x - y + 3z = 0, which is a 2-dimensional subspace. So the affine plane has dimension 2. Q8: Affine combination in ℝ³
Express (2,3,4)(2,3,4) as an affine combination of (1,0,1)(1,0,1), (0,1,0)(0,1,0), and (0,0,1)(0,0,1).
Solution: Need c1+c2+c3=1c_1 + c_2 + c_3 = 1 and: c1(1,0,1)+c2(0,1,0)+c3(0,0,1)=(c1,c2,c1+c3)=(2,3,4)c_1(1,0,1) + c_2(0,1,0) + c_3(0,0,1) = (c_1, c_2, c_1 + c_3) = (2,3,4). c1=2c_1 = 2, c2=3c_2 = 3, c1+c3=4c3=2c_1 + c_3 = 4 \Rightarrow c_3 = 2. Check sum: 2+3+2=712+3+2 = 7 \neq 1. Not an affine combination. Q9: Affine vs linear mapping
Is F(x)=3x+1F(x) = 3x + 1 (from R\mathbb{R} to R\mathbb{R}) linear?
Solution: No. F(0)=10F(0) = 1 \neq 0 and F(x+y)=3(x+y)+1=3x+3y+1F(x)+F(y)=3x+1+3y+1=3x+3y+2F(x+y) = 3(x+y)+1 = 3x+3y+1 \neq F(x)+F(y) = 3x+1+3y+1 = 3x+3y+2. It is affine. Q10: Intersection of affine subspaces
Find the intersection of the affine lines: L1:(t,2t+1)L_1: (t, 2t+1) and L2:(s+1,s+3)L_2: (s+1, s+3).
Solution: Set (t,2t+1)=(s+1,s+3)(t, 2t+1) = (s+1, s+3): t=s+1t = s+1, 2t+1=s+32t+1 = s+3. Substitute: 2(s+1)+1=s+32s+2+1=s+3s=02(s+1)+1 = s+3 \Rightarrow 2s+2+1 = s+3 \Rightarrow s = 0, t=1t = 1. Intersection point: (1,3)(1, 3).

🔗 Cross-References

Document outline

Keep your place and jump directly to a heading.

Table of Contents
System Normal // Awaiting Context

Intelligence Hub

Navigate the knowledge graph to generate context. The Hub adapts dynamically to surface backlinks, related notes, and metadata insights.