El concepto de infinitud

Nociones preliminares
C. Badesa

1. Tipos de n
umeros
N
umeros naturales y n
umeros enteros
Si a
nadimos el n
umero 0 a los n
umeros que usamos para contar (1, 2, 3, . . .) obtenemos los
n umeros naturales. Para denotar al conjunto de todos los numeros naturales suele usarse el
smbolo N; as,
N = {0, 1, 2, . . .}.
A los n
umeros 1, 2, . . . se les llama tambien enteros positivos.
Para cada numero entero positivo n, existe un n umero entero negativo que denotamos con
n. El conjunto de los n umeros enteros, que suele denotarse con el smbolo Z, esta constituido
por 0 y los enteros tanto positivos como negativos; esto es,

Z = {. . . , 2, 1, 0, 1, 2, . . .}.

N
umeros racionales
Sean n y m son dos n umeros enteros y supongamos que m 6= 0. Llamamos n umero racional
al cociente entre n y m. Para referirnos a los numeros racionales nos servimos de los decimales o
de las fracciones. En su forma decimal, un n umero racional esta constituido por una parte entera
y una sucesion finita o infinita peri
odica de cifras decimales. Los n
umeros enteros, son tambien
n
umeros racionales. Para designar al conjunto de los n umeros racionales (tanto positivos como
negativos) suele usarse el smbolo Q.
Si n y m son dos n umeros enteros y m 6= 0, denotamos el cociente entre n (el numerador)
n
y m (el denominador) mediante la fracci on m . Dos fracciones distintas pueden denotar a un
mismo n umero racional. Por ejemplo, todas las fracciones de la serie
1 2 3 4
, , , ,...
2 4 6 8
denotan al numero racional cuya forma decimal es 00 5. Dos fracciones distintas m
n
y pq (m, q 6= 0)
denotan el mismo n umero racional syss np = mq.
Si n y m (m 6= 0) son n umeros enteros que no tienen ning un divisor en com un, decimos
n
que la fracci
on m es irreducible. Todo numero racional puede denotarse mediante una fracci on
irreducible. Dos fracciones irreducibles distintas, denotan n
umeros racionales distintos.

N
umeros reales
La proporcion en que se encuentran dos magnitudes no siempre es expresable como el cociente
de dos numeros enteros. Debemos a los matematicos pitagoricos el descubrimiento de que la
proporcion dl entre la diagonal d y el lado l de un cuadrado no es expresable como un cociente
de dos n
umeros enteros, esto es, no existen numeros enteros n y m tales que dl = mn
. Para asignar
un valor numerico a esta proporcion necesitamos un nuevo tipo de n umeros.
Los numeros irracionales no son expresables como cociente de dos n umeros enteros (no son,
por tanto, racionales) y su expansion decimal esta constituida por infinitas cifras decimales no

1

periodicas. Por ejemplo, 2, (la proporcion entre la diagonal y lado de un cuadrado) y (la
proporcion entre la longitud y el di
ametro de una circunferencia) son n
umeros irracionales. Otro
ejemplo interesante de numero irracional es:

00 101001000100001 . . .

Aunque es facil dar una regla para construir esta sucesion decimal infinita y no periodica,
tampoco es posible obtenerla dividiendo dos n umeros enteros.
El conjunto de los n
umeros reales es el formado por los numeros racionales y los irracionales.
Habitualmente se usa el smbolo R para denotar el conjunto de los n
umeros reales (tanto positivos
como negativos).

2. Propiedades de las relaciones

1. Una relaci on R es reflexiva en un conjunto A syss (si y solo si) todo elemento de A
esta relacionado consigo mismo por R; es decir, syss para todo a A, aRa.

2. Una relacion R es irreflexiva syss ning

un objeto esta relacionado consigo mismo por R;
es decir, syss para todo a, no aRa.

3. Una relaci
on R es sim
etrica syss para todo a, b : si aRb,entonces bRa.

4. Una relaci
on R es asim
etrica syss para todo a, b : si aRb, entonces no bRa.

5. Una relaci
on R es antisim
etrica syss para todo a, b : si aRb y bRa, entonces a = b.

6. Una relaci
on R es transitiva syss para todo a, b, z : si aRb y bRc, entonces aRc.

3. Relaciones de orden
1. Un orden parcial reflexivo en un conjunto A es una relacion en A que es reflexiva en
A, antisimetrica y transitiva.

2. Un orden parcial estricto en un conjunto A es una relacion en A asimetrica y transitiva.

