UNIVERSIDAD DE ANTIOQUIA
FACULTAD DE EDUCACIÓN-SEMIPRESENCIAL
LICENCIATURA EN MATEMÁTICAS Y FÍSICA
SISTEMAS Y ESTRUCTURAS
TAREA 20 %
NOTA:
Profesor: Juan Carlos Arango Parra Fecha: Octubre 08 de 2011
Al conjunto de los enteros exceptuando el cero se denotará como Z∗ = Z − {0}, así a ∈ Z∗
sii a 6= 0. Se considera a su vez los enteros como sus representantes 2 en lugar de la pareja
(3, 1) o −5 en vez de (1, 6), es decir, el sistema numérico de los enteros está conformado por
Z = {. . . , −3, −2, −1, 0, 1, 2, 3, . . .}. El conjunto Z × Z∗ se denotará como F en alusión al conjunto
de los números fraccionarios.
Definición 1 Sean (a, b) y (c, d) parejas en Z × Z∗ entonces (a, b) ∼ (c, d) si y solo si ad = bc.
Por ejemplo, para la pareja (4, 1) la pareja (x, y) que está relacionada con (4, 1) debe ser tal que
4y = x, esto es, las parejas donde la primera componente es 4 veces la segunda (4, 1) ∼ (4y, y) donde
y es un entero diferente de cero, luego
[(4, 1)] = {. . . , (−12, −3), (−8, −2), (−4, −1), (4, 1), (8, 2), (12, 3), . . .}
Recuerde que esto es equivalente a escribir [4, 1] en el siguiente teorema se demuestra que precisamente
∼ es una relación de equivalencia sobre F para que la notación de clase de equivalencia tenga sentido.
Teorema 1 La relación ∼ es una relación de equivalencia sobre F.
a
Definición 2 Al conjunto F = Z × Z∗ se llama conjunto de las fracciones. Se escribe b
en lugar de
la pareja (a, b).
Con base en la definición se escribe
a c
(a, b) ∼ (c, d) sii ∼ sii ad = bc
b d
Es decir, dos parejas está relacionadas por medio de ∼ siempre y cuando se presente la igualdad
entre la multiplicación de los extremos. En esta notación es claro el hecho que b ∈ Z∗ , esto es, b 6= 0,
así como d 6= 0. Como la relación ∼ es de equivalencia determina una partición sobre el conjunto F
donde cada clase está dada por
hai
[a, b] = = {(x, y) ∈ F : (x, y) ∼ (a, b)} = {(x, y) ∈ F : xb = ya}
b
Donde [a, b] = [c, d] sii (a, b) ∼ (c, d).
Página 2/4 Números Racionales
a
Teorema 2 Sea b
∈ F entonces
ak a
1. Para todo k ∈ Z∗ se cumple bk
∼ b
a
2. −b
∼ −a
b
a
3. −a
−b
∼ b
a 3 Al conjunto cociente F/ ∼ se llama conjunto de los racionales se denotará Q. Cada
Definición
clase b recibe el nombre de racional.
De acuerdo con esto las fracciones son solo parejas ordenadas de números enteros donde la segunda
componente debe ser diferente de cero, mientras que los racionales son clases de equivalencia, es por
ello que un racional es un representante de una clase de equivalencia, por ejemplo
1 −3 −2 −1 1 2 3 n
= ..., , , , , , ...,
4 −12 −8 −4 4 8 12 4n
Luego el número 14 es el menor representante de la clase por lo que es un racional, mientras que 3
12
es una fracción, más no un racional.
a c
Definición 4 Sean b
y d
dos números racionales. Se define la adición entre ellos como
h a i h c i ad + bc
+ =
b d bd
0
Teorema 3 El sistema matemático hQ; +i es un grupo abeliano con elemento neutro 1
.
a −a
Como se demostró en el teorema 3, para el racional p = b
el inverso aditivo está dado por b
= − ab . Dicho inverso permite definir la diferencia entre
el cual se denota como −p, así −p = −a b
dos racionales como p − q = p + (−q). Por su parte el elemento neutro se representará como 0. Ya
que los racionales junto con la operación de adición son un grupo abeliano entonces se satisfacen las
siguientes propiedades demostradas para los grupos
1. El elemento neutro e inverso son únicos.
2. Se verifica la propiedad cancelativa para la adición: p + q = p + r entonces q = r donde p, q, r
son números racionales.
3. La ecuación x + p = q tiene una única solución en los racionales dada por x = q + (−p) = q − p
4. Se verifican las leyes de signos −(−p) = p y −(p + q) = (−p) + (−q).
Página 3/4 Números Racionales
a c
Definición 5 Sean b
y d
números racionales. La multiplicación entre estos es
h a i h c i h ac i
· =
b d bd
a
Un racional p = b
es diferente de cero siempre que el numerador es diferente de cero, es decir,
a, b 6= 0.
1
Teorema 4 El sistema matemático hG; ·i es un grupo abeliano con elemento neutro 1
.
Para el racional p = ab 6= 0 su inverso es ab el cual se denotará como p−1 o 1p , mientras que el
elemento neutro se denotará como 1. Las consecuencias del teorema 4 respecto a las propiedades de
grupo son
1. El elemento neutro e inverso son únicos.
2. Se verifica la propiedad cancelativa para la adición: Si p · q = p · r y p 6= 0 entonces q = r donde
p, q, r son números racionales.
q
3. La ecuación x · p = q tiene una única solución en los racionales dada por x = q · p1 = p
siempre
que p 6= 0
4. Se verifican las propiedades (p−1 )−1 = p y (p · q)−1 = q −1 · p−1 = p−1 · q −1 siempre que p, q 6= 0.
Un campo es un conjunto dotado de dos operaciones binarias que son en sí grupos abelianos y
que una operación distribuye respecto de la otra.
Teorema 5 El sistema matemático hQ; +; ·i es un campo.
a
Definición 6 Un número racional p = b
es un racional positivo siempre que ab > 0. Se denota
dicho conjunto como Q+ .
Teorema 6 El conjunto Q+ es cerrado bajo las operaciones de adición y suma.
Teorema 7 Para todo p ∈ Q se verifica una y solo una de las siguientes opciones: p ∈ Q+ o p = 0
o −p ∈ Q+ .
Página 4/4 Números Racionales
Definición 7 Sean p y q racionales, se dice que p < q si y solo si (q − p) ∈ Q∗ .
Se presenta p ≤ q si y solo si p < q o p = q. El conjunto Q+ ∪{0} se llama de los racionales no neg-
ativos. Mientras que Q− es el conjunto de los racionales negativos. Se tiene así que Q = Q+ ∪{0}∪Q− .
Teorema 8 Tricotomía Para los racionales p y q se verifica una y solo una de las siguientes condi-
ciones: p < q o p = q o p > q.
Teorema 9 La relación ≤ es de orden orden total sobre Q.
Teorema 10 La relación ≤ es estable en Q, es decir, para p, q, r en los racionales se verifica
1. Si p ≤ q entonces p + r ≤ q + r
2. Si p ≤ q y r ≥ 0 entonces p · r ≤ q · r.
De acuerdo con la definición de orden en los racionales 7 se tiene que 21 < 23 entre ambos racionales
es posible encontrar otro racional como es el caso de 21 < 12
7
< 23 , el cual no es único como se presenta
en la siguiente cadena
1 13 7 5 2
< < < <
2 24 12 8 3
A esta propiedad que poseen los racionales se le conoce como densidad, para el sistema de los
enteros la densidad no es cierta, ya que entre n y n + 1 no hay otro entero. Para la demostración de
dicho teorema es suficiente demostrar que si p < q entonces p < 21 (p + q) < q.
Teorema 11 Densidad Los racionales son densos.