abonnement Unibet Coolblue Bitvavo
pi_79665614
Ik probeer de volgende stelling te bewijzen:
Stelling: Als A=A* (A* is de getransponeerde complex geconjugeerde van A), dan A>0 (A is "positive definite") desda alle eigenwaarden van A positief zijn.

Bewijs:
Stel alle eigenwaarden zijn positief. Omdat A=A* is A orthogonaal te diagonaliseren. Er bestaat dus een unitaire matrix U zo dat A=UDU* met D=diag(L1,...,Ln) met Lk positieve eigenwaarden voor alle k.

en nu?
  zondag 28 maart 2010 @ 12:20:01 #260
75592 GlowMouse
l'état, c'est moi
pi_79665926
quote:
Op zondag 28 maart 2010 12:07 schreef BasementDweller het volgende:
Bewijs:
Stel alle eigenwaarden zijn positief. Omdat A=A* is A orthogonaal te diagonaliseren. Er bestaat dus een unitaire matrix U zo dat A=UDU* met D=diag(L1,...,Ln) met Lk positieve eigenwaarden voor alle k.
Moet je dat niet juist bewijzen?
A>0 => alle ew. positief kun je uit het ongerijmde bewijzen
alle ew. positief => A>0 kun je bewijzen door gebruik te maken dat de eigenvectoren R^n opspannen.

[ Bericht 0% gewijzigd door GlowMouse op 28-03-2010 17:12:33 ]
eee7a201261dfdad9fdfe74277d27e68890cf0a220f41425870f2ca26e0521b0
pi_79666655
Stel A = A* > 0 en niet alle e.w. zijn positief. Dan bestaat er een Lk=<0. Voor de bijbehorende eigenvector vk geldt: Mvk= Lk vk. Aan beide kanten het inproduct nemen met vk* geeft: (M vk,vk)=Lk(vk,vk). Omdat het inproduct van een vector ongelijk aan nul met zichzelf groter of gelijk is aan nul en Lk niet-positief is, volgt: (M vk,vk)=<0), tegenspraak.

Nu de andere kant nog.
pi_79671472
De andere kant op:
Stel A>0. Omdat A=A*, bestaat er een orthonormaal stelsel van eigenvectoren en dus een unitaire matrix U zdd D=U*AU=diag(L1,..,Ln). Dus A=UDU*. Uit A>0 volgt UDU*>0.


Kan ik hier iets mee?

(en was mijn eerste bewijs goed?)
  zondag 28 maart 2010 @ 15:41:06 #263
75592 GlowMouse
l'état, c'est moi
pi_79671574
"de bijbehorende eigenvector" bestaat niet.
En nee, probeer de hint tegebruiken
eee7a201261dfdad9fdfe74277d27e68890cf0a220f41425870f2ca26e0521b0
pi_79671691
quote:
Op zondag 28 maart 2010 15:41 schreef GlowMouse het volgende:
"de bijbehorende eigenvector" bestaat niet.
En nee, probeer de hint tegebruiken
Met de bijbehorende eigenvector bedoel ik de eigenvector die bij die eigenwaarde hoort. Bestaat deze niet volgens jou?

En die hint, dat de eigenvectoren R^n opspannen heb ik gebruikt (want omdat ze R^n opspannen bestaat er een unitaire matrix U). Ik zou niet weten hoe ik het anders kan gebruiken... (we werken trouwens niet alleen in R^n maar ook in C^n)
pi_79673975
quote:
Op zaterdag 27 maart 2010 18:25 schreef Optimistic1 het volgende:
Een vraagje:
Zij X < Am en Y < An twee affiene irreducibele gesloten verzamelingen. Dan geldt dim XxY <= dim X + dim Y waarbij XxY < Am+n de geinduceerde Zariski topologie krijgt.

Ik heb hopeloos dit proberen te bewijzen. Blijkbaar moet ik nog veel weten over commutatieve algebra. Ik gebruik T voor het tensorsymbool. Dan is er een k-algebra isomorfisme van de coordinatenring A(XxY) naar A(X)TA(Y). Deze wil ik gebruiken samen met het feit dat dim X= dim A(X), dim Y= dim A(Y) of met een stelling over de transcendental-degree die ook iets zegt over de dimensie. Ik ben benieuwd hoe priemidealen in A(X)TA(Y) eruit zien...misschien kom ik dan wel uit!

Heeft iemand een idee?
Ik zou gebruiken dat de dimensie gelijk is aan de transcendentiegraad van het functielichaam.
  zondag 28 maart 2010 @ 17:14:22 #266
