Geometria y Algebra

Tema 1: Geometrı́a, Álgebra y Algoritmos
Miguel Ángel Olalla Acosta

miguelolalla@us.es
Departamento de Álgebra
Universidad de Sevilla
Febrero de 2018
Olalla (Universidad de Sevilla) Tema 1: Geometrı́a, Álgebra y Algoritmos Febrero de 2018 1 / 64

Contenido
1 Polinomios y espacio afı́n
2 Variedades afines
3 Ideales
4 Parametrización de variedades afines
5 Polinomios en una variable

Polinomios y espacio afı́n
Monomio
Definición (Definición 1.1)

Un monomio en x1 , . . . , xn es un producto de la forma
x1α1 · x2α2 · · · xnαn ,
donde todos los exponentes α1 , . . . , αn son enteros no negativos. El grado

total de este monomio es la suma α1 + · · · + αn .

Monomio
Simplificaremos la notación para los monomios de la siguiente forma: sea

α = (α1 , . . . , αn ) una n-upla de enteros no negativos. Entonces
escribiremos
x α = x1α1 · x2α2 · · · xnαn .
Cuando α = (0, . . . , 0) pondremos x α = 1. Por último |α| = α1 + · · · + αn
denotará el grado total del monomio x α .

Polinomio

Un polinomio f en x1 , . . . , xn con coeficientes en un cuerpo k es una
combinación lineal (con coeficientes en k) de monomios. Escribiremos un
polinomio f en la forma
X
f = aα x α , aα ∈ k,
α
donde la suma es sobre un número finito de n-uplas α = (α1 , . . . , αn ). El

conjunto de todos los polinomios en x1 , . . . , xn con coeficientes en k se
denota k[x1 , . . . , xn ].

Polinomio
Cuando trabajemos con polinomios en un pequeño número de variables

normalmente prescindiremos de los subı́ndices. Ası́, los polinomios en una,
dos y tres variables están en k[x], k[x, y ] y k[x, y , z] respectivamente.

Polinomio
Usaremos la siguiente terminologı́a:

Sea f = α aα x α un polinomio de k[x1 , . . . , xn ].
P
(i) Llamamos a cada aα el coeficiente del monomio x α .

(ii) Si aα 6= 0, diremos que aα x α es un término de f .
(iii) El grado total de f 6= 0, denotado deg(f ), es el máximo |α| tal que el
coeficiente aα es no nulo. El grado total del polinomio nulo es
indefinido.

Anillo de polinomios
El conjunto k[x1 , . . . , xn ] es un anillo con la suma y el producto de

polinomios.
Diremos que un polinomio f divide a un polinomio g si existe otro
polinomio h tal que g = fh.

Espacio afı́n

Dados un cuerpo k y un entero positivo n, definimos el espacio afı́n
n-dimensional sobre k al conjunto
k n = {(a1 , . . . , an ) | a1 , . . . , an ∈ k}.
En general, llamaremos recta afı́n a k 1 = k y plano afı́n a k 2 .

Polinomios y funciones
La forma de relacionar los polinomios con P los espacios afines es la

α
siguiente: considerar un polinomio f = α aα x ∈ k[x1 , . . . , xn ] como una
función f : k n → k que a cada (a1 , . . . , an ) ∈ k n le asocia el elemento
f (a1 , . . . , an ) ∈ k que se obtiene al sustituir cada xi por ai en el polinomio.

¿Es f = 0?
Esta naturaleza dual de los polinomios tiene inesperadas consecuencias.

Por ejemplo, la pregunta “¿Es f = 0?” tiene dos posibles interpretaciones
según consideremos f como un polinomio o como una función.
Podemos interpretar la pregunta como “¿es f el polinomio nulo?”, en cuyo
caso nos preguntamos si cada coeficiente aα de f es nulo. O bien podemos
interpretarla como “¿¿es f la función cero?”, es decir, si f (a1 , . . . , an ) = 0
para todo (a1 , . . . , an ) ∈ k n .
Si embargo, ambas cuestiones no son equivalentes, como veremos en el

siguiente ejemplo.

¿Es f = 0?
Consideremos el cuerpo de dos elementos F2 = {0, 1}, tal que 1 + 1 = 0.

