abonnement Unibet Coolblue Bitvavo
  vrijdag 26 november 2010 @ 16:18:24 #1
75592 GlowMouse
l'état, c'est moi
pi_89184440
Vorige deel: [Bèta wiskunde] Huiswerk-en-vragentopic

Post hier weer al je vragen, passies, trauma's en andere dingen die je uit je slaap houden met betrekking tot de wiskunde.

Van MBO tot WO, hier is het topic waar je een antwoord kunt krijgen op je vragen. Vragen over stochastiek in het algemeen en stochastische processen & analyse in het bijzonder worden door sommigen extra op prijs gesteld!

Links:

Opmaak:
http://betahw.mine.nu/index.php: site van GlowMouse om formules te kunnen gebruiken in je posts (op basis van Latexcode wordt een plaatje gegenereerd dat je vervolgens via het aangegeven linkje kunt opnemen).
Een uitleg over LaTeX-code kun je hier vinden, en je kunt deze site gebruiken om een hele post met verschillende stukken Latex-code erin ineens te laten parsen door betahw.mine.nu.

Wiskundig inhoudelijk:
http://integrals.wolfram.com/index.jsp: site van Wolfram, makers van Mathematica, om online symbolische integratie uit te voeren.
http://mathworld.wolfram.com/: site van Wolfram met een berg korte wiki-achtige artikelen over wiskundige concepten en onderwerpen, incl. search.
http://functions.wolfram.com/: site van Wolfram met een berg identiteiten, gerangschikt per soort functie.
http://scholar.google.com/: Google scholar, zoek naar trefwoorden specifiek in (wetenschappelijke) artikelen. Vaak worden er meerdere versies van hetzelfde artikel gevonden, waarvan één of meer van de website van een journaal en (dus) niet vrij toegankelijk, maar vaak ook een versie die wel vrij van de website van de auteur te halen is.
http://www.wolframalpha.com Meest geavanceerde rekenmachine van het internet. Handig voor het berekenen van integralen, afgeleides, etc...

OP

[ Bericht 4% gewijzigd door GlowMouse op 26-11-2010 17:59:54 ]
eee7a201261dfdad9fdfe74277d27e68890cf0a220f41425870f2ca26e0521b0
  vrijdag 26 november 2010 @ 17:26:31 #2
30719 keesjeislief
NextGenerationHippie
pi_89187527
Ik heb op de Wiki aan de OP de link naar de hele-post-Latex-parser toegevoegd.
heeft de hoop dat het allemaal stiekum toch nog goed komt...
Fotoboek
pi_89231391
Te bewijzen: Als iedere Sylow ondergroep normaal is, dan is G isomorf aan het product van zijn Sylow ondergroepen.

De enige manier om dit te bewijzen die ik kan bedenken is door de volgende stelling te gebruiken:

Als H,K < G waarvoor HK=G en mimetex.cgi?3%24%5Cblack%20H%5Ccap%20G%3D%5C%7Be%5C%7D en mimetex.cgi?3%24%5Cblack%20hk%3Dkh%20%5Cforall%20h%5Cin%20H en mimetex.cgi?3%24%5Cblack%20k%5Cin%20K. Dan is G isomorf met H × K.

Maar om maar eens met de eerste voorwaarde te beginnen, hoe kan ik laten zien dat HK=G? Als het uberhaupt zo is.
pi_89231673
quote:
1s.gif Op zaterdag 27 november 2010 18:30 schreef BasementDweller het volgende:
Te bewijzen: Als iedere Sylow ondergroep normaal is, dan is G isomorf aan het product van zijn Sylow ondergroepen.

De enige manier om dit te bewijzen die ik kan bedenken is door de volgende stelling te gebruiken:

Als H,K < G waarvoor HK=G en [ afbeelding ] en [ afbeelding ] en [ afbeelding ]. Dan is G isomorf met H × K.

Maar om maar eens met de eerste voorwaarde te beginnen, hoe kan ik laten zien dat HK=G? Als het uberhaupt zo is.
Door eerst H en K te definieren.
pi_89231925
Oke, dus die stelling kan wel gebruikt worden?

