Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
www.fisicanet.com fisicanet@interlap.com.ar
www.fisicaweb.com
Recopilación del concepto de número.
- Los números naturales (N)
- Construcción a partir de N de los números enteros (Z)
- Construcción a partir de Z de los números racionales (Q)
- Construcción a partir de Q de los números reales (R)
- Construcción a partir de R de los números complejos (C)
- Topología de R
- Sucesiones y series de números reales
Sean A y B conjuntos finitos de elementos (A B ). Cardinal A y cardinal B son dos números
naturales (son la clase a la que pertenece A y la clase a la que pertenece B).
Pues bien, card. A + card. B = card. (A U B), de aquí sale la suma o adición.
El concepto de multiplicación sale de: card. A · card. B = card. (A x B) (A x B es el producto
cartesiano de A y B, es decir, el conjunto formado por los pares ordenados (a, b) tales que a A y b B).
Los números naturales sirven para escribir el haber y el debe, pero no alcanzan a escribir el haber
menos el debe, sólo cuando el deber es menor o igual al haber. Entonces a partir de (N, +, ·, <) creamos
una nueva herramienta para expresar el saldo, sin perder nada (sólo ganar).
Consideramos el conjunto N x N de pares ordenados de números naturales.
Definimos en N x N la relación:
(a, b) ~ (c, d) a + d = b + c
Queríamos decir a – b = c – d, pero no podemos decir esto porque no siempre se puede restar en
N, así que lo que decimos es aquella que es equivalente.
Con lo que sabemos de N vemos inmediatamente que eso es una relación de equivalencia en N x
N: es reflexiva (a, b) N x N (a, b) ~ (a, b) porque a + b = b + a; es simétrica (a, b) ~ (c, d) (c, d) ~
(a, b) porque c + d = b + c c + b = d + a; y es transitiva (a, b) ~ (c, d) , (c, d) ~ (e, f) (a, b) ~ (e, f)
porque a + d = b + c , c +f = d + e a + d + c + f = b + c + d +e a + f = b + e
Por tanto ~ induce una clasificación, por definición el conjunto de números enteros:
Z=NxN/~
Un número entero es lo que tienen en común todos los balances con el mismo saldo (tienen en
común el saldo):
[(0, 4)] = [(2, 6)] = [(1, 5)] =................
Vamos a ver que podemos dotar a Z de una estructura algebraica – topológica análoga a la que
tenía N pero con una propiedad importante más, la estructura anterior además se sumergirá en ésta. Es
decir, ocurrirá que hay una aplicación inyectiva de N en Z que:
- i: a N [(a, b)] Z tal que:
- i (a + b) = i (a) + i (b)
- i (a · b) = i (a) · i (b) Da lo mismo primero sumar y luego sumergir que al revés
- i (a < b) = i (a) < i (b)
Definición de adición, multiplicación y orden en Z:
[(a, b)] + [(c, d)] = [(a + c, b + d)]
Página 2 de 6
Matemática II Conjuntos Numéricos-13/A
[(a, b)] · [(c, d)] = [(ac + bd, ad + bc)] [el “truco” (a – b)(c – d) = ac + bd – (ad + bc)]
[(a, b)] < [(c, d)] : a + d < b + c
Lo primero que hay que ver es que esas definiciones no dependen de los representantes utilizados
para darlas. Es decir que:
(a, b) ~ (a’, b’) |
(c, d) ~ (c’, d’) | (a + c, b + d) ~ (a’ + c’, b’ + d’)
Y esto es cierto porque:
- a + b’ = b + a’ |
- c + d’ = d + c’ | a +c + b’ + d’ = b + d +a’ + c’
Para el caso de la multiplicación:
(a, b) ~ (a’, b’) |
(c, d) ~ (c’, d’) | (ac + bd, ad + bc) ~ (a’c’ + b’d’, a’d’ + b’c’)
Y esto es porque:
- a – b = a’ – b’ |
- c - d = c’ – d’ | ac – ad – bc + bd = a’c’ – a’d’ – b’c’ + b’d’
ac + bd + a’d’ + b’c’ = a’c’ + b’d’ + ad + bc
Para el orden:
(a, b) < (a’, b’) |
(c, d) < (c’, d’) | a + b’ + c + d’ < b + a’ + d + c’
Esto es porque:
a + b’ < b + a’ |
c + d’ < d + c’ | a + c + b’+ d’ < b + d + a’ + c’
Lo segundo que estas definiciones extienden a las de N, es decir, aquello que antes escribíamos i (a
+ b) = i(a) + i(b) donde i: a N [(a, 0)] Z
En efecto a, b N i(a + b) = [(a + b, 0)]
- i(a) = [(a, 0)]
- i(b) = [(b, 0)]
i(a · b) = [(ab, 0)]
i(a) = [(a, 0)]
i(b) = [(b, 0)]
Página 4 de 6
Matemática II Conjuntos Numéricos-13/A
{(1, 3), (2, 6), (3, 5), (-1, -3), (-2, -6),.....} = [(1, 3)] = [(-2, -6)]
El conjunto Z se sumerge en Q de la siguiente forma: a Z [(a, 1)] Q
No solo el conjunto Z se sumerge en Q sino que la estructura se sumerge en una nueva estructura
más rica (Q, +, ·, <). Es decir una vez definamos en Q, +, ·, < se verificará:
- i(a + b) = i(a) + i(b)
- i(a · b) = i(a) · i(b)
- a < b = i(a) < i(b)
Definamos la adición, multiplicación y orden en Q:
[(a, b)] + [(c, d)] = [(ad + bc, bd)]
[(a, b)] [(c, d)] = [(ac, bd)]
[(a, b)] < [(c, d)] = ad < bc
Damos por bien conocida su estructura (Q, +, ·, <) que acabamos de construir a partir de
la (Z, +, ·, <).
Es decir suponemos sabido lo siguiente:
Que la adición en Q tiene las propiedades:
A1 Asociativa: [(a, b)] +{[(c, d)] + [(e, f)]} [(a, b)] + [(cf + de, df)]
[(adf + bcf + bde, bdf))] [(ad + bc, bd)] + [(e, f)]
{[(a, b)] + [(c, b)]} + [(e, f)]
A2 Conmutativa: [(a, b)] + [(c, d)] [(ad + bc, bd)] [(da + cb, db)]
[(c, d)] + [(a, b)]
A3 Existe elemento neutro: [(a, b)] + [(0, 1)] [(a, b)]
A4 Existe opuesto: [(a, b)] + [(-a, b)] = [(a, b)] + [(a, -b)] = [(0, b)]
Que la multiplicación en Q tiene las propiedades:
M1 Asociativa: [(a, b)] · {[(c, d)] · [(e, f)]} [(a, b)] · [(ce, df)] [(ace, bdf)]
[(ac, bd)] · [(e, f)] {[(a, b)] · [(c, d)]} · [(e, f)]
M2 Conmutativa: [(a, b)] · [(c, d)] [(ac , bd)] [(ca, db)] [(c, d)] · [(a, b)]
M3 Existe elemento unidad: [(a, b)] · [(1, 1)] [(a, b)]
M4 Existe inverso: [(a, b)] · [(a, b)]-1 [(a · a-1, b · b-1)] [(1, 1)] (Ganancia respecto a Z)
Que el orden es:
O1Transitivo: [(a, b)] < [(c, d)] , [(c, d)] < [(e, f)] ad < bc , cf < de adcf < bcde
af < be [(a, b)] < [(e, f)]
O2 Antisimétrico: [(a, b)] < [(c, d)] , [(c, d)] < [(a, b)] ad < bc , cb < da
[(a, b)] = [(c, d)]
O3 Es Total: [(a, b)] [(c, d)] ad bc ó ad < bc ó bc < ad ó [(a, b)] < [(c, d)] ó
ó [(c, d)] < [(a, b)]
AM Distributiva: [(a, b)] · {[(c, d)] + [(e, f)]} [(a, b)] · [(cf + de, df)]
[(acf + ade, bdf)] [(a, b)] · [(c, d)] + [(a, b)] · [(e, f)]
OA Orden / adición: [(a, b)] < [(c, d)] ad < bc
[(a, b)] + [(e, f)] < [(c, d)] + [(e, f)] [(af + be, bf)] < [(cf + de, df)]
(af + be) · df < bf · (cf + de) afdf < bfcf ad < bc
OM Orden / multiplicación: [(a, b)] < [(c, d)] , [(0, 1)] < [(e, f)]
[(a, b)] [(e, f)] < [(c, d)] [(e, f)]
Un propiedad más que ya tenían las estructuras anteriores (naturales y enteros), pero que no
merecía la pena citar entonces, la propiedad Arquimediana:
[(a, b)], [(c, d)] Q [(a, b)] < [(0, 1)] n N : [(c, d)] < n [(a, b)]
Página 5 de 6
Matemática II Conjuntos Numéricos-13/A
Dicho con palabras significa que cualquier número racional positivo sumado consigo mismo tantas
veces como sea necesario, se “merienda” a cualquier número.
Por las propiedades A1,....., A4 (Q, +) es un grupo conmutativo o abeliano.
Por las propiedades A1,....., A4 M1,....., M4 y AM (Q, +, ·) es un cuerpo conmutativo.
Por las catorce propiedades primeras (Q, +, ·, <) es un cuerpo totalmente ordenado.
Por las 15 propiedades es un cuerpo arquimediano.
Sin embargo, el cuerpo (Q, +, · <) no es completo. (Q, + ·, <) sirve para contar conjuntos finitos
(contiene N), para hacer balances (contiene Z). Para expresar raciones de reparto, pero no sirve para medir
(expresar el resultado de la medida).
Veamos un ejemplo, el conocido Teorema de Pitágoras. Consideramos un cuadrado de lado 1. No
hay ningún número racional a/b que exprese la longitud de la diagonal. Si lo hubiera, sería ( a/b) 2 = 1+1 = 2.
“Sabemos” que todo nº racional se puede expresar mediante una fracción a/b, tal que a es primo
con b, es decir ay b no tienen ningún divisor en común. Así pues tenemos lo siguiente:
- a2 = 2b2 a2 es par a es par, a2 es múltiplo de 4, es decir, a2 = 4c 4c=2b2
- 2c = b2 b2 es par b es par CONTRADICCION
Tampoco es racional la longitud de la circunferencia de diámetro 1 o el área del círculo de radio 1.
El problema más famoso de la matemática era saber qué nº es . Los egipcios ~ 3,14. A finales
del siglo VXIII se probó que no es racional y a fines del XIX se probó que no es algebraico ( no es raíz de
ningún polinomio de cociente razonable ). Es trascendente.
Página 6 de 6