abonnement Unibet Coolblue Bitvavo
pi_103458409
quote:
0s.gif Op zondag 23 oktober 2011 16:44 schreef Amoeba het volgende:

[..]

Ja, toch wel. Vraag fout gelezen vrees ik.

Mijn GR gaat dit probleempje eens bekijken. :)
Nou ten eerste is je tweede coordinaat niet helemaal correct, want je zit toch echt in de negatieve y-as...
Beneath the gold, bitter steel
pi_103458438
quote:
0s.gif Op zondag 23 oktober 2011 16:46 schreef Fingon het volgende:

[..]

Nou ten eerste is je tweede coordinaat niet helemaal correct, want je zit toch echt in de negatieve y-as...
Ik bedoel natuurlijk -.5sqrt(3).....
pi_103459343
Al gelukt!
pi_103459775
quote:
0s.gif Op zondag 23 oktober 2011 17:10 schreef Amoeba het volgende:
Al gelukt!
Wat is je vergelijking dan nu?
Beneath the gold, bitter steel
pi_103460048
quote:
0s.gif Op zondag 23 oktober 2011 17:21 schreef Fingon het volgende:

[..]

Wat is je vergelijking dan nu?
-1/3√3x -1/3√3
pi_103460627
quote:
0s.gif Op zondag 23 oktober 2011 16:05 schreef Amoeba het volgende:
Tipje van de sluier graag :)
Pythagoreïsche tripletten.
pi_103461687
Kaleidoscoop 1?
pi_103501309
quote:
0s.gif Op zondag 23 oktober 2011 17:28 schreef Amoeba het volgende:

[..]

-1/3√3x -1/3√3
y* moest toch rationaal zijn? In dat geval is y* dat zeker niet.
pi_103502098
quote:
0s.gif Op maandag 24 oktober 2011 16:13 schreef Don_Vanelli het volgende:

[..]

y* moest toch rationaal zijn? In dat geval is y* dat zeker niet.
Inderdaad. De vraagstelling van Amoeba is ook incompleet. Hij denkt kennelijk dat er maar één lijn is die aan het gestelde voldoet, maar dat is niet zo. Er liggen oneindig veel punten in ieder kwadrant op de eenheidscirkel waarvan de coördinaten rationaal zijn.
pi_103507103
Ik moet een tegenvoorbeeld vinden voor

\exists v(\phi(v)\rightarrow \psi) \; \rightarrow \; (\exists v \phi(v) \rightarrow \psi)

Ik moet zelf een taal L, structuur M en formules phi en psi bedenken zodat het niet klopt. Wie kan me helpen?
pi_103512438
quote:
0s.gif Op maandag 24 oktober 2011 18:37 schreef thenxero het volgende:
Ik moet een tegenvoorbeeld vinden voor

\exists v(\phi(v)\rightarrow \psi) \; \rightarrow \; (\exists v \phi(v) \rightarrow \psi)

Ik moet zelf een taal L, structuur M en formules phi en psi bedenken zodat het niet klopt. Wie kan me helpen?
't Is een implicatie. Wanneer is deze niet waar?
pi_103514465
quote:
0s.gif Op maandag 24 oktober 2011 20:15 schreef thabit het volgende:

[..]

't Is een implicatie. Wanneer is deze niet waar?
Als de linkerkant wel waar is en de rechterkant niet.
pi_103514745
quote:
0s.gif Op maandag 24 oktober 2011 20:44 schreef thenxero het volgende:

[..]

Als de linkerkant wel waar is en de rechterkant niet.
De rechterkant is ook weer een implicatie. Die moet dus niet waar zijn. Daaruit kun je wederom conclusies trekken.
pi_103517158
Ja... maar ik zoek eigenlijk een tegenvoorbeeld he.

Ik heb nu alle implicaties eruit gehaald maar ik zie niet hoe dat helpt:

 (\exists v(\lnot\phi(v)\lor\psi))\land\exists v\phi(v)\land\lnot\psi

TeX kan hier blijkbaar niet alle logische symbolen weergeven.

[ Bericht 81% gewijzigd door thenxero op 24-10-2011 21:32:34 ]
pi_103523839
Probeer eens \neg, \wedge en \vee.
pi_103546071
Een vraag uit een oefententamen:

quote:
Let S = [-1, 1] x [-1, 1] and C = { (x, y) | x2 + y2 <= 1 }.
Prove that |C| = |S|.
Mijn antwoord:
quote:
De eerste set kan je zien als alle elementen binnen of op de rand van een vierkant, de tweede set als alle elementen binnen of op de rand van een cirkel (waarschijnlijk hebben ze daarom ook C en S als letters voor de verzamelingen gekozen).