Consideremos el polinomio f = x 2 + x ∈ F2 , que evidentemente no es el
polinomio nulo.
Sin embargo, f : F2 → F2 es la función cero, pues f (0) = 0 y
f (1) = 1 + 1 = 0.
Esto no ocurre si el cuerpo k es infinito.

¿Es f = 0?
Proposición (Proposición 1.5)

Sea k un cuerpo infinito y sea f ∈ k[x1 , . . . , xn ]. Entonces f = 0 si y solo
si f : k n → k es la función cero.
Corolario (Corolario 1.6)

Sea k un cuerpo infinito y sean f , g ∈ k[x1 , . . . , xn ]. Entonces f = g en
k[x1 , . . . xn ] si y solo si f : k n → k y g : k n → k son la misma función.

El teorema fundamental de Álgebra
Recordemos una propiedad especial de los polinomios sobre C.

Teorema (Teorema 1.7)
Todo polinomio no constante f ∈ C[x] tiene una raı́z en C.

Variedades afines
Variead afı́n

Sea k un cuerpo y sean f1 , . . . , fs polinomios de k[x1 , . . . , xn ]. Entonces
pongamos
V(f1 , . . . , fs ) = {(a1 , . . . , an ) ∈ k n | fi (a1 , . . . , an ) = 0 ∀1 ≤ i ≤ s}.
Diremos que V(f1 , . . . , fs ) es la variedad afı́n definida por f1 , . . . , fs .
Es decir, una variedad afı́n V(f1 , . . . , fs ) ⊂ k n es el conjunto de todas las

soluciones del sistema de ecuaciones
f1 (x1 , . . . , xn ) = · · · = fs (x1 , . . . , xn ) = 0.
Usaremos las letras V , W , . . . para denotar variedades afines.

Variedades afines
V(x 2 + y 2 − 1)
Veremos a continuación varios ejemplos de variedades afines en R2 y R3 .

La variedad V(x 2 + y 2 − 1) es el cı́rculo de radio 1 centrado en el origen:
Las secciones cónicas estudiadas en otros cursos son variedades afines.

Variedades afines
Grafos de funciones
El grafo de una función polinómica y = f (x) es V(y − f (x)). Aunque no

es obvio, los grafos de las funciones racionales son variedades afines. Por
3
ejemplo, el grafo de y = x x−1 :
es la variedad afı́n V(xy − x 3 + 1).

Variedades afines
Paraboloide de revolución
V(z − x 2 − y 2 )

Variedades afines
Cono
V(z 2 − x 2 − y 2 )

Variedades afines
V(x 2 − y 2 z 2 + z 3 )
V(x 2 − y 2 z 2 + z 3 )

Variedades afines
Cúbica alabeada
V(y − x 2 , z − x 3 )

Variedades afines
Cúbica alabeada
V(y − x 2 , z − x 3 )

Variedades afines
V(xz, yz)
V(xz, yz)

Variedades afines
Unión e interseccción de variedades
Lema (Lema 2.2)

Si V , W ⊂ k n son variedades afines, entonces también lo son V ∪ W y
V ∩ W.
El lema anterior implica que las interesecciones y uniones de un número

finito de variedades afines son también variedades afines.
En el ejemplo anterior V(xz, yz) = V(z) ∪ V(x, y ).

Variedades afines
Algunas cuestiones
Los ejemplos vistos en est sección nos inducen algunas cuestiones

interesantes sobre variedades afines. Sean f1 , . . . , fs ∈ k[x1 , . . . , xn ],
entonces:
(Consistencia) ¿Podemos determinar si V(f1 , . . . , fs ) 6= ∅?
(Finitud) ¿Podemos determinar si V(f1 , . . . , fs ) es finito? En caso
afirmativo ¿podemos encontrar las soluciones explı́citamente?
(Dimensión) ¿Podemos determinar la “dimensión” de V(f1 , . . . , fs )?

Ideales
Ideales

Un subconjunto I ⊂ k[x1 , . . . , xn ] es un ideal de si satisface:
(i) 0 ∈ I .
(ii) Si f , g ∈ I entonces f + g ∈ I .
(iii) Si f ∈ I y h ∈ k[x1 , . . . , xn ] entonces hf ∈ I .