Ik wist niet hoe ik H en K moest definiëren, dus liet het daarom even in het midden.
Met een definitie als deze kom ik niet verder: Definieer H als het product van alle Sylow ondergroepen behalve K. Dan heb je dus HK=(product van alle Sylow ondergroepen) =? G.
pi_89232220
Ik denk trouwens wel dat je moet aannemen dat G eindig is, anders zijn er tegenvoorbeelden. Je kan het lemma dat je gebruikt misschien eerst proberen te generaliseren naar meer dan 2 ondergroepen.
pi_89232441
Oja, bovenaan de opgaves staat "assume |G|= k pm", dus G is inderdaad eindig.

Als H1,H2,..., Hk < G en de doorsnede van H1, ... , Hk is de identiteit, ieder element in Hi commuteert met ieder element uit Hj voor alle j en i in {1,...,k}. Dan is G isomorf met H1 × H2 × ... × Hk.

Je kan nu de Sylow ondergroepen labellen van H1 tot Hk, en dan wil ik laten zien dat H1 H2 ... Hk = G.
pi_89232938
quote:
1s.gif Op zaterdag 27 november 2010 19:05 schreef BasementDweller het volgende:
Oja, bovenaan de opgaves staat "assume |G|= k pm", dus G is inderdaad eindig.
Misschien is het voldoende om aan te nemen dat het aantal Sylowondergroepen van G eindig is, maar dat terzijde.
pi_89232988
quote:
1s.gif Op zaterdag 27 november 2010 19:05 schreef BasementDweller het volgende:
Als H1,H2,..., Hk < G en de doorsnede van H1, ... , Hk is de identiteit, ieder element in Hi commuteert met ieder element uit Hj voor alle j en i in {1,...,k}. Dan is G isomorf met H1 × H2 × ... × Hk.
De doorsnede van elk tweetal H'tjes moet triviaal zijn.
pi_89233086
Oke, maar waarom is H1 H2 ... Hk = G? :?
pi_89233718
quote:
1s.gif Op zaterdag 27 november 2010 19:24 schreef BasementDweller het volgende:
Oke, maar waarom is H1 H2 ... Hk = G? :?
Toon eerst maar aan dat het een ondergroep van G is.
pi_89235227
Hallo,

ik zit hier met een serieus probleem, ik ben nieuw hier op het forum. Dus ik hoop dat dit de goede plek is op mijn topic te posten. Ik maandag een wiskunde proefwerk, ik begrijp alleen maar een paar vragen niet. Ik hoop dat hier iemand mij er mee kan helpen.

Vraag 1:

Van een personenauto is bij verschillende snelheden het benzineverbruik gemeten.
Bij een snelheid van 40km/uur is het verbruik 5 liter per 100 km en bij een snelheid van 120km/uur is dat 9 liter per 100km.

A. Stel voor deze auto de formule op voor het benzineverbruik B in liter per 100 km bij een snelheid van v Km/uur. Ga uit van een lineair verband.

Vraag 2:

Deze opgave gaat over huishoudens van twee of meer personen waaronder twee partners. Steeds minder van deze huishoudens zijn afhankelijk van 1 inkomen.
Op 1 Januari 2000 was in driekwart van deze huishoudens sprake van tweeverdieners, dat omt overeen met 2,6 miljoen huishoudens.
Op 1 Januari 1985 waren dat er nog 1,25 Miljoen.

A. Stel de formule op van het aantal huishoudens Nt met tweeverdieners. Neem Nt in miljoenen en de Tijd t in jaren met t = 0 op 1 Januari 1980. Ga uit van een lineaire toename.

Graag niet alleen antwoord, maar ook hoe je eraan komt!

Alvast bedankt,

Ps: ik vraag het hier, omdat ik mijn docent niet kan bereiken. En niemand anders ken die goed is in wiskunde.
“The Beatles saved the world from boredom.”
pi_89235550
x=40, y=5
x=120, y= 9
y=ax+b
a=(9-5)/(120-40)=0,05
y=0,05x+b
5=0,05*40+b
b=3
y=0,05x+3

2)
y=ax+b
a=(2,6-1,25)/(20-5)=0,09
2,6=0,09*20+b
b=0,8
y=0,09x+0,8
y=Nt
x=t
Nt=0,09t+0,8

[ Bericht 36% gewijzigd door gekkewiebel op 27-11-2010 20:43:41 ]
pi_89236760
quote:
1s.gif Op zaterdag 27 november 2010 19:44 schreef thabit het volgende:

[..]

