[latex]

Hola buenas noches, tengo la siguiente duda:

Si \( p,p' \in \mathbb{K}(x,y) \) son tales que \( C_p \), y \( C_p' \) las cónicas asociadas son equivalentes afínmente, es decir se tiene una aplicación afín f, tal que \( p(x,y) = \lambda p'(f(x,y)) \) para algún \( \lambda \in \mathbb{K} \), entonces si tomamos las ampliaciones proyectivas de \( p \),\( p' \) respectivamente como \( p^*(x,y,z)=z^2p(\displaystyle\frac{x}{z},\displaystyle\frac{x}{z}) \), se debe verificar que \( p^* \) y \( p'^* \) son proyectivamente equivalentes,
esto es que para algún otro \( \lambda \in \mathbb{K} \) \( p^*(x,y,z)=z^2\lambda p(\displaystyle\frac{x}{z},\displaystyle\frac{y}{z}) = z^2 \lambda p'(f(\displaystyle\frac{x}{z},\displaystyle\frac{y}{z})) \underbrace{=}_{?} \lambda p'^*(\widetilde{f}(x,y,z)) \), mi pregunta es en este caso como se define \( \widetilde{f} \).

Saludos

[Luis Fuentes]

Hola

Hola buenas noches, tengo la siguiente duda:

Si \( p,p' \in \mathbb{K}(x,y) \) son tales que \( C_p \), y \( C_p' \) las cónicas asociadas son equivalentes afínmente, es decir se tiene una aplicación afín f, tal que \( p(x,y) = \lambda p'(f(x,y)) \) para algún \( \lambda \in \mathbb{K} \), entonces si tomamos las ampliaciones proyectivas de \( p \),\( p' \) respectivamente como \( p^*(x,y,z)=z^2p(\displaystyle\frac{x}{z},\displaystyle\frac{x}{z}) \), se debe verificar que \( p^* \) y \( p'^* \) son proyectivamente equivalentes,
esto es que para algún otro \( \lambda \in \mathbb{K} \) \( p^*(x,y,z)=z^2\lambda p(\displaystyle\frac{x}{z},\displaystyle\frac{y}{z}) = z^2 \lambda p'(f(\displaystyle\frac{x}{z},\displaystyle\frac{y}{z})) \underbrace{=}_{?} \lambda p'^*(\widetilde{f}(x,y,z)) \), mi pregunta es en este caso como se define \( \widetilde{f} \).

Saludos

Si tienes una aplicación afín en \( \Bbb R^2 \) se escribe matricialmente como:

\( f\begin{pmatrix}x\\y\\\end{pmatrix}=\begin{pmatrix}a\\b\\\end{pmatrix}+\begin{pmatrix}c&d\\p&q\\\end{pmatrix}\begin{pmatrix}x\\y\\\end{pmatrix} \)

Equivalentemente:

\( f\begin{pmatrix}x\\y\\1\\\end{pmatrix}=\begin{pmatrix}c&d&a\\p&q&b\\0&0&1\\\end{pmatrix}\begin{pmatrix}x\\y\\1\\\end{pmatrix} \)

Entonces su extensión al plano proyectivo es:

\( \bar f\begin{pmatrix}x\\y\\z\\\end{pmatrix}=\begin{pmatrix}c&d&a\\p&q&b\\0&0&1\\\end{pmatrix}\begin{pmatrix}x\\y\\z\\\end{pmatrix} \)

Saludos.

[latex]

Duda resuelta, muchas gracias

Saludos.