Ideales
Ideal generado

Sean f1 , . . . , fs polinomios de k[x1 , . . . , xn ]. Consideremos
( s )
X
hf1 , . . . , fs i = hi fi h1 , . . . , hs ∈ k[x1 , . . . , xn ] .

i=1
Lema (Lema 4.3)

Si f1 , . . . , fs ∈ k[x1 , . . . , xn ] entonces hf1 , . . . , fs i es un ideal de
k[x1 , . . . , xn ]. Diremos que hf1 , . . . , fs i es el ideal generado por f1 , . . . , fs .

Ideales
Ideales finitamente generados
Decimos que un ideal I es finitamente generado si existen

f1 , . . . , fs ∈ k[x1 , . . . , xn ] tales que I = hf1 , . . . , fs i. Decimos entonces que
f1 , . . . , fs es una base de I .
Veremos más adelante que todo ideal de k[x1 , . . . , xn ] es finitamente
generado (Teorema de la base de Hilbert).

Si f1 , . . . , fs y g1 , . . . , gt son bases del mismo ideal en k[x1 , . . . , xn ], es
decir, hf1 , . . . , fs i = hg1 , . . . , gt i, entonces se tiene
V(f1 , . . . , fs ) = V(g1 , . . . , gt ).

Ideales
Ideal de una variedad

Sea V ⊂ k n una variedad afı́n. Consideremos
I(V ) = {f ∈ k[x1 , . . . , xn ] | f (a1 , . . . , an ) = 0 ∀(a1 , . . . , an ) ∈ V }.
Lema (Lema 4.6)

Si V ⊂ k n es una variedad afı́n, entonces I(V ) ⊂ k[x1 , . . . xn ] es un ideal.
Diremos que I(V ) es el ideal de V .

Ideales
Ideal de una variedad. Ejemplos
Ejemplo
- I({(0, 0)}) = hx, y i.
- Si k es infinito I(k n ) = {0}.
- Si V = V(y − x 2 , z − x 3 ) es la cúbica alabeada entonces
I(V ) = hy − x 2 , z − x 3 i.

Ideales
Algunas propiedades
Observación
Se verifican las siguientes propiedades elementales:
- Sean S y S 0 subconjuntos de k[x1 , . . . xn ]. Entonces S ⊂ S 0 implica
V(S 0 ) ⊂ V(S).
- Sean f1 , . . . , fs ∈ k[x1 , . . . xn ]. Entonces
V(f1 , . . . , fs ) = V(hf1 , . . . , fs i).

Ideales
Teorema de la base de Hilbert
Definición (Anillo noetheriano)

Un anillo se dice noeheriano si todo ideal del anillo es finitamente
generado.
Nota
En adelante supondremos que k es un cuerpo algebraicamente cerrado.
Teorema (Teorema de la base de Hilbert)

Sea k un cuerpo algebraicamente cerrado. El anillo k[x1 , . . . xn ] es
noetheriano.

Ideales
Ideal producto e ideal suma
Definición (Ideal producto)

Sean I , J ⊂ k[x1 , . . . xn ] ideales. Llamamos ideal producto a
IJ = hfg | f ∈ I , g ∈ Ji.
Proposición
P
Sea {Ij } una familia de ideales de k[x1 , . . . xn ]. El conjunto Ij de las
sumas finitas de elementos de los ideales Ij es un ideal llamado ideal suma.

Ideales
Topologı́a de Zariski
Proposición
En las condiciones anteriores se tiene:
(i) I ⊂ J ⇒ V(I ) ⊃ V(J).
(ii) V(0) = k n , V(k[x1 , . . . xn ]) = ∅.
(iii) V(I ) ∪ V(J) = V(IJ) = V(I ∩ J).
P
(iv) ∩V(Ij ) = V( Ij ).
Observación (Topologı́a de Zariski)

De las propiedades (ii), (iii) y (iv) se deduce que las variedades afines V(I )
forman la familia de cerrados de una topologı́a llamada la topologı́a de
Zariski de k n .

Ideales
Teorema de los ceros de Hilbert. Versión débil
Recordemos que k es un cuerpo algebraicamente cerrado.

Teorema (Teorema de los ceros. Versión débil)
Todo ideal I ⊂ k[x1 , . . . xn ] distinto del total tiene un cero en k n .

Ideales
Algunas propiedades
Observación
Se verifican las siguientes propiedades:
- Sean V , W subconjuntos de k n . Entonces V ⊂ W implica
I(V ) ⊃ I(W ).
- I(∅) = k[x1 , . . . xn ], I(k n ) = {0}.
- Sea {Wi } una familia de subconjuntos de k n . I(∪Wi ) = ∩I(Wi ).

Ideales
Radical de un ideal
Definición (Radical de un ideal)

Sea I ⊂ k[x1 , . . . xn ] un ideal. Llamamos radical de I al conjunto
√
I = {f ∈ k[x1 , . . . xn ] | f n ∈ I para algún n}.
Proposición
El radical de un ideal es un ideal.

Ideales
Ideal radical
Definición (Ideal radical)

√
Un ideal I ⊂ k[x1 , . . . xn ] se dice radical si I = I.
Observación
Sea V ⊂ k n , el ideal I(V ) es radical. En particular, si I ⊂ k[x1 , . . . xn ] es
un ideal, se tiene que √
I(V(I )) ⊃ I .

Ideales
Teorema de los ceros de Hilbert. Versión fuerte
Teorema (Teorema de los ceros. Versión fuerte)

√
(i) I(V(I )) = I . En particular, si I es radical, I(V(I )) = I .
(ii) V(I(W )) = W , en la topologı́a de Zariski. En particular, si V es una
variedad afı́n, V(I(V )) = V .

Parametrización de variedades afines
Algunos ejemplos
- Un ejemplo de álgebra lineal:


 x = −1 − 3t,
x + y + z = 1,
y = 2 + 2t,
x + 2y − z = 3.
z = t.

- La circunferencia unidad x 2 + y 2 = 1.
1 − t2

x = ,


1 + t2

x = cos(t),

O bien
y = sin(t). 

 y= 2t
.

1 + t2

Funciones racionales

Sea k un cuerpo. Una función racional en t1 , . . . , tm con coeficientes en k
es un cociente f /g de dos polinomios f , g ∈ k[t1 , . . . , tm ], donde g es no
nulo. Además, dos funciones racionales f /g y f 0 /g 0 son iguales si
g 0 f = gf 0 en k[t1 , . . . , tm ]. Notaremos al conjunto de todas las funciones
racionales en t1 , . . . , tm con coeficientes en k como k(t1 , . . . , tm ).
Observación
El conjunto k(t1 , . . . , tm ) es un cuerpo.

Representación paramétrica racional
Sea la variedad V = V(f1 , . . . , fs ) ⊂ k n . Una representación paramétrica

racional de V consiste en unas funciones racionales
r1 , . . . , rn ∈ k(t1 , . . . , tm ) tales que los puntos dados por


 x1 = r1 (t1 , . . . , tm ),
 x2 = r2 (t1 , . . . , tm ),

..


 .
xn = rn (t1 , . . . , tm )

estén en V . También requeriremos que V sea la variedad “más pequeña”

conteniendo a estos puntos.
Si las funciones r1 , . . . , rn son polinomios diremos que es una
representación paramétrica polinómica.

Representación implı́cita
En contraste, las ecuaciones originales que definen V ,
f1 = · · · = fs = 0,
se llaman representación implı́cita de V .

Las paramétricas permiten dibujar

Para dibujar la variedad V(x 2 − y 2 z 2 + z 3 )
hemos usado las paramétricas
= t(u 2 − t 2 ),

 x
y = u,
z = u2 − t 2.


Dos cuestiones
La utilidad de tener ambos tipos de representaciones sugieren dos

cuestiones:
- Parametrización: ¿Tiene toda variedad afı́n una representación
paramétrica racional?
- Implicitación: ¿Dada una representación paramétrica racional de una
variedad afı́n, podemos encontrar sus ecuaciones implı́citas?
La respuesta a la primera pregunta es no. Se llaman uniracionales las

variedades que tienen representación paramétrica racional. De hecho es
difı́cil saber si una variedad afı́n es o no uniracional.
La respuesta a la segunda pregunta es afirmativa.

