Manifolds, Groups, Bundles, and Spacetime
Forumregels
(Middelbare) school-achtige vragen naar het forum "Huiswerk en Practica" a.u.b.
Zie eerst de Huiswerkbijsluiter
(Middelbare) school-achtige vragen naar het forum "Huiswerk en Practica" a.u.b.
Zie eerst de Huiswerkbijsluiter
- Berichten: 7.463
Manifolds, Groups, Bundles, and Spacetime
Ik ben nu het boek Manifolds, Groups, Bundles, and Spacetime van R. Dale Gray aan het lezen. Dat is pittige kost. Om te voorkomen dat ik vastloop wil ik in dit topic zelf wat lastige punten narekenen.
- Berichten: 7.463
Re: Manifolds, Groups, Bundles, and Spacetime
Opgave 2.1.37 wil ik hier maken.
- Berichten: 7.463
Re: Manifolds, Groups, Bundles, and Spacetime
Eerst eens nagaan wat al die termen betekenen. E3 is een 3-dimensionale vectorruimte met een positief-definiet inwendig product < | >. En een inwendig product < | > van een vectorruimte V noemen we positief-definiet precies dan wanneer <x|x> > 0 voor alle x ≠ 0 in V.
- Berichten: 7.463
Re: Manifolds, Groups, Bundles, and Spacetime
Volgende punt:
\(\)
\( \mathbf{1} = \sum_{i=1}^3 \mathbf{e}_i \otimes \mathbf{e}_i \)
\(\)
Wat stelt dat voor?-
- Technicus
- Berichten: 1.154
Re: Manifolds, Groups, Bundles, and Spacetime
Je bedoelt die operator? Het “tensor product”
https://en.m.wikipedia.org/wiki/Tensor_product
https://en.m.wikipedia.org/wiki/Tensor_product
- Berichten: 7.463
Re: Manifolds, Groups, Bundles, and Spacetime
Het teken ⊗ staat voor het zogeheten tensorproduct. Als A een (r,s)-tensor is en B een (t,u)-tensor (beide voor eenzelfde vectorruimte V over R) dan is A⊗B de (r+t,s+u)-tensor (eveneens voor V over R) waarvoor: (A⊗B)(τ1, ... , τr+t, x1 ... xs+u) = A(τ1, ... , τr, x1 ... xs) . B(τr+1, ... , τr+t, xs+1 ... xs+u).
@CoenCo
Dank. Het gaat denk ik hier meer specifiek over het tensorproduct van twee tensoren. Iets anders is in het boek nu nog niet behandeld.
@CoenCo
Dank. Het gaat denk ik hier meer specifiek over het tensorproduct van twee tensoren. Iets anders is in het boek nu nog niet behandeld.
- Berichten: 7.463
Re: Manifolds, Groups, Bundles, and Spacetime
Verder zijn e1, e2 en e3 eenheidsvectoren van de Euclidische ruimte E3. Maar om daar tensorproducten van te nemen moeten we die eenheidsvectoren als tensoren beschouwen. Dit kan bijvoorbeeld door de ei door de functionalen < _ | ei> te vervangen. Maar of dat de bedoeling is?
-
- Berichten: 1.243
Re: Manifolds, Groups, Bundles, and Spacetime
Dat het tensorproduct van (1,0,0) met zichzelf plus het tensorproduct van (0,1,0) met zichzelf etc. de identiteitsoperator/eenheidsmatrix oplevert. Bv,Professor Puntje schreef: ↑vr 02 jul 2021, 17:14 Volgende punt:\(\)\( \mathbf{1} = \sum_{i=1}^3 \mathbf{e}_i \otimes \mathbf{e}_i \)\(\)Wat stelt dat voor?
\(\)
\( \mathbf{e}_1 \otimes \mathbf{e}_1 \)
\(\)
levert een matrix X op met X_11 =1 en de rest nul, enz.- Berichten: 7.463
Re: Manifolds, Groups, Bundles, and Spacetime
Maar hoe zie je dat via de gegeven definitie van het tensorproduct in?
-
- Berichten: 1.243
Re: Manifolds, Groups, Bundles, and Spacetime
Dat denk ik wel, waarbij de basisvectoren van de vectorruimte en z'n duale orthonormaal zijn. Je kunt het echter ook eenvoudig via de componenten definiëren, maar die volgen eigenlijk uit de formele definitie van tensoren als multilineaire afbeeldingen.Professor Puntje schreef: ↑vr 02 jul 2021, 21:21 Verder zijn e1, e2 en e3 eenheidsvectoren van de Euclidische ruimte E3. Maar om daar tensorproducten van te nemen moeten we die eenheidsvectoren als tensoren beschouwen. Dit kan bijvoorbeeld door de ei door de functionalen < _ | ei> te vervangen. Maar of dat de bedoeling is?
-
- Berichten: 1.243
Re: Manifolds, Groups, Bundles, and Spacetime
Laat het tensorproduct inwerken op twee duale basisvectoren.Professor Puntje schreef: ↑vr 02 jul 2021, 21:31 Maar hoe zie je dat via de gegeven definitie van het tensorproduct in?
- Berichten: 7.463
Re: Manifolds, Groups, Bundles, and Spacetime
Ik probeer voor mijzelf wat helderheid te scheppen. Klopt de volgende overweging?
Tensoren over een vectorruimte V zijn zelf geen (multidimensionale) matrices maar de in arrays gerangschikte componenten van tensoren over V ten opzichte van een gekozen basis van V zijn dat wel. Dergelijke matrices kunnen tensoren representeren en men kan bewerkingen op tensoren ook via die matrix-represetaties uitvoeren.
Tensoren over een vectorruimte V zijn zelf geen (multidimensionale) matrices maar de in arrays gerangschikte componenten van tensoren over V ten opzichte van een gekozen basis van V zijn dat wel. Dergelijke matrices kunnen tensoren representeren en men kan bewerkingen op tensoren ook via die matrix-represetaties uitvoeren.
-
- Berichten: 1.243
Re: Manifolds, Groups, Bundles, and Spacetime
Ja, zo zou ik het ook verwoorden. De definitie ervan is volledig coordinaatonafhankelijk, dus als abstract object maalt het niet om je coordinaatkeuze. Dit in tegenstelling tot je basis en componenten.
-
- Berichten: 1.243
Re: Manifolds, Groups, Bundles, and Spacetime
Daarvoor kun je volgens mij de componenten I^ij in je 2e afbeelding gewoon vermenigvuldigen met de basis, die hier het tensorproduct is van de twee sets basisvectoren. Daarom staat de identiteit er ook als tensorproduct in je voorbeeld in de 1e afbeelding; de Kronecker delta geeft je dan de som van i=1 t/m i=3.
Wat mij wel es verwarde in het begin: de {ij} op I labelen componenten; op de basis e labelen ze echter complete vectoren. Dat laatste geef ikzelf meestal aan met haakjes, (i), hoewel de boldface het ook al aangeeft natuurlijk.
- Berichten: 7.463
Re: Manifolds, Groups, Bundles, and Spacetime
Ik ga eerst even overdreven precies en stap voor stap uitwerken wat er gebeurt totdat ik het goed begrijp, later kan de notatie dan weer wat nonchalanter worden.
Laat \( \mathfrak{e}_i \) voor i=1 t/m 3 de afbeelding van \( E^3 \) (met basis {e1,e2,e3}) naar \( \mathbb{R} \) zijn waarvoor voor alle \( \mathbb{x} \in \mathbb{R} \) geldt dat:
Laat \( \mathfrak{e}_i \) voor i=1 t/m 3 de afbeelding van \( E^3 \) (met basis {e1,e2,e3}) naar \( \mathbb{R} \) zijn waarvoor voor alle \( \mathbb{x} \in \mathbb{R} \) geldt dat:
\(\)
\( \mathfrak{e}_i(\mathbf{x}) \, = \, \langle \mathbf{x} | \mathbf{e}_i \rangle \)
\(\)
Dan is \( \mathfrak{e}_i \) een (0,1)-tensor.