Toon eerst maar aan dat het een ondergroep van G is.
mimetex.cgi?2%24%5Cblack%20H_1%2C%5Cdots%2CH_k%5Cneq%5Cemptyset. Als mimetex.cgi?2%24%5Cblack%20h_1%5Cin%20H_1 en mimetex.cgi?2%24%5Cblack%20h_2%5Cin%20H_2 dan zit mimetex.cgi?2%24%5Cblack%20h_1%5Cin%20H_1H_2 en mimetex.cgi?2%24%5Cblack%20h_2%5Cin%20H_1H_2. Dan ook mimetex.cgi?2%24%5Cblack%20h_1%20h_2%5E%7B-1%7D%20%5Cin%20H_1%20H_2 omdat mimetex.cgi?2%24%5Cblack%20h_2%5E%7B-1%7D%5Cin%20H_2 omdat mimetex.cgi?2%24%5Cblack%20H_2%3CG. Dus volgens de subgroup test is mimetex.cgi?2%24%5Cblack%20H_1H_2%3CG. Door dit argument herhaald toe te passen volgt hieruit mimetex.cgi?2%24%5Cblack%20H_1H_2%5Cdots%20H_k%3CG.
pi_89238131
Je moet het wel voor mimetex.cgi?3%24%5Cblack%20h_1%2C%20h_2%20%5Cin%20H_1H_2 aantonen.
pi_89238441
Hmm ja ik had eigenlijk moeten beginnen met: "Als mimetex.cgi?2%24%5Cblack%20h_1%5Cin%20H_1H_2 en mimetex.cgi?2%24%5Cblack%20h_2%5Cin%20H_1H_2, dan ...". En mimetex.cgi?2%24%5Cblack%20H_1%2CH_2%5Cneq%5Cemptyset en dus mimetex.cgi?2%24%5Cblack%20H_1H_2%5Cneq%5Cemptyset.

Hoe nu verder?
pi_89238684
Schrijf eerst maar h1 en h2 als product van een element van H1 met een element van H2.
pi_89239198
Huh, waarom? h1h2 met h1 in H1 en h2 in H2? :?
pi_89239316
Misschien was h1 en h2 niet zo'n handige notatie, noem ze h en h'. h=h1h2, h' = h1' h2'.
pi_89239763
Dus je wil dat ik h,h' schrijf als product van een element uit H1 en een element uit H2?

h h' = h1 h2 h1' h2' = ...
pi_89239949
Juist, nu verder.
pi_89240106
Omdat H1 en H2 normaal zijn geldt x H1 = H1 x en x H2 = H2 x voor iedere x in G.

Als x=h1, dan bestaat er dus een h2" in H2 zodat h2 h1' = h1' h2".

Dus h h' = h1 h2 h1' h2' = h1 h1' h2" h2' = h1"' h2'" met h1"'=h1h1" in H1 en h2'"=h2"h2' in H2.
pi_89240168
Juistem. In dit geval was zelfs gegeven dat elementen van H1 met elementen van H2 commuteren.
pi_89240205
Waarom was dat gegeven? Ik wil dat juist laten zien zodat ik dat lemma kan gebruiken.

Ik volg je niet meer :P
pi_89240316
O, wacht effe, ik zat alweer een denkstap verder. H1 en H2 zijn je Sylowondergroepen. Laat dan inderdaad maar zien dat elementen uit H1 met elementen uit H2 commuteren. ;).
pi_89240441
Wat is nou het nut ervan dat ik h h' geschreven heb als element uit H1 vermenigvuldigd met een element uit H2?

We waren bezig te laten zien dat H1...Hk= G maar ik ben niet verder gekomen dan H1...Hk < G...
pi_89240563
Daarvoor gaan we eerst aantonen dat H1...Hk isomorf is met H1 x ... x Hk.
pi_89240645
Dat is juist mijn uiteindelijke doel, om te bewijzen dat H1...Hk isomorf is met H1 x ... x Hk. En daarvoor heb ik juist nodig dat H1...Hk= G om het lemma te kunnen gebruiken...
pi_89240774
Nee want je kunt het lemma op de groep H1...Hk toepassen.
pi_89241070
Maar op zich kun je G = H1...Hk ook makkelijk aantonen met datgene wat je nu al hebt afgeleid.
pi_89241420
Oke ik snap je idee.