Teorı́a de eliminación

x = 1+t
t =1−x
y = 1 + t2
y = 1 + (1 − x)2 V(y − x 2 + 2x − 2).

El teorema de Bézout
Teorema (Teorema de Bézout)

Sea k un cuerpo algebraicamente cerrado y sean C y D dos curvas
proyectivas planas de grados m y n respetivamente. Entonces ambas
curvas se cortan en m · n puntos contando multiplicidad.

La circunferencia unidad

Superficie tangente

Superficie tangente

Superficie tangente
Cúbica alabeda

 x = t
2 3
y −x =z −x =0 y = t2
z = t3

r(t) = (t, t 2 , t 3 ) r0 (t) = (1, 2t, 3t 2 )

Superficie tangente
r(t) + ur0 (t) = (t, t 2 , t 3 ) + u(1, 2t, 3t 2 ) = (t + u, t 2 + 2tu, t 3 + 3t 2 u).

 x = t +u
y = t 2 + 2tu x 3 z − (3/4)x 2 y 2 − (3/2)xyz + y 3 + (1/4)z 2 = 0.
z = t 3 + 3t 2 u


Polinomios en una variable
Término lı́der

Dado un polinomio no nulo f ∈ k[x], pongamos
f = c0 x m + · · · + cm−1 x + cm ,
donde ci ∈ k y c0 6= 0 (es decir, m = deg(f )). Entonces decimos que c0 x m

es el término lı́der de f , escribiremos lt(f ) = c0 x m .

Algoritmo de división
Observación
Sean f , g ∈ k[x] polinomios no nulos. Entonces
deg(f ) ≤ deg(g ) ⇐⇒ lt(f ) divide a lt(g ).
Proposición (Proposición 5.2. El algoritmo de división)

Sean k un cuerpo y g ∈ k[x] un polinomio no nulo. Entonces todo
f ∈ k[x] se puede escribir
f = qg + r ,
donde q, r ∈ k[x] y, o bien r = 0, o bien deg(r ) < deg(g ). Además q y r
son únicos y existe un algoritmo para calcularlos.

Algoritmo de división
Algoritmo
Input: g , f
Output: q, r
q := 0; r := f
WHILE r 6= 0 AND lt(g ) divide a lt(r ) DO
q := q + lt(r )/lt(g )
r := r − (lt(r )/lt(g ))g
RETURN q, r

Algunas consecuencias

Si k es un cuerpo y f ∈ k[x] es un polinomio no nulo, entonces f tiene a
lo más deg(f ) raı́ces en k.

Sea k un cuerpo. Todo ideal de k[x] se puede escribir como hf i para algún
f ∈ k[x]. Además, f es único salvo la multiplicación por uns constante no
nula de k.
Nota
Un ideal generado por un elemento se dice idea principal. Por el corolario
anterior, diremos que k[x] es un dominio de ideales principales

Máximo común divisor

Un máximo común divisor de dos polinomios f , g ∈ k[x] es un polinomio h
tal que:
(i) h divide a f y a g .
(ii) Si p es otro polinomio que divide a f y a g , entonces p divide a h.
Escribiremos h = hgcd(f , g )i.

Propiedades del máximo común divisor

Sean f , g ∈ k[x]. Entonces:
(i) gcd(f , g ) existe y es único salvo producto por constantes no nulas en
k.
(ii) gcd(f , g ) es un generador del ideal hf , g i.
(iii) Existe un algoritmo para calcular gcd(f , g ).

Cálculo del máximo común divisor
Algoritmo
Input: f , g
Output: h = gcd(f , g )
h := f
s := g
WHILE s ≥ 0 DO
rem := remainder(h, s)
h := s
s := rem
RETURN h

Un ejemplo
Ejemplo
x 4 − 1 = 0 · (x 6 − 1) + x 4 − 1,
x 6 − 1 = x 2 · (x 4 − 1) + x 2 − 1,
x 4 − 1 = (x 2 + 1) · (x 2 − 1) + 0.
Luego
gcd(x 4 − 1, x 6 − 1) = gcd(x 6 − 1, x 4 − 1)
= gcd(x 4 − 1, x 2 − 1) = gcd(x 2 − 1, 0) = x 2 − 1.
Por tanto
hx 4 − 1, x 6 − 1i = hx 2 − 1i.

