Dimension of a vector space

format_list_bulleted Contenido keyboard_arrow_down
ImprimirCitar

The dimension of a vector space (also called the Hamel dimension of a vector space, to distinguish it from the Hilbert dimension in the case of Hilbert spaces) is the number of vectors that form a [Hamel] basis of the vector space.

Introduction

Given a vector space, we can consider sets of vectors S of a vector space V and it can be examined if they possess some of these properties:

  1. Linear independence it is said that a set of vectors S V{displaystyle Ssubset V} is linearly independent if for any finite number of vectors it is fulfilled that:

λ λ 1v1+λ λ 2v2+ +λ λ nvn=0⇒ ⇒ λ λ 1=λ λ 2=λ λ n= =0,vi한 한 S,λ λ i한 한 K{displaystyle lambda _{1}v_{1}+lambda _{2}v_{2}+dots +lambda _{n}v_{n}=0Rightarrow lambda _{1}=lambda _{2}=lambda _{n}=

Note that in a finite dimension vector space n, the maximum number of linearly independent vectors is n.
  1. Generator unitgiven a linear subspace L it is said that a set S is generator L Yes:

x한 한 LΔ Δ consuming consuming μ μ 1...... μ μ n:x=μ μ 1v1+...... μ μ nvn,vi한 한 S,μ μ i한 한 K{displaystyle xin LLeftrightarrow exists mu _{1}dots mu _{n}:x=mu _{1}v_{1}+dots mu _{n}v_{n},quad v_{i}in S,mu _{i}in mathbf {K}}}}}

Note that a finite set of m elements can generate at most a subspace L of dimension to the highest m.

A set that is linearly independent (1) and generator of the vector space (2) is said to be a vector basis. It can be shown that all the bases of a vector space are sets with the same number of elements (that is, sets that have the same cardinal number). And the common number of elements of any basis is precisely the dimension of the vector space.

Note an important fact, if you change the body of the climbers, R{displaystyle mathbb {R} } a C{displaystyle mathbb {C} }, then the same M point will be determined by the complex zM =x + andi, that's for a single parameter.

The P dimension is 1 above C{displaystyle mathbb {C} } and two over R{displaystyle mathbb {R} }:

dimC P=1dimR P=2{displaystyle {begin{matrix}dim _{mathbb {C} }P expose= fake1\dim _{mathbb {R} }P expose= pretend2end{matrix}}}}}}}

A real plane is therefore a complex line. The name complex plane to designate a real plane with complex writing of the coordinates (x + yi instead of (x; y)) It's wrong, but very common.

The environment is three-dimensional and therefore requires three reals (x, and, z) to define a point. You cannot be considered as a space on C{displaystyle mathbb {C} }.

In the theory of relativity, a fourth variable is added: time, and a point (x, y, z, t) of this four-dimensional space corresponds to an event or happening (the coordinates tell us where and when it happened).

In some current theories, physicists work on a model of space with eleven dimensions, but on the whole, and not the real ones. Like the whole Z{displaystyle mathbb {Z} } of the integers is not a body but a ring, the space is not vectorial (it is said to be a module). However, the definition of the dimension is valid in such spaces. In this example, most dimensions are rolled over themselves, like a snake that bites the tail. Its curvature is enormous, because its radio is microscopic, less than a core. Vector spaces do not have curvature.

Formal definition

