Meetkunde II: verschil tussen versies

Ga naar: navigatie, zoeken
(medications or dizzy hydrochloride of f rates tramadol of, http://www.teatromagro.com/share/tables/bars40.html tramadol hcl canine, wyz, http://www.teatromagro.com/share/tables/bars65.html ultram)
Regel 1: Regel 1:
 
[[Afbeelding:FrankiDillen.jpg|right|Professor Franki Dillen]]
 
[[Afbeelding:FrankiDillen.jpg|right|Professor Franki Dillen]]
 
[[Afbeelding:JoeriKlein.jpg|right|Joeri Van der Veken]]
 
[[Afbeelding:JoeriKlein.jpg|right|Joeri Van der Veken]]
Het examen bestaat uit een deel theorie, mondeling te verdedigen, en een deel oefeningen die enkel schriftelijk uit te werken zijn. Het examen is openboek. Dillen is hierbij zeer los: je kan steeds gewoon rechtstaan om naar het toilet te gaan, of om drinken of eten uit een nabije automaat te halen. Je krijgt 5 uur om alle vragen op te lossen. Cursus Meetkunde I, schrijfgerief en rekenmachine zijn toegelaten.  In 2007-2008 is een deel gegeven door Joeri Van der Veken.  Deze heeft dan ook een deel van het examen afgenomen. In 2009-2010 waren er drie lesgevers: Joeri Van der Veken voor projectieve meetkunde, Hendrik Hubrechts voor de algebraïsche meetkunde en Professor Dillen gaf de differentiaalmeetkunde. De mondelinge vragen waren dan ook verdeeld over de drie.  
+
Het examen bestaat uit een deel theorie, mondeling te verdedigen, en een deel oefeningen die enkel schriftelijk uit te werken zijn. Het examen is openboek. Dillen is hierbij zeer los: je kan steeds gewoon rechtstaan om naar het toilet te gaan, of om drinken of eten uit een nabije automaat te halen. Je krijgt 5 uur om alle vragen op te lossen. Cursus Meetkunde I, schrijfgerief en rekenmachine zijn toegelaten.  In 2007-2008 is een deel gegeven door Joeri Van der Veken.  Deze heeft dan ook een deel van het examen afgenomen. In 2009-2010 waren er drie lesgevers: Joeri Van der Veken voor projectieve meetkunde, Hendrik Hubrechts voor de algebraïsche meetkunde en Professor Dillen gaf de differentiaalmeetkunde. De mondelinge vragen waren dan ook verdeeld over de drie.  
  
 
== Examens ==
 
== Examens ==
Regel 9: Regel 9:
 
====Theorie====
 
====Theorie====
 
# Als <math>l_1</math> en <math>l_2</math> rechten zijn in <math>\mathbb{A}^2</math>, met oneigenlijke punten <math>P_1</math> en <math>P_2</math> in de gecomplexifieerde ruimte <math>(\mathbb{R}P^2)^\mathbb{C}</math>. Bewijs dan dat de hoek tussen <math>l_1</math> en <math>l_2</math> gelijk is aan <math>\frac{1}{2}|\log(P_1,P_2,I,J)|</math>, waarbij log de complexe logaritme is en I en J de isotrope punten (de punten op oneindig van een cirkel, als je de rechte <math>x_2=0</math> als oneigenlijke rechte neemt zijn I en J gelijk aan <math>[(1,i,0)]</math> en <math>[(1,-i,0)]</math>).
 
# Als <math>l_1</math> en <math>l_2</math> rechten zijn in <math>\mathbb{A}^2</math>, met oneigenlijke punten <math>P_1</math> en <math>P_2</math> in de gecomplexifieerde ruimte <math>(\mathbb{R}P^2)^\mathbb{C}</math>. Bewijs dan dat de hoek tussen <math>l_1</math> en <math>l_2</math> gelijk is aan <math>\frac{1}{2}|\log(P_1,P_2,I,J)|</math>, waarbij log de complexe logaritme is en I en J de isotrope punten (de punten op oneindig van een cirkel, als je de rechte <math>x_2=0</math> als oneigenlijke rechte neemt zijn I en J gelijk aan <math>[(1,i,0)]</math> en <math>[(1,-i,0)]</math>).
# We definiëren de rechten <math>l_i</math> als <math>x_i=0</math> voor i = 0,1,2. We hebben een kromme C in <math>\mathbb{R}P^2</math> waartoe <math>E_0</math>, <math>E_1</math> en <math>E_2</math> toe behoren en die in <math>E_0</math> de rechten <math>l_1</math> en <math>l_2</math>, in <math>E_1</math> de rechten <math>l_0</math> en <math>l_2</math> en in <math>E_2</math> de rechten <math>l_0</math> en <math>l_1</math> als hoofdraaklijnen heeft.
+
# We definiëren de rechten <math>l_i</math> als <math>x_i=0</math> voor i = 0,1,2. We hebben een kromme C in <math>\mathbb{R}P^2</math> waartoe <math>E_0</math>, <math>E_1</math> en <math>E_2</math> toe behoren en die in <math>E_0</math> de rechten <math>l_1</math> en <math>l_2</math>, in <math>E_1</math> de rechten <math>l_0</math> en <math>l_2</math> en in <math>E_2</math> de rechten <math>l_0</math> en <math>l_1</math> als hoofdraaklijnen heeft.
 
## Wat is de laagste graad die C kan hebben en bewijs.
 
## Wat is de laagste graad die C kan hebben en bewijs.
 
## Bewijs met Stelling 13 (pagina 146) dat de graad van een niet-ontaarde kromme C groter of gelijk is aan 5.
 
## Bewijs met Stelling 13 (pagina 146) dat de graad van een niet-ontaarde kromme C groter of gelijk is aan 5.
Regel 40: Regel 40:
  
 
Deze vragen moesten verdedigd bij professor Dillen
 
Deze vragen moesten verdedigd bij professor Dillen
# Definieer de begrippen enkelvoudig en meervoudig punt voor een willekeurig punt ''P'' van een algebraïsche kromme ''C = V(F)'' in <math>\mathbb{C}P^2</math> aan de hand van het begrip snijpuntsmultipliciteit. Voer ook het begrip hoofdraaklijn in.
+
# Definieer de begrippen enkelvoudig en meervoudig punt voor een willekeurig punt ''P'' van een algebraïsche kromme ''C = V(F)'' in <math>\mathbb{C}P^2</math> aan de hand van het begrip snijpuntsmultipliciteit. Voer ook het begrip hoofdraaklijn in.
 
# Beschouw een <math>x:U \subseteq \mathbb{R}^2 \rightarrow M \subseteq \mathbb{E}</math> waarvoor <math>x_u*x_v=0</math> en <math>x_u * x_u = x_v * x_v</math>, Bewijs dan dat <math>x_{uu} + x_{vv} = 2EH \xi</math> (hint: bewijs eerst dat <math>x_{uu}+x_{vv}</math> normaal is)
 
# Beschouw een <math>x:U \subseteq \mathbb{R}^2 \rightarrow M \subseteq \mathbb{E}</math> waarvoor <math>x_u*x_v=0</math> en <math>x_u * x_u = x_v * x_v</math>, Bewijs dan dat <math>x_{uu} + x_{vv} = 2EH \xi</math> (hint: bewijs eerst dat <math>x_{uu}+x_{vv}</math> normaal is)
  
Regel 56: Regel 56:
  
 
#Beschouw <math>\mathbb{E}^3</math>. Een kromme <math>\alpha(t)</math> op een oppervlak is een ''hoofdkromme'' indien de afgeleide <math>\alpha^\prime (t)</math> steeds langs een hoofdrichting ligt, m.a.w. als <math>S\alpha^\prime (t)</math> evenredig is met <math>\alpha^\prime (t)</math> voor alle <math>t</math> (waarbij <math>S</math> de shape-operator voorstelt). Veronderstel nu dat een oppervlak <math>M</math> langs een kromme <math>\alpha(t)</math> raakt aan een sfeer met straal <math>R</math> en middelpunt <math>m</math>. Toon aan dat <math>\alpha(t)</math> een hoofdkromme is.
 
#Beschouw <math>\mathbb{E}^3</math>. Een kromme <math>\alpha(t)</math> op een oppervlak is een ''hoofdkromme'' indien de afgeleide <math>\alpha^\prime (t)</math> steeds langs een hoofdrichting ligt, m.a.w. als <math>S\alpha^\prime (t)</math> evenredig is met <math>\alpha^\prime (t)</math> voor alle <math>t</math> (waarbij <math>S</math> de shape-operator voorstelt). Veronderstel nu dat een oppervlak <math>M</math> langs een kromme <math>\alpha(t)</math> raakt aan een sfeer met straal <math>R</math> en middelpunt <math>m</math>. Toon aan dat <math>\alpha(t)</math> een hoofdkromme is.
#Gegeven zijn een punt <math>P\in\mathbb{R}P^n</math> en een hyperkwadriek <math>\mathcal{H}=\{[x]\in\mathbb{R}P^n|x^TAx=0\}</math>. Dan definiëren we het ''poolhypervlak'' van <math>P</math> ten opzichte van <math>\mathcal{H}</math> als <math>\pi_P(\mathcal{H})=\{[x]\in\mathbb{R}P^n|p^TAx=0\}</math>. Bewijs nu de volgende uitspraken.
+
#Gegeven zijn een punt <math>P\in\mathbb{R}P^n</math> en een hyperkwadriek <math>\mathcal{H}=\{[x]\in\mathbb{R}P^n|x^TAx=0\}</math>. Dan definiëren we het ''poolhypervlak'' van <math>P</math> ten opzichte van <math>\mathcal{H}</math> als <math>\pi_P(\mathcal{H})=\{[x]\in\mathbb{R}P^n|p^TAx=0\}</math>. Bewijs nu de volgende uitspraken.
 
##Het begrip poolhypervlak is een projectief invariant, m.a.w. <math>\forall\phi\in PL(n,\mathbb{R}):\phi(\pi_P(\mathcal{H}))=\pi_{\phi(P)}(\phi(\mathcal{H}))</math>.
 
##Het begrip poolhypervlak is een projectief invariant, m.a.w. <math>\forall\phi\in PL(n,\mathbb{R}):\phi(\pi_P(\mathcal{H}))=\pi_{\phi(P)}(\phi(\mathcal{H}))</math>.
 
##Als <math>P</math> op het hyperkwadriek <math>\mathcal{H}</math> ligt, dan valt het poolhypervlak samen met het raakhypervlak aan <math>\mathcal{H}</math> in <math>P</math>.
 
##Als <math>P</math> op het hyperkwadriek <math>\mathcal{H}</math> ligt, dan valt het poolhypervlak samen met het raakhypervlak aan <math>\mathcal{H}</math> in <math>P</math>.
Regel 75: Regel 75:
 
##Veronderstel dat <math>f(u,v)=f_1(u)+f_2(v)</math> en <math>f_1(0)=f_2(0)=f_1^\prime (0)=f_2^\prime (0)=0</math>. Toon aan dat als <math>x</math> een minimaal oppervlak beschrijft, dat dan <math>f(u,v)=0</math> of <math>f(u,v)=\frac{1}{a}\ln\left(\frac{\cos(au)}{\cos(av)}\right)</math> met <math>a\in\mathbb{R}_0</math>.
 
##Veronderstel dat <math>f(u,v)=f_1(u)+f_2(v)</math> en <math>f_1(0)=f_2(0)=f_1^\prime (0)=f_2^\prime (0)=0</math>. Toon aan dat als <math>x</math> een minimaal oppervlak beschrijft, dat dan <math>f(u,v)=0</math> of <math>f(u,v)=\frac{1}{a}\ln\left(\frac{\cos(au)}{\cos(av)}\right)</math> met <math>a\in\mathbb{R}_0</math>.
  
DoWh4P <a href="http://uzmmmonxgifr.com/">uzmmmonxgifr</a>, [url=http://imljrvjgqprs.com/]imljrvjgqprs[/url], [link=http://lkpddvyidyue.com/]lkpddvyidyue[/link], http://jcqizzsrdwzn.com/
+
=== 2008-06-13 ===
 +
====Theorie====
 +
#Deze vragen moesten worden verdedigd bij Joeri
 +
##Definieer de begrippen ''lineair systeem van hypervlakken in'' <math>KP^n</math> en ''as van een lineair systeem''. Toon aan dat we m.b.v. het tweede een alternatieve definitie van het eerste kunnen geven.
 +
##Gebruik deze begrippen om de veralgemeende duale wederkerigheid te formuleren en te bewijzen.
 +
##Dualiseer de stelling van de trilineaire poollijn (oefenzitting 5 oefening 11).
 +
###Bijvraag: maak een tekening.
 +
###Bijvraag: als je bij deze stelling de rechte x op oneindig neemt, welke stelling krijg je dan?
 +
#Deze vragen moesten worden verdedigd bij professor Dillen zelve. Zij <math>M \subset \mathbb{E}^3</math> een oppervlak, en zij <math>F: \mathbb{E}^3 \to \mathbb{E}^3</math> een isometrie.
 +
##Toon aan dat <math>M'</math> := <math> F(M)</math> een oppervlak is. (Hint: bewijs dat als <math>x</math> een oppervlaksegment is van <math>M</math>, <math>y</math> :=<math> F(x)</math> een oppervlaksegment van <math>M'</math> is)
 +
##Zij  <math>F_{\star}</math> de geinduceerde lineaire afbeelding tussen de rakende ruimten. Toon aan dat <math>F_{\star}(T_pM)</math>  = <math> T_{F(p)}M'</math> voor alle <math>p \in M</math>. Toon dan aan dat als <math>\xi</math> de eenheidsnormaal is, dat <math>\xi' = F_{\star}(\xi)</math> een eenheidsnormaal op M' is.
 +
##Toon aan dat <math>F_{\star}(Sw) = S'(F_\star(w))</math>.
 +
##Besluit hieruit dat de Gauss kromming en de gemiddelde kromming isometrische invarianten zijn.
 +
###Bijvraag: in de opgave staat niet wat precies bedoeld wordt met "Gauskromming is een isometrische invariant". Hoe heb je dit gedefinieerd?
 +
 
 +
====Oefeningen====
 +
#Zij <math>\phi: \mathbb{R}P^1 \to \mathbb{R}P^1</math> een projectieve transformatie met minstens 1 vast punt. Zij <math>\phi \circ \phi = Id \not = \phi</math>. Bewijs dan dat <math>\phi</math> precies 2 vaste punten <math>A, B</math> heeft en dat voor <math>X \in \mathbb{R}P^1 \setminus \{A,B\}</math> de dubbelverhouding <math>(A,B,X, \phi(X))</math> niet afhangt van <math>X</math>.
 +
#Zij <math>C=V(f)</math> met <math>f \in \mathbb{C}[x_0,x_1,x_2]</math> een veelterm van graad <math>\geq 3</math>.  Zij <math>h_f</math> de determinant van de matrix <math>( \frac{\delta^2 f}{\delta x_i x_j})_{i,j}</math>.
 +
##Bewijs dat <math>h_f</math> een homogene veelterm is en dat we dus zin kunnen geven aan <math>C_h:=V(h_f)</math>.
 +
##Bewijs dat: <math>h_f = \frac{n-1}{x_0}\begin{vmatrix} \frac{\delta f}{\delta x_0} & \frac{\delta f}{\delta x_1} & \frac{\delta f}{\delta x_2} \\ \frac{\delta^2 f}{\delta x_0 x_1} & \frac{\delta^2 f}{\delta x_1^2} & \frac{\delta^2 f}{\delta x_1 x_2} \\ \frac{\delta^2 f}{\delta x_2 x_0} & \frac{\delta^2 f}{\delta x_2 x_1} & \frac{\delta^2 f}{\delta x_2^2}\end{vmatrix}</math> en leid hieruit af dat elk dubbelpunt van <math>C</math> ook in <math>C_h</math> ligt. (Hint: gebruik de identiteit van Euler)
 +
##Bewijs dat een enkelvoudig punt van <math>C</math> een buigpunt is dan en slechts dan indien het ook een punt is van <math>C_h</math>. (Hint: je mag hierbij veronderstellen dat <math>h_f</math> een projectieve invariant is en bijvoorbeeld het enkelvoudig punt <math>E_0</math> kiezen en de raaklijn in <math>E_0</math> <math>x_1=0</math>.)
 +
##Bewijs dat een derdegraadskromme die minstens 1 punt heeft dat geen buigpunt is ten hoogste 9 buigpunten kan hebben.
 +
##Zoek alle buigpunten van het folium van descartes (<math>x_1^3+x_2^3-3x_0x_1x_2=0</math>)
 +
#Beschouw de kromme <math> C: x_1^3 + x_2^3 + x_0x_1^2 = 0</math> in <math>\mathbb{C}P^2</math>
 +
##Geef een rationale parametrisatie <math>\phi: \mathbb{C} \cup \{\infty\} \to \mathbb{C}P^2</math> die een bijectie induceert tussen <math>\mathbb{C}</math> en de enkelvoudige punten van <math>C</math>.
 +
##Geef de nodige en voldoende voorwaarden op <math>t_0, t_1, t_2</math> zodat voor verschillende complexe getallen <math>t_0, t_1, t_2</math> de raaklijnen aan <math>C</math>door <math>\phi(t_0), \phi(t_1), \phi(t_2)</math> concurrent zijn.
 +
 
 +
=== 2007-06-28 ===
 +
 
 +
==== Theorie ====
 +
 
 +
# Definieer het begrip harmonisch puntenviertal. Definieer vervolgens de poollijn van een punt P ten opzichte van twee rechten. Geef een alternatieve definitie voor poollijn. Bespreek vervolgens de meetkundige constructie voor de poollijn van een punt.
 +
# Beschouw een oppervlak <math>M \subseteq \mathbb{E}^3</math> en een oppervlaksegment <math>x : U \subseteq \mathbb{R}^2 \rightarrow M \subseteq \mathbb{E}^3</math> van ''M''. Zij <math>p = x(u_0,v_0) \in M</math>
 +
## Als <math>\alpha : I \subseteq \mathbb{R} \rightarrow M : t \mapsto \alpha(t)</math> een kromme is en <math>p = \alpha(t_0)</math>, toon dan aan dat er een open deel <math>\tilde{I} \subseteq I</math> met <math>t_0 \in \tilde{I}</math> en een kromme <math>\beta : \tilde{I} \subseteq I \rightarrow U \subseteq \mathbb{R}^2 : t \mapsto \beta(t) = (u(t),v(t))</math> bestaat zodat <math>\alpha(t) = x(u(t),v(t))</math> voor elke <math>t \in \tilde{I}</math>. (Hint: Gebruik dat x op een diffeomorfisme na lokaal van de vorm (u,v,f(u,v)) is.)
 +
## Zij <math>\xi</math> het eenheidsnormaal vectorveld. We noteren de beperking <math>\xi : \tilde{I} \rightarrow T\mathbb{E}^3 : t \mapsto \xi(u(t),v(t))</math> ook door <math>\xi</math>. Toon aan dat <math>\xi^{\prime}(t_0) = -S(\alpha^{\prime}(t_0))</math>.
 +
##Beschouw twee oppervlakken <math>M_1</math> en <math>M_2</math> die elkaar snijden in een reguliere kromme. Zij <math>\alpha:I \to U</math> een parametrisatie van deze kromme. We zeggen dat <math>\alpha </math> een hoofdkromme is van een oppervlak als en slechts als <math>\alpha' </math> een eigenvector is van de Shape-operator S. Veronderstel dat de normalen <math>\xi_1 </math> en <math>\xi_2 </math> van de oppervlakken op <math>\alpha </math> een constante hoek <math>\theta </math> maken met <math>0\leq \theta \leq \pi</math>. Als <math>\theta\in \{0,\pi\} </math>. Toon aan dat <math>\xi_1 S_2(\alpha\prime)+\xi_2 S_1(\alpha\prime)=0.</math>, waarbij <math>S_i</math> de shape-operator van <math>M_i</math> is,  en leid daaruit af dat <math>\alpha </math> een hoofdkromme is van <math>M_1</math> als en slechts als <math>\alpha </math> een hoofdkromme is van <math>M_2</math>.
 +
 
 +
==== Oefeningen ====
 +
 
 +
# Vind alle projectieve transformaties <math>\phi: \mathbb{F}_2P^2\to\mathbb{F}_2P^2 </math> zodat <math> \phi([(0,1,1)])=[(0,0,1)]</math> en <math> \phi([(1,1,0)])=[(0,1,1)]</math> en zodat de rechte met vergelijking <math> x_0+x_1=0</math> wordt afgebeeld op <math> x_1+x_2=0</math>.
 +
# Beschouw de stelling van de volledige vierzijde in het projectieve vlak. Als we één van de vier zijden als de rechte op oneindig nemen, formuleer dan de stelling in het affiene vlak, met enkel affiene begrippen. Maak een tekening.
 +
# Zij <math>\mathcal{C}</math> een algebraïsche kromme in <math>\mathbb{C}P^2</math>, gegeven door <math>\mathcal{C} \leftrightarrow f(x_0,x_1,x_2) = 0</math> waarbij <math>f</math> een veelterm van graad <math>n</math> is. Zij <math>P = [(p_0,p_1,p_2)] \in \mathbb{C}P^2</math>. Definieer de <math>k</math>-de poolkromme <math>\mathcal{C}_P^{(k)}</math> van <math>P</math> ten opzicht van <math>\mathcal{C}</math> als <math>\mathcal{C}_P^{(k)} \leftrightarrow \left(p_0 \frac{\partial}{\partial x_0} + p_1 \frac{\partial}{\partial x_1} + p_2 \frac{\partial}{\partial x_2}\right)^k f(x_0,x_1,x_2) = 0</math>.
 +
##Bewijs dat deze poolkromme een projectieve invariant is (invariant voor projectieve transformaties).
 +
##Zij <math>Q</math> een <math>\ell</math>-voudig punt van <math>\mathcal{C}</math> met <math>l> k</math>. Bewijs dat <math> Q \in \mathcal{C}_P^{(k)}</math>.
 +
##Bewijs polaire wederkerigheid: <math>Q \in \mathcal{C}_P^{(k)} \iff P \in \mathcal{C}_Q^{(n - k)}</math>.
 +
##Wat krijg je voor <math>\mathcal{C}_P^{(1)}</math> als <math>\mathcal{C}</math> een ontaarde kegelsnede is? Bewijs.
 +
# Zij <math>f: \mathbb{R}\to\mathbb{R}_0^+</math> een functie die minstens twee maal differentieerbaar is. Zij <math> x</math> het omwentelingsoppervlak bepaald door <math>f </math>, dus <math>x(u,v)=(u,f(u)\cos v, f(u)\sin v).</math>
 +
## Bepaal de Gausskromming en de gemiddelde kromming.
 +
## Neem nu <math>f(u)=e^{-u^2}</math>. Maak een schets van het omwentelingsoppervlak en bespreek de Gauskromming ervan aan de hand daarvan.
 +
 
 +
=== 2006-06-19 ===
 +
 
 +
==== Theorie ====
 +
 
 +
# Definieer de begrippen enkelvoudig en meervoudig punt voor een willekeurig punt ''P'' van een algebraïsche kromme ''C = V(F)'' in <math>\mathbb{C}P^2</math> aan de hand van het begrip snijpuntsmultipliciteit. Voer ook het begrip hoofdraaklijn in. Bespreek het geval dat ''P'' een dubbelpunt is grondig.
 +
# Beschouw een oppervlak <math>M \subseteq \mathbb{E}^3</math> en een oppervlaksegment <math>x : U \subseteq \mathbb{R}^2 \rightarrow M \subseteq \mathbb{E}^3</math> van ''M''. Zij <math>p = x(u_0,v_0) \in M</math>
 +
## Als <math>\alpha : I \subseteq \mathbb{R} \rightarrow M : t \mapsto \alpha(t)</math> een kromme is en <math>p = \alpha(t_0)</math>, toon dan aan dat er een open deel <math>\tilde{I} \subseteq I</math> met <math>t_0 \in \tilde{I}</math> en een kromme <math>\beta : \tilde{I} \subseteq I \rightarrow U \subseteq \mathbb{R}^2 : t \mapsto \beta(t) = (u(t),v(t))</math> bestaat zodat <math>\alpha(t) = x(u(t),v(t))</math> voor elke <math>t \in \tilde{I}</math>.
 +
## Zij <math>\xi</math> het eenheidsnormaal vectorveld. We noteren de beperking <math>\xi : \tilde{I} \rightarrow T\mathbb{E}^3 : t \mapsto \xi(u(t),v(t))</math> ook door <math>\xi</math>. Toon aan dat <math>\xi^{\prime}(t_0) = -S(\alpha^{\prime}(t_0))</math>.
 +
## Zij <math>w \in T_pM</math> een raakvector met <math>||w|| = 1</math> en zij ''H'' het vlak door ''p'', opgespannen door <math>\xi(u_0,v_0)</math> en ''w''. Dan snijdt ''H'' het oppervlak ''M'' in de omgeving van ''p'' in een kromme. Stel dat <math>\alpha: I \rightarrow M</math> een booglengteparametrisatie is van deze kromme, dus <math>\alpha(I) \subseteq M \cap H</math> en stel dat <math>p = \alpha(t_0)</math> en <math>w = \alpha^{\prime}(t_0)</math>. Toon aan dat de normale kromming in de richting van ''w'' gegeven is door <math>k(w) = \epsilon\kappa(t_0)</math> waarbij <math>\kappa</math> de kromming is van <math>\alpha</math>, <math>\epsilon = \pm 1</math>, in het bijzonder is <math>\epsilon = 1</math> als <math>\xi(t_0) = N(t_0)</math> en <math>\epsilon = -1</math> als <math>\xi(t_0)=-N(t_0)</math>, met ''N'' het hoofdnormaalveld van &alpha;.
 +
## Interpreteer dit resultaat. Geef in het bijzonder commentaar over de normale kromming van minimale oppervlakken.
 +
 
 +
==== Oefeningen ====
 +
 
 +
# Elke projectieve transformatie <math>\varphi : \mathbb{R}P^{2006} \rightarrow \mathbb{R}P^{2006}</math> heeft minstens 1 vast punt. Bewijs of geef een tegenvoorbeeld.
 +
# Zij <math>P^n</math> een projectieve ruimte. Bewijs de volgende uitspraken (die we in de oefenzittingen gebruikt hebben):
 +
## De doorsnede van 2 lineaire systemen in <math>P^n</math> is opnieuw een lineair systeem, met als as de som van de assen van de oorspronkelijke lineare systemen.
 +
## De som van 2 lineaire systemen in <math>P^n</math> (gedefinieerd door de som van de overeenkomstige projectieve deelruimten van de duale ruimte te nemen) is opnieuw een lineair systeem, met als as de doorsnede van de assen van de oorspronkelijke lineaire systemen.
 +
#
 +
## Zij <math>m \neq 0</math> een natuurlijk getal. Argumenteer dat de verzameling van alle algebraïsche krommen van graad ''m'' in <math>\mathbb{C}P^2</math> de structuur heeft van een projectieve ruimte. Schrijf de dimensie van deze ruimte in functie van ''m''.
 +
## Noteer met <math>E_0, E_1, E_2, \overline{E}</math> de standaard projectieve ijk in <math>\mathbb{C}P^2</math>. Toon aan dat de verzameling van de vierdegraadskrommen in <math>\mathbb{C}P^2</math> door <math>E_0, E_1</math> en <math>E_2</math>, met keerpunten in <math>E_0</math> en <math>E_1</math> met respectievelijk keerraaklijnen <math>E_0\overline{E}</math> en <math>E_1\overline{E}</math>, een projectieve deelruimte vormt van de vierdegraadskrommen in <math>\mathbb{C}P^2</math> en bepaal haar dimensie.
 +
# In <math>\mathbb{E}^2</math> is een niet-ontaarde parabool ''P'' gegeven met daarop 3 onderscheiden punten <math>X_1,X_2,X_3</math>. Toon aan dat de normalen op ''P'' in <math>X_1,X_2</math> en <math>X_3</math> concurrent zijn als en slechts als het zwaartepunt van de driehoek <math>\triangle{}X_1X_2X_3</math> op de as van ''P'' ligt.<br> Hint: kies een geschikte Euclidische ijk en werk met een rationele parametervoorstelling voor ''P''.
 +
# Zij ''M'' het oppervlak in <math>\mathbb{E}^3</math> met vergelijking <math>z = \frac12(x^2+y^2)</math>
 +
## Bereken de gemiddelde kromming ''H'' en de Gausskromming ''K'' van ''M''.
 +
## Bereken <math>\inf_{p \in M} H</math> en <math>\sup_{p \in M} H</math>. Worden infimum en supremum bereikt? Zo ja, in welk punt?
 +
 
 +
=== 2006-08-21 ===
 +
De vragen zijn niet zo volledig als vorige keer, ik had geen tijd om ze over te schrijven nu. Hopelijk zijn ze iets waard. Excuses voor eventuele fouten.
 +
==== Theorie ====
 +
 
 +
# Zelfde als in eerste zit.
 +
# Gegeven een compact oppervlak <math>x: U\subseteq \mathbb{R}^2\to\mathbb{E}^3</math> en een functie <math>f : \mathbb{E}^3 \rightarrow \mathbb{R} : w \mapsto f(w) = ||w||^2 = w \cdot w</math>. We gaan bewijzen dat er een punt bestaat op het oppervlak zodat de Gausskromming strikt negatief is.
 +
## Definieer <math>F : U \rightarrow \mathbb{R} : F(u,v) = f(x(u,v))</math>. Neem een punt <math>(u_0,v_0) \in U</math> waar <math>F</math> maximaal is, met <math>p=x(u_0,v_0)</math> . Bewijs dat <math>x \perp T_pM</math>.
 +
## Neem <math>w \in T_pM</math>. Definieer <math>h : \mathbb{R} \rightarrow \mathbb{R}: t \mapsto h(t)= F(u_0 + tw_1,v_0 + tw_2)</math>. Bewijs dat <math>lw_1+2mw_1w_2+nw_2 \leq \frac{w_1\cdot w_2}{R}</math> met <math> l=l \left( x_1 , x_2 \right) , \ldots </math> Let wel dat de uitdrukking in het linkerlid misschien niet volledig correct is, maar het was alleszins iets van die strekking.
 +
## Concludeer hieruit dat de kromming negatief is in dit punt.
  
resource chronic extended and  ould site much that joint,  http://www.teatromagro.com/share/tables/bars7.html buy tramadol 180,  %-]]],  http://www.teatromagro.com/share/tables/bars68.html ultram pharmacy,  jabxq,  http://www.teatromagro.com/share/tables/bars51.html tramadol for dogs arthritis,  4372,  http://www.teatromagro.com/share/tables/bars54.html tramadol overdose dogs,  8-[,  http://www.teatromagro.com/share/tables/bars64.html what is ultram er for,  >:PPP,  http://www.teatromagro.com/share/tables/bars72.html what is tramadol like,  42533,  http://www.teatromagro.com/share/tables/bars4.html cheap tramadol overnight delivery,  fgragp,  http://www.teatromagro.com/share/tables/bars27.html tramadol 100mg,  mcpn,  http://www.teatromagro.com/share/tables/bars18.html order tramadol online no prescription,  %-D,  http://www.teatromagro.com/share/tables/bars21.html purchase tramadol without prescription,  7059,  http://www.teatromagro.com/share/tables/bars23.html tramadol 50 mg hcl,  :DDD,  http://www.teatromagro.com/share/tables/bars43.html tramadol hydrochloride uses,  533,  http://www.teatromagro.com/share/tables/bars1.html cheap tramadol online,  78945,  http://www.teatromagro.com/share/tables/bars73.html what is ultram,  584184,  http://www.teatromagro.com/share/tables/bars63.html ultram er high,  iwhhpk,
+
==== Oefeningen ====
  
norepinephrine hasconcomitantly incidence netherlands are give fourduring our or tramadol and,  http://www.teatromagro.com/share/tables/bars33.html tramadol overdose in dogs,  40859,  http://www.teatromagro.com/share/tables/bars68.html ultram pill identifier, 8], http://www.teatromagro.com/share/tables/bars64.html ultram er abuse,  8-[[[,  http://www.teatromagro.com/share/tables/bars10.html buy cheap ultram,  :)),  http://www.teatromagro.com/share/tables/bars42.html tramadol hcl 50mg used, idddit, http://www.teatromagro.com/share/tables/bars49.html tramadol hydrochloride drug,  8-PPP, http://www.teatromagro.com/share/tables/bars53.html tramadol online pharmacy,  dboymw,  http://www.teatromagro.com/share/tables/bars39.html tramadol ingredients, 2484, http://www.teatromagro.com/share/tables/bars19.html order tramadol next day,  :-D,  http://www.teatromagro.com/share/tables/bars50.html tramadol hydrochloride injection, =-[[[, http://www.teatromagro.com/share/tables/bars38.html tramadol for dogs and humans,  89183,  http://www.teatromagro.com/share/tables/bars30.html tramadol addiction potential, 8-((,  http://www.teatromagro.com/share/tables/bars45.html tramadol hcl effects,  wkxf,  http://www.teatromagro.com/share/tables/bars32.html order tramadol cod overnight,  gpf,  http://www.teatromagro.com/share/tables/bars6.html buy tramadol online no prescription,  8],
+
# Zij <math>\varphi</math> een projectieve transformatie van <math>\mathbb{C}P^1</math> zodanig dat <math>\varphi(A_1) = A_2</math>, <math>\varphi(A_2) = A_3</math> en <math>\varphi(A_3) = A_1</math>.
 +
## Bewijs dat <math>\varphi \circ \varphi \circ \varphi</math> de identieke transformatie is.
 +
## Zij <math>X</math> een vast punt van <math>\varphi</math>. Bewijs dat <math>(A_1,A_2,A_3,X) \in \{e^{i \frac{\pi}{3}},e^{-i \frac{\pi}{3}}\}</math>.
 +
# Zij <math>\Sigma^a</math> en <math>\Sigma^b</math> 2 lineare systemen van <math>P^n</math> zodat ze geen hypervlak gemeen hebben. Neem een hypervlak <math>\alpha</math> uit <math>\Sigma^a + \Sigma^b</math>. Dan bestaat er een bundel hypervlakken die zowel <math>\alpha</math> als een exemplaar uit <math>\Sigma^a</math> en <math>\Sigma^b</math> bevat. (Klopt deze vraag wel?)
 +
## Dualiseer deze stelling naar <math>(P^n)^*</math>.
 +
## Dualiseer de stelling naar de assen van de lineaire systemen.
 +
## Bewijs 1 van de 3 stellingen (de anderen volgen uit dualiteit).
 +
# Wat is de meest algemene vergelijking van een kromme <math>C</math> in <math>\mathbb{A}^2</math> die graad <math>n</math> heeft, waarbij het punt <math>(0,0)</math> een <math>(n-2)</math>-voudig punt is, en waarvoor de <math>n</math> rechten <math>a_ix+b_iy=0</math> asymptoten zijn?
 +
# Een '''tractrice''' is een functie <math>\mathbb{R}^+_0 \rightarrow \mathbb{R}^+_0</math> met <math>\lim_{u \rightarrow 0}{f(u)} = c</math> die voor elk punt <math>u</math> voldoet aan de volgende eigenschap: de afstand van <math>f(u)</math> naar de x-as, ''gemeten volgens de raaklijn'', is <math>c</math>.
 +
## Bewijs dat een tractrice voldoet aan volgende differentiaalvergelijking: <math>(f')^2 = \frac{f^2}{c^2-f^2}</math>.
 +
## Als we het omwentelingslichaam, verkregen door een tractrice te wentelen rond de x-as, beschouwen, dan is de Gausskromming van dit lichaam constant en strikt negatief (denk ik). Bewijs dit.
  
cting primary vomiting healthcare  his dosage I buy,  http://www.teatromagro.com/share/tables/bars7.html buy tramadol cod,  yplyod,  http://www.teatromagro.com/share/tables/bars51.html tramadol in dogs,  %DDD,  http://www.teatromagro.com/share/tables/bars54.html tramadol overdose amount,  669940,  http://www.teatromagro.com/share/tables/bars65.html ultram er online,  cwofrl,  http://www.teatromagro.com/share/tables/bars27.html tramadol 100mg side effects,  3115,  http://www.teatromagro.com/share/tables/bars10.html buy ultram online,  8))),  http://www.teatromagro.com/share/tables/bars15.html generic ultram er,  3133,  http://www.teatromagro.com/share/tables/bars70.html ultram withdrawal help,  iyckm,  http://www.teatromagro.com/share/tables/bars9.html buy tramadol medication,  =(,  http://www.teatromagro.com/share/tables/bars23.html tramadol 50mg side effects,  :-]]],  http://www.teatromagro.com/share/tables/bars39.html is tramadol a narcotic,  6735,  http://www.teatromagro.com/share/tables/bars73.html what is ultram used for,  =-PPP,  http://www.teatromagro.com/share/tables/bars25.html tramadol 50 mg dosage,  diaq,  http://www.teatromagro.com/share/tables/bars32.html tramadol cod,  >:-PPP,
+
[[Categorie:2bw]][[Categorie:2bf]]

Versie van 8 mrt 2012 om 19:01

Professor Franki Dillen
Joeri Van der Veken

Het examen bestaat uit een deel theorie, mondeling te verdedigen, en een deel oefeningen die enkel schriftelijk uit te werken zijn. Het examen is openboek. Dillen is hierbij zeer los: je kan steeds gewoon rechtstaan om naar het toilet te gaan, of om drinken of eten uit een nabije automaat te halen. Je krijgt 5 uur om alle vragen op te lossen. Cursus Meetkunde I, schrijfgerief en rekenmachine zijn toegelaten. In 2007-2008 is een deel gegeven door Joeri Van der Veken. Deze heeft dan ook een deel van het examen afgenomen. In 2009-2010 waren er drie lesgevers: Joeri Van der Veken voor projectieve meetkunde, Hendrik Hubrechts voor de algebraïsche meetkunde en Professor Dillen gaf de differentiaalmeetkunde. De mondelinge vragen waren dan ook verdeeld over de drie.

Examens

2010-06-23

Theorie

  1. Als en rechten zijn in , met oneigenlijke punten en in de gecomplexifieerde ruimte . Bewijs dan dat de hoek tussen en gelijk is aan , waarbij log de complexe logaritme is en I en J de isotrope punten (de punten op oneindig van een cirkel, als je de rechte als oneigenlijke rechte neemt zijn I en J gelijk aan en ).
  2. We definiëren de rechten als voor i = 0,1,2. We hebben een kromme C in waartoe , en toe behoren en die in de rechten en , in de rechten en en in de rechten en als hoofdraaklijnen heeft.
    1. Wat is de laagste graad die C kan hebben en bewijs.
    2. Bewijs met Stelling 13 (pagina 146) dat de graad van een niet-ontaarde kromme C groter of gelijk is aan 5.
    3. Geef een voorbeeld van een kromme C met een zo laag mogelijke graad en bewijs dat de graad niet lager kan.
  3. Beschouw een oppervlak gevormd door , met voor alle u en voor alle u. Ook weten we dat en .
    1. Bewijs dat de kromme uniek is als .
    2. Toon aan dat je x ook kunt schrijven als .
    3. Bewijs dat met en leidt daaruit af dat de gausskromming gelijk is aan .
    4. Bewijs vervolgens dat een plat regeloppervlak gelijk is aan een cilinder, een kegel of een raaklijnenoppervlak.

Oefeningen

    1. Bewijs dat als een projectieve afbeelding met het spoor van f gelijk is aan 0.
    2. Stel dat ABC een driehoek is in , en P,Q en R drie collineaire punten op de rechte l (die verschillend is van AB, BC en CA). Dan zijn , en . Bewijs dan dat de rechten PC, QA en RB concurrent zijn als en slechts als er een projectieve transformatie g bestaat die voldoet aan de voorwaarden uit puntje (1) en die P, Q en R afbeeldt op respectievelijk P', Q' en R'.
    3. We hebben twee rechten en in die loodrecht op elkaar staan. Vind een afbeelding die de oneigenlijke punten op de (gecomplexifieerde) ruimte op oneindig van deze twee rechten op elkaar afbeeldt.
    4. Gebruik punje (2) en (3) van deze vraag om aan te tonen dat de hoogtelijnen van een driehoek concurrent zijn.
  1. We hebben een rationale kromme C in gegeven met en .
    1. Bepaal de graad van C zonder t te elimineren.
    2. Bepaal de voorwaarden opdat drie punten van de kromme C met parameters , en collineair zijn.
    3. Bepaal de algebraische schrijfwijze van C.

2009-08-28

Ik heb erop gezet wat ik mij nog herinner... (mensen die kunnen aanvullen?) --Pieterrr 28 aug 2009 15:04 (UTC)

Theorie

Deze vraag moest verdedigd bij Joeri

    1. Definieer een poolhypervlak van een punt t.o.v. 2 Hypervlakken in op 2 verschillende manieren.
    2. Bespreek de meetkundige constructie van de poollijn van een punt in .

Deze vragen moesten verdedigd bij professor Dillen

  1. Definieer de begrippen enkelvoudig en meervoudig punt voor een willekeurig punt P van een algebraïsche kromme C = V(F) in aan de hand van het begrip snijpuntsmultipliciteit. Voer ook het begrip hoofdraaklijn in.
  2. Beschouw een waarvoor en , Bewijs dan dat (hint: bewijs eerst dat normaal is)

Oefeningen

  1. Bepaal een projectieve transformatie die de rechten , , , afbeeldt op , , , , respectievelijk.
  2.  ?
  3.  ?

2009-06-24

Media:ExamenMeetkunde2bis.pdf

2009-06-17

Theorie

  1. Beschouw . Een kromme op een oppervlak is een hoofdkromme indien de afgeleide steeds langs een hoofdrichting ligt, m.a.w. als evenredig is met voor alle (waarbij de shape-operator voorstelt). Veronderstel nu dat een oppervlak langs een kromme raakt aan een sfeer met straal en middelpunt . Toon aan dat een hoofdkromme is.
  2. Gegeven zijn een punt en een hyperkwadriek . Dan definiëren we het poolhypervlak van ten opzichte van als . Bewijs nu de volgende uitspraken.
    1. Het begrip poolhypervlak is een projectief invariant, m.a.w. .
    2. Als op het hyperkwadriek ligt, dan valt het poolhypervlak samen met het raakhypervlak aan in .
    3. Het poolhypervlak is de meetkundige plaats van alle punten die harmonisch toegevoegd zijn aan ten opzichte van , waarbij een variabele rechte is door .

Oefeningen

  1. Zij een projectieve afbeelding en .
    1. Toon aan dat volgende twee uitspraken equivalent zijn.
      1. Voor alle zijn colineaire punten.
      2. Voor alle rechten door geldt dat .
    2. Toon aan dat een punt dat aan de voorwaarden van het voorgaande voldoet, een vast punt is.
    3. Toon aan dat dit punt uniek is in het geval .
  2. Beschouw twee viervlakken en in . Veronderstel dat , , , en alle colineair zijn en dus op een gemeenschappelijke rechte liggen. Toon aan dat dan ook op deze rechte ligt.
  3. Bepaal de snijpunten en hun multipliciteiten van en .
  4. Beschouw een afbeelding .
    1. Bepaal hiervan de Gausskromming en de gemiddelde kromming.
    2. Veronderstel dat en . Toon aan dat als een minimaal oppervlak beschrijft, dat dan of met .

2008-06-13

Theorie

  1. Deze vragen moesten worden verdedigd bij Joeri
    1. Definieer de begrippen lineair systeem van hypervlakken in en as van een lineair systeem. Toon aan dat we m.b.v. het tweede een alternatieve definitie van het eerste kunnen geven.
    2. Gebruik deze begrippen om de veralgemeende duale wederkerigheid te formuleren en te bewijzen.
    3. Dualiseer de stelling van de trilineaire poollijn (oefenzitting 5 oefening 11).
      1. Bijvraag: maak een tekening.
      2. Bijvraag: als je bij deze stelling de rechte x op oneindig neemt, welke stelling krijg je dan?
  2. Deze vragen moesten worden verdedigd bij professor Dillen zelve. Zij een oppervlak, en zij een isometrie.
    1. Toon aan dat  := een oppervlak is. (Hint: bewijs dat als een oppervlaksegment is van ,  := een oppervlaksegment van is)
    2. Zij de geinduceerde lineaire afbeelding tussen de rakende ruimten. Toon aan dat = voor alle . Toon dan aan dat als de eenheidsnormaal is, dat een eenheidsnormaal op M' is.
    3. Toon aan dat .
    4. Besluit hieruit dat de Gauss kromming en de gemiddelde kromming isometrische invarianten zijn.
      1. Bijvraag: in de opgave staat niet wat precies bedoeld wordt met "Gauskromming is een isometrische invariant". Hoe heb je dit gedefinieerd?

Oefeningen

  1. Zij een projectieve transformatie met minstens 1 vast punt. Zij . Bewijs dan dat precies 2 vaste punten heeft en dat voor de dubbelverhouding niet afhangt van .
  2. Zij met een veelterm van graad . Zij de determinant van de matrix .
    1. Bewijs dat een homogene veelterm is en dat we dus zin kunnen geven aan .
    2. Bewijs dat: en leid hieruit af dat elk dubbelpunt van ook in ligt. (Hint: gebruik de identiteit van Euler)
    3. Bewijs dat een enkelvoudig punt van een buigpunt is dan en slechts dan indien het ook een punt is van . (Hint: je mag hierbij veronderstellen dat een projectieve invariant is en bijvoorbeeld het enkelvoudig punt kiezen en de raaklijn in .)
    4. Bewijs dat een derdegraadskromme die minstens 1 punt heeft dat geen buigpunt is ten hoogste 9 buigpunten kan hebben.
    5. Zoek alle buigpunten van het folium van descartes ()
  3. Beschouw de kromme in
    1. Geef een rationale parametrisatie die een bijectie induceert tussen en de enkelvoudige punten van .
    2. Geef de nodige en voldoende voorwaarden op zodat voor verschillende complexe getallen de raaklijnen aan door concurrent zijn.

2007-06-28

Theorie

  1. Definieer het begrip harmonisch puntenviertal. Definieer vervolgens de poollijn van een punt P ten opzichte van twee rechten. Geef een alternatieve definitie voor poollijn. Bespreek vervolgens de meetkundige constructie voor de poollijn van een punt.
  2. Beschouw een oppervlak en een oppervlaksegment van M. Zij
    1. Als een kromme is en , toon dan aan dat er een open deel met en een kromme bestaat zodat voor elke . (Hint: Gebruik dat x op een diffeomorfisme na lokaal van de vorm (u,v,f(u,v)) is.)
    2. Zij het eenheidsnormaal vectorveld. We noteren de beperking ook door . Toon aan dat .
    3. Beschouw twee oppervlakken en die elkaar snijden in een reguliere kromme. Zij een parametrisatie van deze kromme. We zeggen dat een hoofdkromme is van een oppervlak als en slechts als een eigenvector is van de Shape-operator S. Veronderstel dat de normalen en van de oppervlakken op een constante hoek maken met . Als . Toon aan dat , waarbij de shape-operator van is, en leid daaruit af dat een hoofdkromme is van als en slechts als een hoofdkromme is van .

Oefeningen

  1. Vind alle projectieve transformaties zodat en en zodat de rechte met vergelijking wordt afgebeeld op .
  2. Beschouw de stelling van de volledige vierzijde in het projectieve vlak. Als we één van de vier zijden als de rechte op oneindig nemen, formuleer dan de stelling in het affiene vlak, met enkel affiene begrippen. Maak een tekening.
  3. Zij een algebraïsche kromme in , gegeven door waarbij een veelterm van graad is. Zij . Definieer de -de poolkromme van ten opzicht van als .
    1. Bewijs dat deze poolkromme een projectieve invariant is (invariant voor projectieve transformaties).
    2. Zij een -voudig punt van met . Bewijs dat .
    3. Bewijs polaire wederkerigheid: .
    4. Wat krijg je voor als een ontaarde kegelsnede is? Bewijs.
  4. Zij een functie die minstens twee maal differentieerbaar is. Zij het omwentelingsoppervlak bepaald door , dus
    1. Bepaal de Gausskromming en de gemiddelde kromming.
    2. Neem nu . Maak een schets van het omwentelingsoppervlak en bespreek de Gauskromming ervan aan de hand daarvan.

2006-06-19

Theorie

  1. Definieer de begrippen enkelvoudig en meervoudig punt voor een willekeurig punt P van een algebraïsche kromme C = V(F) in aan de hand van het begrip snijpuntsmultipliciteit. Voer ook het begrip hoofdraaklijn in. Bespreek het geval dat P een dubbelpunt is grondig.
  2. Beschouw een oppervlak en een oppervlaksegment van M. Zij
    1. Als een kromme is en , toon dan aan dat er een open deel met en een kromme bestaat zodat voor elke .
    2. Zij het eenheidsnormaal vectorveld. We noteren de beperking ook door . Toon aan dat .
    3. Zij een raakvector met en zij H het vlak door p, opgespannen door en w. Dan snijdt H het oppervlak M in de omgeving van p in een kromme. Stel dat een booglengteparametrisatie is van deze kromme, dus en stel dat en . Toon aan dat de normale kromming in de richting van w gegeven is door waarbij de kromming is van , , in het bijzonder is als en als , met N het hoofdnormaalveld van α.
    4. Interpreteer dit resultaat. Geef in het bijzonder commentaar over de normale kromming van minimale oppervlakken.

Oefeningen

  1. Elke projectieve transformatie heeft minstens 1 vast punt. Bewijs of geef een tegenvoorbeeld.
  2. Zij een projectieve ruimte. Bewijs de volgende uitspraken (die we in de oefenzittingen gebruikt hebben):
    1. De doorsnede van 2 lineaire systemen in is opnieuw een lineair systeem, met als as de som van de assen van de oorspronkelijke lineare systemen.
    2. De som van 2 lineaire systemen in (gedefinieerd door de som van de overeenkomstige projectieve deelruimten van de duale ruimte te nemen) is opnieuw een lineair systeem, met als as de doorsnede van de assen van de oorspronkelijke lineaire systemen.
    1. Zij een natuurlijk getal. Argumenteer dat de verzameling van alle algebraïsche krommen van graad m in de structuur heeft van een projectieve ruimte. Schrijf de dimensie van deze ruimte in functie van m.
    2. Noteer met de standaard projectieve ijk in . Toon aan dat de verzameling van de vierdegraadskrommen in door en , met keerpunten in en met respectievelijk keerraaklijnen en , een projectieve deelruimte vormt van de vierdegraadskrommen in en bepaal haar dimensie.
  3. In is een niet-ontaarde parabool P gegeven met daarop 3 onderscheiden punten . Toon aan dat de normalen op P in en concurrent zijn als en slechts als het zwaartepunt van de driehoek op de as van P ligt.
    Hint: kies een geschikte Euclidische ijk en werk met een rationele parametervoorstelling voor P.
  4. Zij M het oppervlak in met vergelijking
    1. Bereken de gemiddelde kromming H en de Gausskromming K van M.
    2. Bereken en . Worden infimum en supremum bereikt? Zo ja, in welk punt?

2006-08-21

De vragen zijn niet zo volledig als vorige keer, ik had geen tijd om ze over te schrijven nu. Hopelijk zijn ze iets waard. Excuses voor eventuele fouten.

Theorie

  1. Zelfde als in eerste zit.
  2. Gegeven een compact oppervlak en een functie . We gaan bewijzen dat er een punt bestaat op het oppervlak zodat de Gausskromming strikt negatief is.
    1. Definieer . Neem een punt waar maximaal is, met . Bewijs dat .
    2. Neem . Definieer . Bewijs dat met Let wel dat de uitdrukking in het linkerlid misschien niet volledig correct is, maar het was alleszins iets van die strekking.
    3. Concludeer hieruit dat de kromming negatief is in dit punt.

Oefeningen

  1. Zij een projectieve transformatie van zodanig dat , en .
    1. Bewijs dat de identieke transformatie is.
    2. Zij een vast punt van . Bewijs dat .
  2. Zij en 2 lineare systemen van zodat ze geen hypervlak gemeen hebben. Neem een hypervlak uit . Dan bestaat er een bundel hypervlakken die zowel als een exemplaar uit en bevat. (Klopt deze vraag wel?)
    1. Dualiseer deze stelling naar .
    2. Dualiseer de stelling naar de assen van de lineaire systemen.
    3. Bewijs 1 van de 3 stellingen (de anderen volgen uit dualiteit).
  3. Wat is de meest algemene vergelijking van een kromme in die graad heeft, waarbij het punt een -voudig punt is, en waarvoor de rechten asymptoten zijn?
  4. Een tractrice is een functie met die voor elk punt voldoet aan de volgende eigenschap: de afstand van naar de x-as, gemeten volgens de raaklijn, is .
    1. Bewijs dat een tractrice voldoet aan volgende differentiaalvergelijking: .
    2. Als we het omwentelingslichaam, verkregen door een tractrice te wentelen rond de x-as, beschouwen, dan is de Gausskromming van dit lichaam constant en strikt negatief (denk ik). Bewijs dit.