Resumen Irm 3
Resumen Irm 3
Resumen Irm 3
Se utiliza la
notación a ≡ b (mod n)
Las clases de congruencias modulo n es una partición o división del conjunto Z , dado que la relación de
congruencia módulo n es una relación de equivalencia en Z. [a]={x∈Z|x≡a (mod n)}
El conjunto de los enteros modulo n es el conjunto de todas las clases de congruencia modulo n que corresponde
al conjunto cociente Z/≡ y se denota por Zn.
(Teorema) Si f : A → B es una función biyectiva, entonces existe una función biyectiva f−1 : B → A tal que
f(x)=y ↔ f−1(y)=x.
Dos conjuntos A y B son equipotentes si existe una función biyectiva f : A → B. En tal caso, se escribe A ∼ B, es
decir, A∼B ↔ ∃f:A→B biyectiva.
La equipotencia tiene las propiedades características de una relación de equivalencia (reflexividad, simetría y
transitividad).
(Principio Biyectivo) Dos conjuntos tienen la misma cardinalidad si y sólo si son equipotentes.
Dos conjuntos pueden tener la misma cardinalidad aunque uno sea un subconjunto propio del otro.
Dos conjuntos pueden tener la misma cardinalidad aunque uno sea un subconjunto propio del otro, y el mayor
tenga infinitamente más elementos que el menor.
Un conjunto que tiene la misma cardinalidad que alguno de sus subconjuntos propios se dice infinito.
Un conjunto que tiene la misma cardinalidad que el conjunto de los números naturales se dice que tiene
cardinalidad 0( אálef cero).
0 אrepresenta la cantidad de elementos de un conjunto infinito como el de los números naturales, y de hecho este
cardinal es el número transfinito más pequeño.
(Teorema) El conjunto de los números racionales es infinito numerable, es decir, |Q| = 0א.
El matemático Georg Cantor demostró que la cardinalidad del continuo es mayor que la del conjunto de los
números naturales (c > 0 ;)אesto es, que hay más números reales que naturales. Además, probó que c = 20 א.
La hipótesis del continuo afirma que no existen conjuntos infinitos cuya cardinalidad esté estrictamente
comprendida entre la del conjunto de los números naturales y la del conjunto de los números reales.
Teorema 2
a≡b (mod n) ↔ a+c ≡ b+c (mod n) a≡b (mod n) ↔ a-c ≡ b-c (mod n)
a≡b (mod n) → ac ≡ bc (mod n) ac≡bc (mod n)∧(n,c)=1 → a≡b (mod n)
Si c divide a a, b y n, entonces: a≡b (mod n) ↔ a/c ≡ b/c (mod n/c)
Teorema 3
a≡b (mod n)∧c≡d (mod n) → a+c≡b+d (mod n) a≡b (mod n)∧c≡d (mod n) → a−c≡b−d (mod n)
a≡b (mo ́dn)∧c≡d (mod n) → ac≡bd (mod n)
Teorema (solucion de congruencias lineales) Si (a, n) = 1, entonces la congruencia lineal ax ≡ b (mod n) tiene
solución única módulo n, es decir,
(a,n)=1 → ∃![x]∈Zn,ax≡b (mod n).
Teoremas anteriores: