# Lecture 13

Note If a conic in $\mathbb{R}P^{2}$ contains a line, then it is degenerate.

Theorem. Through five points $P_{1},P_{2},P_{3},P_{4},P_{5} \in \mathbb{R}P^{2}$ there exists a conic in $\mathbb{R}P^{2}$.

$i)$ If no four points lie on a line, then the conic is unique.

$ii)$ If no three lie on one line (five points in general position), then the conic is non-degenerate.

Lemma. If a conic contains three collinear points, then it contains the line through these points. Continue reading

# Lecture 12

Definition.
Let $V$ be a vector space over $\mathbb{R}$ (or $\mathbb{C}$). A map
$b\colon V \times V \to \mathbb{R}$ is a symmetric bilinear form, if

1. $b(v,w)=b(w,v) \quad \forall v,w \in V$
2. $b(\alpha_1 v_1 + \alpha_2 v_2,w) = \alpha_1 b(v_1,w) + \alpha_2 b(v_2,w)$ for all $\alpha_1,\alpha_2 \in \mathbb{R}$, $v_1, v_2, w \in V$.

$b$ is non-degenerate, if
$b(v,w)=0 \quad \forall w \in V \Rightarrow v=0\,.$
The corresponding quadratic form is defined by
$q(v)=b(v,v) \quad \forall v \in V\,.$

# Exercise sheet 5

In exercise 2 on sheet 5, the claim to be proven ($\textrm{cr}(y,p,x,q) = -1$) of course refers to the dual construction. (In the primal construction, these 4 lines are not concurrent).

# Emanuel’s office hours

Please participate in the doodle poll about changing Emanuel’s office hours to Monday.

———————————-

According to the poll, Emanuel’s office hours have been changed to Monday, 10:30 – 12, starting from Monday the 26th on. There is also the option to visit Thilo’s office hours on Tuesdays, 13-14.

# Exercise sheet 4

In exercise 3 about the fundamental theorem of affine geometry, it has to be $n > 1$. Otherwise, the statement is obviously false, as for the fundamental theorem of projective geometry.
(The exercise sheet has been updated accordingly)

# Lecture 9

Fundamental Theorem of real projective geometry: Let $f\colon \RP^n \to \RP^n$, $n \ge 2$, be a bijective map that maps lines to lines. Then $f$ is a projective transformation.

Remark: The theorem does not hold for arbitrary fields. For example $f\colon \CP^n \to \CP^n$ ($n \ge 2$) with
$f\left(\sqvector{z_1\\ \vdots\\ z_{n+1}}\right) = \sqvector{\bar z_1\\ \vdots\\ \bar z_{n+1}}$
is a bijective map, mapping complex projective lines to complex projective lines but it is not a projective transformation of $\CP^n$.

# Lecture 8

Theorem (complete quadrilateral). Consider four lines with intersection points $A$, $B$, $C$, $D$, $P$, and $Q$ as shown in the picture. Then the cross-ratio of the intersection points $X$ and $Y$ of the diagonals with the line $PQ$ and $P$ and $Q$ is:

$\cr(P,X,Q,Y)=−1.$

Proof of theorem on complete quadrilateral (multi-ratio).
Consider the multi-ratio with

$P_{1} = Q_{1} = P$, $P_{3} = Q_{3} = Q$, $Q_{2} = X$, $P_{2} = Y$,

where $p$ is the affine coordinates of $P$, $q$ the ones of $Q$ etc.

\begin{align}
-1 &= \mathrm{m}(P, X, Q, P, Y, Q) \\
&= \frac{p-x}{x-q} \frac{q-p}{p-y} \frac{y-q}{q-p} \\
&= \frac{p-x}{x-q} \frac{q-y}{y-p} \\
&= \mathrm{cr}(P, X, Q, Y). \\
\end{align}

$\square$
{"ft_lang_label":"__label__en","ft_lang_prob":0.7403763,"math_prob":0.99996424,"size":3318,"snap":"2023-14-2023-23","text_gpt3_token_len":1070,"char_repetition_ratio":0.1010863,"word_repetition_ratio":0.015151516,"special_character_ratio":0.3342375,"punctuation_ratio":0.1374474,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.99999094,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2023-06-04T18:31:46Z\",\"WARC-Record-ID\":\"<urn:uuid:7e6ca0c8-ae5d-4f52-af41-ad6d9e0a9689>\",\"Content-Length\":\"61656\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:655a634b-1c2b-4f50-b76a-c82013eca2ef>\",\"WARC-Concurrent-To\":\"<urn:uuid:df70081d-f85b-455e-a6f5-c2ef46674360>\",\"WARC-IP-Address\":\"130.149.80.246\",\"WARC-Target-URI\":\"http://dgd.service.tu-berlin.de/wordpress/geometryws12/2012/11/\",\"WARC-Payload-Digest\":\"sha1:677WQRPABIRAR4W6HGIJRSHYICMHXOIY\",\"WARC-Block-Digest\":\"sha1:WF4EWF3D77DW3O6O2GDKR44ILICCJP6Y\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2023/CC-MAIN-2023-23/CC-MAIN-2023-23_segments_1685224650201.19_warc_CC-MAIN-20230604161111-20230604191111-00594.warc.gz\"}"}