diff --git a/ws2022/rav/lecture/rav.pdf b/ws2022/rav/lecture/rav.pdf index 44f45c0..b5ee4b4 100644 Binary files a/ws2022/rav/lecture/rav.pdf and b/ws2022/rav/lecture/rav.pdf differ diff --git a/ws2022/rav/lecture/rav5.pdf b/ws2022/rav/lecture/rav5.pdf index 1c10ca7..678bc75 100644 Binary files a/ws2022/rav/lecture/rav5.pdf and b/ws2022/rav/lecture/rav5.pdf differ diff --git a/ws2022/rav/lecture/rav5.tex b/ws2022/rav/lecture/rav5.tex index 731768f..ba63a41 100644 --- a/ws2022/rav/lecture/rav5.tex +++ b/ws2022/rav/lecture/rav5.tex @@ -50,11 +50,13 @@ (endowed with the Zariski topology) and, for all $U \subseteq V$ open, \[ \mathcal{O}_V(U) \coloneqq - \{ f \colon U \to k \mid \forall x \in U \exists U_x \subseteq - \text{ open neighbourhood of $x$ and polynomials} - P, Q \text{ sucht that } \forall z \in U \cap U_x, + \left\{ f \colon U \to k\ \middle \vert + \begin{array}{l} + \forall x \in U \exists x \in U_x \text{ open}, + P, Q \in k[x_1, \ldots, x_n] \text{ such that }\\ \text{for } z \in U \cap U_x, Q(z) \neq 0 \text{ and } f(z) = \frac{P(z)}{Q(z)} - \} + \end{array} + \right\} .\] \item $(M, \mathcal{C}^{\infty}_M)$ where $M = \varphi^{-1}(0)$ is a non-singular level set of a $\mathcal{C}^{\infty}$