ÁLGEBRA MODERNA. Índice 1. El grupo de permutaciones y el grupo alternante 1
|
|
- Luis Miguel Cordero Flores
- hace 6 años
- Vistas:
Transcripción
1 ÁLGEBRA MODERNA DANIEL LABARDINI FRAGOSO TOMÓ ESTAS NOTAS: ALEJANDRO DE LAS PEÑAS CASTAÑO FECHA: 9/MARZO/2016 Índice 1. El grupo de permutaciones y el grupo alternante 1 1. El grupo de permutaciones y el grupo alternante Lema 1. Sean τ y σ permutaciones en S n que conmutan entre ellos, es decir que τσ = στ, entonces τ (Fij n (σ)) = Fij n (σ) y σ (Fij n (τ)) = Fij n (τ). Demostración. Sin pérdidad de generalidad podemos demostrar sólo una de las ecuaciones anteriores. Demostramos la primera. Supongamos que x Fij n (σ), entonces, por la definición del conjunto fijo, sabemos que τ(σ(x)) = τ(x). Por hipótesis tenemos que τ y σ conmutan, entonces τ(x) = σ(τ(x)). Por lo tanto τ(x) Fij n (σ) y así tenemos una contención necesaria para demostrar la igualdad: (1) τ (Fij n (σ)) Fij n (σ). La otra contención es inmediata porque τ es una función biyectiva, entonces tanto Fij n (σ) como su imagen bajo τ tienen la misma cantidad de elementos. Como ambos conjuntos son finitos, la primera contención (1) implica igualdad y acabamos. Este resultado junto con la propiedad Si τ y σ son permutaciones ajenas = τσ = στ nos van a dar un método para poder factorizar cualquier permutación en ciclos ajenos. Por ejemplo, si tomamos τ S 4 con τ(1) = 2, τ(2) = 1, τ(3) = 4 y τ(4) = 3, sabemos que τ actúa sobre {1, 2, 3, 4} y esta acción produce una partición de {1, 2, 3, 4} en órbitas. En particular se parte en {1, 2} y {3, 4}. Como éstos conjuntos son ajenos y por las características de la acción, vamos a poder usar estas particiones para definir ciclos ajenos que van a producir una factorización de τ. En este caso tenemos que τ = σα donde σ es la transposición (1 2) y α es la transposición (3 4). Generalizamos este proceso enseguida: Sea α una permutación en S n. Si α = 1 n entonces α no se puede factorizar en ciclos disjuntos porque un ciclo, por definición, mueve por lo menos a dos elementos de n. Por lo tanto podemos asumir sin problemas que α 1 n. Sea P la partición inducida por la acción del grupo α S n sobre el conjunto n = {1,..., n} (la acción está definida por α k i = α k (i)). Observemos que, como n es finito, hay una cantidad finita de elementos de la partición P. Es decir hay una cantidad finita de órbitas O en P; las enumeramos: P = {O 1,..., O m }. Date: 16 de marzo de Key words and phrases. Grupo, anillo, campo, teoría de Galois. 1
2 2 TOMÓ ESTAS NOTAS: ALEJANDRO DE LAS PEÑAS CASTAÑO FECHA: 9/MARZO/2016 Para cada órbita O i definimos una función α i : n n con la siguiente regla de correspondencia: { α(x) si x Oi ; α i := x si x O i. Observemos que cada α i es sobreyectiva porque si y n entonces es imagen de α 1 (y) si y O i ó es imagen de y si y O i. Como cada α i es una función de un conjunto finito en sí mismo, sobreyectividad es equivalente a biyectividad y concluimos que α i S n para toda i {1,..., m}. Por último observamos que la definición de α i nos dice inmediatamente que Fij n (α i ) = n O i o equivalentemente: (2) n Fij n (α i ) = O i Estas permutaciones van a ser los factores de α, entonces hay que probar dos cosas: cada α i es un ciclo y son ajenas dos a dos. Por la definición de α i y por la acción de α sobre n es claro que cada α i es un ciclo. Ahora demostramos que son ajenas dos a dos para poder definir una factorización de α. Sean O i y O j dos órbitas diferentes de P (es decir i j), entonces tenemos que O i O j = y así podemos concluir (usando 2) que (n Fij n (α i )) (n Fij n (α j )) = O i O j =. Por lo tanto α i y α j son permutaciones ajenas cuando i j y así el lema 1 nos garantiza que conmutan. Este último resultado nos permite escribir m α = i=1 ya que la conmutatividad (dos a dos) de las α i nos permite ordenar el producto del lado derecho de manera arbitraria sin cambiar la permutación que define el producto. Para verificar que efectivamente se da la igualdad anterior tomemos una x n. Como P es una partición, existe una única O i que cumple que x O i, sin pérdida de generalidad podemos escribir i = 1. Por la definición de la acción, tenemos que α k (x) O 1 para toda k Z 0. En particular, esto significa que α j (α(x)) = α(x) cuando j i. Por lo tanto, con la conmutatividad dos a dos de las α i s, tenemos que: ( m ) ( m ) ( m ) α i (x) = α i (α 1 (x)) = α i (α(x)) = α(x). i=1 i=2 Con esto verificamos que α = α 1 α m es efectivamente una factorización de α como producto de ciclos ajenos. Lo que acabamos de hacer es parte de la demostración del siguiente teorema. Teorema 2. Toda permutación α S n, con α 1 n se puede factorizar de manera única como producto de ciclos ajenos (dos a dos) salvo el orden en que se escribe el producto. Demostración. Ya demostramos que para toda permutación α 1 n existe una factorización como producto de ciclos disjuntos α = α 1 α m. Sólo falta verificar que los factores α i son únicos. Supongamos que α 1 α m = α = β 1 β l son dos factorizaciones distintas de α en ciclos disjuntos dos a dos. Ahora supongamos que α m mueve a una x n (que fijamos), es decir que α m (x) x, entonces α k m(x) = α k (x) para toda k Z 0. 1 Sabemos que alguna β j debe mover a x también. Gracias a la conmutatividad de los ciclos ajenos, sin pérdida de α i i=2 1 (Inducción sobre k) Si k = 0 entonces claramente α 0 m (x) = α 0 (x) = 1 n(x) = x. Si suponemos la hipótesis de inducción tenemos que: α k+1 (x) = α(α k (x)) = α(α k m(x)) = (α 1 α m)(α k m(x)) = (α 1 α m 1 )(α k+1 m (x)). Como α k m(x) O m que es disjunta a las demás O i entonces α i (α k m(x)) = α k m(x) para toda i m. Por lo tanto podemos concluir que α k+1 (x) = α k+1 m (x).
3 ÁLGEBRA MODERNA DANIEL LABARDINI FRAGOSO 3 generalidad podemos asumir que j = l. De la misma manera podemos concluir que βl k(x) = αk (x) para toda k Z 0. Afirmamos que β l = α m. Sea y n. Como β l y α m son ciclos, si y es movido por alguna de las dos (sin pérdida de generalidad supongamos que es β l ), entonces existe una k Z 0 tal que βl k (x) = y. Por lo tanto β l (y) = β k+1 l (x) = α k+1 (x) = αm k+1 (x) = α m (y) y y es movido por la otra. Por lo tanto y no puede ser fijada por una y movida por la otra. Por otro lado si tenemos que y es fijado por β l entonces β l (y) = y = α m (y). Por lo tanto concluimos que β l = α m. Ahora aplicamos la ley de la cancelación a la igualdad α 1 α m = α = β 1 β l para obtener α 1 α m 1 = β 1 β l 1. Si l m, entonces repetir este proceso m veces, si l > m, nos da: 1 n = β 1 β l m lo cual no puede suceder porque β 1 es un ciclo. Por lo tanto concluimos que m = l. Por último, hacemos inducción sobre m para demostrar que la factorización es única. Para m = 1 es trivial porque α 1 = α = β 1. Para m+1, reordenamos los factores para poder aplicar la ley de la cancelación para obtener α 1 α m 1 = β 1 β l 1 y aplicamos la hipótesis de inducción. Con esto concluimos que la factorización es única. Gracias a este teorema, es muy útil introducir una notación sencilla para los ciclos. Sea l {1,..., n} y sea (k 1,..., k l ) una l-ada de l elementos distintos de n. A la permutación: k t+1 si x {k 1,..., k l 1 } α (k1,...,k l )(x) = k 1 si x = k l x si x {k 1,..., k l } la denotamos por α = (k 1 k 2 k l ). Esta es la notación para la única órbita con más de un elemento del ciclo α: O = {k 1, α(k 1 ),..., α l 1 (k 1 )}. Observemos que si α es un ciclo, entonces tiene una única órbita {x, α(x),..., α m 1 (x)} donde m es el orden de α en S n. Por lo tanto el ciclo (x α(x) α m 1 (x)) representa a α. Esto implica que la notación está bien definida. La notación cíclica nos facilita calcular algunas permutaciones. Por ejemplo, facilita calcular las conjugadas de los ciclos: Proposición 3. Si α = (k 1 k l ) es un ciclo y β es una permutación en S n entonces: βαβ 1 = (β(k 1 ) β(k l )). Demostración. Por definición de la notación cíclica tenemos que: β(k t+1 ) si x {β(k 1 ),..., β(k l 1 )} (β(k 1 ) β(k l ))(x) = β(k 1 ) si x = β(k l ) x si x {β(k 1 ),..., β(k l )}. Por otro lado, sabemos, por la definición de α, que k t+1 = α(k t ) cuando t {1,..., l 1} y k 1 = α(k l ). También se tiene que x = β(k i ) si y sólo si β 1 (x) = k i. Por lo tanto la definición de (β(k 1 ) β(k l )) se puede reescribir como: βαβ 1 (x) si x {β(k 1 ),..., β(k l 1 )} (β(k 1 ) β(k l ))(x) = βαβ 1 (x) si x = β(k l ) x si x {β(k 1 ),..., β(k l )}. Por último si x {β(k 1 ),..., β(k l )} entonces α fija a β 1 (x) porque β 1 (x) k i para toda i {1,..., l}. Por lo tanto tenemos que si x {β(k 1 ),..., β(k l )}, entonces βαβ 1 (x) = β(α(β 1 (x))) = β(β 1 (x)) = x
4 4 TOMÓ ESTAS NOTAS: ALEJANDRO DE LAS PEÑAS CASTAÑO FECHA: 9/MARZO/2016 y con eso podemos concluir que los tres casos de la definición de (β(k 1 ) β(k l )) coinciden con βαβ 1. Con esto acabamos la demostración. De este resultado podemos concluir varios resultados interesantes. El más directo es que el conjugado de un ciclo es otra vez un ciclo del mismo tamaño. Esto es claro porque (k 1 k l ) y (β(k 1 ) β(k l )) tienen exactamente l elementos distintos porque β es una función biyectiva. También podemos concluir que dos ciclos (k 1 k l ) y (j 1 j l ) de la misma longitud son conjugados de sí mismos mediante la permutación σ(k i ) = j i. Para x n {k 1,..., k l } tomamos cualquier función biyectiva γ de éste a n {j 1,..., j l } que sabemos que existe porque ambos conjuntos tienen la misma cantidad de elementos. Por lo tanto la permutación { ji si x = k i σ(x) := γ(x) x {k 1,..., k l } lleva el ciclo (k 1 k l ) al ciclo (j 1 j l ) mediante la conjugación, es decir: σ(k 1 k l )σ 1 = (σ(k 1 ) σ(k l )) = (j 1 j l ). Por lo tanto cualesquiera dos l-ciclos son conjugados uno del otro. La proposición 3 calcula el conjugado un solo ciclo, pero se puede generalizar fácilmente a cualquier producto de ciclos. Si α = (k 1 1,..., k 1 l 1 ) (k t 1,..., k t l t ) es un producto de ciclos (como sucede cuando se factoriza α como producto de ciclos ajenos), entonces tenemos σασ 1 = σ(k 1 1,..., k 1 l 1 ) (k t 1,..., k t l t )σ 1 = [ σ(k 1 1,..., k 1 l 1 )σ 1] [σ(k t 1,..., k t l t )σ 1] = (σ(k 1 1),..., σ(k 1 l 1 )) (σ(k t 1),..., σ(k t l t )) para cualquier permutación σ. Es decir que conjugar un producto de ciclos mediante σ es simplemente aplicar σ a cada elemento de cada ciclo. Ahora nos enfocamos en los ciclos más pequeños: los que mueven sólo dos elementos (observemos que si una permutación σ mueve a un elemento x n, necesariamente mueve a su imagen σ(x), entonces, si una permutación mueve un elemento, necesariamente mueve al menos dos elementos de n). A las permutaciones que mueven dos elementos las llamamos transposiciones y tienen la forma τ = (k, l) con k, l n y k l, porque si sólo mueven dos elementos, la permutación sólo puede intercambiar esos dos elementos. De otra forma moverían más elementos. Resulta que las transposiciones generan a todo S n por virtud de que los ciclos generan a S n ya que cada permutación es un producto (o palabra) de ciclos. Si pudiéramos generar a cualquier ciclo mediante un producto de transposiciones tendríamos automáticamente que cada permutación es un producto de transposiciones: Teorema 4. El conjunto de transposiciones de S n generan a S n, es decir: S n = {τ S n τ es transposición}. Demostración. Primero probamos que cada ciclo es un producto de transposiciones. Sea α = (k 1 k l ) un ciclo en S n. Afirmamos que α es el producto de transposiciones (k 1 k l ) = (k 1 k l )(k 1 k l 1 ) (k 1 k 2 ). Si evaluamos el producto del lado derecho en una x n tenemos que si x {k 1,..., k l }, entonces el lado derecho lo fija. Si x {k 1,..., k l 1 } entonces x = k i y el lado derecho lo mueve a k i+1 mediante k i k 1 k i+1. Si x = k l entonces la única transposición que la mueve es la última del producto, entonces x se mueve a k 1. Hemos verificado la definición del ciclo α y así el producto anterior es válido.
5 ÁLGEBRA MODERNA DANIEL LABARDINI FRAGOSO 5 Ahora, sea β S n cualquier permutación. Por el Teorema 2 sabemos que β = σ 1 σ m donde cada σ i es un ciclo. Como demostramos que cada ciclo es un producto de transposiciones, es claro que β también es producto de transposiciones. Para poner estos resultados en perspectiva, consideremos S 4 y el conjunto X = {α, τ 1 } donde α = (1 2 3) y τ 1 = (3 4). Queremos calcular X. Hay que operar las permutaciones α y τ 1 para ir generando palabras (o elementos de X ). Aplicamos la proposición 3 para caluclar: ατ 1 α 1 = (α(3) α(4)) = (1 4) =: τ 2, entonces τ 2 X. Ahora conjugamos τ mediante α 2 : α 2 τ 1 α 2 = (α 2 (3) α 2 (4)) = (2 4) =: τ 3. Como α 3 = 1 S4, conjugar por α 3 no aporta nada nuevo. Entonces empezamos a conjugar mediante las τ i s que van apareciendo: τ 3 τ 2 τ3 1 = (τ 3 (1) τ 3 (4)) = (1 2) =: τ 4 ; τ 1 τ 2 τ1 1 = (τ 1 (1) τ 1 (4)) = (1 3) =: τ 5 ; τ 5 τ 4 τ5 1 = (τ 5 (1) τ 5 (2)) = (3 2) =: τ 6. Aquí acabamos porque sólo hay ( 4 2) = 6 transposiciones en S4. Por lo tanto X contiene a todas las transposiciones de S 4. El teorema 4 nos garantiza que X = S 4. Por último analizamos el orden de cualquier permutación α. El teorema 2 nos dice que α = σ 1 σ m donde cada σ i es un ciclo y los ciclos son ajenos dos a dos. Sabemos que si σ i tiene longitud l i, el orden de σ i es l i. Por lo tanto, sea l i el orden de σ i para cada i {1,..., m} y definimos M := MCM{l 1,..., l m }. Es claro que (gracias a la conmutatividad de ciclos ajenos): α M = (σ 1 σ m ) M = σ M 1 σ M m = 1 Sn, porque cada l i divide a M por definición. Con esto podemos concluir que el orden de α divide a M. Resulta que el orden de α es M: Proposición 5. Sea α = σ 1 σ m la descomposición de ciclos ajenos de una permutación α S n. Entonces el orden de α es el mínimo común múltiplo de los órdenes de las σ i s, es decir: α = MCM{ σ 1,..., σ m }. Demostración. Escribimos N = α y retomamos la notación M := MCM{l 1,..., l m } donde l i es el orden de σ i. Ya demostramos que N M en el argumento anterior a esta proposición, entonces ahora demostramos que M N. Como N es el orden de α tenemos que: 1 Sn = α N = (σ 1 σ m ) N = σ N 1 σ N m. Afirmamos que σ N i = 1 Sn para cada i {1,..., m}. Si esto no fuese cierto hay una i (que, sin pérdida de generalidad, hacemos i = 1) y una x n tal que σ N 1 (x) = y donde x y. Pero, como las σ i s son ajenas, x, y Fij(σ i ) para toda i 1 (esto se da gracias al lema 1). Entonces: 1 Sn (x) = α N (x) = σ N 1 (x) σ N m(x) = σ N 1 (x) = y, pero esto es una contradicción porque x y. Por lo tanto tenemos que σ N i = 1 Sn para toda i {1,..., m}. Con esto concluimos que el orden de cada σ i divide a N, es decir que σ i N para toda i y así podemos concluir que N divide al mínimo común múltiplo de los órdenes de las σ i s. Por lo tanto N M y terminamos. Instituto de Matemáicas, Universidad Nacional Autónoma de México address: labardini@matem.unam.mx
Tema 2: El grupo de las permutaciones
Tema 2: El grupo de las permutaciones Miguel Ángel Olalla Acosta miguelolalla@us.es Departamento de Álgebra Universidad de Sevilla Octubre de 2014 Olalla (Universidad de Sevilla) Tema 2: El grupo de las
Más detallesTerminaremos el capítulo con una breve referencia a la teoría de cardinales.
TEMA 5. CARDINALES 241 Tema 5. Cardinales Terminaremos el capítulo con una breve referencia a la teoría de cardinales. Definición A.5.1. Diremos que el conjunto X tiene el mismo cardinal que el conjunto
Más detallesEs claro que es una relación de equivalencia. Para ver que tener la misma cardinalidad y la cardinalidad están bien definidas queremos ver que
Capítulo II Cardinalidad Finita II.1. Cardinalidad Definimos I n para n N como I n = {k N : 1 k n}. En particular I 0 =, puesto que 0 < 1. Esto es equivalente a la definición recursiva { si n = 0 I n =
Más detallesSemana03[1/17] Funciones. 16 de marzo de Funciones
Semana03[1/17] 16 de marzo de 2007 Introducción Semana03[2/17] Ya que conocemos el producto cartesiano A B entre dos conjuntos A y B, podemos definir entre ellos algún tipo de correspondencia. Es decir,
Más detallesTema 2: Teorema de estructura de los grupos abelianos finitamente generados.
ESTRUCTURAS ALGEBRAICAS GRADO EN MATEMÁTICAS. CURSO 215/216 Tema 2: Teorema de estructura de los grupos abelianos finitamente generados. 1.1. Grupo abeliano libre. Bases. Definición 1.1. El grupo Z n con
Más detallesSemana02[1/23] Conjuntos. 9 de marzo de Conjuntos
Semana02[1/23] 9 de marzo de 2007 Introducción Semana02[2/23] La teoría de conjuntos gira en torno a la función proposicional x A. Los valores que hacen verdadera la función proposicional x A son aquellos
Más detallesSemana05[1/14] Relaciones. 28 de marzo de Relaciones
Semana05[1/14] 28 de marzo de 2007 Introducción Semana05[2/14] Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados un par de conjuntos no vacíos A y B, llamaremos relación
Más detallesLímite superior y límite inferior de una sucesión
Límite superior y límite inferior de una sucesión Objetivos. Definir las nociones de los límites superior e inferior de una sucesión y estudiar sus propiedades básicas. Requisitos. Supremo e ínfimo de
Más detallesUna topología de los números naturales*
Una topología de los números naturales* Divulgación Gabriel Ruiz Hernández Instituto de Matemáticas, UNAM 1 de septimebre de 1997 resumen En este trabajo vamos a describir un espacio topológico X con las
Más detallesContinuidad y monotonía
Tema 14 Continuidad y monotonía Generalizando lo que se hizo en su momento para sucesiones, definiremos la monotonía de una función, en forma bien fácil de adivinar. Probaremos entonces dos resultados
Más detallesAnillo de polinomios con coeficientes en un cuerpo
Capítulo 2 Anillo de polinomios con coeficientes en un cuerpo En el conjunto Z se ha visto cómo la relación ser congruente módulo m para un entero m > 1, es compatible con las operaciones suma y producto.
Más detallesProblemas de VC para EDVC elaborados por C. Mora, Tema 4
Problemas de VC para EDVC elaborados por C. Mora, Tema 4 Ejercicio Determinar las funciones enteras f para las que Solución f( + w) = f()f(w), w C. En primer lugar, f(0) = f(0 + 0) = f(0)f(0) = f(0) 2,
Más detallesDefinición 1 Un semigrupo es un conjunto E provisto de una operación binaria asociativa sobre E, se denota por (E, ).
ALGEBRA La primera parte del presente libro está dedicada a las estructuras algebraicas. En esta parte vamos a iniciar agregándole a los conjuntos operaciones. Cuando las operaciones tienen determinadas
Más detallesTriangularización Simultanea
Triangularización Simultanea Antonio M. Oller 21 de Noviembre de 2005 1. Introducción Sabemos que toda matriz sobre C (y en general sobre un cuerpo algebráicamente cerrado) es semejante a una matriz triangular
Más detallesDerivada de la función compuesta. Regla de la cadena
Derivada de la función compuesta. Regla de la cadena Cuando en las matemáticas de bachillerato se introduce el concepto de derivada, su significado y su interpretación geométrica, se pasa al cálculo de
Más detallesEspacios Vectoriales
Espacios Vectoriales Espacios Vectoriales Verónica Briceño V. noviembre 2013 Verónica Briceño V. () Espacios Vectoriales noviembre 2013 1 / 47 En esta Presentación... En esta Presentación veremos: Espacios
Más detallesInducción Matemática Conjuntos Funciones. Matemática Discreta. Agustín G. Bonifacio UNSL. Repaso de Inducción, Conjuntos y Funciones
UNSL Repaso de Inducción, y Inducción Matemática (Sección 1.7 del libro) Supongamos que queremos demostrar enunciados del siguiente tipo: P(n) : La suma de los primeros n números naturales es n(n+1)
Más detallesConjuntos finitos y conjuntos numerables
Tema 3 Conjuntos finitos y conjuntos numerables En este tema vamos a usar los números naturales para contar los elementos de un conjunto, o dicho con mayor precisión, para definir los conjuntos finitos
Más detallesb) Sea una relación de equivalencia en A y una operación en A. Decimos que y son compatibles si a b a c b c y c a c b para todo a, b, c A
APENDICE Relaciones y Operaciones Compatibles 1 Definición: a) Sea A un conjunto y una relación entre elementos de A. Decimos que es una relación de equivalencia si es: i Reflexiva: a A, a a. ii Simétrica:
Más detallesTEMA 2. ESPACIOS VECTORIALES
TEMA 2. ESPACIOS VECTORIALES CÉSAR ROSALES GEOMETRÍA I En este tema comenzaremos el estudio de los objetos que nos interesarán en esta asignatura: los espacios vectoriales. Estos son estructuras básicas
Más detallesEspacios topológicos. 3.1 Espacio topológico
Capítulo 3 Espacios topológicos 3.1 Espacio topológico Definición 3.1.1. Un espacio topológico es un par (X, τ), donde X es un conjunto, y τ es una familia de subconjuntos de X que verifica las siguientes
Más detallesTeoremas de Convergencia
Capítulo 24 Teoremas de Convergencia El teorema de la convergencia monótona (Lema 21.3) establece ciertas condiciones sobre una sucesión de funciones medibles para que se puedan permutar los símbolos y
Más detallesALGEBRA y ALGEBRA LINEAL. Primer Semestre CAPITULO I LOGICA Y CONJUNTOS.
ALGEBRA y ALGEBRA LINEAL 520142 Primer Semestre CAPITULO I LOGICA Y CONJUNTOS. DEPARTAMENTO DE INGENIERIA MATEMATICA Facultad de Ciencias Físicas y Matemáticas Universidad de Concepción 1 La lógica es
Más detallesTransformaciones lineales y matrices
CAPíTULO 5 Transformaciones lineales y matrices 1 Matriz asociada a una transformación lineal Supongamos que V y W son espacios vectoriales de dimensión finita y que T : V W es una transformación lineal
Más detallesEstructuras Algebraicas
Tema 1 Estructuras Algebraicas Definición 1 Sea A un conjunto no vacío Una operación binaria (u operación interna) en A es una aplicación : A A A Es decir, tenemos una regla que a cada par de elementos
Más detallesCOMPLEMENTO DEL TEÓRICO
ÁLGEBRA I PRIMER CUATRIMESTRE - AÑO 2016 COMPLEMENTO DEL TEÓRICO El material de estas notas fue dictado en las clases teóricas pero no se encuentra en el texto que seguimos en las mismas ( Álgebra I -
Más detallesTeoría de Números. Divisibilidad. Olimpiada de Matemáticas en Tamaulipas
Teoría de Números Divisibilidad Olimpiada de Matemáticas en Tamaulipas 1. Introducción Divisibilidad es una herramienta de la aritmética que nos permite conocer un poco más la naturaleza de un número,
Más detalles4.2. Funciones inyectivas, sobreyectivas y biyectivas
4.. Funciones inyectivas, sobreyectivas y biyectivas En esta sección estudiaremos tres conceptos básicos sobre funciones. 4... Funciones inyectivas Definición 4.. Sea f una función de en. Diremos que f
Más detallesAnillos. a + (b + c) = (a + b) + c. 3) Existe un elemento 0 en R, el cual llamaremos cero, tal que. a + 0 = 0 + a = a para todo a en R.
Capítulo 7 Anillos 7.1 Definiciones Básicas El concepto de Anillo se obtiene como una generalización de los números enteros, en donde están definidas un par de operaciones, la suma y el producto, relacionadas
Más detallesEspacios compactos. Capítulo Cubiertas. En este capítulo estudiaremos el concepto de compacidad en un espacio métrico.
Capítulo 3 Espacios compactos 1. Cubiertas En este capítulo estudiaremos el concepto de compacidad en un espacio métrico. Definición 3.1. Sea (X, d) un espacio métrico y A X. Una cubierta de A es una familia
Más detallesALGEBRA y ALGEBRA LINEAL. Primer Semestre CAPITULO 6. POLINOMIOS DE UNA VARIABLE.
ALGEBRA y ALGEBRA LINEAL 520142 Primer Semestre CAPITULO 6. POLINOMIOS DE UNA VARIABLE. DEPARTAMENTO DE INGENIERIA MATEMATICA Facultad de Ciencias Físicas y Matemáticas 1 Definición: Polinomio Sea K (Q,
Más detallesCon esta definición de grupo, es directo que el neutro es único, al igual que el inverso de. , donde es conmutativo, se denomina Abeliano.
Teoría de Grupos Definiciones Básicas Definición 5 (Grupo) Sea una estructura algebraica con una ley de composición interna. Decimos que es un grupo si: 1. es asociativa. 2. tiene neutro. 3. toda tiene
Más detalles4. Resolución de indeterminaciones: la regla de L Hôpital.
GRADO DE INGENIERÍA AEROESPACIAL. CURSO. Lección. Funciones y derivada. 4. Resolución de indeterminaciones: la regla de L Hôpital. Sean f y g dos funciones derivables en un intervalo abierto I R y sea
Más detallesGrupos libres. Presentaciones.
S _ Tema 12.- Grupos libres. Presentaciones. 12.1 Grupos libres. En el grupo Z de los enteros vimos una propiedad (cf. ejemplos.5), que lo caracteriza como grupo libre. Lo enunciamos al modo de una Propiedad
Más detallesTeorema del Valor Medio
Tema 6 Teorema del Valor Medio Abordamos en este tema el estudio del resultado más importante del cálculo diferencial en una variable, el Teorema del Valor Medio, debido al matemático italo-francés Joseph
Más detallesConjuntos, relaciones y funciones Susana Puddu
Susana Puddu 1. Repaso sobre la teoría de conjuntos. Denotaremos por IN al conjunto de los números naturales y por ZZ al de los enteros. Dados dos conjuntos A y B decimos que A está contenido en B o también
Más detallesÁLGEBRA LINEAL I Algunas soluciones a la Práctica 3
ÁLGEBRA LINEAL I Algunas soluciones a la Práctica 3 Matrices y determinantes (Curso 2011 2012) 2. Sea A una matriz diagonal n n y supongamos que todos los elementos de su diagonal son distintos entre sí.
Más detallesCombinatoria Básica: Conteo
Capítulo III Combinatoria Básica: Conteo En este capítulo continuamos determinando la cardinalidad de varios conjuntos interesantes, en particular, permutaciones y combinaciones. Como parte de esto encontramos
Más detallesNÚMEROS COMPLEJOS: C
NÚMEROS COMPLEJOS: C Alejandro Lugon 21 de mayo de 2010 Resumen Este es un pequeño estudio de los números complejos con el objetivo de poder usar las técnicas de solución de ecuaciones y sistemas diferenciales
Más detallesTema 3: Espacios vectoriales
Tema 3: Espacios vectoriales K denotará un cuerpo. Definición. Se dice que un conjunto no vacio V es un espacio vectorial sobre K o que es un K-espacio vectorial si: 1. En V está definida una operación
Más detallesEspacios vectoriales
Espacios vectoriales [Versión preliminar] Prof. Isabel Arratia Z. Algebra Lineal 1 En el estudio de las matrices y, en particular, de los sistemas de ecuaciones lineales realizamos sumas y multiplicación
Más detallesDescomposición en valores singulares de una matriz
Descomposición en valores singulares de una matriz Estas notas están dedicadas a demostrar una extensión del teorema espectral conocida como descomposición en valores singulares (SVD en inglés) de gran
Más detalles1. Construcción de la Integral
1. Construcción de la Integral La integral de Riemann en R n es una generalización de la integral de funciones de una variable. La definición que vamos a dar reproduce el método de Darboux para funciones
Más detallesEL CUERPO ORDENADO REALES
CAPÍTULO I. EL CUERPO ORDENADO DE LOS NÚMEROS REALES SECCIONES A. Elementos notables en R. B. Congruencias. Conjuntos numerables. C. Método de inducción completa. D. Desigualdades y valor absoluto. E.
Más detallesALGEBRA 1- GRUPO CIENCIAS- TURNO TARDE- Enteros
Resumen teoría Prof. Alcón ALGEBRA 1- GRUPO CIENCIAS- TURNO TARDE- Z = N {0} N Enteros Las operaciones + y. son cerradas en Z, es decir la suma de dos números enteros es un número entero y el producto
Más detallesSemana 5: La composición como una operación
Semana 5: La composición como una operación 1. Tipos de funciones De manera intuitiva, nos referimos por inversa de una función a otra función que deshace los cambios hechos por la función original, a
Más detallesMáquinas de Turing IIC3242. IIC3242 Máquinas de Turing 1 / 42
Máquinas de Turing IIC3242 IIC3242 Máquinas de Turing 1 / 42 Complejidad Computacional Objetivo: Medir la complejidad computacional de un problema. Vale decir: Medir la cantidad de recursos computacionales
Más detallesLos Números Enteros. 1.1 Introducción. 1.2 Definiciones Básicas. Capítulo
Los Números Enteros Capítulo 1 1.1 Introducción En este capítulo nos dedicaremos al estudio de los números enteros los cuales son el punto de partida de toda la teoría de números. Estudiaremos una serie
Más detallesÁLGEBRA Algunas soluciones a la Práctica 1
ÁLGEBRA Algunas soluciones a la Práctica 1 Correspondencias y aplicaciones (Curso 2004 2005) 1. Dadas las siguientes correspondencias, determinar sus conjuntos origen, imagen, decidir si no son aplicaciones
Más detalles6.1. Anillos de polinomios.
1 Tema 6.-. Anillo de polinomios. División y factorización. Lema de Gauss. 6.1. Anillos de polinomios. Definición 6.1.1. Sea A un anillo. El anillo de polinomios en la indeterminada X con coeficientes
Más detallesFactorización de polinomios
Factorización de polinomios Entre las funciones importantes de la Matemática está la familia de las funciones polinómicas. Una función polinómica puede definirse de manera que su dominio sea el conjunto
Más detallesEspacios vectoriales
CAPíTULO 2 Espacios vectoriales 1. Definiciones básicas En lo que sigue k denotará un cuerpo arbitrario: e.g. el cuerpo de los números reales R, el cuerpo de los números racionales Q, el cuerpo de los
Más detallesFunciones convexas Definición de función convexa. Tema 10
Tema 10 Funciones convexas Los resultados obtenidos en el desarrollo del cálculo diferencial nos permiten estudiar con facilidad una importante familia de funciones reales de variable real definidas en
Más detallesTEMA 4: Sistemas de ecuaciones lineales II
TEM 4: Sistemas de ecuaciones lineales II ) Teorema de Rouché-Frobenius. ) Sistemas de Cramer: regla de Cramer. 3) Sistemas homogeneos. 4) Eliminación de parámetros. 5) Métodos de factorización. 5) Métodos
Más detallesÍndice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción
Curso 0: Matemáticas y sus Aplicaciones Tema 5. Lógica y Formalismo Matemático Leandro Marín Dpto. de Matemática Aplicada Universidad de Murcia 2012 1 Proposiciones y Conectores Lógicos 2 Tablas de Verdad
Más detallesMatemáticas I: Hoja 1
Matemáticas I: Hoja 1 1. Números complejos Hasta ahora, hemos visto que los números reales son aquellos que poseen una expresión decimal y que podemos representar en una recta infinita. No obstante, para
Más detallesTema II. Capítulo 5. Aplicaciones bilineales y formas cuadráticas.
Tema II Capítulo 5 Aplicaciones bilineales y formas cuadráticas Álgebra Departamento de Métodos Matemáticos y de Representación UDC 5 Aplicaciones bilineales y formas cuadráticas o simplemente f( x, ȳ)
Más detallesDivisibilidad de un número real entre otro
Divisibilidad de un número real entre otro Objetivos Definir (o repasar) el concepto de divisibilidad de un número real entre otro Establecer algunas propiedades básicas de esta relación binaria Requisitos
Más detallesIntroducción a la Teoría de Grafos
Introducción a la Teoría de Grafos Flavia Bonomo fbonomo@dc.uba.ar do. Cuatrimestre 009 Programa Introducción a la teoría de grafos Problemas de camino mínimo Problemas de flujo máximo Programación lineal
Más detallesConjunto R 3 y operaciones lineales en R 3
Conjunto R 3 y operaciones lineales en R 3 Objetivos. Definir el conjunto R 3 y operaciones lineales en R 3. Requisitos. Conjunto de los números reales R, propiedades de las operaciones aritméticas en
Más detallesCapítulo 7. Espacios vectoriales. 7.1 Definición y ejemplos
Capítulo Espacios vectoriales.1 Definición y ejemplos Un espacio vectorial sobre un cuerpo K (que supondremos conmutativo es un conjunto no vacío junto con 1. una operación interna, +, a la que llamaremos
Más detallesDependencia e independencia lineal
CAPíTULO 3 Dependencia e independencia lineal En este capítulo estudiaremos tres conceptos de gran importancia para el desarrollo del álgebra lineal: el concepto de conjunto generador, el concepto de conjunto
Más detallesFunciones de Clase C 1
Capítulo 7 Funciones de Clase C 1 Vamos a considerar ahora la extensión a varias variables del concepto de función de clase C 1. Cada vez que establezcamos una propiedad de las funciones diferenciables,
Más detallesDefinición 1.1 Sea G un conjunto. Una operación binaria en G es una aplicación m: G G G.
1 Definición y propiedades Definición 1.1 Sea G un conjunto. Una operación binaria en G es una aplicación m: G G G. Definición 1.2 Sea G un conjunto i) Si G tiene una operación binaria definida en G, se
Más detallesEn este capítulo extenderemos la conocida ecuación. g(b) f = f g g, g(a)
Capítulo 6 Cambio de variable 1. Particiones de la Unidad En este capítulo extenderemos la conocida ecuación (6.1) g(b) g(a) f = b a f g g, válida para funciones iemann-integrables f y funciones diferenciables
Más detallesRecordemos que utilizaremos, como es habitual, la siguiente notación para algunos conjuntos de números que son básicos.
Capítulo 1 Preliminares Vamos a ver en este primer capítulo de preliminares algunos conceptos, ideas y propiedades que serán muy útiles para el desarrollo de la asignatura. Se trata de resultados sobre
Más detallesEspacios Topológicos 1. Punto de Acumulación. Al conjunto de puntos de acumulación de A se le denomina el conjunto derivado de A (A a Notación).
Espacios Topológicos 1 Punto de Acumulación Definición: Sea A un subconjunto arbitrario de R n, se dice que x R n es un punto de acumulación de A si toda bola abierta con centro x contiene un punto A distinto
Más detallesTRIÁNGULOS: RELACIONES DE DESIGUALDAD ENTRE SEGMENTOS Y ÁNGULOS
TRIÁNGULOS: RELACIONES DE DESIGUALDAD ENTRE SEGMENTOS Y ÁNGULOS Introducción.- Anteriormente, a partir de la congruencia de triángulos, hemos estudiado las condiciones que han de verificarse para que dos
Más detallesSobre la Construcción Axiomática de los Números Naturales
Sobre la Construcción Axiomática de los Números Naturales Dr. Rafael Labarca Briones Profesor de Matemáticas. Universidad de Santiago de Chile. Charla dictadas en las EMALCAS de Arequipa, La Paz y Quito.
Más detallesSesión del día 11 de Marzo del 2011 y tutoría del día 12 de Marzo del 2011
Especialidad La enseñanza de las matemáticas en secundaria Grupo B: Celaya Sesión del día 11 de Marzo del 2011 y tutoría del día 12 de Marzo del 2011 Álgebra Resumen de la sesión anterior. Se añadió que
Más detallesCAPÍTULO 2 NOCIONES BÁSICAS DE TEORÍA DE CONJUNTOS
CAPÍTULO 2 NOCIONES BÁSICAS DE TEORÍA DE CONJUNTOS 2.1. NOCIONES PRIMITIVAS Consideraremos tres nociones primitivas: Conjunto, Elemento y Pertenencia. Conjunto Podemos entender al conjunto como, colección,
Más detallesClase 1: Primalidad. Matemática Discreta - CC3101 Profesor: Pablo Barceló. P. Barceló Matemática Discreta - Cap. 5: Teoría de números 1 / 32
Capítulo 5: Teoría de Números Clase 1: Primalidad Matemática Discreta - CC3101 Profesor: Pablo Barceló P. Barceló Matemática Discreta - Cap. 5: Teoría de números 1 / 32 Teoría de números En esta parte
Más detallesEspacios conexos. Capítulo Conexidad
Capítulo 5 Espacios conexos 1. Conexidad En este capítulo exploraremos el concepto de conexidad en un espacio métrico, y estudiaremos algunas de sus aplicaciones. Definición 5.1. Decimos que el espacio
Más detallesLa reordenación aleatoria de un conjunto finito
La reordenación aleatoria de un conjunto finito Pérez Cadenas J. I. 0.06.2003 Resumen Al desordenar y, a continuación, reordenar aleatoriamente un conjunto finito es posible que algunos de sus elementos
Más detalles1. NÚMEROS PRIMOS Y COMPUESTOS.
. NÚMEROS PRIMOS Y COMPUESTOS. De acuerdo a las propiedades ya vistas de los divisores, sabemos que: todo natural no nulo es divisor de sí mismo es divisor de todo número natural. Ahora: el natural tiene
Más detallesTarea 3 Matemáticas Discretas Soluciones
Tarea 3 Matemáticas Discretas Soluciones. (a) Pruebe por inducción que n n < n! para n suficientemente grande (esto es existe un n 0, tal que la desigualdad es cierta para n n 0 ). Como parte de la prueba
Más detallesFórmula de Cauchy Fórmula de Cauchy
Lección 8 Fórmula de Cauchy Llegamos al que se puede considerar como punto culminante de la teoría local de Cauchy, probando el resultado que se conoce como fórmula de Cauchy. Nos da una representación
Más detalles1 Conjuntos y propiedades de los números naturales
Programa Inmersión, Verano 2016 Notas escritas por Dr. M Notas del cursos. Basadas en los prontuarios de MATE 3001 y MATE 3023 Clase #1: martes, 31 de mayo de 2016. 1 Conjuntos y propiedades de los números
Más detallesSemana 09 [1/28] Sucesiones. 29 de abril de Sucesiones
Semana 09 [1/28] 29 de abril de 2007 Semana 09 [2/28] Definición Sucesión Una sucesión real es una función: f : N R n f (n) Observaciones Para distinguir a una sucesión de las demás funciones, se ocupará
Más detallesEnunciados de los problemas (1)
Enunciados de los problemas (1) Problema 1. El peso de tres manzanas y dos naranjas es de 255 gramos. El peso de dos manzanas y tres naranjas es de 285 gramos. Si todas las manzanas son del mismo peso
Más detalles1. Curvas Regulares y Simples
1. Regulares y Simples en R n. Vamos a estudiar algunas aplicaciones del calculo diferencial e integral a funciones que están definidas sobre los puntos de una curva del plano o del espacio, como por ejemplo
Más detallesConjuntos, Relaciones y Funciones.
Capítulo 1 Conjuntos, Relaciones y Funciones. 1.1. Conjuntos. 1.1.1. Conjuntos y subconjuntos, pertenencia e inclusión. Definición 1.1.1. (informal de conjunto y elementos.) Un conjunto es una colección
Más detallesEstructuras algebraicas
Estructuras algebraicas Natalia Boal María Luisa Sein-Echaluce Universidad de Zaragoza 1 Relaciones binarias 11 Recordatorio Definición Dados dos conjuntos A y B se llama producto cartesiano de A por B
Más detallesConjuntos finitos y conjuntos numerables
Tema 3 Conjuntos finitos y conjuntos numerables En este tema vamos a usar los números naturales para contar los elementos de un conjunto, o dicho con mayor precisión, para definir los conjuntos finitos
Más detallesMáquinas de Turing IIC3242. IIC3242 Máquinas de Turing 1 / 45
Máquinas de Turing IIC3242 IIC3242 Máquinas de Turing 1 / 45 Complejidad Computacional Objetivo: Medir la complejidad computacional de un problema. Vale decir: Medir la cantidad de recursos computacionales
Más detallesEcuaciones Diofánticas
2 Ecuaciones Diofánticas (c) 2011 leandromarin.com 1. Introducción Una ecuación diofántica es una ecuación con coeficientes enteros y de la que tenemos que calcular las soluciones enteras. En este tema
Más detallesÁlgebra Moderna (Teoría de Grupos) por María Luisa Pérez Seguí
Álgebra Moderna (Teoría de Grupos) por María Luisa Pérez Seguí Introducción Se presenta aquí el material correspondiente a un curso de Teoría de Grupos introductorio. El material del libro constituye el
Más detallesSeries. Capítulo Introducción. Definición 4.1 Sea (x n ) n=1 una sucesión de números reales. Para cada n N. S n = x k = x 1 + x x n.
Capítulo 4 Series 4 Introducción Definición 4 Sea (x n ) n= una sucesión de números reales Para cada n N definimos n S n = x k = x + x 2 + + x n k= La sucesión (S n ) n se conoce como la serie infinita
Más detallesCapítulo 2: Inducción y recursión Clase 2: El principio de Inducción Fuerte
Capítulo 2: Inducción y recursión Clase 2: El principio de Inducción Fuerte Matemática Discreta - CC3101 Profesor: Pablo Barceló P. Barceló Matemática Discreta - Cap. 2: Inducción y Recursión 1 / 20 Motivación
Más detallesA L G E B R A POR: FRANCISCO RIVERO. Departamento de Matemáticas Facultad de Ciencias Universidad de los Andes Mérida - Venezuela
none 1 A L G E B R A POR: FRANCISCO RIVERO Departamento de Matemáticas Facultad de Ciencias Universidad de los Andes Mérida - Venezuela Contenido i ii Contenido Introducción El presente libro contiene
Más detallesFunciones multilineales y determinantes
CAPíTULO 9 Funciones multilineales y determinantes En este capítulo generalizamos el concepto de transformación lineal, permitiendo que en el dominio de la función hayan varias variables. 1. Definiciones
Más detallesSISTEMAS DINÁMICOS DISCRETOS: UNA INTRODUCCIÓN
SISTEMAS DINÁMICOS DISCRETOS: UNA INTRODUCCIÓN AUBIN ARROYO Y JOSÉ SEADE ÍNDICE 1. Dinámica en la recta real 2 1.1. Puntos fijos 2 1.2. Transformaciones lineales 3 1.3. Hiperbolicidad 6 1.4. El método
Más detallesTeoría de Números. 22 de julio de 2012
Teoría de Números Naoi Sato 22 de julio de 2012 Resumen Estas notas sobre teoría de números fueron originariamente escritas en 1995 para estudiantes de nivel OIM. Cubre sólo
Más detallesDescomposición en valores singulares Notas para los cursos 21 y 22 (J.L. Mancilla Aguilar)
Valores Singulares Descomposición en valores singulares Notas para los cursos y (JL Mancilla Aguilar) Tanto los valores singulares como la descomposición en valores singulares de una matriz son conceptos
Más detallesEspacios Vectoriales. AMD Grado en Ingeniería Informática. AMD Grado en Ingeniería Informática (UM) Espacios Vectoriales 1 / 21
Espacios Vectoriales AMD Grado en Ingeniería Informática AMD Grado en Ingeniería Informática (UM) Espacios Vectoriales 1 / 21 Objetivos Al finalizar este tema tendrás que: Saber si unos vectores son independientes.
Más detallesTema I 1. EL CUERPO DE LOS REALES, EL CUERPO DE LOS COMPLEJOS
1 Tema I 1. EL CUERPO DE LOS REALES, EL CUERPO DE LOS COMPLEJOS 1.1 Los Números Naturales. Los números naturales aparecen por la necesidad que tiene el hombre (primitivo) tanto de contar como de ordenar
Más detallesEn general, un conjunto A se define seleccionando los elementos de un cierto conjunto U de referencia que cumplen una determinada propiedad.
nidad 3: Conjuntos 3.1 Introducción Georg Cantor [1845-1918] formuló de manera individual la teoría de conjuntos a finales del siglo XIX y principios del XX. Su objetivo era el de formalizar las matemáticas
Más detallesCapítulo 4: Polinomios
Capítulo 4: Polinomios Miguel Ángel Olalla Acosta miguelolalla@us.es Departamento de Álgebra Universidad de Sevilla Diciembre de 2015 Olalla (Universidad de Sevilla) Capítulo 4: Polinomios Diciembre de
Más detallesEspacios completos. 8.1 Sucesiones de Cauchy
Capítulo 8 Espacios completos 8.1 Sucesiones de Cauchy Definición 8.1.1 (Sucesión de Cauchy). Diremos que una sucesión (x n ) n=1 en un espacio métrico (X, d) es de Cauchy si para todo ε > 0 existe un
Más detallesDemostraciones con números primos (ejercicios)
Demostraciones con números primos (ejercicios) Objetivos. Acostumbrarse a la definición de número primo, aprender a usarla en demostraciones simples. Requisitos. Propiedades de divisibilidad, máximo común
Más detalles