75592 GlowMouse
l'état, c'est moi
pi_79674533
quote:
Op zondag 28 maart 2010 15:44 schreef BasementDweller het volgende:

[..]

Met de bijbehorende eigenvector bedoel ik de eigenvector die bij die eigenwaarde hoort. Bestaat deze niet volgens jou?

En die hint, dat de eigenvectoren R^n opspannen heb ik gebruikt (want omdat ze R^n opspannen bestaat er een unitaire matrix U). Ik zou niet weten hoe ik het anders kan gebruiken... (we werken trouwens niet alleen in R^n maar ook in C^n)
Het idee is dat je bij <Ax,x> x schrijft als lineaire combinatie van eigenvectoren. Maar ik vraag me even af of je niet nodig hebt dat A reëel is (anders weet ik niet of de eigenwaarden en -vectoren reëel zijn).
eee7a201261dfdad9fdfe74277d27e68890cf0a220f41425870f2ca26e0521b0
pi_79731184
Als je wil aantonen dat een verzameling gesloten is, kan je laten zien dat de verzameling gelijk is aan zijn afsluiting. Als je echter wil aantonen dat een verzameling gesloten is in een andere verzameling, wat moet je dan precies laten zien?
  dinsdag 30 maart 2010 @ 16:08:17 #268
69357 R-Mon
jong en dynamisch
pi_79749960
Mijn vragen: Stel je hebt een empirical cumulative distribution function en hier moet je een histogram van maken.
- Hoe benader je deze functie met een andere functie zodat als je de afgeleide van deze functie neemt je de bucket sizes en bucket boundaries krijgt?
- Hoe benader je deze functie met een andere functie zodat als je de afgeleide van deze functie neemt je de optimale bucket sizes en bucket boundaries krijgt?

Ik ben erachter dat je een ecdf kan benaderen met een cdf en dan ook een bijbehorende pdf hebt. Er wordt gehint naar lineaire functies omdat het differentieren van lineaire functies getallen opleveren die volgens mij het antwoord op de vraag zijn. De ecdf benaderen met een lineaire functie lijkt me onverantwoord. De enige andere lineaire functies die ik hier tevoorschijn kan toveren zijn de raaklijnen van de cdf en pdf.
Ik heb een manier gevonden om op een arbitrair punt de hoogte en breedte van een bucket te vinden. Er is ook gehint naar de mate van optimaliteit gelijk stellen aan de goodness of fit van de cdf op de ecdf alleen zie ik totaal niet hoe ik hier optimale bucket boundaries af kan leiden. Ik hoop zeer dat ik duidelijk ben en dat iemand me op weg kan helpen.
&lt;tsjsieb&gt; maarja, jij bent ook gewoon cool R-Mon :p
pi_79752953
quote:
Op maandag 29 maart 2010 23:46 schreef BasementDweller het volgende:
Als je wil aantonen dat een verzameling gesloten is, kan je laten zien dat de verzameling gelijk is aan zijn afsluiting. Als je echter wil aantonen dat een verzameling gesloten is in een andere verzameling, wat moet je dan precies laten zien?
A is gesloten in S als A gelijk is aan de afsluiting van A doorsneden met S.
pi_79754835
quote:
Op dinsdag 30 maart 2010 17:19 schreef thabit het volgende:

[..]

A is gesloten in S als A gelijk is aan de afsluiting van A doorsneden met S.
Bedankt!
pi_79773055
Hey ik heb ook een vraagje

Ik heb zeg maar een data set met 6 attributes die allemaal numeriek zijn.
Het idee is dat je 5 coefficienten vindt die de dataset zeg maar goed fitten. Die heb ik dus gevonden, nou heb ik alleen een ander probleem waarmee ik zit. Het gaat over de sufficient/necessary number of instances die je nodig moet hebben om aan je beste score te komen (dus b.v. 0 fouten). Ik probeerde dit op te lossen met sum squared error, nou heb ik alleen eerlijk gezegd geen flauw benul hoe ik kan bepalen welke instances ik nodig zou moeten hebben om er voor te zorgen dat de error laag blijft.

Ik heb dit al op een experimentele wijze opgelost (simpelweg random setje instances nemen en kijken of de methode erop coefficienten vindt die 0 error oplevert), maar er zou ook een theoretische methode moeten zijn om dit uit te zoeken. Daarbij werd me verteld dat ik partieel differentieren moest gebruiken. En dat als alle partieel differenties gelijk aan 0 zijn je de coefficients hebt gevonden want dan heb je 0 error. Het probleem nu alleen is, hoe haal ik hiermee eruit welke instances ik moet hebben? Mijn differentieren knobbel is daarbij wat verroest, maar ik kwam ermee dat (x-y)^2 differentieert naar df/dx: 2x-2y en df/dy: 2y-2x en d^2f/dxdy: -2 (?).