Máximo común divisor de varios polinomios

Un m aximo común divisor de los polinomios f1 , . . . , fs ∈ k[x] es un
polinomio h tal que:
(i) h divide a f1 , . . . , fs .
(ii) Si p es otro polinomio que divide a f1 , . . . , fs entonces p divide a h.
Cuando h verifica estas propiedades escribimos h = gcd(f1 , . . . , fs ).

Propiedades de gcd(f1 , . . . , fs )

Sean f1 , . . . , fs ∈ k[x], donde s ≥ 2. Entonces:
(i) gcd(f1 , . . . , fs ) existe y es único salvo producto por constantes no
nulas de k.
(ii) gcd(f1 , . . . , fs ) es un generador del ideal hf1 , . . . , fs i.
(iii) Si s ≥ 3, entonces gcd(f1 , . . . , fs ) = gcd(f1 , gcd(f2 , . . . , fs )).
(iv) Existe un algoritmo para calcular gcd(f1 , . . . , fs ).

Otro ejemplo
Ejemplo
Sea hx 3 − 3x + 2, x 4 − 1, x 6 − 1i ⊂ k[x]. Como
gcd(x 3 − 3x + 2, x 4 − 1, x 6 − 1) = gcd(x 3 − 3x + 2, gcd(x 4 − 1, x 6 − 1))

= gcd(x 3 − 3x + 2, x 2 − 1) = x − 1.
Luego hx 3 − 3x + 2, x 4 − 1, x 6 − 1i = hx − 1i.

El problema de la pertenencia a un ideal
Ejemplo
¿x 3 + 4x 2 + 3x − 7 ∈ hx 3 − 3x + 2, x 4 − 1, x 6 − 1i?
Como hx 3 − 3x + 2, x 4 − 1, x 6 − 1i = hx − 1i, basta comprobar si x − 1
divide a x 3 + 4x 2 + 3x − 7. Dividiendo
x 3 + 4x 2 + 3x − 7 = (x 2 + 5x + 8) · (x − 1) + 1.
Por tanto x 3 + 4x 2 + 3x − 7 ∈
/ hx 3 − 3x + 2, x 4 − 1, x 6 − 1i

Geometria y Algebra

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Geometria y Algebra

Uploaded by

Copyright:

Available Formats

Tema 1: Geometrı́a, Álgebra y Algoritmos

Miguel Ángel Olalla Acosta

Olalla (Universidad de Sevilla) Tema 1: Geometrı́a, Álgebra y Algoritmos Febrero de 2018 1 / 64

1 Polinomios y espacio afı́n

4 Parametrización de variedades afines

5 Polinomios en una variable

Olalla (Universidad de Sevilla) Tema 1: Geometrı́a, Álgebra y Algoritmos Febrero de 2018 2 / 64

Definición (Definición 1.1)

x1α1 · x2α2 · · · xnαn ,

donde todos los exponentes α1 , . . . , αn son enteros no negativos. El grado

Olalla (Universidad de Sevilla) Tema 1: Geometrı́a, Álgebra y Algoritmos Febrero de 2018 3 / 64

Simplificaremos la notación para los monomios de la siguiente forma: sea

Olalla (Universidad de Sevilla) Tema 1: Geometrı́a, Álgebra y Algoritmos Febrero de 2018 4 / 64

Definición (Definición 1.2)

donde la suma es sobre un número finito de n-uplas α = (α1 , . . . , αn ). El

Olalla (Universidad de Sevilla) Tema 1: Geometrı́a, Álgebra y Algoritmos Febrero de 2018 5 / 64

Cuando trabajemos con polinomios en un pequeño número de variables

Olalla (Universidad de Sevilla) Tema 1: Geometrı́a, Álgebra y Algoritmos Febrero de 2018 6 / 64

Usaremos la siguiente terminologı́a:

(i) Llamamos a cada aα el coeficiente del monomio x α .

Olalla (Universidad de Sevilla) Tema 1: Geometrı́a, Álgebra y Algoritmos Febrero de 2018 7 / 64

