Uniformización de curvas algebraicas reales Uniformization of real algebraic curves

Tamaño: px
Comenzar la demostración a partir de la página:

Download "Uniformización de curvas algebraicas reales Uniformization of real algebraic curves"

Transcripción

1 Lecturas Matemáticas Volumen 33 (2) (2012), páginas ISSN Uniormización de curvas algebraicas reales Uniormization o real algebraic curves Andrés Jaramillo Puentes Universidad de los Andes, Bogotá, Colombia Resumen. Desarrollamos un análogo de la teoría de Galois para cubrimientos analíticos y de la teoría de uniormización de supericies de Riemann para curvas algebraicas reales geométricamente suaves, usando la euivalencia entre éstas y las supericies de Riemann M dotadas de una involución antiholomora σ (también conocida como estructura real). En este contexto, usando el teorema de uniormización para supericies de Riemann y la teoría de Galois de los cubrimientos holomoros, analizamos los cubrimientos analíticos de M ue admiten una estructura real. Recordamos la construcción del grupo undamental real de (M, σ) y damos una descripción topológica del mismo, y lo usamos para encontrar una euivalencia entre ciertos subgrupos de éste y cubrimientos ue admiten una estructura real compatible. Construimos una representación del grupo undamental real en el grupo de automorismos dianalíticos del espacio recubridor universal M. Denotamos Γ R la imagen de esta representación, y mostramos ue las transormaciones holomoras de M dentro de Γ R orman un subgrupo de índice 2, denotado Γ, el cual es discreto y actúa libremente en M. Entonces mostramos la existencia de un isomorismo de curvas algebraicas reales entre (M, σ) y el cociente M/Γ dotado con la involución dada por el elemento no trivial en Γ R /Γ. Key words and phrases. Uniormization theory. Klein suraces. Real algebraic varieties Abstract. We developed a version o the Galois theory or analytic coverings and o the Uniormization theory o Riemann suraces or geometrically smooth real algebraic curves, based on the euivalence between them and the the Riemann suraces M endowed with an antiholomorphic involution σ (a.k.a. real structure). In this context, we

2 108 Andrés Jaramillo Puentes. Uniormización de curvas algebraicas reales analyze the analytic coverings o M which admit a real structure. We recall the construction or the real undamental group o (M, σ), we give a topological description o it and use it or state an euivalence between certain subgroups and the coverings admitting a compatible real structure. We construct a representation o the real undamental group into the space o dianalytic automorphisms o the universal covering M o image Γ R. Then we show that the holomorphic transormations o M into Γ R orm a subgroup o index 2, denoted by Γ, which is discrete and acts reely on M. Then we show one isomorphism o real algebraic curves between (M, σ) and the uotient M/Γ endowed with the involution given by the nontrivial element in Γ R /Γ AMS Mathematics Subject Classiication. 20H10, 30F10 1. Introducción El propósito de este documento es desarrollar un análogo de la teoría de Galois para cubrimientos analíticos y la teoría de uniormización de supericies de Riemann en el contexto de las curvas algebraicas reales, usando la euivalencia entre estas y las supericies de Riemann M dotadas de una involución antiholomora σ. En la primera parte enunciamos los resultados clásicos de la teoría de supericies de Riemann ue ueremos extrapolar a las curvas algebraicas reales, junto con las herramientas utilizadas. En la segunda parte describimos la versión real del grupo undamental, el cual es nuestra herramienta principal. Éste es una extensión de Z/2Z por el grupo undamental real topológico. Damos una descripción de éste en términos de caminos y lo usaremos para presentar una curva algebraica real hiperbólica como cociente del semiplano de Poincaré H por un grupo discreto de automorismos dotado de una estructura real inducida por una biyección antiholomora de H. Nosotros establecemos una correspondencia de Galois real entre cubrimientos de una curva algebraica por curvas algebraicas reales y subgrupos del grupo undamental real ue no están contenidos en el grupo undamental topológico. Damos un ejemplo de una curva algebraica real ue no tiene un cubrimiento universal real. 2. Supericies de Riemann Deinición 2.1. Una supericie de Riemann es una 2-variedad dierenciable con un atlas maximal {U i, ϕ i } i I en donde las unciones de transición son unciones analíticas (satisacen las ecuaciones de Cauchy-Riemann en cada punto) entre abiertos de C R 2. Como ejemplos clásicos tenemos el plano complejo C, cualuier subconjunto abierto de C, entre los cuales se encuentran el semiplano de Poincaré H = {z

3 Lecturas Matemáticas, vol. 33(2) (2012), págs C Im (z) > 0} y el disco abierto D = {z C z < 1}. La recta proyectiva compleja CP (homeomora a la esera S ) tiene estructura de supericie de Riemann determinada por las cartas (U o, ϕ 0 ) y (U 1, ϕ 1 ) donde U 0 = {[z 0 : z 1 ] CP z 0 0}, U 1 = {[z 0 : z 1 ] CP z 1 0} y ϕ 0 : U 0 C [z 0 : z 1 ] z1 z 0, ϕ 1 : U 1 C [z 0 : z 1 ] z0 z 1. La recta proyectiva compleja CP es conocida como la esera de Riemann y coincide con la compactiicación de Alexandrov del plano complejo al agregar un punto al ininito. Deinición 2.2. Dadas dos supericies de Riemann M y N, un homomorismo de supericies de Riemann es una unción (continua) : M N, tal ue para cada carta (U, ϕ) de M y cada carta (V, ψ) de N, para las cuales (U) V, se tiene ue ψ ϕ 1 : ϕ(u) ψ(v ) es una unción holomora entre abiertos de C. Un isomorismo de supericies de Riemann es una biyección : M N tal ue y 1 son homomorismos de supericies de Riemann. Estos homomorismos se conocen como unciones holomoras o analíticas entre supericies de Riemann. La transormación de Cayley H D z z i z+i es un isomorismo de supericies de Riemann. Proposición 2.3. Si : M N es una unción holomora y bijectiva, entonces 1 es holomora, es decir, es un isomorismo de supericies de Riemann. Proposición 2.4. [3] Tenemos El grupo de automorismos de la esera de Riemann CP C { } es isomoro a PGL(2, C). Este isomorismo es el inverso del homomorismo: PGL(2, C) Aut(CP) ( ) ( a b z az + b ) c d cz + d El grupo de automorismos del semiplano de Poincaré es el subgrupo de Aut(CP) ue dejan invariante a H CP. Es isomoro a PSL(2, R) mediante restricción de la aplicación anterior. El grupo de automorismos del plano complejo C es el subgrupo de Aut(CP) ue dejan invariante a C CP. Es isomoro a {z az + b a C, b C}.