Ik heb al overal en nergens gezocht, boek doorgelezen, meerdere sites over linear regression gelezen en ik kan het gewoon niet vinden :/

Elk klein beetje help (als je weet hoe je met behulp uit een differentie kunt bepalen welke instances je moet hebben bijvoorbeeld) is van harte welkom.
  woensdag 31 maart 2010 @ 08:22:16 #272
75592 GlowMouse
l'état, c'est moi
pi_79775990
Wat een rare manier, om partiële afgeleiden te pakken. ik zou eerder naar lineaire algebra kijken.
eee7a201261dfdad9fdfe74277d27e68890cf0a220f41425870f2ca26e0521b0
  woensdag 31 maart 2010 @ 09:14:49 #273
159841 Dzy
It is I
pi_79776888
Datamining @ VU?
"Reality is an illusion created by a lack of alcohol."
pi_79781293
Zij X een open verzameling. Is de afsluiting van het inwendige van een verzameling X dan een deelverzameling van X?
pi_79787105
quote:
Op woensdag 31 maart 2010 08:22 schreef GlowMouse het volgende:
Wat een rare manier, om partiële afgeleiden te pakken. ik zou eerder naar lineaire algebra kijken.
Ja om coefficienten te vinden enzo is lineaire algebra prima, het is alleen hoe haal ik hieruit welke instances ik moet hebben? De vraag lijkt wel incompleet, want er staat niet bij of ik een aantal moet noteren of specifieke instances moet nemen. Daarbij weet ik niet of ik de coefficienten bij voorbaat al mag invullen, aangezien als ik al de coefficienten mag gebruiken die voor perfecte score kan gebruiken, kan ik net zo goed 1 instance zeggen, het is alleen dat als je 1 instance pakt en je moet de coefficienten juist vinden, dan heb je goeie kans dat je niet dezelfde coefficienten vindt. En daar ben ik dus naar op zoek, ik snap wel dat partial derivatives daarbij zouden moeten helpen om aan te geven dat je nulpunten vindt, maar om dan te zeggen welke instances?

Klopt mijn partieel differentieren overigens?
quote:
Op woensdag 31 maart 2010 09:14 schreef Dzy het volgende:
Datamining @ VU?
Ja, ik heb al al het andere af en ik wil dit ook oplossen op een andere manier
pi_79796690
Ik zit vast met een formule die ik moet differentiëren, en ik hoop dat iemand mij hieruit kan redden.

Ik moet de volgende formule differentiëren:

2x^2√(1-x^2)

Nu heb ik de uitwerkingen voor me, maar er staat één ding in waar ik niet uitkom.



Waar komt die *-2x aan het einde van 'stap 1' vandaan? Ik zit al een kwartier naar de opgave te staren maar het wil niet dagen..

Alvast bedankt!
pi_79797016
quote:
Op woensdag 31 maart 2010 17:52 schreef BlackSaint het volgende:
Ik zit vast met een formule die ik moet differentiëren, en ik hoop dat iemand mij hieruit kan redden.

Ik moet de volgende formule differentiëren:

2x^2√(1-x^2)

Nu heb ik de uitwerkingen voor me, maar er staat één ding in waar ik niet uitkom.

[ afbeelding ]

Waar komt die *-2x aan het einde van 'stap 1' vandaan? Ik zit al een kwartier naar de opgave te staren maar het wil niet dagen..

Alvast bedankt!
Kettingregel. Schrijf de functie even als 2x2∙(1-x2)1/2, dan zie je het wellicht wel direct.
pi_79797231
quote:
Op woensdag 31 maart 2010 18:02 schreef Riparius het volgende:

[..]

Kettingregel. Schrijf de functie even als 2x2∙(1-x2)1/2, dan zie je het wellicht wel direct.
Yes, dat is 'm. Dankjewel.
  woensdag 31 maart 2010 @ 19:18:20 #279
75592 GlowMouse
l'état, c'est moi
pi_79799737
quote:
Op woensdag 31 maart 2010 13:57 schreef koffiegast het volgende:

[..]