3. Un orden total reflexivo (respectivamente, estricto) en un conjunto A es un orden

parcial reflexivo (respectivamente, estricto) en A tal que para todo a, b A, si a =
6 b,
entonces aRb o bRa. A los ordenes totales se les llama tambien lineales.

Observaciones
1. Si R es un orden parcial reflexivo en A, definimos la relacion S en A por:

aSb syss aRb y a 6= b.

S es un orden parcial estricto en A, el orden parcial estricto asociado a R. Inversa-

mente, si S es un orden parcial estricto en A, definimos la relacion R en A por:

aRb syss aSb o a = b.

R es un orden parcial reflexivo en A, el orden parcial reflexivo asociado a S.

2
 2. Un orden parcial (reflexivo o estricto) es lineal si y solo si su orden asociado (estricto o
reflexivo) lo es.

3. Si R es una relaci on de orden (parcial o total) y aRb, decimos que a precede a b (en el
orden R) o que a precede a o es igual a b (en el orden R), dependiendo de si R es un orden
estricto o reflexivo. En vez de preceder, es habitual decir ser menor que, de modo que
los ordenes reflexivos se corresponden con la idea de ser menor o igual que, mientras que
los ordenes estrictos corresponden con la de ser estrictamente menor que. Por esta razon,
solemos usar el smbolo y variantes para referirnos a ordenes parciales reflexivos y
el smbolo < y variantes para referirnos a ordenes parciales estrictos. En un mismo
contexto, y < son ordenes asociados. El uso de estos smbolos no presupone en absoluto
que hablemos de n umeros. Podemos usarlos en cualquier contexto en que este presente un
orden.

3.1. Elementos extremos de un orden parcial

Supongamos que < es un orden parcial estricto en un conjunto A. As, es su orden reflexivo
asociado. Si a y b son elementos de A tales que a < b, diremos que a es estrictamente menor
que b y que b es estrictamente mayor que a, mientras que si a b, diremos que a es menor o
igual que b o que b es mayor o igual que a.
Si < es un orden parcial estricto en un conjunto A, B A y b A, decimos que

1. b es un elemento minimal de B si b B y ning

un elemento de B es estrictamente menor
que b, es decir, si para todo x B, x 6< b.

2. b es un elemento mnimo de B si b B y b es menor o igual que todo elemento de B, es

decir, si para todo x B, b x,.

3. b es un elemento maximal de B si b B y no hay ning

un elemento de B estrictamente
mayor que b, es decir, si para todo x B, b 6< x.

4. b es un elemento m aximo de B si b B y b es mayor o igual que todo elemento de B, es

decir, si para todo x B, x b.

Observaciones
1. Si < es un orden parcial estricto en un conjunto A y B A,

a) B tiene a lo sumo un elemento mnimo,

b) B tiene a lo sumo un elemento maximo,
c) el elemento mnimo de B, si existe, es un elemento minimal de B,
d) el elemento m
aximo de B, si existe, es un elemento maximal de B.

2. En un orden total las nociones de maximal y maximo coinciden. Lo mismo sucede con los
conceptos de minimal y mnimo.

3
3.2. Conjuntos acotados
Supongamos que < es un orden parcial estricto en un conjunto A. Sea B un subconjunto de
A y a un elemento de A. Decimos que

1. a es una cota superior de B en A si a es mayor o igual que todos los elementos de B, es

decir, si para todo x B, x a;

2. a es una cota inferior de B si a es menor o igual que todos los elementos de B, es decir,
si para todo x B, a x;

3. si el conjunto de las cotas superiores de B en A posee elemento mnimo decimos que es el

supremo de B en A.

4. si el conjunto de las cotas inferiores de B en A posee elemento maximo decimos que es el

nfimo de B en A.

Observaciones
1. Si B tiene elemento m aximo (respectivamente, mnimo), tal elemento es el supremo (res-
pectivamente, nfimo) de B.

2. Si el supremo de B (respectivamente, nfimo de B) pertenece a B, entonces es el maximo

(respectivamente, el mnimo) de B.

3.3.
Ordenes lineales discretos, densos y continuos
En lo sucesivo, en lugar de decir que la relacion R es un orden (lineal o parcial) en el conjunto
A, diremos que el par hA, Ri es un orden (lineal o parcial).
Supongamos que hA, <i es un orden parcial estricto. Sean a y b elementos de A. Si a < b y
no hay ningun x A tal que a < x y x < b, decimos que a es predecesor inmediato de b y
que b es sucesor inmediato de a. Todo elemento de un orden lineal tiene a lo sumo un sucesor
inmediato y a lo sumo un predecesor inmediato.

