WINAK

4.30 kan dat dat het Diff(X,X) is
want bv dat het gesloten moeten zijn voor alle elementen loopt al fout voor D(X,Y)

f°g met f : X -> Y en g: X -> Y 2 difeomorfismen
is niet gedefinieerd en op wiki vind ik ook enkel Diff(X) als de diffeomorfisme groep

Julie wrote:En wrs een heel triviale vraag voor jullie: Hoe bewijst ge dat de gladde functies van M->R een algebra vormen? Wij hebben zoiets nog nooit echt moeten bewijzen eigenlijk...

een R-algebra is een R-moduul met een binaire operatie

Als R een lichaam is dan is R-moduul hetzelfde als R-vectorruimte. Dus C(X,R) vectorruimte. TB af + bg zit in C(X,R) voor a,b in R en f, g in C(X,R)

ik zou dit doen door alles naar euclidische ruimte te verslepen door te werken met lokale kaarten, dit is dus één van de karakterisaties van eig. 4.23

en omdat ge weet dat in de euclidische ruimte die eigenschap geldt(omdat afleiden lineair is) is het bewezen

die binaire operatie op het R-moduul hmm
samenstelling?

maar probleem omdat f ° g niet gedefinieerd is?
want f en g gaan allebei van X naar R
hmm...

hahah julie heeft ergens geschreven
equivalentierelatie op dergelijke TRIPLEX
wahaha triplex dat zijn lagen hout die op elkaar geplakt zijn

Caro wrote: Hoofdstuk 5 gaat er echt zwaar over

ge weet toch dat er keiveel van H5 wegvalt, hebt gij die PDF scan0001? daar sta in wat dat ge moet en niet moet kennen.

vb. 4.32 moet je helemaal kunnen uitwerken als ze het vraagt

ok op het einde dus via de 3de karakterisatie van 4.23
weet iemand welke doorsnede, unie en samenstelling

iets van de vorm x(i) G phi(i) = cos (2pix)
wat dus differentieerbaar is op R

er sta in die pdf
p 92 vanaf een of ander zin lezen
is dat dan tot en met het einde buiten eigenschap 5.21

De eerste 3 delen moet je nog wel kennen. Dat van 4.32 wilde ik ook al weten ^^
Dat van pg 92 dacht ik lezen tot afgeleiden, en dan afgeleide nog kennen.

christophe wrote:

Caro wrote: Hoofdstuk 5 gaat er echt zwaar over

ge weet toch dat er keiveel van H5 wegvalt, hebt gij die PDF scan0001? daar sta in wat dat ge moet en niet moet kennen.

vb. 4.32 moet je helemaal kunnen uitwerken als ze het vraagt

ok op het einde dus via de 3de karakterisatie van 4.23
weet iemand welke doorsnede, unie en samenstelling

iets van de vorm x(i) G phi(i) = cos (2pix)
wat dus differentieerbaar is op R

er sta in die pdf
p 92 vanaf een of ander zin lezen
is dat dan tot en met het einde buiten eigenschap 5.21

Die pagina lezen is volgens mij echt wel enkel die pagina, vanaf Afgeleiden moet ge wel weer kennen ze!

christophe wrote:hahah julie heeft ergens geschreven
equivalentierelatie op dergelijke TRIPLEX
wahaha triplex dat zijn lagen hout die op elkaar geplakt zijn

Christophe, ge moogt al blij zijn dat ge mijn notities hebt, maar dan moet ge ni lachen met stomme fouten die ik tijdens het jaar opschrijf!

zeg maar heeft er iemand al is naar mijn vragen van gisteren gekeken? ik begin jullie in te halen en begin nu aan H5 dus ik zal ook mijn best doen om alsnog een antwoord proberen te geven op jullie vragen.

christophe wrote:4.30 kan dat dat het Diff(X,X) is
want bv dat het gesloten moeten zijn voor alle elementen loopt al fout voor D(X,Y)

f°g met f : X -> Y en g: X -> Y 2 difeomorfismen
is niet gedefinieerd en op wiki vind ik ook enkel Diff(X) als de diffeomorfisme groep

Ja, inderdaad. Het lijkt me dat ze bij de definitie Diff(X,Y) bedoelt, en bij de eigenschap Diff (X,X), ik zie niet hoe het anders kan, hoewel het stom is dat ze dan niet gewoon Aut(X) schrijft.

4.32 weet ik zelf niet.

Waarvoor staat de Z in 4.36?

Caro wrote:Waarvoor staat de Z in 4.36?

een equivalentieklasse van tripels gedef. in 4.34, maw een raakvector aan X in x

btw raakbundel is disjuncte unie omdat TxX en TyX resp. equivalentieklassen bevatten voor andere equivalentierelaties met name dat D wordt geëvalueerd in phi(x) bij de ene en phi(y) in de andere

ik had eerst ff hier een probleem mee omdat er kaarten bestaan rond zowel zekere x én y zodanig dat er precies overlap zou zijn van eq klassen

pff, iemand een idee wa vr oefeninge da die mens ga vrage? een parametervgl moet nog just lukke, mr de rest :-S

Hebben wij oefeningen van raakruimten gemaakt?

Caro wrote:Hebben wij oefeningen van raakruimten gemaakt?

ja allebei (vraag aan Julie :D)

vraag over
de raakbundel is een vectorbundel

met als vezels de raakruimten aan zekere x in M
isomorf met R(d) via theta(x)

wat zijn de lokale trivialisaties?
het domein is de disjuncte unie van raakruimten aan alle punten in U

ik kan er wel definieren als een koppel pi en alle coordinatenafbeelding voor alle punten in U maar ik weet niet of ze diffeomorfismen zijn

Hoe bewijs je dat iets een isomorfisme is? Gewoon op basis overgaan?