matem
atica formal
Segunda edici
on
. . . perseverancia
6 de agosto de 2014
2 Lo indispensable de la matem
atica formal
Edici
on y portada: M.F. Rosales G.
c Mario Francisco Rosales Gonz
alez, 03-2014-012113264300-01 Mexico.
mfrosales@ciencias.unam.mx
ISBN-13:
ISBN-10:
LATEX 2E
Mario F. Rosales G. 3
ater la UNAM 1
Con profundo respeto y agradecimiento a mi alma m
y a mis maestros, en especial: Enrique Rivero Borrell,
Arturo Fregoso Urbina y Thomas A. Brody Spitz.
La libertad de c
atedra sostiene la completa independencia en la investigaci
on y ense
nanza sin supervisi
on acad
emica.
La c
atedra paralela sostiene la necesidad de que existan e impulsen m
ultiples opciones para los estudiantes, quienes a
su vez deben poder elegir entre ellas libremente.
La c
atedra libre es el derecho de todo intelectual, cientfico o artista, con idoneidad suficiente, a tener una c
atedra para
difundir su conocimiento.. . los ttulos y grados auxilian a identificar la capacidad de un individuo, pero su carencia
(generalmente debida a la ausencia de los principios previos) no lo descalifican.
4 Lo indispensable de la matem
atica formal
La matem
atica es un tema inconmensurable,
an todos lo esfuerzos que haga el ingenio para penetrarla del todo. 3
y vanos ser
atica 5 ,
El objetivo primordial de este libro es formativo, con el pretendo difundir un proceder en la matem
basado en el uso permanente y sistem
atico del concepto formal de funci
on de la teora de conjuntos con enfasis en
la l
ogica, y es el primer volumen de un proyecto en donde desarrollo al c
alculo diferencial e integral formal con
estas caractersticas. Este proceder constituye una corriente polemica, existente desde hace a
nos y a
un carente de
una declaraci atico 6 .
on explcita, cuya finalidad es lograr mayor armona y claridad en el pensamiento matem
La matem
atica debe interpretarse como un lenguaje. . .
on de significados de complejidad creciente. 7
un proceso de construcci
Aunque sus fundamentos aparecen en textos de teora de conjuntos [11] y [25] y en algunos de c
alculo
diferencial e integral [15] y [9], es raro encontrar desarrollos consistentes a ellos en publicaciones de otros temas de
la matem
atica, y menos a
un de la fsica. Incluso en los libros donde se establecen los fundamentos, el planteamiento
no es decidido, pues oscilan con la presentaci
on moderna del concepto de funci
on (vease p
ag. 66), tal vez por la
ausencia de los elementos complementarios que aqu enuncio y utilizo, o simplemente como un acto conciliatorio
debido a la inercia existente en la ense
nanza de la matem
atica.
Esta visi
on funcional globaliza los planteamientos y desarrollos, permitiendo aproximarse a su expresi
on
explcita, completa y sin ambig
uedades, lo cual es indispensable para lograr la armona y claridad en el pensamiento
que pretendo, pero presenta cierta complejidad y un considerable nivel de abstracci
on. Para su asimilaci
on y
5 La matem
atica formal es el estudio de patrones en las estructuras de entes abstractos y las relaciones entre ellas, en la
que se establece una corriente de la matem
atica pura. En ella, los matem
aticos definen e investigan estructuras y conceptos
abstractos por razones puramente internas a la matem
atica, debido a que tales estructuras pueden proveer, por ejemplo, una
generalizaci
on elegante. Muchos de ellos, estudian sus a
reas de preferencia simplemente por razones est
eticas, viendo as a la
`
matematica como una forma del arte en vez de una ciencia pr actica o aplicada v
ease [12] .
6 En cierto sentido compatible a la inconclusa presentaci
on estructural de la matem
atica de los Bourbaki y estrechamente
vinculada con la escuela formalista de la matem
atica (sin que esto signifique que se piense que la matem
atica es un sistema
formal). Nicolas Bourbaki [4] y [5], es el seud
onimo de una c
elebre agrupaci
on de matem
aticos franceses, activa desde 1934,
que busca una sntesis ordenada del conocimiento matem
atico para lograr mayor consistencia
7 Un planteamiento muy acertado del pedagogo espa
nol Manuel Alcal
a Fern
andez (1949- ) expresado en [1] p
ag. 8.
5
6 Lo indispensable de la matem
atica formal
saboreamiento, adem
as de cierta madurez, tambien resulta necesaria una actitud crtica ante el conocimiento, que
obligue a la b
usqueda de armona en los fundamentos, para as poder pretender un razonamiento deductivo, crtico,
profundo, creativo, aut
onomo y confiable.
A
un cuando un libro dificilmente es autocontenido, las caractersticas de este libro han obligado a intentarlo.
La presentaci
on y notaci
on en el libro es original, las innovaciones en el simbolismo provienen de la necesidad
(no son una necedad como opinan algunos detractores), pues se requieren smbolos nuevos para representar a entes
diferentes, a
un cuando esten relacionados con los tradicionales. Su complejidad est
a directamente vinculada a la de
los entes, por lo que se necesitan smbolos m
as sofisticados para expresar una idea m
as dicente o acabada.
El lenguaje matem
atico es soporte y, a la vez,
atico mismo. 9
parte constitutiva del conocimiento matem
He recurrido a la incorporaci
on de observaciones o reflexiones en forma diferenciada del texto, usando los
smbolos H y N al inicio y al final de los p
arrafos que las contienen, para indicar que son optativos por ser avanzados
e informativos. As mismo, se adopta el smbolo utilizado por los Bourbaki, una Z (sector sinuoso) al margen del
texto, para indicar un tema delicado que amerita mayor reflexi
on
o discusi
on (ad inquerendum). Las definiciones
est
an en el texto y ocasionalmente en las notas de pie de p
agina, solo se distinguen con el uso de negritas, las cuales,
al igual que el significado de los smbolos utilizados, pueden localizarse facilmente en el ndice al final del libro.
l
Aunque en el libro no hay secciones de ejercicios, estos se encuentran dispersos y se
nalados con al margen de
la hoja, intentando con ellos reforzar el material presentado e invitando al lector a la reflexi
on sobre su contenido.
8 Sin soslayar el trabajo del matem
atico austriaco Kurt G
odel (1906-1978), en donde se asegura demuestra [19] que la
coherencia y la completitud no podan darse simult
aneamente en la matem
atica (o al menos en los n
umeros enteros), y de
ah que la matem
atica no sea un sistema formal. Tambi
en se dice que el matem
atico estadounidense Alonzo Church (1903-1995)
demuestra la indecibililidad de la matem
atica, por lo que carece de otra propiedad de los sistemas formales. Afortunadamente
esto no resta validez a un planteamiento axiom
atico, pues lo no demostrable no elimina a lo demostrable, y precisamente con
lo demostrable se establecen las teoras.
9 [1] p
ag. 19.
Mario F. Rosales G. 7
La extensi
on del proyecto y el tenaz apego a la l
ogica y al concepto formal de funci
on, ha resultado ser
una labor formidable y sofisticada que rebas
o las dificultades inicialmente supuestas, incurriendo seguramente en
muchas omisiones y equvocos involuntarios inherentes a un proceso evolutivo con planteamientos originales, y
agradecere sean corregidos por alg
un lector entusiasta que perfeccione y contin
ue esta tarea.
M.F. Rosales G.
Facultad de Ciencias, UNAM.
10 Alfr
ed R
enyi (1921-1970), matem
atico h
ungaro que hizo importantes contribuciones a las teoras de combinatoria y de
grafos.
8 Lo indispensable de la matem
atica formal
Contenido
1. L
ogica 13
1.1. Introducci
on . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.2. L
ogica simb
olica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.4. Cuantificadores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
2. Teora de conjuntos 35
2.1. Introducci
on . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
2.2. Axiomas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
2.3. Consecuencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
3. Funciones 63
3.1. Generalidades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
3.2. Invocaci
on de funciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
3.4. Conjugaci
on de funciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76
3.4.1. Conjugaciones b
asicas de funciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76
3.4.2. Restricci
on de funciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80
9
10 Lo indispensable de la matem
atica formal
3.5. Funci
on inversa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82
4. N
umeros reales 95
4.1. Introducci
on . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95
4.2. Presentaci
on axiom
atica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
4.4. N
umeros naturales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 110
5.2. Potenciaci
on de funciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 120
6.3. M
aximo y mnimo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 142
6.4. An
alisis combinatorio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 144
on digital de R
7. Representaci 149
7.2. Digitalizaci
on . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 153
Mario F. Rosales G. 11
8.2. Conjugaci
on de funciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 160
9.4. Generaci
on lineal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 210
10. Dimensi
on de espacios vectoriales 237
Ap
endices 257
B. Breviario de t
erminos filos
oficos 259
Bibliografa 265
L
ogica
Henri Poincare 1
ogica es una rama de la filosofa 2 que puede definirse como el estudio sistem
La l atico de los metodos de
razonamiento, en la que existen diversos planteamientos que dan lugar a l asica 3 y a las l
ogica cl ogicas no cl
asicas.
En esta secci
on se presenta una breve introducci
on a la versi
on moderna de la l
ogica cl ogica formal 4
asica, llamada l
[13], escencial para la comprensi
on de la matem
atica e ingrediente fundamental de la formaci
on cientfica.
13
14 Lo indispensable de la matem
atica formal
1.1. Introducci
on
En las discusiones l
ogicas, los
ambitos del razonamiento, los ingredientes m
as sencillos son los enun-
ciados l
ogicos simples o at an constituidos por entes 6 a los que en una discusi
omicos que est on l
ogica se les ha
asignado un atributo llamado estado l
ogico; luego un enunciado l
ogico tiene un caracter declarativo y de ah el
uso del termino enunciado. En la l
ogica cl
asica, a diferencia de la formal, los entes est
an vinculados a la realidad
y generalmente son descritos con oraciones 7 en lengua natural.
En la l
ogica cl
asica, y por ello tambien en la formal, los estados l
ogicos asociables a entes se rigen por
el principio de tercero excluido 11 que establece el que todo estado l
ogico es verdad
o falso, y entre estos
dos estados no se admite un estado intermedio (o tercero). En el lenguaje com
un la conjunci
on presencial o es
disyuntiva (excluyente), pero en la l
ogica se le incorpora la opci
on de conjunci
on presencial dual, por lo que
6 Enti
endase como ente de raz
on (ente abstracto): lo que existe con especificidad en el pensamiento o entendimiento.. .
poseen atributos que los caracterizan y distinguen de otros. Es un tema fundamental propio de la ontologa y de ah el vnculo
de la l
ogica con la filosofa.
7 Pragm
aticamente, una oraci
on es una secuencia de smbolos o sonidos que exterioriza un pensamiento o idea con complitud
descriptiva (una idea completa con independencia del contexto).
8 Podra decirse que se adopta la que podra llamarse l
ogica relativa, por enfatizar el caracter relativo de las discusiones
l
ogicas y del atributo presencial.
9 Sera muy apropiado reemplazar verdad y falso por acertado y equvoco.
10 En Meditaciones metafsicas de Ren
e Descartes.
11 En las l
ogicas no cl
asicas se adoptan otras posiciones, tal como en la l
ogica intuicionista y en la l
ogica difusa, que rechazan
al principio de tercero excluido.
Mario F. Rosales G. 15
Dado que en las discusiones se adoptan smbolos 12 sencillos para representar a entes adjudic
andoles
sus correspondientes pensamientos o ideas, con la finalidad de simplificar la escritura o conversaci
on, tambien se
incorporan a los smbolos 13 g y f para los estados verdad y falso respectivamente. As entonces, si a un ente
invocado en una discusi
on se le representa con A, en la l
ogica cl
asica es viable asignarle los estados g o f,
conform
andose dos enunciados l
ogicos factibles que se conviene en notarlos con Ag y Af respectivamente, y en
principio se podra tener la presencia de ambos enunciados (copresencia) en la discusi
on, la presencia incluyente
Ag y Af, pero el principio de no contradicci
on de la l
ogica cl
asica establece que es inadmisible (se dice que
constituye una contradicci
on cl
asica). Por lo tanto de la invocaci
on de un ente en una discusi
on y de la adopci
on
de un smbolo para representarlo, por ejemplo A , se sigue la presencia excluyente A g o Af de los enunciados
Ag y Af debido al principio de tercero excluido, la cual no es un enunciado (pero establece la presencia de un
enunciado) que se nota con hAi y se le llama 14 proposici
on l
ogica de A .
ltimo planteamiento se puede y debe generalizar, para ello se introduce al smbolo (lease id
Este u en-
tico), pues al hacer A B en una discusi
on con un par de smbolos A y B , se establece que en dicha discusi
on
ambos smbolos representan al mismo ente, con caracter afirmativo pero sin constitur una proposici
on o enunciado,
luego para la proposici ogica de un ente representado con A se hace hAi A g o Af. Es frecuente el uso
on l
osito recien asignado a , planteando confusiones innecesarias y hace
del smbolo = (lease igual) con el prop
on, para dos smbolos 15 A y B es viable introducir al smbolo
indispensable aclarar su significado. En una discusi
= como un conector entre ellos, la igualdad simb
olica, conformando al smbolo A = B y con el a la proposici
on
ogica hA = Bi (A = B) g o (A = B)f, por lo que resulta inapropiado considerar cadenas de smbolos
l
conectados con el smbolo = a
un cuando tradicionalmente sea ampliamente utilizado, y se conviene en incorporar
en la discusi
on al enunciado (A = B)g cuando los smbolos A y B representan al mismo ente, luego de plantear
A B en una discusi
on se sigue (A = B)g, independientemente a que las grafas difieran y de ello en la discusi
on
se acepta la sustituci
on de un smbolo con el otro. Pero debe observarse que no se dice entes iguales pues la
multiplicidad de entes es inaceptable ya que poseen atributos que los caracterizan y distinguen; en caso dado, la
identificaci
on de cierta semejanza entre objetos en la realidad y la exclusi
on de lo que los distingue (que
necesariamente existe) da lugar a un solo ente, por lo que para una agrupaci
on de objetos semejantes se plantea a
un conjunto con un elemento.
`
Entonces para la proposici ogica de un ente representado con A se tiene hAi = A g o A f g y carece
on l
de sentido el considerar a (Ag y Af)f debido al principio de no contradicci
on, y de (A = B)g se sigue la presencia
incluyente (Ag = Bg) g y (Af = Bf)g lo cual es demostrable al aceptar (g = f)f. Tambien es fundamental el que
12 Posiblemente sera m
as acertado utilizar el t
ermino signo, el cual es propio de la teora de signos conocida como semi
otica.
13 Con la conjunci
on presencial y que es copulativa (incluyente) y el smbolo g del latn verum ([13] p
ag. 17).
14 Desafortunadamente en la l
ogica es frecuente que enunciado y proposici
on sean considerados como sin
onimos.
15 El empleo de dos como un prefijo implcitamente lleva a diferentes y esta acepci
on ser
a la utilizada en este libro.
16 Lo indispensable de la matem
atica formal
H La presentaci
on previa del concepto de proposici
on l
ogica compuesta es insatisfactoria y para sub-
sanar las dificultades se requiere de la teora de conjuntos, la cual a la vez involucra muchos elementos
de la l
ogica, impidiendo un desarrollo independiente.
Para un smbolo abierto A y los smbolos g y f se hace Ag (g, A) y Af (f, A), y de hAi
`
(g, A) o (f, A) se sigue hAi = Ag o Af g con afinidad a lo previamente establecido, pero expresando
con cierta propiedad el significado de asignaci
on de estados l
ogicos con pares ordenados. Ahora, de
la consideraci
on de dos smbolos abiertos A y B se tiene a los enunciados (g, A), (g, B), (f, A),
(f, B) , y con (g, A) y (g, B), (g, A) y (f, B), (f, A) y (g, B), (f, A) y (f, B) es viable identificar
`` `
diversas proposiciones compuestas como hA Bi g, (g, A) y (g, B) o g, (f, A) y (f, B) o
`` ` ` ` `
f, (g, A) y (f, B) o f, (g, A) y (g, B) en donde (A B)g = (g, A) y (g, B) o (f, A) y
` ` `
(f, B) g y (A B)f = (f, A) y (g, B) o (g, A) y (f, B) g, por lo cual de la presencia de
` `
(A B)g en una discusi on se sigue la presencia (g, A) y (g, B) o (f, A) y (f, B) , es decir la
presencia (A g y Bg) o (A f y Bf) , y de igual manera de la presencia de (A B)f se sigue la
presencia de (A f y Bg) o (A g y Bf) en concordancia con lo antes expuesto para la coimplicaci
on. N
1.2. L
ogica simb
olica
La l
ogica simb
olica (c
alculo simb
olico) plantea un metodo de razonamiento para smbolos, sin requerir el
que representen alg
un ente (a
un cuando no lo excluye), por lo que aqu se les llama smbolos abiertos, y en esta
secci
on se sistematiza su uso para futuras discusiones en las que los smbolos representen entes especficos o se les
impongan algunos atributos.
En analoga con el planteamiento anterior, a los smbolos abiertos tambien se les asocia los smbolos g y
f manteniendo los terminos de verdad y falso para ellos, conformando sus correspondientes enunciados l
ogicos
abiertos, pero sin que esto involucre al contexto de los estados l
ogicos comentado previamente por tratar con
smbolos abiertos, a
un cuando es afn. A la presencia excluyente de los smbolos compuestos resultantes de la
asociaci
on de un smbolo abierto con el smbolo g y f se le llama proposici
on l
ogica abierta, expresando con
ello la naturaleza variable de un smbolo abierto.
16 Blaise Pascal (1623-1662), matem
atico, fsico y fil
osofo franc
es con contribuciones a la teora de la probabilidad y los
medios continuos.
Mario F. Rosales G. 17
En las proposiciones l
ogicas abiertas se preserva la escencia del principio de no contradicci
on, pues en una
discusi
on, para un smbolo abierto A se rechaza la presencia de Ag y Af, y tambien se incorpora (A = A)g,
manteniendose el paralelismo con los enunciados l
ogicos. Tradicionalmente con dos smbolos abiertos A y B se
plantean los smbolos A B, A B, A B, A B y A 0 B , con los cuales se consideran las proposiciones
ogicas abiertas 17 hA Bi , hA Bi , hA Bi , hA Bi y hA 0 Bi que se conocen como proposiciones
l
ogicas compuestas o moleculares, haciendo 18
l
8
< (A B)g (A g y Bg) o (A f y Bf) ,
Coimplicaci
on
: (A B)f (A g y Bf) o (A f y Bg)
en donde la presencia del enunciado (A B)g estipula la presencia de (A g y Bg) o (A f y Bf), y la presencia
del enunciado (A B)fla presencia de (A g y Bf) o (A f y Bg), siendo los enunciados (A B)g y (A B)f
excluyentes para tener afinidad con el principio de no contradicci
on. De igual manera
8
< (A B)g (A g y Bg) o `(A f y Bf) o (A f y Bg) ,
Implicaci
on
: (A B)f A g y Bf
8
< (A B)g (A g y Bg) o `(A g y Bf) o (A f y Bg) ,
Conjunci
on dual
: (A B)f A f y Bf
8
<
(A B)g A g y Bg,
Conjunci
on copulativa `
: (A B)f (A g y Bf) o (A f y Bg) o (A f y Bf)
8
< (A 0 B)g (A g y Bf) o (A f y Bg) ,
Conjunci
on disyuntiva
: (A 0 B)f (A g y Bg) o (A f y Bf)
hA Bi hA Bi hA Bi hA Bi hA 0 Bi
A g y Bg g g g g f
A g y Bf f f g f g (1.1)
A f y Bg f g g f g
A f y Bf g g f f f
Por ejemplo, con los smbolos 21 P & Q & R se tienen 23 presencias debido al teorema (6.4.1; 145) todas ellas
excluyentes , entonces de (1.1; 17) y para el smbolo P 0 (Q 0 R) se sigue
hQ 0 Ri P 0 (Q 0 R)
P g y Q g y Rg f g
P g y Q f y Rg g f
P f y Q g y Rg f f
P f y Q f y Rg g g (1.2)
P g y Q g y Rf g f
P g y Q f y Rf f g
P f y Q g y Rf g g
P f y Q f y Rf f f
as mismo, para los smbolos P & Q & R & S se presentan 24 presencias y al considerar las proposiciones asociadas
a X (P Q) (R S) y Y (P R) (Q S) se tiene
hP Qi hR Si hXi hP R hQ Si h Y i
P g y Q g y R g y Sg g g g g g g
P g y Q g y R g y Sf g f f g f g
P g y Q f y R g y Sg f g f f g g
P g y Q f y R g y Sf f f f g f g
P f y Q g y R g y Sg f g f f g g
P f y Q g y R g y Sf f f f f f f
P f y Q f y R g y Sg f g f f f f
P f y Q f y R g y Sf f f f f f f (1.3)
P g y Q g y R f y Sg g f f f g g
P g y Q g y R f y Sf g f f f f f
P g y Q f y R f y Sg f f f f f f
P g y Q f y R f y Sf f f f f f f
P f y Q g y R f y Sg f f f f g g
P f y Q g y R f y Sf f f f f f f
P f y Q f y R f y Sg f f f f f f
P f y Q f y R f y Sf f f f f f f
`
alogamente para X (P Q) (Q R) (Q R) y de (1.1; 17) se sigue
An
hP Qi hQ Ri (P Q) (Q R) hQ R hXi
P g y Q g y Rg g g g g g
P g y Q f y Rg f g f g f
P f y Q g y Rg g g g g g
P f y Q f y Rg g g g g g
P g y Q g y Rf g f f g f
P g y Q f y Rf f g f f f
P f y Q g y Rf g f f g f
P f y Q f y Rf g g g f f
Una situaci
on particular pero importante se presenta con los enunciados l
ogicos abiertos, pues al tratarse de
smbolos abiertos es viable considerar a sus correspondientes enunciados l
ogicos abiertos, teniendose (Ag)g, (Ag)f,
(Af)g, (Af)f con el smbolo A y es necesario expresar lo que representara su presencia en una discusi
on haciendo
(Ag)g Ag y (Ag)f Af y (Af)g Af y (Af)f Ag, y en estos terminos se incorpora la negaci
on de
un smbolo abierto, para ello se utiliza al smbolo como prefijo del smbolo abierto y se hace (A)g (Af)g
y (A)f (Af)f, por lo cual
` 9
(A)g = A f g >
=
(Negaci
on) (1.4)
` >
(A)f = A g g ;
y adem
as de la presencia de (A)g en una discusi
on se sigue la presencia de Af, y an
alogamente para (A)f.
on de dos smbolos abiertos P y Q se tiene 22
Entonces para la conjugaci
(P Q) (P Q) (P Q) (P Q) (P 0 Q)
P g y Qg f f f f g
P g y Qf g g f g f (1.5)
P f y Qg g f f g f
P f y Qf f f g g g
La negaci
on de smbolos provee un comportamiento interesante para la igualdad de smbolos, pues al seguir
`
on se hace A 6= B (A = B) , luego (A 6= B)g = (A = B) f g g y de la presencia de (A 6= B)g
la tradici
on se tiene (A 6= B)g se dice que A y B son smbolos
se sigue la de (A = B)f y viceverza, y cuando en una discusi
diferentes. Ahora como de (A = B)g se tiene (A = B)g o (A = B)f, entonces se sigue (A = B)g o (A 6= B)g,
luego dado que en una discusi
on se incorpora (A = A)g cuando se invoca al smbolo A , se sigue el repudio de
(A 6= A)g. . . un pensamiento b
asico inculcado desde la ni
nez.
Con A A se tiene
hA Ai
A g y (A)g g
A g y (A)f f
A f y (A)g f
A f y (A)f f
debido a ((1.1); 17), luego de ((1.4); 19) se reduce a
hA Ai
Ag f
Af f
luego
hA Ai contradici
on. (1.6)
hA Ai
A g y (A)g g
A g y (A)f g
A f y (A)g g
A f y (A)f f
entonces
A (B B) tautologa . (1.8)
23 En lengua natural se dice que una tautologa es la repetici
on de un mismo pensamiento expresado de manera distinta.
Mario F. Rosales G. 21
Con A A se tiene
AA (Reflexividad). (1.10)
entonces
(A B) A (Simplificaci
on). (1.13)
De manera similar a los ejemplos anteriores se pueden verificar los siguientes comportamientos, que se
l
dejan al lector como ejercicio:
`
(A B) A B (1.15)
`
(A B) B A (1.16)
``
(A B) (C D) (A C) (B D) (1.17)
``
(A B) (C D) (B D) (A C) (1.18)
`
(A B) (B C) (A C) (1.19)
`
(A B) A B (1.20)
A (A B) (1.21)
`
(A B) (A B) (A B) (1.22)
9
(A B) (B A) >
=
(Conmutativas) (1.23)
>
(A B) (B A) ;
` ` 9
(A B) C A (B C) >
=
(Asociativas) (1.24)
` ` >
(A B) C A (B C) ;
` ` 9
A (B C) (A B) (A C) >
=
(Distributivas) (1.25)
` ` >
A (B C) (A B) (A C) ;
(A B) (B A) (Contrapositiva) (1.26)
9
(A B) (A B) >
=
(Morgan) (1.27)
>
(A B) (A B) ;
` 9
(A B) (A B) (B A) >
=
(Equivalencias materiales) (1.28)
` >
(A B) (A B) (A B) ;
` `
(A B) C A (B C) (Exportaci
on). (1.29)
No est
a de m
as mencionar que las tautologas se deben al c
omo est
an constituidas las proposiciones
participantes, las cuales al ser abiertas son independientes a lo que puedan representar los smbolos considerados.
As mismo, se sostienen en toda discusi
on en donde se acepten las definiciones y reglas adoptadas para los smbolos
abiertos, lo cual difiere del planteamiento que a continuaci
on se da para la inferencia.
24 Lo indispensable de la matem
atica formal
En la l
ogica lo fundamental son los razonamientos, ellos involucran a procesos mentales abstractos ordena
ogicamente 24 en los que participan enunciados l
dos cronol ogicos, que pueden llevar a conclusiones a partir de ciertos
antecedentes no necesariamente de manera u
nica, plante
andose relaciones causales. Al considerar en una discusi
on
a ciertos antecedentes, conocidos como hip
otesis, para una conclusi
on llamada tesis, ambos con una connotaci
on
tentativa (no necesariamente presentes 25 en la discusi
on), pueden ser o no suficientes dichos antecedentes para
verificar 26 la conclusi
on propuesta. Cuando se tiene la suficiencia, siendo la hip
otesis y la tesis enunciados l
ogicos,
on causal constituye una regla de inferencia 27 . Pero a
se dice que dicha relaci un cuando se tenga la suficiencia,
la hip
otesis es tentativa hasta que no se declare o se establezca su presencia en la discusi
on, lo cual llevara a la
presencia de la tesis dado que en la discusi
on se ha identificado y validado la regla de inferencia; sin embargo la
incorporaci
on de una tesis en una discusi
on est
a limitada a los antecedentes presentes en la discusi
on y en ello tiene
un papel muy importante el uso de smbolos semiabiertos 28 (sin especificidad). . . por lo que se puede decir que el
proyecto del cual es parte este libro es una discusi
on l
ogica, siendo fundamental el orden cronol
ogico.
Para notar una regla de inferencia se conviene en utilizar al smbolo ` llamado inferencia como un
conector entre la hip
otesis y la tesis; por ejemplo, si para los smbolos abiertos A y B en una discusi
on se tiene
otesis Ag y la tesis Bg se establece una regla de inferencia, se hace Ag ` Bg y se interpreta como
que con la hip
una afirmaci
on; lo cual no asocia el estado g a la regla de inferencia, dado que no es una proposici
on l
ogica, pero
alida o correcta. Podra presentarse el que tambien se diese Bg ` Ag, en cuyo
es aceptable utilizar el adjetivo de v
caso se utiliza al smbolo a ` llam
andolo coinferencia, expresando a ambas reglas de inferencia con Ag a ` Bg.
De los comportamientos previos se obtienen ejemplos sencillos, pero importantes, de reglas de inferencia:
` `
Para la hip
otesis (A B) A g y la tesis Bg, se tiene (A B) A B g debido a ((1.15); 23),
otesis se sigue Bg, obteniendose la regla de inferencia 29
luego de ((1.1); 17) y la hip
`
(A B) A g ` B g (Regla Modus ponens). (1.30)
` ``
Similarmente, para la hip
otesis (A B) B g y la tesis (A)g, se sigue (A B) B A g
debido a ((1.16); 23), entonces de ((1.1); 17) y la hip
otesis se tiene (A)g, con lo cual se establece la regla
de inferencia 30
`
(A B) B g ` (A) g (Regla Modus tollens). (1.31)
``
Para la hip
otesis (A B) (C D) (A C) g y la tesis (B D)g, de ((1.17); 23) se tiene
```
(A B) (C D) (A C) (B D) g, luego de ((1.1); 17) y la hip
otesis se sigue (B D)g,
obteniendose la regla de inferencia
``
(A B) (C D) (A C) g ` (B D) g (Dilema constructivo). (1.32)
`
otesis (A B)g y la tesis Ag, de ((1.13); 22) se tiene
Para la hip (A B) A g, y de la hip
otesis y
((1.1); 17) se sigue Ag, con lo que se concluye la regla de inferencia
l
Como ejercicio se deja al lector la verificaci
on de las siguientes reglas de inferencia:
``
(A B) (D C) (B C) g ` (A D) g (Dilema destructivo) (1.34)
`
(A B) (B D) g ` (A D) g (Silogismo hipotetico) (1.35)
`
(A B) (A) g ` B g (Silogismo disyuntivo) (1.36)
Ag ` (A B) g (Regla de adici
on) (1.37)
Las verificaciones dadas de reglas de inferencia consideradas, constituyen casos muy elementales de de-
mostraciones directas, en donde los razonamientos empleados se basan en la declaraci
on de las hip
otesis y la
identificaci
on de tautologas apropiadas. En general la demostraci
on directa de una regla de inferencia es m
as
compleja, pues adem
as del estado declarado en los enunciados de las hip
otesis, requiere de la identificaci
on secuen-
cial de otras reglas de inferencia afines y previamente establecidas, cuyas tesis complementan la hip
otesis original
al incorporarlas en una discusi
on.
La concepci
on de la regla de inferencia a demostrar y la identificaci
on de las reglas de inferencia para
su demostraci
on, constituye el desafio de los matem
aticos, no hay procedimientos para ello y frecuentemente se
origina por el deseo de complementar una estructura matem
atica o por una necesidad especfica. Esta complejidad
se incrementa con la pretenci
on, siempre presente, de incorporar en la hip
otesis y en el razonamiento lo mnimo
necesario para lograr con armona y claridad la demostraci
on de la tesis, exigiendo su depuraci
on concienzuda. . .
atico 31 .
el quehacer y placer del matem
A continuaci
on se presentan otras demostraciones directas de reglas de inferencia, en donde se identifican
reglas de inferencia y tautologas previamente obtenidas:
30 Del latn modus tollens que significa modo que negando niega.
31 En esto hay corrientes, estilos e incluso modas, de ah que se diga apropiadamente que hay similitud con el arte.
26 Lo indispensable de la matem
atica formal
``
1. Para la hip
otesis (A B) C (A B) g y la tesis Cf, se tiene (C)g debido a la hip otesis y
``
((1.30); 24), luego Cf de ((1.4); 19), de lo cual se concluye (A B) C (A B) g ` Cf.
` `
2. Con la hipotesis (Q R) P P g y la tesis (Q R)g, se sigue (Q R) g debido a ((1.31);
` `
25), luego Q R) g de (1.27; 23), obteniendose (Q R) P P g ` (Q R)g.
`` `
3. Para la hipotesis (P Q) (Q R) R g y la tesis (Q P )g, se tiene (P Q) (Q R) g
``
y (R)g debido a ((1.33); 25), luego (Q R)g de ((1.37); 25), por lo cual (P Q) (Q
R) (Q R) g de ((1.40); 26), entonces (Q P )ig de ((1.34); 25), y de (1.27; 23) y ((1.4); 19) se
``
concluye (P Q) (Q R) R g ` (Q P )f.
hS T i hT U i hS U i
S g y Ug g g g
S f y Uf g g g
entonces
`
S T y T U . S U . (1.38)
hP Qi hP Qi
P g y Qg g g
P f y Qf g g
P Q /. P Q . (1.39)
(A g y Bg) /. (A B) g on) 32 .
(Regla de conjunci (1.40)
l
4. De modo an
alogo el lector puede demostrar
32 Esta coconcatenaci
on establece el vnculo de la presencia incluyente de dos enunciados con el enunciado resultante de la
conjunci
on copulativa de sus smbolos, enfatizando sus diferencias conceptuales que el lector no debe soslayar.
Mario F. Rosales G. 27
P Q /. Q P . (1.41)
P g y Q g y Rg g a a g
P g y Q g y Rf g b b g
P f y Q f y Rg g c c g
P f y Q f y Rf g d d g
(P g ` Q g y P g ` Qf) . P f (Reducci
on al absurdo) (1.44)
33 Como casos particulares se tienen a los lemas, los corolarios y las proposiciones.
34 En ocasiones, por convenir a la redacci
on no es explcita la concatenaci
on, el pre
ambulo es la hip
otesis y la tesis una
proposici
on o enunciado l
ogico.
28 Lo indispensable de la matem
atica formal
Reanudando el tema de las demostraciones indirectas, con las proposiciones hHi y hT i se procede como
sigue:
`
(Hg ` T g) /. (T )g ` (H) g (Contrapositiva). (1.45)
Demostraci
on por contradicci on directa se tiene Qg ` (H)g y
on.- Cuando con una demostraci
(T )g ` Qg, se sigue (T )g ` (H)g, luego Hg ` T V debido a ((1.45); 28), por lo cual
`
Qg ` (H) g y (T )g ` Q g . (Hg ` T g) (Contradictoria). (1.46)
Un caso particular importante se presenta con dos proposiciones hHi y hT i en una discusi
on pues se tiene
T f ` T f, pero si se demuestra Hg ` T g se sigue T f ` Hf de ((1.45); 28), entonces
`
T f y (Hg ` T g) . Hf (1.47)
`
P g ` Q g y (P )g ` Q g . Q g . (1.49)
alogamente con P g ` Qg, pues de P g se sigue Qg, luego (P Q)g de ((1.40); 26), entonces
An
`
(P g ` Qg) . P g ` (P Q) g (1.51)
l
as mismo, el lector puede demostrar 9
A B /. (Ag a ` Bg) >
=
(1.52)
>
A B . (Ag ` Bg) ;
lo cual en cierto sentido justifica la confusi
on en la literatura con el uso de tautologas e inferencias, pero sus
ltimo pero fundamental, cuando se tiene (P Q)g ` Rg y (P Q)g ` Rg
diferencias deben ser evidentes. Por u
`
se sigue (R)g ` (P Q) (P Q) g de ((1.45); 28) y ((1.40); 26), en donde
h(P Q)i h(P Q)i (P Q) (P Q)
P g y Qg f g f
P f y Qg g g g
P g y Qf g f f
P f y Qf g g g
39 Obs
ervese que esto no significa que P g y (P )g est
en presentes en la discusi
on.
30 Lo indispensable de la matem
atica formal
debido a ((1.1); 17) y ((1.5); 19), luego (R)g ` (P )g, y con ((1.45); 28) se obtiene
`
(P Q)g ` R g y (P Q)g ` R g . (P g ` Rg) . (1.53)
1.4. Cuantificadores
Los cuantificadores l
ogicos son fundamentales en la matem
atica y tambien requieren de los conceptos de
conjunto y pertenencia (vease 2.1 p
ag. 35) de la teora de conjuntos, es un vnculo simbi
otico inevitable debido
a que en los cuantificadores se consideran a los smbolos y , llamados cuantificador universal y existencial
respectivamente, que son empleados como prefijos para expresar la extensi
on de un atributo en un conjunto,
ogico semiabierto (un predicado 40 ) asociado a elementos del conjunto, con lo que
declarado en un enunciado l
se identifican a las proposiciones conocidas como proposiciones l
ogicas con predicado.
As entonces, para un conjunto X y una proposici ogica semiabierta hPx i asociada a los elementos
on l
de X, se consideran los smbolos x 0 X | Px g, x 0 X | Px f, x 0 X | Px g y x 0 X | Px f, as como sus
ogicas con predicado h x 0 X | Px gi, h x 0 X | Px fi, h x 0 X | Px gi y h x 0 X | Px fi, a
proposiciones l
cuyos enunciados se les llama enunciados l
ogicos con predicado.
empleando al smbolo
para poder establecer una coconcatenaci
on, por lo cual
`
x X | Px g) g . ( X)g ` (P ) g
0
( (1.56)
x X | Px g)g ` (P )g
0
( X (1.57)
` ` `
x X | Px g) g debido a ((1.45); 28), y con X (P) g se sigue
0
entonces (P ) g ` ( X
`
x X | Px g) g de ((1.1); 17), por lo cual ( X)g y ( x X | Px g)f de ((1.4); 19),
0 0
( X)g y ( X
` `
y al hacer x 0 X | Px g ( x X | Px g) se tiene x X | Px g = (
0 0
x X | Px g) g, luego ( x
0 0
` `` `
X | Px g)g = ( x X | Px g) g g en donde (
0
x X | Px g) g = (
0
x X | Px g) f g g debido a ((1.4);
0
`` ``
19) y ( x 0 X | Px g) f g = ( x 0 X | Px g) f g, obteniendose ( x 0 X | Px g) g = (
x 0 X | Px g) f g,
`
por lo tanto ( x 0 X | Px g)g = ( x 0 X | Px g) f g y de ((1.4); 19) se concluye
( X P )g ` ( x 0 X | Px g) g . (1.58)
( X x 0 X | Px g)g ` P g (1.60)
42 Ya que de ((1.59), 31) se seguira ( x 0 X | Px g) g . ( x 0 X | Px g)g.
32 Lo indispensable de la matem
atica formal
( X x 0 X | Px g)g ` ( x 0 X | Px g) g. (1.61)
Adem
as, el vnculo entre estos cuantificadores es estrecho, ya que de ((1.55); 31) y ((1.59); 31) se tiene
`
x 0 X | Px g)g a ` x 0 X | (Px) g g.
( (1.62)
Para futuros desarrollos es conveniente establecer algunos comportamientos relacionados a los cuantifi-
cadores:
44
Proposici
on 1.4.4. Sean X un conjunto y hPx i, hQx i.
` `
x 0 X | (Px Qx ) g g ` ( x 0 X | Px g) ( x 0 X | Qx g) g .
`
Demostraci
on. Para X (P Q ) g se tiene ( X P )g y ( X Q )g debido a ((1.1); 17)
`
y ((1.40); 26), luego ( x 0 X | Px )g y ( x 0 X | Qx )g de ((1.58); 31), por lo tanto ( x 0 X | Px g) ( x 0
X | Qx g) g nuevamente de ((1.40); 26).
Demostraci
on.
`
1. De ((1.1); 17) se sigue ( x 0 X | Px g)g y x 0 X | Px Qx g, por lo cual x 0 X ` Px g y x 0
X . Px Qx debido a ((1.59); 31) y ((1.63); 33), luego para ( X)g se tiene P g y P Q , entonces
Q g de ((1.1); 17), por lo tanto x 0 X ` Qx g, y de ((1.59); 31) se concluye ( x 0 X | Qx g)g.
De igual manera que con los cuantificadores previos, se podra considerar a los smbolos ! x 0 X | Px g
y ! x 0 X | Px f y a sus proposiciones l
ogicas con predicado h! x 0 X | Px gi y h! x 0 X | Px fi, dando lugar
al cuantificador existencial con unicidad, el cual se declara diciendo que la extensi
on es de un s
olo elemento del
conjunto identificado, pero se posterga hasta tratar ciertos elementos de la teora de conjuntos (vease p
ag 64).
Posteriormente seran frecuentes casos m
as complejos, fundamentales en la matem atica, tales como x 0
X | ( y 0 Y | Px, y g) g o x 0 X | ( y 0 Y | Px, y g) g presentes en los conceptos de lmite y funci
on, que
tradicionalmente son de difcil asimilaci
on. . . el asunto de predicados compuestos no es trivial y no es v
alida la
conmutaci
on de los cuantificadores universal y existencial. Pero es conveniente adelantar, como lo puede comprobar
l
el lector, que se tiene
` ` 9
x 0 X | ( y 0 Y | Px, y g) g g a ` y 0 Y | ( x 0 X | Px, y g) g g >
=
(1.66)
` ` >;
x 0 X | ( y 0 Y | Px, y g) g g a ` y 0 Y | ( x 0 X | Px, y g) g g
Teora de conjuntos
Me parece que es la m
as maravillosa floraci
on del espritu matem
atico y, sin duda,
una de las m
as altas aportaciones de la serena y pura actividad de la inteligencia humana.
David Hilbert 1
2.1. Introducci
on
35
36 Lo indispensable de la matem
atica formal
que en este caso llevara a pienso a los conjuntos, luego existen, pero siempre con conciencia de que su naturaleza
es difusa.
A
un as, se acepta que con la invocaci
on de un conjunto en una discusi
on, implcitamente tambien son in-
vocados los entes que contenga (desde luego cuando los hay), lo cual permite un tratamiento l
ogico de la pertenencia
o con la igualdad de smbolos introduciendo al conector llamado pertenencia, pues al
similar a como se procedi
representar al conjunto con el smbolo A y alg
un ente especfico contenido con a, se conviene en incorporar en la
on al enunciado (a A)g y se dice que a pertenece a A, o bien que a es elemento de A. An
discusi alogamente,
` `
on tambien se hace a 6 A (a A) , luego (a 6 A)g = (a A) g g y de ((1.4);
de acuerdo con la tradici
` `
19) se sigue (a 6 A)g = (a A) f g, as mismo se tiene (a 6 A)f = (a A) g g.
Es conveniente observar que para un conjunto A y un ente representado con a se tiene (a A)g o
` `
(a 6 A)g, luego cuando para un smbolo b se infiere (a = b)g se sigue (a A) g y (b 6 A) f o (a
`
A) f y (b 6 A) g , pues (a A) f y (b 6 A) f est a excluido por el principio de no contradicci
on, entonces
`
(a = b)g ` (a A) (b 6 A) f debido a ((1.1); 17), y de ((1.45); 28) se obtiene
`
(a A) (b 6 A) g ` (a 6= b) g . (2.1)
2.2. Axiomas
En la matem
atica, al menos para los formalistas, las discusiones se dan en el contexto de una o varias teoras
axiom
aticas, en las que se invocan enunciados l
ogicos (cuyo estado usualmente es verdadero), reglas de inferencia
o concatenaciones, que se les conoce como axiomas 4 ; su presencia complementa los razonamientos y constituyen
asico de dichas teoras. . . sus estructuras. La teora de conjuntos de Zermelo 5 -Frankel 6 cuya primera
el sustento b
on formal se debe a Cantor7 , Frege 8 y Dedekind 9 , es un ejemplo excelente de teora axiom
presentaci atica 10 .
M
as que por sus geniales descubrimientos, es quiz
a por el sesgo de su espritu que Hilbert ha ejecido la m
as
profunda influencia en el mundo matem
atico; el ense
no a los matem
aticos a pensar axiom
aticamente, es decir a
tratar de reducir cada teora a su esquema l
ogico m
as estricto,
por su necesidad ardiente de comprender, por su probidad intelectual cada vez m
as exigente y por su infatigable
aspiraci
on de una ciencia cada vez m
as unida, m as liberada. 11
as pura y m
Los conceptos de conjunto y pertenencia son fundamentales y permiten intuir a los conjuntos m
as sencillos,
los conjuntos explcitos. En principio, se trata de aquellos en los que se exhiben a todos sus elementos, que se
expresan utilizando a la coma como separador de los smbolos que representen a sus elementos y a los smbolos { }
` `
como delimitadores del conjunto; por ejemplo {g, f} en donde g {g, f} g y f {g, f} g. Sin embargo, de
la invocaci
on de ciertos entes (un n
umero finito) no hay antecedentes que permitan considerar a un conjunto que
los contenga, que resultara ser un conjunto explcito, por ello se requiere del siguiente axioma.
Entonces, para un n
umero finito de entes representados con los smbolos , , . . . , , se puede considerar al
conjunto de dichos entes y al conjunto explcito de sus smbolos {, , . . . , , }, y al representar al conjunto de
entes con A y a un elemento de el con p se tiene (p A)g y adem
as (p SA )g al hacer SA {, , . . . , , },
pues de (q SA )g y el que q represente a dicho ente se sigue (p = q)g, luego (p SA )g a
un cuando pueda darse
`
as r SA | (r = p) g g debido a ((1.58); 31), entonces
que todas las grafas de SA sean diferentes de p, adem
`
(p A)g ` r SA | (r = p) g g . (2.6)
Estos conjuntos son indispensables, pero muy limitados para las necesidades de la matem
atica, por lo que se
incorpora al siguiente axioma que permite la identificaci
on de otros conjuntos a partir de conjuntos invocados.
Axioma de Especificaci
on.- Para cada conjunto y enunciado l
ogico semiabierto asociado a sus elementos, llamado
condici
on de especificaci
on, hay un conjunto cuyos elementos son los elementos del conjunto dado que satisfacen
la condici
on planteada.
Podra decirse que el axioma estipula un proceso declarativo o invocativo de conjuntos, pues basta invocar
a condiciones de especificaci
on sobre conjuntos dados para identificarlos. Pero esto se presta a interpretar al axioma
como el planteamiento de un proceso constructivo de conjuntos, lo cual es erroneo, pues en la teora de conjuntos
los conjuntos son; no se crean ni se modifican, s
olo se identifican.
`
31), entonces (R X R 6 R)g ` (R R)g, luego (R X) g . (R 6 R)g ` (R R) g de ((1.40);
26). Pero tambien se tiene (R R)g ` (R X R 6 R)g, en donde (R X R 6 R)g ` (R 6 R)g y
(R X R R)g ` (R R)g debido a ((1.33); 25), por lo cual (R X R R)g ` (R 6 R)g, entonces
` `
(R X) g . (R R)g ` (R 6 R) g , concluyendose (R X) g . (R 6 R)g a ` (R 6 R) f conocida
como la paradoja de Russell, de lo cual se sigue 13 (R X)f, es decir (R 6 X)g. Entonces, ante la invocaci
on
de un conjunto siempre se puede indentificar a otro ente que se debe excluir, por lo que se dice que nada contiene
a todo o en terminos de la teora de conjuntos preaxiom
atica:
Axioma de Extensi
on.- Dos conjuntos son iguales cuando poseen los mismos elementos (la misma extensi
on).
c
Es decir, para dos smbolos A y B que representen a conjuntos se considera al smbolo A = B , para el cual se
c
hace A = B B A A B por lo que se obtiene
c
(A = B)g a ` (B A A B)g (2.11)
c c c
y tambien se hace A 6= B (A = B) . Pero adem
as se acepta (A = B)g a ` (A = B)g cuando en una discusi
on
c
A y B representan a conjuntos, plante
andose con = , la igualdad conjuntal, una situaci
on particular de = (la
igualdad entre simbolos) en la que se presenta la coinferencia ((2.11); 39). Este comportamiento permite omitir el
on (vease 3.1 p
uso del superndice c , sin embargo posteriormente, al tratar el concepto de funci ag. 64) volver
aa
requerirse.
Deben considerarse algunas consecuencias inmediatas de este axioma, las cuales deben demostrarse aun
cuando parecen obvias:
` `
Dado que (A = B) g a ` (B A A B) g de ((1.45); 28), y como (B A A B) (B 6
`
A A 6 B) de ((1.27); 23), se tiene (B A A B) g a ` (B 6 A A 6 B)g debido a ((1.52);
29), por lo cual
(A 6= B)g a ` (B 6 A A 6 B) g . (2.12)
(A = B B = C)g ` (A = C) g . (2.13)
`
De la invocaci
on de un conjunto X y con la identificacion de {x 0 X k (x = x)g} se tiene {x 0 X k (x =
x)g} X g debido a ((2.9); 38). Ahora, de ( X)g se tiene ( = )g del principio de identidad, luego
`
( X = )g debido a ((1.40); 26), y de ((2.7); 38) se sigue 0 x 0 X k (x = x) g g, por lo cual
13 Obs
ervese que en la conclusi
on no es aplicable la reducci
on al absurdo. . .
40 Lo indispensable de la matem
atica formal
` ` `
x 0 X . 0 x 0 X k (x = x) g g, entonces x 0 X | x x 0 X k (x = x) g g g de ((1.59);
`
31), obteniendose X x 0 X k (x = x) g g y con ((2.11); 39) se concluye
`
x 0 X k (x = x) g = X g . (2.14)
`
( x 0 X | Px g)g a ` X = {x 0 X k Px g} g (2.15)
Axioma de Uni on 14, 15 de conjuntos, hay un conjunto que tiene a todos los elementos que
on.- Para cada colecci
pertenecen al menos a alg
un conjunto de la colecci
on dada.
` `
0 C . A 0 C | ( A) g g y A 0 C | ( A) g g ` ( C)g (2.17)
14 Se utiliza colecci
on como sin
onimo de conjunto pero con la condici
on de poseer al menos un elemento, sin embargo en
la teora de conjuntos de von Neumann-Bernays-G
odel se dira que se trata de una clase de conjuntos, pues ah una clase es
conjunto cuando pertenece a otra clase, llevando al concepto de clase a ser un concepto primitivo.
15 Paul Isaac Bernays (1888-1977), matem
atico zuizo con aportaciones importantes a la teora de conjuntos, l
ogica y filosofa,
quien adem
as fue estrecho colaborador de Hilbert.
Mario F. Rosales G. 41
luego como con (D C)g y ( D)g se tiene (D C D)g de ((1.40); 26), se sigue ( C)g debido a
`
((2.19); 41), entonces x 0 D . (x C)g, por lo cual x 0 D | (x C) g g de ((1.59); 31) y se concluye
(D C)g ` (D C) g . (2.20)
Tambien, con un conjunto B y para ( C)g se tiene ( A 0 C | A)g debido a ((2.17); 40) y ((1.54); 31),
y con (M C M )g y ( A 0 C | A B)g se sigue ( M )g y (M C A 0 C | A B)g de ((1.1);
17) y ((1.40); 26), luego ( M )g y (M B)g de ((1.60); 31), por lo cual ( M p 0 M | p B)g debido
a ((1.37); 25), obteniendose ( B)g de ((1.60); 31), entonces x 0 C . (x B)g y con ((1.59); 31) se sigue
( x 0
C | x B)g, por lo tanto ( C B)g y se infiere
( A 0 C | A B)g ` ( C B) g . (2.21)
(C D)g ` ( C D) g .
` `
Demostraci
on. Se tiene c 0 C | (c D) g g y de ( C)g se sigue c 0 C | ( c) g g debido a
((2.17); 40), y con ( C )g se infiere ( D)g de ((1.1); 17) y ((1.60); 31), luego ( D )g
`
de ((1.40); 26), por lo cual d 0 D | ( d) g g debido a ((1.58); 31), entonces ( D)g de ((2.17); 40),
`
por lo tanto ( C)g ` ( D)g y con ((1.59); 31) se obtiene c 0 C | (c D) g g, concluyendose
( C D)g.
on C de conjuntos y (A C B C)g, se
Como caso particular, pero fundamental, para una colecci
puede considerar E {D 0 C k (D = A D = B)g} y hacer A B E, en donde est
a incluida la situaci
on
` `
(A = B)g, obteniendose (A A = E)g y E = {A} g, luego A A = {A} g, as mismo se sigue
l
(A A = A)g como lo puede demostrar el lector. Pero tambien es viable otro planteamiento, dado que con A y B
conjuntos es invocable {A, B} debido al axioma de apariamiento, y se puede hacer C {A, B} lo cual incorpora
C, ademas con E {D 0 C k (D = A D = B)g} se tiene (E = C)g, luego ( E = C)g y se obtiene
`
A B = {A, B} g. En cualquier caso debe mencionarse que de (p A B)g se sigue D 0 E | p D
debido a ((2.17); 40), y con (C E)g y (p C)g se tiene (C = A C = B)g, luego (p A p B)g, pero
16 Lo cual no presenta conflictos por ser viable la introducci
on previa del axioma de potencia.
42 Lo indispensable de la matem
atica formal
`
tambien de (p A p B)g se infiere D 0 E | (p D) g g debido a ((1.58); 31), y de ((2.17); 40) se obtiene
(p A B)g, concluyendose
(p A B)g a ` (p A p B)g (2.22)
as A \ B posee otras propiedades que deben considerarse debido a su trascendencia en muchos desarrollos:
Adem
De ( A \ B)g se sigue ( A 6 B)g de ((2.24); 42) con ((1.40); 26) y ((1.60); 31), entonces
( A \ B)g ` ( 6 B)g debido a ((1.33); 25), y con ((1.45); 28) se obtiene
( B)g ` ( 6 A \ B) g . (2.26)
` `
De ( A)g se tiene A A {A, B} g de ((1.40); 26), se sigue D 0 {A, B} | ( D) g g
debido a ((1.58); 31), luego ( A B)g de ((2.17); 40), entonces para ( A 6 A \ B)g se obtiene
( A B)g y ( 6 A \ B)g debido a ((1.33); 25), pero como de ( 6 A \ B)g se tiene ( A B 6 B)f
debido a ((2.7); 38) con ((1.45); 28), por lo cual ( B)g de ((1.1); 17), se concluye
( A 6 A \ B)g ` ( B) g . (2.27)
l
De modo an
alogo, para un conjunto C el lector puede demostrar
`
(A C)g ` (A \ C = ) (A \ B C \ B) g (2.28)
y tambien
`
(A \ B) \ C = A \ (B C) g . (2.29)
` `
por lo cual ( C)g ` A 0 C | (x A)g g debido a ((1.33); 25), entonces x 0 C . A 0 C | (x A)g g
y con ((1.59); 31) se sigue
` `
x 0 C | A 0 C | (x A) g g g (2.31)
`
pero tambien x 0 C . B 0 C . (x B) g , por lo tanto de D C se tiene x 0 C . (x D)g debido a
`
((1.54); 31), luego x 0 C | (x D) g g nuevamente con ((1.59); 31) y se sigue ( C D)g, concluyendose
entonces de (B C B C)g se tiene E 0 C . (B E)g debido a ((2.32); 43) y ((2.5); 36), luego
`
A 0 C | (D A) g g de ((1.59); 31), por lo tanto
`
(B C B C)g ` A C | (B A) g g . (2.33)
on de conjuntos C y un conjunto D.
Teorema 2.2.2. Sean una colecci
`
A 0 C | (D A) g g ` (D C) g .
on. Con (B C)g se sigue (D B)g de ((1.40); 26) y ((1.60); 31), luego para ( D)g se obtiene
Demostraci
( B)g debido a ((2.2); 36) con ((1.54); 31), por lo cual ( C)g de ((1.40); 26) con ((2.19); 41), ademas
A C . (x D . x A) debido a ((1.59); 31) y ((2.2); 36), entonces A 0 C . ( A)g de ((1.54); 31)
0 0 0
`
dado que ( D)g, por consiguiente A 0 C | ( A) g g de ((1.59); 31), y con ((2.30); 42) y ((1.40); 26) se
`
sigue ( C)g, por lo tanto x 0 D . (x C)g, luego x 0 D | (x C) g g nuevamente de ((1.59);
31) y se infiere (D C)g.
An
alogamente a la uni on C de conjuntos y (A
on se tiene al caso particular que resulta de una colecci
C B C)g, pues se puede considerar a E {D 0 C k (D = A D = B)g} y hacer A B E. Entonces,
`
para (p A B)g se sigue p A B Q 0 E | (p Q) g g de (2.30); 42), luego (p A)g y (p B)g
((1.60); 31) pues (A E B E)g, por lo cual (p A p B)g debido a ((1.40); 26), as mismo de
`
(p A p B)g se infiere Q 0 E | (p Q) g g de ((1.58); 31) ya que (A E p A)g, por consiguiente
`
(p A B)g de ((2.22); 42), luego (p E)g, pero tambien se tiene Q 0 E | (p Q) g g de ((1.59); 31), pues
`
M 0 E . (M = A M = B)g debido a ((2.7); 38), y (p A p B) (M = A M = B) g ` (p M )g,
`
entonces M 0 E . (p M )g, por lo tanto p E Q 0 E | (p Q) g g de ((1.40); 26), y con ((2.30);
42) se obtiene (p A B)g, concluyendose
(p A B)g a ` (p A p B) g . (2.34)
l
Al incorporar otro conjunto C se pueden mencionar algunos ejemplos que el lector puede demostrar
44 Lo indispensable de la matem
atica formal
` 9
(A B)g ` (A B = A A B = B) (A C B C A C B C) g >
>
>
>
>
>
>
>
>
(A B A C)g ` (A B C)g >=
(2.35)
>
>
(A C B C)g ` (A B C)g >>
>
>
>
>
` >>
(A B C)g ` A = (A B) (A C) g ;
`
A (B C) = (A B) (A C) g (2.36)
`
A (B C) = (A B) (A C) g (2.37)
(A B = )g ` (A \ B = A) g . (2.38)
Ahora al hacer C {A, B, A \ B} con ( A B)g se sigue ( A)g y ( B)g debido a ((2.30); 42), luego
` `
A (A \ B) g de ((2.19); 41) y ( 6 A \ B)g de ((2.26); 42), obteniendose A (A \ B) 6 A \ B g de
`
((1.40); 26), por lo cual A \ (A \ B) g debido a ((2.7); 38), entonces x 0 A B . (x A \ (A \ B) g, y con
` ` `
((2.2); 36) se concluye AB A \ (A \ B) g. Ahora, de A \ (A \ B) g se sigue A(A \ B) 6 A \ B g
` `
debido a ((2.7); 38), luego A (A \ B) g y ( 6 A \ B)g de ((1.33); 25), por lo cual A)g de ((2.25);
`
42) y ((2.35); 44), y tambien ( A B 6 B) g de ((2.7); 38) con ((1.45); 28), entonces ( A)g y
`` ` `
( A B) f y ( 6 B) g o ( A B) g y ( 6 B) f o ( A B) f y ( 6 B) f debido a ((1.1); 17)
`
y ((1.5); 19), obteniendose A) g y ( A B) g y ( 6 B)f, por lo tanto ( A B)g de ((2.30); 42), y se
sigue x 0 A \ (A \ B) . (x A B)g, luego (A \ (A \ B) A B)g de ((2.2); 36), y de ((1.40); 26) con ((2.11);
39) se concluye
`
A B = A \ (A \ B) g . (2.39)
l
As mismo, con un conjunto C el lector puede demostrar
`
(A B) \ C = A (B \ C) g . (2.40)
pero tambien (A P(X))g ` (A X)g debido a ((1.54); 31), y con ((1.45); 28) se infiere
`
as como 0 X . ( X)g, entonces x 0 X | (x X) g g debido a ((1.59); 31), luego (X X)g, por
adem
lo cual con ((2.41); 45) se obtiene
`
X P(X) g . (2.44)
` `
A P(B) B P(X) g ` A P(X) g (2.45)
pues de ((1.33); 25) y ((2.41); 45) se tiene (A B)g y (B X)g, luego (A X)g debido a ((2.5); 36), entonces
` l
A P(X) g nuevamente de ((2.41); 45), y tambien el lector puede comprobar
` `
Cuando en una discusi on se considera un conjunto X y C P(X) g, de 0 C se sigue A C | (
`
A)g g debido a ((2.17); 40), y con (M C)g y ( M )g se tiene M P(X) g de ((1.60); 31), luego (M X)g
`
de ((2.41); 45) y ((1.54); 31), por lo cual ( X)g nuevamente ((1.60); 31), entonces p 0 C | (p X) g g
debido a ((1.59); 31), por lo cual ( C X)g y con ((2.41); 45) se obtiene
` `
C P(X) g ` C P(X) g (2.47)
l
y de manera an
aloga el lector puede demostrar
` `
C P(X) g ` C P(X) g . (2.48)
` `
B P(X) g ` {x 0 B k Px g} P(X) g .
`
Demostraci on. Para {x 0 B k Px g} se tiene {x 0 B k Px g} B g de ((2.9); 38), y como (B X)g debido
` `
a ((2.41); 45) con ((1.54); 31) pues B P(X) g, se sigue {x B | Px g} B B X g de ((1.40); 26), luego
` `
{x 0 B | Px g} X g de ((2.5); 36), entonces {x 0 B | Px g} P(X) g de ((2.41); 45).
`
(A X)g ` P(A) P(X) g .
`
Demostraci on. De B P(A) g se sigue (B A)g debido a ((2.41); 45) con ((1.54); 31), luego (B X)g de
` `
((2.5); 36) pues (A X)g, por lo cual B P(X) g nuevamente de ((2.41); 45), entonces D 0 P(A) . D
`
P(X) g, y con ((2.2); 36) se concluye P(A) P(X) g.
` ` `
A P(X) g ` P(A) P P(X) g (2.49)
` `
adem as de A P(X) g y con (E A)g se tiene E P(X) g debido a ((2.2); 36), luego (E X)g de ((2.41);
`
45), por lo cual D 0 A | (D X) g g de ((1.59); 31), entonces
` `
A P(X) g ` D 0 A | (D X) g g . (2.50)
`
Finalmente, para un conjunto X y A P(X) g se conviene en hacer 17 AXc X \ A llam
andolo
c
complemento de A en X, luego de AX se sigue X 6 A debido a ((2.24); 42) y ((1.60); 31), y con
((1.59); 31) se obtiene
c
p AX | p 6 A (2.51)
adem as (A AXc X)g debido a ((2.21); 41) ya que (AXc X)g de ((2.25); 42), y para ( X)g se tiene
` ` ` `
( A) g o ( 6 A) g , luego ( A) g o ( X A) g ( 6 A) g , por lo cual (( A) g o ( AXc ) g
`
de ((2.7); 38), entonces B 0 {A, AXc } | ( B) g g debido a ((1.58); 31), y con ((2.17); 40) se obtiene
`
( A AXc )g, entonces x 0 X | (x A AXc ) g g de ((1.59); 31), por lo tanto (X A AXc )g y con ((2.11);
39) se concluye
`
A P(X) g ` (A AXc = X) g . (2.52)
`
as, de ((2.35); 44) se sigue (A = X A)g, luego A = X \ (X \ A) g debido a ((2.39); 44), entonces
Adem
`
A = (AXc )Xc g (2.53)
17
`
on es claro que se tiene A P (X) g se acostumbra omitir al subndice X.
Cuando en una discusi
Mario F. Rosales G. 47
`
y cuando para C P(X) g se hace CXc M P(X) k R C | RXc = M se obtienen las leyes de Morgan 18
para complementos
`
( C)Xc = CXc ( C)Xc = CXc g (2.54)
pues de ((2.48); 45) se puede considerar ( C)Xc , y con 0 ( C)Xc se sigue ( X 6 C)g debido a
`
((2.24); 42) y ((1.60); 31), luego ( X)g y C A 0 C | ( A) g f de ((2.30); 42) y ((1.45); 28), y con
`` ` `` ` ``
((1.1; 17) se tiene ( 6 C) g y A 0 C | ( A) g g o ( 6 C) g y A 0 C | ( A) g f o (
`
C) g y A 0 C | ( A) g f presentandose los siguientes casos:
` `
Con (M C)g y de ( 6 C) g y A 0 C | ( A) g g se sigue 6 C A 0 C | ( A) g g debido
`
a ((1.40); 26), luego 6 C A 0 C | ( A) g g ` ( 6 C)g de ((1.33); 25), pero adem
as se infiere
( M )g debido a ((1.60); 31), y como (M C)g de ((2.20); 41), se obtiene ( C)g de ((1.60); 31),
` `
entonces 6 C A 0 C | ( A) g g ` ( 6 C)f, por lo tanto 6 C A 0 C | ( A) g f
`
de ((1.44); 27), estableciendose la imposibilidad de la presencia de ( 6 C) g y A 0 C | ( A) g g.
` `
De A 0 C | ( A) g f se sigue A 0 C | ( 6 A) g g del corolario (1.4.1; 33) y ((1.45); 28), y
con (Q C)g y ( 6 Q)g se tiene ( QXc )g de ((2.7); 38) pues ( X)g y (X Q = X)g, luego
`
A 0 CXc | ( AXc ) g g debido a ((1.58); 31) pues (Q CXc )g de ((2.7); 38), y con ((2.17); 40) se obtiene
`` ` ` `
( CXc )g, entonces de ( 6 C)g y A 0 C | ( A)g f o ( C)g y A 0 C | ( A)g f
se infiere ( CXc )g.
`
Por lo tanto p 0 ( C)Xc | (p CXc ) g g debido a ((1.59); 31) y se obtiene ( C)Xc CXc )g.
`
Ahora, de 0 CXcse sigue A 0 CXc | ( A)g g debido a ((2.17); 40), y con (Q CXc )g y ( Q)g se tiene
`
(QXc C)g de ((2.53); 46) y ( 6 QXc )g de ((2.26); 42), por lo cual A 0 C | ( 6 A) g g debido a ((1.58); 31),
` `
entonces A 0 C | ( A) g f del corolario (1.4.1; 33), luego C A 0 C | ( A) g f de ((1.1); 17),
y con ((2.30); 42) y ((1.45); 28) se obtiene ( 6 C)g, adem
as ( X)g de ((2.47); 45) con ((2.41); 45), ((1.54);
` c `
31) y ((1.60); 31), dado que CX P(X) g de ((2.9); 38), por consiguiente ( C)Xc ) g debido a ((2.7); 38)
` ` ` `
ya que X ( C) g pues X = X ( C) g, y con ((1.59); 31) se infiere p 0 CXc | p ( C)Xc ) g g,
` `
por lo tanto CXc ( C)Xc ) g, concluyendose ( C)Xc ) = CXc g debido a ((2.11); 39). La demostraci on del
l
otro enunciado se deja al lector, el cual tambien puede verificar al caso particular
` `
A P(X) B P(X) g ` (A B)Xc = AXc BXc g (2.55)
` `` c ``
y de ((2.53); 46) se sigue (AXc BXc )Xc = A B g, entonces (AXc BXc )Xc X = (A B)Xc g, pero (AXc
c
BXc )Xc X = AXc BXc g nuevamente de ((2.53); 46), por lo tanto
` `
A P(X) B P(X) g ` AXc BXc = (A B)Xc g . (2.56)
Axioma de Elecci
on (Cantor-Zermelo).- El producto cartesiano (generalizado) de una familia de conjuntos no
vacios es no vacia.
18 Augustus De Morgan (1806-1871) fue un matem
atico y l
ogico ingl
es nacido en la India.
48 Lo indispensable de la matem
atica formal
H Para apreciar el axioma se deben hacer algunas observaciones relacionadas al producto cartesiano
generalizado (vease 3.8 p
ag. 90), por lo que se sugiere postergar su lectura:
` J
Para un conjunto X y F P(X) con J 6= se sigue F 6= de ((3.10); 67), es decir la
familia F es no vacia, y de ((3.11); 68) y ((3.11); 68) se sigue RF 6= , pero esto no lleva a
6 RF .
De J = se tiene F = X J del corolario (2.3.1; 50) y ((2.7); 38), por lo cual F = {} pues
X J = {} de ((3.10); 67) y ((1.45); 28), y con ((2.60); 49) se obtiene F 6= .
2.3. Consecuencias
H Esto es semejante a la antigua creencia de que para que un cuerpo mantenga su velocidad debe
haber una interacci
on sobre el, acept
andolo como un atributo de los cuerpos (el estado natural es el
reposo), lo cual impedia llegar al planteamiento de Galileo 21 : la velocidad del cuerpo se mantiene al
no haber interacci
on sobre el, propiedad de los cuerpos llamada inercia (conocida como primera ley del
movimiento de Newton 22 )... posiblemente la mayor aportaci
on a la fsica, y de ah se sigue el causalismo
al pensar que la alteraci
on de la velocidad es el efecto de una causa (la fuerza). N
19 Enti
endase como la cualidad de ser vacuo o vacio.
20 Se le atribuye a Parm
enides de Elea (aprox. 530 a.C. - ?), fil
osofo griego de la escuela ele
atica (corriente griega de filosofa
presocr
atica), en la que se propone que el universo es en esencia una unidad inmutable, infinito en tiempo y espacio, y m
as
all
a de la cognici
on proporcionada por los sentidos humanos.
21 En Dialogo sopra i due massimi sistemi del mondo (1632) de Galileo Galilei (1564-1642), quien fue un fil
osofo, matem
atico
y fsico italiano que estuvo relacionado estrechamente con la revoluci
on cientfica; Albert Einstein lo llam
o acertadamente
padre de la ciencia moderna.
22 Isaac Newton(1643-1727), fsico, fil
osofo, y matem
atico ingl
es, autor de Philosophiae naturalis principia mathematica
(1687).
Mario F. Rosales G. 49
En la teora axiom
atica de conjuntos, el axioma de especificaci
on permite identificar a un conjunto que no
contenga elementos, un conjunto vacio , ya que para un conjunto invocado basta considerar una condici
on de
on que excluya a todos sus elementos; por ejemplo, para un conjunto X se puede hacer 23 X X \ X
especificaci
`
pues se tiene X \ X = {x 0 X | (x 6 X)g} g, o bien hacer X {x 0 X k (x 6= x)g} , dado que en toda
on para un smbolo x se rechaza (x 6= x)g en conformidad con el principio de identidad. Provisionalmente
discusi
se emplea al subndice X en X por existir un vnculo explcito con el conjunto X invocado, mas como se ver
a en
el teorema (2.3.3; 50), se puede prescindir del subndice.
(X X)g (2.58)
`
luego X P(X) g debido a ((2.41); 45), adem
as con ((2.7); 38) y ((1.59); 31) se tiene
`
x 0 X | (x 6= x) g g (2.59)
`
luego de ( X )g se tiene ( 6= )g debido a((1.60); 31), y con A P(X) g y ( A)g se sigue ( = )g del
principio de identidad, entonces ( A X )g ` ( 6= )g y ( A X )g ` ( = )g, por lo cual
( A X )f de ((1.44); 27), y con ((1.1); 17) se obtiene
( A)g ` ( 6 X )g (2.60)
`
por consiguiente ( A 6 X )g debido a ((1.51); 29), luego a 0 A | (a 6 X ) g g de ((1.58); 31), y con
((2.4); 36) se sigue (A 6 X )g, por lo tanto (X A A X )f debido a ((2.58); 49) con ((1.1); 17), y de
((2.11); 39) con ((1.45); 28) se obtiene (A 6= X )g, concluyendose
( A)g ` (A 6= X ) g . (2.61)
`
Teorema 2.3.1. Sean X un conjunto, A P(X) g y hPX i.
a A | Pag) g .
0
(A X )g ` (
`
a A | Pag) g se sigue ( a A | Pa g)g, y como con ( A Pa)g se tiene ( A)g
on. De (
Demostraci
de ((1.33); 25), entonces ( 6 X )g debido a ((2.60); 49), luego ( A 6 X )g de ((1.40); 26), por lo cual
` `
a A | (a 6 )g g de ((1.58); 31), y con ((2.4); 36) se obtiene (A 6 X )g, es decir (A X ) g, concluyendose
23 Andr
e Weil (1906-1998) matem
atico franc
es miembro fundador del grupo Nicol
as Bourbaki con notables contribuciones
umeros, la geometra algebraica y fue quien introdujo al smbolo para el conjunto vacio. Interesante
a la teora de los n
mencionar que despu
es de su muerte, el u
nico honor mencionado en su biografa oficial simplemente dice: Miembro de la
Academia de Ciencias y de Letras de Poldavia; un pas imaginario donde habra ense
nado el tambi
en imaginario matem
atico
Nicolas Bourbaki.
50 Lo indispensable de la matem
atica formal
`
Corolario 2.3.1. (Teorema de vacuidad) Sean X un conjunto, A P(X) g y hPX i.
(A = X )g ` ( a 0 A | Pa g) g .
`
A 0 P(X) | (X A) g g .
` `
Demostraci
on.- Dado que se tiene X P(X) g y (X = X )g, para B P(X))g se sigue ( b 0 X | (b
B)g)g del corolario ((2.3.1; 50), por lo tanto (X B)g, entonces A 0 P(X) . (X A)g, y con ((1.59); 31)
`
se concluye A 0 P(X) | (X A) g g.
Ahora se plantea una regla de inferencia que parece evidente, pero requiere demostraci
on, la cual no es
trivial. . . algo muy frecuente como ya se ha visto con anterioridad (a veces las apariencias enga
nan).
`
( a 0 A | Pa g)g a ` {a 0 A k Pa g} =
6 X g .
`
Demostraci on.- De ( a 0 A | Pa g)g con ( A P )g se tiene {a A k Pa } g de ((2.7); 38), adem as
`
6 X debido a ((2.60); 49) y ((1.33); 25), por lo cual {a A k Pa g} 6 X g de ((1.40); 26), y con
0
` `
((1.58); 31) se sigue {a 0 A k Pa g} | ( 6 X ) g g, entonces {a 0 A k Pa g} 6 X g debido a ((2.4); 36),
` `
obteniendose X 6 {a 0 A k Pa g} {a 0 A k Pa g} 6 X g de ((1.1); 17), por lo tanto {a 0 A | Pa g} =
6 X g
de ((2.12); 39).
` `
Ahora, de {a 0 A k Pa g} =
6 X g se sigue {a 0 A k Pa g} 6 X X 6 {a 0 A k Pa g} g nuevamente
`
de ((2.12); 39), en donde X 6 {a 0 A k Pa g} f del corolario (2.3.2; 50) con ((1.60); 31) y ((1.40); 26), ya que
` `
{a 0 A k Pa g} P(X) g de ((2.9); 38) y ((2.41); 45). Entonces de ((1.1); 17) se obtiene {a 0 A k Pa g} 6 X g,
` `
por lo cual 0 {a 0 A k Pa } | 6 X g de ((2.4); 36), y con {a 0 A k Pa } 6 X g se sigue
`
{a 0 A k Pa } g debido a ((1.33); 25), luego ( A P )g de ((2.7); 38) y ((1.54); 31), por lo tanto
( a 0 A | Pa )g debido a ((1.58); 31).
`
on. Dado que se tiene (A A X)g y (X A X)g de ((2.20); 41), se sigue P(A) P(A X) g
Demostraci
` ` `
y P(X) P(A X) g del teorema (2.49; 46), luego A P(A X) g y X P(A X) g debido a ((2.2);
36) con ((1.54); 31), entonces (AX A )g y (AX X )g del corolario (2.3.2; 50) con ((1.40); 26) y ((1.60);
` ` ` `
31). Ademas, del corolario (2.3.1; 50) se sigue x 0 A | (x 6 AX ) g g y x 0 X | (x 6 AX ) g g,
Mario F. Rosales G. 51
` `
por lo cual 6 x 0 A | (x 6 AX ) g g y 6 x 0 X | (x 6 AX ) g g debido al corolario (1.4.1; 33), luego
(A AX )g y (X AX )g de ((2.4); 36) con ((1.45); 28). Por lo tanto (A AX AX A )g y
(X AX AX X )g de ((1.40); 26), entonces (A = AX )g y (X = AX )g debido a ((2.11); 39),
concluyendose (A = X )g.
on C de conjuntos y (A C B C)g,
De nuevo se tiene el caso particular que emana de considerar una colecci
pues al hacer E {D 0 C k (D = A D = B)g} se tiene (A B = E)g, y de (A B 6= )g se sigue
`
Q 0 E | (Q =
6 ) g g g del teorema (2.3.4; 51), y con (M E)g y (M = 6 )g se tiene (M = A M = B)g,
`
por lo cual (A 6= B 6= )g, as mismo de (A 6= B 6= )g se infiere Q 0 E | (Q 6= ) g g g de ((1.58);
31), luego (A B 6= )g debido al teorema (2.3.4; 51), por lo tanto
(A B 6= )g a ` (A 6= B 6= ) g . (2.62)
on C de conjuntos y (A C B
Tambien ahora se presenta el caso particular que emana de considerar una colecci
C)g, pues al hacer E {D 0 C k (D = A D = B)g} se tiene (A B = E)g y (A B = E)g, y de
` `
(A B 6= )g se sigue p 0 A B | Q 0 E | (p Q) g g g debido al teorema (2.3.5; 51), y con ( A B)g
`
y Q 0 E | ( Q) g g se infiere ( A)g y ( B)g de ((1.60); 31) pues (A E B E)g, por lo cual
(A 6= B 6= )g de ((2.60); 49) con ((1.40); 26), entonces
(A B 6= )g ` (A 6= B 6= ) g . (2.63)
52 Lo indispensable de la matem
atica formal
` ` ` `
Ademas, como 0 C | A 0 C | ( A) g f a ` 0 C | ( A 0 C | ( A) g g g de ((1.62); 32),
` ` ` `
y 0 A B | ( A 0 C | ( A) g g g a ` 0 C | A 0 C | ( 6 A) g g g del corolario (1.4.1; 33),
con el teorema (2.3.5; 51) y ((1.45); 28) se obtiene
` `
( C = )g a ` 0 C| A 0 C | ( 6 A) g g g . (2.64)
`
Demostraci
on. De x 0 X | (x = x) g g y con ( X = )g se tiene (X =
6 )g debido a ((2.61); 49).
` `
Ahora, de (X 6= )g se sigue x X k (x = x) g 6= g de ((2.14); 40), luego 0 X | ( = ) g g del
0
Es interesante comentar que el inverso de ((2.61); 49) carece de sentido, a diferencia de este u
ltimo teorema,
en donde se plantea un cuantificador existencial a
un cuando no especifica elementos, pues su condici
on de especi-
ficaci
on es inherente al principio de identidad, pero es indispensable dado que la existencia en la matem
atica
solo es planteable con el cuantificador existencial. . . en ella es absurdo decir aisladamente existe, por ejemplo
sup(A) para un conjunto A (vease p
ag. 101), sin embargo es muy frecuente. La importancia de este teorema se
ilustra en el siguiente corolario, en donde se demuestra un comportamiento que usualmente se incorpora como obvio
en los razonamientos, sin apercibir la necesidad de su demostraci
on.
(A \ B 6= )g a ` (A 6 B) g .
`
on. De (A \ B 6= )g se sigue x 0 A \ B | (x = x) g g del teorema (2.3.6; 52), y con (
Demostraci
A \ B = )g se tiene ( A \ B)g de ((1.33); 25), por lo cual ( A 6 B)g debido a ((2.24); 42) con
`
((1.40); 26) y ((1.60); 31), entonces x A | (x 6 B) g g de ((1.58); 31), y de ((2.4); 36) se obtiene (A 6 B)g.
0
`
Ahora, de (A 6 B)g se sigue x 0 A | (x 6 B) g g de ((2.4); 36), y con ( A 6 B)g se tiene ( A)g
y ( 6 B)g de ((1.1); 17), luego ( A B)g de ((1.60); 31), pues se tiene ( A x A | (x A B) g g
debido a ((2.20); 41) y ((1.40); 26), entonces ( A B 6 B)g de ((1.40); 26), por lo cual ( A \ B)g de
((2.7); 38), y de ((2.61); 49) se concluye (A \ B 6= )g.
(A \ B = )g a ` (A B)g (2.65)
lo cual trasciende directamente en otros comportamientos sencillos del conjunto vacio, por ejemplo: para un conjunto
A se tiene ( \ A = )g del corolario (2.3.2; 50) con ((2.65); 52), y tambien (A \ A = )g nuevamente de ((2.65);
52), entonces
( \ A = ) g y (A \ A = )g (2.66)
Mario F. Rosales G. 53
Ademas como (A \ A)g de ((2.25); 42), y para ( A)g se tiene ( 6 )g debido a ((2.60); 49), entonces
`
( A \ )g de ((2.7); 38) pues (A = A )g, luego a A | (a A \ ) g g de ((1.59); 31), por lo cual
(A A \ )g y con ((2.11); 39) se infiere
(A \ = A) g . (2.69)
El teorema que sigue es interesante por permitir ejemplificar el uso del caso particular de reducci
on al
absurdo antes mencionado para su demostraci
on, a
un cuando parece trivial.
` ``
Ahora, para un conjunto X y A P(X) C P(X) g con (A C = )g se tiene (A = ) g y (C =
` `
) g o (A 6= ) g y (C = ) g o (A = ) g y (C 6= ) g de ((2.63); 51) con ((1.45); 28) y ((1.1); 17), entonces:
`
De (A = ) g y (C = ) g o (A = ) g y (C 6= ) g se sigue (A CXc )g del corolario (2.3.2; 50) y
`
((1.60); 31) pues CXc P(X) g debido a ((2.25); 42).
De (A 6= ) g y (C = )g se tiene (CXc = X)g de ((2.68); 53), luego (A CXc )g de ((2.42); 45) y ((1.60);
31).
por lo cual
``
A P(X) C P(X) A C = g ` (A CXc ) g . (2.71)
` ` `
Pero tambien se tiene x 0 A AXc | B 0 {A, AXc } | (x B) g g g de ((2.18); 40), luego x 0 A
` ` ` ` `
AcX | B 0 {A, AXc } | (x 6 B) g g g, por lo cual x 0 A AXc | B 0 {A, AXc } | (x 6 B) g g g del
` ` `
corolario (1.4.1; 33), entonces x 0 A AXc | B 0 {A, AXc } | (x 6 B) g g g de ((1.62); 32), y del teorema
24 Obs alido considerar c , pues los complemetos son realtivos a un conjunto especfico.
ervese que en este caso no es v
54 Lo indispensable de la matem
atica formal
`
Tratar con el conjunto vacio requiere de cautela, por ejemplo de B P(A) \ {} g para dos conjuntos A
un pensar que se sigue (B 6= )g lo cual puede ser incorrecto, dado que el enunciado inicial puede ser
y B, es com
inaceptable como se comenta a continuaci
on del siguiente teorema, en donde se emplea la reducci
on al absurdo.
Para la obtener (B 6= )g con certeza, debe incorporarse en la hip
otesis (A 6= )g como se establece en el siguiente
teorema.
` `
Demostraci
on. De A P(X) \ {} g se sigue A P(X) A 6 {} g debido a ((2.24); 42) con (1.40); 26)
y ((1.60); 31), luego con ((1.33); 25) se tiene (A 6= )g y tambien (A X)g de ((2.41); 45) y ((1.54); 31), por lo
`
tanto (A 6= A X)g debido a (1.40); 26), entonces 26 A P(X) \ {} X 6= g ` (A 6= A X)g.
Demostraci
on. Se sigue de los teoremas (2.3.8; 54) y (2.3.6; 52) con ((1.1); 17) y ((1.40); 26).
on. Del corolario (2.3.4; 54) y ((1.33); 25) se sigue (A X)g y a 0 A | (a = a) g g, y con
Demostraci
( A)g y ( = )g se tiene ( 6 X \ A)g debido a ((2.26); 42), adem as ( X)g de ((1.60); 31), luego
`
( X 6 X \ A)g de ((1.40); 26), entonces x X | (x 6 X \ A) g g debido a ((1.58); 31), por lo cual
`
A X x X | (x 6 X \ A) g g nuevamente de ((1.40); 26) y se concluye (X \ A X)g.
` `
Una caso importante se presenta cuando para un conjunto X se tiene x 0 X | {x} = X g g, lo
`
cual caracteriza a los conjuntos unitarios, pues se hace X unitario x 0 X | {x} = X g y X no unitario
(X unitario) .
` `
Demostraci on. Para ( X)g se tiene {} = x 0 X | (x = ) g g, luego {} X g de ((2.9); 38),
` ` `
entonces x 0 X . {x} X g, por lo cual x X | {x} X g g.
` `
Observese que de ( X)g y (X no unitario)g se sigue x 0 X | {x} = 6 X g g debido a ((1.62);
` `
32), luego {} =6 X g de ((1.40); 26) y ((1.60); 31), entonces {} 6 X X 6 {} g debido a ((2.12); 39), por
` `
lo cual X 6 {} g de ((1.1); 17) ya que {} 6 X f del teorema (2.3.10; 55) y ((1.60); 31), y con ((2.4); 36) se
` `
obtiene x 0 X | x 6 {} g, y con ( X)g y 6 {} g se infiere ( 6= )g, por lo tanto ( x X | x 6= )g
debido a ((1.40); 26) y ((1.58); 31), concluyendose
( X X no unitario)g ` ( x X | x 6= ) g . (2.75)
`
acilmente, pues para dos conjuntos X y {} se tiene {} = X g ` (X unitario)g
Estos conjuntos se identifican f
l
como lo puede demostrar el lector, por lo cual con la invocaci
on del ente y el axioma de aparamiento se sigue
`
{} unitario g, pues basta hacer X {}.
` `
Demostraci
on. De X 6= x & y 0 X | (x = y) g g y ((1.1); 17) se sigue x 0 X | (x = x) g g del
teorema ((2.3.6; 52), y con ( X = )g se tiene ( X)g de ((1.33); 25), y con el axioma de apareamiento
se considera a {} . Ahora, de ( X)g se sigue ( & X)g, luego ( = )g debido a ((1.60); 31) con ((1.40);
27 Por comodidad se hace & X | P, X | X | P, y & X | P, X | X | P, , en
donde el orden es intrascendente dado que se tiene ((1.66); 34).
56 Lo indispensable de la matem
atica formal
` ` `
26) pues x & y 0 X | (x = y) g g, por lo cual {} g de ((2.6); 38), obteniendose x 0 X . x {} g,
` ` ` `
entonces x 0 X | x {} g g debido a ((1.59); 31), por lo tanto X {} g. Pero tambien, con {} g
se tiene ( = )g de ((2.6); 38), luego ( X)g ya que ( X)g, por lo cual x 0 {} . (x X)g,
` `
entonces x 0 {} | (x X) g g debido a ((1.59); 31), obteniendose {} X g y con ((2.11); 39) se concluye
`
X = {} g.
`
Ahora, de (X unitario)g se tiene {} = X g con ( X)g, y como ( = )g del principio de identidad, se
` `
sigue X = )g de ((1.40); 26), luego x 0 X | (x = x) g g debido a ((1.58); 31), entonces (X 6= )g
` `
del teorema (2.3.6; 52). Adem as, de ( & X)g se tiene {} g y {} g debido a ((1.1); 17), por
`
lo cual ( = )g y ( = )g de ((2.6); 38), luego ( = )g, obteniendose x & y 0 X | (x = y) g g debido a
`
((1.59); 31), y con ((1.40); 26) se concluye X 6= x & y 0 X | (x = y) g g.
Proposici
on 2.3.2. Sean X un conjunto y un ente representado con x .
` `
(x X X unitario)g ` X = {x} g y X = {x} g ` (X unitario) g .
Demostraci on. De (x X X unitario)g se infiere (x X)g y (X unitario)g debido a ((1.1); 17), luego con
`
el teorema (2.3.10; 55) y ((1.60); 31) se sigue {x} X g, ahora de la proposici
on (2.3.1; 55) y ((1.40); 26) se
` `
tiene x X & X | ( = ) g g, por lo cual X | ( = x) g g de ((1.60); 31), y de (y X)g
0 0
`
con ((1.40); 26) se obtiene y X 0 X | ( = x) g g, luego (y = x)g nuevamente debido a ((1.60); 31),
` ` `
entonces y {x} g, por lo tanto 0 X . ( = x)g y se sigue 0 X | {x} g g de ((1.59); 31),
` `
concluyendose X {x} g, y de ((1.40); 26) con ((2.11); 39) se infiere X = {x} g.
` ` `
Ahora de X = {x} g se infiere (x X)g pues x {x} g, luego x X X = {x} g debido a ((1.40); 26),
` `
por lo cual y 0 X | {y} = X g g de ((1.58); 31), entonces (X unitario)g.
Los siguientes dos teoremas tambien aparentan ser obviedades, los razonamientos tradicionales utilizan
argumentos carentes de sustento explcito o los soslaya, los cuales se deben exhibir en una demostraci
on, y al
hacerlo se hace evidente la necesidad de su identificaci
on. . . en alguna ocasi
on se debe hacer.
`
Demostraci on. Con {p}, {q} se sigue p {p} {q} q {p} {q} g de ((1.58); 31) con ((2.17); 40) y
` ` ` `
((1.40); 26), ya que {p} {p}, {q} p {p} g y {q} {p}, {q} q {q} g debido a ((1.40); 26),
` `
adem as p 6 {q} g nuevamente de ((2.6); 38) pues (p 6= q)g, entonces p {p} p 6 {q} g de ((1.33); 25) y
` ` `
((1.40); 26), por lo cual x 0 {p} | x 6 {q} g g debido a ((1.58); 31), obteniendose {p} 6 {q} g de ((2.4);
` `
36), luego {p} 6 {q} {q} 6 {p} g debido a ((1.1); 17), por lo tanto {p} = 6 {q} g de ((2.12); 39).
` `
Ahora, de {p} {q} g se obtiene A 0 {p}, {q} | ( A) g g debido a ((2.17); 40) con ((1.54); 31), y de
` ` `
((1.1); 17) para B {p}, {q} B g se sigue (B = {p} B = {q})g, por lo cual (B = {p}) g y B =
Mario F. Rosales G. 57
` ` ` `
{q} f o (B = {p}) f y B = {q} g) de ((1.1); 17) dado que {p} = 6 {q} g, por consiguiente (B =
` ` `
{p}) g o B = {q} g) . Pero de (B = {p})g se tiene {p} g, entonces ( = p)g, luego 6= q g y tambien se
` ` ` `` `
sigue 6 {q} g, y de igual manera de B = {q} g se obtiene 6 {p} g, por lo tanto 6 {q} go 6 {p} g ,
` `
infiriendose A 0 {p}, {q} | ( 6 A) g g, por lo cual x 0 {p} {q} . A 0 {p}, {q} | (x 6 A) g g,
` `
entonces x 0 {p} {q} | A 0 {p}, {q} | (x 6 A) g g g de ((1.59); 31), y con ((2.64); 52) se concluye
`
{p} {q} = g.
`
Teorema 2.3.12. Sean X 6= y C P P(X) \ {}.
`
C = {A} g ` ( C = A) g .
Demostraci on. De (C = {A} C = )g se infiere ( C A)g del corolario (2.3.2; 50), y de (C = {A} C =
6
` `
)g se tiene p C | (p = p)g g del teorema (2.3.6; 52), y con ( C)g y ( = )g se sigue B C | (
0 0
B) g g debido a ((2.17); 40), y con (D C)g y ( D)g se tiene (D = A)g, luego ( A)g, y con ((1.59); 31)
`
se obtiene p 0 C | (p A) g g, por lo cual ( C A)g, entonces (C = {A} C = )g ` ( C A)g y
`
(C = {A} C = 6 )g ` ( C A)g, por lo tanto C = {A} g ` ( C A)g de ((1.53); 30).
`
Ahora de ( A)g se tiene (A C A)g, luego B 0 C | (B C B) g g debido a ((1.58); 31),
`
por consiguiente ( C)g de ((2.17); 40), y con ((1.59); 31) se obtiene q 0 A | (q C) g g, por lo cual
` `
(A C)g, entonces C = {A} g ` ( C A)V , luego C = {A} g ` ( C A C A)g debido a
`
((1.40); 26), y con ((2.11); 39) se concluye C = {A} g ` ( C = A)g de ((2.11); 39).
Desde luego, cuando se tiene un conjunto X y ( X X)g prevalece (, ) , pero ahora se tiene
` ` `
{} = {x X | x = } g y {} = {x X | x = } g en donde {} P(X) {} P(X) g debido al teorema
58 Lo indispensable de la matem
atica formal
` ` `
(2.2.3; 46), y tambien se sigue (, ) P P(X) g de ((2.41); 45), pues {}, {, } P(X) g, entonces
` `
( X X)g ` (, ) P P(X) g (2.76)
Ahora es viable identificar al producto cartesiano (simple) pues con A y B conjuntos se invoca a A B
` `
y con P P(A B) se hace A B (a, b) 0 P P (A B) k (a A b B) g llamado producto
cartesiano de A con B y a sus elementos pares ordenados en A B .
`
(a A b B)g a ` (a, b) A B g .
`
Demostraci on. De ((2.19); 41) y ((1.40); 26) se sigue (a A B b A B)g dado que A {A, B} B
` ` ` `
{A, B} g, luego (a, b) P P(A B) g de ((2.76); 58), por lo cual (a, b) P P(A B) (a A b B) g
` `
nuevamente de ((1.40); 26), entonces (a, b) A B g debido a ((2.7); 38). Ahora, de (a, b) A B g se sigue
(a A b B)g debido a ((2.7); 38) con ((1.33); 25).
(A = B = )g a ` (A B = ) g .
`
Demostraci
on. De (A = B = ) g se tiene (A 6= B 6= )g debido a ((1.27); 23) y ((1.52); 29),
entonces (A 6 )g y (B 6 )g de ((1.33); 25) y ((2.12); 39) con el corolario (2.3.1; 50) y ((1.1); 17), por lo
` `
cual a 0 A | (a 6 ) g g y b 0 B | (b 6 ) g g de ((2.4); 36), luego con ( A)g y ( B)g se sigue
`
( A B A B)g debido a ((2.19); 41) y ((1.40); 26) dado que A {A, B} B {A, B} g, entonces
` ` ` `
(, ) P P(A B) g de ((2.76); 58), obteniendose (, ) P P(A B) ( A B) g debido a
`
((1.40); 26), por lo tanto (, ) A B g de ((2.7); 38), y con ((2.61); 49) se concluye (A B 6= )g, entonces
(A B = )g ` (A = B = )g de ((1.45); 28).
` `
Ahora, de (A B = ) g se sigue 0 A B | ( = )g del teorema (2.3.6; 52), y con (a, b) A B g
` `
se tiene (a, b) P P(A B) (a A b B) g debido a ((2.7); 38) con ((1.54); 31), entonces (a
A b B)g de ((1.33); 25), y de ((2.61); 49) con ((1.33); 25) se obtiene (A 6= )g y (B 6= )g, por lo tanto
` `
(A = ) (B = ) g de ((1.40); 26), concluyendose (A = B = ) g debido a ((1.27); 23) con ((1.52);
29), luego (A = B = )g ` (A B = )g debido a ((1.45); 28).
Mario F. Rosales G. 59
` `
A P(X) g ` A Y X Y Y A Y X) g .
` ` `
Demostraci
on. Para (, ) A Y g se tiene (, ) P P(A Y ) ( A Y g de ((2.7); 38) y
((1.54); 31), y como (A X)g de ((2.41); 45) con ((1.54); 31, se sigue (AY X Y )g debido a ((2.35); 44), luego
` ` ` ` ` ` `
P P(AY ) P P(X Y ) g del teorema (2.2.4; 46), entonces (, ) P P(AY ) x 0 P P(AY ) | x
` ` `
P P(X Y ) g de ((1.33); 25) y ((1.40); 26), por lo cual (, ) P P(X Y ) g debido a ((1.60); 31). Adem as,
`
( X)g, pues ( A Y )g nuevamente de ((1.33); 25), luego A x 0 A | (x X) g g tambien
` `
de ((1.33); 25) y ((1.40); 26), por lo tanto (, ) P P(X Y ) ( X Y ) g debido a ((1.33); 25) y
((1.40); 26), entonces (, ) X Y de ((2.7); 38), obteniendose x 0 A Y . (x X Y )g, por consiguiente
`
x 0 A Y | (x X Y ) g g de ((1.59); 31) y se concluye (A Y X Y )g. Lo faltante puede demostrarlo
l
el lector.
`` `
A P(X) B P(Y ) g ` (A B X Y )g
`
(X = )g a ` P(X) = {} g .
`
Demostraci on. Como ( )g de ((2.11); 39) y ((1.33); 25), se sigue P() g debido a ((2.41); 45), por lo
` ` `
cual P() x 0 P() | {x} P() g g de ((1.40); 26) y el teorema (2.3.10; 55), luego {} P() g,
` ` ` `
entonces de (X = )g se obtiene {} P(X) g. Ahora, de P(X) 6 {} g se sigue x 0 P(X) | x 6 {} g g
` `
debido a ((2.4); 36), y con P(X) 6 {} g se tiene X 6 {} g de ((1.33); 25) con ((2.41); 45)
`
y ((1.54); 31) y (1.40); 26), luego de (X = )g se obtiene P(X) 6 {} f por reducci on al absurdo, por lo tanto
`
{} P(X) P(X) {} g debido a ((1.40); 26), y de ((2.11); 39) se concluye (P(X) = {} g. Finalmente, de
` `
P(X) = {} g se sigue X {} g de ((2.44); 45), y se obtiene (X = )g.
`
(A = B = )g a ` P(A B) = {} g .
Demostraci
on. Inmediata de los teoremas (2.4.2; 58) y (2.4.4; 59).
` ` ` `
Entonces, dado que de P(A B) = {} g se sigue R 0 P(A B) | R {} g g, entonces R 0
` ` ` `
P(A B) | R = g g. Ademas, de R 0 P(A B) | (R = ) g g se tiene R 0 P(A B) | R {} g g,
` `
por lo cual P(A B) {} g, y como {} P(A B) g del teorema (2.3.10; 55) con ((1.60); 31) ya que
60 Lo indispensable de la matem
atica formal
` ` `
P(A B) g, entonces P(A B) = {} g debido a ((2.11); 39), obteniendose P(A B) = {} g a `
` `
R 0 P(A B) | R = g g, y del corolario (2.4.2; 59) se concluye
`
(A = B = )g a ` R 0 P(A B) | (R = ) g g . (2.77)
`
Cuando de R P(A B) g se tiene (RR = B)g, se dice que R es una relaci
on suprayectiva, es decir
se hace (R suprayectiva) (RR = B) y (R no suprayectiva) (R suprayectiva), por lo cual
` ` `
(R suprayectiva)g a ` b 0 B | a 0 DR | (a, b) R g g g (2.81)
l
como lo puede verificar el lector, luego
`
(B = )g ` (R suprayectiva) R = g (2.82)
del corolario (2.3.1; 50) y de ((2.77); 60) con ((1.60); 31), otro comportamiento inesperado propio del vacio. Adem
as,
del corolario (1.4.1; 33) con((1.45); 28) y ((1.62); 32) se tiene
` ` `
(R no suprayectiva)g a ` b 0 B | a 0 DR | (a, b) 6 R g g g . (2.83)
` `
Observese que con B P(D) g y R P(A B) g y (R suprayectiva)g, de los teoremas (2.4.3); 59)
`
y (2.2.4; 46) se sigue R P(A D) g, pero ahora no necesariamente es suprayectiva; por lo que el atributo de
Mario F. Rosales G. 61
`
Demostraci on. De (R inyectiva)g y ((2.85); 61) se sigue (a, b) & (c, b) 0 R | (a = c) g g. Ahora de
` ` ` `
(a, b) & (c, b) 0 R | (a = c) g g y con (, ) R g se tiene (, ) R g ` = DR g debido a
` ` ` `
((1.60); 31), luego DR \ {} g ` (, ) 6 R g de ((1.45); 28), por lo cual c 0 DR \ {} | (c, ) 6 R g g
` ` `
debido a ((1.59); 31), entonces (a, b) 0 R | c 0 A \ {a} | (c, b) 6 R g g g nuevamente de ((1.59); 31), y
de ((2.84); 61) se concluye (R inyectiva)g.
Adem
as del corolario (2.3.1; 50) se sigue algo que tambien puede parecer sorpresivo
(R = )g ` (R inyectiva)g (2.86)
`
Con (R antisimetrica) (a, b) 0 R | (b, a) 6 R g se dice que R es una relaci
on antisim
etrica cuando
(R antisimetrica)g.
`
Con (R transitiva) (a, b) & (b, c) 0 R | (a, c) R g se dice que R es una relaci
on transitiva en A
cuando (R transitiva)g.
Sin matem
aticas no se penetra hasta el fondo de la filosofa;
sin filosofa no se llega al fondo de las matem
aticas;
sin las dos nada se ve del fondo. 29
29 Bordas-Desmoulin.
Captulo 3
Funciones
63
64 Lo indispensable de la matem
atica formal
3.1. Generalidades
El concepto de funci
on formal es realmente sencillo pues trata con relaciones sujetas a ciertas condiciones,
`
on en A B) f P(A B) Df = A (a, b) f | c B \ {b} | (a, c) 6 f , por
dado que se hace (f funci
lo cual
`
on en A B a ` f P(A B) Df = A (a, b) f | c B \ {b} | (a, c) 6 f
f funci (3.1)
pero su simplicidad es s
olo aparente, se trata de un concepto al que la humanidad le tom
o siglos aproximarse. . .
tena que esperar al trabajo pionero de Cantor sobre teora de conjuntos.
Tambien se puede presentar a este concepto con el cuantificador existencial con unicidad, el cual
facilita otros planteamientos, para ello con un conjunto X y una condici on hPX i se hace ! x
on de especificaci
`
X | Px {x X k Px } unitario , luego
! x X | Px a ` {x X k Px } unitario (3.2)
`
y como se tiene {x X k Px } =
6 r & s {x X k Px } | r = s a ` {x X k Px } unitario debido a la
on (2.3.1; 55), se sigue {x X k Px } =
proposici 6 r & s {x X k Px } | r = s ` ! x X | Px . Ahora, de
{x X k Px } = 6 r & s {x X k Px } | r = s se infiere {x X k Px } =
6 y r & s {x X k Px } | r = s de
`
((1.33); 25), luego X | P del teorema (2.3.2; 50), por lo cual ( X | P ) r & s {x X k Px } | r = s
`
de ((1.40); 26), entonces {x X k Px } = 6 r & s {x X k Px } | r = s ` ( X | P ) r & s {x
X k Px } | r = s , obteniendose ! x X | Px ` {x X k Px } = 6 r & s {x X k Px } | r = s, concluyendose
`
( X | P ) r & s {x X k Px } | r = s a ` ! z X | Pz (3.3)
que resulta ser la coinferencia usualmente empleada para establecer al cuantificador existencial con unicidad en una
discusi a posteriormente. Entonces, con f P(A B) se tiene
on, como se ver
A ` A ` C (BA )
uedades permite considerar situaciones como C (B
pues sin ambig )
, CB , D o a
un m
as complejas
on de B A y con ((3.1); 64) y ((2.7); 38) se obtiene
utilizando parentesis como delimitadores. De la identificaci
`
f B A a ` f P(A B) Df = A (a, b) f | c B \ {b} | (a, c) 6 f (3.5)
una coinferencia fundamental en todo lo que sigue, que con ((3.4); 64) y ((3.2); 64) tambien puede expresarse en
terminos posiblemente m
as familiares para el lector
H Ante la consideraci
on de dos conjuntos A y B, la teora de conjuntos brinda la existencia del
conjunto B A , dicho conjunto y sus elementos no provienen de la modificaci
on o transformaci
on de
los conjuntos A o B, pues no contempla cambios o transformaciones en los conjuntos declarados en
on. Por ello, los elementos de B A existen, no se crean o generan, de hecho s
una discusi olo es posible
identificarlos o reconocerlos, para despues asignarles o definirles alg
un smbolo o nombre, y dependiendo
de la discusi
on, distiguirles o asignarles propiedades.
La matem
atica cl
asica se basa en conjuntos declarados e inmutables, por ello es una teora inde-
pendiente del tiempo. En esta matem
atica se busca identificar y demostrar las consecuencias de las
propiedades enunciadas para los conjuntos en una discusi
on, lo cual est
a regido por la l
ogica, que
establece un orden (sintaxis) para la suficiencia de los argumentos. . . un razonamiento deductivo. N
Declarar a [f ](a) como un smbolo compuesto no fraccionable, y para ello, los smbolos que lo constituyen,
[f ] y (a), carecen de significado si se consideran aisladamente.
Es m
as f
acil enga nados.5
nar a la gente, que convencerlos de que han sido enga
De esta concepci
on se sigue el interpretar a una funci
on como algo que transforma a cada elemento del dominio de
la funci
on en un elemento del contradominio ([23] p
ag. 11), difiriendo totalmente del concepto formal de funci
on, y
para enfatizarlo es apropiada la afirmaci
on ([11] p
ag. 30)
una funci
on no hace, s
olo es
La posibilidad de representar gr
aficamente a cierto tipo de funciones, es un aspecto importante que debe
comentarse, pues para muchos es indispensable en el pensamiento y la intuici
on matem
atica. Pero debe hacerse
3 De ah que con frecuencia se utilice transformaci
on o mapeo como sin
onimos de funci
on.
4 Un sntoma inequvoco y frecuente de este proceso mental es el uso de la frase sea f una funci
on que depende de . . ..
5 Samuel Langhorne Clemens, conocido por el seud
onimo de Mark Twain (1835-1910), fue un popular escritor, orador y
humorista estadounidense.
6 Leonhard Paul Euler (1707 - 1783), matem
atico y fsico suizo que introdujo gran parte de la terminologa y notaci
on
matem
atica, particularmente en el an
alisis matem
atico con la noci
on moderna de funci
on.
Mario F. Rosales G. 67
`
(a, b) f (c, d) f b 6= d ` a 6= c . (3.7)
(, ) f (, ) f ` = . (3.8)
Con A = B = se sigue B A {} debido al corolario (2.4.2; 59) pues B A P(A B) de ((2.9); 38),
luego de f B A se tiene f = debido a la proposici
on (2.3.2; 56), entonces
A = B = ` f = . (3.9)
A 6= a ` f 6= (3.10)
7 Enti
endase como concretizaci
on en la realidad.
68 Lo indispensable de la matem
atica formal
`
f 6 B A a ` Df = A (a, b) f | c B \ {b} | (a, c) 6 f f (3.12)
y adem
as
f FXY | A P(X) | B P(Y ) | f B A . (3.18)
3.2. Invocaci
on de funciones
El reconocimiento b
asico de funciones emplea al axioma de especificaci
on de la teora de conjuntos, incluso
en casos muy simples. El proceso es como sigue: ante la consideraci
on del producto cartesiano de dos conjuntos,
se declara una condici
on de especificaci
on para los segundos elementos vinculada a los primeros elementos de sus
pares ordenados, con lo cual se identifica un subconjunto de dicho producto cartesiano que podra ser funci
on. A
este reconocimiento de funciones aqu se le llama proceso invocativo de funciones, que en ningna circunstancia
debe interpretarse como un proceso constructivo de funciones, por ello viene bien la frase:
8 Ren
e Descartes.
9 De ah que se vean obligados a incorporar las funciones multivaluadas (v
ease ejemplo 1 de la p
ag. 70).
70 Lo indispensable de la matem
atica formal
H Observese que con f B A B P(D) se puede hacer g (a, b) A D k (a, b) f y se
A c
tendra g D , en donde f = g de ((2.11); 39), pero f 6= g cuando B D .
As mismo con un conjunto explcito como G (1, A), (2, B) con A , B , C conjuntos y AB C
c
se puede hacer g {1, 2}P(AB) k = (1, A) 0 = (2, B) con G = g g P(AB){1, 2} ,
c
adem as de h {1, 2} P(C) k = (1, A) 0 = (2, B) tambien se tiene G = h h
c
P(C){1, 2} , luego g = h pero g 6= h , lo cual exhibe la ambig
uedad funcional emanada de la invocaci
on
de funciones con conjuntos explcitos, y por ello es conveniente evitar este proceso. N
Un ejemplo sencillo del proceso invocativo de funciones, en el que se identifica una funci
on b
asica, pero
fundamental en la matem
atica por participar frecuentemente en la identificaci
on de otras funciones, es el que sigue.
l
Para un conjunto A se hace IA (a, b) A A k b = a que es funci on como puede verificarlo el lector,
luego IA AA y se le llama funci otese que de a A se sigue (a, a) A A a = a,
on identidad en A . N
luego (a, a) IA por lo que [IA](a) = a de la convenci
on adoptada, entonces de ((1.59); 31) se obtiene a
l
A | [IA](a) = a , adem
as se tiene IA biyectiva cuya demostraci
on tambien se deja al lector.
En la literatura generalmente se presenta al proceso invocativo de funciones de otra manera, que se puede
on IA . En sus terminos, la identifican diciendo f (a) = a con a A, que se interpreta (en
ejemplificar con la funci
on f : A A para la cual se tiene a A | f (a) = a. . . pero de esta
el mejor de los casos) como una funci
manera no se dice quien o que es la funci
on, s
olo piensan que la representa el smbolo f y que va de A a A,
asignando elementos del conjunto A a elementos del conjunto A, y posiblemente debido a ello usan al smbolo
. Adem olo definen al smbolo f (a) con 10 f (a) = a, lo cual en cierto modo se relaciona con
as, estrictamente s
el enunciado a A | f (a) = a antes deducido, pero dificilmente de esto podran considerarse los pares ordenados
asociados, para as poder aproximarse a una funci
on formal.
Otro ejemplo relacionado al anterior, que puede parecer una exquisitez matem atica, se identifica con
B P(A), pues se hace iB (b, a) B A k b = a que tambien es funci on y tradicionalmente se le conoce
como funci on de B en A, teniendose iB AB y claramente iB IA . En este contexto, el planteamiento
on inclusi
de una funci
on inclusi
on requiere de la explcita declaraci
on del contradominio, pues al no hacerlo, se corre el peligro
de interpretarlo como el universo de la discusi
on, el cual no existe como se demuestra en la paradoja de Russell (vease
p
ag. 38). Por ello posteriormente se modifica su presentaci
on (vease p
ag. 81), aprovechando los recursos funcionales
que paulatinamente ser
an desarrollados. Generalmente la aplicaci
on de esta funci
on, es brindar afinidad entre las
funciones que participan en una expresi
on, utilizando la conjugaci
on de funciones llamada composici
on (que aqu se
le denomina bola), notada con , que despues ser
a definida (vease ((3.22); 77)).
on con los ejemplos previos, conviene presentar algunas relaciones en R R que no son funci
En oposici on,
en donde se emplean algunos comportamientos de los n
umeros reales seguramente conocidos por el lector que son
establecidos formalmente en el captulo que sigue:
1. Con f (a, b) R R k a b = 1 y para R se tiene 0 = 0 del teorema (4.3.2; 104) y
((1.60); 31), luego 0 6= 1 de (P1) ya que 0 6= 1 del teorema (4.3.1; 103) con (0, ) R R debido al
`
teorema (2.4.1; 58), por lo cual (0, ) R R 0 = 1 f de ((1.1); 17), entonces (0, ) 6 f debido a
((2.7); 38) con ((1.45); 28) y ((2.10); 38), obteniendose b R | (0, b) 6 f de ((1.59); 31), por consiguiente
`
0 R b R | (0, b) f f de ((1.62); 32) y ((1.1); 17), entonces 0 6 Df debido a ((2.10); 38), luego
Df 6= R y se concluye f 6 RR de ((3.13); 68) pues f P(R R) .
l
2. De manera similar para g (a, b) R R | b b = a se tiene g 6 RR como puede verificarlo el lector.
3. Para < P(R R), el orden de R, se tiene (0, 1) < debido a ((4.12); 109), luego (0 + 1, 1 + 1) < del
as 1 + 1 R \ {1}
axioma (O3), por lo cual (1, 1 + 1) < de (S3), y con (O2) se sigue (0, 1 + 1) < , adem
ya que 1 6= 1 + 1 del axioma (O1), obteniendose (0, 1) < c R \ {1} | (1, c) < de ((1.58); 31) con
((1.40); 26), entonces (a, b) < | c R \ {b} | (a, c) < nuevamente de ((1.58); 31), y con ((3.14); 68) se
concluye < 6 RR .
Se requieren otros conceptos complementarios pero muy importantes, que tambien son v
alidas para las rela-
ciones. Para f B y un conjunto C , se identifica la imagen directa de C bajo f , haciendo f id (C) b B
A
k a C | (a, b) f y este concepto posibilita expresar a ((3.6); 65) como sigue
`
f B A a ` f P(A B) a A | f id {a} unitario (3.19)
` ` ` `
pues de a A | f id {a} unitario y con A se tiene f id {} unitario debido a ((1.60); 31), y para
`
f id {} se sigue B p {} | (p, ) f de ((2.7); 38), luego (, ) f , por lo cual b B k (, b) f
`
nuevamente de ((2.7); 38), entonces q f id {} | q b B k (, b) f debido a ((1.59); 31), y se infiere
` `
f id {} b B k (, b) f , as mismo se tiene b B k (, b) f f id {} como lo puede verificar el
` ` l
lector, por lo tanto f id {} = b B k (, b) f de ((2.11); 39), entonces b B k (, b) f unitario , y
`
con ((1.59); 31) se sigue a A | b B k (, b) f unitario, concluyendose a A | f id {a} unitario ` a
` `
A | b B k (, b) f unitario, adem as a A | b B k (, b) f unitario ` a A | f id {a} unitario lo
l
cual puede demostrarlo el lector, estableciendose la coinferencia enunciada.
A C ` [f ]() f id(C) .
Demostraci on. Para AC se sigue A y C de ((2.30); 42) con ((1.60); 31), luego B | (, ) f
`
de ((3.1); 64), y con B (, ) f se tiene [f ]() = , por lo cual C , [f ]() f , entonces
` `
a C | a, [f ]() f debido a ((1.58); 31), obteniendose [f ]() B a C | a, [f ]() f , y de ((2.7); 38)
se concluye [f ]() f id (C).
72 Lo indispensable de la matem
atica formal
on. De C se tiene [f ]() f id (C) debido a ((1.60); 31) y el teorema (3.3.1; 71), pues C A
Demostraci
de ((2.41); 45) por lo cual C C C A de ((2.35); 44), entonces [f ]() D nuevamente de ((1.60); 31), luego
p C | [f ](p) D debido a ((1.59); 31).
f 6= ` C P(A) \ {} | f id(C) 6= .
l
as mismo 12 (IR )id (A) = {p R k a A | a = p} empleado en el teorema (4.2.1); 101).
f ii (B) = A f id (A) = Rf .
on. Para A se sigue b B | (, b) f de ((3.1); 64) y ((2.7); 38), por lo cual f ii (B),
Demostraci
entonces a A | a f ii (B) debido a ((1.59); 31), obteniendo A f ii (B) . Ahora, dado que f ii (B) A de
((2.9); 38), con ((2.11); 39) se concluye f ii (B) = A, y el que f id (A) = Rf se infiere directamente de Df = A.
` J
Teorema 3.3.3. Sean J y X conjuntos, p X y f P(X) .
p Rf a ` j J | p [f ](j) .
11 Es frecuente que en la literatura usen f (C) y f 1 (C) en vez de f id (C) y f ii (C) respectivamente, incluso tambi
en
emplean f [C] para f id (C).
12 Haciendo IR {(p, q) R R k q = p} lo cual es generalizable al considerar las funciones inversas aditivas.
Mario F. Rosales G. 73
on. De p
Demostraci Rf se tiene p f id (J ) pues Rf = f id (J ) del teorema (3.3.2; 72), luego
A f id (J ) | p A debido a ((2.30); 42), y como de k J se sigue [f ](k) f id (J ) del teorema (3.3.1; 71),
entonces p [f ](k) de ((1.60); 31), por lo cual j J | p [f ](j) debido a ((1.59); 31).
` `
Entonces p 6 Rf p 6 Rf ` j J | p [f ](j) y p 6 Rf p Rf ` j J | p [f ](j) ,
`
por lo cual p 6 Rf ` j J | p [f ](j) debido a ((1.53); 30), y de ((1.45); 28) se concluye j J | p
[f ](j) ` p Rf .
`
A C | [f ]() D ` f id (C) D .
` `
1) f ii (C) = f ii Rf C 2) f id f ii(C) = Rf C
` `
3) A C f ii f id (C) 4) f inyectiva ` f ii f id (C) = A C .
`
A b Rf C | (, b) f de ((1.58); 31) y ((1.58); 31),, obteniendose f ii Rf C de ((2.7); 38),
` `
por lo tanto a f ii (C) | a f ii Rf C de ((1.59); 31) y se concluye f ii (C) f ii Rf C , obteniendose
`
f ii (C) = f ii Rf C de ((2.11); 39).
`
2. Para f id f ii (C) se tiene B a f ii (C) | (a, ) f de ((2.7); 38), y con f ii (C) (, ) f
se sigue B a A | (a, ) f , luego Rf debido a ((2.7); 38), adem
as A b C | (, b) f
nuevamente de ((2.7); 38), pero con C (, ) f se tiene = de ((3.8); 67), obteniendo Rf C
`
de ((2.30); 42) pues Rf C debido a ((2.19); 41), por lo cual b f id f ii (C) | b Rf C de ((1.59);
`
31), entonces f id f ii (C) Rf C .
Ahora, para Rf C se tiene Rf C de ((2.30); 42) con ((1.60); 31), entonces a A | (a, ) f
debido a ((2.7); 38), y con A (, ) f se sigue A b C | (, b) f de ((1.58); 31), luego
f ii (C) de ((2.7); 38), por lo cual B a f ii (C) | (a, ) f tambien de ((1.58); 31), entonces
` `
f id f ii (C) de ((2.7); 38), y con ((1.59); 31) se obtiene b Rf C | b f id f ii (C) , por lo tanto
` `
Rf C f id f ii (C) y de ((2.11); 39) se concluye Rf C = f id f ii (C) .
Rf C ` f ii (C) = A .
on. Del primer enunciado del teorema (3.3.5; 73) y ((2.35); 44) se sigue f ii (C) = f ii (Rf ) y tambien
Demostraci
f ii (B) = f ii (Rf ) pues Rf B , entonces f ii (C) = A del teorema (3.3.2; 72).
on. Dado que f ii () =
Demostraci a A k b | (a, b) f para A y (, ) f se sigue B, luego
( )f de ((2.60); 49), por lo cual ` (, ) 6 f debido a ((1.45); 28), entonces b | (, b) 6 f de ((1.59);
`
31), y tambien a A | b | (a, b) 6 f nuevamente de ((1.59); 31), por lo tanto a A | b | (a, b) f
Mario F. Rosales G. 75
debido a ((1.62); 32), y con el teorema (2.3.2; 50) y ((1.45); 28) se concluye f ii () = . La otra demostraci
on es
l
similar y se deja al lector como ejercicio.
1) C A = ` f id (C) = 2) C Rf = ` f ii (C) =
Como consecuencia inmediata se obtiene al corolario que sigue, en donde se ilustra el comportamiento de una
funci
on en terminos de la imagen inversa de conjuntos unitarios.
Demostraci on. Dado que {p} {q} = del teorema (2.3.11; 56) y f ii () = del lema (3.3.1; 74), se sigue
` ` `
f ii {p} {q} = , luego f ii {p} f ii {q} = debido al inciso (8) del teorema (3.3.6; 75).
f ii (D \ C) = f ii (D) \ f ii (C) .
on. Para C se tiene 6 D \ C debido a ((2.26); 42) y ((1.45); 28) ya que ( D 6 C)f,
Demostraci
as para f ii (D \ C) se sigue A y q D \ C | (, q) f de ((2.7); 38), pero con D \ C y
adem
(, ) f se obtiene 6= debido a ((2.16); 40), es decir 6 {}, luego C \ {} de ((2.27); 42) con ((1.45);
as, cuando B se sigue B \ {} de ((2.28); 42) pues B C C debido a ((2.35); 44), y como se
28). Adem
tiene p B \ {} | (, p) 6 f de ((3.1); 64) dado que (, ) f , entonces (, ) 6 f de ((1.60); 31), y tambien de
6 B se sigue (, ) 6 f , por lo tanto q C | (, q) 6 f debido a ((1.59); 31), luego A y
q C | (, q) f
`
de ((1.62); 32), obteniendose A q C | (, q) f f, por lo cual 6 f (C). ii
Pero del teorema (3.3.6; 75) tambien se tiene f ii ((D \ C) f ii (D) dado que D \ C D de ((2.25); 42), entonces
f ii (D) debido a ((1.60); 31), concluyendose f ii(D) \ f ii (C) de ((2.27); 42) con ((1.45); 28), por lo tanto
p f ii (D \ C) | p f ii (D) \ f ii (C) de ((1.59); 31), obteniendose f ii (D \ C) f ii (D) \ f ii (C) . La demostraci
on
l
faltante se deja al lector como ejercicio.
Demostraci on. Para B P(Y ) se tiene f ii (Y \ B) = f ii (Y ) \ f ii (B) Del teorema (3.3.7; 75), y como f ii (Y ) =
` c
X del teorema (3.3.2; 72) se obtiene f ii (B c ) = f ii (B) , y con ((1.59); 31) se obtiene C P(Y ) | f ii (C c ) =
` ii c
f (C) .
3.4. Conjugaci
on de funciones
Ahora se introducen dos procedimientos para identificar funciones, el primero basado en la conjugaci
on de
funciones con funciones, y el segundo mediante la conjugaci
on de funciones con smbolos incompletos, dando lugar
al concepto de funciones contextuales. En las conjugaciones de funciones con funciones que aqu se enuncian, se
utiliza al proceso invocativo de funciones antes mencionado. Por ello, es importante enfatizar que no se definen las
conjugaciones, lo que se incorpora son nombres y smbolos para las funciones identificadas, mediante la declaraci
on
de condiciones de especificaci
on con pares de funciones. En cada conjugaci
on de dos funciones apropiadas, se
identifica una funci
on, la cual se reconoce con la introducci
on de un nombre y un smbolo compuesto, que incluye
a las funciones consideradas.
3.4.1. Conjugaciones b
asicas de funciones
Posiblemente la m
as b
asica conjugaci
on de funciones, proviene de que las funciones son conjuntos, pues
para f B A y g D C es natural considerar a f g, pero se desea identificar a una funci
on de una manera
sencilla, por ello se hace
`
f dg (p, q) (A C) \ (A C) (B D) k (p, q) f g (3.21)
l
llam on de f con g , luego f d g (B D)(AC) \ (AC) como puede verificarlo el lector. Entonces
andola seudouni
13
`
Cuando f RA y se considera f ii {0} , se conviene en llamarla ecuaci
on homog
enea y a sus elementos ceros de la
ecuaci
on.
Mario F. Rosales G. 77
A continuaci
on se presentan otras conjugaciones de funciones, aparentemente suficientes para los temas
m
as usuales de la matem
atica. Casi la totalidad de estas conjugaciones son totalmente novedosas, posteriormente se
presentan algunas propiedades. La demostraci
on de que estas conjugaciones de funciones son funciones es laboriosa,
l
pero formativa, por ello se deja como ejercicio para el lector.
`
g f (a, d) f ii (C) D k d = g [f ](a) (3.22)
ii `
por lo cual g f D f (C)
y a f ii (C) | [g f ](a) = g [f ](a) .
f (a, h) (A D) E B k h = [g](a) [f ](a)
g
(3.23)
f (E B )AD y a A D | [g
obteniendose g
f ](a) = [g](a) [f ](a) .
` F ` G
Para f (C B )A y g (E C )D se define g triple bola f haciendo
f (a, h) (F G) (E B )AD k h = [g](a)
g
[f ](a) (3.24)
` F G
f (E B )AD
entonces g
y a F G| g
f (a) = [g](a)
[f ](a) .
`
g 4 f (a, c) (f ii (D) C) E k c = [g](a) [f ](a) (3.25)
ii `
por lo que g 4 f E f (D)C
y a f ii (D) C | [g 4 f ](a) = [g](a) [f ](a) .
` D
Para f (C B )A y g (E C )B se define g bola tri
angulo f haciendo
4 f (a, h) (A D) E B k h = [g](a) 4 [f ](a)
g
(3.26)
4 f (E B )AD y a A D | [g
por lo cual g
4 f ](a) = [g](a) 4 [f ](a) .
Estas definiciones y las conjugaciones enunciadas pueden parecer complicadas y de difcil aplicaci
on, incluso
hasta provocar un rechazo inicial. . . es algo inherente a las innovaciones (vease frase p
ag.133). Adelante hay sobradas
oportunidades para aprovecharlas y familiarizarse, pero cabe mencionar, que la necesidad de introducirlas s
olo se
presenta cuando se explicitan las funciones que ocurren en situaciones de cierta complejidad en la matem
atica.
Es ah donde se consideran y reconocen conjuntos mas complejos que el sencillo B A , siendo A y B conjuntos
simples.
78 Lo indispensable de la matem
atica formal
Las conjugaciones de funciones recien consideradas, se pueden combinar de muchas maneras. Sin pretender
exhaustividad, se citan casos de combinaciones frecuentes y algunos vnculos entre ellas:
(f g) h = f (g h) (3.27)
(f
g) h = (f h)
(g h) (3.28)
(f
g) h = (f h)
(g h) (3.29)
(f 4 g) h = (f h) 4 (g h) (3.30)
(f
4 g) h = (f h)
4 (g h) (3.31)
(f
g)
h=f
(g
h) (3.32)
(f
4 g)
h = (f
h)
4 (g
h) (3.33)
(f
g)
h)
h = (f
(g
h) (3.34)
(f
g) 4 h = f 4 (g 4 h) (3.35)
(f
4 g) 4 h = (f 4 h) 4 (g 4 h) (3.36)
(f
g) 4 h = (f 4 h)
(g 4 h) (3.37)
l
dejando al lector la demostraci
on de los comportamientos enunciados, pero como ejemplo se plantea a la siguiente
proposici
on y se complementa el tema considerando la imagen directa e inversa para la composici
on de dos funciones
que participa en algunas de las conjugaciones enunciadas.
on 3.4.1. Sean f B A , g D C y h F E .
Proposici
(f d g) h = (f h) d (g h) y f (g d h) = (f g) d (f h) .
` `
Demostraci
on. Dado que (f h) d (g h) (B D)M (f d g) h (B D)M en donde M hii (A
`
C) \ hii (A C) debido a ((3.21); 76) con ((3.22); 77) y el teorema (3.3.7; 75), de M se sigue hii (A)
`
hii (C) 6 hii (A) hii (C) debido a ((2.25); 42), ((2.26); 42) con ((1.45); 28), ((1.40); 26) y el teorema (3.3.6);
` `
75), luego hii (A) hii (C) hii (A) hii (C) de ((2.22); 42) y ((2.34); 43) con ((1.45); 28),
` `
por lo cual se tiene hii (A) y 6 hii (C) o hii (C) y 6 hii (A) debido a ((1.9); 21) con ((1.52); 29) y
((1.1); 17) present
andose dos casos:
` `
De hii (A) y 6 hii (C) se infiere [h]() A , luego [(f d g) h]() = f [h]() y tambien (f
`
h) d (g h) () = f [h]() , obteniendose [(f d g) h]() = (f h) d (g h) () .
Mario F. Rosales G. 79
` `
De hii (C) y 6 hii (A) se sigue [h]() C , por lo cual [(f d g) h]() = g [h]() y (f h) d (g
`
h) () = g [h]() , luego [(f d g) h]() = (f h) d (g h) () .
Entonces p M | (f d g) h (p) = (f h) d (g h) (p) de ((1.59); 31) y de ((3.15); 68) se concluye (f d g) h =
(f h) d (g h) .
`
Ahora, como de ((3.21); 76) y ((3.22); 77) se tiene (f g) d (f h) B N con N (gii (A) hii (A)) \ gii (A)
ii l
hii (A) y f (g d h) B (g d h) (A) , en donde (g d h)ii (A) = N como puede verificarlo el lector, de N se
` `
sigue gii (A) hii (A) gii (A) hii (A) debido a ((2.25); 42) con ((2.22); 42), ((2.26); 42)
` `
con ((1.45); 28), ((2.34); 43) y ((1.40); 26), luego gii (A) y 6 hii (A) o hii (A) y 6 gii (A) de ((1.9);
21) con ((1.52); 29) y ((1.1); 17) present
andose dos casos:
`
De gii (A) y 6 hii (A) se tiene C , por lo cual f (g d h) () = f [g]() y (f g) d (f h) () =
`
f [g]() .
`
De hii (A) y 6 gii (A) se sigue E , luego f (g d h) () = f [h]() y (f g) d (f h) () =
`
f [h]() .
Entonces p M | f (g d h) (p) = (f g) d (f h) (p) de ((1.59); 31) y de ((3.15); 68) se concluye f (g d h) =
(f h) d (f g) d (f h) .
`
on. Para gid f id (E) se sigue D y c f id (E) | (c, ) g debido a ((2.7); 38), y con
Demostraci
f id (E) y (, ) g tambien se obtiene B y b E | (b, ) f nuevamente de ((2.7); 38), luego con
`
E y (, ) f se tiene [f ](), g, por lo cual (, ) gf de ((3.22); 77), entonces e E | (e, ) gf
`
debido a ((1.58); 31) y se sigue (g f )id (E), por lo tanto d gid f id (E) | d (g f )id (E) debido a ((1.59);
`
31), concluyendose gid f id (E) (g f )id (E) .
Ahora, para (g f )id (E) se sigue D y e E | (e, ) g f debido a ((2.7); 38), y con E y
` `
(, ) g f se obtiene [f ](), g de ((3.22); 77), por lo cual [f ]() B y b E | b, [f ]() f debido a
((1.58); 31), luego [f ]() f id (E) tambien de ((2.7); 38), entonces D y f id(E) | (, ) g de ((1.58); 31),
` `
por lo tanto gid f id (E) otra vez de ((2.7); 38), y con ((1.59); 31) se sigue d (g f )id (E) | d gid f id (E) ,
` `
obteniendose (gf )id (E) gid f id (E) , y de ((2.11); 39) se concluye (gf )id (E) = gid f id(E) . El otro enunciado
l
se deja al lector como ejercicio.
Demostraci
on. Es inmediata del teorema (3.4.1; 79) y ((3.20); 72).
80 Lo indispensable de la matem
atica formal
Los smbolos compuestos asignados a las conjugaciones de funciones recien introducidas, deben interpre-
tarse como smbolos no fraccionables, a
un cuando los smbolos asociados a las funciones participantes posean un
signficado independiente a la conjugaci
on. Sin embargo, ante la consideraci
on de conjuntos especficos y apropia-
dos, con las condiciones de especificaci
on consideradas en las conjugaciones de funciones, es posible identificar a
funciones. Por ejemplo, para un conjunto A se puede pensar en GA f AA | f biyectiva y con ((3.22); 77)
` `
hacer 14 GA (f, g), h GA GA GA k h = g f teniendose 15 GA GA (GA GA ) como es f acil verificar,
`
y para (f, g) GA GA se sigue GA (f, g) = g f . Pero cuidado, con este planteamiento resulta tentador
hacer g GA f [GA ]((f, g)), finalmente es lo usual, pero esto llevaria a g GA f = g f , y de aqu a pensar
temerariamente que = GA , lo cual es totalmente erroneo.
El uso de smbolos como conexiones entre dos funciones es frecuente, sin que den lugar a conjugaciones de funciones
y se debe estar atento a ello. Por ejemplo, el orden de los reales permite introducir a los smbolos < y como
conexiones entre dos funciones, pues con f RA g RB se hace f < g cuando a A B | [f ](a) < [g](a) ,
y f g cuando a A B | [f ](a) [g](a). Conviene observar, que al combinar estos conectivos con un par de
funciones, s
olo se expresa un comportamiento de las funciones, sin identificar otra funci
on, por lo que no constituyen
otras conjugaciones de funciones.
3.4.2. Restricci
on de funciones
Rf ID Rf . (3.38)
c
Observese que para C conjunto se tiene f B A C 6= B ` IC f 6= f If ii (C) , a
un cuando IC f = If ii(C) ,
sin embargo Rf C ` f If ii (C) = f pues f ii (C) = A. Un caso particular de restricci
on ocurre con la conjugaci
on
IB IA , para la cual se sigue
6 IB IA IB IA B AB
A B 6= ` = (3.39)
c
R f C ` IC f C A IC f = f .
ii
on. Para (, ) IC f se tiene f ii (C) pues IC f C f
Demostraci (C)
debido a ((3.22); 77), luego
A y p C | (, p) f de ((2.7); 38), y con C y (, ) f se sigue B y = [f ](), por lo
`
cual [f ]() C, y como = [IC f ]() = IC ] [f ]() se obtiene = [f ](), por lo cual (, ) f , entonces
(p, q) IC f | (p, q) f debido a ((1.59); 31) y se sigue IC f f . Ahora, con (, ) f se sigue B y
q B | (q, ) f de ((1.58); 31), luego Rf debido a ((2.7); 38), por lo cual C de ((1.60); 31), entonces
(, ) IC f , obteniendose (p, q) f | (p, q) IC f de ((1.59); 31), por consiguiente f IC f concluyendose
c
f = IC f de ((2.11); 39), por lo tanto Df = DIC f debido a ((2.80); 60), en donde Df = A y DIC f = f ii (C),
por lo tanto IC f C A .
Es frecuente que para f C A , g C B se presenten algunos comportamientos que deben ser comentados
y que trascienden enormemente en todo lo que sigue:
f C A g C B . (f ID = g IE ` A D = B E) . (3.40)
f C A g C B . (f IB = g ` B A) . (3.42)
Observese que de A D directamente se infiere f ID = f debido a ((3.22); 77), pero como tambien se
tiene f ID = f ID , de ((3.43); 82) se sigue f ID = f lo cual muestra una compatibilidad interesante e
indispensable.
3.5. Funci
on inversa
Como B A P(A B), las funciones heredan lo establecido para la inyectividad y suprayectividad de
relaciones, y su importancia obliga a introducir algunos conceptos e identificar ciertos comportamientos.
f inyectiva ` f id (C \ D) f id (D) = .
Demostraci
on. Inmediata del teorema (3.5.1; 82) con ((2.38); 44).
1. De f If ii (C) no inyectiva y ((2.87); 61) se sigue (a, b) f If ii(C) | c f ii (C) \ {a} | (c, b) f If ii (C)
ya que Df If ii (C) = f ii (C), entonces (, ) f If ii (C) y c f ii (C) \ {} | (c, ) f If ii (C), por lo cual
f ii (C) \ {} y (, ) f If ii (C) , y como f If ii (C) f se tiene (, ) f y (, ) f . Adem
as
c C | (, c) f luego C y (, ) f , pero de 6= se tendra (a, b) f | c A \ {a} | (c, b) f
que lleva a f 6 B A de ((3.14); 68), por lo tanto = .
`
Entonces C y se sigue d D | (, d) g , luego D y (, ) g, por lo cual = g [f ]() y
`
= g [f ]() con (, ) f ii (C) D y (, ) f ii (C) D, obteniendose (, ) g f y (, ) g f
de ((3.22); 77), por lo tanto (a, b) g f | c f ii (C) \ {a} | (c, b) g f debido a ((1.58); 31), y de
((2.87); 61) se concluye g f no inyectiva.
2. De g IRf no inyectiva y ((2.87); 61) se tiene (a, b) g IRf | c C Rf \ {a} | (c, b) g IRf pues
DgIRf = C Rf , luego (, ) g IRf y c (C Rf ) \ {} | (c, ) g IRf , entonces (C Rf ) \ {}
84 Lo indispensable de la matem
atica formal
as a A | (a, ) f , luego
y (, ) g IRf , por lo cual (, ) g y (, ) g ya que g IRf g. Adem
A y (, ) f , y como C se sigue f ii (C) , pero C Rf , por lo cual a A | (a, ) f
obteniendose A y (, ) f , luego f ii (C) ya que C. Tambien se tiene 6= , pues de =
se sigue (a, b) f | c B \ {b} | (a, c) f , lo cual lleva a f 6 B A de ((3.14);68).
` `
Entonces = g [f ]() y = g [f ]() con (, ) f ii (C) D y (, ) f ii (C) D, obteniendo
(, ) g f y (, ) g f de ((3.22; 77), por lo tanto (a, b) g f | c f ii (C) \ {a} | (c, b) g f
debido a ((1.58); 31), y de ((2.87); 61) se concluye g f no inyectiva.
on. De f 6= se sigue A 6= B 6= de ((3.9); 67) con ((1.45); 67) y ((1.1); 17), luego para
Demostraci
as p D | p = p de los teoremas (2.3.8; 54)
D P(B) \ {} se tiene D B D 6= debido a ((2.24); 42), adem
y (2.3.6; 52), y con D y = se infiere a A | (a, ) f de ((2.81); 60) y ((1.60); 31) ya que B, y con
A y (, ) f se obtiene D a A | (a, ) f debido a ((1.37); 25), por lo cual f ii (D) de ((2.7);
38), y con ((2.61); 49) se concluye f ii (D) 6= .
Con la conjugaci
on bola se introducen los conceptos de funciones inversas e invertibles, todos ellos muy
importantes, para lo cual se considera f B A y se procede como sigue:
`
Demostraci on. De f inv f = IA y (, ) f se tiene = [IA]() = [f inv f ]() = f inv [f ]() con f inv
`
[f ]() = [f inv ]() de ((3.22); 77), luego (, ) f inv , por lo cual (a, b) f | (b, a) f inv ) de ((1.59); 31).
f g = IB h f = IA ` g = h .
`
Demostraci on. Del teorema (3.4.1; 79) se tiene (f f inv )id (C) = f id (f inv )id (C) , y como f f inv = IB se
`
sigue (f f inv )id (C) = B C de ((3.20); 72), luego f id (f inv )id (C) = B C. An alogamente, (f f inv )ii (D) =
`
f ii (f inv )ii (D) tambien del teorema (3.4.1; 79), en donde f f inv = IB , por lo cual (f f inv )ii (D) = A D
`
debido a ((3.20); 72), por lo cual f ii (f inv )ii (D) = A D.
f biyectiva a ` f invertible .
Las funciones contextuales estan asociadas a smbolos incompletos y son identificadas por su con-
jugaci
on con otras funciones, las cuales ocurren en muchos aspectos de la matem
atica, sin que se les reconozca su
naturaleza funcional.
En general y por s mismos, los smbolos incompletos son insuficientes para identificar, sin ambig
uedad, las
funciones contextuales, es decir, estrictamente no hay tales funciones, y ese es el sentido del calificativo incompleto.
Esta situaci
on cambia cuando los smbolos incompletos se combinan con otras funciones utilizando conjugaciones
de funciones, pues la naturaleza de las funciones y las caractersticas de las conjugaciones establecen los contextos
propios de la discusi
on que los considere, permitiendo la identificaci
on de las funciones contextuales asociadas.
Mario F. Rosales G. 87
Con el dominio sucede algo similar, pues si el contexto exhibe a C como dominio de dae y D C es
viable identificar a dae ID AD para satisfacer alguna necesidad en la discusi
on. Esto se puede ejemplificar
un cuando se tenga d D | [f ](d) = a es incorrecto concluir f = dae ya que con este
con f AD , pues a
on podra darse dae AE o incluso
argumento dae solo es un smbolo incompleto, y en el contexto de la discusi
dae {a}E con {a} =
6 A , entre otras posibilidades, sin embargo con f = IA dae ID se expresa correctamente el
comportamiento planteado y en ocasiones es importante hacerlo explcito, pero generalmente su complejidad lleva
a ignorar la restricci
on izquierda apelando al buen entendedor. . . pocas palabras.
En cualquier caso, ya sea que dae represente un smbolo incompleto o una funci
on contextual, debe
un cuando se tenga a A , aisladamente el
interpretarse como un smbolo compuesto no fraccionable, pues a
smbolo d e carece de significado. Estos corchetes hacen al smbolo incompleto dae muy versatil y consistente,
pues al funcionar como limitadores permiten, de manera explcita, agrupamientos de funciones con conjugaciones e
incluso iteraciones del tipo dae entre muchas otras posibilidades.
Generalmente el smbolo incompleto dae con a A ocurre en conjugaciones con otras funciones y es lo que
permite, cuando es viable, identificar a la funci
on contextual asociada y a la conjugaci
on, para esto, las funciones y
las conjugaciones consideradas deben ser afines al conjunto A . Esto se puede ilustrar con la identificaci
on de dos
conjugaciones de alguna manera ya conocidas por la mayora de los lectores 17 , pues con f RA y g RB se hace18
f + g (a, ) (A B) R k = [f ](a) +R [g](a) y f g (a, ) (A B) R k = [f ](a)R
[g](a) obteniendose 19 f + g RAB a A B | [f + g](a) = [f ](a) +R [g](a) y f g RAB a
`
A B | [f g](a) = [f ](a) R [g](a) . Entonces con R se puede invocar a la conjugaci
on de f + g RAB
dada la afinidad presente al tratar con dichas conjugaciones y el que R, siendo R el contradominio de f y g,
` `
ademas se obtiene a A B | de f + g (a) = R [f ](a) +R [g](a), por lo que ahora es apropiado decir que
de es una funci
on constante y ejemplifica un uso frecuente de d e, aunque no reconocido.
Con una funcion f B A se concibe a la funci on contextual bf c, llamada bajo de f , dado que con
a A se puede considerar [f ](a) . En efecto, si en el contexto se reconoce un conjunto C, que permita hacer
bf c (a, h) A B C k h = [f ](a) on contextual bf c (B C )A , para la cual de
se identifica la funci
a A se tiene bf c (a) = [f ](a) B C . Se trata de un smbolo incompleto totalmente novedoso, que permite
expresar situaciones sumamente complicadas de una manera explcita y consistente. Al igual que los otros smbolos
incompletos, ocurre en conjugaciones con otras funciones lo cual, en principio, permite identificar a la funci
on
contextual asociada. Tambien se trata de un smbolo compuesto no fraccionable, en donde aisladamente el smbolo
b c carece de significado, y como limitadores permiten agrupamientos de muy diversa ndole.
Al considerar a estos smbolos incompletos conjugados con funciones se presentan enunciados que deben
l
ser mencionados, y es conveniente que el lector los verifique:
c
df e = df e (3.45)
c
df e g = df e (3.46)
c
bf c g = bf gc (3.47)
c
f dge = [f ](g) (3.48)
c
bf c
g = bf c (3.49)
c
f
bgc = bf 4 gc (3.50)
c
df e
dge = df ge (3.51)
c
df e
bgc = bf gc (3.52)
c
df e 4 g = f g (3.53)
c
df e 4 dge = [f ](g) (3.54)
c
bf c 4 g = f IDg (3.55)
c
bf c 4 dge = f (3.56)
c
bf c
4 dge = f
dge (3.57)
c
bf c
bgc = bf
gc (3.58)
c `
f (g 4 h) = df e
g 4h (3.59)
19 Provisionalmente se emplean los smbolos +R y R para enfatizar las diferencias con las conjugaciones planteadas.
Mario F. Rosales G. 89
c
(f h)
(g h) = df
ge 4 h (3.60)
Al conjugar estas conjugaciones con las antes presentadas, se tienen muchas opciones, de entre las cuales se men-
l
cionan los siguientes enunciados que el lector puede comprobar:
(f g) h = (f h) (g h) (3.61)
(f g)
h = (f
h) (g
h) (3.62)
(f g) 4 h = (f 4 h) (g 4 h) (3.63)
`
Ahora se puede considerar f C AB y con df e
bIA c dIB e (C B )A se establece el vnculo
`
buscado entre C (AB) y (C B )A , ya que para a A se tiene [](a) = f dae IB con [](a) C B , y de b B
` ` ` ``
se sigue 4 dbe = f IA dbe y 4 dbe C A , pues df e
bIA c dIB e 4 dbe = df e 4 bIA c dIB e 4 dbe
`` `` `
debido a ((3.35); 78) y df e 4 bIA c dIB e 4 dbe = df e 4 bIA c 4 dbe dIB e 4 dbe de ((3.63); 89) en donde
``
bIAc 4 dbe = IA y dIB e 4 dbe = dbe de ((3.56); 88) y ((3.54); 88) respectivamente, por lo cual df e 4 bIA c 4 dbe
` `
dIB e 4 dbe = f IA dbe debido a ((3.53); 88). Para conciliar este planteamiento con la tradici on se hace
fa [](a) y f b 4 dbe , pero ah son enunciadas como evaluaciones parciales que asignan los subndices o los
superndices, declar
andolos explcitamente como fijos (constantes) pero con capacidad de variar. . . tradicionalmente
a los smbolos con esta propiedad los llaman par
ametros, un planteamiento innecesariamente ambiguo que da lugar
90 Lo indispensable de la matem
atica formal
` A (C AB )
a las llamadas funciones param bIA c dIB e (C B
etricas de f . Desde luego, con bIC AB c
se generaliza este proceder, pues para f C AB se sigue [](f ) = , y con a A se tiene que 4 dae
AB
(C B )(C )
identifica la que podra ser llamada funci
on generadora de funciones parametricas para a, mostrandose
la versatilidad y capacidad descriptiva de las conjugaciones introducidas.
Se ha visto que basta enunciar a dos conjuntos, A y B, para considerar al conjunto B A . De modo an
alogo,
para los conjuntos X y J , se puede pensar en P(X)J . Aparentemente P(X)J no tiene algo novedoso, pero la
consideraci
on de la potencia de un conjunto incorpora peculiaridades importantes, por lo que incluso se introduce
otra terminologa. A cualquier F P(X)J se le llama familia en X o familia en X indizada con J , y a los valores
de F se les conoce como t
erminos de la familia; i.e. se dice que [F ](j) es el termino jesimo de la familia F ,
y a J se le llama conjunto de ndices de la familia. Observese que se omite la condici
on de que F sea una funci
on
inyectiva, pues hay casos muy importantes que requieren de la posibilidad de terminos repetidos.
En la literatura se dice que una familia es un conjunto Xj k j J , o bien Xj con j J , en donde
sus elementos son conjuntos, a los cuales tambien se les llama terminos de la familia. En esta definici
on no se
declara X, a
un cuando participa junto a los subndices en smbolos compuestos, y con el valor de j identifican a
los terminos de la familia de una manera indefinida, asignando a los subndices un nuevo significado. Para remediar
uedades podra pensarse que con Xj denotan a [X](j), pero de esta manera resultara que RX es
estas ambig
la familia y no X, excluyendose las repeticiones de terminos en las familias, dado que RX es conjunto, lo cual es
definitivamente inaceptable.
o P(X) para un conjunto X que en realidad es un caso particular, dado que con Y P(X) y
por ello se consider
J un conjunto, igualmente se tiene que G Y J es una familia. Incluso para una colecci
on de conjuntos C es v
alido
decir que H C J es una familia, sin embargo estos dos u
ltimos casos presentantan dificultades para identificar un
producto cartesiano generalizado, lo cual se analiza posteriormente.
`
F P(X)J G P(X)J ( 6 RF 6 RG ) . (F = G ` F = G) . (3.64)
H En los terminos usuales, para una familia Xj k j J se adopta la notaci
on jJ Xj para su
on q jJ Xj si j J | qj Xj ,
producto cartesiano generalizado, y lo definen (sic) con la condici
utilizando a los subndices para identificar los terminos de la familia y las componetes de los elementos
del producto cartesiano. . . omitiendo todo vnculo explcito con el concepto de funci
on, impidiendo con
ello hacer explicta la naturaleza de q yjJ Xj . Esto se hace evidente al reestructurar su condicion
con ((2.7); 38), ya que en sus terminos se tendra q ? j J | qj Xj ` q jJ Xj en donde
jJ Xj = ? . N
Es interesante el caso de un conjunto X y G Y J con Y P(X), dado que para invocar a G se requiere
`
que Y sea la potencia de un conjunto. Sin embargo IP(X) G P(X)J y se puede considerar IP(X) G , adem as
`
RIP (X)G = RG y con IP(X) G se tiene X j J | [](j) [G](j) de ((2.7); 38) alcanzando
J
el comportamiento deseado, sin embargo debe ser claro que IP(X) G 6= G cuando Y P(X). Otra situaci
on
ilustrativa se presenta con Y P(X), donde no es viable G, lo cual se resuelve parcialmente con RG , ya que
al hacer H (j, h) J P( RG ) k h = [G](j) se sigue H P( RG )J pudiendose invocar H, y para
H se tiene ( RG )J j J | [](j) [G](j) de ((2.7); 38), en donde 6= G y H 6= G a un cuando
hay similitudes en ellas.
Notese que los productos cartesianos simple y generalizado son diferentes, aunque pueda plantearse una fun-
` ` `
on biyectiva. En efecto, para dos conjuntos A y B se puede considerar 21 a F IP(AB) dAeI{1} d IP(AB)
ci
` c
dBe I{2} , luego F P(A B)2 , y para a A y b B y F con = (1, a), (2, b) se ob-
c
tiene = {1}, {1, a} , {2}, {2, b} y (a, b) = {a}, {a, b} , en donde {1}, {1, a} , {2}, {2, b}
` ` ` `
P P P 2 (A B) y {a}, {a, b} P P(A B) , sin que se pueda dar la igualdad de y (a, b) , incluso
un la de F y A B.
la conjuntal y menos a
20 N
otese que F no es funcion al igual que X J .
21 Al hacer G (1, A), (2, B) se sigue G = c
F pero es impropio concluir G P (A B)2 (v
ease observaci
on en p
ag. 69).
92 Lo indispensable de la matem
atica formal
Un caso particular muy importante del producto cartesiano generalizado se presenta cuando se considera
`
una familia del tipo 22 F (j, A) J P(X) k A = X luego F = IP(X) dXe IJ , para la cual se tiene
l
F = X J como puede demostrarlo el lector, entonces X J es un producto cartesiano generalizado. El conjunto R n
en donde n N (vease p on, que no debe confundirse con el usual Rn de
ag. 111) es un caso tpico de esta situaci
los textos, el cual tradicionalmente proviene del producto cartesiano simple de n veces R mediante un proceso
iterativo. . . a este conjunto se le conoce como espacio cartesiano n-dimensional 23 . A sus elementos se les llama
n-eadas de Rn , haciendo (a1 , . . . , an ) a para a Rn , en donde los subndices se asocian al orden adoptado
en el proceso iterativo de productos cartesianos simples. Pero por su caracter funcional y generalidad, en este libro
s
olo se considerar
a al producto cartesiano generalizado, a
un en los casos donde la familia sea finita, suponiendo que
a R n en vez de Rn . Siendo puristas ,
el conjunto de ndices no es el conjunto vacio, as entonces, siempre se usar
el que R 6= R 1 presenta ciertas complicaciones que ser an tratadas en su momento, esto sucede a
un cuando se tiene
24 (R 1 )
` inv 1 R
IR 1 d1e invertible con IR 1 d1e R
4 4 , en donde IR 1 d1e
4 = IR d1e I{1} (R ) .
P F = dIX J IF e
4 bIJ c (3.65)
adem as de k J R[P F ](k) se tiene p F | (p, ) [P F ](k) de ((2.7); 38), y como con F y
(, ) [P F ](k) se infiere = (IX J IF ) 4 dke () en donde (IX J IF ) 4 dke () = [](k) pues F F y
as [](k) [F ](k) , entonces q R[P F ](k) | q [F ](k) debido a ((1.59); 31), por lo cual R[P F ](k) [F ](k)
adem
y con ((1.59); 31) se obtiene
j J | R[P F ](j) [F ](j) (3.66)
Otro comportamiento importante de P F asociado a su funci on dual proviene de ((3.26); 77), ya que
F 4
` J F F
dP e
bIF c X y de F se tiene dP e
4 bIF c () = P F 4 de en donde P F 4 de =
` ` ` `
dIX J IF e 4 de 4 bIJ c 4 de debido a ((3.65); 92) y ((3.36); 78), adem as dIX J IF e 4 de 4 bIJ c 4 de =
[IX J IF ]() 4 IJ de ((3.54); 88) y ((3.56); 88), luego q F | dP F e
4 bIF c (q) = bI J IF c
X
4 dIJ e (q)
` F
debido a((1.59); 31) con bIX J IF c
4 dIJ e X J tambien de ((3.26); 77), entonces con ((3.15); 68) se obtiene
dP F e
4 bIF c = bI J IF c
X
4 dIJ e . (3.67)
K P(J ) \ {} | P F IK = dIX J IF e
4 bIJ IK c . (3.68)
26 Enti
endase que provienen del raciocinio.
27 Bernard Placidus Johann Nepomuk Bolzano (1781-1848), fue un matem
atico checo que intent
o sustentar a toda la
matem
atica en la l
ogica y es quien introduce al t
ermino conjunto, la publicaci
on de la mayor parte de su obra fue p
ostuma.
Captulo 4
N
umeros reales
George Berkeley 1
4.1. Introducci
on
La presentaci
on de los n
umeros reales puede ser axiom
atica o constructiva. Por su sencillez, aqu se
considera el proceso axiom
atico, que plantea una sntesis elegante del sistema l umeros reales R al
ogico de los n
enunciar ciertas propiedades declaradas como enunciados o reglas de inferencia [9], que involucran a un conjunto,
dos funciones 2 llamadas suma +R RRR y producto R RRR , y un orden <R (una relaci
on en R R ). Se
trata de una estructura l
ogica en la teora de conjuntos, en la que no se exige una realizaci
on de los n
umeros reales,
es decir de la identificaci
on previa del conjunto, y por ello tampoco del orden y de sus funciones suma y producto;
lo cual en principio ocurre en presentaci
on constructiva.
95
96 Lo indispensable de la matem
atica formal
En la presentaci
on axiom
atica, la compatibilidad parcial se debe al axioma del supremo (vease (S)
p umeros N, Z y Q no lo satisfacen, por ello dichos sistemas de n
ag. 101), pues los sistemas de n umeros no pueden
ser los n
umeros reales. Para cumplir con el axioma, se requiere complementar a los n
umeros racionales con los
umeros irracionales I, estableciendose la compatibilidad total con Q I , por lo que se dice R = Q I . Sin
n
embargo, al no requerir esta presentaci
on de alguna realizaci
on, surge inmediatamente la interrogante de que es
un n
umero?
El procedimiento constructivo es una bella muestra de la capacidad analtica humana, constituye una
exquisitez matem
atica que es tema del algebra avanzada, cuya complejidad y extensi
on ha ameritado diversos
textos (en [3] se encuentran varias referencias). A diferencia del proceso axiom
atico, en el constructivo se impone
la identificaci
on previa de un conjunto plenamente especificado, lo cual provee cierto significado a dichos n
umeros
y explicita la realizaci
on que finalmente se obtenga de los n
umeros reales. . . pero al igual que en la presentaci
on
axiom
atica, en ning
un momento se considera directamente a la pregunta de que es un n
umero? Frecuentemente
se desvian considerando a los smbolos que los representan, comentando sus bondades o dificultades, lo cual es
hist
oricamente interesante, pero no dice algo respecto al significado de los n
umeros.
Tal vez no se formula esta pregunta porque no se tiene una respuesta satisfactoria. . . s
olo se esboza el
significado de los n
umeros naturales asoci
andolos al conteo de los elementos de conjuntos, apoy
andose en conductas
aprendidas. Es un ejemplo de condicionamiento, en donde se provoca tal costumbre en el pensamiento, que hace
considerar al concepto como comprendido, o peor a
un, como algo que no amerita reflexi
on.
4.2. Presentaci
on axiom
atica
Tradicionalmente se utiliza al producto cartesiano simple para enunciar a estas funciones, diciendo que
+ RRR y RRR , por lo que se les llama operaciones binarias cerradas 8 , para las cuales por tradici
on
y simplicidad se introducen ciertas convenciones, aunque no son afortunadas porque llevan a olvidar que + y
`` ``
son funciones (vease pag. 64), pues con (a, b), + g y (a, b), ) g se hace a + b , a b
` ` ` `
respectivamente, luego [+] (a, b) = a + b g y [ ] (a, b) = a b g debido al acuerdo para los valores de una
`` ``
funci ag. 65), obteniendose 9
on (vease p (a, b), a + b) + g y (a, b), a b g. Para el orden se tiene
< P(R R) y es una relaci
on antisimetrica con D< = R, en donde se hace a < b (a, b) < y se lee diciendo
`
a menor que b, luego (a, b) < g a ` (a < b)g.
H Esta situaci
on se complica al introducir el concepto de espacio vectorial real que incorpora a otras
funciones + y en conjunci
on con las anteriores, y como en una discusi
on ser
a usual considerar
varios espacios vectoriales, cada uno de ellos con sus funciones + y , resultar
a necesario distiguir a
dichas funciones utilizando un subndice que identifique la suma y producto de cada espacio, pudiendose
omitir los subndices para la suma y producto real como excepciones. Pero esta u
ltima simplificaci
on
tambien trae complicaciones al introducir las conjugaciones de funciones + y por lo que incluso
ando desde ahora los subndices haciendo +R y R , sin
deban evitarse estas simplificaciones incorpor
embargo el peso de la tradici
on impera a
un con las confusiones futuras apelando al riesgoso refr
an al
buen entendedor pocas palabras. . . N
(SP) a R b R c R ` a (b + c) = (a b) + (a c) . (Distributividad)
` `
(O1) a R b R . (a < b) g y (a = b) f y (b < a) f o (a < b) f y (a = b) g y (b < a) f
`
o (a < b) f y (a = b) f y (b < a) g . (Tricotoma) 13
llam
andolos n
umeros reales positivos y reales negativos respectivamente, que constituyen una parti-
l
on 14 de R , pues con (O1) el lector puede verificar
ci
on permite establecer un atributopara los elementos de R \ {0}, diciendo que los elementos
y esta partici
de R+ tienen signo positivo y que los elementos de R poseen signo negativo.
H Las dificultades mencionadas previamente para la suma real se agudizan con a b a + (b),
on lo cual
ya que incluso omite al smbolo + tal y como si se hubiese identificado una funci
11 Es importante comentar que de (S3) y (P3) se tiene R 6= y R \ {0} 6= debido al teorema (2.3.1; 49) y ((1.45); 28).
12 Al considerar la potenciaci umero real se demuestra a R \ {0} ` a1 = aim como lo establece ((5.7); 123).
on de un n
13 Podra pensarse en a < b 0 (a = b 0 b < a), pero de ((1.2); 18) se incorporara un caso indeseable.
`
14 Si para los conjuntos A, J y la familia F P (A) J (v ag. 90) se tiene A = RF y j & k J j 6= k `
ease 3.8, p
[F ](j) [F ](k) = se dice que RF es una partici on de A y a [F ](j) con j J una
on de A, a F se le llama fibraci
fibra de A.
100 Lo indispensable de la matem
atica formal
es incorrecto y es una de las primeras correciones que se deben hacer en el pensamiento del
estudiante, por ello aqu solo se acepta esta convenci
on en los reales, lo cual dar
a lugar a notaciones
complicadas que habr
a que aceptar intentando expresar lo que debe ser dicho. Esto mismo sucede
con el producto real a hacer a / b a b1 , pues da lugar a pensar en que se ha identificada una
funcion / (la divisi
on), lo cual tampoco se hace. . . N
Al hacer (a, b) R R k (b, a) 6 < y p q (p, q) se identifican otros subconjuntos de R
muy utiles, pues con a b se hace (a; b) c R k a < c c < b , [a; b] (a; b) {a, b}, [a; b)
(a, b) {a}, (a; b] (a; b) {b}, a quienes respectivamente se les llama intervalo abierto, intervalo
cerrado e intervalos semiabiertos. En estos terminos, para A P(R) se hace (A intervalo) (p, q)
`
| A = (p; q) o A = [p; q] o A = [p; q) o A = (p; q] y se dice que A es intervalo cuando (A intervalo)g.
Para incorporar el ultimo axioma, conocido como el axioma del Supremo, se requieren ciertos antecedentes
vinculados a subconjuntos de los n
umeros reales:
1. Para A P(R) \ {} se hace As q R k a A|a q y en los terminos tradicionales de
s
on, cuando A 6= se dice que A es un conjunto acotado superiormente
presentar una definici
andole un atributo al conjunto A , y a los elementos de As se les llama cotas superiores de A.
asign
ogica lo conveniente es hacer 15 (A acotado superiormenete)
Sin embargo para lograr afinidad con la l
(As 6= ) identificando a la proposici
on hA acotado superiormenetei , y de ello se sigue (As 6= )g a `
(A acotado superiormenete)g.
As A ` S A . (4.5)
Del razonamiento anterior se puede decir que este axioma plantea las condiciones suficientes para que un
nico, ya que A P(R) \ {} As 6= ` A P(R) \ {} debido
subconjunto de R tenga supremo y sea u
a ((1.33); 25), y con (S) y ((1.40); 26) se obtiene A P(R) \ {} As 6= ` A P(R) \ {} S A 6= ,
entonces de ((4.6); 100) se concluye
A P(R) \ {} As 6= ` S A unitario S A = sup(A) . (4.8)
Ai 6= ` I A 6= .
l
on. Se deja al lector, para ello se sugiere utilizar (S) con {p R k a A | a = p}.
Demostraci
En estos terminos es viable obtener un par de resultados que ilustran la naturaleza del supremo e nfimo
de un conjunto.
As 6= ` R+ | a A | sup(A) a < .
on. De ((4.8); 101) se sigue S A = sup(A) en donde S A R de ((2.9); 38) con ((2.5); 36), pues
Demostraci
S A As y As R, luego para R+ se tiene sup(A) R y sup(A) < sup(A), ya que 0 < por lo
cual (sup(A) ) + 0 < (sup(A) ) + debido a (O3), en donde (sup(A) ) + 0 = sup(A) de (S3) y
(sup(A) ) + = sup(A) + ( + ) de (S2), con sup(A) + ( + ) = sup(A) + 0 debido a (S4), por lo tanto
sup(A) < sup(A) de (S3).
`
Ahora, como sup(A) As se sigue p As | sup(A) p de ((2.7); 38), pero de sup(A) sup(A) f se tiene
` `
sup(A) As p As | sup(A) p f debido a ((1.60); 31) con ((1.45); 28), por lo cual sup(A) As f,
`
entonces sup(A) 6 As , y de ((2.7); 38) con ((1.45); 28) se obtiene sup(A) R a A | a sup(A) f,
102 Lo indispensable de la matem
atica formal
` `
luego a A | a sup(A) f, por lo tanto a A | a sup(A) del corolario (1.4.1; 33), es decir
a A | sup(A) < a, concluyendose R+ | a A | sup(A) a < debido a ((1.59); 31), pues de
sup(A) < a se sigue sup(A) a < .
l
De manera similar se demuestra al siguiente teorema y se deja como ejercicio para el lector.
Ai 6= ` R+ | a A | a inf(A) < .
H Es conveniente una pausa para ubicar a R en el mundo algebraico. Cuando un conjunto A con su
suma y producto satisface las propiedades (S1), (S2), (S3), (S4), (P1), (P2) y (SP), se dice que
A es un anillo conmutativo, por lo cual R es un anillo conmutativo.
6 y a A \ {0} b A ` c A | a c = b, entonces A es un
as se tiene A \ {0} =
Si adem
campo algebraico. Luego R es un campo, pues R \ {0} =
6 , y con a R \ {0} y b R se sigue
R | a = 1 debido a (P4) y ((1.59); 31), y con d R y a d = 1 se tiene d = a1 pues
{a1 } = { R | a = 1}, luego a a1 = 1, adem
as 1 b = b 1 de (P1) con b 1 = b de (P3), y como
a1 b R dado que RRR , se obtiene a (a1 b) = (a a1 ) b de (P2), entonces a (a1 b) = b
de (P2) y con ((1.58); 31) se sigue c R | a c = b .
Pero a
un hay m
as, a una relaci
on con las propiedades (O1) y (O2) se le llama orden total, por
lo cual R es un campo algebraico con orden total, es decir un campo algebraico ordenado.
ltimo, para un conjunto A y AAA se dice que A es un grupo algebraico con respecto
Por u
a , cuando 16 , 17
1. a & b & c A | (a b) c = a (b c) .
2. { A k a A | a = a = a} unitario.
en donde se dice, equivocadamente, que la igualdad se mantiene por hacer lo mismo en ambos miembros. . .
Otros ejemplos con planteamientos conceptualmente incorrectos, semejantes a los anteriores, son los siguientes
9
(a R b R) (c R a + c = b) ` a = b c >=
(4.11)
` >
(a R b R) c R \ {0} a c = b ` a = b c1 ;
En la demostraci
on del siguiente teorema se explictan los axiomas utilizados, sin embargo posteriormente
en la mayora de los casos, se deja al lector el reconocimiento de los axiomas requeridos.
1) 1 6= 0 2) 1 = 11 3) 0 = 0 .
Demostraci
on.
1. De (P3) se tiene 1 R \ {0} , luego 1 6 {0} debido a ((2.26); 42) con ((1.45); 28), entonces 1 6= 0 .
2. Como 1 R \ {0} debido a (P3), se sigue 1 11 = 1 de (P4) con ((1.60); 31), en donde 1 11 = 11 1
de (P1) con ((1.60); 31) ya que 11 R, adem
as 11 1 = 11 de (P3) con ((1.60); 31), entonces 1 = 11 .
3. De (S4) con ((1.60); 31) se tiene 0 + (0) = 0, en donde 0 + (0) = 0 + 0 de (S1) y tambien 0 + 0 = 0
debido a (S3) con ((1.60); 31), por lo cual 0 = 0.
104 Lo indispensable de la matem
atica formal
Teorema 4.3.2.
a R|a 0 = 0.
` `
Demostraci on. Para R se tiene 0 = ( 0) + 0 con ( 0) + 0 = ( 0) + + () y ( 0) + + () =
` ` ` `
(0)+ +() , adem
as (0)+ +() = (0)+(1) +() y (0)+(1) +() = ((0+1))+() con
( (0 + 1)) + () = ( 1) + () , y tambien ( 1) + () = + () , luego 0 = 0 y se sigue a R ` a 0 = 0
de ((1.59); 31).
Con (P4) se asegura la existencia y unicidad de los inversos multiplicativos en R \ {0}, mas nada dice al
Corolario 4.3.1.
a R|0 a = 1.
Teorema 4.3.3.
a R \ {0} b R \ {0} ` (a b)1 = a1 b1 .
a = 0 b = 0 a` a b = 0.
Demostraci on. De a = 0 se sigue a b = 0 del teorema (4.3.2; 104), y tambien de b = 0 se tiene a b = 0, luego
`
con (a = 0 y b = 0) o (a = 0 y b 6= 0) o (a 6= 0 y b = 0) se obtiene a b = 0, por lo tanto a = 0 b = 0 ` a b = 0
debido a ((1.1); 17).
Ahora, de (a = 0 b = 0) se tiene a 6= 0 b 6= 0 de ((1.27); 23) y ((1.1); 17), y del teorema (4.3.3; 104) se
sigue R | (a b) = 1, por lo cual (a b) (a b)1 = 1. Pero de a b = 0 se obtiene (a b) (a b)1 = 0
debido al teorema (4.3.2; 104) y ((1.60); 31) pues (a b)1 R, luego (a b) (a b)1 6= 1 ya que 0 6= 1, entonces
(a b) (a b)1 = 1 ` a b 6= 0 debido a ((1.45); 28), por lo tanto a b = 0 ` a = 0 b = 0 de ((1.46); 28).
Mario F. Rosales G. 105
a b 6= 0 ` a 6= 0 b 6= 0 .
Corolario 4.3.3.
a R \ {0} ` a1 R \ {0} .
Teorema 4.3.5.
a R \ {0} | a = (a1 )1 .
Demostraci on. De R \ {0} se sigue 1 R \ {0} debido al corolario (4.3.3; 105), entonces R | 1 =
`
1 de (P4) y ((1.60; 31), y se tiene 1 (1 )1 = 1 , adem as = 1 con 1 = 1 (1 )1 y
`
1 (1 )1 = ( 1 ) (1)1 y tambien ( 1 ) (1)1 = 1 (1)1 en donde 1 (1)1 = (1 )1 1
y (1 )1 1 = (1 )1 , luego de ((1.59); 31) se concluye a R \ {0} | a = (a1 )1 .
Teorema 4.3.6.
` `
a R b R \ {0} c R \ {0} d R \ {0} ` (a/b) (c/d) = (a d) (b c) .
on. Del corolario (4.3.3; 105) se tiene b1 , c1 , d1 R \ {0}, por lo cual (c d1 )1 = c1 (d1 )1
Demostraci
y (b c)1 = b1 c1 debido al teorema (4.3.3; 104), adem as (c d1 )1 = c1 d del teorema (4.3.5; 105), luego
` `
(a b1 ) (c d1)1 = (a b1 ) (c1 d) en donde (a b1 ) (c1 d) = a (b1 (c1 d) con a (b1 (c1 d) =
` ` ` `
a (b1 c1) d y a (b1 c1 ) d = a d (b1 c1 ) en donde a d (b1 c1 ) = (a d) (b1 c1 ) , entonces
(a b1 ) (c d1 )1 = (a d) (b c)1 con (a b1 ) (c d1 )1 = (a/b) (c/d) y (a d) (b c)1 (a d)/(b c) .
1) a = a1 ` a = 1 . 2) a = a ` a = 0 .
Demostraci
on.
1. De a = a1 se sigue 1 = a a1 = a a = a (1 1) = a 1 = a.
Teorema 4.3.8.
a R | a = 1 a .
`
on. De R se tiene + (1 ) = (1 ) + (1 ) y (1 ) + (1 ) = 1 + (1) = 0 ,
Demostraci
luego + (1 ) = 0 debido al teorema (4.3.2; 104) y ((1.60); 31), por lo cual = 1 ya que el inverso
nico, entonces de ((1.59); 31) se concluye a R | a = 1 a.
multiplicativo es u
Teorema 4.3.9.
a & b R | a b = (a b) (a b) = a b .
Teorema 4.3.10.
a R | (a) = a .
Corolario 4.3.4.
a & b R | a b = a b .
`
Demostraci on. De R R se tiene = ( ) y ( ) = ( ) debido al
`
as ( ) = del teorema (4.3.10; 106), luego con ((1.59); 31) se concluye
teorema (4.3.9; 106), adem
a & b R | a b = a b .
19
Teorema 4.3.11.
` `
(a R c R) b R \ {0} d R \ {0} ` (a /b) + (c /d) = (a d) + (b c) (b d) .
` `
Demostraci on. Dado que (a /b) + (c /d) = (a b1 ) + (c d1) y (a b1 ) + (c d1 ) = (a b1 ) 1 + (c d1 ) 1
` ` ` ` ` `
con (ab1 )1 + (cd1)1 = (ab1 )(dd1) + (cd1)(bb1 ) y (ab1 )(dd1) + (cd1)(bb1 ) =
` ` 1 ` ` ` ` ` ` ` `
a b (d d1) + c d1 (b b1 ) , en donde a b1 (d d1) + c d1 (b b1 ) = a b1 (d1 d) +
` ` 1 ` ` ` ` ` ` ` `
c d (b1 b) con a b1 (d1 d) + c d1 (b1 b) = a (b1 d1 ) d + c (d1 b1 ) b y
` ` 1 1 ` ` 1 1 ` ` ` ` ` `
a (b d ) d + c (d b ) b = a d (b1 d1 ) + c b (d1 b1 ) , y adem as a d (b1 d1 ) +
` ` ` ` ` `
c b (d1 b1 ) = (a d) (b1 d1 ) + (c b) (d1 b1 ) con (a d) (b1 d1 ) + (c b) (d1 b1 ) =
` ` ` ` `
(a d) (b1 d1 ) + (c b) (b1 d1 ) y (a d) (b1 d1 ) + (c b) (b1 d1 ) = (a d) + (c b) (b1 d1 ) , en
` ` `
donde (ad)+(cb) (b1 d1 ) = (ad)+(cb) (bd)1 del teorema (4.3.3; 104), y como (ad)+(cb) (bd)1 =
` `
(a d) + (c b) /(b d) se obtiene finalmente (a /b) + (c /d) = (a d) + (c b) /(b d).
19 Frecuentemente se asocia con n
umeros enteros, por lo que se le conoce como la regla de la suma de fracciones.
Mario F. Rosales G. 107
a + b 6= 0 ` (a = 0 b = 0) f .
`
Demostraci on. De (a = 0 b = 0) se sigue a = 0 b = 0 debido a ((1.4; 19), luego a + b = 0 en donde
`
(a+ b = 0) = (a+ b 6= 0) , por lo cual (a = 0 b = 0) ` (a+ b 6= 0) , entonces a+ b 6= 0 ` (a = 0 b = 0)
de ((1.45); 28) con (a = 0 b = 0) = (a = 0 b = 0)f de ((1.4; 19).
a a = b b a ` a = b a = b .
on. De b < 0 se sigue b < 0 a a debido a ((1.40); 26) ya que a a , luego a + b < a + 0 del
Demostraci
teorema (4.3.14; 107), por lo tanto a + b < a .
a < b c d ` a d < b c.
Teorema 4.3.16.
1) c R+ | c R 2) c R | c R+ .
on. De R+ se tiene < 0 debido al teorema (4.3.15; 107), en donde 0 = 0 del teorema
Demostraci
(4.3.1; 103), luego R , por lo tanto c R+ ` c R de ((1.59); 31).
Ahora, para R se tiene 0 < del teorema (4.3.15; 107), luego 0 < del teorema (4.3.1; 103), por lo
cual R+ , concluyendose c R | c R+ de ((1.59); 31).
c R+ a = b + c ` b < a .
on. De 0 < c se sigue c < 0 del teorema (4.3.15; 107), luego (b + c) c < (b + c) 0 , entonces
Demostraci
b + (c c) < b + c , por lo cual b < a ya que a = b + c .
c R a < b ` b c < a c .
Demostraci on. De c < 0 se tiene 0 < c de los teoremas (4.3.15; 107) y (4.3.1; 103), luego a c < b c , por
` `
lo cual (a c) < (b c) , entonces (b c) < (a c) debido al teorema (4.3.15); 107), y del teorema
(4.3.10); 106) se concluye b c < a c .
Teorema 4.3.19.
a R \ {0} | (a a) R+ .
on. Para 6= 0 se tiene 0 < o < 0 debido a (O1), y de 0 < se sigue 0 < de (O4)
Demostraci
y ((1.59); 31), luego 0 < ( ) del teorema (4.3.2; 104) y ((1.59); 31), por lo cual ( ) R+ de ((4.2); 99) y
((2.7); 38), y con < 0 se sigue R de ((4.2); 99) y ((2.7); 38), entonces R+ del teorema (4.3.16; 108),
luego 0 < debido a ((4.2); 99) y ((2.7); 38), y de (O4) y ((1.59); 31) se obtiene 0 < , por lo cual
0 < del teorema (4.3.2; 104) y ((1.59); 31), en donde = del teorema (4.3.4; 106), entonces
( ) R+ nuevamente de ((4.2); 99) y ((2.7); 38). Por lo tanto a R \ {0} | (a a) R+ de ((1.59); 31).
Teorema 4.3.20.
a R|b R|a < b.
on. Para R se tiene 0 + < 1 + de ((4.12); 109), luego < 1 + y se sigue b R | < b
Demostraci
de ((1.58); 31), por lo tanto a R | b R | a < b de ((1.59); 31).
`
Teorema 4.3.22. Sean a R+ {0} c R+ {0} (b R d R) .
on. De 0 a y a < b se sigue 0 < b, luego b R+ , por lo cual b c < b d pues c < d. Adem
Demostraci as,
dado que c R+ {0} , para c R+ se tiene a c < b c pues a < b , y con c = 0 del teorema (4.3.2; 104) se
obtiene a c = 0 y b c = 0 , por lo cual a c = b c .
21
Teorema 4.3.23. Sean a R b R.
1) a R+ b R+ ` a b R+ 2) a R b R ` a b R+ 3) a R+ b R ` a b R .
Demostraci
on.
Teorema 4.3.24.
1) a R+ | a1 R+ 2) a R | a1 R .
Demostraci on. Para R \ {0} se tiene 1 = 1 , luego ( 1 ) R+ \ {0} debido a ((4.12); 109), por lo
`
cual ( 1) 6 R es decir 1 R ), y del tercer inciso del teorema (4.3.23; 109) con ((1.45); 28) se sigue
( R+ 1 R ), entonces 6 R+ 1 6 R de ((1.27); 23) y ((1.1); 17). Por lo tanto, de R+ se
obtiene 1 6 R debido a ((1.1); 17), luego 1 R+ {0} , pero 1 R \ {0} del corolario (4.3.3); 105) se
tiene 1 R+ , y de ((1.59); 31) se concluye a R+ | a1 R+ . La otra demostraci
on es similar y se deja al
l
lector como ejercicio.
Teorema 4.3.25.
`
(a R+ b R+ ) 0 (a R b R ) a < b ` b1 < a1 .
on. De (a R+ b R+ ) 0 (a R b R ) se sigue (a R+ b R+ ) o (a R b R )
Demostraci
de ((1.1); 17), luego para a R+ b R+ y a < b se tiene a1 R+ b1 R+ del teorema (4.3.24; 110), por
lo cual (a1 b1 ) R+ debido al primer inciso del teorema (4.3.23; 109), entonces (a1 b1 ) a < (a1 b1 ) b
en donde (a1 b1 ) a = (b1 a1 ) a y (b1 a1 ) a = b1 (a1 a) con b1 (a1 a) , adem
as (a1 b1 ) b =
a1 (b1 b) y a1 (b1 b) = a1 1 , por lo cual b1 < a1 , y con a R b R y a < b se sigue
a1 R b1 R del teorema (4.3.24; 110), luego (a1 b1 ) R+ nuevamente del teorema (4.3.23; 109),
entonces (a1 b1 )a < (a1 b1 )b de (O4) con ((1.60); 31) y se obtiene b1 < a1 (vease desarrollo anterior).
`
a < b ` a + 21 (b a) (a; b) (a; b) 6= .
Demostraci on. De a < b se sigue 0 < b a, por lo cual b a < 2 (b a) , y como 21 R+ debido
`
a ((4.12); 109) y el teorema (4.3.24; 110), se tiene 21 (b a) < b a , entonces a + 21 (b a) < b ,
`
ademas del teorema (4.3.23; 109) se infiere 0 < 21 (b a) , obteniendose a < a + 21 (b a) , por lo tanto
` ` `
a < a + 21 (b a) a + 21 (b a) < b , luego a + 21 (b a) (a; b) de ((2.7); 38), y con ((2.61); 49)
se concluye (a; b) 6= .
4.4. N
umeros naturales
n N | 1 = n + 1, n N | (n + 1) N, (m N n N) m < n ` (n m) N
N R, 1 N, (4.13)
22 Con la presentaci
on constructiva de von Neumann de N se precinde de su caracter axiom
atico, pues son demostrables.
Mario F. Rosales G. 111
estableciendo que pueden concebirse como una cadena sin bifurcaciones por ser +R funci
on. Aparentemente no
es posible identificar a N con el axioma de especificaci
on, aun cuando se plantee N R, y esto presenta dificultades
pues se debe complementar el planteamiento con la siguiente regla de inferencia:
Teorema 4.4.1.
A P(N) \ {} ` {q A k a A | q a} unitario .
Teorema 4.4.2.
n N|1 n.
on. Del segundo axioma de ((4.13); 110) y ((2.61); 49) se tiene N 6= , adem
Demostraci as N P(N) debido a
((2.44); 45), luego N P(N) \ {} del teorema (2.3.8; 54) con ((1.40); 26), entonces q N | n N | q n de
((4.14); 111). Ahora, para N y n N | n y 6= 1 se sigue N \ {1}, por lo cual 1 N del quinto
axioma de ((4.13); 110), luego 1, obteniendo 0 1 , pero del teorema (4.3.16; 108) y ((4.12); 109) se
sigue 1 < 0, por lo cual = 1 de ((1.45); 28), concluyendose n N | 1 n.
Como consecuencia inmediata de este teorema para m N se tiene 0 < m ya que 0 < 1 y 1 m de
as m R debido al primer axioma de ((4.13); 110), luego m R+ de ((2.7); 38) con ((1.40);
((1.60); 31), adem
26) y ((4.2); 99), por lo cual n N | m R+ debido a ((1.59); 31) y se obtiene
N R+ (4.15)
y tambien, al identificar al conjunto m (lease m barra) con m N haciendo m pN kp m se sigue
1 m del teorema (4.4.2; 111) con ((1.60); 31) y ((2.7); 38), luego m = {1, ... , m}, adem
as m 6= debido a
((2.61); 49), y de ((1.59); 31) con ((1.40); 26) se infiere
n N | 1 n n 6= (4.16)
y es conveniente hacer N {A P(N) k n N | A = n}. Pero como se tiene 0 6 N debido al teorema (4.4.2;
a necesario, por ello se hace 0 llam
111) y ((1.45); 28) no se ha identificado 0 y posteriormente ser andolo cero
barra.
Demostraci on. De a < b se sigue a b < 0, luego (a + 1) b < 1, por lo cual (a + 1) b 6 N del teorema (4.4.2;
`
111) y ((1.60); 31) con ((1.45); 28), entonces de (a + 1) b N se obtiene b a debido a ((1.45. Adem as, de
`
b < (a + 1) se tiene (a + 1) b N del quinto axioma de ((4.13); 110), por lo tanto de ((1.46); 28) se concluye
a < b ` a + 1 b . Ahora como de ((4.12); 109) se infiere a < a + 1 , entonces de a + 1 b se sigue a < b .
Lema 4.4.1.
n N \ {1} ` m n \ {1} | m 1 n .
on. Para p n \ {1} se tiene p n y p 6 {1} de ((2.24); 42) y ((1.60); 31), luego p n y p N
Demostraci
debido a ((2.7); 38), por lo cual p N \ {1} de ((1.40); 26), entonces p 1 N del quinto axioma de ((4.13); 110)
as p 1 n 1 y n 1 < n ya que 1 < 0 del teorema (4.3.16; 108) y ((4.12); 109), por lo
y ((1.60); 31), adem
tanto p 1 < n p N de ((1.40); 26) y de ((2.7); 38) se sigue p 1 n , entonces m n \ {1} | m 1 n
debido a ((1.59); 31).
Proposici
on 4.4.1. (Inducci atica finita) Sean A P(N) y n N .
on matem
1 A m n 1 A|m + 1 A ` n A.
Pero 1 < debido a ((4.12); 109) y ((4.2); 99) con ((2.7); 38), luego 1 6 B de ((1.60); 31) y
((1.45; 28), por lo cual 1 A de ((2.7); 38) y ((1.45; 28), obteniendo 1 n 1 A debido a
((2.30); 42), y como = ( 1) + 1 se concluye m n 1 A | m + 1 6 A de ((1.58); 31), por lo tanto
1 A m n 1 A | m + 1 A ` n A de ((1.45); 28) y el corolario (1.4.1; 33).
on. Para n N se tiene n A, y como n n se sigue n n debido a ((2.7); 38) y ((1.40); 26),
Demostraci
luego n A de ((2.2); 36), por lo cual N A nuevamente de ((2.2); 36), adem
as A N de ((2.41); 45), por lo
tanto A = N debido a ((2.11); 39) con ((1.40); 26).
Mario F. Rosales G. 113
1 A m A|m + 1 A ` A = N.
En los siguientes teoremas se identifican comportamientos que provienen del axioma del supremo, en los
que se ilustra su trascendencia, tal como la propiedad arquimideana de R que se enuncia en el siguiente teorema.
R+ R+ ` n N | < n .
`
on. De n N | < n se sigue m N | m debido al corolario (1.4.1; 33), y con
Demostraci
A {q R k n N | q = n } se tiene A 6= , ya que = 1 y 1 N de ((4.13); 110), por lo cual R y
n N | = n debido a ((1.58); 31), entonces A de ((1.40); 26) y ((2.7); 38), luego A 6= de ((2.61); 49).
Ahora, para A se sigue p N y = p , entonces de ((1.60); 31), obteniendose a A | a debido
a ((1.59); 31), y como R de ((2.7); 38) se concluye As , por lo tanto As 6= de ((2.61); 49) y del axioma
(S) se sigue S A 6= , en donde S A { As k q As | q}.
De q As | q < sup(A) con As y < sup(A) se tiene < sup(A) del corolario (4.3.5; 107)
` `
pues R , luego q As | sup(A) q , por lo cual q As | sup(A) q debido al corolario
(1.4.1; 33), entonces sup(A) 6 S A de ((2.7); 38) y ((1.45); 28), luego S A 6= sup(A) y de ((4.6); 100) con
((1.45); 28) se tiene S A = .
114 Lo indispensable de la matem
atica formal
Por lo tanto R+ R+ S A 6= ` S A = , y de ((1.27); 23) con ((1.45); 28) y ((1.1); 17) se sigue
`
as se tiene n N | < n ` S A 6= , por lo cual R+ R+ `
S A 6= ` 6 R+ 6 R+ , adem
n N | < n debido a ((1.46); 28).
on. De ((4.12); 109) se tiene 1 R+ , luego n N | 1 < n a del teorema (4.4.4; 113).
Demostraci
on. Dado que 1 R+ de ((4.12); 109), se sigue m N y a < m 1 del teorema (4.4.4; 113), luego
Demostraci
n N | a < n debido a ((1.58); 31) con ((1.40); 26).
Teorema 4.4.5.
n Z | n Z+ .
Teorema 4.4.6.
m & n N|m n N.
l
Demostraci
on. El lector puede proceder con una demostraci
on similar a la del siguiente lema.
Lema 4.4.3.
m & n N|m + n N.
Mario F. Rosales G. 115
Lema 4.4.4.
a R|p & q N| p < a < q .
on. Para R se tiene R+ o R {0} debido a ((4.3); 99), y con R {0} se tiene
Demostraci
0 de ((2.17); 40) y ((4.2); 99), por lo cual < 1 debido a ((4.12); 109), en donde 1 N del segundo axioma
de ((4.13); 110), y para R+ se sigue n N | < n del corolario (4.4.3; 114), luego a R | n N | a < n .
Entonces para R se sigue n N | < n y n N | < n de ((1.60); 31), y con k N m N
y < k y < m se obtiene m < () del teorema (4.3.15; 107), por lo cual m < < k debido al
teorema (4.3.10; 106), luego p & q N | p < < q de ((1.58); 31) y ((1.40); 26), y de ((1.59); 31) se concluye
a R|p & q N| p < a < q .
Lema 4.4.5.
m & n N|m n Z.
Teorema 4.4.7.
a R|p Z|p 1 a < p.
on. Para R se tiene p & q N | p < < q del lema (4.4.4; 115), y con r N s N y
Demostraci
r < < s se considera A {n N k < n r}, luego s + r A de ((2.7); 38), pues del lema (4.4.3; 114) se
tiene s + m N, por lo cual A P(N) \ {} debido a ((2.9); 38) y ((2.61); 49) con el teorema (2.3.8; 54) y ((1.40);
26), entonces q A | a A | q a de ((4.14); 111), y de A y a A | a se obtiene < r debido
as 1 6 A de ((1.60); 31) y ((1.45; 28), ya que 1 < . Ahora, dado que N se sigue
a ((2.7); 38), adem
N \ {1} o {1}, entonces de {1} se tiene = 1 , luego r < < 1 r en donde r = (1 r) 1,
y para N \ {1} se sigue 1 N del quinto axioma de ((4.13); 110), por lo cual ( 1) r debido
a ((2.7); 38) con ((1.40); 26) y ((1.45; 28), pues 1 6 A, luego ( r) 1 < r. Por lo tanto, como
`
( r) Z ( r) 1 Z del lema (4.4.5; 115), se obtiene p Z | p 1 < p, y de ((1.59); 31) se concluye
a R | p Z | p 1 a < p.
116 Lo indispensable de la matem
atica formal
on. De a < b se sigue 0 < b a, por lo cual (b a) R+ de ((4.2); 99) y ((2.7); 38) con ((1.40);
Demostraci
26), luego n N | 1 < n (b a) debido al corolario (4.4.3; 114), y para k N y 1 < k (b a) se tiene
p Z | p 1 k a < p del teorema (4.4.7; 115), luego con z Z y z 1 k a < z se obtiene (k a) + 1 < k b
y z (k a) + 1 y k a < z, entonces k a < z < k b, en donde z k1 Q y k1 R+ del teorema (4.3.24;
110), por lo tanto a < z k1 < b, y se concluye q Q | a < q < b.
on. De R+ se sigue a < a < a + del corolario (4.3.5; 107) y el teorema (4.3.14; 107),
Demostraci
luego q Q | a < q < a del corolario (4.4.4; 116), y con Q y a < < a se tiene a < < a + ,
luego (a ; a + ), entonces q Q | q (a ; a + ) debido a ((1.58); 31), y con ((1.59); 31) se obtiene
r R+ | q Q | q (a r; a + r).
Teorema 4.4.8.
m & n Z|m + n Z m n Z.
l
Demostraci
on. Aunque laborioso, se deja como ejercicio para el lector.
Teorema 4.4.9.
n N \ {1} | n 1 6= .
on. De m N \ {1} se tiene m N m 6= 1 , luego 1 m debido al teorema (4.4.2; 111) con ((1.60);
Demostraci
as m 1 Z del teorema (4.4.8; 116), por lo cual m 1 N
31), entonces 1 < m y se sigue 0 < m 1 , adem
y se infiere m 1 6= de ((4.16); 111) con ((1.60); 31), obteniendose n N \ {1} | n 1 6= de ((1.59); 31).
Las matem
aticas, cuando se las comprende bien,
poseen no solamente la verdad, sino tambien la suprema belleza. 23
23 Bertrand Russell.
Captulo 5
Henri Poincare
Para la identificaci
on de funciones, se introdujo al proceso invocativo de funciones (p
ag.69), y ahora con el
smbolo incompleto sobre y la inducci
on matem
atica, se puede ampliar la identificaci
on de funciones incorporando
al proceso invocativo de funciones por inducci
on.
5.1. Recurrencia
En la siguiente proposici
on, que es original, se ejemplifica el uso de la inducci
on matem
atica finita, en donde
se enuncia la existencia de una sucesi
on finita cuyo alcance es muy amplio y emana de la presentaci
on funcional
adoptada, pues permite la identificaci
on de vnculos insospechados que hacen muy poderosa a la proposici
on.
`
on. Con A = {a} basta considerar a G IA dae I j para inferir la tesis de la proposici
Demostraci on, luego
para lo que sigue se invoca a A 6= {a} , por lo cual se tiene A \ {a} =
6 ya que a A .
` ` `` `
De L (AA) j1 y con H I j p1 j1A + d1e L p1 j1A 4 p2 j1A y C B P j A
117
118 Lo indispensable de la matem
atica formal
`
k (1, a B B j 1 A | [H ]() B se sigue H ( j A) j1A y tambien j A C,
` `
dado que j A P j A (1, a) j A y adem as como para j i A se tiene [H]() = [](1) +
` ` ` `
1, L] [](1) [](2) j A , entonces j A j 1 A | [H]() j A debido a ((1.59); 31) pues
` `
j 1 A = j A j 1 A , luego j A C de ((2.7); 38).
Ahora con M j A k C se tiene (1, a) M , ya que (1, a) j A y j A C , luego
C | (1, a) debido a ((1.58); 31), por lo cual (1, a) C de ((2.18); 40), y con C se sigue (1, a)
de ((2.7); 38), entonces C | (1, a) debido a ((1.59); 31), obteniendo (1, a) C de ((2.30); 42), y con
as de M ( j 1A) se infiere C de ((2.7); 38) y j 1A
((2.7); 38) se concluye (1, a) M . Adem
debido a ((2.34); 43), luego B C | B de ((2.30); 42), por lo cual de C se sigue debido a ((1.60);
` `
31), entonces j 1 A nuevamente de ((2.34); 43) y tambien j 1 A | [H]() de
((2.7); 38), obteniendose [H]() debido a ((1.60); 31), por lo tanto B C | [H]() B de ((1.59); 31), luego
[H]() C de ((2.30); 42), entonces [H]() M de ((2.7); 38) ya que [H]() j A , y con ((1.59); 31) se
`
concluye M ( j 1 A) | [H]() M , por lo tanto M C de ((2.7); 38) dado que M P j A debido
a ((2.9); 38) y ((2.41); 45).
`
Tambien se tiene M A j y para demostrarlo se considera a S k j k q A | (k, q) M b A \
{q} | (k, b) 6 M . En efecto, de A \ {a} se sigue M \ (1, ) C debido a ((2.7); 38), pues (1, a)
` ` `
M \ (1, ) y M \ (1, ) j 1 A | [H]() M \ (1, ) , ya que con (i, ) M \ (1, )
` `
j 1 A se tiene [H](i, ) = i+1, [L](i) () , luego (1, ) 6= [H](i, ), ademas [H](i, ) M debido a ((2.7);
` `
38) y ((1.60); 31) pues M C , por lo cual [H](i, ) M \ (1, ) , entonces M \ (1, ) j 1
A | [H]() M \ (1, ) de ((1.59); 31), obteniendose M \ (1, ) C de ((2.7); 38) dado que M \ (1, )
`
P j A . Y como de M se tiene B C | B debido a ((2.7); 38) y ((2.30); 42), entonces M \ (1, )
de ((1.60); 31), luego M | M \ (1, ) debido a ((1.59); 31), por lo cual M M \ (1, ) de ((2.2);
36), obteniendose M = M \ (1, ) , luego (1, ) 6 M , por lo tanto b A \ {a} | (1, b) 6 M de ((1.59); 31),
`
entonces q A | (1, q) M b A \ {q} | (1, b) 6 M debido a ((1.40); 26) y ((1.58); 31) ya que (1, a) M ,
concluyendose 1 S de ((2.7); 38).
`
Ahora para m S j 1 se sigue q A | (m, q) M b A \ {q} | (m, b) 6 M debido a ((2.7);
` `
38), luego con A (m, ) M b A \ {} | (m, b) 6 M se tiene H (m, ) M y H (m, ) =
` `
m+1, [L](m) () de ((1.60); 31), ya que (m, ) M j 1A y M C , ademas con A \ [L](m) ()
` `
y (k, p) M \ (m + 1, ) j 1 A se presentan dos casos:
` ` `
(k, p) M j 1 A , entonces H (k, p) M de ((2.7); 38) pues M C, y como H (k, p) =
` ` `
k + 1, [L](k) (p) se obtiene H (k, p) 6= (m + 1, ) , luego H (k, p) M \ (m + 1, ) .
`
Por lo tanto M \ (m + 1, ) j 1 A | [H]() M \ (m + 1, ) de ((1.59); 31), y (1, a) M \ (m +
`
1, ) dado que (1, a) M y m + 1 6= 1 , y como M \ (m + 1, ) P j A se concluye M \ (m + 1, ) C
de ((2.7); 38). Pero M M \ (m + 1, ) debido a ((2.32); 43), luego M = M \ (m + 1, ) de ((2.11); 39) pues
M \ (m+1, ) M , entonces (m+1, ) 6 M y de ((1.59); 31) se sigue b A \ [L](m) () | (m+1, b) 6 M ,
` `
por lo cual q A | (m+1, b) M b A \ {q} | (m+1, b) 6 M de ((2.7); 38) ya que m+1, [L](m) () M
y [[L](m) () A , obteniendose m + 1 S de ((2.7); 38), por lo tanto n S j 1 | n + 1 S debido a ((1.59);
on (4.4.1; 112) se concluye j S .
31) y de la proposici
`
Entonces para m j se sigue q A | (m, q) M b A \ {q} | (m, b) 6 M de ((2.7); 38), luego q
A | (m, q) M de la proposici
on (1.4.4; 33) y ((1.33); 25), entonces m DM y de ((2.7); 38) se tiene n j | n
DM , por lo cual j DM obteniendo DM = j de ((2.11); 39) ya que DM j. As mismo, de (k, ) M se
sigue q A | b A \ {q} | (k, b) 6 M de ((2.7); 38) y nuevamente de la proposici
on (1.4.4; 33) pues k j ,
y con A y b A \ {} | (k, b) 6 M se tiene A \ {} ` (k, ) 6 M , luego 6 A \ {} de ((1.45);
28) ya que (k, ) M , y como A se obtiene = , entonces b A \ {} | (k, b) 6 M , por lo tanto
`
(l, ) M | b A \ {} | (l, b) 6 M debido a ((1.59); 31), y como M P j A de ((3.5); 65) se concluye
M A j.
` `
Ahora dado que M A j , para n j 1 se tiene n, [M ](n) M j 1 A , y como M C se sigue
` `
(1, a) M M j 1 A | [H]() M debido a ((2.7); 38), luego H n, [M ](n) M de ((1.60);
` ` `
31), por lo cual n + 1, [L](n) [M ](n) M , es decir [M ](n + 1) = [L](n) [M ](n) en donde [M ](n + 1) =
` ` `
M I j1 + d1e (n) y tambien [L](n) [M ](n) = (L 4 M ) I j1 (n), entonces m j 1 | M I j1 +
`
d1e (m) = (L 4 M ) I j1 (m) debido a ((1.59); 31), obteniendose M I j1 + d1e = (L 4 M ) I j1 de ((3.15);
`
68), por lo tanto G A j | (1, a) G G I j 1 + d1e = (L 4 G) I j 1 debido a ((1.58); 31).
`
Finalmente con L R A j k (1, a) R R I j1 + d1e = (L 4 R) I j1 y de L L se considera
S k j k [](k) = [](k) , teniendose 1 S debido a ((2.7); 38) pues [](1) = a [](1) = a . Adem
as, para
` `
m j 1 S se sigue [](m + 1) = L [](m) y [](m + 1) = L [](m) , luego [](m + 1) = [](m + 1)
nuevamente de ((2.7); 38), por lo cual m + 1 S tambien de ((2.7); 38), entonces n j 1 S | n + 1 S
on (4.4.1; 112) se obtiene j S , luego i j | [](i) = [](i) debido a ((2.8);
de ((1.59); 31), y de la proposici
38), concluyendose = de ((3.15); 68). Por lo tanto S & T L | S = T debido a ((1.59); 31), y de
`
((3.3); 64) se sigue ! G A j | (1, a) G G I j1 + d1e = (L 4 G) I j1 , y de ((1.59); 31) se concluye
`
F (AA ) j1 | ! G A j | (1, a) G G I j1 + d1e = (F 4 G) I j1 .
`
F (AA ) N | ! G A N | (1, a) G G IN + d1e = F 4 G.
120 Lo indispensable de la matem
atica formal
Demostraci
on. Similar a la dada en la proposici
on (5.1.1; 117).
Demostraci on. Con H AA se tiene dHe IN (AA ) N , luego del corolario (5.1.1; 119) se obtiene ! G
` `
A N | (1, a) G G IN + d1e = dHe IN 4 G , y como G = G IN de ((3.30); 78) y ((3.53); 88) se sigue
`
! G A N | (1, a) G G IN + d1e = (H G) IN en donde (H G) IN = H G , y de ((1.59); 31) se obtiene
`
F AA | ! G A N | (1, a) G G IN + d1e = F G .
Corolario 5.1.3.
`
a R | ! G RN | (1, a) G G IN + d1e = dae G .
` `
Demostraci on. Dado que dae IR RR , se tiene ! G RN | (1, a) G G IN + d1e = dae IR G debido
`
al corolario (5.1.2; 120), en donde dae IR G = dae G.
5.2. Potenciaci
on de funciones
Este tema tradicionalmente se soslaya a pesar de su importancia 1 o se considera tardamente por sus
antecedentes, por esto y por constituir una aplicaci
on del material presentado ahora se desarrolla, a
un cuando s
olo
on R (a, ) R
se tratan algunos aspectos relevantes. Para ello se considera la relaci
` `
R N k (1, a) IN + d1e = dae , y como de R se tiene ! G RN | (1, ) G G IN +d1e =
`
de G debido al corolario (5.1.3; 120) y ((1.60); 31), y con RN (1, ) IN + d1e = de se
sigue (, ) R de ((2.7); 38), luego ! RN | (, ) R debido a ((1.58); 31), por lo cual a R | !
RN | (a, ) R de ((1.59); 31), entonces de ((3.4); 64) y ((3.1); 64) se concluye 2 R (RN )R , a la cual aqu se le
on potencia en R .
llama funci
Ademas, para a R se tiene R 4 d1e (a) = [R ](a) (1) y [R ](a) (1) = a con a = [IR](a) , tambien
R
IN + d1e (a) = [R ](a) (IN + d1e) y [R ](a) (IN + d1e) = dae [R](a) con dae [R](a) = bIR c R (a),
entonces p R | R 4 d1e (p) = [IR](p) y p R | R
IN + d1e (p) = bIR c R (p) de ((1.59); 31), y con
((3.15); 68) se obtiene
R 4 d1e = IR y R
IN + d1e = bIRc R (5.1)
l
luego de n N se sigue [R](a) (n + 1) = a R [R ](a) (n) , y de este comportamiento el lector puede demostrar
1 Se identifica de manera algebr
aica, pero tambi
en puede hacerse con las funciones exp y ln ([9] p
ag. 606).
2 Como aplicaci
on importante de R se tiene a la representaci
on decimal (v
ease p
ag. 149).
Mario F. Rosales G. 121
R id (N) N . (5.2)
`
[R ](3/2) I 9
Con el superndice se distinguen
las curvas de las funciones
` N
4 bIN c R R
Al hacer P dR e
resulta ser la funci
on dual (vease p
ag. 90) de R , y se tiene
`
(1, IR ) P y P IN + d1e = dIR e P (5.3)
2
` 2
IR I[3,95; 3,95]
`
IR I[12; 12]
`
IR0 I[12; 12]
1
`
IR3 I[2,5; 2,5]
122 Lo indispensable de la matem
atica formal
`
en donde 3 IRim (a, ) R \ {0} R k = aim R (R
R \ {0})
, por lo cual con el corolario (4.3.3; 105)
se sigue
RI im = R \ {0} (5.4)
R
` ii `
n N | IRn R \ {0} = R \ {0} (5.5)
(n+1)
IR1 = IR y n Z+ | I R = IR IRn y IR1 = IRim y n Z | IRn = IRim IRn . (5.6)
Teorema 5.2.1.
(n+1)
n Z+ {0} | IR = IR IRn .
(0+1)
Demostraci
on. Dado que IR = IR1 y IR1 = IR de ((5.6); 122), adem
as IR IR0 = IR (d1eIR ) y IR (d1eIR ) =
(0+1) (k+1)
IR , se sigue IR = IR IR0 , entonces para k Z+ {0} se tiene IR = IR IRk de ((5.6); 122) con ((1.60);
(n+1)
31), por lo tanto n Z+ {0} | IR = IR IRn debido a ((1.59); 31).
` 3
IR I[0,01; 2,45]
` ` 2
IR2 I[16; 0,26] IR I[0,26; 16]
1
`
IR1 I[16; 0,07]
` 3
IR I[2,45; 0,01]
a R | a0 = 1 a1 = a y a R \ {0} | 1/ a1 = a1 . (5.7)
pues para b R se tiene b0 = [IR 0 ](b) y [IR 0 ](b) = d1e IR (b) con d1e IR (b) = d1e (b) y d1e (b) = 1, por
lo cual a R | a0 = 1 debido a ((1.59); 31), tambien b1 = [IR1 ](b) y [IR1 ](b) = [IR](b) con [IR ](b) = b , luego
a R | a1 = a de ((1.59); 31). An
alogamente, de b R \ {0} se sigue 1/b1 = 1/b del inciso anterior y ((1.60);
31) en donde 1/b = b1 , entonces a R \ {0} | 1/ a = a1 debido a ((1.59); 31).
on. De 1 < n se sigue a an1 debido al teorema (5.2.2; 123) pues n 1 N 1 < a , luego
Demostraci
1 an1 .
1 < a ` a < an .
on. Del teorema (5.2.2; 123) se tiene a an1 , luego a a a an1 con a an1 = an debido al
Demostraci
as a < a a pues 1 < a , entonces a < an .
teorema (5.2.1; 122) y ((1.60); 31), adem
Lema 5.2.1.
n Z | 1n = 1 .
Para k Z se tiene 1k = 1 debido a ((2.7); 38) dado que k Z+ del teorema (4.4.5; 114), adem
as
1k = [IRk ](1) y [IRk ](1) = [IRim IRk ](1) de ((5.6); 122) con [IRim IRk ](1) = (1k )im , y como 1k 1k = 1k 1,
se sigue 1 = 1k , entonces n Z | 1n = 1 de ((1.59); 31), por lo tanto n Z | 1n = 1 ya que 10 = 1 de ((5.7);
123).
Teorema 5.2.4.
n Z | (IR0 )n = IR0 .
Demostraci on. Con j Z se tiene (IR0 )j = IRj IR0 , luego para R se sigue (IR0 )j () = [IRj ](1) y
[IRj ](1) = 1j con 1j = 1 del lema (5.2.1; 124) y ((1.60); 31), ya que [IR0 ]() = d1e IR () = 1 , entonces
a R | (IR0 )j (a) = [IR0 ](a) debido a ((1.59); 31), por lo tanto (IR0 )j = IR0 de ((3.15); 68) y se concluye
n Z | (IR0 )n = IR0 de ((1.59); 31).
Lema 5.2.2.
(n+m) (n+m)
1) n & m Z+ {0} | IRn IRm = IR 2) n Z m Z ` IRn IRm = IR IR \ {0} .
4 uedad notacional con IRn , dado que da lugar a otro razonamiento para IRn = IR IRn , sin embargo
Se presenta una ambig
no tiene mayores consecuencias y no amerita introducir una distinci
on.
Mario F. Rosales G. 125
(i+l)
on. Para i Z+ {0} se considera 5 Si {l N k IRi IRl = IR
Demostraci }, luego de ((2.7); 38) se sigue
i (i+1)
1 Si , pues I IR1 = IRi IR y IRi IR = IR debido al teorema (5.2.1); 122) con ((1.60); 31), y para k Si se
tiene IRi IRk+1 = IRi (IRk IR1 ) con IRi (IRk IR1 ) = (IRi IRk ) IR nuevamente de ((5.6); 122) y ((1.60); 31), luego
(k+1) (i+k) (k+1) (i+(k+1))
IRi IR = IR IR de ((2.7); 38), por lo cual IRi IR = IR tambien de ((1.60); 31), entonces
k + 1 Si de ((2.7); 38), obteniendose j Si | (j + 1) Si , por lo tanto Si = N debido al corolario (4.4.1; 113),
(i+m) (i+0)
luego m N | IRi IRm = IR de ((2.15); 40). Ahora, dado que IRi IR0 = IRi (d1e IR ) = IRi y IRi = IR ,
(i+k) (i+m)
+
para k Z {0} se tiene IRi IRk = IR debido a ((1.60); 31), entonces m Z {0} | +
IRi IRm = IR
(n+m)
de ((1.59); 31), concluyendose n & m Z {0} | +
IRn IRm = IR nuevamente de ((1.59); 31). La regla de
l
inferencia faltante se deja al lector.
on. Dado que para j Z+ {0} k Z+ {0} se tiene f j f k = (IRj f ) (IRk f ) y (IRj
Demostraci
(j+k)
f ) (IRk f ) = (IRj IRk ) f , se sigue f j f k = IR f = f (j+k) debido al lema (5.2.2; 124), por lo cual
n & m Z + {0} | f n f m = f (n+m) de ((1.59); 31). Ahora, para n Z m Z se tiene f n f m =
(IRn f ) (IRm f ) = (IRn IRm ) f = (IR
(n+m)
IR \ {0} ) f = IR
(n+m)
f If ii(R \ {0} = f (n+m) I ` .
f ii R \ {0}
n Z | (f g)n = f n gn .
on. Con S n N k (f g)n = f n gn se tiene (f g)1 = IR1 (f g) = IR (f g) = f g y
Demostraci
f 1 g1 = (IR1 f ) (IR1 g) = (IR f ) (IR g) = f g debido a ((5.6); 122), luego 1 S de ((2.7); 38). Ahora,
(j+1)
para j S se sigue (f g)(j+1) = IR (f g) = (IR IRj ) (f g) = (f g) (f g)j = (f g) (f j gj ) =
(f f j ) (g gj ) = f (j+1) g(j+1) debido a ((5.6); 122) y el teorema (5.2.5; 125), por lo cual j + 1 S nuevamente de
((2.7); 38), entonces n S | n + 1 S de ((1.59); 31), y se obtiene S = N del corolario (4.4.1; 113), concluyendose
l
n N | (f g)n = f n gn de ((2.15); 40). Tambien los casos faltantes se dejan al lector.
Lema 5.2.3.
(nm)
n & m Z | (IRn )m = IR .
(k i)
on. Para k N y con 6 Sk {i N k (IRk )i = IR
Demostraci } se sigue 1 Sk debido a ((2.7); 38), dado que
(n+m)
5 La condici
on de especificaci on, pues del lema (4.4.3; 114) se tiene n & m N | IR
on es afn a la discusi RR .
(n m)
6 La condici
on de especificaci on, pues del teorema (4.4.6; 114) se tiene n & m N |
on es afn a la discusi IR RR .
126 Lo indispensable de la matem
atica formal
(k1) (j+1)
(IRk )1 = IR1 IRk = IR IRk = IRk = IR de ((5.6); 122). Ahora, para j Sk se tiene (IRk ) (j+1) = IR IRk =
(k j)
(IR IRj ) IRk = (IR IRk ) (IRj IRk ) = IRk (IRk )j = IRk IR de ((5.6); 122) y el teorema (5.2.5; 125), luego
(k+(k j)) (k (j+1))
(IRk ) (j+1) = IR = IR , por lo cual j + 1 Sk debido a ((2.7); 38), entonces m Sk | m + 1 Sk de
(k m)
((1.59); 31), y se obtiene Sk = N del corolario (4.4.1; 113), por lo tanto m N | (IRk )m = IR de ((2.15); 40),
(nm) l
y de ((1.59); 31) se concluye n & m N | (IRn )m = IR . Los otros casos se dejan al lector.
n & m Z | (f n )m = f (n m) .
Teorema 5.2.8.
a R+ \ [0; 1] | [R ](a) creciente .
`
on. De R+ \ [0; 1] y (m, n) N \ {1} N se tiene m = m1 del teorema (5.2.1; 122) con
Demostraci
as < n+1 m1 del corolario (5.2.2; 123) y el teorema (5.2.2; 123), luego 0 < m1 pues
((1.60); 31), adem
R+ \ [0; 1] , entonces m1 1 < m1 n+1 , y del lema (5.2.2; 124) se obtiene m < m+n , por lo cual q
N | m < m+q debido a ((1.59); 31). Ahora de s N m < s se sigue m < m + (s m) , luego m < s de ((1.60);
31) pues s m N , y del corolario (5.2.2; 123) con ((1.59); 31) se obtiene p & q N | p < q ` [R]() (p) <
[R ]() (q), por lo tanto [R]() creciente , y de ((1.59); 31) se concluye a R+ \ [0; 1] | [R ](a) creciente .
Corolario 5.2.5.
a R+ \ [0; 1] | n N | n [R ]](a) (n) .
Demostraci on. De R+ \ [0; 1] y al hacer S n N | n [R ]]() (n) se tiene 1 S debido a ((2.7);
38) ya que [R]]() (1) = de ((5.1); 120), y con k S se tiene k < [R]]() (k + 1) de ((2.7); 38) y el teorema
(5.2.8; 126), por lo cual k + 1 [R]]() (k + 1) del teorema (4.4.3; 111), entonces k + 1 S debido a ((2.7); 38),
y se obtiene n S | n S de ((1.59); 31), luego S = N del corolario (4.4.1; 113), y de ((2.15); 40) se concluye
n N | n [R]]() (n) , por lo tanto a R+ \ [0; 1] | n N | n [R ]](a) (n) nuevamente de ((1.59);
31).
7 V
ease ((1.65); 33).
Mario F. Rosales G. 127
f creciente ` f inyectiva .
Demostraci on. Con (, ) f y A \ {} se tiene = [f ]() y adem as < o < , luego [f ]() <
`
o < [f ](), por lo cual [f ]() 6= , obteniendose , [f ]() f y R \ [f ]() , entonces (, ) 6 f de
((3.1); 64) con ((1.60); 31), y de ((1.59); 31) se sigue A \ {} | (, ) 6 f , por lo tanto (a, b) f |
A \ {a} | (, b) 6 f nuevamente de ((1.59); 31), y de ((2.84); 61) se concluye f inyectiva.
` `
Demostraci on. Para B B y < se tiene f [f inv ]() < f [f inv ]() , adem as de [f inv ]() <
` ` `
[f inv ]() se sigue f [f inv ]() < f [f inv ]() ya que f creciente, entonces [f inv ]() < [f inv ]() f, por lo cual
[f inv ]() < [f inv ]() dado que f inv inyectiva debido al teorema (3.5.9; 86), entonces f inv creciente.
Teorema 5.2.11.
`
n Z+ | (IRn )id R+ {0} R+ {0} .
Corolario 5.2.6.
+
n Z+ | IR+ {0} (IRn IR+ {0} ) (R+ {0}R {0}
IR (IR+ {0} IRn ) = IRn .
l
Demostraci
on. Se deja al lector como ejercicio.
Teorema 5.2.12.
n Z+ | IRn IR+ {0} creciente .
on. Para S {m N k IRm IR+ {0} creciente} y con a R+ {0} b R+ {0} y a < b se tiene
Demostraci
[IR1 IR+ {0} ](a) = a y [IR1 IR+ {0} ](b) = b de ((5.6); 122), luego [IR1 IR+ {0} ](a) < [IR1 IR+ {0} ](b), por lo cual
(m+1)
IR1 IR+ {0} creciente, y de ((2.7); 38) se concluye 1 S. Ahora, de m S se tiene [IR IR+ {0} ](a) = a am
(m+1)
y [IR IR+ {0} ](b) = b bm de ((5.6); 122), en donde a R+ {0} am R+ {0} debido al teorema (5.2.11;
128 Lo indispensable de la matem
atica formal
(m+1)
127) y am < bm , luego a am < b bm del teorema (4.3.22; 109), por lo cual IR IR+ {0} creciente, entonces
m + 1 S, luego n S | n + 1 S de ((1.59); 31), concluyendose S = N del corolario (4.4.1; 113), y de ((2.15);
40) se obtiene n N | IRn IR+ {0} creciente.
Corolario 5.2.7.
n Z+ | IRn IR+ {0} inyectiva .
on. Para k Z+ se tiene IRk IR+ {0} inyectiva debido a ((1.60); 31) con los teoremas (5.2.12; 127)
Demostraci
y (5.2.9; 127), luego de ((1.59); 31) se concluye n Z+ | IRn IR+ {0} inyectiva.
Para invocar a la funci alculo en FRR que seguramente
on + n se requieren de varios teoremas del c
conoce el lector:
1. IR C FRR .
4. (Teorema de valor intermedio) Sean f FRR y [a; b] Df . Entonces f C [a; b] FRR [f ](a) < [f ](b) `
` ` ` `
[f ](a); [f ](b) f id (a; b) y f C [a; b] FRR [f ](b) < [f ](a) ` [f ](b); [f ](a) f id (a; b) .
Teorema 5.2.13.
n Z+ | IRn continua .
on. Con S {m N k IRm continua} se sigue 1 S del teorema (1) y ((5.6); 122), y para k S
Demostraci
se tiene IRk+1 = IR IRk tambien de ((5.6); 122), luego IRk+1 continua del teorema (2), por lo cual k + 1 S de
((2.7); 38), entonces m S | (m + 1) S de ((1.59); 31), por lo tanto S = N del corolario (4.4.1; 113), y de
((2.15); 40) se concluye n N | IRn continua.
on. Para R+ se tiene j N | < j 1 debido al teorema (4.4.4; 113), luego con i N y
Demostraci
< i se sigue i im del teorema (5.2.2; 123) ya que 1 i, luego < im con [IRm IR+ {0} ](i) = im . Adem
as,
IRm IR+ {0} continua del teorema (5.2.13; 128) con ((1.60); 31) y el teorema (3), en donde DIRmIR+ {0} =
R+ {0} y [0; i] R+ {0}, por lo cual IRm IR+ {0} continua en [0; i], y como [IRm IR+ {0} ](0) = 0 se
`
tiene [IRm IR+ {0} ](0) < [IRm IR+ {0}](i), entonces (0; im ) (IRn IR+ {0} )id (0; i) debido al teorema (4),
luego b (0; i) | [IRm IR+ {0}](b) = ya que (0; i). Ahora de (0; i) y [IRm IR+ {0}]() = se
`
tiene , ) IRm IR+ {0} , y para (0; i) \ {} se sigue (, ) 6 IRm IR+ {0} del corolario (5.2.7; 128)
con ((1.60); 31) y ((2.84); 61), es decir m 6= , por lo tanto c (0; i) \ {} | cm 6= debido a ((1.59); 31), y
de ((1.58); 31) se obtiene b (0; i) | bm = c (0; i) \ {b} | cm 6= . Entonces de ((1.59); 31) se concluye
Mario F. Rosales G. 129
` `
a R+ {0} | b R+ {0} | bm = a c R+ {0} \ {b} | cm 6= a , pues del corolario (5.2.7; 128) el cero
tambien lo cumple.
Con n N se invoca la relaci on Rn (a, b) (R+ {0} (R+ {0} | bn = a , obteniendose
` R+ {0}
Rn R+ {0} del teorema (5.2.14; 128), lo cual permite considerar a la funci
on raz positiva n-
esima
1/n + 1/n
de R haciendo IR+ {0} Rn , y para a R {0} se conviene en + a [IR+ {0} ](a). As mismo, para el caso
n
n 2 usualmente se omite el superndice, procediendo con + a + 2 a .
` 1/2 im
(IR ) I[0,005; 16]
` 1/2
IR I[0; 16]
` 1/3
IR I[0; 16]
Teorema 5.2.15.
0/1 ` 1/1
1) IR+ {0} = IR+ {0} d1e IR+ {0} 2) IR+ {0} = IR+ {0} .
0/1 0/1
on. Dado que IR+ {0} = R1 , para R+ {0} se sigue [IR+ {0} ]() = [R0 ]() = 1 pues 10 = 1
Demostraci
0/1
as [IR+ {0} d1e IR+ {0} ]() = 1, entonces R+ {0} | [IR+ {0} ]() =
de ((5.7); 123) con ((1.60); 31), adem
0/1
[IR+{0} d1e IR+ {0} ]() de ((1.59); 31), por lo tanto IR+ {0} = IR+ {0} d1e IR+ {0} debido a ((3.15); 68).
1/1 1/1
Ahora, como IR+ {0} = R1 , para R+ {0} se sigue [IR+ {0} ]() = [R1 ]() = ya que 1 = de ((5.7);
1/1
123) con ((1.60); 31), luego R+ {0} | [IR+ {0} ]() = [IR+ {0} ]() debido a ((1.59); 31), concluyendose
1/1
IR+ {0} = IR+ {0} de ((3.15); 68).
1/n
Como era de esperarse, para n N existe un vnculo estrecho entre IRn y IR+ {0} expresado en el
siguiente teorema.
1/n 1/n
Demostraci on. Del corolario (5.2.6; 127) basta verificar (IR+ {0} IRn IR+ {0} ) IR+ {0} = IR+ {0} y IR+ {0}
(IR+ {0} IRn IR+ {0} ) = IR+ {0} . Como de R+ {0} se tiene [IR+ {0}]() = y adem as (IR+ {0} IRn
130 Lo indispensable de la matem
atica formal
Corolario 5.2.8.
1/n 1/n
n N | IRn IR+ {0} = IR IR+ {0} IR+ {0} IRn = IR+ {0} .
on. Dado que para m Z+ se tiene IR IR+ {0} IRn = IRn del corolario (5.2.6; 127) y tambien
Demostraci
1/n 1/n 1/n 1/n
IR+ {0} IR+ {0} IR+ {0} = IR+ {0} , se sigue IRn IR+ {0} = (IR IR+ {0} IRn ) (IR+ {0} IR+ {0} IR+ {0} ) =
` 1/n
IR (IR+ {0} IRn IR+ {0} )IR+ {0} IR+ {0} = IR IR+ {0} debido al teorema (5.2.16; 129), adem as IRn IR = IRn
1/n 1/n ` 1/n
luego IR+ {0} IRn = (IR+ {0} IR+ {0} IR+ {0} )(IRn IR ) = (IR+ {0} IR+ {0} IR+ {0} )IRn IR = IR+ {0} IR =
1/n 1/n
IR+ {0} nuevamente del teorema (5.2.16; 129), entonces n Z+ | IRn IR+ {0} = IR IR+ {0} IR+ {0} IRn =
IR+ {0} de ((1.59); 31).
Teorema 5.2.17.
1/n
n N | IR+ {0} creciente .
on. Para m N se tiene (IR+ {0} IRn IR+ {0} )inv creciente debido a los teoremas (5.2.10; 127),
Demostraci
1/n
(5.2.16; 129) y (5.2.12; 127) con ((1.60); 31), luego IR+ {0} creciente nuevamente del teorema (5.2.16; 129), por lo
1/n
tanto n N | IR+ {0} creciente de ((1.59); 31).
1/n 1/n
Se extiende la funcion raz positiva n-esima para n Z \ {0} con IR+ {0} IRim IR+ {0} , por lo cual
1/n +
n Z \ {0} | IR+ {0} RR {0} RI 1/n R+ {0} , y con m Z se conviene en + m a 1/ + m a .
R+ {0}
1/m
on. Para m N se tiene IR (f m )1/m = IR IR+ {0} INm f = IR IR+ {0} IR f = IR IR+ {0} f =
Demostraci
1/m
f If ii (R+ {0}) y tambien (f 1/n )n = INm IR+ {0} f = IR IR+ {0} f = f If ii (R+ {0}) del corolario (5.2.8;
130), entonces n N | IR (f n )1/n = (f 1/n )n = f If ii (R+ {0}) de ((1.59); 31).
Lema 5.2.4.
m & n & k N | (f m f n )1/k I(f m )ii (R+ {0})(f n )ii (R+ {0} = (f m f n )1/k .
l
Demostraci
on. Se deja al lector como ejercicio.
on. Para i N se considera S
Demostraci k N k IR (f k )1/i = (f 1/i )k y se tiene IR (f 1 )1/i =
1/i 1/i 1/i
IR IR+ {0} IR1 f = IR1 IR+ {0} IR f = IR1 IR+ {0} f = (f 1/i )1 de ((5.6); 122), luego 1 S. Ahora, de
`
s S se tiene IR (f (s+1) )1/i = IR (f s f 1 )1/i = IR (f s )1/i (f 1 )1/i = (f 1/i )s (f 1/i )1 de los teoremas (5.2.5;
125) y (5.2.19; 131) con el lema (5.2.4; 131), por lo cual IR (f (s+1))1/i = (f 1/i )(s+1) debido al teorema (5.2.5;
125), entonces s + 1 S y se sigue p S | p + 1 S de ((1.59); 31), entonces S = N del corolario (4.4.1; 113),
por lo tanto m N | IR (f m )1/i = (f 1/i )m de ((2.15); 40), y se concluye m & n N | IR (f m )1/n = (f 1/n )m
nuevamente de ((1.59); 31).
` ` ` ` `
P IN + d1e (j) = [F 4 P ](j) con [F 4 P ](j) = dIR e IN + d1e 4 P (j) y dIR e IN +
`
d1e 4 P (j) = IR [](j + 1) [P ](j) , por lo cual k N | [P ](k + 1) = [P ](k) [](k + 1) debido a ((1.59);
`
31). Entonces al considerar a 1n (p, q) R n RN k q = p d IR d1e IN \ n con n N , para R n el
l
lector pude comprobar que se obtiene
n
y se hace P R n (p, ) R n R k = [P
P [1n ](p)](n) de lo cual se tiene PR n R(R ) que aqu se le llama
on producto en R n .
funci
`
De igual manera que la funci on producto en R n , con RN y al hacer F dIR e IN +d1e se infiere
` N P `` P P `
F R R , luego del corolario (5.1.1; 119) y ((1.60); 31) se sigue R
N
1, [](1) IN +
P P P ` P
d1e = F 4 y a se le llama serie de , entonces de j N se tiene IN + d1e (j) = [F ](j)
4
P ` ` P ` P P P
con [F 4 ](j) = dIR e IN + d1e 4
(j) = IR + [](j + 1) [ ](j) = [ ](j) + [ ](j) ,
P P
por lo cual k N | [ ](k + 1) = [ ](k) + [](k + 1) debido a ((1.59); 31).
` P
Ahora de 0n (p, q) R n RN k q = p d d0e IN \ n y con n N se hace R n (p, ) R
n
P P (R n )
R k =
R [0n ](p) (n) obteniendose Rn R on suma en R n , la cual
que aqu se le denomina funci
on suma del espacio vectorial R n .
no debe confundirse con la funci
P
Entre los comportamientos de PR n y Rn conocidos por el lector, y que sera conveniente los identifique
y demuestre, se consideran a los siguientes teoremas que ser
an utilizados en el siguiente captulo.
` ` X ` `
R PR n IR de I n = n IR de I n = n .
Rn
` `
Demostraci on. Con R se hace S m n | PR m IR de I m = m y se infiere 1 S de ((2.7);
` ` `
38) pues PR 1 IR de I 1 = [P[11 ](IR(deI 1 )) ](1) con [P[11](IR (deI 1 )) ](1) = 11 IR (de I 1 ) (1) y
`
11 IR (de I 1 ) (1) = , luego [P[11 ](IR(deI 1 )) ](1) = 1 debido a ((5.7); 123) y ((1.60); 31), por lo cual
` ` `
[PR 1 ] IR (de I 1 ) = 1 . Ahora de k S n 1 se tiene PR k+1 IR de I k+1 = [P[1k+1 ](IR(deI k+1 )) ](k +
1) con [P[1k+1 ](IR(deI k+1 )) ](k + 1) = [P[1k+1 ](IR(deI k+1 )) ](k) [1k+1 ](IR (de I k+1 )) (k + 1) en donde
[P[1k+1 ](IR(deI k+1 )) ](k) = [P[1k ]((IR(deI k+1 )I k ) ](k) de ((5.8); 131) y [1k+1 ](IR (de I k+1 )) (k + 1) = , por
` ` ` ` ` `
consiguiente PR k+1 IR deI k+1 = PR k IR deI k , luego PR k+1 IR deI k+1 = k+1 del lema
(5.2.2; 124) y ((5.7); 123), luego k + 1 S debido a ((2.7); 38), y de ((1.59); 31) se obtiene j S n 1 | j S ,
` `
por lo cual n S de la proposici on (4.4.1; 112), entonces PR n IR de I m = n debido a ((2.7); 38).
P ` ` l
Analogamente el lector puede demostrar Rn IR de I n = n , y de ((1.40); 26) con ((1.59); 31) se infiere
` ` P ` `
R PR n IR de I n = n Rn IR de I n = n .
Mario F. Rosales G. 133
l
Demostraci
on. Se deja al lector como ejercicio.
l
Demostraci
on. Se deja al lector como ejercicio.
Conjuntos finitos
A.Whitehead 1
La demostraci
on de aspectos relacionados con la finitud de conjuntos traen consigo dificultades que las
hacen muy laboriosas y delicadas, por lo que usualmente son soslayadas, creando la costumbre de adoptar el se
ve que. . . como argumento v
alido en el razonamiento, el cual est
a ntimamente ligado a la intuici
on, que de
manera directa e inmediata establece argumentos sin intervenci
on de la deducci
on o del razonamiento, considerados
como evidentes. Esto genera dos posiciones contrapuestas en los matem
aticos, identific
andolos como intuicionistas
o formalistas, lo cual no debe confundirse con el intuicionismo de la filosofa de las matem
aticas relacionado al
constructivismo matem
atico.
6.1. Antecedentes
Como antecedente de la finitud se plantea otro concepto: cuando para dos conjuntos A y B se tiene f
B A
| (f biyectiva) se dice que A y B son conjuntos equivalentes 2
y se hace A B f B A | (f biyectiva),
135
136 Lo indispensable de la matem
atica formal
f B A | (f biyectiva).
por lo cual A B a ` B A, y con (A 6 B) (A B) se sigue (A 6 B) =
Con el concepto de equivalencia de conjuntos se plantea un resultado fundamental para el conteo utilizado
cotidianamente, en donde se emplea a N {0}. . . se trata de una obviedad que debe ser probada y cuya
demostraci
on dista mucho de ser obvia (como sucede frecuentemente).
on 6.1.1. Sean m N n N.
Proposici
m n ` m = n.
De n m m 6 n y como Rg = n 0 Rg 6= n se tiene:
De Rg = n se sigue m m m 6 Rg , luego l m | l 6 Rg debido a ((1.58); 31), por lo
cual m 6 Rg de ((2.4); 36), y con ((2.12); 39) se obtiene m 6= Rg , entonces (g suprayectiva) y
se infiere (g inyectiva g suprayectiva) debido a ((1.1); 17), por lo cual (g biyectiva) ya que
hg inyectiva g suprayectivai = hg biyectivai.
Ahora con el teorema (3.5.9; 86) y ((3.44); 85) se infiere ginv m n ginv biyectiva, luego de p
Rg | p 6 n se sigue p m | p 6 Rginv , por lo cual (ginv suprayectiva) y se obtiene (ginv biyectiva),
entonces (ginv invertible) del teorema (3.5.9; 86) con ((1.45); 28), y de ((3.44); 85) con ((1.45); 28) se
infiere (g invertible), por lo cual (g biyectiva) del teorema (3.5.9; 86) con ((1.45); 28).
6.2. Finitud
n N | n A ` A 6= . (6.1)
adjetivo equivalente para un par de conjuntos, pero debe quedar clara su diferencia conceptual.
Mario F. Rosales G. 137
ltimo teorema permite caracterizar un atributo de la finitud, pues para A finito hace #(A) m
Este u
con m {n N {0} k A n} y se le llama cardinalidad de A , luego A #A , y en particular como para
m N se tiene m m pues I m biyectiva (vease p
ag. 70), se sigue # m = m, y con ((1.59); 31) se obtiene
n N {0} | # n = n (6.2)
J K a ` #J = #K .
ii
on. Para J K biyectiva, J #J y K #K biyectivas se tiene J
Demostraci (K)
con ii (K) =
as invertible del teorema (3.5.9; 86), luego inv ( )
#K debido al teorema (3.3.2; 72) con ((3.22); 77), adem
()ii (J)
#J de ((3.22); 77), en donde ( )ii (J ) = #K tambien del teorema (3.3.2; 72), y como biyectiva
#K
debido al corolario (3.5.2; 84), entonces inv ( ) #J biyectiva nuevamente del corolario (3.5.2; 84) y el
inv
teorema (3.5.9; 86) pues invertible, por lo tanto #J #K, entonces #J = #K de la proposici
on (6.1.1;
l
136). La otra demostraci
on es similar y se deja al lector.
A 6= ` #A N .
`
on. Con A = se tiene A finito, y de
Demostraci A P(n) \ {} (A infinito) se sigue A P(n) \ {}
debido a ((1.33); 25), pero tambien k N | k 6 A con A 6= del teorema (2.3.8; 54), luego k N | f
B k | (f no biyectiva) de ((1.62); 32), pero para j n se tiene IA I j A j se tiene (IA I j inyectiva) del
teorema (3.5.2; 83), por lo cual (IA I j no suprayectiva) de ((1.60); 31), entonces A 6 RIA I j debido a ((2.11);
39) ya que RIA I j A, luego a A | a 6 RIA I j de ((2.4); 36), y con A y 6 RIA I j se sigue
`
p A j | (p, ) IA I j debido a ((2.7); 38) y ((1.45); 28), entonces p A j | (p, ) 6 IA I j de
` `
((1.62); 32), por lo tanto ( A j) p A j | (p, ) 6 IA I j ` (, ) 6 IA I j (, ) IA I j
de ((1.60); 31) y DIA I j = A j, obteniendose 6 A j debido a ((1.44); 27), por lo tanto 6 j de ((2.30);
42) con ((1.45); 28) y el corolario (1.4.1; 33) pues A, luego a A | a 6 j de ((1.58); 31), y con ((2.4);
36) se infiere A 6 j, entonces k n | A 6 k debido a ((1.59); 31), por consiguiente A 6 n de ((1.60); 31),
luego A 6 P(n) de ((2.43); 45), entonces A 6 P(n) \ {} debido a ((2.25); 42) y ((2.3); 36), concluyendose
` `
A P(n) \ {} (A infinito) ` A P(n) \ {} y A P(n) \ {} (A infinito) ` A 6 P(n) \ {}, por lo
tanto A P(n) \ {} ` (A finito) de ((1.44); 27).
A finito ` B finito .
on. Como A B P(A) de ((2.32); 43) y ((2.41); 45), entonces A B finito del teorema (6.2.3;
Demostraci
alogamente A \ B P(A) debido a ((2.25); 42) y ((2.41); 45), por lo cual A \ B finito del
138) pues A finito . An
teorema (6.2.3; 138) ya que A finito , luego se tiene A B finito A \ B finito de ((1.40); 26).
Mario F. Rosales G. 139
(6.2.3; 138) pues J 0 P(J ) \ {}, luego Rf IJ 0 finito, entonces Rf finito ya que Rf = Rf IJ 0 .
l
Demostraci
on. Se deja al lector como ejercicio.
El comportamiento expresado en el siguiente teorema ha sido inculcado desde temprana edad como ob-
vio, pero su justificaci
on requiere de los razonamientos previos haciendola bastante elaborada e inaccesible con la
ense
nanza tradicional.
A B = ` #(A B) = #A + #B .
De j m k m \ {j} se sigue [h](j) = [f ](j) , luego (j, d) f y se obtiene (k, d) 6 f debido a ((1.60);
31) y ((2.84); 61) pues f inyectiva , por lo cual [h](k) 6= d ya que [f ](k) = [h](k) , entonces (k, d) 6 h .
Entonces l m + n \ {j} | (l, d) 6 h de ((1.59); 31), por lo tanto (i, e) h | l m + n \ {i} | (l, e) 6 h
nuevamente de ((1.59); 31), y con ((2.84); 61) se obtiene h biyectiva , luego #(A B) = m + n con #A = m y
#B = n , de lo cual se concluye #(A B) = #A + #B
A finito ` #(A \ B) = #A #B .
Demostraci on. Como (A \ B)B = del teorema (2.3.7; 53), A \ B finito del corolario (6.2.2; 138) y B finito del
`
teorema (6.2.3; 138), se sigue # (A \ B) B = #(A \ B) + #B del teorema (6.2.6; 140) en donde (A \ B) B = A
l
pues B P(A) como lo puede verificar el lector, por lo tanto #(A \ B) = #A #B
Mario F. Rosales G. 141
A finito ` #B #A .
on. Del teorema (6.2.7; 140) se sigue #B = #A #(A \ B) en donde 0 #(A \ B) , luego #A
Demostraci
#(A \ B) #A y se obtiene #B #A .
`
Teorema 6.2.8. Sean X conjunto y C P P(X) .
Demostraci on. Del teorema (6.2.8; 141) se hace G (j, g) n P(X) k g = RF I j y S j
P
n k #[G](j) = Rj
(C I j ) luego 1 S , ahora de k S {n 1} se tiene [G](k + 1) = [G](k) [F ](k + 1) ,
entonces #[G](k + 1) = #[G](k) + #[F ](k + 1) del teorema (6.2.6; 140) pues [G](k) [F ](k + 1) = debido a
P P
((2.32); 43) con ((2.35); 44), por lo cual #[G](k + 1) = Rk
(C I k ) + #[F ](k + 1) = R k+1
(C I k+1 ) ya
que #[F ](k + 1) = [C](k + 1) , y de ((2.7); 38) se obtiene k + 1 S , luego l S {n 1} | l S debido a ((1.59);
P
on (4.4.1; 112) se sigue n S , entonces #[G](n) =
31), y de la proposici R n (C I n ) nuevamente de ((2.7);
38) con [G](n) = RF I n y F = F I n C = C I n ) .
on. Para f B A y g
Demostraci (C, D) P(A) P(B) k D = f id (C) se tiene g P(B)P(A) , y de
` `
f suprayectiva y con E P(B) se sigue f ii (E) P(A) y g f ii (E) = f id f ii (E) = Rf E del teorema (3.3.5;
` `
73), luego g f ii (E) = E pues Rf = B , por lo cual f ii (E), E g obteniendose F P(A) | (F, E) g
debido a ((1.58); 31), entonces D P(B) | C P(A) | (C, D) g de ((1.59); 31), y con ((2.81); 60) se concluye
g suprayectiva .
`
Ahora de f inyectiva y con (C, D) g F P(A) \ {C} se tiene [g](F ) = f id (F ) , adem
as f ii (D) = f ii [g](C) =
` ` ` `
f ii f id (C) = A C = C debido al teorema (3.3.5; 73), y tambien f ii [g](F ) = f ii f id (F ) con f ii f id (F ) =
`
A F = F nuevamente del teorema (3.3.5; 73), por lo cual f ii (D) 6= f ii [g](F ) ya que F 6= C , luego [g](F ) 6= D
y se obtiene (F, D) 6 g , entonces E P(A) \ {C} | (E, D) 6 g de ((1.59); 31), y con ((1.59); 31) se sigue
(G, H) g | E P(A) \ {G} | (E, H) 6 g , por lo tanto g inyectiva debido a ((2.84); 61), y de ((1.58); 31) se
infiere h P(B)P(A) | h biyectiva concluyendose P(A) P(B) .
142 Lo indispensable de la matem
atica formal
on. De f (C, D) P(A) P(A B) k D = C B se tiene f P(A B)P(A) f biyectiva ,
Demostraci
luego Rf P(A) y se sigue #Rf = #P(A) del teorema (6.2.2; 137), adem as Rf P(A) = , por lo cual
`
# Rf P(A) = #Rf + #P(A) = 2 #P(A) debido al teorema (6.2.6; 140), y como Rf P(A) = P(A B) pues
Rf = P(A B) , se concluye #P(A B) = 2 #P(A)
on. De A = se sigue #A = 0 y se obtiene # P(A) = 2#A del teorema (6.2.2; 137) ya que
Demostraci
P() = {} y 20 = 1 de ((5.7); 123). Ahora de A 6= se infiere #A N debido al corolario (6.2.1; 137), y con
` `
m = #A y f Am biyectiva se hace S j m k #P f id( j ) = 2 j obteniendose P f id ( 1 ) = [f ](1), ,
` `
luego #P f id ( 1 ) = 2 = 21 por lo cual 1 S , y de k m 1 S se tiene f id ( k + 1 ) = f id k {k + 1} =
` ` `
f id ( k ) f id {k + 1} del teorema (3.3.6; 75) con f id ( k ) f id {k + 1} = y f id {k + 1} unitario , entonces
` `
#P f id ( k + 1 ) = 2 #P f id ( k ) = 2 2k = 2k+1 debido al lema (6.2.4; 142) y ((2.7); 38), por lo tanto k + 1 S
nuevamente de ((2.7); 38), entonces j m 1 S | j + 1 S de ((1.59); 31) y se infiere m S del la proposici
on
` id m id #A
(4.4.1; 112), luego #P f ( m ) = 2 debido a ((2.7); 38) con f ( m ) = A , concluyendose # P(A) = 2 .
Demostraci
on. Inmediata del teorema (6.2.10; 142).
`
Demostraci on. De ((2.9); 38) se sigue B A P(A B) con A B P P(A B) , adem as A B finito del
` A
lema (6.2.2; 139), por lo cual P P(A B) finito del teorema (6.2.10; 142), entonces B finito del teorema (6.2.3);
138.
6.3. M
aximo y mnimo
Los conceptos de m
aximo y mnimo de un conjunto son fundamentales, los cuales requieren de los siguientes
antecedentes. Cuando con A R se tiene {b A k a A | a b} =
6 se sigue b A | a A | a b del
Mario F. Rosales G. 143
as para {b A k a A | a b} {b A k a A | a b} se obtiene =
teorema (2.3.2; 50), adem
debido a ((2.7; 38) y ((1.60); 31), luego p & q {b A k a A | a b} | p = q de ((1.59); 31), y con ((3.3); 64)
y ((3.2; 64) se obtiene ({b A k a A | a b} unitario), por lo tanto
A R {b A k a A | a b} =
6 ` {b A k a A | a b} unitario (6.3)
l
y de manera an
aloga el lector puede demostrar
A R {b A k a A | b a} =
6 ` {b A k a A | b a} unitario . (6.4)
A R {b A k a A | a b} = ax(A) A a A | a m
6 ` m ax(A) . (6.5)
A R {b A k a A | b a} =
6 ` mn(A) A a A | mn(A) a . (6.6)
A finito ` {b A k a A | b a} =
6 {b A k a A | a b} =
6 .
De m \ gii (A ) = se tiene m gii (A ) de (2.65; 52), por consiguiente gii (A ) = m de ((2.11); 39) con
` `
((2.9); 38), por lo tanto gid gii (A ) = A del teorema (3.3.2; 72), y como gid gii (A ) A del teorema
(3.3.5; 73) con ((2.32); 43), se obtiene a A | a , luego {b A k a A | b a} debido a ((2.7);
38) ya que A, entonces {b A k a A | b a} =
6 de ((2.60); 49).
`
De m \ gii (A ) 6= se tiene gid m \ gii (A ) 6= del corolario (3.3.2; 72) ya que m \ gii (A ) P(m) \ {}
` `
del teorema (2.3.8; 54), luego p gid m \ gii (A ) | p = p del teorema (2.3.6; 52) y con gid m \ gii (A )
`
y = se hace A a gid m \ gii (A ) k a , por lo cual A 6= de ((2.60); 49) pues A debido a
`
((2.7); 38), luego gii (A ) 6= del teorema (3.5.4; 84) pues g 6= de ((3.10); 67) y como A gid m \ gii (A )
` ` ` `
de ((2.9); 38), se infiere gii (A ) gii gid m \ gii (A ) del teorema (3.3.6; 75), pero gii gid m \ gii (A ) =
` `
m m \ gii (A ) del teorema (3.3.5; 73) en donde m m \ gii (A ) = m \ gii (A ) de ((2.25); 42) y ((2.35);
`
44), entonces gii (A ) m \ gii (A ), por lo tanto gii (A ) P m \ gii (A ) \ {} m \ gii (A ) 6= , y del
` `
teorema (2.3.9; 55) se concluye m \ gii (A ) \ gii (A ) m \ gii (A ) con m \ gii (A )
` `
\ gii (A ) = m \ gii (A ) gii (A ) = m \ gii (A A ) debido a ((2.29); 42) y el teorema (3.3.6; 75), luego
`
m \ gii (A A ) m \ gii (A ) m.
` `
Entonces nuevamente se presentan los casos m \ gii (A A ) = o m \ gii (A A ) 6= , lo cual da lugar
al razonamiento previo y as sucesivamente hasta llegar al caso vacio, que necesariamente ocurre por considerar
sucesivamente a subconjuntos propios a partir de m , obteniendo finalmenete {b A k a A | b a} =
6 . La
l
demostraci
on del otro enunciado de la tesis es similar y se deja al lector interesado.
ax(A) A a A | mn(A) a m
A finito ` mn(A) A m ax(A) .
Demostraci
on. Es inmediato del teorema (6.3.1; 143) con ((6.5); 143) y ((6.6); 143).
6.4. An
alisis combinatorio
` 2
Demostraci on. Como F [F ](1) [F ](2) , se sigue F finito debido al lema (6.2.2; 139) con el corolario
` ii `
(6.2.5; 142) y el teorema (6.2.3; 138). Ahora de G (p, ) [F ](1) P(F ) k = p1 F {p} se tiene
l
p [F ](1) | #[G](p) = #[F ](2) lo cual puede ser verificado por el lector, adem as con H (p, ) [F ](1)
P
R k = #[G](p) y f [F ](1) #[F ](1)
biyectiva se tiene # RGf = R #[F ](1)
(H f ) del teorema (6.2.9;
141), en donde H f = #[F ](2) I #[F ](1) y RGf = F , por lo tanto #F = #[F ](1) #[F ](2) debido al
teorema (5.3.1; 132).
Mario F. Rosales G. 145
#F = [PR m ](CF ) .
Corolario 6.4.1.
m & n N | # n m = nm .
j ` ` j
Demostraci on. De j N k N se tiene F = k con F IP(N) k I j , se sigue # k = [PR j ](CF )
`
al hacer CF (l, ) j R k = #[F ](l) debido a la proposici on (6.4.1; 145), en donde CF = IR dke I m
` j
pues l j | [CF ](l) = k ya que l j | [F ](l) = k , luego # k = kj del teorema (5.3.1; 132), por lo tanto
m & n N | # n m = nm debido a ((1.59); 31).
A 6= B 6= ` #(B A ) = (#B)#A .
m
on. Con f Am biyectiva y g n B biyectiva se hace T (h, k) B A 2 k k = g h f ,
Demostraci
A)
luego T (n m )(B T biyectiva , pues de n m se tiene ginv f inv B A y = g (ginv f inv ) f , luego
(ginv f inv , ) T de ((2.7); 38), por lo cual q B A | (q, ) T debido a ((1.58); 31), y de ((1.59); 31) se obtiene
p n m | q B A | (q, p) T , entonces T suprayectiva de ((2.81); 60). Ahora de (, ) T (, ) T se
sigue = g f = g f , luego ginv (g f ) f inv = ginv (g f ) f inv y se obtiene = , por
5 Planteado en los t
erminos tradicionales (v
ease [21] p
ag. 34) se le conoce como principio del an
alisis combinatorio.
6 Este comportamiento brinda el n
umero de cadenas binarias viables para una longitud de palabra dada, lo cual es fun-
umeros reales haciendo B {0, 1} y #A = 64 al utilizar
damental en el almacenamiento de representaciones binarias de n
doble precisi
on.
146 Lo indispensable de la matem
atica formal
lo tanto (a, b) & (c, b) T | a = c debido a ((1.59); 31) y del teorema (2.4.5; 61) se infiere T inyectiva , entonces
A
T biyectiva y de ((1.58); 31) se infiere G (n m )(B )
| G biyectiva , por lo tanto B A n m y del teorema (6.2.2;
137) con el corolario (6.4.1; 145) se concluye #(B A ) = (#B)#A .
` I
Demostraci on. Con G (h A) IB m P(B) k A = b B k b 6 Rh se tiene G P(B) B m y se hace
` `
F (h, D) IB m P(IB m+1 ) k D = q IB m+1 k p [G](h) | q = h d IB dpe Im+1 , luego F
` I m ` `
P(IB m+1 B as h IB m | #[F ](h) = #Bm h IB m | g IB m \ {h} | [F ](h)[F ](g) =
y adem
l
como lo puede comprobar el lector, entonces con f IB m #IB m f biyectiva pues IB m finito de ((2.9); 38)
con el teorema (6.2.3; 138) y el corolario (6.2.5; 142), se hace C , ) IB m R k = #[F f ]() por lo
` P
cual C = IR d#B me I I m y se obtiene # RF = #I m (C) del teorema (6.2.9; 141), en donde
B R B
P
#I m (C) = (#B m) #IB m debido al teorema (5.3.1; 132), entonces #IB m+1 = (#B m) #IB m ya
R B
l
que RF = IB como lo puede verificar el lector.
m+1
Teorema 6.4.2. Sean B conjunto finito y IB m h B m k h inyectiva con m N .
!
#B
m #B ` #IB m = m! .
m
`
Demostraci on. De S k m | #IB k = k! #B k se sigue 1 S pues IB 1 = B 1 con #B 1 = #B y
`
1! #B
1
= #B , ahora de j S m 1 se tiene #IB j+1 = (#B j) #IB j del lema (6.4.2; 146), en donde
` ` #B
#IB j = j! #B
j debido a ((2.7); 38), luego #IB j+1 = (j + 1)! m+1 y se obtiene j + 1 S nuevamente de
((2.7); 38), por lo cual k S m 1 | k + 1 S de ((1.59); 31), entonces m S de la proposici
on (4.4.1; 112),
`#B
por consiguiente m S y se concluye #IB m = m! m de ((2.7); 38).
on de un conjunto B se hace PB B B biyectiva y a sus elementos se les
Ante la consideraci
llama permutaciones en B, luego de B finito con #B N se tiene PB IB #B como lo puede comprobar el
` l
lector, entonces #PB = #B! #B
#B debido a los teoremas (6.2.2; 137) y (6.4.2; 146) y se obtiene
P(B) k A = Rh en donde IB m h Bm kh
inyectiva , con lo cual se hace CB m R Ib m y a sus
B
elementos se les llama combinaciones de B en m . Como ejemplo se tiene C 3 1 = {1}, {2}, {3} , C 3 2 =
`
{1, 2}, {1, 3}, {2, 3} y C 3 3 = {1, 2, 3} , por lo cual #C 3 1 = 3 , #C 3 2 = 3 y #C 3 3 = 1 , luego #C 3 1 = 31 ,
` `
#C 3 2 = 32 y #C 3 3 = 33 , pero con h (1, 2), (2, 1) y g (1, 1), (2, 2) se infiere h 6= g Rh = Rg ,
b 2 inyectiva) y se obtiene (R b
entonces (I I3 2 ) present
andose dificultades para determinar #C B m con
3 I
32
generalidad.
on. Con k #B y R (h, g) IB k IB k
Demostraci k Rh = Rg se sigue R relaci
on de equivalencia y
h IB k | #[h]R = k! debido a ((1.59); 31), pues de IB k se tiene I[]R ( IP k ) []RP k I[]R (
IP k ) biyectiva , luego []R P k y con el teorema (6.2.2; 137), ((6.7); 146) y ((6.2); 137) se infiere #[]R = k! , por
lo cual [ ]R | # = k! .
`
Ahora como [ ]R P P(IB k ) se tiene [ ]R finito de los teoremas (6.4.2; 146), (6.2.10; 142) y (6.2.3; 138), con
f [ ]R #[ ]R biyectiva y F (, ) #[ ]R P(IB k k = [f ]() se considera F , de lo cual se obtiene
b k ) ( f inv ) CB m [ ]R (IC
(ICB m I IbB k ) ( f inv ) biyectiva , luego CB m [ ]R , y de C (p, q)
B Bm
`
#[ ]R R k q = #[f ](p) se sigue C = IR dk!eI #[ ]R . Adem as se tiene [ ]R | [ ]R \ {} | = ,
P P
entonces # Rf = R #[ ]R
(C) del teorema (6.2.9; 141) en donde R #[ ]R
(C) = k! #[ ]R , por lo tanto
# Rf = k! #CB k .
`
Finalmente, dado que Rf = IB k , se infiere k! #CB k = k! #B
k
debido al teorema (6.4.2; 146), luego
`#B `#B
#CB k = k , y de ((1.59); 31) se concluye m #B | #CB m = m .
Representaci
on digital de R
Carl Stormer 1
Como aplicaci
on de la potenciaci ag. 120) y por su importancia se identifica a Qa P(Q) cuyos
on (vease 5.2 p
elementos son los racionales que son representables con dgitos asociados a una base a N \ {1} , lo cual incluye
como caso particular a la representaci
on decimal inculcada desde la educaci
on elemental, sin mencionar la naturaleza
abstracta de Q y su diferencia con Q10 debido a su intrnseca dificultad conceptual o por ignorancia, a
un cuando
sea justificable por la complejidad del tema.
149
150 Lo indispensable de la matem
atica formal
enunciado existencial.
on) Sean a Z b Z .
Teorema 7.1.1. (Algoritmo de divisi
` `
a 6= 0 ` ! (p, q) N {0} Z | p < |a| b/a = q + p/a . 2
`
on. Con S Rdbe+daeIZ N {0} y como a 1 0 1 a se sigue:
Demostraci
` ` `
De a 1 se tiene dbe + dae IZ |b| = b a |b| del teorema (4.3.9; 106) y |b| a |b| ,
` `
luego b + |b| b a |b| con 0 b + |b| y b a |b| Z del teorema (4.4.8; 116), por lo cual
` ` `
b a |b| N {0} c Ddbe+daeIZ | c, b a |b| dbe + dae IZ de ((1.58); 31), entonces
`
b a|b| Rdbe+daeIZ (N{0}) debido a ((2.7); 38), por consiguiente d Rdbe+daeIZ (N{0}) | d = d
nuevamente de ((1.58); 31), y con teorema (2.3.6; 52) se concluye S 6= .
` `
De 1 a se tiene dbe + dae IZ |b| = b + a |b| del corolario (4.3.4; 106) y |b| a |b|, luego b + |b|
` ` `
b + a |b| con 0 b + |b| y b + a |b| Z del teorema (4.4.8; 116), por lo cual b + a |b| N {0} c
` ` `
Ddbe+daeIZ | c, b + a |b| dbe + dae IZ de ((1.58); 31), entonces b + a |b| Rdbe+daeIZ (N {0})
debido a ((2.7); 38), por consiguiente d Rdbe+daeIZ (N {0}) | d = d nuevamente de ((1.58); 31), y con
teorema (2.3.6; 52) se concluye S 6= .
Entonces a 1 0 1 a ` < |a|, luego < |a|, y con (1.40); 26) se sigue N {0} < |a| b/a = + /a ,
` `
concluyendose (p, q) N {0} Z | p < |a| b/a = q + p/a de ((1.58); 31).
`
Ahora se demuestra (r, s) & (t, v) (x, y) N {0} Z k x < |a| b/a = y + x/a | (r, s) = (t, v), en
` `
efecto de (, ) (x, y) N {0} Z k x < |a| b/a = y + x/a (, ) (x, y) N {0} Z k x <
|a| b/a = y + x/a se tiene ( a) + = ( a) + , luego |a| | | = | |, adem
as |a| < 0
y 0 < |a|, por lo cual |a| < < |a| debido al teorema (4.3.14; 107), entonces | | < |a|
y se sigue |a| | | < |a|, luego 0 | | | | < 1 con | | Z, por lo tanto | | = 0 y se obtiene
`
= , por lo tanto (, ) = (, ), y de ((1.59); 31) se infiere (r, s) & (t, v) (x, y) N {0} Z k x <
`
|a| b/a = y + x/a | (r, s) = (t, v), por consiguiente (p, q) N {0} Z | p < |a| b/a = q + p/a (r, s) &
`
(t, v) (x, y) N {0} Z k x < |a| b/a = y + x/a | (r, s) = (t, v) debido a ((1.40); 26), y con ((3.3); 64)
` `
se concluye ! (p, q) N {0} Z | p < |a| b/a = q + p/a .
` `
Demostraci on. Del teorema (7.1.1; 150) se sigue ! (p, q) N {0} Z | p < a 1 = p + (q a) pues
` `
|a| = a , luego (p, q) N {0} Z | p < a 1 = p + (q a) debido a ((3.3); 64) y ((1.33); 25), y con
` `
(r, s) N {0} Z r < a b = r + (s a) se tiene:
De b N s < 0 se sigue 1 s ya que s Z 0 < s del teorema (4.3.16; 108), luego a a(s) r <
`
a, por lo cual (a s) + r < (a s) + a (s) , entonces b < 0 , por lo cual b N s < 0 ` b < 0 .
Entonces (b N s < 0)f debido a (1.44); 27), y de ((1.5); 19) se obtiene (s < 0)f, luego 0 s , y con s = 0 se
infiere s < b ya que b N, y de 0 < s se sigue s < a s pues 1 < a , en donde a s r + (a s) ya que 0 r,
as 0 < a1 debido al teorema (4.3.24; 110) pues 1 < a , por lo cual 0 0 p a1 del
por lo tanto s < b . Adem
teorema (4.3.22; 109) y tambien p a1 < a a1 pues p < a , luego 3 p/a [0; 1) , y de ((1.58); 31) se concluye
` ` `
(p, q) Z N {0} | q < b p/a [0; 1) b/a = q + p/a . Para la obtenci on de la unicidad nuevamente
l
se emplea ((3.3); 64) y se deja al lector.
` ` ` `
Demostraci on. Del corolario (7.1.1; 151) se tiene ! (p, q) N{0} N{0} | q < b p/a [0; 1) b/a =
` ` ` `
q + p/a , y con (r, s) N {0} N {0} s < b r/a [0; 1) b/a = s + r/a y a b se sigue 1 b/a
debido al teorema (4.3.24; 110) y adem as s + r/a < s + 1 , por lo cual 1 < s + 1 pues 1 s + r/a , luego s N , y
` ` `
como (p, q) N {0} N {0} k q < b p/a [0; 1) b/a = q + p/a unitario de ((3.2); 64), se infiere
` ` `
(p, q) N{0} N{0} k q < b p/a [0; 1) b/a = q+p/a = (r, s) de la proposici on (2.3.2; 56) ya que
` ` ` `
(r, s) (p, q) N {0} N {0} k q < b p/a [0; 1) b/a = q + p/a en donde (r, s) N {0} N ,
` `
entonces (p, q) N {0} N k q < b p/a [0; 1) b/a = q + p/a = (r, s) , y nuevamente de la
` `
proposici on (2.3.2; 56) se obtiene (p, q) N {0} N k q < b p/a [0; 1) b/a = q + p/a unitario , por
` ` `
lo tanto ! (p, q) N {0} N | q < b p/a [0; 1) b/a = q + p/a debido a ((3.2); 64).
3 Obs on del corolario a p/a cuando p/a [0; 1) .
ervese que la unicidad hace irrelevante la aplicaci
152 Lo indispensable de la matem
atica formal
`
Ahora con a N \ {1} se hace Na b N k (k, f ) N{0} F(N{0})( a1{0}) | Df = k{0} b =
P `
Rk
(f I k ) [R](a) + [f ](0) y obtiene Na = N como se establece en el siguiente teorema.
Demostraci on. De S l N k l Na se tiene 1 S , pues del corolario (7.1.1; 151) con ((3.3); 64) y ((1.33);
` ` ` `
25) se sigue ! (p, q) N {0} N {0} | q < 1 1 = (q a) + p , y con (s, r) N {0} N {0} s <
` ` ` 1{0}
1 1 = (s a) + r se hace g I a1{0} dse I{1} d I a1{0} dre I{0} por lo cual g a 1 {0}
P `
y R1
(g I 1 ) [R](a) + [g](0) = (g I 1 ) [R ](a) (1) + r = s [R](a) (1) + r = (s a) + r = 1 , entonces
` P `
(k, f ) N {0} F(N{0})( a1{0}) | Df k {0} 1 = R1
(f I 1 [R](a) + [f ](0) de ((1.58); 31),
y con ((2.7); 38) se obtiene 1 Na , luego i 1 | i Na de ((1.59); 31), por lo tanto 1 Na y con ((2.7); 38) se
concluye 1 S.
` `
Ahora de m S se sigue m Na de ((2.7); 38) y adem as (p, q) N {0} N {0} | q < m + 1 m + 1 =
` ` `
on (1.4.4; 33) y ((1.33; 33), y con (r, s) N{0} N{0} s <
(q a)+p del corolario ((7.1.1; 151), la proposici
m + 1 m + 1 = (s a) + r se tiene:
` ` ` 1{0}
De s = 0 se hace g I a1{0} dse I{1} d I a1{m+1} dre I{0} por lo cual g a 1 {0}
P ` `
y R1
(g I 1 ) [R](a) + [g](0) = (s a) + r con (s a) + r = m + 1 , luego (k, f ) N {0}
P `
F(N{0})( a1{0}) | Df = k {0} m + 1 = Rk
(f I k ) [R](a) + [f ](0) de ((1.58); 31), entonces
m + 1 Na de ((2.7); 38), por lo tanto m + 1 S pues m S .
De 0 < s se sigue s m , luego s Na pues m Na debido a ((2.7); 38) ya que m S , por lo cual
` P `
(k, f ) N {0} F(N{0})( a1{0}) | Df = k {0} s = Rk
(f I k ) [R](a) + [f ](0) nuevamente
` P `
de ((2.7); 38), y con (j, g) N {0} F(N{0})( a1{0}) s = Rj
(g I j ) [R](a) + [g](0) se tiene
`` P ` ` P `
m+1= Rj
(g I j ) [R ](a) + [g](0) a + r , en donde Rj
(g I j ) [R](a) + [g](0) a =
P `` ` `
Rj
(gI j )[R](a) dae + [g](0)a del teorema (5.3.3; 133) y [R ](a)dae = [R](a) IN +d1e debido
` ` ` ` j+1{0}
a ((5.1); 120), ahora de h g I j+1 + d1e d I j+1{0} dre I{0} se sigue h a 1 {0}
` P `` ` ` ` `
y m+1 = Rj
h I j + d1e [R](a) IN + d1e + [h](1) a + [h](0) con [h](1) a =
P ``` ` ` ` ` `` `
R1
h[R ](a) I j+1 I 1 y h I j +d1e [R](a) IN +d1e = h[R ](a) I j+1 I j +d1e ,
` P ``` P ``` `
por lo cual m + 1 = R1 h [R ](a) I j+1 I 1 + Rj
h [R](a) I j+1 I j + d1e + [h](0) ,
P `` `
luego m + 1 = Rj+1
h [R](a) I j+1 del teprema (5.3.2; 132), entonces (k, f ) N {0}
P `
F(N{0})( a1{0}) | Df = k {0} m + 1 = Rk
(f I k ) [R](a) + [f ](0) , luego m + 1 Na de ((2.7);
38) y se concluye m + 1 S pues m S .
7.2. Digitalizaci
on
`
De a N \ {1} b N {0} se obtiene (k, f ) N {0} F(N{0})( a1{0}) | Df = k {0} b =
P ` ` `
Rk
(f I k ) [R ](a) + [f ](0) del teorema (7.1.2; 152), y con (j, g) N {0} F(N{0})( a1{0}) Dg =
P ` ` c
j {0} b = Rj
g k N k gid k 1 \ {0} = {0} y se hace 4
(g I j ) [R](a) + [g](0) se considera a b
` `
ba g mn b g 1 ...[g](0) empleando en su escritura el orden descendente de las potencias, al cual se le llama
representaci on de b con la base a. En particular con 2 1 + 1, 3 2 + 1, 4 3 + 2, 5 4 + 1, 6 5 + 1, 7
P ` ` j{0}
6 + 1, 8 7 + 1, 9 8 + 1, 10 9 + 1 y b = Rj
(g I j ) [R](10) + [g](0) se tiene g 9 {0} ,y
se hace b10 [g](j) [g](j 1)...[g](1) [g](0) que es la representaci
on de b con la base 10 tambien conocida como
representaci
on decimal de b , para la cual usualmente se omite al subndice 10 provocando el que se confunda
a b con g , asi como el que j
amas se este conciente de que una representaci
on decimal de un n
umero natural es una
representaci on cuyo contradominio es 9 {0} . Aunque esto u
on de una funci ltimo sea generalizado, es inaceptable
en quien haya recibido una formaci
on cientfica, por lo que en alg
un momento es indispensable mencionarlo con
cierto detalle.
Conviene que todos los ciudadanos entren en contacto con la verdadera matem
atica,
que es metodo, arte y ciencia, muy distinta de la calculatoria, que es tecnica y rutina. 5
Teorema 7.2.1.
Demostraci on. De R+ R+ \ [0; 1] se sigue n N | < n debido al corolario (4.4.3; 114), y con
m N < m se tiene n N | n [R]]() (n) del teorema (5.2.3; 124) y ((1.60); 31), luego m [R]]() (m)
nuevamente de ((1.60); 31), por lo cual < [R ]]() (m) y se obtiene [R]]() (m) 6 B (0) con [R]]() (m)
R[R]() debido a ((3.16); 68) y ((1.60); 31) ya que D[R ]() = N , entonces p R[R ]() | p 6 B (0) de ((1.58);
31), y con ((2.4); 36) se infiere R[R ]() 6 B (0) , por lo tanto R+ | R[R ]() 6 B (0) de ((1.59); 31), y
alisis previo para un elemento de Q+ {0} se identifica a Qa para una base a incorporando
Con el an
l
on de residuos nulos, y debe ser claro que Qa Q pues el lector puede constatar que 1/3 6 Qa .
la condici
As mismo se le sugiere reflexionar con detenimiento los algoritmos de la multiplicaci
on y divisi
on aprendidos en
la educaci
on primaria, en verdad ingeniosos pero dogm
aticos, y tambien es conveniente justificar los algoritmos
para las conversiones binario a decimal y decimal a binario.
7 V
ease p
ag. 114.
8 En el a
lgebra se dice que c no es divisible por d .
9 Felix Klein (1849-1925), matem
atico alem
an que demostr
o que las geometras m
etricas, eucldeas o no eucldeas, consti-
tuyen casos particulares de la geometra proyectiva.
Bibliografa
[1] M. Alcal
a, La construcci
on del lenguaje matem (2009).
atico, Editorial GRAO
[2] T.M. Apostol, Calculus, Vol.I, One Variable Calculus, with an Introduction to Linear Algebra; Xerox College
Publishing (1967).
[3] R.A. Beaumont y R.S. Pierce, The Algebraic Foundations of Mathematics; Addison Wesley (1963).
[6] R. Courant y F. John; Introduction to Calculus and Analysis, Vol.I ; Wiley-Interscience (1965).
[7] J. Dieudonne, David Hilbert (1862-1943), en Las grandes corrientes del pensamiento matem
atico; F. Le Lion-
nais, EUDEBA (1965).
[8] I.M. Gelfand y A. Shenitzer, Lectures on Linear Algebra; Interscience Publishers (1967).
[9] N.B. Haaser, J.P. LaSalle y J.A. Sullivan, A course in Mathematical Analysis, Vol.I, Introduction to Analysis;
Ginn and Co. (1959).
[10] N.B. Haaser, J.P. LaSalle y J.A. Sullivan, A course in Mathematical Analysis, Vol.II, Intermediate Analysis;
Ginn and Co. (1965).
[11] P.R. Halmos, Naive set theory; D. Van Nostrand Co. (1960).
265
[17] C. Martnez, El concepto de funci
on en la obra de Euler: un recorrido a traves de la constituci
on del An
alisis
Matem
atico Moderno; Miscel
anea Matem
atica 46 (2008) 73-91.
[18] E. Mendelson, Introduction to Mathematical Logic; Fourth Edition, Chapman & Hall/CRC (1997).
[20] M.L. Oleary, The structure of proof: with logic and set theory; Prentice-Hall (2002).
[21] E. Parzen, Modern Probability Theory and its applications; John Wiley & Sons (1960).
266
Indice y simbologa
267
Conjugaci
on de funciones, 76 finito, 136
bola. . . f g , 77 de funciones con dominio en P(X) y contradominio
bola cruz. . . h g , 89 Y . . . FXY , 68
bola mas. . . f g , 161 de funciones con dominio en P(X) y contradominio
bola punto. . . f , 160 en P(Y ) . . . FXY , 69
angulo. . . g
bola tri 4 f , 77 de funciones en A B . . . B A , 64
ac
cruz. . . h g , 89 de funciones acotadas. . . FAR , 153
doble bola. . . g
f , 77 de funciones nones. . . (RA )n , 221
doble bola punto. . . f
, 198 de funciones pares. . . (RA )p , 221
producto. . . h g , 160 imagen directa. . . f id (C) , 71
on. . . f d g , 76
seudouni imagen inversa. . . f ii (C) , 72
suma. . . f + g , 161 Independiente, 238
tri
angulo . . . g 4 f , 77 infinito, 137
triple bola. . . g
f , 77 intersecci
on de colecci
on. . . C , 42
Conjugaci
on l
ogica, 17 n barra. . . n , 111
Conjunci
on de n barra. . . N , 111
on. . . , 17
coimplicaci de permutaciones. . . PA , 146
copulativa. . . , 17 potencia. . . P(A) , 44
0
disyuntiva. . . , 17 e , 210
de subconjuntos finitos no vacios de A . . . A
dual. . . , 17 de subespacios afines. . . AW , 169
on. . . , 17
implicaci de subespacios afines a traves de p . . . AW, p , 169
Conjunci
on presencial dual. . .
o , 15 de subespacios vectoriales de W . . . EW , 164
Conjunto, 35 uni
on de colecci
on. . . C , 40
acotado inferiormente, 101 unitario. . . {} , 55
acotado superiormente, 100 vacio. . . , 49
de bolas abiertas en p . . . B(p) , 153 Conjuntos equivalentes . . . A B , 135
cero barra. . . 0 , 111 Contenci
on
de clases de equivalencia. . . [ ]R , 62 de conjuntos. . . A B , 36
coconjunto, 168 propia de conjuntos. . . A B , 36
complemento. . . AXc , 46 Contradicci
on, 20
contenedor lineal. . . VN , 212 Contradominio de relaci
on, 60
de cotas inferiores. . . Ai , 101 Cortaduras de Dedekind, 97
s
de cotas superiores. . . A , 100 Cota inferior, 101
diferencia. . . A \ B , 42 Cota superior, 100
equivalente. . . A B , 135 Cuantificador, 30
especificado. . . {x X | Px g} , 38
0
coaligado. . . & X | P, y
268
& X | P, , 55 simple, 14
existencial. . . , 31 Escher Maurits Cornelis, 63
existencial con unicidad. . . ! , 64 Espacio
universal. . . , 31 cociente de M . . . W/M , 170
dual. . . V , 188
De Morgan Augustus, 47 de funciones lineales. . . L(V, W ), 185
Dedekind Richard, 37, 97 matricial real. . . (R n ) m , 158
J
Delta de Kronecker para J . . . , 196 de tensores covariantes de orden n en W
Demostraci
on . . . Ln (W ) , 230
directa, 25 vectorial real, 155
inversa, 28 vectorial trivial, 157
por contradicci
on, 28 Espacio cartesiano. . . Rn , 92
Descartes Rene, 4, 14
Esqueleto de f respecto a las bases y . . . f, , 256
Descartes Renato, 260, 261 Estado l
ogico, 14
Dieudonne Jean, 37 falso. . . f, 15
Dimensi
on verdadero. . . g, 15
Dimensi
on. . . dim(V ), 247 Euclides, 28
Finita, 214 Euler Leonhard, 66
Dirichlet Johann, 155
Discusi
on l
ogica, 14 Factorial, 132
on. . . DR , 60
Dominio de relaci Familia, 90
269
creciente, 126 bF
rango. . . R AB , 170
on. . . IB IA , 81
inclusi prebajo de g . . . g , 200
inyecci
on. . . F
, 196 de proyecciones. . . E , 224
on en F asociada a . . . F , 93
inyecci de subespacios afnes a M . . . FW/M , 170
inyecci
on jesima en F asociada a Funcional
mon
otona, 126
Galilei Galileo, 48
multilineal, 229
Gauss Carl, 155
no creciente, 126
Genera, 214
no decreciente, 126
on lineal. . . LA , 211
Generaci
parametrica, 90
G
odel Kurt, 6, 40
potencia en R . . . R , 120
Goethe Johann, 4
potencia n-esima de R . . . IRn , 122
Gr
afica, 67
potencia n-esima. . . f n , 124
Graficaci
on, 67
producto en R n . . . PR n , 132
Grupo algebraico, 102
on de A B . . . p1 AB y p2 AB , 90
proyecci
conmutativo, 102
on jesima de F . . . pj F , 93
proyecci
on. . . [E ](j), 224
Proyecci Hardy Godfrey, 28
F
proyectiva de F . . . P , 92 Hegel Georg, 262
F
proyectiva jesima de F . . . [P ](j) , 93 Hilbert David, 35, 40, 184
1/n
raz n-esima de R . . . IR+ {0} , 129 Hip
otesis, 24
1/n
raz n-esima. . . f , 130 Hume David, 260262
270
Igualdad Morfismo, 185
c
conjuntal. . . = , 39
n-eada. . . (a1 , . . . , an ) , 92
funcional, 65
on. . . R , 19
Negaci
simb
olica, 15
Neutro aditivo de W . . . b
0W , 157
Infimo de A . . . inf(A) , 101
Newton Isaac, 48
Intervalo, 100
Nietzsche Friedrich, 263, 264
abierto. . . (a; b) , 100
N
umeros
cerrado. . . [a; b] , 100
enteros. . . Z , 96, 114
semiabierto. . . [a; b) , 100
irracionales. . . I , 96, 114
Inverso aditivo de q . . . q , 157
naturales. . . N , 96, 110
Isomorfismo, 193
racionales. . . Q , 96, 114
Isomorfos, 193
reales negativos. . . R , 99
Kant Immanuel, 261, 262 reales positivos. . . R+ , 99
`
Kernel. . . f ii b 0W , 188 reales. . . R , 95, 98
Kierkegaard Soren, 263, 264 transfinitos, 137
Klein Felix, 154
Observaci
on. . . H N, 6
Kronecker Leopold, 196
Operaci
on binaria, 80
L
ogica relativa, 14 Operaci
on binaria cerada, 80
Le Lionnais Francois, 237 Operador lineal. . . L(V ), 188
Leibniz Gottfried, 260 Orden total, 102
Ley de Morgan, 23, 47
Par ordenado en A B , 58
Linealmente independiente, 208
Par ordenado. . . (, ) , 57
Mach Ernest, 261, 263 Par
ametro, 89
Mann Thomas, 13 Paradoja de Russell, 38
Matem
atica formal, 5 Partici
on, 99
Matriz Pascal Blaise, 16
asociada, 256 Peano Giuseppe, 97
real, 158, 254 Permutaci
on, 146
tabulaci
on de A . . . TA , 255 Pertenencia impropia. . . 0 , 30
traspuesta de A . . . At , 255 Pertenencia. . . , 36
M
aximo conjuntal. . . m
ax(A) , 143 Poincare Henri, 13, 117, 185
Menor. . . < , 98 Presencia incluyente, 15
Mill John, 262 Principio
Mnimo conjuntal. . . mn(A) , 143 del an
alisis combinatorio, 145
Monoide, 102 de buen orden, 111
271
de identidad, 16 Relaci
on, 60
de inducci
on matem
atica, 113 antisimetrica, 62
de no contradicci
on, 15 biyectiva, 61
de tercero excluido, 14 clase de equivalencia. . . [a]R , 62
Proceso invocativo de equivalencia, 62
de funciones por inducci
on, 117 inyectiva, 61
de funciones, 69 reflexiva, 61
Producto simetrica, 61
cartesiano. . . F , 91 suprayectiva, 60
cartesiano simple. . . A B , 58 transitiva, 62
con escalar, 156 Rengl
on de matriz, 158
matricial. . . k, m m, n , 255 Renyi Alfred, 7
Propiedad arquimideana, 113 Representaci
on de b con la base a . . . ba , 153
Proposici
on l
ogica, 15 Representaci
on decimal de b . . . b10 , 153
abierta, 16 Residuo de divisi
on, 150
compuesta, 17 Riemann Georg, 163
con predicado, 30 Rivero Enrique, 3
semiabierta, 30 Russell Bertrand, 34, 38, 116, 135, 256, 263
Proposici
on
Santal
o Luis, 153
fundamental de recurrencia, 117
Sartre Jean-Paul, 264
fundamental del an
alisis combinatorio, 145
Segmento dirigido, 156
de inducci
on matem
atica finita, 112
Semi
otica, 15
on. . . RR , 60
Rango de relaci Serie
P
Reducci
on al absurdo, 27, 53, 54 Finita. . . , 173
on. . . P . Q, 26
Regla de concatenaci Infinita, 173
P
Regla de correspondencia, 69 Suma. . . (n), 173
P
Regla de inferencia, 24 Serie de . . . , 132
adici
on, 25 Signo negativo, 99
dilema constructivo, 25 Signo positivo, 99
dielma destructivo, 25 Silogismo, 14
modus ponens, 24 Smbolo, 15
modus tollens, 25 abierto, 16
silogismo disyuntivo, 25 equivalente, 21
silogismo hipotetico, 25 incompleto, 86
simplificaci
on, 25 semiabierto, 30
Regla de reemplazo, 27 Soluciones de ecuaci
on, 76
272
Stormer Carl, 149 Withehead Alfred, 135
Suarez Francisco, 260 Wittgenstein Ludwing, 263
Subespacio Wolf Christian V Wolff, 259
afn, 168
Zermelo Ernst, 37, 47
invariante bajo f , 190
vectorial, 164
Subespacios complementarios, 220
Suma
de conjuntos. . . M + N , 166
Directa, 217
de familia. . . IP (W ) E , 214
Finita. . . ] , 180
vectorial, 156
Sumatoria. . . (IP (W ) E) , 214
Supremo de A . . . sup(A) , 100
Termino de familia, 90
Tautologa, 20
Tensor
covariante, 230
Teorema
de recurrencia, 120
segundo fundamental del c
alculo, 162
matem
atico, 27
de vacuidad, 50
Tesis, 24
Transposici
on, 176
Traslaci
on, 168
Weil Andre, 49
273