lacunary - Mathnotes

Vector Space

Definition: Vector Space \@{vector-space}

A vector space over a field F is a set V together with two operations:

satisfying the following axioms:

  1. (V,+) is an abelian group
  1. Scalar multiplication is associative: a(bv)=(ab)v
  1. Distributive laws hold
  1. Identity: 1v=v for all v∈V
Referenced by (11 direct, 158 transitive)

Transitive (depth 1):

Transitive (depth 2):

Transitive (depth 3):

Transitive (depth 4):

Transitive (depth 5):

Scalars

Definition: Scalar \@{scalar}

A scalar is an element of a field used to define a vector space.

Referenced by (8 direct, 162 transitive)

Transitive (depth 1):

Transitive (depth 2):

Transitive (depth 3):

Transitive (depth 4):

Transitive (depth 5):

Transitive (depth 6):

Transitive (depth 7):

Note \@{note-3}

Typically, especially in physics, a scalar is simply a number, especially a real number.

Vectors

Definition: Vector \@{vector}

A vector is an element in a vector space.

Referenced by (51 direct, 125 transitive)

Transitive (depth 1):

Transitive (depth 2):

Transitive (depth 3):

Transitive (depth 4):

Transitive (depth 5):

Note \@{note-5}

Typically, in physics and many other applications, when we say vector we mean a vector in Rn, which is an ordered tuple of real numbers, x=(x1,x2,⋯,xn). This is the algebraic representation of vector x.

The geometric representation of vector x is, in an n dimensional space, an arrow or directed line segment. When starting from the origin, it would be a line segment from 0 to the point (x1,x2,⋯,xn).

Physically, a vector has a magnitude and a direction.

Definition: Free vector \@{free-vector}

A vector whose endpoints are not fixed at particular points is called a free vector.

Definition: Bound vector \@{bound-vector}

A vector with a fixed endpoint is called a bound vector.

Properties of Vectors

Definition: Magnitude (also: norm, length) \@{magnitude}

Let x=(x1,x2,⋯,xn)∈Rn. The magnitude, or length, x is denoted as ‖x‖ and is defined as:

‖x‖=x12+x22+⋯+xn2=x⋅x=∑i=1nxi2

Referenced by (25 direct, 36 transitive)
Note \@{note-9}

This is essentially the Pythagorean theorem in n dimensions; in R2 the magnitude of a vector corresponds to the length of the hypotenuse of a right triangle whose other sides are of length x1 and x2.

While we define norm to be equivalent to magnitude here, this is actually a special case of the more general concept of a norm - there are other norms we could define on Rn, but I don't have need to explore that yet.

Definition: Zero Vector \@{zero-vector}

The zero vector (0,0,⋯,0) is denoted as 0 and has no direction.

Referenced by (2 direct)
Definition: Vector Equality \@{vector-equality}

Two vectors are equal if they have the same coordinates (or equivalently, the same length and direction).

Definition: Vector Addition \@{vector-addition}

We perform vector addition by adding two vectors x=(x1,x2,⋯,xn) and y=(y1,y2,⋯,yn) according to the following rule:

x+y=(x1+y1,x2+y2,⋯,xn+yn)

that is, by making a new vector where the coordinates are the sums of the respective coordinates in the vectors being summed.

Referenced by (3 direct, 166 transitive)

Transitive (depth 1):

Transitive (depth 2):

Transitive (depth 3):

Transitive (depth 4):

Transitive (depth 5):

Transitive (depth 6):

Note \@{note-15}

Geometrically, vector addition connects vectors head to tail.

Definition: Vector Subtraction \@{vector-subtraction}

Similarly, vector subtraction can be performed as:

x−y=(x1−y1,x2−y2,⋯,xn−yn)

Multiplication

Definition: Vector Multiplication by a Scalar \@{vector-multiplication-by-a-scalar}

We can multiply vectors by a scalar. Given the scalar c:

cx=(cx1,cx2,⋯,cxn)

Referenced by (1 direct, 167 transitive)

Direct references:

Transitive (depth 1):

Transitive (depth 2):

Transitive (depth 3):

Transitive (depth 4):

Transitive (depth 5):

Transitive (depth 6):

Definition: Inner product (also: Dot Product, Scalar product of two vectors) \@{inner-product}

If x and y are vectors in Rn, then their inner product is defined as

X⋅y=∑i=1nxiyi.

Referenced by (12 direct, 69 transitive)

Transitive (depth 1):

Transitive (depth 2):

Transitive (depth 3):

Transitive (depth 4):

Theorem \@{cos-characterization-of-dot-product}

The dot product of u and v is

u⋅v=|u||v|cos⁡θ

where θ is the angle between u and v.

Referenced by (1 direct)

Direct references:

Definition: Parallel \@{parallel}

Two vectors x and y are said to be parallel if x is a scalar multiple of y, i.e., if there exists some scalar c where x=cy.

Referenced by (1 direct)

Direct references:

Definition: Cross Product (also: Vector Product, Outer Product) \@{cross-product}

The cross product a×b (read "a cross b") of two vectors a and b is the vector v denoted by

v=a×b.

I. If a=0 or b=0, then we define v=a×b=0.

II. If both vectors are nonzero vectors, then vector v has the length

|v|=|a×b|=|a||b|sin⁡θ,(1)

where θ is the angle between a and b. Furthermore, a and b form the sides of a parallelogram on a plane in space. The area of this parallelogram is precisely given by (1), such that the length |v| of the vector v is equal to the area of the parallelogram.

III. If a and b lie in the same straight line, i.e. a and b have the same or opposite directions, then θ is 0∘ or 180∘ so that sin⁡θ=0. In that case |v|=0, so that v=a×b=0.

IV. If cases I and III do not occur, then v is a nonzero vector. The direction of v=a×b is perpendicular to both a and b such that a,b,v, precisely in this order, form a right-handed triple

Referenced by (2 direct)

Direct references:

Remark \@{remark-23}

If a=(a1,a2,a3) and b=(b1,b2,b3), then we use the symbolic determinant to find the cross product, in this fashion:

v=a×b=|ijka1a2a3b1b2b3|=|a2a3b2b3|i−|a1a3b1b3|j+|a1a2b1b2|k.

Definition: Linear Combination \@{linear-combination}

Let v1,v2,⋯,vn∈Rn and c1,c2,⋯,c3∈R. Then, the vector

v=c1v1+c2v2+⋯+cnvn

is called a linear combination of v1,v2,⋯,vn.

Let v1,v2,⋯,vn∈Rn. The set of all linear combinations of v1,v2,⋯,vn is called their span, denoted Span(v1,v2,⋯,vn).

That is:

Span(v1,v2,⋯,vn)={v∈Rn:v=c1v1+c2v2+⋯+cnvn for some scalars c1,c2,⋯,cn}

Definition: Linear Function (also: linear map, linear transformation) \@{linear-function}

TODO: define this.

Referenced by (2 direct)

Matrices

Definition: n-tuple \@{n-tuple}

An object of the form (a1,a2,…,an) where the entries a1,a2,…,an are elements of a field F, is called an n-tuple with

Referenced by (1 direct, 72 transitive)

Direct references:

Transitive (depth 1):

Transitive (depth 2):

Transitive (depth 3):

Transitive (depth 4):

Definition: Entry (also: component) \@{entry}

A specific element ai in an n-tuple is called an entry of the n-tuple, and i indicates its ordinal position, i.e. ai is the ith entry in a.

Referenced by (24 direct, 54 transitive)

Transitive (depth 1):

Transitive (depth 2):

Transitive (depth 3):