Resumen Irm 3

Descargar como docx, pdf o txt
Descargar como docx, pdf o txt
Está en la página 1de 2

Se dice que dos enteros a y b son congruentes módulo n si tienen el mismo resto al dividirlos por n.

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.

Una función f : A → B es biyectiva si ∀y ∈ B,∃!x ∈ A,f(x) = y.

(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).

El número de elementos en un conjunto A se llama cardinalidad del conjunto, y se escribe |A|.

(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.

Un conjunto que tiene cardinalidad 0‫ א‬se dice que es infinito numerable.

(Teorema) El conjunto de los números racionales es infinito numerable, es decir, |Q| = 0‫א‬.

(Teorema) El conjunto de los números reales es infinito no numerable.

La cardinalidad de R se denomina cardinalidad del continuo, y se denota por c, es decir, |R| = c.

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 (Caracterización de las congruencias) a≡b (mod n) ↔ n|(a−b)


Teorema 1
a≡b (mod n) ↔ [a]=[b] a∈[b]↔[a]=[b]
a̸≡b (mod n) → [a]∩[b]=∅ [a]=[b] ∨ [a]∩[b]=∅
Zn ={[0],[1],...,[n−1]}

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 4 (a,n)=1 ↔ ∃s∈Z,sa≡1 (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:

(transitividad) d|m∧m|n→d|n (Divisibilidad del multiplo) d|n → ∀m∈Z,d|mn


( (divisibilidad del tercero) d|m ∧ d|n → d|(m+n) d|m ∧ d|(m+n) → d|n

También podría gustarte