Algebra and Vector Algebra Study Notes

Functions

A Cartesian product A×BA \times B is defined as the set {(a,b)∣a∈A,b∈B}\{(a, b) \mid a \in A, b \in B\}. A relation f⊆A×Bf \subseteq A \times B is a function f:A→Bf: A \rightarrow B if for every element a∈Aa \in A, there exists a unique element b∈Bb \in B such that f(a)=bf(a) = b. The set AA is the domain, BB is the co-domain, and the set f(A)={f(a)∣a∈A}⊆Bf(A) = \{f(a) \mid a \in A\} \subseteq B is the range.

A function f:A→Bf: A \rightarrow B is an injection (one-to-one) if f(a1)=f(a2)  ⟹  a1=a2f(a_1) = f(a_2) \implies a_1 = a_2 for all a1,a2∈Aa_1, a_2 \in A. It is a surjection (onto) if the range f(A)=Bf(A) = B. It is a bijection if it is both an injection and a surjection. If f:A→Bf: A \rightarrow B is a bijection, its inverse f−1:B→Af^{-1}: B \rightarrow A exists as a bijection satisfying f−1(b)=a  ⟺  f(a)=bf^{-1}(b) = a \iff f(a) = b.

The composition of f:A→Bf: A \rightarrow B and g:B→Cg: B \rightarrow C is the function (g∘f):A→C(g \circ f): A \rightarrow C defined by (g∘f)(a)=g(f(a))(g \circ f)(a) = g(f(a)). If ff and gg are bijections, then (g∘f)−1=f−1∘g−1(g \circ f)^{-1} = f^{-1} \circ g^{-1}. A function is even if f(−x)=f(x)f(-x) = f(x) and odd if f(−x)=−f(x)f(-x) = -f(x).

Graph of the modulus function f(x) = |x|

Mathematical Induction

The Well-Ordering Principle states that any non-empty set of positive integers contains a least element. This serves as the foundation for the Principle of Finite Mathematical Induction.

To prove a statement P(n)P(n) for all natural numbers n∈Nn \in \mathbb{N}, three core steps are executed:

  1. Basis of Induction: Prove that P(1)P(1) is true.

  2. Inductive Hypothesis: Assume that P(k)P(k) is true for an arbitrary positive integer k≥1k \ge 1

  3. Inductive Step: Prove that P(k+1)P(k+1) is true based on the inductive hypothesis P(k)P(k).

Under Complete Mathematical Induction, the inductive hypothesis assumes that P(1),P(2),…,P(k)P(1), P(2), \dots, P(k) are all true to show that P(k+1)P(k+1) holds.

Matrices

A matrix is an ordered rectangular array of numbers or functions. A matrix with mm rows and nn columns has order m×nm \times n. The trace of a square matrix AA, denoted Tr(A)\text{Tr}(A), is the sum of its principal diagonal elements ∑i=1naii\sum_{i=1}^{n} a_{ii}.

Matrix addition is commutative (A+B=B+AA + B = B + A) and associative ((A+B)+C=A+(B+C)(A + B) + C = A + (B + C)). Matrix multiplication ABAB requires the number of columns of AA to equal the number of rows of BB; it is associative ((AB)C=A(BC)(AB)C = A(BC)) and distributive (A(B+C)=AB+ACA(B+C) = AB + AC), but generally non-commutative (AB≠BAAB \neq BA).