Ja om coefficienten te vinden enzo is lineaire algebra prima, het is alleen hoe haal ik hieruit welke instances ik moet hebben? De vraag lijkt wel incompleet, want er staat niet bij of ik een aantal moet noteren of specifieke instances moet nemen. Daarbij weet ik niet of ik de coefficienten bij voorbaat al mag invullen, aangezien als ik al de coefficienten mag gebruiken die voor perfecte score kan gebruiken, kan ik net zo goed 1 instance zeggen, het is alleen dat als je 1 instance pakt en je moet de coefficienten juist vinden, dan heb je goeie kans dat je niet dezelfde coefficienten vindt. En daar ben ik dus naar op zoek, ik snap wel dat partial derivatives daarbij zouden moeten helpen om aan te geven dat je nulpunten vindt, maar om dan te zeggen welke instances?

Klopt mijn partieel differentieren overigens?
[..]

Ja, ik heb al al het andere af en ik wil dit ook oplossen op een andere manier
Je afgeleides kloppen ja. Je hebt sowieso een perfect fit als de vector met de verklaarde variabele in het kolomruimte zit van de matrix met regressoren, daar komt weinig calculus bij kijken.
eee7a201261dfdad9fdfe74277d27e68890cf0a220f41425870f2ca26e0521b0
pi_79807237
quote:
Op woensdag 31 maart 2010 19:18 schreef GlowMouse het volgende:

[..]

Je afgeleides kloppen ja. Je hebt sowieso een perfect fit als de vector met de verklaarde variabele in het kolomruimte zit van de matrix met regressoren, daar komt weinig calculus bij kijken.
Ok, mmh heb je enig idee welke richting ik überhaupt moet nemen om zeg maar op een bepaald nummer instances moet komen? Ik heb vandaag ook al uren lopen lezen en ik vind maar niet iets concreets dat gewoon zegt "zo kun je zeggen dat deze weg moeten". Sterker nog, de meeste gaan alleen over attribute weglaten en information gain/loss. Of gaan juist over hoe je kunt clusteren.

Ik zie verder nog niet hoe partieel differentieren mij precies gaat helpen. Het ersgte is dat naarmate ik meer en meer lees begin ik de vraag minder goed te begrijpen hehe

Kortom, hoe kan ik met een set instanties data (numeriek) bepalen hoe veel ik ervan nodig heb?

[ Bericht 4% gewijzigd door koffiegast op 31-03-2010 22:08:51 ]
pi_79822254
hoe kun je met http://www.wolframalpha.com deze som oplossen : 5log(1/25)sqrt5 Zou het mogelijk zijn om dit ook in stappen te laten weergeven.
pi_79824694
quote:
Op donderdag 1 april 2010 10:50 schreef snakeman123 het volgende:
hoe kun je met http://www.wolframalpha.com deze som oplossen : 5log(1/25)sqrt5 Zou het mogelijk zijn om dit ook in stappen te laten weergeven.
Ik denk dat dit een huiswerkopgave is en dat je daarom stappen moet kunnen laten zien. Maar systemen zoals WolframAlpha kunnen alleen overweg met logaritmen met grondtal 10 of grondtal e, en dat is hier niet handig, als je met je notatie een log met grondtal 5 bedoelt (zoals ik vermoed). Waarom vermoed ik dat? Wel, omdat de opgave dan eenvoudig uit het blote hoofd is te doen:

5log(1/25∙√5) = 5log(5-2) + 5log(5½) = -2 + ½ = -1½.

Begrijp je dit nu ook?
pi_79824897
thanks nu snap ik het
pi_79825467
quote:
Op donderdag 1 april 2010 12:05 schreef snakeman123 het volgende:
thanks nu snap ik het
Nog even even een aanvulling: WolframAlpha blijkt toch wel overweg te kunnen met logaritmen met een ander grondtal dan 10 of e. Alleen heb je niet zoveel aan die uitwerking voor je huiswerkopgave zoals je zult zien. Je voert dan in:

log[5,((1/25)*sqrt(5))]
pi_79828295


Is er iemand die me uit kan leggen waarom dit klopt?
Ik kan van links met geen mogelijkheid maken wat er rechts staat.
Het is geel en staat in mijn ondertitel!
3DS friend code: 2191-7623-9035
pi_79829770
quote:
Op donderdag 1 april 2010 13:32 schreef Jesse_ het volgende:
[ afbeelding ]

Is er iemand die me uit kan leggen waarom dit klopt?
Ik kan van links met geen mogelijkheid maken wat er rechts staat.
Voer een polynoomstaartdeling uit (waarbij je dus een rest van 915/2 zult vinden), óf vermenigvuldig eerst teller en noemer van de breuk met 2 en pas vervolgens breuksplitsing toe (splitsing in partiële breuken).
pi_79832738
Zou je misschien een tussen stap van het breuksplitsen kunnen opschrijven? Ik zie het namelijk niet
En mijn boek biedt helaas geen soelaas voor dit geval.
Het is geel en staat in mijn ondertitel!
3DS friend code: 2191-7623-9035
pi_79837688
quote:
Op donderdag 1 april 2010 15:25 schreef Jesse_ het volgende:
Zou je misschien een tussen stap van het breuksplitsen kunnen opschrijven? Ik zie het namelijk niet
En mijn boek biedt helaas geen soelaas voor dit geval.
Teller en noemer van de breuk met 2 vermenigvuldigen levert:

(-3y3 + 48y2 -288y + 576)/2∙(y+1)

Nu opsplitsen in een breuk met noemer 2 en een breuk met noemer (y+1), als volgt:

(-3y3 + 48y2 -288y + 576)/2∙(y+1) = (Ay2 + By + C)/2 + D/(y+1)

De ratio hierachter is dat je bij deling van een derdegraads polynoom door een lineair polynoom een kwadratisch polynoom krijgt, plus een rest (tenzij het nulpunt van het lineaire polynoom in de noemer ook een nulpunt is van het derdegraads polynoom in de teller). Door in bovenstaande vergelijking beide leden te vermenigvuldigen met 2(y + 1) en (na herleiding) de coëfficiënten van het derdegraadspolynoom in linker en rechter lid aan elkaar gelijk te stellen krijg je vier lineaire vergelijkingen in A,B,C en D, waaruit je deze kunt bepalen.

Zelf zou ik hier overigens veel liever een polynoomstaartdeling uitvoeren, dat is eenvoudiger en sneller.
pi_79839093
Bedankt voor je hulp, volgens mij kom ik er nu uit
Edit: ik kom er uit en een staartdeling is inderdaad een stuk eenvoudiger, bedankt!

[ Bericht 23% gewijzigd door Jesse_ op 01-04-2010 18:26:17 ]
Het is geel en staat in mijn ondertitel!
3DS friend code: 2191-7623-9035
pi_79849750
quote:
Op woensdag 31 maart 2010 11:39 schreef BasementDweller het volgende:
Zij X een open verzameling. Is de afsluiting van het inwendige van een verzameling X dan een deelverzameling van X?
Een open verzameling is gelijk aan haar inwendige. De afsluiting kan dan best strikt groter zijn.
  vrijdag 2 april 2010 @ 08:57:12 #291
105018 Borizzz
Thich Nhat Hanh
pi_79859164
Heeft iemand een goede inleiding in de logica? (website).
kloep kloep
pi_79919435
Een conic heeft de vergelijking:


Met de matrix



Hoe kom ik ook alweer vanaf die vergelijking van de conic op de matrix, moet ik achter de matrix dan ook nog =0 zetten? En is de conic automatisch bilineair en symetrisch (ja toch?)

Ik ben het even kwijt hoe dit ook alweer werkte. En ik ken wel die matrix en vergelijking nu, maar toch. ;x
pi_79919789
Als v de vector (x0, x1, x2) is, en A is je matrix, dan kan de vergelijking geschreven worden als vAvt = 0. A is per definitie symmetrisch.
pi_79929537
quote:
Gegeven is de taal
L1 := { w ∈ {a,b}* | w bevat een even aantal a's }
Bewijs dat L1 = L1*
Ik snap dat het zo is, omdat even+even=even, maar hoe moet je dat bewijzen?
pi_79929629
quote:
Op zondag 4 april 2010 13:00 schreef .aeon het volgende:

[..]

Ik snap dat het zo is, omdat even+even=even, maar hoe moet je dat bewijzen?
a/2=p
b/2=q
a+b=2(p+q) => a+b deelbaar door 2
pi_79930901
Ah ja, omdat een even nummer a als 2p kan worden geschreven
2p + 2q = 2(p+q) en dus even.
Thanks
  zondag 4 april 2010 @ 16:23:48 #297
113667 Keiichi
Konnichiwa!
pi_79936645
Voor een kleine opdracht moet ik een zo kort mogelijk prefixcode boom maken voor een bepaalde tekst.

Ik ben niet veel verder gekomen dan het tellen van hoe vaak elke letter voor komt, maar ik heb geen idee hoe ik het aanpak om een zo kort mogelijke prefixcode boom hiervoor te maken.

Ik kan opzich wel zo'n boom uit m'n mouw schudden, maar hoe ik weet dat ie zo kort mogelijk is en hoe ik dat aan kan tonen, ik zou geen idee van de aanpak hebben
abonnement Unibet Coolblue Bitvavo
Forum Opties
Forumhop:
Hop naar:
(afkorting, bv 'KLB')