Ik zie dat er een injectieve functie bestaat van S naar C en omgekeerd. Van S naar C: Definieer r als (.5 + s1 / 2) waar s1 het eerste element uit het tupel uit S is, en a als (pi * s2 + pi) waar s2 het tweede element uit het tupel uit S is. Het bijbehorende tupel uit C is dan (r*cos(a), r*sin(a)).

De injectieve functie van C naar S is. (arctan2(c1, c2), sqrt(c12 + x22)) met c1 het eerste element uit het tupel uit C en c2 het tweede element uit het tupel uit C.

En omdat er een injectieve functie van C naar S is en andersom, geldt:
|C| <= |S|
|S| <= |C|
en volgens het theorem van Cantor-Schroeder-Bernstein ook:
|C| = |S|
Hoe noteer ik dit eerste verhaal, over de bijectie, kort en duidelijk? Of moet ik gewoon dit verhaal uitleggen?

Alvast dank!
Finally, someone let me out of my cage
pi_103546392
Het punt (-1,0) van het vierkant wordt op hetzelfde punt afgebeeld als het punt (-1,1) van het vierkant.

[ Bericht 1% gewijzigd door twaalf op 25-10-2011 16:42:28 ]
pi_103547556
quote:
0s.gif Op dinsdag 25 oktober 2011 16:32 schreef twaalf het volgende:
Het punt (-1,0) van het vierkant wordt op hetzelfde punt afgebeeld als het punt (-1,1) van het vierkant.
Oh crap :')
Finally, someone let me out of my cage
pi_103547825
Ik snap het al, je mag stellen |C| <= |S| omdat elk tupel in C ook in S zit, en dan gebruik je (ik leg het even geometrisch uit) een geschaald vierkant (bijvoorbeeld: [-.5, 5]2) en gebruik je dat elk geordend tupel uit het geschaalde vierkant in de cirkel zit.
Maar hoe noteer je nou een concrete functie die als domein C heeft en als codomein S (of andersom, of nog meer in het algemeen een functie die twee verzameling geordende n-tupels met n > 1 op elkaar afbeeldt, om het maar even wiskundig uit te drukken :P).
Finally, someone let me out of my cage
pi_103548251
f:C\mapsto S;(x,y)\mapsto (x,y)
Het bereik is \subseteq S, want...
De functie is injectief, want...
g:S\mapsto C;(x,y)\mapsto \left(\frac{x}{2},\frac{x}{2}\right)
Het bereik is \subseteq C, want...
De functie is injectief, want...
pi_103549213
Thanks, dat is duidelijk :s)
Finally, someone let me out of my cage
pi_103551339
Kan iemand mij het nut van het berekenen van een limit van een functie uitleggen? Je bepaalt dus de waarde die een bepaalde functie nooit zal bereiken, maar wat heb je daar aan?
  dinsdag 25 oktober 2011 @ 18:50:56 #83
75592 GlowMouse
l'état, c'est moi
pi_103551403
quote:
5s.gif Op dinsdag 25 oktober 2011 18:48 schreef Burbujas het volgende:
Kan iemand mij het nut van het berekenen van een limit van een functie uitleggen? Je bepaalt dus de waarde die een bepaalde functie nooit zal bereiken
Of wel, als de functie continu is in dat punt. Limieten zijn heel belangrijk, bijvoorbeeld voor de afgeleide (waarbij de functie zelf continu moet zijn).
eee7a201261dfdad9fdfe74277d27e68890cf0a220f41425870f2ca26e0521b0
pi_103552011
Achilles en de schildpad, daar zie je een fijne limiet in een praktische situatie.
pi_103553835
quote:
5s.gif Op dinsdag 25 oktober 2011 18:48 schreef Burbujas het volgende:
Kan iemand mij het nut van het berekenen van een limit van een functie uitleggen? Je bepaalt dus de waarde die een bepaalde functie nooit zal bereiken, maar wat heb je daar aan?
klein voorbeeldje:

g(x) = sin(x) is een relatief lelijke functie
f(x) = x is een relatief makkelijke functie

als je de limiet x ->0 pakt van sin(x)/x kun je laten zien dat deze limiet gelijk is aan 1. Dit betekent dus dat sin(x) zich in de buurt van x=0 gedraagt als de functie f(x) = x en je dus voor kleine waarden van x kunt zeggen: sin(x) is ongeveer gelijk aan x.