More formally the dimension of a vector space is defined as the cardinal of a vector base for that space. By the axiom of choice all space has a base (even the space {0}, since the void is a base), and since it can be shown that all the vector bases have the same cardinal, then it turns out the concept of dimension is well defined. It should be noted that there are both finite and infinite dimension vector spaces (the vector space of the polynomials of a variable, for example it has dimension Русский Русский 0{displaystyle aleph _{0}}.

The dimension of a space also coincides with the following two cardinals:

  • The maximum number of linearly independent vectors of that space.
  • The minimum number of vectors that form a generator set for all space.

Dimension of a subspace

The definition remains the same in the case of a subspace, but there is a particular method of calculating it when the subspace is defined as space generated by the vector system. Let's see it in an example. In space R3{displaystyle mathbb {R} ^{3}, be it vectors:

u→ → (13− − 2),v→ → (− − 213),w→ → (− − 354)andn→ → (45− − 7){cHFFFF}{cH00FF}{cHFFFFFF}{cHFFFFFF}{cH00FF}{cHFFFFFF}{cHFFFFFF}{cHFFFFFF}{cHFFFF}{cHFFFF}{cHFFFF}{cHFFFF}{cH00}{cH00}{cHFFFFFFFFFFFF}{cH00}{cH00}{cH00}{cH00FFFFFFFFFF00}{cH00}{cH00FFFFFF00}{cH00}{cH00FFFFFF}{cH00}{cH00}{cH00}{cH00}{cH00}{cH00FFFFFFFFFFFFFFFFFFFF}{cH00}{cH00FFFF00}{cH00}{cH00FFFFFF}{cH00FFFF

Four vectors cannot be independent in R3{displaystyle mathbb {R} ^{3}, therefore there must be dependency relationships:

x(13− − 2)+and(− − 213)+z(− − 354)+t(45− − 7)=0→ → {displaystyle x{begin{pmatrix}13-2end{pmatrix}}}}+y{begin{pmatrix}-213end{pmatrix}{p}{pmatrix}}{pcd}{pcd}{cd}{cd}{cd}{cd}{cd}{cd}{cd}{cd}{cd}{cd}{cd}{cd}{cd}{cd}{cd}{cd}{cd}{cd}{cd}{cd}{cd}{cd}{cd}{cd}{cd}{cd}{cd}{cd}{cd}{cd}{cd}{cd}{cd}{cd}{cd}{

which can be written in matrix form:

(1− − 2− − 343155− − 234− − 7)(xandzt)=0→ → {display {begin{pmatrix}1 expose-2 hypo-pmatrix}{3 fake1}x\yz{pmatrix}{pmatrix}{begin{pmatrix}x}x\yz{pmatrix}}}{{{vec {0}}}}{{{bs}}}}

Let's call the previous matrix A, and X the column vector. This relationship means that vector X belongs to the kernel of A, denoted Ker A (from German Kern, kernel). The generated space is the set of

xu→ → +andv→ → +zw→ → +tn→ → {displaystyle x{vec {u}}}+y{vec {v}}} +z{vec {w}}},

that is, of the A·X: it is the image of A.

It is intuitive that the larger the kernel, the smaller the image, in terms of dimensions. Specifically, if we call the dimension of its image range of A: rg A = dim (Im A), we have the relation:

rg A + dim (Ker A) = dim E (E: space of Entry from A, here E = R4{displaystyle mathbb {R} ^{4}}).

Let's find dim (Ker A):