1. Un orden lineal es discreto si (i) todo elemento excepto el mnimo (si existe) tiene prede-
cesor inmediato y (ii) todo elemento excepto el maximo (si existe) tiene sucesor inmediato.

2. Un orden lineal es denso si tiene mas de un elemento y ninguno de sus elementos tiene
predecesor inmediato ni sucesor inmediato. Dicho de otro modo, un orden lineal hA, <i es
denso si y s as de un elemento y para cualesquiera a A y b A,
olo si A tiene m

si a < b, hay c A tal que a < c y c < b.

3. Un orden lineal hA, <i es continuo (o completo) si es un orden denso y todo subconjunto
de A no vaco y acotado superiormente tiene supremo.

Observaciones
umeros naturales, hN, <N i es un orden lineal con ele-
1. Si <N es el orden usual entre los n
mento mnimo, sin elemento maximo y en el que todo subconjunto no vaco de N acotado
superiormente tiene elemento m aximo. hN, <N i. Es ademas un orden discreto.

4
 2. Si Q es el conjunto de los numeros racionales y <Q es el orden usual entre n
umero racio-
nales, entonces hQ, <Q i es un orden denso que no tiene ni elemento maximo ni mnimo.
umeros reales y <R es el orden usual entre los reales, hR, <R i
3. Si R es el conjunto de los n
es un orden denso continuo. As, todo subconjunto de numeros racionales acotado supe-
riormente tiene supremo en hR, <R i.

4. Funciones
Una funci
on de A en B, es una relacion R tal que

1. dom(R) = A y rec(R) B
2. para cada a, b, c,
si ha, bi R y ha, ci R, entonces b = c;

En otras palabras, una relacion R es una funcion de A en B si y solo si para todo a A hay
nico objeto b B tal que ha, bi R.
un u
Solemos referirnos a funciones mediante las letras f , g, h, F , G y H, posible-
mente con subndices. Si f es una funcion de A en B, escribimos
f : A B,
on A en B y a A, f (a) es el u
Si f es una funci nico objeto b B tal que ha, bi f . As,
para todo elemento a del dominio de f ,
f (a) = b syss ha, bi f.
Decimos que f (a) es el valor de f en el argumento a, o el valor que f asigna al argumento
a. En este contexto, argumento es sinonimo de elemento del dominio.
Como veremos en los ejemplos del siguiente apartado, la manera habitual de definir una
funcion consiste en especificar cu
al es el su dominio e indicar que valor asigna la funcion a cada
elemento del dominio.

Igualdad de funciones
Si f : A B y g : C D entonces
f = g syss A = C y para todo a A, f (a) = g(a);
en otras palabras, las funciones f y g son iguales si y solo si tienen el mismo dominio y asignan
los mismos valores a cada argumento.

Tipos de funciones
on f de A en B es inyectiva syss para cualesquiera a, b A,
1. Una funci
si f (a) = f (b), entonces a = b,
o, lo que es equivalente,
si a 6= b, entonces f (a) 6= f (b);
en otras palabras, una funci
on es inyectiva si y solo si asigna valores distintos a argumentos
distintos.

5
 2. Si f es una funci
on de A en B, decimos que es sobre B (esto es, que es una funci on de
A sobre B) si y s olo si rec(f ) = B. As, f es una funcion de A sobre B si y solo si

a) si f es una funci
on de A en B y
b) para todo b B hay alg
un a A tal que f (a) = b.

3. Si A y B son conjuntos cualesquiera, una biyecci on entre A y B es una funcion inyectiva de

A sobre B. Si existe una funci
on biyectiva entre A y B decimos que A y B son biyectables.

Ejemplos

1. La funcion f de N en en el conjunto de los n

umeros pares definida por f (n) = 2n, es una
biyecci
on.

on g : N N definida por
2. Definamos la funci

n/2 si n es par,
g(n) =
0 si n es impar.

no es inyectiva (pues g(0) = g(1) = 0), pero es sobre N.

on h : N N definida por h(n) = n + 3 es una inyectiva, pero no es sobre N.

3. La funci

on g : Z N definida por g(n) = n2 no es un inyectiva (pues g(3) = g(3)) y

4. La funci
tampoco es sobre N.