The transpose A′A' satisfies (A′)′=A(A')' = A, (A+B)′=A′+B′(A + B)' = A' + B', and (AB)′=B′A′(AB)' = B'A'. A matrix AA is symmetric if A′=AA' = A and skew-symmetric if A′=−AA' = -A (with diagonal elements equal to 00). Every square matrix AA can be written uniquely as the sum of a symmetric matrix 12(A+A′)\frac{1}{2}(A + A') and a skew-symmetric matrix 12(A−A′)\frac{1}{2}(A - A').

A square matrix AA is non-singular if its determinant det⁡(A)≠0\det(A) \neq 0, and singular if det⁡(A)=0\det(A) = 0. If AA is non-singular, its multiplicative inverse is A−1=Adj(A)det⁡(A)A^{-1} = \frac{\text{Adj}(A)}{\det(A)}, where Adj(A)\text{Adj}(A) is the transpose of the cofactor matrix of AA. Inverse matrices satisfy (AB)−1=B−1A−1(AB)^{-1} = B^{-1}A^{-1} and (A′)−1=(A−1)′(A')^{-1} = (A^{-1})'.

A system of linear equations AX=DAX = D is consistent if rank(A)=rank([A∣D])\text{rank}(A) = \text{rank}([A \mid D]). It possesses a unique solution if rank(A)=rank([A∣D])=n\text{rank}(A) = \text{rank}([A \mid D]) = n, and infinitely many solutions if rank(A)=rank([A∣D])<n\text{rank}(A) = \text{rank}([A \mid D]) < n. If rank(A)≠rank([A∣D])\text{rank}(A) \neq \text{rank}([A \mid D]), the system is inconsistent.

Addition of Vectors

A vector is a directed line segment possessing both magnitude and direction. A position vector r=OP=xi+yj+zk\mathbf{r} = \mathbf{OP} = x\mathbf{i} + y\mathbf{j} + z\mathbf{k} locates a point P(x,y,z)P(x, y, z) relative to origin O(0,0,0)O(0, 0, 0), with magnitude ∣r∣=x2+y2+z2|\mathbf{r}| = \sqrt{x^2 + y^2 + z^2}. The direction cosines l=cos⁡(α)l = \cos(\alpha), m=cos⁡(β)m = \cos(\beta), n=cos⁡(γ)n = \cos(\gamma) satisfy l2+m2+n2=1l^2 + m^2 + n^2 = 1.

Vector addition follows the Triangle Law (AB+BC=AC\mathbf{AB} + \mathbf{BC} = \mathbf{AC}) and the Parallelogram Law. Vector addition is commutative (a+b=b+a\mathbf{a} + \mathbf{b} = \mathbf{b} + \mathbf{a}) and associative ((a+b)+c=a+(b+c)(\mathbf{a} + \mathbf{b}) + \mathbf{c} = \mathbf{a} + (\mathbf{b} + \mathbf{c})).

The position vector of a point PP dividing the segment joining A(a)A(\mathbf{a}) and B(b)B(\mathbf{b}) in the ratio m:nm : n is mb+nam+n\frac{m\mathbf{b} + n\mathbf{a}}{m + n} for internal division, and mb−nam−n\frac{m\mathbf{b} - n\mathbf{a}}{m - n} for external division. The centroid of a triangle with vertices a,b,c\mathbf{a}, \mathbf{b}, \mathbf{c} is a+b+c3\frac{\mathbf{a} + \mathbf{b} + \mathbf{c}}{3}, and the centroid of a tetrahedron is a+b+c+d4\frac{\mathbf{a} + \mathbf{b} + \mathbf{c} + \mathbf{d}}{4}.

The vector equation of a straight line through a\mathbf{a} parallel to b\mathbf{b} is r=a+tb\mathbf{r} = \mathbf{a} + t\mathbf{b}. The line passing through two points a\mathbf{a} and b\mathbf{b} is r=(1−t)a+tb\mathbf{r} = (1-t)\mathbf{a} + t\mathbf{b}. Three points a,b,c\mathbf{a}, \mathbf{b}, \mathbf{c} are collinear if and only if xa+yb+zc=0x\mathbf{a} + y\mathbf{b} + z\mathbf{c} = \mathbf{0} with x+y+z=0x + y + z = 0 for scalars x,y,zx, y, z not all zero.

Product of Vectors

The scalar (dot) product of two vectors a\mathbf{a} and b\mathbf{b} is a⋅b=∣a∣∣b∣cos⁡(θ)\mathbf{a} \cdot \mathbf{b} = |\mathbf{a}||\mathbf{b}|\cos(\theta). In component form, a⋅b=a1b1+a2b2+a3b3\mathbf{a} \cdot \mathbf{b} = a_1 b_1 + a_2 b_2 + a_3 b_3. Two non-zero vectors are perpendicular if and only if a⋅b=0\mathbf{a} \cdot \mathbf{b} = 0. The orthogonal projection vector of b\mathbf{b} on a\mathbf{a} is (a⋅b)a∣a∣2\frac{(\mathbf{a} \cdot \mathbf{b})\mathbf{a}}{|\mathbf{a}|^2}, with magnitude ∣a⋅b∣∣a∣\frac{|\mathbf{a} \cdot \mathbf{b}|}{|\mathbf{a}|}. The vector equation of a plane in normal form is r⋅n^=p\mathbf{r} \cdot \mathbf{\hat{n}} = p.

The vector (cross) product is a×b=(∣a∣∣b∣sin⁡(θ))n^\mathbf{a} \times \mathbf{b} = (|\mathbf{a}||\mathbf{b}|\sin(\theta))\mathbf{\hat{n}}, where n^\mathbf{\hat{n}} forms a right-handed system with a\mathbf{a} and b\mathbf{b}. Cross product is anti-commutative (b×a=−(a×b)\mathbf{b} \times \mathbf{a} = -(\mathbf{a} \times \mathbf{b})). In component form, a×b=∣ijka1a2a3b1b2b3∣\mathbf{a} \times \mathbf{b} = \begin{vmatrix} \mathbf{i} & \mathbf{j} & \mathbf{k} \\ a_1 & a_2 & a_3 \\ b_1 & b_2 & b_3 \end{vmatrix}. The vector area of a triangle with vertices a,b,c\mathbf{a}, \mathbf{b}, \mathbf{c} is 12(a×b+b×c+c×a)\frac{1}{2}(\mathbf{a} \times \mathbf{b} + \mathbf{b} \times \mathbf{c} + \mathbf{c} \times \mathbf{a}), and the vector area of a parallelogram with adjacent sides a,b\mathbf{a}, \mathbf{b} is a×b\mathbf{a} \times \mathbf{b}.

The scalar triple product is [a  b  c]=(a×b)⋅c=∣a1a2a3 b1b2b3 c1c2c3∣[\mathbf{a}\;\mathbf{b}\;\mathbf{c}] = (\mathbf{a} \times \mathbf{b}) \cdot \mathbf{c} = \begin{vmatrix} a_1 & a_2 & a_3 \ b_1 & b_2 & b_3 \ c_1 & c_2 & c_3 \end{vmatrix}. It satisfies cyclic symmetry [a  b  c]=[b  c  a]=[c  a  b][\mathbf{a}\;\mathbf{b}\;\mathbf{c}] = [\mathbf{b}\;\mathbf{c}\;\mathbf{a}] = [\mathbf{c}\;\mathbf{a}\;\mathbf{b}]. Non-zero vectors a,b,c\mathbf{a}, \mathbf{b}, \mathbf{c} are coplanar if and only if [a  b  c]=0[\mathbf{a}\;\mathbf{b}\;\mathbf{c}] = 0. The volume of a parallelopiped with coterminus edges a,b,c\mathbf{a}, \mathbf{b}, \mathbf{c} is ∣[a  b  c]∣|[\mathbf{a}\;\mathbf{b}\;\mathbf{c}]|, and the volume of a tetrahedron is \frac{1}{6}|[\mathbf{a}\;\mathbf{b}\;\mathbf{c}]|$.\n\nThe shortest distance between skew lines \mathbf{r} = \mathbf{a_1} + \lambda\mathbf{b_1}andand\mathbf{r} = \mathbf{a_2} + \mu\mathbf{b_2}isisd = \frac{|(\mathbf{a_2} - \mathbf{a_1}) \cdot (\mathbf{b_1} \times \mathbf{b_2})|}{|\mathbf{b_1} \times \mathbf{b_2}|}.Thevectortripleproductexpansionis. The vector triple product expansion is\mathbf{a} \times (\mathbf{b} \times \mathbf{c}) = (\mathbf{a} \cdot \mathbf{c})\mathbf{b} - (\mathbf{a} \cdot \mathbf{b})\mathbf{c}$$.