[Linear algebra should be learned this way] Chapter 1 Vector Space

Table of contents

1.AR^n and C^n

1.B Definition of vector space

1.C subspace


Linear algebra studies linear mappings on finite-dimensional vector spaces .

1.AR^n and C^n

complex number :

  • A complex number is an ordered pair (a, b), where a,b\in R, is generally written as a+bi, wherei^2=-1
  • The set of all complex numbers is denoted C:C=\{a+bi:a,b\in R\}
  • Addition and multiplication in C are defined as

(a+bi)+(c+di)=(a+c)+(b+d)i,

(a+bi)(c+di)=(ac-bd)+(ad+bc)i,

ina,b,c,d\in R.

Arithmetic properties of complex numbers :

  • Commutativity, \alpha,\beta\in Cavailable to all \alpha+\beta=\beta+\alpha,\alpha \beta=\beta\alpha;
  • Associativity, for \alpha,\beta\in Call (\alpha+\beta)+\lambda=\alpha+(\beta+\lambda),(\alpha\beta)\lambda=\alpha(\beta\lambda);
  • identities, for \lambda\in Call\lambda +0=\lambda,\lambda1=\lambda
  • Additive inverse (additive inverse), \alpha\in Cthere is a unique \beta \in Csuch that for each \alpha+\beta=0;
  • Multiplicative inverse (multiplicative inverse), \alpha\in C,\alpha \ne0there is a unique \beta\in Csuch that for each \alpha\beta=1;
  • Distributive property, \lambda,\alpha,\beta \in Cavailable to all\lambda(\alpha+\beta)=\lambda\alpha+\lambda\beta

Group (list), length (length) :

Let n be a non-negative integer. A group of length n is a sequence of n elements separated by commas and enclosed in parentheses (these elements can be numbers, other groups, or something more abstract). A group of length n has the form:

(x_1,...,x_n)

Two groups are equal if and only if they are of equal length, contain the same elements, and are in the same order.

F : F represents R (set of real numbers) or C (set of complex numbers) . The letter F was chosen because both R and C are examples of fields.

F^n :F^nIt is a set of groups of length n composed of elements in F.

F^n=\{(x_1,...,x_n):x_j\in F,j=1,...,n\}

For (x_1,...,x_n)\in F^nand j\in \{1,...,n\}, it is called x_jthe th coordinate (x_1,...,x_n)of j.

Addition in F^nF^n :

F^nThe addition in is defined as the addition of corresponding coordinates,

(x_1,...,x_n)+(y_1,...,y_n)=(x_1+y_1,...,x_n+y_n)

Additive commutativity of F^n :

If x,y\in F^n, then x+y=y+x.

0 : Use 0 to represent a group of length n and all coordinates are 0,0=(0,...,0).

Additive inverse in F^n :

For x\in F^n, the additive inverse of x (denoted as -x) is a vector that satisfies the following conditions -x\in F^n:

x+(-x)=0.

In other words, if x=(x_1,...,x_n), then -x=(-x_1,...,-x_n).

Scalar multiplication in F^n :

The product of a number λ and F^na vector in is calculated by multiplying each coordinate of the vector by λ, that is

\lambda(x_1,...,x_n)=(\lambda x_1,...,\lambda x_n),

in\lambda \in F,(x_1,...,x_n)\in F^n.

1.B Definition of vector space

Addition, scalar multiplication :

  • Addition on a set V is a function that associates each pair with u,v\in Van Velement u+v.
  • VScalar multiplication on a set is a function that maps \lambda\in Fany sum v\in Vto an element \lambda v\in V.

Vector space :

A vector space is a set V with addition and scalar multiplication , satisfying the following properties

  • Commutativity, u,v\in Vavailable to all u+v=v+u;
  • Associativity, there is a sum for all u,v,w\in Vsums ;a,b\in F(u+v)+w=u+(v+w)(ab)v=a(bv)
  • Additive identity, elements exist such that they exist 0\in Vfor all ;v\in Vv+0=v
  • Additive inverse v\in Vexists for each such w\in Vthat v+w=0;
  • Multiplicative identity, v\in Vavailable for all 1v=v;
  • Distributive properties (distributive properties), there is a sum for all a,b\in Fsums .u,v\in Va(u+v)=au+av(a+b)v=av+bv

Vector, point : Elements in vector space are called vectors or points.

Real vector space (real vector space), complex vector space (complex vector space) :

  • A vector space on R is called a real vector space.
  • The vector space on C is called a complex vector space.

Notation F^S :

  • Let Sbe a set, let represent the set of all functions from F^SS.F
  • For f,g\in F^S, it is stipulated that f+g\in F^Sthe sum is the following function: for all x\in S,

(f+g)(x)=f(x)+g(x).

  • For \lambda\in Fsums f\in F^S, the product \lambda f\in F^Sis stipulated to be the following function: for all x\in S,

(\lambda f)(x)=\lambda f(x).

The additive identity element is unique : The vector space has a unique additive identity element.

The additive inverse is unique : Each element in the vector space has a unique additive inverse.

1.C subspace

Subspace : If a subset U of V (using the same addition and scalar multiplication as V) is also a vector space, then U is said to be a subspace of V.

Conditions of subspace : A subset U of V is a subspace of V if and only if U satisfies the following three conditions:

  1. Additive identity, 0\in U;
  2. closed under addition, u,w\in Uimplication u+w \in U;
  3. Closed under scalar multiplication, a\in Fand u\in Uimplication in the U.

Sum of subsets :

Assume U_1,...,U_mthat all Vare subsets of , then the sum U_1,...,U_mof is defined as the set of all possibleU_1,...,U_m sums of the elements in , denoted as . more specifically,U_1,...,U_m

U_1,...,U_m=\{u_1+...+u_m:u_1\in U_1,...,u_m\in U_m\}.

The sum of subspaces is the smallest subspace that contains these subspaces : assumingU_1,...,U_mall areVsubspaces of , thenU_1,...,U_misthe smallest subspaceVthat containsU_1,...,U_m

Direct sum :

Assume U_1,...,U_mthat all Vare subspaces,

  • A sum is called a direct sum if U_1+...+U_meach element in the sum can be uniquely expressed as u_1+...+u_m, where each element u_jbelongs to .U_jU_1+...+U_m
  • If the sum U_1+...+U_mis a direct sum, it is U_1\oplus...\oplus+U_mused to indicate U_1+...+U_mthat the symbol here \oplusindicates that the sum here is a direct sum.

Conditions for direct sum :

Let U_1,...,U_mall be Vsubspaces of . It is a direct sum if and only if "each is equal to 0, which is the only way u_jto express 0 as ".u_1+...+u_nU_1+...+U_m

Direct sum of two subspaces :

Suppose Uand Ware Vboth subspaces, if and only U\cap W=\{0\}then , U+Wthey are direct sums.

Guess you like

Origin blog.csdn.net/missinghead/article/details/132535331