El conjunto k[x1 , . . . , xn ] es un anillo con la suma y el producto de

Olalla (Universidad de Sevilla) Tema 1: Geometrı́a, Álgebra y Algoritmos Febrero de 2018 8 / 64

Definición (Definición 1.4)

En general, llamaremos recta afı́n a k 1 = k y plano afı́n a k 2 .

Olalla (Universidad de Sevilla) Tema 1: Geometrı́a, Álgebra y Algoritmos Febrero de 2018 9 / 64

La forma de relacionar los polinomios con P los espacios afines es la

Olalla (Universidad de Sevilla) Tema 1: Geometrı́a, Álgebra y Algoritmos Febrero de 2018 10 / 64

Esta naturaleza dual de los polinomios tiene inesperadas consecuencias.

Si embargo, ambas cuestiones no son equivalentes, como veremos en el

Olalla (Universidad de Sevilla) Tema 1: Geometrı́a, Álgebra y Algoritmos Febrero de 2018 11 / 64

Consideremos el cuerpo de dos elementos F2 = {0, 1}, tal que 1 + 1 = 0.

Esto no ocurre si el cuerpo k es infinito.

Olalla (Universidad de Sevilla) Tema 1: Geometrı́a, Álgebra y Algoritmos Febrero de 2018 12 / 64

Proposición (Proposición 1.5)

Corolario (Corolario 1.6)

Olalla (Universidad de Sevilla) Tema 1: Geometrı́a, Álgebra y Algoritmos Febrero de 2018 13 / 64

El teorema fundamental de Álgebra

Recordemos una propiedad especial de los polinomios sobre C.

Olalla (Universidad de Sevilla) Tema 1: Geometrı́a, Álgebra y Algoritmos Febrero de 2018 14 / 64

Definición (Definición 2.1)

V(f1 , . . . , fs ) = {(a1 , . . . , an ) ∈ k n | fi (a1 , . . . , an ) = 0 ∀1 ≤ i ≤ s}.

Diremos que V(f1 , . . . , fs ) es la variedad afı́n definida por f1 , . . . , fs .

Es decir, una variedad afı́n V(f1 , . . . , fs ) ⊂ k n es el conjunto de todas las

Olalla (Universidad de Sevilla) Tema 1: Geometrı́a, Álgebra y Algoritmos Febrero de 2018 15 / 64

Veremos a continuación varios ejemplos de variedades afines en R2 y R3 .

Las secciones cónicas estudiadas en otros cursos son variedades afines.

Olalla (Universidad de Sevilla) Tema 1: Geometrı́a, Álgebra y Algoritmos Febrero de 2018 16 / 64

El grafo de una función polinómica y = f (x) es V(y − f (x)). Aunque no

es la variedad afı́n V(xy − x 3 + 1).

Olalla (Universidad de Sevilla) Tema 1: Geometrı́a, Álgebra y Algoritmos Febrero de 2018 17 / 64

Olalla (Universidad de Sevilla) Tema 1: Geometrı́a, Álgebra y Algoritmos Febrero de 2018 18 / 64

Olalla (Universidad de Sevilla) Tema 1: Geometrı́a, Álgebra y Algoritmos Febrero de 2018 19 / 64

Olalla (Universidad de Sevilla) Tema 1: Geometrı́a, Álgebra y Algoritmos Febrero de 2018 20 / 64

Olalla (Universidad de Sevilla) Tema 1: Geometrı́a, Álgebra y Algoritmos Febrero de 2018 21 / 64

Olalla (Universidad de Sevilla) Tema 1: Geometrı́a, Álgebra y Algoritmos Febrero de 2018 22 / 64

Olalla (Universidad de Sevilla) Tema 1: Geometrı́a, Álgebra y Algoritmos Febrero de 2018 23 / 64

Unión e interseccción de variedades

Lema (Lema 2.2)

El lema anterior implica que las interesecciones y uniones de un número

En el ejemplo anterior V(xz, yz) = V(z) ∪ V(x, y ).

Olalla (Universidad de Sevilla) Tema 1: Geometrı́a, Álgebra y Algoritmos Febrero de 2018 24 / 64

Los ejemplos vistos en est sección nos inducen algunas cuestiones