Search results

Create the page "Every field is a vector space" on this wiki! See also the search results found.

• Quotient
  * [[Quotient (group)]] - at least vector space quotients are actually an instance of this * [[Quotient (topology)]] - the quotient [[Topological space|topology]]
  653 B (88 words) - 22:20, 1 December 2016
• Norm/Heading
  ...bb{R}_{\ge 0} }}</span><br/>Where {{M|V}} is a [[vector space]] over the [[field]] {{M|\mathbb{R} }} or {{M|\mathbb{C} }} |label1=''is a''
  1 KB (194 words) - 19:28, 25 January 2016
• Inner product/Infobox
  ...row\mathbb{F} }}</span><br/>Where {{M|V}} is a [[vector space]] over the [[field]] {{M|\mathbb{F} }}<br/> {{M|\mathbb{F} }} may be {{M|\mathbb{R} }} or {{M| |label1=''is a''
  1 KB (182 words) - 13:25, 14 February 2016
• Abstract Algebra (subject)
  Abstract algebra is the study of [[function|functions]] (a [[relation#Types of relation|right-unique relation]], that maps everything ...spaces]] then into [[Linear Algebra (subject)|linear algebra]] - which is a branch of abstract algebra.
  2 KB (328 words) - 10:53, 20 February 2016
• Algebra (linear algebra)
  {{Refactor notice|grade=A|msg=<br/><br/><br/> ...cond Edition - Springer GTM</ref>, that is a vector space {{M|(V,F)}} with a map:
  2 KB (351 words) - 05:26, 1 January 2017
• The real numbers
  ...ure to include [[Example:The real line with the finite complement topology is not Hausdorff]]}} ...ith their "usual topology", the [[topology]] that is [[topology induced by a metric|induced]] by the [[absolute value metric]]
  1 KB (200 words) - 21:31, 26 February 2017
• Notes:Dual basis
  ...edantic. Which is why the [[concrete-to-abstract isomorphism]] for example is invoked. {{Todo|Finish off and turn into a task}}
  5 KB (1,020 words) - 08:43, 12 August 2016
• Notes:Advanced Linear Algebra - Roman/Chapter 1
  ...bove it. Just because something occurs under page {{M|n}} does not mean it is on page {{M|n}}. ...}} be subspaces of a [[vector space]] {{M|V}}. Then the ''sum'', {{M|S+T}} is defined by:
  8 KB (1,463 words) - 14:35, 13 August 2016
• Notes:Advanced Linear Algebra - Roman/Chapter 2
  ====Theorem 2.3: equivalent statements to a linear map being surjective / injective==== ...thcal{L}(V,W)}} for {{M|V}} and {{M|W}} {{plural|vector space|s}} over a [[field]] {{M|\mathcal{K} }}. Then:
  2 KB (326 words) - 11:12, 14 August 2016
• Topological vector space
  ...must be. Also find another reference. Demote to B once fleshed out.|grade=A*}} ...J} }} be a [[topology]] on {{M|X}} so that {{Top.|X|J}} is a [[topological space]]. We call the [[tuple]]:
  2 KB (383 words) - 14:03, 16 February 2017
• Notes:Modules
  ...[x]}} denotes the space of [[polynomials over a field|polynomials over the field {{M|F}}]]) the operator: * {{M|p(\tau)}} is well defined.
  4 KB (808 words) - 17:18, 11 October 2016
• Module homomorphism
  {{Stub page|grade=A|msg=Flesh out, deal with {{plural|unital module|s}}, so forth}} ...omomorphism]] for a list of other morphism types, and see [[morphism]] for a categorical overview.
  3 KB (432 words) - 22:20, 19 October 2016
• The set of continuous functions between topological spaces
  {{Stub page|grade=A*|msg=Proper stub, created just to save a link from being red}} That is to say:
  1 KB (235 words) - 05:02, 3 November 2016
• Total derivative
  ...{M|U}}, then a [[map]], {{M|f:A\rightarrow V}} is "''differentiable at {{M|a}}''" if:{{rITSMJML}}: * there exists a [[linear map]], {{M|L:U\rightarrow V}} such that
  2 KB (313 words) - 01:27, 15 November 2016
• Absolute value (object)
  ...that [[all fields are vector spaces]]; so this really is little more than a special case. ...aluation''{{rAAPAG}} or ''real valued valuation''{{rAAPAG}}) on {{M|F}} is a [[mapping]], {{M|v}}, with the special notation defined as follows{{rAAPAG}
  2 KB (350 words) - 05:25, 21 November 2016
• The vector space of all linear maps between two spaces
  ...ce of all linear maps between two spaces - {{M|L(U,V)}}}}{{Stub page|grade=A*|msg=Time to start committing to these}} ...be a [[field]] and let {{M|(U,\mathbb{K})}} and {{M|(V,\mathbb{K})}} be [[vector spaces]] over {{M|\mathbb{K} }}. We define:
  2 KB (400 words) - 21:16, 17 November 2016
• A linear map is injective if and only if the image of every non-zero vector is a non-zero vector
  {{Stub page|grade=A|msg=Flesh out, put on a todo-list as the proof is important! I've done it several times but keep forgetting}} ...M|f\in}}[[the space of all linear maps between spaces|{{M|L(U,V)}}]] (that is to say: let {{M|f:U\rightarrow V}} be any [[linear map]] between {{M|U}} an
  1 KB (211 words) - 21:29, 17 November 2016
• Quotient vector space/New page
  ...F})}} be a [[vector space]] over that field. Let {{M|U\subseteq V}} be a [[vector subspace]] of {{M|V}}. Then: ...dditive group {{M|(V,+)}} by the [[subgroup]] {{M|U}} is actually a vector space in its own right.
  4 KB (700 words) - 23:09, 1 December 2016
• Characteristic property of the tensor product/Statement
  : '''Notice: ''' this page is supposed to be transcluded, use {{C|1=full=true}} to show claims and extra ...@2{->}[d]_p & & W \\ V_1\otimes\cdots\otimes V_k \ar@{.>}[urr]_-{\overline{A} }
  2 KB (268 words) - 22:07, 20 December 2016
• Basis for the tensor product/Statement
  ...(V_i)}} and {{M|e^{(i)}_1,\ldots,e^{(i)}_{n_i} }} denote a [[basis (vector space)|basis]] for {{M|V_i}}, then we claim{{rITSMJML}}: Is a {{link|basis|vector space}} for the [[tensor product]] of the family of vector spaces, {{M|V_1\otimes\cdots\otimes V_k}}
  972 B (177 words) - 23:56, 6 December 2016