Colombeau algebra: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
en>ChrisGualtieri
m TypoScan Project / General Fixes, typos fixed: , → , using AWB
 
en>ChrisGualtieri
m Checkwiki + General Fixes, removed stub tag using AWB
Line 1: Line 1:
Adrianne Le is the logo my parents gave me to but you can get a hold of me anything you most [http://Www.Dict.cc/englisch-deutsch/notably.html notably]. My house is now with regard to South Carolina. Filing is probably my day job at this time but soon I'll exist on my own. What me and my family will always love is acting but As well as can't make it a profession really. See what's new on excellent website here: http://prometeu.net<br><br>My [http://imageshack.us/photos/website website] ... clash of clans hack cydia ([http://prometeu.net Learn Additional Here])
In [[mathematics]], the '''tensor algebra''' of a [[vector space]] ''V'', denoted ''T''(''V'') or ''T''<sup> •</sup>(''V''), is the [[algebra over a field|algebra]] of [[tensor]]s on ''V'' (of any rank) with multiplication being the [[tensor product]]. It is the [[free algebra]] on ''V'', in the sense of being [[left adjoint]] to the [[forgetful functor]] from algebras to vector spaces: it is the "most general" algebra containing ''V'', in the sense of the corresponding [[universal property]] (see [[#Adjunction and universal property|below]]).
 
The tensor algebra also has two [[#Coalgebra structures|coalgebra structures]]; one simple one, which does not make it a bialgebra, and a more complicated one, which yields a [[bialgebra]], and can be extended with an [[Antipode_(algebra)#Properties_of_the_antipode|antipode]] to a [[Hopf algebra]] structure.
 
''Note'': In this article, all algebras are assumed to be [[unital algebra|unital]] and [[associative algebra|associative]].
 
==Construction==
Let ''V'' be a [[vector space]] over a [[field (mathematics)|field]] ''K''. For any nonnegative [[integer]] ''k'', we define the '''''k''<sup>th</sup> tensor power''' of ''V'' to be the [[tensor product]] of ''V'' with itself ''k'' times:
:<math>T^kV = V^{\otimes k} = V\otimes V \otimes \cdots \otimes V.</math>
That is, ''T''<sup>''k''</sup>''V'' consists of all tensors on ''V'' of [[Tensor#Tensor rank|rank]] ''k''. By convention ''T''<sup>0</sup>''V'' is the [[ground field]] ''K'' (as a one-dimensional vector space over itself).
 
We then construct ''T''(''V'') as the [[direct sum of vector spaces|direct sum]] of ''T''<sup>''k''</sup>''V'' for ''k'' = 0,1,2,…
:<math>T(V)= \bigoplus_{k=0}^\infty T^kV = K\oplus V \oplus (V\otimes V) \oplus (V\otimes V\otimes V) \oplus \cdots.</math>
The multiplication in ''T''(''V'') is determined by the canonical isomorphism
:<math>T^kV \otimes T^\ell V \to T^{k + \ell}V</math>
given by the tensor product, which is then extended by linearity to all of ''T''(''V''). This multiplication rule implies that the tensor algebra ''T''(''V'') is naturally a [[graded algebra]] with ''T''<sup>''k''</sup>''V'' serving as the grade-''k'' subspace. This grading can be extended to a '''Z''' grading by appending subspaces <math>T^{k}V=\{0\}</math> for negative integers ''k''.
 
The construction generalizes in straightforward manner to the tensor algebra of any [[module (mathematics)|module]] ''M'' over a [[commutative ring|''commutative'' ring]]. If ''R'' is a [[non-commutative ring]], one can still perform the construction for any ''R''-''R'' [[bimodule]] ''M''. (It does not work for ordinary ''R''-modules because the iterated tensor products cannot be formed.)
 
==Adjunction and universal property==
The tensor algebra ''T''(''V'') is also called the '''[[free algebra]]''' on the vector space ''V'', and is functorial. As with other [[free object|free constructions]], the functor ''T'' is [[adjoint functor|left adjoint]] to some [[forgetful functor]]. In this case, it's the functor which sends each ''K''-algebra to its underlying vector space.
 
Explicitly, the tensor algebra satisfies the following [[universal property]], which formally expresses the statement that it is the most general algebra containing ''V'':
: Any [[linear transformation]] ''f'' : ''V'' &rarr; ''A'' from ''V'' to an algebra ''A'' over ''K'' can be uniquely extended to an [[algebra homomorphism]] from ''T''(''V'') to ''A'' as indicated by the following [[commutative diagram]]:
 
[[Image:TensorAlgebra-01.png|center|Universal property of the tensor algebra]]
 
Here ''i'' is the [[Inclusion map|canonical inclusion]] of ''V'' into ''T''(''V'') (the unit of the adjunction). One can, in fact, define the tensor algebra ''T''(''V'') as the unique algebra satisfying this property (specifically, it is unique [[up to]] a unique isomorphism), but one must still prove that an object satisfying this property exists.
 
The above universal property shows that the construction of the tensor algebra is ''functorial'' in nature. That is, ''T'' is a [[functor]] from the '''''K''-Vect''', [[category of vector spaces]] over ''K'', to '''''K''-Alg''', the category of ''K''-algebras. The functoriality of ''T'' means that any linear map from ''V'' to ''W'' extends uniquely to an algebra homomorphism from ''T''(''V'') to ''T''(''W'').
 
==Non-commutative polynomials==
If ''V'' has finite dimension ''n'', another way of looking at the tensor algebra is as the "algebra of polynomials over ''K'' in ''n'' non-commuting variables". If we take [[basis vector]]s for ''V'', those become non-commuting variables (or [[Indeterminate (variable)|''indeterminants'']]) in ''T''(''V''), subject to no constraints beyond [[associativity]], the [[distributive law]] and ''K''-linearity.
 
Note that the algebra of polynomials on ''V'' is not <math>T(V)</math>, but rather <math>T(V^*)</math>: a (homogeneous) linear function on ''V'' is an element of <math>V^*,</math> for example coordinates <math>x^1,\dots,x^n</math> on a vector space are covectors, as they take in a vector and give out a scalar (the given coordinate of the vector).
 
==Quotients==
 
Because of the generality of the tensor algebra, many other algebras of interest can be constructed by starting with the tensor algebra and then imposing certain relations on the generators, i.e. by constructing certain [[quotient algebra]]s of ''T''(''V'').  Examples of this are the [[exterior algebra]], the [[symmetric algebra]], [[Clifford algebra]]s and [[universal enveloping algebra]]s.
 
==Coalgebra structures==
The tensor algebra has two coalgebra structures; one simple one, which does not make it a bialgebra, and a more complicated one, which yields a bialgebra, and can be extended with an antipode to a Hopf algebra structure.
 
===Simple coalgebra structure===
The simple [[coalgebra]] structure on the tensor algebra is given as follows.  The [[coproduct]] Δ is defined by
:<math>\Delta(v_1 \otimes \dots \otimes v_m ) := \sum_{i=0}^{m}
(v_1 \otimes \dots \otimes v_i) \otimes (v_{i+1} \otimes \dots \otimes v_m)</math>
extended by linearity to all of ''TV''.  The counit is given by
:<math>\varepsilon\left(v\right)=v</math> for every <math>v\in T^0\left(V\right)</math> and
:<math>\varepsilon\left(v\right)=0</math> for every <math>v\in T^k\left(V\right)</math> for every <math>k > 0</math>.
Note that Δ : ''TV'' → ''TV'' ⊗ ''TV'' respects the grading
:<math>T^mV \to \bigoplus_{i+j=m} T^iV \otimes T^jV</math>
and ε is also compatible with the grading.
 
The tensor algebra is ''not'' a [[bialgebra]] with this coproduct.
 
===Bialgebra and Hopf algebra structure===
However, the following more complicated coproduct does yield a bialgebra:
:<math>\Delta(x_1\otimes\dots\otimes x_m) = \sum_{p=0}^m \sum_{\sigma\in\mathrm{Sh}_{p,m-p}} \left(x_{\sigma(1)}\otimes\dots\otimes x_{\sigma(p)}\right)\otimes\left(x_{\sigma(p+1)}\otimes\dots\otimes x_{\sigma(m)}\right)</math>
where the summation is taken over all [[(p,q) shuffle|(p,m-p)-shuffles]].
 
Finally, the tensor algebra becomes a [[Hopf algebra]] with antipode given by
:<math>S(x_1\otimes\dots\otimes x_m) = (-1)^mx_m\otimes\dots\otimes x_1</math>
extended linearly to all of ''TV''.
 
This is just the standard Hopf algebra structure on a free algebra, where one defines the comultiplication on <math>T^1(V)=V</math> by
:<math>\Delta(x)=x\otimes1+1\otimes x</math>
and then extends to <math>T^m(V)</math> via
:<math>\Delta(x_1\otimes\dots\otimes x_m) = \Delta(x_1)\Delta(x_2)\cdots\Delta(x_m).</math>
Similarly one defines the antipode on <math>T^1(V)=V</math> by
:<math>S(x)=-x</math>
and then extends the antipode as the unique [[antiautomorphism]] of <math>T(V)</math> with this property, i.e. we define the antipode on <math>T^m(V)</math> via
:<math>S(x_1\otimes\dots\otimes x_m) = S(x_m)S(x_{m-1})\cdots S(x_2)S(x_1).</math>
 
==See also==
*[[Symmetric algebra]]
*[[Exterior algebra]]
*[[Monoidal category]]
*[[Multilinear subspace learning]]
*[[q:Stanisław Lem#Love_and_Tensor_Algebra|Stanisław Lem's ''Love and Tensor Algebra'']]
 
==References==
*{{cite book
  | last = Bourbaki
  | first = Nicolas
  | title = [http://books.google.ca/books/about/Algebra.html?id=STS9aZ6F204C&redir_esc=y Algebra I. Chapters 1-3]
  | chapter= Algebra, Chapter 3 §5
  | publisher = [[Springer-Verlag]]
  | series = Elements of Mathematics
  | year = 1989
  | isbn = 3-540-64243-9
}}
* {{citation | author=Serge Lang | authorlink=Serge Lang | title=Algebra | series=[[Graduate Texts in Mathematics]] | volume=211 | edition=3rd | publisher=[[Springer Verlag]] | year=2002 | isbn=978-0-387-95385-4 }}
 
{{tensor}}
 
[[Category:Algebras]]
[[Category:Multilinear algebra]]
[[Category:Tensors]]
[[Category:Hopf algebras]]

Revision as of 16:44, 12 December 2013

In mathematics, the tensor algebra of a vector space V, denoted T(V) or T(V), is the algebra of tensors on V (of any rank) with multiplication being the tensor product. It is the free algebra on V, in the sense of being left adjoint to the forgetful functor from algebras to vector spaces: it is the "most general" algebra containing V, in the sense of the corresponding universal property (see below).

The tensor algebra also has two coalgebra structures; one simple one, which does not make it a bialgebra, and a more complicated one, which yields a bialgebra, and can be extended with an antipode to a Hopf algebra structure.

Note: In this article, all algebras are assumed to be unital and associative.

Construction

Let V be a vector space over a field K. For any nonnegative integer k, we define the kth tensor power of V to be the tensor product of V with itself k times:

That is, TkV consists of all tensors on V of rank k. By convention T0V is the ground field K (as a one-dimensional vector space over itself).

We then construct T(V) as the direct sum of TkV for k = 0,1,2,…

The multiplication in T(V) is determined by the canonical isomorphism

given by the tensor product, which is then extended by linearity to all of T(V). This multiplication rule implies that the tensor algebra T(V) is naturally a graded algebra with TkV serving as the grade-k subspace. This grading can be extended to a Z grading by appending subspaces for negative integers k.

The construction generalizes in straightforward manner to the tensor algebra of any module M over a commutative ring. If R is a non-commutative ring, one can still perform the construction for any R-R bimodule M. (It does not work for ordinary R-modules because the iterated tensor products cannot be formed.)

Adjunction and universal property

The tensor algebra T(V) is also called the free algebra on the vector space V, and is functorial. As with other free constructions, the functor T is left adjoint to some forgetful functor. In this case, it's the functor which sends each K-algebra to its underlying vector space.

Explicitly, the tensor algebra satisfies the following universal property, which formally expresses the statement that it is the most general algebra containing V:

Any linear transformation f : VA from V to an algebra A over K can be uniquely extended to an algebra homomorphism from T(V) to A as indicated by the following commutative diagram:
Universal property of the tensor algebra
Universal property of the tensor algebra

Here i is the canonical inclusion of V into T(V) (the unit of the adjunction). One can, in fact, define the tensor algebra T(V) as the unique algebra satisfying this property (specifically, it is unique up to a unique isomorphism), but one must still prove that an object satisfying this property exists.

The above universal property shows that the construction of the tensor algebra is functorial in nature. That is, T is a functor from the K-Vect, category of vector spaces over K, to K-Alg, the category of K-algebras. The functoriality of T means that any linear map from V to W extends uniquely to an algebra homomorphism from T(V) to T(W).

Non-commutative polynomials

If V has finite dimension n, another way of looking at the tensor algebra is as the "algebra of polynomials over K in n non-commuting variables". If we take basis vectors for V, those become non-commuting variables (or indeterminants) in T(V), subject to no constraints beyond associativity, the distributive law and K-linearity.

Note that the algebra of polynomials on V is not , but rather : a (homogeneous) linear function on V is an element of for example coordinates on a vector space are covectors, as they take in a vector and give out a scalar (the given coordinate of the vector).

Quotients

Because of the generality of the tensor algebra, many other algebras of interest can be constructed by starting with the tensor algebra and then imposing certain relations on the generators, i.e. by constructing certain quotient algebras of T(V). Examples of this are the exterior algebra, the symmetric algebra, Clifford algebras and universal enveloping algebras.

Coalgebra structures

The tensor algebra has two coalgebra structures; one simple one, which does not make it a bialgebra, and a more complicated one, which yields a bialgebra, and can be extended with an antipode to a Hopf algebra structure.

Simple coalgebra structure

The simple coalgebra structure on the tensor algebra is given as follows. The coproduct Δ is defined by

extended by linearity to all of TV. The counit is given by

for every and
for every for every .

Note that Δ : TVTVTV respects the grading

and ε is also compatible with the grading.

The tensor algebra is not a bialgebra with this coproduct.

Bialgebra and Hopf algebra structure

However, the following more complicated coproduct does yield a bialgebra:

where the summation is taken over all (p,m-p)-shuffles.

Finally, the tensor algebra becomes a Hopf algebra with antipode given by

extended linearly to all of TV.

This is just the standard Hopf algebra structure on a free algebra, where one defines the comultiplication on by

and then extends to via

Similarly one defines the antipode on by

and then extends the antipode as the unique antiautomorphism of with this property, i.e. we define the antipode on via

See also

References

  • 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.

    My blog: http://www.primaboinca.com/view_profile.php?userid=5889534
  • Many property agents need to declare for the PIC grant in Singapore. However, not all of them know find out how to do the correct process for getting this PIC scheme from the IRAS. There are a number of steps that you need to do before your software can be approved.

    Naturally, you will have to pay a safety deposit and that is usually one month rent for annually of the settlement. That is the place your good religion deposit will likely be taken into account and will kind part or all of your security deposit. Anticipate to have a proportionate amount deducted out of your deposit if something is discovered to be damaged if you move out. It's best to you'll want to test the inventory drawn up by the owner, which can detail all objects in the property and their condition. If you happen to fail to notice any harm not already mentioned within the inventory before transferring in, you danger having to pay for it yourself.

    In case you are in search of an actual estate or Singapore property agent on-line, you simply should belief your intuition. It's because you do not know which agent is nice and which agent will not be. Carry out research on several brokers by looking out the internet. As soon as if you end up positive that a selected agent is dependable and reliable, you can choose to utilize his partnerise in finding you a home in Singapore. Most of the time, a property agent is taken into account to be good if he or she locations the contact data on his website. This may mean that the agent does not mind you calling them and asking them any questions relating to new properties in singapore in Singapore. After chatting with them you too can see them in their office after taking an appointment.

    Have handed an trade examination i.e Widespread Examination for House Brokers (CEHA) or Actual Property Agency (REA) examination, or equal; Exclusive brokers are extra keen to share listing information thus making certain the widest doable coverage inside the real estate community via Multiple Listings and Networking. Accepting a severe provide is simpler since your agent is totally conscious of all advertising activity related with your property. This reduces your having to check with a number of agents for some other offers. Price control is easily achieved. Paint work in good restore-discuss with your Property Marketing consultant if main works are still to be done. Softening in residential property prices proceed, led by 2.8 per cent decline within the index for Remainder of Central Region

    Once you place down the one per cent choice price to carry down a non-public property, it's important to accept its situation as it is whenever you move in – faulty air-con, choked rest room and all. Get round this by asking your agent to incorporate a ultimate inspection clause within the possibility-to-buy letter. HDB flat patrons routinely take pleasure in this security net. "There's a ultimate inspection of the property two days before the completion of all HDB transactions. If the air-con is defective, you can request the seller to repair it," says Kelvin.

    15.6.1 As the agent is an intermediary, generally, as soon as the principal and third party are introduced right into a contractual relationship, the agent drops out of the image, subject to any problems with remuneration or indemnification that he could have against the principal, and extra exceptionally, against the third occasion. Generally, agents are entitled to be indemnified for all liabilities reasonably incurred within the execution of the brokers´ authority.

    To achieve the very best outcomes, you must be always updated on market situations, including past transaction information and reliable projections. You could review and examine comparable homes that are currently available in the market, especially these which have been sold or not bought up to now six months. You'll be able to see a pattern of such report by clicking here It's essential to defend yourself in opposition to unscrupulous patrons. They are often very skilled in using highly unethical and manipulative techniques to try and lure you into a lure. That you must also protect your self, your loved ones, and personal belongings as you'll be serving many strangers in your home. Sign a listing itemizing of all of the objects provided by the proprietor, together with their situation. HSR Prime Recruiter 2010

Template:Tensor