4 110 Andrés Jaramillo Puentes. Uniormización de curvas algebraicas reales Dotamos cada uno de estos grupos de la topología de subespacio, considerando PGL(2, C) C Supericies de Riemann simplemente conexas. Deinición 2.5. Recordamos las siguientes deiniciones: Dado un espacio topológico X y un punto a X, el grupo undamental de X con respecto a a es π 1 (X; a), el conjunto de aplicaciones continuas γ : S 1 X tales ue γ(1) = a (también conocidas como caminos cerrados, o lazos, basados en a) módulo relación de homotopía. La ley de multiplicación está dada por [γ] [η] = [γ η] donde γ η es la concatenación de caminos γ η(t) = { γ(2t) si 0 t 1/2 η(2t 1) si 1/2 t 1 la cual es un camino ue recorre γ y luego η. Un espacio topológico X es simplemente conexo si es conexo por caminos y su grupo undamental π 1 (X; a) es el grupo trivial para algún a X. Si X es una supericie de Riemann conexa (la cual es un espacio topológico conexo por caminos) un camino γ entre dos puntos a y b de X determina el isomorismo no canónico g γ : π 1 (X; a) π 1 (X; b) [η] [γ 1 η γ] Por lo tanto, el grupo undamental de una supericie de Riemann conexa no depende del punto de base. Si : X Y es una aplicación continua entre espacios topológicos, entonces induce un homomorismo de grupos : 2.2. Cubrimientos analíticos. π 1 (X; a) π 1 (Y ; (a)) [γ] [ γ] Deinición 2.6. Si p : Y X es una aplicación continua entre espacios topológicos, p es un cubrimiento topológico si para cada x X existe una vecindad V X de x tal ue p 1 (V ) = α U α y p Uα : U α V es un homeomorismo. Un cubrimiento topológico p : Y X es un homeomorismo local. p se dice conexo si su dominio lo es. El conjunto p 1 ({x}) es llamado la ibra de p en x X. Un cubrimiento analítico u holomoro es un cubrimiento topológico entre supericies de Riemann..

5 Lecturas Matemáticas, vol. 33(2) (2012), págs Proposición 2.7 ([3]). Si X es una supericie de Riemann, Y es un espacio topológico Hausdor y p : Y X es un cubrimiento topológico, entonces existe una única estructura de supericie de Riemann sobre Y para la cual p es un cubrimiento analítico. Supongamos ue X, Y y Z son espacios topológicos y p : Y X y : Z X son unciones continuas. Entonces por un levantamiento de con respecto a p, nos reerimos a una unción continua g : Z Y tal ue = p g, es decir, el siguiente diagrama conmuta. Z g Teorema 2.8 (Unicidad del levantamiento, [3]). Supongamos ue p : X Y es un cubrimiento topológico entre supericies de Riemann. Si Z es un espacio topológico conexo y : Z X es una unción continua. Si g 1, g 2 son dos levantamientos de y g 1 (z 0 ) = g 2 (z 0 ) para algún z 0 Z entonces g 1 = g 2. Cuando Z = [0, 1], la unción es un camino en X, y su levantamiento g : [0, 1] Y es un camino en Y ue se proyecta a X mediante p. Por el teorema anterior, basta con determinar g en un punto para determinar todo g. Así, escogiendo y p 1 ({x}) ijo, podemos levantar de manera única cualuier camino empezando en x = p(y). Como el grupo undamental está compuesto de clases de homotopía, la siguiente propiedad nos será muy útil. Teorema 2.9 (Levantamientos de curvas homotópicas, [3]). Supongamos ue p : Y X es un cubrimiento holomoro entre supericies de Riemann. Supongamos ue a, b X y ue ã Y es un punto tal ue p(ã) = a. Si suponemos ue una homotopía H : [0, 1] [0, 1] X es tal ue H(0, s) = a y H(1, s) = b para cada s [0, 1]. Deiniendo u s (t) := H(t, s), tenemos una amilia de curvas. Cada curva u s puede ser levantada a una curva inicial ũ s con punto inicial ã, entonces ũ 0 y ũ 1 tienen el mismo punto inal y son homotópicos. Deinición Dada una supericie de Riemann M y un cubrimiento analítico conexo p : M M, p es un cubrimiento universal de M si para cada otro cubrimiento conexo : N M, y para cada elección de puntos y 0 M, z 0 N con p(y 0 ) = (z 0 ) existe una única unción : M N tal ue (y 0 ) = z 0 y el diagrama M p Y X p N M

6 112 Andrés Jaramillo Puentes. Uniormización de curvas algebraicas reales conmuta. Denotaremos por M el espacio M correspondiente al dominio del cubrimiento universal. Teorema 2.11 ([3]). Si M y N son supericies de Riemann conexas, N es simplemente conexa y p : N M es un cubrimiento holomoro. Entonces p es el cubrimiento universal de M. Teorema 2.12 ([3]). Supongamos ue M es una supericie de Riemann conexa. Entonces existe una supericie de Riemann simplemente conexa M y un cubrimiento holomoro p : M M. Demostración. Fijemos a M. Por π(a, x) denotamos el conjunto de clases de caminos con punto inicial a y punto inal x. Sea M a = {(x, [α]) x M, [α] π(a, x)}. Supongamos ue (x, [α]) M a y ue U M es una vecindad de x abierta y simplemente conexa. Entonces deinimos U α M a como el conjunto de todos los puntos (y, [β]) M a tales ue y U y β = α ζ, donde ζ es un camino de a a y completamente dentro de U (como U es simplemente conexo, su clase de homotopía sólo depende de los extremos). Dotamos a M a de la topología generada por los conjuntos U α. Con esta topología, M a es una supericie de Riemann conexa y simplemente conexa y la aplicación p : M a M por p(x, [α]) = x es holomora. Los detalles se pueden encontrar en [3] Uniormización de supericies de Riemann. Deinición Sea p : N M un cubrimiento holomoro. Un automorismo de p es un automorimo Aut(N) tal ue p = p, es decir, ue el diagrama N p M conmute. El grupo de automorismos de p se denota por Aut(N/M). Este grupo actúa sobre N por Aut(N/M) N N : (, y) (y). Deinición Un cubrimiento holomoro p : N M es de Galois si su grupo de automorismos actúa de manera transitiva en las ibras de p, es decir, para cada x M y cada par de puntos y 0, y 1 p 1 ({x}) existe Aut(N/M) tal ue (y 0 ) = y 1. Teorema 2.15 ([3]). Sea M una supericie de Riemann y p : M M un cubrimiento universal. Entonces p : M M es de Galois y su grupo de automorismos Aut( M/M) es isomoro al grupo undamental π 1 (M; a), con a M. p N

7 Lecturas Matemáticas, vol. 33(2) (2012), págs Demostración. Sea x M y y 0, y 1 p 1 ({x}). Por la propiedad del cubrimiento universal, existen cubrimientos holomoros, g : M M tales ue (y 0 ) = y 1 y g(y 1 ) = y 0. Así g(y 1 ) = y 1 y g (y 0 ) = y 0, entonces por la unicidad en la deinición del cubrimiento universal, g y g son la identidad sobre M. Por lo tanto es un automorismo de p tal ue (y 0 ) = y 1, luego Aut( M/M) actúa transitivamente sobre las ibras de p, es decir, p : M M es de Galois. Ahora, ijemos x M y x p 1 ({x}). Deinimos Φ : Aut( M/M) π 1 (M; x) la aplicación ue envía Aut( M/M) a la clase de homotopía de p η, donde η es un camino en M de x a ( x). Φ está bien deinida puesto ue p es una unción continua (y por lo tanto su inducida en caminos envía caminos homotópicos en caminos homotópicos), p η es un camino cerrado en x y la clase de η sólo depende de sus extremos (debido a ue M es simplemente conexo). Supongamos ue, g Aut( M/M) y η, ζ son caminos en M de x a ( x) y g( x), respectivamente. Entonces ζ es un camino con punto inicial en ( x) y punto inal g( x). También p ( ζ) = (p ) ζ = p ζ. El camino η ( ζ) es un camino de x a g( x). Así Φ(g) = [p (η ( ζ))] = [p η] [p ( ζ)] = [p η] [p ζ] = Φ() Φ(g). Si Φ() = [p η] es la clase de homotopía del camino c x constante en x (el elemento identidad en π 1 (M; x)). Como η es un levantamiento de p η, entonces por la propiedad del levantamiento de homotopías de p, η es homotópico a c x, el camino constante a x, luego ( x) = η(1) = x y entonces = Id M. Luego Φ es inyectiva. Si α es un lazo en basado en x y η un levantamiento de α a M empezando en x, entonces y = α(1) p 1 ({x}), dado ue Aut( M/M) actúa transitivamente, existe Aut( M/M) tal ue ( x) = y. De la deinición de Φ tenemos ue Φ() = [α]. De este teorema, el isomorismo Φ nos permite construir una inclusión de π 1 (M; x) en el grupo de automorismos (holomoros) de M. Además π 1 (M; x) Aut( M/M) actúa en M de manera ue M/π 1 (M; x) M. Teorema 2.16 ([3]). Supongamos ue M y N son supericies de Riemann conexas, : N M un cubrimiento analítico y p : M M un cubrimiento universal de M. Sea : M N una aplicación ue preserva las ibras, la cual existe de la deinición de cubrimiento universal. Entonces es un cubrimiento y existe un subgrupo G Aut( M/M) tales ue dados dos puntos x, x M, (x) = (x ) si y sólo si existe g G tales ue x = g(x). Más aún G π 1 (N; n), para cualuier n N. Además, es un cubrimiento de Galois si y sólo si el subgrupo G es normal en π 1 (M; x). En este caso se tiene ue Aut(N/M) = π 1 (M; x)/π 1 (N; (x)).

8 114 Andrés Jaramillo Puentes. Uniormización de curvas algebraicas reales Dado ue en el anterior teorema : M N es un cubrimiento holomoro y M es simplemente conexa por ser el cubrimiento universal de M, entonces por el teorema 2.11 tenemos ue es un cubrimiento universal de N. Teorema 2.17 (Teorema de uniormización de supericies de Riemann, [2]). Si M es una supericie de Riemann conexa y simplemente conexa, entonces M es isomora a una y sólo una de las supericies: 1. La esera de Riemann CP. 2. El plano complejo C. 3. El semiplano de Poincaré H. Diremos ue una supericie de Riemann M es elíptica si M CP, ue es parabólica si M C o ue es hiperbólica si M H. Observación Si M es una supericie de Riemann elíptica, tenemos ue su cubrimiento universal p : CP M es una aplicación continua, luego M es compacta. Aplicando la órmula de Riemann-Hurwitz tenemos ue necesariamente M CP, es decir, módulo isomorismos CP es la única supericie de Riemann elíptica. Teorema 2.19 ([2]). Si M es una supericie de Riemann parabólica, entonces M es isomora a C, C o a un toro de la orma C/Λ, con Λ un retículo en C. De lo anterior podemos deducir ue cualuier supericie de Riemann ue no sea isomora a C, CP, C o C/Λ (con Λ un retículo en C) es hiperbólica. En este trabajo nos concentraremos en este tipo de supericies. Teorema 2.20 ([2]). Si G es un subgrupo de PSL(2, R) Aut(H) es tal ue existe un punto z 0 H en el ue G actúa propia y discontinuamente, es decir, el estabilizador G z0 = {g G g(z 0 ) = z 0 } es inito y existe una vecindad abierta U H de z 0 tal ue g(u) = U para todo g G z0 y g(u) U = para todo g G \ G z0, entonces G es un subconjunto discreto del espacio topológico PSL(2, R). Deinición Una representación de π 1 (M; x) en Aut( M) es un homomorismo de grupos ρ : π 1 (M; x) Aut( M). Diremos ue es iel si ρ es inyectiva y ue es discreta si el conjunto Im (ρ) es un subconjunto discreto del espacio topológico Aut( M). Teorema 2.22 (Uniormización de supericies de Riemann hiperbólicas). Sea M una supericie de Riemann hiperbólica y x X, entonces 1. Existe una representación ρ iel y discreta de π 1 (M; x) en PSL(2, R) tal ue Γ := Im (ρ) actúa de manera libre en H y además H/ M. 2. Si ρ es otra representación de π 1 (M; x) en PSL(2, R) con las mismas propiedades, entonces existe g PSL(2, R) y δ Aut(π 1 (M; x)) tal ue ρ = Ad g ρ δ 1.

9 Lecturas Matemáticas, vol. 33(2) (2012), págs Demostración. 1. Consideramos p : M x M el cubrimiento universal descrito en el teorema Sea ϕ : M x H un isomorismo de supericies de Riemann ijo. Como π 1 (M; x) Aut( M x /M) = { Aut( M x ) p = p}, donde p : M x M es un cubrimiento universal. Entonces sea ρ : π 1 (M; x) PSL(2, R) ϕ ϕ 1. Tenemos ue ρ( g) = ϕ g ϕ 1 = ϕ ϕ 1 ϕ g ϕ 1 = ρ() ρ(g), luego ρ es un homomorismo de grupos. Si ρ() = ρ(g) entonces ϕ ϕ 1 = ϕ g ϕ 1, luego = g y ρ es inyectiva. Ahora tenemos ue Γ = Im (ρ) es un subgrupo de PSL(2, R). Si z H y g Γ son tales ue g(z) = z, dado ue existe π 1 (M; x) tal ue g = ρ() = ϕ ϕ 1, se tiene ue si y = ϕ 1 (z) entonces (y) = y, luego = Id Mx y g = ρ(id Mx ) = Id H, por ende Γ z = {Id H }, luego la acción es libre. Sea x un punto en la ibra p 1 ({x}) y z 0 = ϕ( x). Dado ue p : M x M es un cubrimiento, existe una vecindad V M de x tal ue p 1 (V ) = α U α. Sea α 0 tal ue x U α0 y U = U α0 entonces p U es un homeomorismo. Sea U = ϕ(u ) H, la cual es una vecindad de z 0. Si g Γ es tal ue g(u) U entonces ϕ 1 (g(u) U), pero ϕ 1 (g(u) U) = (U ) U con = ρ 1 (g). Pero si (U ) U, hay un elemento u U tal ue (u) U. Pero entonces p 1 ({p(u)}) U = u, y dado ue preserva las ibras, (u) = u, luego = Id Mx y g = ρ(id Mx ) = Id H. Entonces g(u) = U para todo g Γ z0 y g(u) U = para todo g Γ \ Γ z0. Por el teorema 2.20 tenemos ue Γ es un subconjunto discreto de PSL(2, R). Como Γ es un grupo ue actúa libre y discontinuamente, entonces el cociente H/ tiene estructura de supericie de Riemann. Sea φ : H/ M h Γ p(ϕ 1 (h)), así, si h = g(h) para g = ρ() Γ, entonces ϕ 1 (h ) = (ϕ 1 (h)) y p(ϕ 1 (h )) = p((ϕ 1 (h))) = p(ϕ 1 (h)), así ue φ está bien deinida. Si φ(h Γ) = φ(h Γ), entonces p(ϕ 1 (h)) = p(ϕ 1 (h )), luego existe π 1 (M; x) tal ue ϕ 1 (h) = (ϕ 1 (h )), de donde h = ϕ (ϕ 1 (h )) = ρ()(h ), por lo ue h y h están en la misma órbita bajo Γ y φ es inyectiva. Para cada m M, tenemos ue si m es un punto en la ibra de m, entonces m = p(ϕ 1 (ϕ( m))) = φ(ϕ( m Γ), por lo tanto φ es sobreyectiva. Ahora, si denotamos π : H H/, como la acción es libre y discontinua, existe una vecindad U H de h tal ue π U es un homeomorismo y tal ue p ϕ 1 (U) también lo sea. Luego π(u) π 1 U U ϕ 1 ϕ 1 (U) p ϕ 1 (U) p(ϕ 1 (U)) lo ue implica ue φ está dada localmente por la composición de unciones holomoras, luego es holomora. Dado ue φ es una bijección holomora, por la proposición 2.3 tenemos ue φ es un isomorismo de supericies de Riemann.

10 116 Andrés Jaramillo Puentes. Uniormización de curvas algebraicas reales 2. Supongamos ue ρ es otra representación de π 1 (M; x) en PSL(2, R) con las mismas propiedades, entonces sea Γ = Im (ρ ) y φ : H/ M. Dados x un punto en la ibra p 1 ({x}) y h φ 1 (x), existe ϕ := φ 1 : M x H. Sea g = ϕ ϕ 1 : H H Aut(H). Entonces para π 1 (M; x) tenemos ue Ad g ρ() = g ρ() g 1 = ϕ ϕ 1 (ϕ ϕ 1 ) ϕ ϕ 1 = ϕ ϕ 1 es un automorismo γ de H tal ue ϕ 1 γ ϕ π 1 (M; x), luego γ Γ = Im (ρ ), entonces podemos deinir δ : π 1 (M; x) π 1 (M; x) ρ 1 Ad g ρ(). así δ Aut(π 1 (M; x)) es tal ue ρ = Ad g ρ δ Curvas algebraicas reales Una supericie de Klein es una 2-variedad dotada de un atlas maximal {U α, ϕ α } para el cual las unciones de transición son unciones dianalíticas entre abiertos de C o abiertos del conjunto {z C Im (z) 0}, es decir, las son analíticas o anti-analíticas en el interior de su dominio y además envían números reales en números reales. Una supericie de Klein puede tener borde o ser no orientable. unciónes ϕ β ϕ 1 α El cociente de una supericie de Riemann por una involución anti-holomora tiene estructura de supericie de Klein. Además, para cada supericie de Klein X existe una supericie de Riemann M y una involución anti-holomora σ de M tal ue M/σ es isomora a X como supericie de Klein. Luego hay una euivalencia entre supericies de Klein y pares (M, σ) de una supericie de Riemann dotada con una involución anti-holomora. Deinición 3.1. Una curva algebraica real es un par (M, σ) de una supericie de Riemann y una involución anti-holomora de M. Si consideramos el toro M := C/Γ, donde el grupo Γ = {z z + n + im n, m Z} junto con las aplicaciones en M dadas por σ 1 : M M :[z] [ z] σ 2 : M M :[z] [i z] σ 3 : M M :[z] [ z ] las cuales dan lugar a distintas curvas algebraicas reales, cuyo cociente es homeomoro a un anillo, una banda de Möbius y una botella de Klein, respectivamente.

11 Lecturas Matemáticas, vol. 33(2) (2012), págs Deinición 3.2. Un homomorismo entre dos curvas algebraicas reales (M, σ), (N, τ) es una aplicación holomora : M N tal ue el diagrama M τ M conmuta. N σ N En particular, si M = N entonces un isomorismo entre las curvas algebraicas reales (M, σ) y (M, τ) es un automorismo de la supericie de Riemann M tal ue σ = τ, es decir τ = σ 1. Por lo tanto, (M, σ) y (M, τ) son isomoras como curvas algebraicas reales si y sólo si σ y τ son conjugadas la una de la otra por un automorismo holomoro de M. En la esera de Riemann M = CP consideremos las dos estructuras reales σ 1 : σ 2 : CP CP z z CP CP z 1 z Tenemos ue el conjunto de puntos reales de la primera estructura M σ1 es el conjunto R { } = RP 1 S 1 mientras ue para la segunda estructura si z = 1 z, entonces z 2 = 1, de donde M σ2 =. Como los conjuntos de puntos reales no son homeomoros, las estructuras reales no pueden ser congujadas, es decir, las curvas (M, σ 1 ) y (M, σ 2 ) no son isomoras. El plano complejo C tiene una estructura real canónica dada por la conjugación compleja. El disco D es invariante bajo la conjugación compleja y ésta es una estructura real en él, bajo la transormación de Cayley, esta estructura se puede inducir en H y resulta τ 0 : H H :. Si z = a+bi, entonces τ 0 (z) = a + bi es el relejo de z respecto al eje imaginario. De hecho, τ 0 la estructura canónica en H es la única módulo isomorismos. Lema 3.3. El semiplano superior de Poincaré H tiene una única estructura real salvo conjugación. Demostración. Sea τ 0 : H H : z z y sea σ una estructura real en H. Como σ τ 0 es una biyección holomora ( ) en H, es un automorismo. Sea a b Aut(H) tal ue = σ τ 0 con como matriz asociada, la cual c d puede ser escogida de determinante 1. Entonces σ(z) = σ τ 2 0 (z) = τ 0 (z) = ( z) = a z + b c z + d.,.

12 118 Andrés Jaramillo Puentes. Uniormización de curvas algebraicas reales Como σ 2 = Id H, entonces z = σ 2 (z) = σ ( ) a z + b = (a2 bc)z + b(d a) c z + d c(a d)z + d 2 bc de donde a 2 bc = ( d 2 bc) and b(d a) = c(a d) = 0; como ( ad bc ) = ( 1, tenemos ) a b 1 0 a b a = d. Dado ue está en la misma clase de = c d 0 1 c d ( ) a b, podemos asumir a > 0. Considere g Aut(H) el automorismo c d ( ) a + 1 b correspondiente a la matriz, el cual está bien deinido pues a c 2(a+1) y el determinante de esta matriz es igual a (a + 1) 1 2 2(a+1) ( ( b) = 1 ) (a+1) 2 bc 2(a+1) = 1+2a+a2 bc 2(a+1) = 2a+2 2(a+1) = 1. La inversa de g tiene 2 b c 2(a+1) a + 1 como matriz asociada. Por lo tanto, si z H entonces ( ) τ 0 g τ 0 (z) = τ 0 g( z) = τ 0 = (a + 1) z b c 2(a+1) z c (a + 1)z + b c 2(a+1) z ( ) a + 1 b por lo cual τ 0 g τ 0 tiene como matriz asociada. Luego a g 1 c 2(a+1) τ 0 g τ 0 le corresponde la matriz ( 1 ) ( ) 2 b a + 1 b c c 1 = 2(a+1) a + 1 2(a+1) 2 como a bc 2(a+1) = (a+1)2 +bc 2(a+1) 1 2 ( a bc 2(a+1) c 2 + c 2 = a2 +2a+1+bc 2(a+1) = 2a2 +2a 2(a+1) b 2 + b 2 bc 2(a+1) + a+1 2 ) = a. Entonces g 1 τ 0 g τ 0 = y σ = σ τ0 2 = τ 0 = g 1 τ 0 g τ 0 τ 0 = g 1 τ 0 g y por lo tanto cada estructura real en H es conjugada de τ 0. Esta estructura real induce una involución en Aut(H) = PSL(2, R) deinida por u τ 0 u τ 0, y podemos considerar el producto semidirecto PSL(2, R) τ0 Z/2Z. En particular tenemos la sucesión exacta corta de grupos 1 PSL(2, R) PSL(2, R) τ0 Z/2Z Z/2Z 1 ( ) Este grupo está ácilmente identiicado. Lema 3.4. El grupo PSL(2, R) τ0 Z/2Z es isomoro a PGL(2, R) y la sucesión exacta corta ( ) es isomora a 1 PSL(2, R) PGL(2, R) det Z/2Z 1

13 Lecturas Matemáticas, vol. 33(2) (2012), págs El isomorismo es la aplicación Ψ : PSL(2, R) τ0 Z/Z determinado ( por ) 1 0 Ψ(A) = A si A PSL(2, R) PSL(2, R) τ0 Z/Z y por Ψ(τ 0 ) = Grupo undamental real. Deinición 3.5. Sea (M, σ) una curva algebraica real y sean x M y p : M x M el cubrimiento universal de M deinido en El grupo undamental real de (M, σ) es el subgrupo del grupo de dieomorismos de M x deinido por π R 1 ((M, σ); x) := { : M x M x p = α p, α {Id M, σ}} Es decir, es el grupo de transormaciones de M x ue inducen o la identidad en M o la estructura real σ. Debido a ue p es un homeomorismo local, si una unción π1 R ((M, σ); x) satisace ue p = σ p, entonces es antiholomora; si es tal ue p = p (en caso ue α = Id M ), entonces es una transormación holomora, luego Aut( M x /M) π 1 (M; x). Luego π 1 (M; x) = π1 R ((M, σ); x) Aut( M x /M) π1 R ((M, σ); x). Esta contenencia es propia gracias al siguiente lema. Lema 3.6. Sea (M, σ) una curva algebraica real con M conexa y sea x M. Si p : M M es un cubrimiento universal de M. Para cada x y cada σ(x) puntos en la ibra p 1 ({x}) y p 1 ({σ(x)}) respectivamente, existe σ π R 1 ((M, σ); x) tal ue σ( x) = σ(x) y p σ = σ p. Demostración. Sea γ un camino en M de x a σ(x). Entonces γ := p γ es un camino en M de x a σ(x). Dada un elemento y M, tomamos α un camino en M de x a y. Como M es simplemente conexo, cualuier otro camino de x a y es homótopo a α. El camino γ (σ p α) es un camino en M empezando en x. Sea β el levantamiento de este camino con respecto a x, un camino en M. Deinimos σ(y) = β(1). Tenemos ue σ está bien deinido pues p envia y levanta caminos homótopos en caminos homótopos, y caminos homótopos tienen las mismas terminaciones. Además p( σ(y)) = p β(1) = γ (σ p α)(1) = σ p α(1) = σ p(y), de donde p σ = σ p. Si c x es el camino constante en x, entonces σ p c x = c σ(x) y γ (σ p α) = γ c σ(x) es homotopo a γ, y su levantamiento por p es homótopo a γ, así σ( x) = γ(1) = σ(x). En el lema anterior tenemos ue la transormación antiholomora σ sólo depende del camino γ = p γ. Por la deinición de σ, si tomamos otro camino γ de x a σ(x) homotópicamente no euivalente, tendremos una transormación anti-holomora distinta. Como veremos en la siguiente proposición, hay tantas clases de euivalencia de caminos de x a σ(x) como elementos anti-holomoros en π R 1 ((M, σ); x)π R 1 ((M, σ); x).

14 120 Andrés Jaramillo Puentes. Uniormización de curvas algebraicas reales Decimos ue x M es un punto real si σ(x) = x. Para un punto no real x de M tenemos una descripción por caminos del grupo undamental real. Proposición 3.7. Si x M es un punto no real, entonces el grupo undamental real π1 R ((M, σ); x) es isomoro al grupo de clases de homotopía de lazos basados en x o de caminos de x a σ(x), junto con la operación { [γ] [η] = [γ η] si γ es un lazo basado en x [γ (σ η)] si γ es un camino de x a σ(x) Demostración. Sea Π = {[η] η(0) = x, η(1) {x, σ(x)}} y sea x M x un punto ijo en la ibra p 1 ({x}), entonces para cada π R 1 ((M, σ); x) tomamos η un camino en M x de x a ( x) y deinimos Ψ : π R 1 ((M, σ); x) Π [p η]. La cual está bien deinida por ser M x simplemente conexa. Supongamos ue, g π R 1 ((M, σ); x) y η, ζ son caminos en M x de x a ( x) y g( x), respectivamente. Entonces ζ es un camino con punto inicial en ( x) y punto inal g( x). También p ( ζ) = (p ) ζ = α p ζ. El camino η ( ζ) es un camino de x a g( x). Así Ψ( g) = [p (η ( ζ))] = [(p η) (p ( ζ))] = [p η α p ζ] si α es la identidad, p η es un lazo basado en x; si α = σ, p η es un camino de x a σ(x), luego por la deinición de la operación en Π, tenemos ue Ψ( g) = [p η α p ζ] = [p η] [p ζ] = Ψ() Ψ(g). Si Φ() = [c x ] la clase de homotopía del camino constante a x M, entonces p η c x, de donde η c x, luego ( x) = x y además es holomora (de lo contrario p ( x) = σ(x) x), por lo ue necesariamente = Id Mx y Φ es inyectiva. Dado una clase [γ] Π, si γ es un lazo basado en x, existe Aut( M x ) tal ue Φ() = [γ], de lo contrario el levantamiento de γ por p con respecto a x es un camino de x a un punto en la ibra de p 1 ({σ(x)}), por el lema 3.6 existe σ π1 R ((M, σ); x) con Φ( σ) = [γ]. Por lo tanto Φ es sobrejectivo. Si tenemos dos elementos, g π R 1 ((M, σ); x) ue cubren σ, entonces σ p = σ (p g) g 1 = σ 2 p g 1 = p g 1 y así p ( g 1 ) = (p ) g 1 = (σ p) g 1 = σ 2 p = p. Luego h = g 1 π 1 (M; x), es decir, dos elementos anti-holomoros diieren por un elemento en π 1 (M; x). Proposición 3.8. La aplicación π1 R ((M, σ); x) { Z/Z 1 si p = p 1 si p = σ p

15 Lecturas Matemáticas, vol. 33(2) (2012), págs es un epimorismo de grupos cuyo núcleo es π 1 (M; x). Luego la sucesión 1 π 1 (M; x) π R 1 ((M, σ); x) Z/Z es una sucesión exacta corta. Diremos ue una curva algebraica real (M, σ) es parabólica, elíptica o hiperbólica si M lo es. Deinición 3.9. Para una curva algebraica real hiperbólica, una representación real de π R 1 ((M, σ); x) es un homomorismo de grupos ρ R : π R 1 ((M, σ); x) PGL(2, R) tal ue si ρ = ρ R π1(m;x) entonces ρ cumple con Im (ρ) PSL(2, R). Es decir, tenemos un diagrama conmutativo: 1 π 1 (M; x) π1 R ((M, σ); x) ρ ρ Z/Z 1 1 PSL(2, R) PGL(2, R) Z/Z 1 Es iel si ρ R es inyectiva. Es discreta si el grupo Im (ρ R ) es un subconjunto discreto de PGL(2, R). Observación Si G es un subgrupo discreto de PGL(2, R), el subgrupo G 0 = G PSL(2, R) es un subgrupo discreto de automorismos de H. haciendo ue el cociente H/G 0 tenga estructura de supericie de Riemann (se puede consultar [2] para detalles sobre la construcción del atlas holomoro). Además, si el grupo G es una extensión de Z/Z por G 0, entonces el cociente H/G tiene una estructura real dada por el elemento no trivial en G/G 0. Supongamos ue G/G 0 {1, τ}, donde τ = [B] es la clase de un elemento en G de determinante negativo, entonces γ B es una biyección anti-holomora de H y τ : H/G H/G h G 0 γ B (h) G 0 donde γ B es el automorismo asociado; si B τ es otro representante, existe g G tal ue γ B (h) = g γ B (h), luego γ B (h) G 0 = γ B (h) G 0 y así, la acción de τ sobre el cociente H/ está bien deinida. Además τ 2 (h) = γ 2 B (h) G 0 = h G 0 puesto ue B 2 G y tiene determinante positivo. Dado ue τ está dado localmente por aplicar γ B, es una involución anti-holomora de H/. Esta curva algebraica real la denotaremos por (H/G, G/G ). Para extensiones del grupo Z/2Z, diremos ue un homomorismo γ : G G respeta extensiones si para γ 0 := γ G0 tenemos ue el diagrama 1 G 0 G Z/2Z 1 1 G 0 γ 0 γ G Z/2Z 1

16 122 Andrés Jaramillo Puentes. Uniormización de curvas algebraicas reales conmuta, es decir, si es un homomorismo de extensiones. Denotaremos por Hom Z/2Z y por Aut Z/2Z a los homomorismos y a las automorismos ue respetan extensiones, respectivamente. Teorema 3.11 (Uniormización de curvas algebraicas reales hiperbólicas). Sea (M, σ) una curva algebraica real hiperbólica y x M. Entonces 1. existe una representación real, iel y discreta ρ R de π1 R ((M, σ); x) en PGL(2, R) tal ue los grupos Γ R = Im (ρ R ) y Γ = ρ R (π 1 (M; x)) satisacen ue det 1 Γ Γ R Z/2Z 1 es una suceción exacta corta, Γ actúa libremente en H y además (M, σ) (H/, R / ) como curvas algebraicas reales. 2. si ρ R es otra representación real de πr 1 ((M, σ); x) con las mismas propiedades, entonces existe g PSL(2, R) y δ Aut Z/2Z (π R 1 ((M, σ); x)) tal ue ρ R = Ad g ρ R δ 1. Demostración. 1. Sea ϕ : M H un isomorismo de supericies de Riemann ijo. Sea π1 ρ R : R ((M, σ); x) PGL(2, R) ϕ ϕ 1. Sean, g π1 R ((M, σ); x), entonces ρ( g) = ϕ g ϕ 1 = ϕ ϕ 1 ϕ g ϕ 1 = ρ() ρ(g), luego ρ es un homomorismo de grupos. Si ρ R () = Id H, entonces = ϕ 1 Id H ϕ = Id M, luego ρ R es inyectiva. Como ρ R es un monomorismo de grupos, entonces Γ := ρ R (π 1 (M; x)) π 1 (M; x) está incluido propiamente en Γ R := Im (ρ R ) π1 R ((M, σ); x), y si A, B Γ R \ Γ, entonces tenemos ue existen, g π1 R ((M, σ); x) \ π 1 (M; x) tales ue A = ρ R (), B = ρ R (g). Dado ue g 1 π1 R ((M, σ); x), entonces AB 1 Γ, de donde la sucesión det 1 Γ Γ R Z/2Z 1 es una sucesión exacta corta. Tenemos ue Γ actúa en H por la acción heredada de π 1 (M; x) Aut( M/M) sobre M, como mostramos en el teorema 2.22 esta acción es libre y discontinua. Como Γ PSL(2, R) actúa discontinuamente, por el teorema 2.20 tenemos ue Γ es un subconjunto discreto de PSL(2, R). Además, para un elemento A Γ R \ Γ tenemos ue Γ R = Γ (A Γ), con A Γ PGL(2, R) \ PSL(2, R), dado ue Γ es un subconjunto discreto y la multiplicación a izuierda por un elemento es un homeomorismo, tenemos ue A Γ es un subconjunto discreto de la componente conexa PGL(2, R) \ PSL(2, R). Dado ue Γ R es una unión disjunta de dos subconjuntos discretos, cada uno en dierentes componentes conexas, es un subconjunto discreto de PGL(2, R). Como Γ R es un subgrupo discreto, el cual es una extesión de Z/2Z por Γ = Γ R PSL(2, R), por la observación 3.10 tenemos ue H/ es una

17 Lecturas Matemáticas, vol. 33(2) (2012), págs supericie de Riemann, la cual posee una estructura real dada por el elemento no trivial de Γ R /Γ {1, τ}. Sea ψ : H/ M h Γ p(ϕ 1 (h)), el cual es un isomorismo de supericies de Riemann. Tenemos ue si h H entonces σ ψ(h Γ) = σ(p(ϕ 1 (h))) = p σ(ϕ 1 (h)) = p ϕ 1 γ B ϕ ϕ 1 (h) = p ϕ 1 (γ B (h)) = ψ τ(h) Luego ψ es un isomorismo de curvas algebraicas reales. 2. Ahora, si ρ R es otra representación real de πr 1 ((M, σ); x) con las mismas propiedades, entonces sean Γ R = Im (ρ R ), Γ = ρ R (π 1(M; x)) y ψ : H/Γ M. Entonces tenemos ue (H/Γ, Γ R/Γ ) ψ (M, σ) como curvas algebraicas reales. Usaremos este isomorismo para encontrar g. Dados x un punto en la ibra p 1 ({x}) y h ψ 1 (x), existe ϕ := ψ 1 : M x H. Sea g = ϕ ϕ 1 : H H Aut(H). Entonces para π R 1 ((M, σ); x) tenemos ue Ad g ρ R () = g ρ() g 1 = ϕ ϕ 1 (ϕ ϕ 1 ) ϕ ϕ 1 = ϕ ϕ 1. Sea γ = ϕ ϕ 1, entonces γ PGL(2, R) es tal ue el diagrama M x M x ϕ H γ H conmuta. De auí, γ es una transormación de H ue induce en el cociente H/Γ un elemento en Γ R /Γ. Dado ue (M, σ) (H/Γ, Γ R /Γ ), cuyo automorismo está inducido por ϕ y dado ue π1 R ((H/Γ, Γ R /Γ) ; h) = Γ R, entonces γ Γ R = Im (ρ R ). Por lo tanto podemos deinir ϕ δ : π1 R ((M, σ); x) π1 R ((M, σ); x) ρ 1 R Ad g ρ R () de donde δ Aut Z/2Z (π R 1 ((M, σ); x)) es tal ue ρ R = Ad g ρ R δ 1.

18 124 Andrés Jaramillo Puentes. Uniormización de curvas algebraicas reales Basados en la demostración anterior y usando la misma notación, tenemos ue a un isomorismo ϕ : M H, es decir, una estructura de supericie de Riemann para M, le podemos asociar una representación real ψ(ϕ) de π R 1 ((M, σ); x) en PGL(2, R) iel y discreta ue respecta extensiones, es decir un punto en el espacio Hom d Z/2Z(π R 1 ((M, σ); x), PGL(2, R)). Sobre el espacio Hom d Z/2Z(π R 1 ((M, σ); x), PGL(2, R)) también tenemos una acción de Aut Z/2Z (π R 1 ((M, σ); x)) dada por δ ρ R = ρ R δ 1. Como ρ R es un homomorismo, si δ es el automorismo interior deinido por congujar por un elemento 0 π 1 (M; x) tenemos ue para π R 1 ((M, σ); x) δ ρ R () = ρ R δ 1 () = ρ R ( 1 0 0) = ρ R ( 1 0 ) ρ R() ρ R ( 0 ) = Ad ρr ( 1 0 ) ρ R() y dado ue ρ R (0 1 ) PSL(2, R), esta acción ya está contemplada. Consideremos la restricción al conjunto Out R := Aut Z/2Z (π R 1 ((M, σ); x))/inn(π 1 (M; x)). Si ρ R, ρ R Homd Z/2Z(π1 R ((M, σ); x), PGL(2, R)) son tales ue Im (ρ R ) = Im (ρ R) entonces (H/Γ, Γ R /Γ) = (H/Γ, Γ R /Γ ) y además δ := ρ 1 R ρ R Aut(π1 R ((M, σ); x)) es tal ue ρ R = ρ R δ 1. Si δ Inn(π 1 (M; x)) entonces ρ R = Ad g ρ R para g Γ. La estructura real σ está ligada a la supericie de Riemann M. Así ue si uisieramos pensar en deormaciones de la estructura de curva algebraica de (M, σ), deberíamos pensar en deormaciones de la estructura de supericie de Klein de M/σ. Por la euivalencia dada, esto corresponde a una estructura real σ sobre una supericie de Riemann M tal ue M /σ es homeomoro a M/σ, el cual es el espacio topológico invariante. Esta construcción nos permite enunciar el siguiente corolario. Corolario Sea (M, σ) una curva algebraica real hiperbólica y x M. Hay una biyección entre clases de isomorismo de curvas algebraicas reales (N, τ) tales ue N/τ es homeomora a M/σ, y el conjunto Hom d Z/2Z(π R 1 ((M, σ); x), PGL(2, R)) módulo la acción de PSL(2, R) y la acción de Out R (π R 1 ((M, σ); x)). Demostración. Sea (M, σ) una curva algebraica real y sea x M. Si (M, σ ) es una curva algebraica real isomora a (M, σ), existe ψ : M M tal ue σ = ψ σ ψ 1 y π1 R ((M, σ ); ψ(x)) π1 R ((M, σ); x). Por el teorema 3.11 (usando la misma notación) tenemos ue existen ρ R, ρ R Homd Z/2Z(π1 R ((M, σ); x), PGL(2, R)) tales ue (H/Γ, Γ R /Γ) φ (M, σ) ψ (M, σ ) φ 1 (H/Γ, Γ R/Γ )

19 Lecturas Matemáticas, vol. 33(2) (2012), págs escogiendo puntos h, h H en las ibras de φ 1 (x) y φ (ψ(x)) respectivamente, tenemos ue existe g PSL(2, R) tal ue ρ R = Ad g ρ R y tomando δ := ρ 1 R Ad g ρ R tenemos ue ρ R = Ad g ρ R δ 1 y así las representaciones están en la misma órbita. Si tenemos dos representaciones ρ R, ρ R Hom d Z/2Z(π1 R ((M, σ); x), PGL(2, R)) ue están en la misma órbita, entonces existen g PSL(2, R) y δ Out R (π1 R ((M, σ); x)) tales ue ρ R = Ad g ρ R δ 1, entonces por las observaciones hechas tenemos ue g induce un isomorismo en las curvas algebraicas reales (H/Γ, Γ R /Γ) g (H/Γ, Γ R /Γ ) Cubrimientos algebraicos reales. Deinición Deinimos: 1. Un cubrimiento real de (M, σ) es un cubrimiento : N M por una curva algebraica real (N, τ) tal ue el diagrama N τ N M σ M conmuta. Lo denotaremos por p : (N, τ) (M, σ). 2. Sea : (N, τ) (M, σ) un cubrimiento real, entonces un cubrimiento real r : (N, τ ) (M, σ) es un subcubrimiento real de si existe : N N un cubrimiento analítico tal ue el diagrama N τ N τ r N r M σ M conmuta, es decir, es un morismo de curvas algebraicas reales ue es un cubrimiento. Dado ue r : N M es un cubrimiento intermedio de, le corresponde un subgrupo del grupo de automorismos de. Más aún, si g Aut(N/N ) Aut(N/M) entonces g = y (τ g τ) = τ g τ = τ τ = τ 2 = luego (τ g τ) Aut(N/N ), el cual es un subgrupo τ-invariante de Aut(N/M). Recíprocamente, si tomamos H Aut(N/M) el cual es τ-invariante, el cociente N/H tiene una estructura real inducida por τ deinida por τ : N/H N/H [n] [τ(n)]. N

20 126 Andrés Jaramillo Puentes. Uniormización de curvas algebraicas reales Para ver ue está bien deinida, tomemos n [n], luego existe g H tal ue g(n) = n y entonces τ(n ) = τ(g(n)) = τ g(n) = τ g τ 2 (n) = (τ g τ) τ(n) = g (τ(n)) [τ(n)] donde g = τ g τ H (puesto ue H es τ-invariante). Luego τ está bien deinida. Deiniendo r : N/H M : [n] (n) se tiene ue r τ ([n]) = r([τ(n)]) = (τ(n)) = σ((n)). Deinición Un cubrimiento real p : (M, σ ) (M, σ) es el cubrimiento universal real de (M, σ) si para cada otro cubrimiento real : (N, τ) (M, σ) existe : (M, σ ) (N, τ) tal ue el diagrama conmuta. M σ p N τ N M σ M p M Si M es una supericie de Riemann y x M. Por el lema 3.6 para cualesuiera x y σ(x) puntos en la ibras p 1 ({x}) y p 1 ({σ(x)}) respectivamente, existe σ : M x M x tal ue p σ = σ p con p : M x M cubrimiento universal de M. Luego p σ 2 = σ p σ = σ 2 p = p, por lo ue σ 2 π 1 (M; x). De auí, un subcubrimiento real de p ue tenga una estructura real inducida por σ estaría en correspondencia con un subgrupo del grupo de automorismos de p ue contiene σ 2 y es σ-invariante. El subgrupo más peueño ue satisace esto es < σ 2 > y está asociado al cubrimiento M/ < σ 2 > M inducido por p con la estructura real inducida por σ. Proposición La existencia de σ una estructura real de M x ue cubre σ es euivalente a ue el grupo undamental real π R 1 ((M, σ); x) sea isomoro a un producto semidirecto π 1 (M; x) σ Z/2Z. Demostración. Dado ue la sucesión 1 π 1 (M; x) π R 1 ((M, σ); x) Z/2Z 1 es una sucesión exacta corta, π1 R ((M, σ); x) tiene estructura de producto semidirecto si y sólo la sucesión se escinde, es decir, si existe un homomorismo φ : Z/2Z π1 R ((M, σ); x) tal ue φ( 1) π1 R ((M, σ); x) \ π 1 (M; x), de orma euivalente, ue exista una biyección anti-holomora de M x de orden 2 ue cubra sigma, es decir, una estructura real de M x ue cubre σ. Proposición Si el conjunto de puntos reales M σ = {x X σ(x) = x} es no vacío, entonces existe σ una estructura real de M x ue cubre a σ.

Uniformización de dominios en la esfera de Riemann

Uniformización de dominios en la esfera de Riemann Uniformización de dominios en la esfera de Riemann María Isabel Castro Martínez 15 de marzo de 2012 Resumen En esta sección vamos a mostrar una versión del célebre teorema de uniformización de Poincaré,

Más detalles

Grupos y Anillos - 3006993 Escuela de Matemáticas Universidad Nacional de Colombia, Sede Medellín. Problemas # 1

Grupos y Anillos - 3006993 Escuela de Matemáticas Universidad Nacional de Colombia, Sede Medellín. Problemas # 1 Grupos y Anillos - 3006993 Escuela de Matemáticas Universidad Nacional de Colombia, Sede Medellín Problemas # 1 1. Dé dos razones por las cuales el conjunto de los enteros impares no es un grupo con la

Más detalles

Introducción al Análisis Complejo

Introducción al Análisis Complejo Introducción al Análisis Complejo Aplicado al cálculo de integrales impropias Complementos de Análisis, I.P.A Prof.: Federico De Olivera Leandro Villar 13 de diciembre de 2010 Introducción Este trabajo

Más detalles

TEMA 2: Grupos. El grupo Simétrico.

TEMA 2: Grupos. El grupo Simétrico. Álgebra y Estructuras Discretas Grupo B de la Ingeniería Técnica de Sistemas TEMA 2: Grupos. El grupo Simétrico. 1. Definición de Grupo. Propiedades Básicas. Definición 1. Dado un conjunto no vacío G,

Más detalles

Grupos. 2.1 Introducción. Capítulo

Grupos. 2.1 Introducción. Capítulo Capítulo 2 Grupos 2.1 Introducción La estructura de grupo es una de las más comunes en toda la matemática pues aparece en forma natural en muchas situaciones, donde se puede definir una operación sobre

Más detalles

Álgebra II. Tijani Pakhrou

Álgebra II. Tijani Pakhrou Álgebra II Tijani Pakhrou Índice general 1. Teoría de conjuntos 1 1.1. Conjuntos................................. 1 1.2. Productos cartesianos........................... 6 1.3. Relaciones de equivalencia........................

Más detalles

Tema 8.3: Teorema de Riemann (fundamental) de la Representación Conforme. Clasi cación de los abiertos simplemente conexos del plano

Tema 8.3: Teorema de Riemann (fundamental) de la Representación Conforme. Clasi cación de los abiertos simplemente conexos del plano Tema 8.3: Teorema de Riemann (fundamental) de la Representación Conforme. Clasi cación de los abiertos simplemente conexos del plano Facultad de Ciencias Experimentales, Curso 2008-09 Enrique de Amo, Universidad

Más detalles

ESTRUCTURAS ORDENADAS Ordenes y Retículos

ESTRUCTURAS ORDENADAS Ordenes y Retículos ESTRUCTURAS ORDENADAS Ordenes y Retículos Renato Lewin Pontificia Universidad Católica de Chile Julio de 1998 1 Conjuntos Ordenados 1.1 Definición y Ejemplos Un conjunto parcialmente ordenado, o simplemente

Más detalles

Fundamentos algebraicos

Fundamentos algebraicos Fundamentos algebraicos 1. Grupos Sea S un conjunto. Se denota con S S el conjunto de los pares ordenados (s, t) con s, t en S. Un mapeo de S S en S se llama operación binaria en S. Esta definición requiere

Más detalles

El Teorema de existencia y unicidad de Picard

El Teorema de existencia y unicidad de Picard Tema 2 El Teorema de existencia y unicidad de Picard 1 Formulación integral del Problema de Cauchy El objetivo del presente Tema, y del siguiente, es analizar el Problema de Cauchy para un SDO de primer

Más detalles

Ejemplos: Sean los conjuntos: A = { aves} B = { peces } C = { anfibios }

Ejemplos: Sean los conjuntos: A = { aves} B = { peces } C = { anfibios } La Teoría de Conjuntos es una teoría matemática, que estudia básicamente a un cierto tipo de objetos llamados conjuntos y algunas veces, a otros objetos denominados no conjuntos, así como a los problemas

Más detalles

Conjuntos, Relaciones y Funciones

Conjuntos, Relaciones y Funciones Conjuntos, Relaciones y Funciones 0.1 Conjuntos El término conjunto y elemento de un conjunto son términos primitivos y no definidos. De un punto de vista intuitivo parece ser que cualquier colección de

Más detalles

1. Introducción. 2. Prerrequisitos. 2.1. Teoría de grupos.

1. Introducción. 2. Prerrequisitos. 2.1. Teoría de grupos. 1. Introducción. Estas son las notas del curso Matrices Gruperas: una introducción a la Teoría de Representaciones de Grupos, impartido por Luis Valero Elizondo en la I Escuela de Algebra del CIMAT, del

Más detalles

Apuntes de Matemática Discreta 9. Funciones

Apuntes de Matemática Discreta 9. Funciones Apuntes de Matemática Discreta 9. Funciones Francisco José González Gutiérrez Cádiz, Octubre de 004 Universidad de Cádiz Departamento de Matemáticas ii Lección 9 Funciones Contenido 9.1 Definiciones y

Más detalles

TEMA II: CONJUNTOS Y RELACIONES DE ORDEN. Álgebra II García Muñoz, M.A.

TEMA II: CONJUNTOS Y RELACIONES DE ORDEN. Álgebra II García Muñoz, M.A. TEMA II: CONJUNTOS Y RELACIONES DE ORDEN OBJETIVOS GENERALES 1. Hacer que el alumno asimile el concepto de conjunto como la estructura algebraica más simple en la que se ambientarán el resto de las estructuras

Más detalles

Ejercicios de álgebra 1 Cuarto curso (2003/04)

Ejercicios de álgebra 1 Cuarto curso (2003/04) Departamento de Álgebra, Geometría y Toplogía. Universidad de Málaga Ejercicios de álgebra 1 Cuarto curso (2003/04) Relación 4. Anillos y módulos de fracciones Profesor de la asignatura: José Antonio Cuenca

Más detalles

Conjuntos, Relaciones y Grupos. Problemas de examen.

Conjuntos, Relaciones y Grupos. Problemas de examen. Conjuntos, Relaciones y Grupos. Problemas de examen. Mayo 2006 1. La función f es definida por (a) Halle el recorrido exacto, A, de f. f : R R donde f(x) = e senx 1. (b) (i) Explique por qué f no es inyectiva.

Más detalles

(3) Regla del cociente: Si g(z 0 ) 0, f/g es derivable en z 0 y. (z 0 ) = f (z 0 )g(z 0 ) f(z 0 )g (z 0 ) . g

(3) Regla del cociente: Si g(z 0 ) 0, f/g es derivable en z 0 y. (z 0 ) = f (z 0 )g(z 0 ) f(z 0 )g (z 0 ) . g Funciones holomorfas 2.1. Funciones variable compleja En este capítulo vamos a tratar con funciones f : Ω C C, donde Ω C es el dominio de definición. La forma habitual de expresar estas funciones es como

Más detalles

ESTRUCTURA DELTA Y HOMOLOGIA DE ALGUNAS VARIEDADES COMPACTAS DE DIMENSION 3

ESTRUCTURA DELTA Y HOMOLOGIA DE ALGUNAS VARIEDADES COMPACTAS DE DIMENSION 3 UNIVERSIDAD NACIONAL DE TUCUMAN FACULTAD DE CIENCIAS EXACTAS Y TECNOLOGIA Departamento de Matemática SEMINARIO PARA ACCEDER AL TITULO DE LICENCIADO EN MATEMATICA ESTRUCTURA DELTA Y HOMOLOGIA DE ALGUNAS

Más detalles

DOMINIOS DE DEDEKIND

DOMINIOS DE DEDEKIND DOMINIOS DE DEDEKIND MARIANO SUÁREZ-ALVAREZ Índice 1. Dominios de Dedekind 1 2. Módulos, I 4 3. Módulos, II 7 4. La caracterización de Noether 10 Referencias 11 1. Dominios de Dedekind 1.1. Sea A un dominio

Más detalles

Teorema de estructura de los módulos finitamente generados sobre un D.I.P.. Aplicaciones

Teorema de estructura de los módulos finitamente generados sobre un D.I.P.. Aplicaciones Tema 13.- Teorema de estructura de los módulos finitamente generados sobre un D.I.P.. Aplicaciones 13.1 Teorema de estructura de los módulos finitamente generados sobre un D.I.P. En lo que sigue A denotará

Más detalles

Concepto de función y funciones elementales

Concepto de función y funciones elementales Concepto de unción unciones elementales Matemáticas I - º Bachillerato Las unciones describen enómenos cotidianos, económicos, psicológicos, cientíicos Tales unciones se obtienen eperimentalmente, mediante

Más detalles

CONTINUIDAD DE FUNCIONES DE VARIAS VARIABLES

CONTINUIDAD DE FUNCIONES DE VARIAS VARIABLES CAPÍTULO II. CONTINUIDAD DE FUNCIONES DE VARIAS VARIABLES SECCIONES 1. Dominios y curvas de nivel. 2. Cálculo de ites. 3. Continuidad. 55 1. DOMINIOS Y CURVAS DE NIVEL. Muchos problemas geométricos y físicos

Más detalles

FAMILIAS NORMALES VARIABLE COMPLEJA #6

FAMILIAS NORMALES VARIABLE COMPLEJA #6 VARIABLE COMPLEJA #6 FAMILIAS NORMALES Recordemos que F C(D, C) es una familia normal cuando cada sucesión en F tiene una subsucesión que converge en C(D, C). Esto es lo mismo que decir que cerr(f) es

Más detalles

Una prueba sencilla del teorema de los ceros de Hilbert usando bases de Gröbner A simple proof of Hilbert s Nullstellensatz based on Gröbner bases

Una prueba sencilla del teorema de los ceros de Hilbert usando bases de Gröbner A simple proof of Hilbert s Nullstellensatz based on Gröbner bases Lecturas Matemáticas Volumen 34 (1) (2013), páginas 77 82 ISSN 0120 1980 Una prueba sencilla del teorema de los ceros de Hilbert usando bases de Gröbner A simple proof of Hilbert s Nullstellensatz based

Más detalles

Espacios vectoriales y aplicaciones lineales

Espacios vectoriales y aplicaciones lineales Capítulo 3 Espacios vectoriales y aplicaciones lineales 3.1 Espacios vectoriales. Aplicaciones lineales Definición 3.1 Sea V un conjunto dotado de una operación interna + que llamaremos suma, y sea K un

Más detalles

PRESENTACIONES LIBRES Y H2n (G)

PRESENTACIONES LIBRES Y H2n (G) Pub. Mat. UAB Vol. 30 n2 2-3 Des. 1986 PRESENTACIONES LIBRES Y H2n (G) Antonio G. Rodicio ABSTRACT In this paper we get, for a group G, a group theoretic expression for H2n (G), n>2. 1.-INTRODUCCION Sea

Más detalles

Variedades Diferenciables. Extremos Condicionados

Variedades Diferenciables. Extremos Condicionados Capítulo 16 Variedades Diferenciables. Extremos Condicionados Vamos a completar lo visto en los capítulos anteriores sobre el teorema de las Funciones Implícitas y Funciones Inversas con un tema de iniciación

Más detalles

Anillos Especiales. 8.1 Conceptos Básicos. Capítulo

Anillos Especiales. 8.1 Conceptos Básicos. Capítulo Capítulo 8 Anillos Especiales 8.1 Conceptos Básicos En este capítulo nos dedicaremos al estudio de algunos anillos especiales que poseen ciertas condiciones adicionales, aparte de las propias de la definición,

Más detalles

Notas del curso de Algebra Moderna I

Notas del curso de Algebra Moderna I Notas del curso de Algebra Moderna I Luis Valero Elizondo 21 de Agosto del 2004 Índice general 1. Grupos. 5 1.1. Operaciones binarias........................ 5 1.2. Semigrupos.............................

Más detalles

Aplicaciones lineales

Aplicaciones lineales Capítulo 4 Aplicaciones lineales 4.1. Introduccción a las aplicaciones lineales En el capítulo anterior encontramos la aplicación de coordenadas x [x] B que asignaba, dada una base del espacio vectorial,

Más detalles

Singularidades de campos de vectores reales: perfil topológico (I)

Singularidades de campos de vectores reales: perfil topológico (I) Singularidades de campos de vectores reales: perfil topológico (I) VI Escuela Doctoral de Matemáticas PUCP-UVA 2013 Conceptos básicos Sea U un abierto del espacio euclídeo R n. Un campo de vectores en

Más detalles

PRUEBA ELEMENTAL DEL TEOREMA DE INVARIANCIA DE LA DIMENSION. 1. Introducción

PRUEBA ELEMENTAL DEL TEOREMA DE INVARIANCIA DE LA DIMENSION. 1. Introducción PRUEBA ELEMENTAL DEL TEOREMA DE INVARIANCIA DE LA DIMENSION RAFAEL POTRIE Resumen. La idea es dar una prueba elemental del Teorema de invariancia de la dimension que afirma que si U R n es un abierto homeomorfo

Más detalles

Variable Compleja. José Darío Sánchez Hernández Bogotá -Colombia - abril 2005 danojuanos@hotmail.com danojuanos@tutopia.com

Variable Compleja. José Darío Sánchez Hernández Bogotá -Colombia - abril 2005 danojuanos@hotmail.com danojuanos@tutopia.com Variable Compleja José Darío Sánchez Hernández Bogotá -Colombia - abril 2005 danojuanos@hotmail.com danojuanos@tutopia.com El objeto de estas notas es brindar al lector un modelo de aprendizaje. A continuación

Más detalles

Subconjuntos destacados en la

Subconjuntos destacados en la 2 Subconjuntos destacados en la topología métrica En este capítulo, introducimos una serie de conceptos ligados a los puntos y a conjuntos que por el importante papel que juegan en la topología métrica,

Más detalles

TRANSFORMACIONES DE MÖBIUS Una Introducción

TRANSFORMACIONES DE MÖBIUS Una Introducción U T F S M Universidad Tecnica Federico Santa Maria TRANSFORMACIONES DE MÖBIUS Una Introducción Rubén A. Hidalgo Departamento de Matemática Universidad Técnica Federico Santa María Rubén A. Hidalgo TRANSFORMACIONES

Más detalles

Tema 2. Espacios Vectoriales. 2.1. Introducción

Tema 2. Espacios Vectoriales. 2.1. Introducción Tema 2 Espacios Vectoriales 2.1. Introducción Estamos habituados en diferentes cursos a trabajar con el concepto de vector. Concretamente sabemos que un vector es un segmento orientado caracterizado por

Más detalles

ECUACIONES DIFERENCIALES ORDINARIAS. HOJA 9. La aplicación de Poincaré

ECUACIONES DIFERENCIALES ORDINARIAS. HOJA 9. La aplicación de Poincaré ECUACIONES DIFERENCIALES ORDINARIAS. HOJA 9. SISTEMAS PLANOS. TEOREMA DE POINCARÉ-BENDIXSON. La aplicación de Poincaré Recordemos que un subconjunto H de R n es una subvariedad de codimensión uno (o una

Más detalles

CURSO CERO. Departamento de Matemáticas. Profesor: Raúl Martín Martín Sesiones 18 y 19 de Septiembre

CURSO CERO. Departamento de Matemáticas. Profesor: Raúl Martín Martín Sesiones 18 y 19 de Septiembre CURSO CERO Departamento de Matemáticas Profesor: Raúl Martín Martín Sesiones 18 y 19 de Septiembre Capítulo 1 La demostración matemática Demostración por inducción El razonamiento por inducción es una

Más detalles

Apuntes de Estructuras Algebraicas

Apuntes de Estructuras Algebraicas Apuntes de Estructuras Algebraicas por Enrique Arrondo(*) Versión del 17 de Mayo de 2011 1. Teoría básica de grupos, anillos y cuerpos 2. Divisibilidad y factorización en anillos 3. Raíces de polinomios

Más detalles

No. 2 Anillos. Oswaldo Lezama. Departamento de Matemáticas Facultad de Ciencias Universidad Nacional de Colombia Sede de Bogotá

No. 2 Anillos. Oswaldo Lezama. Departamento de Matemáticas Facultad de Ciencias Universidad Nacional de Colombia Sede de Bogotá CUADERNOS DE ÁLGEBRA No. 2 Anillos Oswaldo Lezama Departamento de Matemáticas Facultad de Ciencias Universidad Nacional de Colombia Sede de Bogotá 30 de junio de 2014 ii Cuaderno dedicado a Lukas, mi hijo.

Más detalles

9.1 Primeras definiciones

9.1 Primeras definiciones Tema 9- Grupos Subgrupos Teorema de Lagrange Operaciones 91 Primeras definiciones Definición 911 Una operación binaria en un conjunto A es una aplicación α : A A A En un lenguaje más coloquial una operación

Más detalles

Ext 1 Z (A, B): La construcción de un invariante clásico

Ext 1 Z (A, B): La construcción de un invariante clásico Ext 1 Z (A, B): La construcción de un invariante clásico Hipolito Jose Trenger Cienfuegos 20 de marzo de 2013 Resumen A mediados del siglo XX los matemáticos Henri Cartan y Samuel Eilenberg, por un lado,

Más detalles

Números algebraicos. Cuerpos de números. Grado.

Números algebraicos. Cuerpos de números. Grado. < Tema 5.- Números algebraicos. Cuerpos de números. Grado. 5.1 Cuerpo de fracciones de un dominio. Tratamos de generalizar la construcción de Q, a partir de Z. Sea A un dominio de integridad. En A (A \

Más detalles

Grupos. Subgrupos. Teorema de Lagrange. Operaciones.

Grupos. Subgrupos. Teorema de Lagrange. Operaciones. 1 Tema 1.-. Grupos. Subgrupos. Teorema de Lagrange. Operaciones. 1.1. Primeras definiciones Definición 1.1.1. Una operación binaria en un conjunto A es una aplicación α : A A A. En un lenguaje más coloquial

Más detalles

GEOMETRÍA DEL ESPACIO EUCLÍDEO

GEOMETRÍA DEL ESPACIO EUCLÍDEO CAPÍTULO I. GEOMETRÍA DEL ESPACIO EUCLÍDEO SECCIONES 1. Vectores. Operaciones con vectores. 2. Rectas y planos en R 3. 3. Curvas y superficies en R 3. 4. Nociones de topología métrica. 1 1. VECTORES. OPERACIONES

Más detalles

Estructuras Algebraicas Una estructura algebraica es un objeto matemático consistente en un conjunto no vacío, con por lo menos una operación binaria.

Estructuras Algebraicas Una estructura algebraica es un objeto matemático consistente en un conjunto no vacío, con por lo menos una operación binaria. Estructuras Algebraicas Una estructura algebraica es un objeto matemático consistente en un conjunto no vacío, con por lo menos una operación binaria. Operación Binaria Se conoce una operación binaria

Más detalles

Análisis de una variable real I. Tijani Pakhrou

Análisis de una variable real I. Tijani Pakhrou Análisis de una variable real I Tijani Pakhrou Índice general 1. Introducción axiomática de los números 1 1.1. Números naturales............................ 1 1.1.1. Axiomas de Peano........................

Más detalles

Espacios de Hilbert. 10.1. Producto Escalar y Norma. Tema 10

Espacios de Hilbert. 10.1. Producto Escalar y Norma. Tema 10 Tema 10 Espacios de Hilbert Vamos a desarrollar en lo que sigue los resultados básicos acerca de los espacios de Hilbert, un tipo muy particular de espacios de Banach con propiedades especiales que están

Más detalles

ESTRUCTURAS ALGEBRAICAS GRUPOS Y ANILLOS

ESTRUCTURAS ALGEBRAICAS GRUPOS Y ANILLOS M O N O G R A F Í A S M A T E M Á T I C A S U F R O ESTRUCTURAS ALGEBRAICAS GRUPOS Y ANILLOS e a b c d f e e a b c d f a a b e f c d b b e a d f c c c d f e a b d d f c b e a f f c d a b e Departamento

Más detalles

4 Acción de un grupo sobre un conjunto

4 Acción de un grupo sobre un conjunto 15 4 Acción de un grupo sobre un conjunto Aunque esta lección tiene entidad en sí misma con un contenido claramente geométrico, su inclusión en este curso es claramente instrumental a fin de exponer una

Más detalles

Análisis III. Joaquín M. Ortega Aramburu

Análisis III. Joaquín M. Ortega Aramburu Análisis III Joaquín M. Ortega Aramburu Septiembre de 1999 Actualizado en julio de 2001 2 Índice General 1 Continuidad en el espacio euclídeo 5 1.1 El espacio euclídeo R n...............................

Más detalles

Funciones analíticas CAPÍTULO 2 2.1 INTRODUCCIÓN

Funciones analíticas CAPÍTULO 2 2.1 INTRODUCCIÓN CAPÍTULO 2 Funciones analíticas 2.1 INTRODUCCIÓN Para definir las series de potencias y la noción de analiticidad a que conducen, sólo se necesitan las operaciones de suma y multiplicación y el concepto

Más detalles

Demostración. En efecto, dado que A <,

Demostración. En efecto, dado que A <, TEORÍA DE GRUPOS 1.Definición y Propiedades Básicas 1.1.Magmas. Una operación binaria definida en un conjunto A es una función : A A A. Como es usual, dados a, b A, escribiremos a b en lugar de (a, b).

Más detalles

EJERCICIOS DEL CAPÍTULO I

EJERCICIOS DEL CAPÍTULO I EJERCICIOS DEL CAPÍTULO I 1. Un grupo es una tipo particular de Ω estructura cuando Ω es el tipo Ω = { } siendo una operación de aridad dos. Pero un grupo también es una Ω -estructura siendo Ω = {e, i,

Más detalles

Contracción Hiperbólica

Contracción Hiperbólica Contracción Hiperbólica 1 Métricas Inducidas Sean U, V C abiertos, π : U V un cubriente clase C. Sea g ρ la métrica hiperbólica sobre D y ρ(z) = 2/(1 z 2 ) su densidad hiperbólica. Pullback de la métrica

Más detalles

Notas del curso de Algebra Moderna II

Notas del curso de Algebra Moderna II Notas del curso de Algebra Moderna II Luis Valero Elizondo 15 de Enero del 2004 Índice general 1. Anillos. 5 1.1. Monoides.............................. 5 1.2. Anillos............................... 5

Más detalles

A L G E B R A: Estructuras Algebraicas

A L G E B R A: Estructuras Algebraicas A L G E B R A: Estructuras Algebraicas Francisco Rivero Departamento de Matemticas Facultad de Ciencias Universidad de Los Andes. Diagramacin de texto: Carlos Cova, Edgar Iturriaga y Antonio Vizcaya. 2

Más detalles

RELACIONES Y FUNCIONES

RELACIONES Y FUNCIONES RELACIONES Y FUNCIONES 1.1. DEFINICIÓN Y EJEMPLOS Definición 1.1.1. Sean A, B conjuntos, definimos el par ordenado A coma B, denotado (A, B) como el conjunto (A, B) = {{A}, {A, B}}. Observación 1.1.1.

Más detalles

ÁLGEBRA ABSTRACTA Notas de curso

ÁLGEBRA ABSTRACTA Notas de curso UNIVERSIDAD CENTRAL DE VENEZUELA. ESCUELA DE MATEMÁTICA. ÁLGEBRA ABSTRACTA Notas de curso MARCO A. PÉREZ B. Octubre, 2012. Estas notas están basadas en un curso dado por Inés Nuñez en la Universidad Central

Más detalles

3. RELACIONES Y FUNCIONES 41 3.1. DEFINICIÓN Y EJEMPLOS... 41 3.2. DOMINIO, RECORRIDO Y RELACIÓN INVERSA... 42 3.3. COMPOSICIÓN DE RELACIONES...

3. RELACIONES Y FUNCIONES 41 3.1. DEFINICIÓN Y EJEMPLOS... 41 3.2. DOMINIO, RECORRIDO Y RELACIÓN INVERSA... 42 3.3. COMPOSICIÓN DE RELACIONES... ÍNDICE 3. RELACIONES Y FUNCIONES 41 3.1. DEFINICIÓN Y EJEMPLOS......................... 41 3.2. DOMINIO, RECORRIDO Y RELACIÓN INVERSA............ 42 3.3. COMPOSICIÓN DE RELACIONES.....................

Más detalles

ESTRUCTURAS ALGEBRAICAS

ESTRUCTURAS ALGEBRAICAS ESTRUCTURAS ALGEBRAICAS 1.1. LEY DE COMPOSICIÓN INTERNA Definición 1.1.1. Sea E un conjunto, se llama ley de composición interna en E si y sólo si a b = c E, a, b E. Observación 1.1.1. 1. también se llama

Más detalles

Tema 3. Espacios vectoriales

Tema 3. Espacios vectoriales Tema 3. Espacios vectoriales Estructura del tema. Definición y propiedades. Ejemplos. Dependencia e independencia lineal. Conceptos de base y dimensión. Coordenadas Subespacios vectoriales. 0.1. Definición

Más detalles

Ejercicios de álgebra 1 Cuarto curso (2003/04)

Ejercicios de álgebra 1 Cuarto curso (2003/04) Departamento de Álgebra, Geometría y Toplogía. Universidad de Málaga Ejercicios de álgebra 1 Cuarto curso (2003/04) Relación 1. Ideales primos y maximales. Nilradical y radical de Jacobson Profesor de

Más detalles

Un Estudio Elemental de los Grupos cuyo Orden es Producto de dos Primos

Un Estudio Elemental de los Grupos cuyo Orden es Producto de dos Primos Divulgaciones Matemáticas Vol. 11 No. 1(2003), pp. 61 70 Un Estudio Elemental de los Grupos cuyo Orden es Producto de dos Primos An Elemental Study of Groups whose Order is a Product of two Primes Alfonso

Más detalles

Una generalización algebraica del teorema de Cantor-Bernstein a módulos inyectivos puros sobre dominios enteros

Una generalización algebraica del teorema de Cantor-Bernstein a módulos inyectivos puros sobre dominios enteros 17 Una generalización algebraica del teorema de Cantor-Bernstein a módulos inyectivos puros sobre dominios enteros Jorge Eduardo Macías Díaz 1 Bernardo Isidro Guerrero Macías 1 RESUMEN Este artículo presenta

Más detalles

Fascículo 2. Álgebra Lineal. Cursos de grado. Gabriela Jeronimo Juan Sabia Susana Tesauri. Universidad de Buenos Aires

Fascículo 2. Álgebra Lineal. Cursos de grado. Gabriela Jeronimo Juan Sabia Susana Tesauri. Universidad de Buenos Aires Fascículo 2 Cursos de grado ISSN 1851-1317 Gabriela Jeronimo Juan Sabia Susana Tesauri Álgebra Lineal Departamento de Matemática Facultad de Ciencias Exactas y Naturales Universidad de Buenos Aires 2008

Más detalles

TEORÍA DE CONJUNTOS. J. CLIMENT VIDAL

TEORÍA DE CONJUNTOS. J. CLIMENT VIDAL TEORÍ DE CONJUNTOS. J. CLIMENT VIDL Resumen. Enunciamos los axiomas de extensionalidad, del conjunto vacío, del conjunto par no ordenado, de la unión, del conjunto potencia y el esquema axiomático de separación.

Más detalles

Ecuaciones Lineales y Anillos Conmutativos

Ecuaciones Lineales y Anillos Conmutativos extracta mathematicae Vol. 17, Núm. 2, 247 257 (2002) Ecuaciones Lineales y Anillos Conmutativos J.J. Aparicio Pedreño Dpto. de Matemática Aplicada y Estadística, Univ. Politécnica de Cartagena 30203 Cartagena,

Más detalles

Repaso de funciones elementales, límites y continuidad

Repaso de funciones elementales, límites y continuidad Tema 3 Repaso de funciones elementales, ites y continuidad 3.1. Funciones. Definiciones básicas. Operaciones con funciones 3.1.1. Definiciones Una función real de (una) variable real es una aplicación

Más detalles

Teoría global de Cauchy

Teoría global de Cauchy CAPÍTULO 7 Teoría global de Cauchy 7.1 INTRODUCCIÓN Los éxitos logrados con la teoría local de Cauchy invitan a refinar las herramientas básicas teorema de Cauchy, fórmula de Cauchy para ampliar su alcance.

Más detalles

Estructuras algebraicas

Estructuras algebraicas Tema 1 Estructuras algebraicas 1.1 Álgebras binarias Sea A un conjunto no vacío, una operación binaria (u operación interna) en A es una aplicación *: A A A (x, y) x * y es decir, una regla que a cada

Más detalles

Espacios vectoriales y Aplicaciones lineales

Espacios vectoriales y Aplicaciones lineales Espacios vectoriales y Aplicaciones lineales Espacios vectoriales. Subespacios vectoriales Espacios vectoriales Definición Sea V un conjunto dotado de una operación interna + que llamaremos suma, y sea

Más detalles

Tema 8: APLICACIONES AFINES

Tema 8: APLICACIONES AFINES Tema 8: APLICACIONES AFINES Prof. Rafael López Camino Departamento de Geometría y Topología Universidad de Granada Material docente para el alumno Asignatura: Geometría I. Curso 2003/04 Licenciatura: Matemáticas

Más detalles

Ejemplo 1.2 En el capitulo anterior se demostró que el conjunto. V = IR 2 = {(x, y) : x, y IR}

Ejemplo 1.2 En el capitulo anterior se demostró que el conjunto. V = IR 2 = {(x, y) : x, y IR} Subespacios Capítulo 1 Definición 1.1 Subespacio Sea H un subconjunto no vacio de un espacio vectorial V K. Si H es un espacio vectorial sobre K bajo las operaciones de suma y multiplicación por escalar

Más detalles

Espacios vectoriales con producto interno

Espacios vectoriales con producto interno Capítulo 8 Espacios vectoriales con producto interno En este capítulo, se generalizarán las nociones geométricas de distancia y perpendicularidad, conocidas en R y en R 3, a otros espacios vectoriales.

Más detalles

Teorema de Green. 6.1. Curvas de Jordan

Teorema de Green. 6.1. Curvas de Jordan Lección 6 Teorema de Green En la lección anterior, previa caracterización de los campos conservativos, hemos visto que un campo irrotacional puede no ser conservativo. Tenemos por tanto una condición fácil

Más detalles

Notas del curso de Algebra Moderna III

Notas del curso de Algebra Moderna III Notas del curso de Algebra Moderna III Luis Valero Elizondo 01 de Marzo del 2005 Índice general 1. Anillos. 5 1.1. Anillos............................... 5 1.2. Ideales................................

Más detalles

CAPÍTULO II. 4 El grupo afín

CAPÍTULO II. 4 El grupo afín CAPÍTULO II 4 El grupo afín En geometría clásica, antes de la aparición de los espacios vectoriales, se hablaba de puntos en lugar de vectores. Para nosotros serán términos sinónimos salvo que, cuando

Más detalles

No. 1 Grupos. Oswaldo Lezama. Departamento de Matemáticas Facultad de Ciencias Universidad Nacional de Colombia Sede de Bogotá

No. 1 Grupos. Oswaldo Lezama. Departamento de Matemáticas Facultad de Ciencias Universidad Nacional de Colombia Sede de Bogotá CUADERNOS DE ÁLGEBRA No. 1 Grupos Oswaldo Lezama Departamento de Matemáticas Facultad de Ciencias Universidad Nacional de Colombia Sede de Bogotá 30 de junio de 2014 ii Cuaderno dedicado a Justo Pastor,

Más detalles

Tema 10: Límites y continuidad de funciones de varias variables

Tema 10: Límites y continuidad de funciones de varias variables Tema 10: Límites y continuidad de funciones de varias variables 1 Funciones de varias variables Definición 1.1 Llamaremos función real de varias variables atodafunciónf : R n R. Y llamaremos función vectorial

Más detalles

VII. Estructuras Algebraicas

VII. Estructuras Algebraicas VII. Estructuras Algebraicas Objetivo Se analizarán las operaciones binarias y sus propiedades dentro de una estructura algebraica. Definición de operación binaria Operaciones como la suma, resta, multiplicación

Más detalles

ÁLGEBRA LINEAL. Apuntes elaborados por. Juan González-Meneses López. Curso 2008/2009. Departamento de Álgebra. Universidad de Sevilla.

ÁLGEBRA LINEAL. Apuntes elaborados por. Juan González-Meneses López. Curso 2008/2009. Departamento de Álgebra. Universidad de Sevilla. ÁLGEBRA LINEAL Apuntes elaborados por Juan González-Meneses López. Curso 2008/2009 Departamento de Álgebra. Universidad de Sevilla. Índice general Tema 1. Matrices. Determinantes. Sistemas de ecuaciones

Más detalles

El espacio de superficies en una variedad

El espacio de superficies en una variedad El espacio de superficies en una variedad Universidad de Cambridge 19 de octubre 2012 trabajo conjunto con Federico Cantero Sea M una variedad diferenciable de dimension d posiblemente con borde M. Definition

Más detalles

Espacio afín. Transformaciones afines y movimientos

Espacio afín. Transformaciones afines y movimientos Capítulo Espacio afín. Transformaciones afines y movimientos. Espacio afín y espacio afín métrico Definición. El espacio afín (tridimensional) está constituido por los siguientes elementos. El espacio

Más detalles

ESTRUCTURAS ALGEBRAICAS GRUPOS Y ANILLOS

ESTRUCTURAS ALGEBRAICAS GRUPOS Y ANILLOS M O N O G R A F Í A S M A T E M Á T I C A S U T F S M ESTRUCTURAS ALGEBRAICAS GRUPOS Y ANILLOS e a b c d f e e a b c d f a a b e f c d b b e a d f c c c d f e a b d d f c b e a f f c d a b e Departamento

Más detalles

Álgebra Conmutativa. Simplificada

Álgebra Conmutativa. Simplificada Álgebra Conmutativa Simplificada Diciembre-2003 2 Índice General 1 Módulos 5 1.1 Anillos. Ideales........................................ 5 1.2 Módulos............................................ 9 1.3

Más detalles

NOTAS PARA EL DICTADO DE CLASES DEL CURSO DE POSGRADO TEORÍA DE CATEGORÍAS

NOTAS PARA EL DICTADO DE CLASES DEL CURSO DE POSGRADO TEORÍA DE CATEGORÍAS NOTS PR EL DICTDO DE CLSES DEL CURSO DE POSGRDO TEORÍ DE CTEGORÍS (Primera clase: deinición y ejemplos) Introducción Teoría de Categorías tiene que ver con graos y tiene que ver con unciones. Tiene que

Más detalles

Tema III. Capítulo 2. Sistemas generadores. Sistemas libres. Bases.

Tema III. Capítulo 2. Sistemas generadores. Sistemas libres. Bases. Tema III Capítulo 2 Sistemas generadores Sistemas libres Bases Álgebra Lineal I Departamento de Métodos Matemáticos y de Representación UDC 2 Sistemas generadores Sistemas libres Bases 1 Combinación lineal

Más detalles

Ejemplos y problemas resueltos de análisis complejo (2014-15)

Ejemplos y problemas resueltos de análisis complejo (2014-15) Variable Compleja I (3 o de Matemáticas y 4 o de Doble Titulación) Ejemplos y problemas resueltos de análisis complejo (04-5) Teoremas de Cauchy En estos apuntes, la palabra dominio significa, como es

Más detalles

30 = 2 3 5 = ( 2) 3 ( 5) = 2 ( 3) ( 5) = ( 2) ( 3) 5.

30 = 2 3 5 = ( 2) 3 ( 5) = 2 ( 3) ( 5) = ( 2) ( 3) 5. 11 1.3. Factorización Como ya hemos mencionado, la teoría de ideales surgió en relación con ciertos problemas de factorización en anillos. A título meramente ilustrativo, nótese que por ejemplo hallar

Más detalles

CURSO DE MÉTODOS DE LA FÍSICA MATEMÁTICA ANÁLISIS FUNCIONAL OPERADORES NO ACOTADOS

CURSO DE MÉTODOS DE LA FÍSICA MATEMÁTICA ANÁLISIS FUNCIONAL OPERADORES NO ACOTADOS CURSO DE MÉTODOS DE LA FÍSICA MATEMÁTICA ANÁLISIS FUNCIONAL H. FALOMIR DEPARTAMENTO DE FÍSICA FACULTAD DE CIENCIAS EXACTAS - UNLP OPERADORES NO ACOTADOS 1. Extensiones de operadores lineales Sea A un operador

Más detalles

Grupos, anillos y cuerpos

Grupos, anillos y cuerpos Grupos, anillos y cuerpos Manuel Palacios Departamento de Matemática Aplicada Centro Politécnico Superior Universidad de Zaragoza Otoño 2002 Contents 1 Grupos 2 1.1 Subgrupos.... 5 1.2 Clases o cogrupos.......

Más detalles

Curso de conjuntos y números. Apuntes. Juan Jacobo Simón Pinero

Curso de conjuntos y números. Apuntes. Juan Jacobo Simón Pinero Curso de conjuntos y números. Apuntes Juan Jacobo Simón Pinero Curso 2013/2014 2 Índice general I Conjuntos 5 1. Conjuntos y elementos 7 1.1. Sobre el concepto de conjunto y elemento.............. 7 1.2.

Más detalles

EL TEOREMA DE CANTOR-BERNSTEIN Y LA COMPARABILIDAD PARA LOS CONJUNTOS BIEN ORDENADOS

EL TEOREMA DE CANTOR-BERNSTEIN Y LA COMPARABILIDAD PARA LOS CONJUNTOS BIEN ORDENADOS EL TEOREMA DE CANTOR-BERNSTEIN Y LA COMPARABILIDAD PARA LOS CONJUNTOS BIEN ORDENADOS J. CLIMENT VIDAL Resumen. Una vez definidas las nociones y establecidas las proposiciones necesarias de la teoría de

Más detalles

RELACIÓN DE PROBLEMAS Nº 2 CONJUNTOS Y APLICACIONES

RELACIÓN DE PROBLEMAS Nº 2 CONJUNTOS Y APLICACIONES UNIVERSIDAD DE JAÉN ESCUELA POLITÉCNICA SUPERIOR Dpto. de Matemáticas (Área de Álgebra) 1. Sean X e Y conjuntos. Demostrar: a) X = X Y Y X. b) X = X Y X Y. RELACIÓN DE PROBLEMAS Nº 2 CONJUNTOS Y APLICACIONES

Más detalles

Definición 1.1.1. Sea K un cuerpo. Un polinomio en x, con coeficientes en K es toda expresión del tipo

Definición 1.1.1. Sea K un cuerpo. Un polinomio en x, con coeficientes en K es toda expresión del tipo POLINOMIOS 1.1. DEFINICIONES Definición 1.1.1. Sea K un cuerpo. Un polinomio en x, con coeficientes en K es toda expresión del tipo p(x) = a i x i = a 0 + a 1 x + a 2 x 2 + + a n x n + ; a i, x K; n N

Más detalles

Aplicaciones Lineales

Aplicaciones Lineales Tema 3 Aplicaciones Lineales 3.1 Introducción Se presentan en este tema las aplicaciones entre espacios vectoriales, particularmente las aplicaciones lineales, que de una manera informal pueden definirse

Más detalles

Matemáticas. Bachillerato Internacional. Segundo curso. Curso 2014-2015. Exámenes

Matemáticas. Bachillerato Internacional. Segundo curso. Curso 2014-2015. Exámenes Matemáticas. Bachillerato Internacional. Segundo curso. Curso 04-05. Exámenes LÍMITES. CONTINUIDAD. REGLAS DE DERIVACIÓN. Límites. Continuidad. Reglas de derivación Ejercicio. Derivar las siguientes funciones:.

Más detalles

1 CONCEPTOS BASICOS. Una relación de A en B puede no ser función, los siguientes gráficos ilustran esta situación.

1 CONCEPTOS BASICOS. Una relación de A en B puede no ser función, los siguientes gráficos ilustran esta situación. Funciones Reales CONCEPTOS BASICOS FUNCION Deinición Sean A y B dos conjuntos cualesquiera, en los cuales se deine una relación de A en B Decimos que esa relación es una unción, si y sólo si, todo elemento

Más detalles