{(I)x− − 2and− − 3z+4t=0(II)3x+and+5z+5t=0(III)− − 2x+3and+4z− − 7t=0Δ Δ {(I)x− − 2and− − 3z+4t=0(IV)=(II)− − 3(I)7and+14z− − 7t=0(V)=(III)+2(I)− − and− − 2z+t=0{cHFFFFFF}{begin{matrix}(I) strangerx-2y-3z+4t=0(II) nightmare3x+y+5z+5t=0(III) fake-2x+4z-7t=0end{matrix}}}right. !

Δ Δ {(I)x− − 2and− − 3z+4t=0(IV)/7and+2z− − t=0− − (V)and+2z− − t=0{displaystyle Leftrightarrow left{begin{matrix}(I) exposex-2y-3z+4t=0(IV)}{ fakey+2z-t=0-(V) fakey+2z-t=0end{matrix}}}right. !

There remain two non-proportional equations, therefore independent, and each one subtracts 1 from the dimension, which is initially equal to 4. It turns out that dim (Ker A) = 2. It can be verified in another way: The two equations allow us to express y, then x as a function of z and t, therefore there are only two free variables left, and the dimension is 2.

Applying the formula: rg A = 4 - 2 = 2. The subspace is a plane.

Grassmann dimensions formula

If U1 and U2 are subspaces of a finite-dimensional vector space, the following holds:

dim(U1+U2)=dimU1+dimU2− − dim(U1 U2){displaystyle {mbox{dim}}(U_{1}+U_{2})={mbox{dim} U_{1}+{mbox{dim}}} U_{2}-{mbox{dim}}}(U_{1}{2})}

Examples

  • All euclid space has finite dimension on R{displaystyle scriptstyle mathbb {R} }.
  • The set of complex numbers C{displaystyle scriptstyle mathbb {C} } is dimension 1 over C{displaystyle scriptstyle mathbb {C} }I mean, dimC(C)=1{displaystyle scriptstyle mathrm {dim} _{mathbb {C}(mathbb {C})=1}, however, about R{displaystyle scriptstyle mathbb {R} } It's dimension 2, dimR(C)=2{displaystyle scriptstyle mathrm {dim} _{mathbb {R}(mathbb {C})=2}.
  • The whole of Hamilton's quaternions H{displaystyle scriptstyle mathbb {H} }, satisfies dimR(H)=4{displaystyle scriptstyle mathrm {dim} _{mathbb {R}(mathbb {H})=4} and dimC(H)=2{displaystyle scriptstyle mathrm {dim} _{mathbb {C} }(mathbb {H})=2}.
  • Given a body K{displaystyle scriptstyle mathbb {K} }the whole:
Kn=K× × × × K n{displaystyle mathbb {K} ^{n}=underbrace {mathbb {K} times dots times mathbb {K} } _{n}}}}

sat dimK(Kn)=n{displaystyle scriptstyle mathrm {dim} _{mathbb {K} }left(mathbb {K} ^{n}right)=n}.

  • All set with body structure K{displaystyle scriptstyle mathbb {K} } is a vectorial space on itself of dimension 1. If considered a subbody K1{displaystyle scriptstyle mathbb {K} _{1}} then the original body is a vector space on the subbody. Yeah. K{displaystyle scriptstyle mathbb {K} } is an algebraic extension K1{displaystyle scriptstyle mathbb {K} _{1}} then the dimension of the original body on the subbody is finite.
  • The set of matrices Mn× × n(K){displaystyle scriptstyle M_{ntimes n}(mathbb {K}}}} is a dimension vector space n2.
  • The vector space of polynomials K[chuckles]X]{displaystyle scriptstyle mathbb {K} [X]}} has infinite dimension over K{displaystyle scriptstyle mathbb {K} }specifically, dimK(K[chuckles]X])=Русский Русский 0{displaystyle scriptstyle mathrm {dim} _{mathbb {K} }(mathbb {K} [X])=aleph _{0}}}.
  • The set of real numbers has dimension 1 when considered as the body of scales R{displaystyle scriptstyle mathbb {R} }, but if considered a numberable subbody of the real, such as the rational number Q{displaystyle scriptstyle mathbb {Q} } then the dimension is infinite [not numberable], in particular, dimQ(R)=Русский Русский 1{displaystyle scriptstyle mathrm {dim} _{mathbb {Q} }(mathbb {R}=aleph _{1}}}}.

Contenido relacionado

Continuous function

In mathematics, a continuous function is one for which, intuitively, small variations in the values of the function occur for nearby points in the domain;...

Exponential function

In mathematics, one exponential function is a function of formf(x)=abx{displaystyle f(x)=ab^{x}} in which argument x is presented as an exponent. A function...

Stereographic projection

The stereographic projection is a graphic representation system in which the surface of a sphere is projected onto a plane by means of a set of lines that...
Más resultados...
Tamaño del texto:
undoredo
format_boldformat_italicformat_underlinedstrikethrough_ssuperscriptsubscriptlink
save