Examples of vector spaces: Difference between revisions

Revision as of 20:08, 18 February 2022

Latest revision as of 22:37, 30 November 2023

(4 intermediate revisions by 4 users not shown)

Line 1:

{{Short description|none}} <!-- This short description is INTENTIONALLY "none" - please see WP:SDNONE before you consider changing it! -->

<!-- Please do not remove or change this AfD message until the discussion has been closed. -->

{{More citations needed|date=February 2022}}

{{Article for deletion/dated|page=Examples of vector spaces|timestamp=20220216152755|year=2022|month=February|day=16|substed=yes|help=off}}

<!-- Once discussion is closed, please place on talk page: {{Old AfD multi|page=Examples of vector spaces|date=16 February 2022|result='''keep'''}} -->

<!-- End of AfD message, feel free to edit beyond this point -->

{{Unreferenced|date=November 2009}}

This page lists some '''examples of vector spaces'''. See [[vector space]] for the definitions of terms used on this page. See also: [[dimension (vector space)|dimension]], [[basis (linear algebra)|basis]].

Line 21 ⟶ 19:

[[File:Line equation qtl4.svg|thumb|Planar [[analytic geometry]] uses the coordinate space '''R'''². ''Depicted:'' description of a [[line (geometry)|line]] as the [[equation solving#Solution sets|solution set]] in <math>\vec x</math> of the vector equation <math>\vec x \cdot \vec n = d</math>.]]

{{Main|Coordinate space}}

TheA originalbasic example of a vector space is the following. For any [[Positive number|positive]] [[integer]] ''n'', the [[Set (mathematics)|set]] of all ''n''-tuples of elements of ''F'' forms an ''n''-dimensional vector space over ''F'' sometimes called ''[[coordinate space]]'' and denoted ''F''^''n''.<ref>{{Harvard citations|last = Lang|year = 1987|loc = ch. I.1|nb = yes}}</ref> An element of ''F''^''n'' is written

:<math>x = (x_1, x_2, \ldots, x_n) </math>

where each ''x''_''i'' is an element of ''F''. The operations on ''F''^''n'' are defined by

Line 104 ⟶ 102:

==Field extensions==

Suppose ''K'' is a [[Field extension|subfield]] of ''F'' (cf. [[field extension]]). Then ''F'' can be regarded as a vector space over ''K'' by restricting scalar multiplication to elements in ''K'' (vector addition is defined as normal). The dimension of this vector space, if it exists,{{efn|Note that the resulting vector space may not have a basis in the absence the [[axiom of choice]].}} is called the ''degree'' of the extension. For example, the [[complex number]]s '''C''' form a two-dimensional vector space over the real numbers '''R'''. Likewise, the [[real numbers]] '''R''' form a vector space over the [[rational number]]s '''Q''' which has (uncountably) infinite dimension, if a Hamel basis exists.{{efn|There are models of [[Zermelo–Fraenkel set theory|ZF]] without [[Axiom of choice|AC]] in which this is not the case.}}

If ''V'' is a vector space over ''F'' it may also be regarded as vector space over ''K''. The dimensions are related by the formula

:dim_''K''''V'' = (dim_''F''''V'')(dim_''K''''F'')

For example, '''C'''^''n'', regarded as a vector space over the reals, has dimension 2''n''.

==Finite vector spaces==