Twee Sylow ondergroepen zijn geconjugeerd. D.w.z. x H1 x-1 = H2 voor een zekere x in G. Maar ook x H1 x-1 = H1 omdat iedere Sylowondergroep normaal is. Dus H1=H2. Alleen dan heb ik niet meer dat de doorsnede van H1 en H2 {e} is, dus dat kan niet kloppen :?
pi_89241476
Twee Sylowondergroepen zijn natuurlijk alleen geconjugeerd als ze bij hetzelfde priemgetal horen.
pi_89241838
Oke dus bij ieder priemgetal hoort dus maar 1 Sylow omdat ze normaal zijn.

quote:
12s.gif Op zaterdag 27 november 2010 23:09 schreef thabit het volgende:
Maar op zich kun je G = H1...Hk ook makkelijk aantonen met datgene wat je nu al hebt afgeleid.
Ik zie echt niet hoe...
pi_89242064
Door aan te tonen dat H1...Hk minstens evenveel elementen als G heeft.
pi_89242149
Ja, en daar zit het probleem
pi_89242233
Het gaat dus om het aantal elementen. Dat kun je schrijven als een priemfactorontbinding. Nu jij weer. :).
pi_89242946
Stel mimetex.cgi?1%24%5Cblack%20%7CG%7C%3Dp_1%5E%7Bk_1%7D%20p_2%5E%7Bk_2%7D%20...%20p_k%5E%7Bk_n%7D. Laat mimetex.cgi?1%24%5Cblack%20H_i de mimetex.cgi?1%24%5Cblack%20p_i Sylow zijn. Dan is de orde van mimetex.cgi?1%24%5Cblack%20H_i gelijk aan mimetex.cgi?1%24%5Cblack%20p_i%5E%7Bk_i%7D. Als de doorsnede van mimetex.cgi?1%24%5Cblack%20H_1 en mimetex.cgi?1%24%5Cblack%20H_2 de identiteit is, dan geldt dat de orde van mimetex.cgi?1%24%5Cblack%20H_1 maal de orde van mimetex.cgi?1%24%5Cblack%20H_2 kleiner dan of gelijk is aan de orde van mimetex.cgi?1%24%5Cblack%20H_1%20H_2.

Dit argument herhalen geeft dat de orde van mimetex.cgi?1%24%5Cblack%20H_1%20...%20H_k groter of gelijk is aan die van mimetex.cgi?1%24%5Cblack%20H_1 maal die van mimetex.cgi?1%24%5Cblack%20H_2 ... tot en met mimetex.cgi?1%24%5Cblack%20H_k. Dus de orde van mimetex.cgi?1%24%5Cblack%20H_1%20...%20H_k is groter dan of gelijk aan de orde van mimetex.cgi?1%24%5Cblack%20G. Dus mimetex.cgi?1%24%5Cblack%20H_1%20...%20H_k%20%3D%20G.

[ Bericht 0% gewijzigd door BasementDweller op 28-11-2010 00:09:50 ]
pi_89243226
Je draait daar ergens een ongelijkheid om.
pi_89243446
Fixed.

We hebben nu dus H1 ... Hk = G en nu moet ik nog het commuteren en de doorsnedes={e} gaan laten zien. Die bewaar ik maar voor morgen...