Ander voorbeeld:
Asymptoten berekenen gaat met behulp van limieten.
pi_103561706
Ik denk dat limieten wel het belangrijkst zijn voor differentiëren, zoals glowmouse al noemde. De afgeleide van een functie is namelijk gedefinieerd als een limiet:

 f'(x) = \lim_{h\to 0} \frac{f(x+h)-f(x)}{h}
pi_103569530
quote:
Problem:

Let f, g: ℝ -> ℝ be continuous functions. Prove: For all α > 0 and β > 0, the function F: ℝ -> ℝ defined by F(x) = α * f(x) + β * g(x) is continuous.
Als het goed is moet ik het doen via de epsilon-delta definitie.

Dit is wat ik tot nu toe heb:
quote:
Because it is given that f(x) is continuous, it follows through the epsilon-delta definition that there exists a δ for which δ > |x-p| ≥ |f(x)-f(p)| holds. Then, it follows that δ * α > α * |x-p| ≥ α * |f(x)-f(p)|, which implies that f(x) * α is continuous if you choose α times the δ for which f(x) was continuous, as the δ for f(x) * α.
Maar dat lijkt me dus veel te simpel. Pak ik het totaal verkeerd aan?
Özil | Ki SY| Son HM| Lee SW| Taeguk Warriors|
pi_103569595
quote:
0s.gif Op woensdag 26 oktober 2011 03:25 schreef Thas het volgende:

[..]

Als het goed is moet ik het doen via de epsilon-delta definitie.

Dit is wat ik tot nu toe heb:

Because it is given that f(x) is continuous, it follows through the epsilon-delta definition that there exists a δ for which δ > |x-p| ≥ |f(x)-f(p)| holds.

[snip]

Nee, dit gaat al verkeerd. Uit de ε,δ definitie van continuïteit volgt helemaal niet wat jij hier beweert. Als je functie f: RR continu is in x = p, dan bestaat er voor elke ε > 0 een δ > 0 zodanig dat | f(x) - f(p) | < ε voor elke x zodanig dat | x - p | < δ. Maar dat impliceert niet wat jij stelt.
pi_103569625
quote:
0s.gif Op woensdag 26 oktober 2011 04:04 schreef Riparius het volgende:

[..]

Nee, dit gaat al verkeerd. Uit de ε,δ definitie van continuïteit volgt helemaal niet wat jij hier beweert. Als je functie f: RR continu is in x = p, dan bestaat er voor elke ε > 0 een δ > 0 zodanig dat | f(x) - f(p) | < ε voor elke x zodanig dat | x - p | < δ. Maar dat impliceert niet wat jij stelt.
Ik zie het, jij hebt inderdaad de correcte, volledige definitie, ik maakte fouten.
Als ik een simpele functie krijg als f(x)=sqrt(x) kan ik ook wel bewijzen of deze wel of niet continuous is in het punt P, door op zoek te gaan naar, zoals jij stelt, de δ waaruit blijkt dat |p - x| < δ impliceert dat |f(p) - f(x)| < ε waar gegeven is dat ε > 0 en δ > 0.

Ik probeer die methode nu op mijn probleem toe te passen. Mij lijkt het dan dat ik in dit geval de δ moet vinden waardoor δ > |p - x| impliceert dat ε > |f(p)*α-f(x)*α|, waar gegeven is dat ε > 0 en δ > 0.

En dan loop ik dus vast, omdat ik niet zou weten hoe ik die δ zou moeten vinden.
Ik kom niet verder dan |*f(x)-*f(p)|<|*f(p)-*f(p+δ)|

[ Bericht 1% gewijzigd door Thas op 26-10-2011 06:34:19 ]
Özil | Ki SY| Son HM| Lee SW| Taeguk Warriors|
pi_103574511
Je moet juist niet op zoek gaan naar de delta, maar naar de epsilon. Uiteindelijk moet je de som nemen van twee functies, en daar moet iets uitkomen dat kleiner is dan epsilon. Logisch is dan om te kijken naar \frac{\varepsilon}{2}. Als je uitgaat van een bepaalde epsilon waaraan f+g moet voldoen, dan kun je voor \frac{\varepsilon}{2} een \delta_1 vinden voor f en een \delta_2 vinden voor g.
abonnement Unibet Coolblue Bitvavo
Forum Opties
Forumhop:
Hop naar:
(afkorting, bv 'KLB')