Het valt niet mee dit vak :{
pi_89243643
Maar dan gebruik je dus dat H3 doorsneden met H1H2 triviaal is. Hoe weet je dat?
pi_89243725
quote:
Het valt niet mee dit vak :{
Dit is het eerstejaarsvak.
pi_89243888
quote:
1s.gif Op zondag 28 november 2010 00:14 schreef thabit het volgende:
Maar dan gebruik je dus dat H3 doorsneden met H1H2 triviaal is. Hoe weet je dat?
Weet ik eigenlijk niet eens. Ik moet wel nog gaan laten zien dat de doorsnede van H1 en H2, H1 en H3 en H2 en H3 triviaal zijn. Volgt daar niet uit dat H3 doorsnede H1H2 triviaal is? Nu ik dit schrijf denk ik al van niet ;(

quote:
11s.gif Op zondag 28 november 2010 00:16 schreef thabit het volgende:

[..]

Dit is het eerstejaarsvak.
Tweedejaars hier :o . Maar ik vind het eigenlijk het lastigste vak tot nu toe. Analyse / infi / lineaire algebra is er niks bij :P
pi_89244226
quote:
1s.gif Op zondag 28 november 2010 00:20 schreef BasementDweller het volgende:

[..]

Weet ik eigenlijk niet eens. Ik moet wel nog gaan laten zien dat de doorsnede van H1 en H2, H1 en H3 en H2 en H3 triviaal zijn. Volgt daar niet uit dat H3 doorsnede H1H2 triviaal is? Nu ik dit schrijf denk ik al van niet ;(
Je hebt het ook niet nodig.
pi_89244899
quote:
12s.gif Op zondag 28 november 2010 00:28 schreef thabit het volgende:

[..]

Je hebt het ook niet nodig.
Maar je hebt toch wel iets nodig want het geldt niet altijd... H1=H2 is een tegenvoorbeeld.
pi_89250118
Het lemma dat je wil gebruiken heeft trouwens ook een nog wat sterkere voorwaarde op doorsneden nodig. Maar op zich hoef je dat hele lemma niet te gebruiken. Je moet gebruiken dat de Hi Sylowondergroepen zijn, en dat hun p's verschillen (en dat ze normaal zijn).

Toon dan nu maar eens aan dat voor verschillende i en j, de elementen van Hi met de elementen van Hj commuteren. Dat heb je wel nodig namelijk.
pi_89254889
Ik heb trouwens al eens bewezen dat als de ordes van ondergroepen relatief priem zijn, dat dan de doorsnede triviaal is. Omdat de ordes allemaal verschillende p's zijn, zijn de ordes ook allemaal relatief priem. Dus die heb ik dan eigenlijk al.

De enige voorwaarde die ik nog moet bewijzen voor dat lemma is dan inderdaad dat ze commuteren. Daarvoor kan ik ook gebruiken dat de doorsnede triviaal is:

Omdat mimetex.cgi?1.5%24%5Cblack%20H_1 en mimetex.cgi?1.5%24%5Cblack%20H_2 normaal zijn in G, geldt mimetex.cgi?1.5%24%5Cblack%20h_1%5E%7B-1%7Dh_2%5E%7B-1%7Dh_1h_2%20%5Cin%20H_1%5Ccap%20H_2%3D%5C%7Be%5C%7D. Hieruit volgt mimetex.cgi?1.5%24%5Cblack%20h_1%5E%7B-1%7Dh_2%5E%7B-1%7Dh_1h_2%3De%5Cquad%5CRightarrow%5Cquad%20h_1h_2%3Dh_2h_1.

Nu kan ik dus al het lemma toepassen. Maar omdat je zei dat het niet nodig was, ben ik benieuwd hoe ik het anders had kunnen doen! ;)
pi_89255396
Het lemma klopt nog niet helemaal, je moet hebben dat Hi doorsneden met H1...Hi-1 triviaal is. Buiten dat, moet je het lemma ook nog bewijzen. :P. Het handigst is om gewoon direct een isomorfisme H1 x ... x Hk -> G op te schrijven (wel bewijzen dat het inderdaad een isomorfisme is).
pi_89255640
Oke. Dan doe je gewoon (h1,h2,...,hk) -> h1 h2 ... hk. Het is een bijectie omdat H1H2...Hk = G en een homomorfisme omdat ze commuteren (geen zin om het helemaal uit te schrijven hier :P ).

Is er trouwens ook een manier om te laten zien dat de elementen uit mimetex.cgi?1.5%24%5Cblack%20H_i en mimetex.cgi?1.5%24%5Cblack%20H_j met mimetex.cgi?1.5%24%5Cblack%20i%5Cneq%20j commuteren zonder te gebruiken dat mimetex.cgi?1.5%24%5Cblack%20H_i%20%5Ccap%20H_j%20%3D%20%5C%7Be%5C%7D omdat de ordes van Hi en Hj relatief priem zijn?
pi_89256396
Je zal toch ergens moeten bewijzen dat [hi, hj] triviaal is, en veel meer dan dat het in de doorsnede van Hi en Hj zit weet je niet. De orde van [hi, hj] is dus een deler van de orde van Hi maar ook van de orde van Hj. Maar ja, dat bewijst gelijk dat elk element van de doorsnede triviaal is.
pi_89256424
Wat betekent de notatie [hi,hj]?
abonnement Unibet Coolblue Bitvavo
Forum Opties
Forumhop:
Hop naar:
(afkorting, bv 'KLB')