Professional Documents
Culture Documents
matemática formal
Versión inconclusa
. . . perseverancia
5 de febrero de 2018
Mario F. Rosales
c Mario Francisco Rosales González (México).
mfrosales@ciencias.unam.mx
https://sites.google.com/site/marioterosales/
ISBN-13:
Mathematics Subject Classification: MSC-97E40
LATEX 2E
ii
Con profundo respeto y agradecimiento a mi alma máter
y a mis maestros, en especial: Enrique Rivero Borrell † ,
Arturo Fregoso Urbina † y Thomas A. Brody Spitz † .
iii
A mis padres: Mario Rosales Piña † y Dora González Meléndez † . . .
siempre presentes.
iv
Prólogo
v
cias 3 , sin desdeñar la necesidad de incorporar simultáneamente otros cursos
también obligatorios sobre filosofı́a e historia de la ciencia.
vi
presenta a la lógica en términos subjetivos y causales, un planteamiento hete-
rodoxo apropiado al razonamiento matemático (la lógica de la matemática) que
difiere de la lógica formal tradicional (la matemática de la lógica). Esto lleva a
innovaciones en el simbolismo de la lógica y de la matemática que provienen de
la necesidad, no son una necedad como opinan algunos detractores, ya que se
requieren sı́mbolos nuevos para representar a entes diferentes, aún cuando estén
relacionados con los tradicionales. Su complejidad está directamente vinculada
a la de los entes, por lo que se necesitan sı́mbolos más sofisticados para expresar
una idea más dicente o acabada.
M.F. Rosales
Facultad de Ciencias, UNAM
Febrero de 2018.
vii
Sobre el desarrollo del libro:
viii
F Notificaciones al lector:
ix
– In memoriam –
Bertrand Russell
Henri Poincaré
David Hilbert
Georg Cantor
x
Johann Dirichlet
Adolf Fraenkel
Fiedrich Frege
Ernst Zermelo
xi
Stefan Banach
Leopold Kronecker
Serge Lang
Bernhard Riemann
xii
“Todas mis prescripciones y descripciones del cómo llegar a ser matemático
provienen, inevitablemente, de mis intentos de serlo. Nadie puede decir
qué debe hacer un matemático, y no estoy completamente seguro de saber lo
que hacen, solo puedo decir lo que he hecho. . . enseñé, escribı́ y hablé de la
matemática durante cincuenta años, y estoy contento de ello.
Deseé ser matemático y aún lo pretendo.” 11
Paul R. Halmos.
11 En [15].
xiii
“Leer un libro enseña más que hablar con su autor;
porque el autor, en el libro, solo ha puesto sus mejores pensamientos.” 12
xiv
Contenido
1. Lógica 1
1.1. Introducción . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.4. Cuantificadores . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
2. Teorı́a de conjuntos 37
2.1. Introducción . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
2.2. Axiomas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
2.3. Consecuencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
xv
2.4. Producto cartesiano y relaciones . . . . . . . . . . . . . . . . . 77
3. Funciones 85
3.1. Generalidades . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
xvi
5. Conjuntos finitos 183
xvii
8. Funciones lineales 285
xviii
10.3. Producto escalar . . . . . . . . . . . . . . . . . . . . . . . . . . 425
xix
14.2. Compacidad secuencial . . . . . . . . . . . . . . . . . . . . . . . 549
15.Diferenciación 551
xx
15.8. Primera variación y ecuación de Euler . . . . . . . . . . . . . . 664
Apéndices 665
Bibliografı́a 693
xxi
xxii
Capı́tulo 1
Lógica
1
Henri Poincaré
1
Lógica
2 La filosofı́a no es conocimiento de las cosas, sino la reflexión sobre ellas de una manera no
empı́rica ( por lo que no es una ciencia).. . es el amor a la sabidurı́a. En ella se estudian una
variedad de problemas fundamentales tales como la existencia, el conocimiento, la verdad, la
moral, la belleza, la mente y el lenguaje.
3 Formulada por primera vez por Aristóteles (aprox. 384 a.C.-322 a.C.), filósofo griego
considerado como el autor enciclopédico más portentoso que haya dado la humanidad.
4 Originada por George Boole (1815-1864), matemático y filósofo inglés también creador
del álgebra booleana.
5 Thomas Mann (1875-1955) escritor alemán, uno de los escritores europeos más impor-
tantes de su generación y recordado principalmente por su profundo análisis crı́tico social,
recibió el premio Nobel de literatura en 1929 por su novela “Los Buddenbrook”.
1.1. Introducción
“He advertido hace ya algún tiempo que, desde mi más temprana edad, habı́a
admitido como verdaderas muchas aseveraciones falsas, y que lo edificado
después sobre cimientos tan poco sólidos tenı́a que ser muy dudoso e
incierto.” 9
cuando no lo excluye, por lo que aquı́ se les llama sı́mbolos abiertos, y en esta
sección se sistematiza su uso para futuras discusiones en las que los sı́mbolos
representen entes especı́ficos o se les impongan algunos atributos.
“ Hay al menos otras dos cosas que la matologı́a no es; una de ellas
es algo que nunca fue. . . los cálculos algorı́tmicos, y la otra es algo que alguna
14 En ocasiones llamada fı́sica matemática.
15 Paul Richard Halmos (1916-2006), destacado matemático estadounidense (nacido en
Hungrı́a) con aportaciones al análisis funcional y autor de diversos textos excepcionales de
matemáticas.
Conjunción coimplicación
(A ↔ B)g! (Agy Bg) o (Afy Bf) , (A ↔ B)f! (Agy Bf) o (Afy Bg)
Conjunción implicación
(A → B)g! (Agy Bg) o (Afy Bf) o (Afy Bg) , (A → B)f! (Agy Bf)
Conjunción dual
(A ∨ B)g! (Agy Bg) o (Agy Bf) o (Afy Bg) , (A ∨ B)f! (Afy Bf)
Conjunción copulativa
(A ∧ B)g! (Agy Bg), (A ∧ B)f! (Agy Bf) o (Afy Bg) o (Afy Bf)
Conjunción disyuntiva
(A ∨0 B)g! (Agy Bf) o (Afy Bg) , (A ∨0 B)f! (Agy Bg) o (Afy 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
al teorema (5.4.1; 201) todas ellas excluyentes, entonces de (1.1; 10) y para el
sı́mbolo P ∨0 (Q ∨0 R) se tiene
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 g
P f y Q f y Rg g f (1.2)
P g y Q g y Rf g g
P g y Q f y Rf f f
P f y Q g y Rf g g
P f y Q f y Rf f f
también de X ≡ (P → Q) ∧ (Q → R) ∧ (Q ∨ R) con (1.1; 10) se sigue
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
tiene
hP ∨ Qi hR ∧ Si hXi hP ∧ R hQ ∧ Si hY 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
(Ag)g = A g g y (Ag)f = A f g
(1.4)
y (Af)g = A f g y (Af)f = A g g .
entonces ¬(¬A) g = (¬A) f g y ¬(¬A) f = (¬A) g g, además
¬(¬A) g = A g g y ¬(¬A) f = A f g (Doble negación) . (1.6)
(C 6= B)g = (C = B) f g y (C 6= B)f = (C = B) g g
y
(1.7)
¬(C 6= B) g = (C = B) g g y ¬(C 6= B) f = (C = B) f g
P g y Qg f f f f g
P g y Qf g g f g f
P f y Qg g f f g f
P f y Qf f f g g g
(1.8)
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
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
luego
A ∨ (B ∨ ¬ B) tautologı́a . (1.11)
hA ∨ Bi ¬(A ∧ B) hXi A ∨0 Bi hX ↔ (A ∨0 B)
A g y Bg g f f f g
A g y Bf g g g g g
A f y Bg g g g g g
A f y Bf f g f f g
entonces
(A ∨ B) ∧ ¬(A ∧ B) ⇔ (A ∨0 B) . (1.12)
Con A ↔ A se tiene
(A ∧ B) ∧ C ⇔ A ∧ (B ∧ C)
(Asociativas) (1.27)
(A ∨ B) ∨ C ⇔ A ∨ (B ∨ C)
A ∨ (B ∧ C) ⇔ (A ∨ B) ∧ (A ∨ C)
(Distributivas) (1.28)
A ∧ (B ∨ C) ⇔ (A ∧ B) ∨ (A ∧ C)
(A → B) ⇔ (¬B → ¬A)
(Contrapositiva) (1.29)
¬(A ∧ B) ⇔ (¬A ∨ ¬B)
(Morgan) (1.30)
¬(A ∨ B) ⇔ (¬A ∧ ¬B)
(A ↔ B) ⇔ (A → B) ∧ (B → A)
(Equivalencias materiales)
(A ↔ B) ⇔ (A ∧ B) ∨ (¬A ∧ ¬B)
(1.31)
(A ∧ B) → C ⇔ A → (B → C) (Exportación). (1.32)
l
Como ejercicio se deja al lector la verificación de las siguientes reglas de infe-
rencia:
(A → B) ∧ (D → C) ∧ (¬B ∨ ¬C) g ` (¬A ∨ ¬D)g (Dilema destructivo)
(1.37)
(A → B) ∧ (B → D) g ` (A → D) g (Silogismo hipotético) (1.38)
(A ∨ B) ∧ (¬A) g ` B g (Silogismo disyuntivo) (1.39)
Ag ` (A ∨ B) g (Regla de adición) (1.40)
1. Para la hipótesis (A ∧ B) → ¬C ∧ (A ∧ B) g y la tesis Cf, se tiene
(¬C)g debido a la hipótesis y ((1.33); 21), luego Cf de ((1.5); 13), de
lo cual se concluye (A ∧ B) → ¬C ∧ (A ∧ B) g ` Cf.
2. Con la hipótesis (Q ∨ R) → P
∧ ¬ P g y la tesis (¬Q ∧ ¬R)g, se
sigue ¬(Q ∨ R) g debido a ((1.34); 21), luego ¬Q ∧ ¬R) g de (1.30;
19), obteniéndose (Q ∨ R) → P ∧ ¬P g ` (¬Q ∧ ¬R)g.
3. Para la hipótesis (P → Q) ∧ (Q → R) ∧ ¬R g y la tesis (Q ∧ P )g, se
tiene (P → Q) ∧ (Q → R) g y (¬R)g, luego (¬Q ∨ ¬R)g de ((1.40);
22), por lo cual (P → Q) ∧ (Q → R) ∧ (¬Q ∨ ¬R) g , entonces
(¬Q ∨ ¬P )ig de ((1.37); 22), y de (1.30; 19) y ((1.5); 13) se concluye
(P → Q) ∧ (Q → R) ∧ ¬R g ` (Q ∧ P )f.
30 En esto hay corrientes, estilos e incluso modas, de allı́ que se diga apropiadamente que
hay similitud con el arte.
hS ↔ T i hT ↔ U i hS ↔ U i
S g y T g y Ug g g g
S f y T f y Uf g g g
entonces
S⇔T y T ⇔U (S ⇔ U ) . (1.41)
hP ↔ Qi h¬P ↔ ¬Qi
P g y Qg g g
P f y Qf g g
(P ⇔ Q) ! (Q ⇔ P ) . (1.43)
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 ⇔ Q) (P G R) ⇔ (Q G R) (Regla de reemplazo) (1.44)
31 Como casos particulares se tienen a los lemas, los corolarios y las proposiciones.
32 En ocasiones, por convenir a la redacción no es explı́cita la concatenación y el preámbulo
es la hipótesis.
Qg ` (¬H) g y (¬ T )g ` Q g (Hg ` T g) (Contradictoria) .
(1.48)
La necesidad de identificar la proposición hQi con el comportamiento
mencionado hace difı́cil esta demostración, y por ello su uso es raro.
T f y (Hg ` T g) Hf (1.49)
T g y (Hg ` T f) H f. (1.50)
P g ` Q g y (¬P )g ` Q g Qg. (1.51)
y como (P f y Qg) o (P g y Qf) (P ∨0 Q)g de ((1.1); 10) se obtiene
(¬P )g ` Q g (P f o Qf) (P ∨0 Q ) g . (1.52)
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
debido a ((1.8); 14), luego (¬R)g ` (¬P )g de ((1.5); 13), y nuevamente con
((1.47); 27) se obtiene
(P ∧ Q)g ` R g y (P ∧ ¬Q)g ` R g (P g ` Rg) . (1.53)
(¬Q ∧ R)g ` P f (R ∧ P )g ` Q g . (1.54)
1.4. Cuantificadores
(η ∈ X ∧ Pη )g ` (∃ x ∈0 X | Px g) g . (1.58)
Obsérvese que es absurdo plantear 39 (∃ x ∈0 X | Pxg) g (x ∈0 X Px g) asi
39 Ya que de ((1.59), 32) se seguirı́a (∃ x ∈0 X | Px g) g (∀ x ∈0 X | Px g)g.
0 0
x ∈ X | Pxg)g a ` ∀ x ∈ X | (¬Px) g g .
(∃ (1.62)
41
Proposición 1.4.3. Sean X un conjunto y hPx i , hQx i .
∃ x ∈0 X | (Px ∧ Qx ) g g ` (∃ x ∈0 X | Pxg) ∧ (∃ x ∈0 X | Qxg) g .
Demostración.– Para η ∈ X ∧ (Pη ∧ Qη ) g se tiene (η ∈ X ∧ Pη )g y
(η ∈ X ∧ Qη )g debido a ((1.1); 10, luego (∃ x ∈0 X | Px )g y (∃ x ∈0 X | Qx )g
de ((1.58); 31), por lo tanto (∃ x ∈0 X | Pxg) ∧ (∃ x ∈0 X | Qx g) g.
41
`
A diferencia de la proposición ((1.4.2); 33) que establece una coinferencia, de (∃ x ∈
´ ` ´
X | Px g) ∧ (∃ x ∈ X | Qx g) g no se infiere ∃ x ∈ X | (Px ∧ Qx ) g g.
Demostración.–
l
es análoga y se deja al lector.
0
0
x ∈ X | (¬Px) g g a ` (∀ x ∈ X | Px g)g
∃
y ∃ x ∈0 X | (¬Px ) g g a ` ¬(∀ x ∈0 X | Px g) g .
Teorı́a de conjuntos
“Me parece que (la teorı́a de conjuntos) es la más maravillosa floración del
espı́ritu matemático y, sin duda, una de las más altas aportaciones de la
serena y pura actividad de la inteligencia humana”.
David Hilbert 1
2.1. Introducción
37
2.1 Introducción Teorı́a de conjuntos
que en este caso llevarı́a a “pienso a los conjuntos, luego existen”, pero siempre
con conciencia de que su naturaleza es difusa.
2 Lo cual no exige que los contenga, permitiendo la existencia del conjunto vacio.
3 Interpretando a Cantor: “Un conjunto es el efecto de la reunión de objetos que son
diferentes en nuestro pensamiento”.
4 Traducción de latı́n: pienso, luego existo. En Discours de la Méthode de René Descartes
op. cit. pág.4; por este argumento lo ubican en la posición idealista más extrema, el idealismo
subjetivo o solipsismo, en donde se plantea que el ser no es; sólo existe el pensamiento del
sujeto pensante.. .
(A ⊆ B ∧ B ⊆ C)g ` (A ⊆ C) g . (2.6)
2.2. Axiomas
“Más que por sus geniales descubrimientos, es quizá por el sesgo de su espı́ritu
que Hilbert ha ejecido la más profunda influencia en el mundo matemático;
el enseñó a los matemáticos a pensar axiomáticamente, es decir
a tratar de reducir cada teorı́a a su esquema lógico más estricto, por su
necesidad ardiente de comprender, por su probidad intelectual
cada vez más exigente y por su infatigable aspiración de una ciencia cada vez
5 La palabra proviene del griego y se asocia a “lo que parece justo”, también se dice que
se refiere a “una verdad obvia que no requiere comprobación”.. .
8
La teorı́a de conjuntos de Zermelo – Frankel 9 cuya primera presentación
formal se debe a Cantor 10 , Frege 11 y Dedekind 12 , es un ejemplo excelente de
teorı́a axiomática 13 .
p ∈0 A ∃ r ∈0 SA | (r = p) g g y p ∈0 SA ∃ r ∈0 A | (r = p) g g . (2.7)
Axioma de Extensión.- Dos conjuntos son “iguales” cuando poseen los mis-
mos elementos (la misma extensión).
(A 6= B)g a ` (B 6⊆ A ∨ A 6⊆ B) g . (2.13)
(A = B ∧ B = C)g ` (A = C) g . (2.14)
(y ∈ X) g (y 6∈ X)g ` (x 6= y) g debido a ((1.47); 27), se obtiene
(x ∈ X) g (y 6∈ X)g ` (x 6= y) g .
η ∈0 ∪ C ∃ A ∈0 C | (η ∈ A) g g y ∃ A ∈0 C | (η ∈ A) g g (η ∈ ∪ C)g
(2.18)
por lo cual de ((1.59); 32) se sigue
∀ ξ ∈0 ∪ C | ∃ A ∈0 C | (ξ ∈ A) g g (2.19)
20 Johann Ludwing von Neumann (1903-1957), fı́sico matemático húngaro que contribuyó a
la mecánica cuántica, la lógica matemática, análisis numérico y la cibernética, alumno de
Einstein y además asistente de Hilbert.
21 Paul Isaac Bernays (1888-1977), matemático zuizo con aportaciones importantes a la
teorı́a de conjuntos, lógica y filosofı́a, quien además fue estrecho colaborador de Hilbert.
(D ∈ C)g ` (D ⊆ ∪ C) g . (2.21)
∀ A ∈0 C | (A ⊆ B) g g ` ( ∪ C ⊆ B) g . (2.22)
(C ⊆ D)g ` (∪ C ⊆ ∪ D) g .
Demostración.– Se tiene ∀ c ∈0 C | (c ∈ D) g g y de (ξ ∈ ∪ C)g se sigue
∃ c ∈0 C | (ξ ∈ c) g g debido a ((2.18); 47), y con (η ∈ C ∧ ξ ∈ η)g se infiere
(η ∈ D)g de ((1.1); 10) y ((1.60); 32), luego (η ∈ D ∧ ξ ∈ η)g, por lo cual
∃ d ∈0 D | (ξ ∈ d) g g debido a ((1.58); 31), entonces (ξ ∈ ∪ D)g de ((2.18);
47), por lo tanto (ξ ∈ ∪ C)g ` (ξ ∈ ∪ D)g y con ((1.59); 32) se obtiene
∀ c ∈0 ∪ C | (c ∈ ∪ D) g g, concluyéndose (∪ C ⊆ ∪ D)g.
y ∃ D ∈0 {A, B} | (ξ ∈ D) g g debido a ((1.1); 10) y ((2.18); 47), entonces
(ξ ∈ A)g, obteniéndose (ξ ∈ A ∧ ξ 6∈ B)g, por lo tanto x ∈0 A \ B (x ∈
A ∧ x 6∈ B)g y de ((1.59); 32) se sigue
∀ x ∈0 A \ B | (x ∈ A ∧ x 6∈ B) g g (2.25)
(A \ B ⊆ A) g . (2.26)
(ξ ∈ A ∧ ξ 6∈ A \ B)g ` (ξ ∈ B) g . (2.28)
l
De modo análogo, para un conjunto C el lector puede demostrar
(A ⊆ C)g ` (A \ C = ∅) ∧ (A \ B ⊆ C \ B) g (2.29)
y también
(A \ B) \ C = A \ (B ∪ C) g . (2.30)
(p ∈ A ∩ B)g a ` (p ∈ A ∧ p ∈ B) g . (2.35)
A ∩ B = A \ (A \ B) g . (2.39)
l
Ası́ mismo el lector puede demostrar
(A ∪ B) \ (A \ B) = B g (2.40)
y como (A ∪ B) \ (A \ B) ∪ (B \ A) = (A ∪ B) \ (A \ B) \ (B \ A) g de
((2.30); 50) con (A∪B) \ (A \ B) \ (B \ A) = B \ (B \ A) g debido a ((2.40);
53) y B \ (B \ A) = A ∩ B g de ((2.39); 53), se obtiene
(A ∪ B) \ (A \ B) ∪ (B \ A) = A ∩ B g (2.41)
l
y con un conjunto C el lector también puede verificar que se sigue
(A ∩ B) \ C = A ∩ (B \ C) g . (2.42)
Cuando en una discusión se considera un conjunto X y C ⊆ P(X) g,
de ξ ∈0 ∪ C se sigue ∃ A ∈0 C | (ξ ∈ A)g g debido a ((2.18); 47), y con (M ∈ C)g
y (ξ ∈ M )g se tiene M ∈ P(X) g de ((1.60); 32), luego (M ⊆ X)g de ((2.43);
54) y ((1.55); 31), por lo cual (ξ ∈ X)g nuevamente ((1.60); 32), entonces
∀ p ∈0 ∪ C | (p ∈ X) g g debido a ((1.59); 32), por lo cual (∪ C ⊆ X)g y con
((2.43); 54) se obtiene
C ⊆ P(X) g ` ∪ C ∈ P(X) g (2.49)
l
y de manera análoga el lector puede demostrar
C ⊆ P(X) g ` ∩ C ∈ P(X) g. (2.50)
Demostración.– De B ∈ P(A) g se sigue (B ⊆ A)g debido a ((2.43); 54)
con ((1.55); 31), luego (B ⊆ X)g de ((2.6); 40) pues (A ⊆ X)g, por lo cual
B ∈ P(X) g nuevamente de ((2.43); 54), entonces D ∈0 P(A) D ∈ P(X) g,
y con ((2.3); 39) se concluye P(A) ⊆ P(X) g.
A ⊆ P(X) g ` ∀ D ∈0 A | (D ⊆ X) g g . (2.52)
Finalmente, para un conjunto X y A ∈ P(X) g se conviene en ha-
cer 23 AX c ≡ X \ A llamándolo complemento de A en X, luego de ξ ∈
AX c se sigue ξ ∈ X ∧ ξ 6∈ A debido a ((2.25); 50) y ((1.60); 32), y con ((1.59);
32) se obtiene
(∀ p ∈ AX c | p 6∈ A)g (2.53)
además (A ∪ AX c ⊆ X)g debido a ((2.22); 48) ya que (AX c ⊆ X)g de ((2.26);
50), 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 (ξ ∈ AX c ) g de ((2.8); 43),
entonces ∃ B ∈0 {A, AX c} | (ξ ∈ B) g g debido a ((1.58); 31), y con ((2.18);
47) se obtiene (ξ ∈ A ∪ AX c )g, entonces ∀ x ∈0 X | (x ∈ A ∪ AX c ) g g de
((1.59); 32), por lo tanto (X ⊆ A ∪ AX c )g y con ((2.12); 45) se concluye
A ∈ P(X) g ` (A ∪ AX c = X) g . (2.54)
23
` ´
Cuando en una discusión es claro que se tiene A ∈ P (X) g se acostumbra omitir al
subı́ndice X .
Además, de ((2.36); 52) se sigue (A = X ∩ A)g, luego A = X \ (X \ A) g
debido a ((2.39); 53), entonces
c
A = (AX c )X g (2.55)
y cuando para C ⊆ P(X) g se hace CX c ≡ M ∈0 P(X) k ∃ R ∈ C | RX c = M
se obtienen las leyes de Morgan 24 para complementos
c c
(∩ C)X = ∪ CX c ∧ (∪ C)X = ∩ CX c g (2.56)
c c
pues de ((2.50); 55) se puede considerar (∩ C)X , y con η ∈0 (∩ C)X se sigue
(η ∈ X ∧ η 6∈ ∩ C)g debido a ((2.25); 50) y ((1.60); 32), luego (η ∈ X)g y
η ∈ ∪ C ∧ ∀ A ∈0 C | (η ∈ A) g f de ((2.31); 51) y ((1.47); 27), y con ((1.1; 10)
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 presentándose los
siguientes casos:
Con (M ∈ C)g y de (η 6∈ ∪ C)gy ∀ A ∈0 C | (η ∈ A)g g se sigue η 6∈ ∪ C ∧
∀ A ∈0 C | (η ∈ A)g g, luego η 6∈ ∪ C ∧ ∀ A ∈0 C | (η ∈ A)g g ` (η 6∈ ∪ C)g
de ((1.36); 22), pero además se infiere (η ∈ M )g debido a ((1.60); 32),
y como (M ⊆ ∪ C)g de ((2.21); 48), se obtiene (η ∈ ∪ C)g de ((1.60);
32), 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.46); 26), estableciéndose 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; 35) y ((1.47); 27), y con (Q ∈ C)g y (η 6∈ Q)g se tiene (η ∈ QX c )g
de ((2.8); 43) pues (η ∈ X)g y (X ∪ Q = X)g, luego ∃ A ∈0 CX c | (η ∈
AX c ) g g debido a ((1.58); 31) pues (Q ∈ CX c )g de ((2.8); 43), y con
((2.18); 47) se obtiene (η ∈ ∪ CX c )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
(η ∈ ∪ CX c )g.
c
Por lo tanto ∀ p ∈0 (∩ C)X | (p ∈ ∪ CX c )g g debido a ((1.59); 32) y se obtiene
c
(∩ C)X ⊆ ∪ CX c g.
Ahora, de η ∈0 ∪ CX c se sigue ∃ A ∈0 CX c | (η ∈ A) g g debido a ((2.18); 47), y
con (Q ∈ CX c )g y (η ∈ Q)g se tiene (QX c ∈ C)g de ((2.55); 57) y (η 6∈ QX c )g
de ((2.27); 50), 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; 35), luego η ∈ ∪ C ∧ ∀ A ∈0 C | (η ∈
A) g f de ((1.1); 10), y con ((2.31); 51) y ((1.47); 27) se obtiene (η 6∈ ∩ C)g,
además (η ∈ X)g de ((2.49); 55) con ((2.43); 54), ((1.55); 31) y ((1.60); 32),
c
dado que CX c ⊆ P(X) g de ((2.10); 43), por consiguiente η ∈ (∩ C)X g
debido a ((2.8); 43) ya que η ∈ X ∪ (∩ C) g pues X = X ∪ (∩ C) g, y
c
con ((1.59); 32) se infiere ∀ p ∈0 ∪ CX c | p ∈ (∩ C)X g g, por lo tanto
∪ CX c ⊆ (∩ C)X c ) g, concluyéndose (∩ C)X c) = ∪ CX c g de ((2.12); 45).
l
La demostración del otro enunciado se deja al lector, el cual también puede
verificar al caso particular
A ∈ P(X) ∧ B ∈ P(X) g ` (A ∩ B)X c = AX c ∪ BX c g (2.57)
c
y de ((2.55); 57) se sigue (AX c ∩ BX c )X = A ∪ B g, por lo cual se obtiene
c c c c c
(AX c ∩ BX c)X X = (A ∪ B)X g, pero (AX c ∩ BX c )X X = AX c ∩
BX c g de nuevo con ((2.55); 57), entonces
A ∈ P(X) ∧ B ∈ P(X) g ` AX c ∩ BX c = (A ∪ B)X c g . (2.58)
Axioma de Elección (Cantor-Zermelo).- El producto cartesiano (genera-
lizado) de una familia de conjuntos no vacios es no vacia.
2.3. Consecuencias
27 En Dialogo sopra i due massimi sistemi del mondo (1630) de Galileo Galilei (1564-1642)
(Diálogos referentes a los dos grandes sistemas del mundo (véase [22] pág.14)), quien fue un
filósofo, matemático y fı́sico italiano que estuvo relacionado estrechamente con la revolución
cientı́fica; Albert Einstein lo llamó acertadamente ”padre de la ciencia moderna”.
28 Isaac Newton(1643-1727), fı́sico, filósofo, y matemático inglés, autor de Philosophiae
naturalis principia mathematica (1687).
29 Conviene mencionar que aunque las grafı́as manuscritas de la letra griega phi minúscu-
la, phi mayúscula y el conjunto vacio son muy semejantes, tipográficamente se distiguen
fácimente pues respectivamente se usa φ, Φ y ∅ .
(ξ ∈ A)g ` (ξ 6∈ ∅X )g (2.62)
por consiguiente (ξ ∈ A ∧ ξ 6∈ ∅X )g, luego ∃ a ∈0 A | (a 6∈ ∅X ) g g de ((1.58);
31), y con ((2.5); 39) se sigue (A 6⊆ ∅X )g, por lo tanto (∅X ⊆ A ∧ A ⊆ ∅X )f
debido a ((2.60); 61) con ((1.1); 10), y de ((2.12); 45) con ((1.47); 27) se obtiene
(A 6= ∅X )g, concluyéndose
(ξ ∈ A)g ` (A 6= ∅X )g (2.63)
l
de lo cual el lector puede demostrar
(ξ ∈ X ∧ A = ∅X )g ` (ξ ∈
/ A) g. (2.64)
Teorema 2.3.1. Sean X un conjunto, A ∈ P(X) g y hPX i .
0
a ∈ A | Pa g) g .
(A ⊆ ∅X )g ` (∃
a ∈ A | Pa g) g se sigue (∃ a ∈ A | Pag)g, y como
0 0
Demostración.– De ¬(∃
con (ξ ∈ A ∧ Pa)g se tiene (ξ ∈ A)g de ((1.36); 22), entonces (ξ 6∈ ∅X )g debido
a ((2.62); 61), luego (ξ ∈ A ∧ ξ 6∈ ∅X )g, por lo cual ∃ a ∈0 A | (a 6∈ ∅) g g de
((1.58); 31), y con ((2.5); 39) se obtiene (A 6⊆ ∅X )g, es decir ¬(A ⊆ ∅X ) g,
a ∈ A | Pa g)g debido a ((1.47); 27).
0
concluyéndose (A ⊆ ∅X )g ` (∃
(∅A = ∅X ) g .
(∪C =
6 ∅)g a ` ∃ A ∈0 C | (A 6= ∅) g g .
Demostración.– De ( ∪ C =
6 ∅)g se sigue ∃ p ∈0 ∪ C | (p = p) g g, y con
(ξ ∈ ∪ C)g y (ξ = ξ)g se tiene ∃ A ∈0 C | (ξ ∈ A) g g debido a ((2.18);
47), y con (M ∈ C)g y (ξ ∈ M )g se infiere (M 6= ∅)g de ((2.62); 61), luego
l
∃ A ∈0 C | (A 6= ∅) g g debido a ((1.58); 31). Se deja al lector la demostración
de la otra regla de inferencia.
(A ∪ B 6= ∅)g a ` (A 6= ∅ ∨ B 6= ∅) g . (2.67)
Teorema 2.3.5. Sea C una colección de conjuntos.
(∩C =
6 ∅)g a ` ∃ ξ ∈0 ∪ C | ∀ A ∈0 C | (ξ ∈ A) g g g .
0
Demostración.– De ( ∩ C = 6 ∅)g se tiene η ∈ ∪ C k ∀ A ∈0 C | (η ∈ A) g
g 6= ∅ g, luego ∃ ξ ∈0 ∪ C | ∀ A ∈0 C | (ξ ∈ A) g g g del teorema (2.3.2;
63) dado que ∪ C ∈ P ∪ C g de ((2.46); 54). Ahora, de ∃ ξ ∈0 ∪ C | ∀ A ∈0
C | (ξ ∈ A) g g g también se sigue η ∈0 ∪ C k ∀ A ∈0 C | (η ∈ A) g g 6= ∅ g,
entonces (∩ C =
6 ∅) .
(A ∩ B 6= ∅)g ` (A 6= ∅ ∧ B 6= ∅) g . (2.68)
Además, 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; 35), con el teorema
(2.3.5; 65) y ((1.47); 27) se obtiene
( ∩ C = ∅)g a ` ∀ ξ ∈0 ∪ C | ∃ A ∈0 C | (ξ 6∈ A) g g g . (2.69)
Demostración.– De ∃ x ∈0 X | (x = x) g g y con (ξ ∈ X ∧ ξ = ξ)g se tiene
0
(X 6= ∅)g debido a ((2.63); 62). Ahora, de (X 6= ∅)g se sigue x ∈ X k (x =
x) g 6= ∅ g de ((2.15); 46), luego ∃ ξ ∈0 X | (ξ = ξ) g g del teorema (2.3.2;
63).
(A \ B 6= ∅)g a ` (A 6⊆ B) g .
Demostración.– De (A \ B 6= ∅)g se sigue ∃ x ∈0 A \ B | (x = x) g g del
teorema (2.3.6; 66), y con (ξ ∈ A \ B ∧ ξ = ξ)g se tiene (ξ ∈ A \ B)g de ((1.36);
22), por lo cual (ξ ∈ A ∧ ξ 6∈ B)g debido a ((2.25); 50) y ((1.60); 32), entonces
∃ x ∈0 A | (x 6∈ B) g g de ((1.58); 31), y de ((2.5); 39) se obtiene (A 6⊆ B)g.
Ahora, de (A 6⊆ B)g se sigue ∃ x ∈0 A | (x 6∈ B) g g de ((2.5); 39), y con
(ξ ∈ A ∧ ξ 6∈ B)g se tiene (ξ ∈ A)g y (ξ 6∈ B)g de ((1.1); 10), luego (ξ ∈ A∪ B)g
de ((1.60); 32), pues se tiene (ξ ∈ A ∧ ∀ x ∈ A | (x ∈ A ∪ B) g g debido a ((2.21);
48), entonces (ξ ∈ A ∪ B ∧ ξ 6∈ B)g , por lo cual (ξ ∈ A \ B)g de ((2.8); 43), y
de ((2.63); 62) se concluye (A \ B 6= ∅)g.
c
(A = ∅A ) g . (2.73)
30 Obsérvese que en este caso no es válido considerar ∅c , pues los complemetos son realtivos
a un conjunto especı́fico.
luego ∀ a ∈0 A | (a ∈ A \ ∅) g g de ((1.59); 32), por lo cual (A ⊆ A \ ∅)g y con
((2.12); 45) se infiere
(A \ ∅ = A) g . (2.74)
(A ∩ B = ∅)g ` (A \ B = A) g . (2.75)
(A \ B) ∩ B = ∅ g .
Demostración.– De (A \ B) ∩ B 6= ∅ g se sigue ∃ p ∈0 (A \ B) ∩ B | (p =
p) g g debido al teorema (2.3.6; 66), y con ξ ∈ (A \ B) ∩ B g se tiene (ξ ∈
A ∧ ξ 6∈ B)g y (ξ ∈ B)g de ((2.25); 50) y ((2.35); 52), luego (ξ ∈ B ∧ ξ 6∈ B)g en
donde ξ ∈ B ∧ ¬(ξ ∈ B) contradicción debido a ((1.9); 15), entonces se obtiene
ξ ∈ B ∧ ¬(ξ ∈ B) f y ∃ p ∈0 (A \ B) ∩ B | (p = p) g g ` (ξ ∈ B ∧ ξ 6∈ B)g,
y de ((1.49); 28) se infiere ∃ p ∈0 (A \ B) ∩ B | (p = p) g f, por lo tanto
(A \ B) ∩ B 6= ∅ f de ((1.47); 27), luego (A \ B) ∩ B = ∅ g debido a ((1.7);
14).
l
De manera similar el lector puede demostrar
{∅} \ {∅} = ∅ g . (2.76)
de ((2.26); 50).
por lo cual
A ∈ P(X) ∧ C ∈ P(X) ∧ A ∩ C = ∅ g ` (A ⊆ CX c ) g . (2.77)
Pero también se tiene ∀ x ∈0 A ∪ AX c | ∃ B ∈0 {A, AX c } | (x ∈ B) g g g de
((2.19); 47), luego ∀ x ∈0 A ∪ AcX | ∃ B ∈0 {A, AX c } | ¬(x 6∈ B) g g g, por
lo cual ∀ x ∈0 A ∪ AX c | ¬ ∀ B ∈0 {A, AX c } | (x 6∈ B) g g g del corolario
(1.4.1; 35), entonces ¬ ∃ x ∈0 A ∪ AX c | ∀ B ∈0 {A, AX c } | (x 6∈ B) g g g de
((1.62); 32), y del teorema (2.3.5; 65) con ((1.47); 65) se obtiene 31
A ∈ P(X) g ` (A ∩ AX c = ∅)g (2.78)
y de C ∈ P(A) g se sigue (C ∩ A = C)g y (C ∩ AX c ⊆ A ∩ AX c )g debido
a ((2.36); 52), luego (C ∩ AX c ⊆ ∅)g de ((2.74); 68), por lo cual (C ∩ AX c =
∅)g del corolario (2.3.2; 62) con ((2.12); 45) y ((1.60); 32), entonces B ∈0
P(A) (B ∩ AX c = ∅)g, y de ((1.59); 32) se concluye
A ∈ P(X) g ` ∀ B ∈0 P(A) | (B ∩ AX c = ∅) g g (2.79)
y como (AX c ∈ P(X) g debido a (2.43); 54) y ((2.26); 50), con ((2.55); 57) se
obtiene
A ∈ P(X) g ` ∀ B ∈0 P(AX c ) | (B ∩ A = ∅) g g . (2.80)
Demostración.– De A ∈ P(X) \ {∅} g se sigue A ∈ P(X) ∧ A 6∈ {∅} g
debido a ((2.25); 50) y ((1.60); 32), luego con ((1.36); 22) se tiene (A 6= ∅)g y
también (A ⊆ X)g de ((2.43); 54) y ((1.55); 31), por lo tanto 32 (A 6= ∅ ∧ A ⊆
X)g, entonces A ∈ P(X) \ {∅} ∧ X 6= ∅ g ` (A 6= ∅ ∧ A ⊆ X)g.
Demostración.– Se sigue de los teoremas (2.3.9; 71) y (2.3.6; 66) con ((1.1);
10).
33 Este razonamiento es viable cuando tiene sentido asignar un estado lógico a los sı́mbolos
presentes en los “miembros”de la igualdad.
se sigue ∀ ω ∈0 X | ω ∈ {x} g g de ((1.59); 32), concluyéndose X ⊆ {x} g,
y de ((2.12); 45) se infiere X = {x} g.
Demostración.– De (ξ ∈ X)g se tiene {ξ} = x ∈0 X | (x = ξ) g g, luego
{ξ} ⊆ X g de ((2.10); 43), entonces x ∈0 X {x} ⊆ X g, por lo cual
∀ x ∈ X | {x} ⊆ X g g.
Demostración.– De ¬(X unitario) g se sigue∀ x ∈0 X | {x} =6 X g g
debido a ((1.62); 32), luego con ξ ∈ X ∧ ¬(X unitario) g se tiene {ξ} = 6 X g
de ((1.60); 32) y además {ξ} ⊆ X g debido al lema (2.3.1; 73), y como
{ξ} 6⊆ X ∨ X 6⊆ {ξ} g de ((2.13); 45), se infiere X 6⊆ {ξ} g de ((1.1);
10), por lo tanto ∃ x ∈0 X | x 6∈ {ξ} g debido a ((2.5); 39) y con (η ∈ X)g y
η 6∈ {ξ} g se obtiene (η 6= ξ)g, por lo tanto ∃ x ∈0 X | (x 6= ξ) g g de ((1.58);
31).
Ahora de ∃ x ∈ X | (x 6= ξ) g g y con (η ∈ X ∧ η 6= ξ)g se tiene X 6⊆ {ξ} g
de ((2.5); 39) y ((1.58); 31) ya que η 6∈ {ξ} g, luego X 6= {ξ} g debido a
((2.12); 45) y (1.47); 27), entonces ¬(X unitario) g de la proposición (2.3.1;
72) con (1.47); 27) pues (ξ ∈ X)g.
donde el “orden” no trasciende dado que se tiene ((1.63); 35 los cuales podrı́an
llamarse cuantificadores ligados), y en estos términos se plantea al siguiente
teorema.
Demostración.– De X =6 ∅ ∧ ∀ x & y ∈0 X | (x = y) g g y ((1.1); 10) se
sigue ∃ x ∈0 X | (x = x) g g del teorema ((2.3.6; 66), y con (η ∈ X ∧ η = η)g
se tiene (η ∈ X)g de ((1.36); 22), y con el axioma de apareamiento se considera
a {η} . Ahora, de (ω ∈ X)g se sigue (η & ω ∈ X)g, luego (ω = η)g debido a
((1.60); 32) pues ∀ x & y ∈0 X | (x = y) g g, por lo cual ω ∈ {η} g de ((2.7);
42), obteniéndose x ∈0 X x ∈ {η} g, entonces ∀ x ∈0 X | x ∈ {η} g g
debido a ((1.59); 32), por lo tanto X ⊆ {η} g. Pero también, con ξ ∈ {η} g
se tiene (ξ = η)g de ((2.7); 42), 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); 32),
obteniéndose {η} ⊆ X g y con ((2.12); 45) 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, luego ∃ x ∈0 X | (x =
x) g g debido a ((1.58); 31), entonces (X 6= ∅)g del teorema (2.3.6; 66).
Además, de (ψ & ω ∈ X)g se tiene ψ ∈ {ξ} g y ψ ∈ {ω} g debido a
((1.1); 10), por lo cual (ψ = ξ)g y (ω = ξ)g de ((2.7); 42), luego (ψ = ω)g,
obteniéndose ∀ x & y ∈0 X | (x = y) g g debido a ((1.59); 32), y se concluye
X 6= ∅ ∧ ∀ x & y ∈0 X | (x = y) g g.
Los siguientes dos teoremas también aparentan ser obviedades, los ra-
zonamientos tradicionales utilizan argumentos carentes de sustento explı́cito o
los soslayan, los cuales se deben exhibir en una demostración, y al hacerlo se
(p 6= q)g ` {p} ∩ {q} = ∅ g .
Demostración.– Con {p}, {q} se sigue p ∈ {p} ∪ {q} ∧ q ∈ {p} ∪ {q} g
de ((1.58); 31) con ((2.18); 47), ya que {p} ∈ {p}, {q} ∧ p ∈ {p} g y
{q} ∈ {p}, {q} ∧ q ∈ {q} g, además p 6∈ {q} g nuevamente de ((2.7); 42)
pues (p 6= q)g, entonces p ∈ {p} ∧ p 6∈ {q} g de ((1.36); 22), por lo cual
∃ x ∈0 {p} | x 6∈ {q} g g debido a ((1.58); 31), obteniéndose {p} 6⊆ {q} g de
((2.5); 39), luego {p} 6⊆ {q} ∨ {q} 6⊆ {p} g debido a ((1.1); 10), por lo tanto
{p} =6 {q} g de ((2.13); 45).
Ahora de ξ ∈ {p} ∪ {q} g se obtiene ∃ A ∈0 {p}, {q} | (ξ ∈ A) g g debido a
((2.18); 47) con ((1.55); 31), y de ((1.1); 10) para B ∈ {p}, {q} ∧ ξ ∈ B g
se sigue (B = {p} ∨ B = {q})g, por lo cual (B = {p}) g y B = {q} f
o (B = {p}) f y B = {q} g) de ((1.1); 10) 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 también se sigue
ξ 6∈ {q} g, y de igual manera de B = {q} g se obtiene ξ 6∈ {p} g, por lo
tanto ξ 6∈ {q} g o ξ 6∈ {p} g , infiriéndose ∃ 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); 32), y con ((2.69); 66)
se concluye {p} ∩ {q} = ∅ g.
Teorema 2.3.13. Sean X 6= ∅ y C ∈ P P(X) \ {∅} .
C = {A} g ` (∪ C = A) g .
(ξ ∈ X ∧ η ∈ X)g a ` (ξ, η) ∈ P P(X) g. (2.82)
(a ∈ A ∧ b ∈ B)g a ` (a, b) ∈ A × B g .
por lo cual (a, b) ∈ P P(A ∪ B) ∧ (a ∈ A ∧ b ∈ B) g, entonces (a, b) ∈ A ×
B g debido a ((2.8); 43). Ahora, de (a, b) ∈ A×B g se sigue (a ∈ A ∧ b ∈ B)g
debido a ((2.8); 43) con ((1.36); 22).
(A = ∅ ∨ B = ∅)g a ` (A × B = ∅) g .
Demostración.– De ¬(A = ∅ ∨ B = ∅) g se tiene (A 6= ∅ ∧ B 6= ∅)g
debido a ((1.30); 19), entonces (A 6⊆ ∅)g y (B 6⊆ ∅)g de ((1.36); 22) y ((2.13);
45) con el corolario (2.3.1; 62) y ((1.1); 10), por lo cual ∃ a ∈0 A | (a 6∈ ∅) g g
y ∃ b ∈0 B | (b 6∈ ∅) g g de ((2.5); 39), luego con (ω ∈ A)g y (θ ∈ B)g se sigue
(ω ∈ A ∪ B ∧ θ ∈ A ∪ B)g debido a ((2.20); 47) dado que A ∈ {A, B} ∧ B ∈
{A, B} g, entonces (ω, θ) ∈ P P(A ∪ B) g de ((2.82); 77), obteniéndose
(ω, θ) ∈ P P(A ∪ B) ∧ (ω ∈ A ∧ η ∈ B) g, por lo tanto (ω, θ) ∈ A × B g y
con ((2.63); 62) se concluye (A × B 6= ∅)g, entonces (A × B = ∅)g ` (A =
∅ ∨ B = ∅)g de ((1.47); 27).
Ahora de ¬(A × B = ∅) g se sigue ∃ η ∈0 A × B | (η = η)g del teorema (2.3.6;
66), y con (a, b) ∈ A×B g se tiene (a, b) ∈ P P(A∪ B) ∧ (a ∈ A ∧ b ∈ B) g
debido a ((2.8); 43) con ((1.55); 31), entonces (a ∈ A ∧ b ∈ B)g de ((1.36); 22),
y de ((2.63); 62) con ((1.36); 22) se obtiene (A 6= ∅)g y (B =
6 ∅)g, por lo
tanto ¬(A = ∅) ∧ ¬(B = ∅) g, concluyéndose ¬(A = ∅ ∨ B = ∅) g debido
a ((1.30); 19), luego (A = ∅ ∨ B = ∅)g ` (A × B = ∅)g debido a ((1.47);
27).
(X = ∅)g a ` P(X) = {∅} g .
{∅} ⊆ P(X) ∧ P(X) ⊆ {∅} g, y de ((2.12); 45) se concluye (P(X) = {∅} g.
Finalmente, de P(X) = {∅} g se sigue X ∈ {∅} g de ((2.46); 54), y se
obtiene (X = ∅)g.
((2.10); 43), luego ∀ a ∈0 DR | (a ∈ A) g g, y de ((2.9); 43) se tiene ∀ a ∈0
DR | ∃ b ∈0 B | (a, b) ∈ R g g g, entonces de la proposición (1.4.2; 33) se
obtiene
∀ a ∈0 DR | a ∈ A ∧ ∃ b ∈0 B | (a, b) ∈ R g g g (2.84)
0
y al conjunto RR ≡ b ∈ B k ∃ a ∈ DR | (a, b) ∈ R g se le denomi-
0
(R suprayectiva)g a ` ∀ b ∈0 B | ∃ a ∈0 DR | (a, b) ∈ R g g g (2.87)
l
como lo puede verificar el lector, y se obtiene 36 ¬(R suprayectiva) g =
(R suprayectiva) f g de ((1.5); 13), luego del corolario (1.4.1; 35) con ((1.47);
27) y ((1.62); 32) se sigue
¬(R suprayectiva) g a ` ∃ b ∈0 B | ∀ a ∈0 DR | (a, b) 6∈ R g g g . (2.88)
Obsérvese que con B ∈ P(D) g y R ∈ P(A × B) g y (R suprayectiva)g, de
los teoremas (2.4.3); 78) y (2.2.4; 55) se sigue R ∈ P(A × D) g, pero ahora
no necesariamente es suprayectiva; por lo que el atributo de ser suprayectiva
35 Usualmente se le denomina rango, pero se reserva el término para otro concepto.
36 Es frecuente que cuando a un sı́mbolo se le asocia un atributo llevándo a ser un
sı́mbolo compuesto, como es el caso de R suprayectiva, se haga R no suprayectiva ≡
¬(R suprayectiva) , pero aquı́ se evita para eludir ambigüedades.
hace [ξ]R ≡ a ∈0 A k (a, ξ) ∈ R g conocido como clase de equi-
valencia de ξ con R , teniéndose ξ ∈ [ξ]R ∧ ∀ η ∈0 [ξ]R | [η]R =
[ξ]R g g, y al conjunto de clases de equivalencia de R haciendo
[ ]R ≡ β ∈0P (A) k ∃ a ∈0A | β = [a]R g g .
Andre Weil
Funciones
1 Maurits Cornelis Escher (1898-1972), artista holandés cuya obra se destaca por experi-
mentar con diversos métodos de representar (en dibujos de 2 o 3 dimensiones) espacios
paradójicos que desafı́an a los modos habituales de representación.
85
3.1 Generalidades Funciones
3.1. Generalidades
2 Entiéndase como ciencia formal, las cuales estudian las formas válidas de inferencia lógica;
su contenido es formal, en contraposición al resto de las ciencias fácticas o empı́ricas cuyo
contenido es concreto.
3 Arturo Fregoso (1932-1996), matemático mexicano que impulsó fuertemente la
matemática formal en México, trasmitiendo con fervor su intrı́nseca belleza y compartiendo
el placer de comprenderla.
f función en A × B a ` f ∈ P(A × B) ∧
Df = A ∧ ∀ (a, b) ∈ f | ∀ c ∈ B \ {b} | (a, c) 6∈ f (3.1)
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 proposición (2.3.2; 74), se sigue {x ∈ X k Px } = 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.36); 22), luego ∃ η ∈ X | Pη del teorema (2.3.2;
63), por lo cual (∃ η ∈ X | Pη ) ∧ ∀ r & s ∈ {x ∈ X k Px } | r = s , entonces
{x ∈ X k Px } =
6 ∅ ∧ ∀ r & s ∈ {x ∈ X k Px } | r = s ` (∃ η ∈ X | Pη ) ∧ ∀ r & s ∈
{x ∈ X k Px } | r = s , obteniéndose ∃! x ∈ X | Px ` {x ∈ X k Px } = 6 ∅ ∧ ∀r &
s ∈ {x ∈ X k Px} | r = s, concluyéndose
(∃ η ∈ X | Pη ) ∧ ∀ r & s ∈ {x ∈ X k Px } | r = s a ` ∃! z ∈ X | Pz (3.3)
a ` ∀ a ∈ A | ∃! b ∈ B | (a, b) ∈ f (3.4)
A 6= ∅ ∧ B 6= ∅ ` B A 6= ∅ . (3.5)
f ∈ B A a ` f ∈ P(A×B) ∧ Df = A ∧ ∀ (a, b) ∈ f | ∀ c ∈ B \ {b} | (a, c) 6∈ f
(3.6)
una coinferencia fundamental en todo lo que sigue, que con ((3.4); 88) y ((3.2);
87) también puede expresarse en términos posiblemente más familiares para el
lector
igualdad conjuntal (véase pág. 45) que a continuación se explicı́ta para aclarar
la argumentación. Dado que con f ∈ B A y g ∈ DC , como conjuntos que
c c c
son, puede darse f = g , de lo cual se seguirı́a Rf = Rg y Df = Dg
c c
(luego A = C), sin embargo no habrı́a motivo para B = D . . . una situación
que genera conflictos, como la suprayectividad de relaciones antes menciona-
da (véase pág. 81). Por ello se introduce la igualdad funcional, que es la
única igualdad que aquı́ se considerará para la igualdad de funciones, hacien-
c c
do (f = g) ≡ (f = g ∧ B = D) . Entonces (f = g)g ` (f = g)g, sin
c
embargo de (f = g)g no se sigue (f = g)g, esta distinción resuelve algunas
inconsistencias, aunque por el momento puede parecer una sutileza innecesaria.
“Es más fácil engañar a la gente, que convencerlos de que han sido
engañados”. 5
A 6= ∅ a ` f 6= ∅ (3.11)
A 6= ∅ ` Rf 6= ∅ . (3.12)
Df 6= A ` f 6∈ B A (3.14)
y también ¬ ∀ (a, b) ∈ f | ∀ c ∈ B \ {b} | (a, c) 6∈ f ` f 6∈ B A , pero como
de ∃ (a, b) ∈ f | ∃ c ∈ B \ {b} | (a, c) ∈ f se sigue ¬ ∀ (a, b) ∈ f | ∀ c ∈
B \ {b} | (a, c) 6∈ f debido al corolario (1.4.1; 35), entonces
f ∈ B A ` ∀ a ∈ A | [f](a) ∈ Rf . (3.17)
pero ahora para g ∈ FX×Y resulta cómodo recurrir al sı́mbolo Dg sin explicitar
a dicho conjunto. Este planteamiento permite, entre otras muchas posibilidades,
hablar del cálculo diferencial en FR×R refiriendose al cálculo diferencial ele-
mental, conocido como cálculo diferencial de funciones reales de variable real.
además
†
∀ f ∈ FX×Y | ∃ A ∈ P(X) | ∃ B ∈ P(Y ) | f ∈ B A . (3.19)
formal.
I∅ suprayectiva . (3.20)
Otro ejemplo relacionado al anterior, que puede parecer una exquisitez matemá-
tica, se identifica con B ∈ P(A), pues se hace iB ≡ (b, a) ∈ B × A k b = a
que también es función y tradicionalmente se le conoce como función in-
clusión de B en A, teniéndose iB ∈ AB y claramente iB ⊆ IA . En este
contexto, el planteamiento de una función inclusión requiere de la explı́cita
declaración del contradominio, pues al no hacerlo, se corre el peligro de inter-
pretarlo como el universo de la discusión, el cual no existe como se demuestra
en la paradoja de Russell (véase pág. 44). Por ello posteriormente se modifica su
presentación (véase pág. 118), aprovechando los recursos funcionales que pau-
latinamente serán desarrollados. Generalmente la aplicación de esta función, es
brindar afinidad entre las funciones que participan en una expresión, utilizan-
do la conjugación de funciones llamada composición (que aquı́ se le denomina
bola), notada con ◦, que después será definida (véase ((3.25); 112)).
1. Con f ≡ (a, b) ∈ R × R k a · b = 1 y para ξ ∈ R se tiene ξ · 0 = 0
del teorema (4.3.2; 158) y ((1.60); 32), luego 0 · ξ 6= 1 de (P1) ya que
2. De manera similar para g ≡ (a, b) ∈ R × R | b · b = a se tiene g 6∈ RR
l
como puede verificarlo el lector.
3. Para < ∈ P(R × R), el orden de R, se tiene (0, 1) ∈ < debido a ((4.15);
168), luego (0 + 1, 1 + 1) ∈ < del axioma (O3), por lo cual (1, 1 +
1) ∈ < de (S3), y con (O2) se sigue (0, 1 + 1) ∈ < , además 1 + 1 ∈
R \ {1} ya que 1 6= 1 + 1 del axioma (O1), obteniéndose (0, 1) ∈ <
∧ ∃ c ∈ R \ {1} | (1, c) ∈ < de ((1.58); 31), entonces ∃ (a, b) ∈ < |∃c ∈
R \ {b} | (a, c) ∈< nuevamente de ((1.58); 31), y con ((3.15); 94) se con-
cluye < 6∈ RR .
ya que con f ∈ P(A × B) ∧ ∀ a ∈ A | f id {a} unitario y η ∈ A se tiene
f id {η} unitario debido a ((1.60); 32), y con ξ ∈ f id {η} se sigue ξ ∈
B ∧ ∃ p ∈ {η} | (p, ξ) ∈ f de ((2.8); 43), luego (η, ξ) ∈ f , por lo cual ξ ∈
b ∈ B k (η, b) ∈ f nuevamente de ((2.8); 43), entonces ∀ q ∈ f id {η} | q ∈ b ∈
B k (η, b) ∈ f debido a ((1.59); 32), y se infiere f id {η} ⊆ b ∈ B k (η, b) ∈ f ,
ası́ mismo se tiene b ∈ B k (η, b) ∈ f ⊆ f id {η} , por lo tanto f id {η} =
b ∈ B k (η, b) ∈ f de ((2.12); 45) y se infiere b ∈ B k (η, b) ∈ f unitario , y
con ((1.59); 32) se sigue ∀ a ∈ A | b ∈ B k (a, b) ∈ f unitario , concluyéndose
f ∈ P(A × B) ∧ ∀ a ∈ A | f id {a} unitario ` ∀ a ∈ A | b ∈ B k (a, b) ∈
f unitario , entonces f ∈ P(A × B) ∧ ∀ a ∈ A | f id {a} unitario ` f ∈
B A de ((3.7); 89). Además ∀ a ∈ A | b ∈ B k (a, b) ∈ f unitario ` ∀ a ∈
l
A | f id {a} unitario lo cual puede demostrarlo el lector, luego con ((3.7); 89)
se estable la coinferencia enunciada.
ξ ∈ A ∩ C ` [f](ξ) ∈ f id (C) .
f ii (B) = A ∧ f id (A) = Rf .
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én 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.
∀ p ∈ Rf | f ii {p} =6 ∅.
q ∈ f ii {p} a ` (q, p) ∈ f .
f inyectiva a ` ∀ p ∈ Rf | f ii {p} unitario .
Demostración.– De ξ ∈ Rf se tiene f ii {ξ} 6= ∅ del teorema (3.3.3; 103) y
((1.60); 32), y con η ∈ f ii {ξ} ∧ ω ∈ f ii {ξ} se sigue (η, ξ) ∈ f ∧ (ω, ξ) ∈ f
debido al teorema (3.3.4; 103), y de f inyectiva se infiere η = ω debido a
((2.89); 82), entonces f ii {ξ} 6= ∅ ∧ ∀ t & q ∈ f ii {ξ} | (t = q)g de ((1.59);
32), por lo tanto f ii {ξ} unitario de la proposición (2.3.2; 74) y se concluye
∀ p ∈ Rf | f ii {p} unitario nuevamente de ((1.59); 32).
De ((3.20); 99) y como consecuencia inmediata del teorema previo con ((2.3.1);
62) se sigue I∅ biyectiva , entonces para A conjunto se obtiene
IA biyectiva . (3.23)
Demostración.– De η ∈ Rf y λ ∈ f ii {η} ∧ ν ∈ f ii {η} se tiene λ ∈
A ∧ [f](λ) = η y η ∈ A ∧ [f](η) = η , luego λ ∈ A ∧ η ∈ A y [f](λ) = [f](η) ,
entonces λ = η y de ((1.59); 32) se obtiene ∀ p & q ∈ Rf | p = q , por tanto
f ii {η} unitario debido a la proposición (2.3.2); 74), y del teorema (3.3.5;
103) se concluye f inyectiva.
J
Teorema 3.3.6. Sean f ∈ P(X) y p∈X .
p ∈ ∩ Rf a ` ∀ j ∈ J | p ∈ [f](j) .
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); 29), y de ((1.47); 27) se concluye ∀ j ∈ J | p ∈ [f](j) ` p ∈
∩ Rf .
∀ ξ ∈ A ∩ C | [f](ξ) ∈ D ` f id (C) ⊆ D .
Rf ⊆ C ` f ii (C) = A .
f ii (∅) = ∅ y f id (∅) = ∅ .
Demostración.– Dado que f ii (∅) = a ∈ A k ∃ b ∈ ∅ | (a, b) ∈ f para ξ ∈ A
y (ξ, η) ∈ f se sigue η ∈ B , luego (η ∈ ∅)f de ((2.62); 61), por lo cual η ∈
∅ ` (ξ, η) 6∈ f debido a ((1.47); 27), entonces ∀ b ∈ ∅ | (ξ, b) 6∈ f de ((1.59); 32),
y también ∀ a ∈ A | ∀ b ∈ ∅ | (a, b) 6∈ f nuevamente de ((1.59); 32), por lo tanto
¬ ∃ a ∈ A | ∃ b ∈ ∅ | (a, b) ∈ f debido a ((1.62); 32), y con el teorema (2.3.2; 63)
y ((1.47); 27) se concluye f ii (∅) = ∅. La otra demostración es similar y se deja
l
al lector como ejercicio.
1) C ∩ A = ∅ ` f id (C) = ∅ 2) C ∩ Rf = ∅ ` f ii (C) = ∅
f ii (D \ C) = f ii (D) \ f ii (C) .
Pero del teorema (3.3.9; 108) también se tiene f ii ((D \ C) ⊆ f ii (D) dado
que D \ C ⊆ D de ((2.26); 50), entonces ξ ∈ f ii (D) debido a ((1.60); 32),
concluyéndose ξ ∈ f ii (D) \ f ii (C) de ((2.28); 50) con ((1.47); 27), por lo tanto
∀ p ∈ f ii (D \ C) | p ∈ f ii (D) \ f ii (C) de ((1.59); 32), obteniéndose f ii (D \ C) ⊆
l
f ii (D) \ f ii (C) . La demostración faltante se deja al lector como ejercicio.
En efecto, para f ∈ B A y q ∈ B , se dice que f ii {q} es la ecuación asociada 13
a f para q , y a sus elementos se les llama soluciones de la ecuación. Nótese
que de p ∈ f ii {q} se tiene p ∈ A ∧ ∃ ξ ∈ {q} | (p, ξ) ∈ f debido a ((2.8); 43), y
con η ∈ {q} ∧ (p, η) ∈ f se sigue (p, q) ∈ f , por lo cual [f](p) = q, en donde la
igualdad tiene sentido por la condición enunciada para p , aún cuando se des-
conozca p . La identificación de p depende de la función f y el q propuesto, lo
cual esta ı́ntimamente vinculado a la condición de especificación de f , y podrı́a
llevar a un problema algebraico. En la presentación tradicional de ecuación se
ignora este planteamiento funcional, pues simplemente a la igualdad [f](p) = q
la llaman ecuación, y aceptan de manera subliminal e inmediata la intención de
determinar p para el q propuesto sólo por enunciar la igualdad, algo aprendido
más no comprendido, aún cuando esta sea tentativa. . . pues puede suceder que
f ii {q} = ∅ , resultando falsa la igualdad.
13
` ´
Cuando f ∈ RA y se considera f ii {0} , se conviene en llamarla ecuación homogénea
y a sus elementos ceros de la ecuación.
F D G
Para f ∈ (C B )A y g∈ (E C )B se identifica g doble bola
triángulo f haciendo
2 1
g f ≡ (a, h) ∈ (F ∩ G) × (E B )A∩D k h = [g](a) 4 [f](a)
4 (3.31)
2 F ∩G 2 1
luego g 4 f ∈ (E B )A∩D y ∀ a ∈ F ∩ G | [g 4 f](a) = [g](a) 4
[f](a) .
(f ◦ g) ◦ h = f ◦ (g ◦ h) (3.32)
1 1
(f ◦ g) ◦ h = (f ◦ h) ◦ (g ◦ h) (3.33)
1 1
(f ◦ g) ◦ h = f ◦ (g ◦ h) (3.34)
2 2
(f ◦ g) ◦ h = (f ◦ h) ◦ (g ◦ h) (3.35)
(f 4 g) ◦ h = (f ◦ h) 4 (g ◦ h) (3.36)
1 1
(f 4 g) ◦ h = (f ◦ h) 4 (g ◦ h) (3.37)
1 1 1 1
(f ◦ g) ◦ h = f ◦ (g ◦ h) (3.38)
1 1 1 1 1
(f 4 g) ◦ h = (f ◦ h) 4 (g ◦ h) (3.39)
2 1 1 2 1
(f ◦ g) ◦ h = (f ◦ h) ◦ (g ◦ h) (3.40)
1
(f ◦ g) 4 h = f 4 (g 4 h) (3.41)
1
(f 4 g) 4 h = (f 4 h) 4 (g 4 h) (3.42)
2 1
(f ◦ g) 4 h = (f 4 h) ◦ (g 4 h) (3.43)
2 1
(f 4 g) 4 h = (f 4 h) 4 (g 4 h) (3.44)
l
dejando al lector la demostración de los comportamientos enunciados, pero
como ejemplo se plantea a la siguiente proposición y se complementa el tema
considerando la imagen directa e inversa para la composición de dos funciones
que participa en algunas de las conjugaciones enunciadas.
(f d g) ◦ h = (f ◦ h) d (g ◦ h) y f ◦ (g d h) = (f ◦ g) d (f ◦ h) .
Demostración.– 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.24); 111) con
((3.25); 112) y el teorema (3.3.10; 109), de ξ ∈ M se sigue ξ ∈ hii (A) ∪
hii (C) ∧ ξ ∈ 6 hii (A) ∩ hii (C) debido a ((2.26); 50), ((2.27); 50) con ((1.47);
27) y el teorema (3.3.9); 108), luego ξ ∈ hii (A) ∨ ξ ∈ hii(C) ∧ ¬ ξ ∈ hii (A) ∧ ξ ∈
hii (C) de ((2.23); 49) y ((2.35); 52) con ((1.47); 27), por lo cual se tiene
ξ ∈ hii (A) y ξ 6∈ hii (C) o ξ ∈ hii (C) y ξ 6∈ hii (A) debido a ((1.12); 16) y
((1.1); 10) presentándose dos casos:
De ξ ∈ hii (A) y ξ 6∈ hii (C) se infiere [h](ξ) ∈ A , luego [(f d g) ◦ h](ξ) =
f [h](ξ) y también (f ◦ h) d (g ◦ h) (ξ) = f [h](ξ) , obteniéndose
[(f d g) ◦ h](ξ) = (f ◦ h) d (g ◦ h) (ξ) .
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); 32) y de
((3.16); 95) se concluye (f d g) ◦ h = (f ◦ h) d (g ◦ h) .
(g ◦ f)id (E) = gid f id (E) ∧ (g ◦ f)ii (E) = f ii gii (E) .
Demostración.– Para ξ ∈ gid f id (E) se sigue ξ ∈ D y ∃ c ∈ f id (E) | (c, ξ) ∈ g
debido a ((2.8); 43), y con η ∈ f id (E) y (η, ξ) ∈ g también se obtiene η ∈ B
y ∃ b ∈ E | (b, η) ∈ f nuevamente de ((2.8); 43), luego con ω ∈ E y (ω, η) ∈ f
se tiene [f](ω), ξ ∈ g, por lo cual (ω, ξ) ∈ g ◦ f de ((3.25); 112), entonces
∃ e ∈ E | (e, ξ) ∈ g ◦ f 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); 32), concluyéndose
gid f id (E) ⊆ (g ◦ f)id (E) .
con ((3.25); 112) hacer 14 ◦GA ≡ (f, g), h ∈ GA × GA × GA k h = g ◦ f
teniéndose 15 ◦GA ∈ GA (GA ×GA ) como es fácil 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)) , pero esto llevaria a g ◦GA f = g ◦ f y
de ello pensar temerariamente que ◦ = ◦GA , lo cual es totalmente erroneo.
El uso de sı́mbolos 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 sı́mbolos < 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ólo se
expresa un comportamiento de las funciones, sin identificar otra función, por
lo que no constituyen otras conjugaciones de funciones.
Rf◦ID ⊆ Rf . (3.45)
A ∩ B 6= ∅ ` ∅ 6= IB ◦ IA ∧ IB ◦ IA ∈ B A∩B (3.46)
c
Rf ⊆ C ` IC ◦ f ∈ C A ∧ IC ◦ f = f .
ii
Demostración.– Para (ξ, η) ∈ IC ◦ f se tiene ξ ∈ f ii (C) pues IC ◦ f ∈ C f (C)
f ∈ CA ∧ g ∈ CB (f ◦ ID = g ◦ IE ` A ∩ D = B ∩ E) . (3.47)
f ∈ CA ∧ g ∈ CB ∀ p ∈ D | [f](p) = [g](p) ` f ◦ ID = g ◦ ID . (3.48)
f ∈ CA ∧ g ∈ CB (f ◦ IB = g ` B ⊆ A) . (3.49)
De f ◦ ID = g ◦ ID ∧ B ⊆ D se sigue g ◦ ID = g pues B ∩ D = B
debido a ((2.36); 52), entonces A ∩ D = B de ((3.25); 112), por lo cual
f ◦ ID = f ◦ IB y se infiere f ◦ IB = g, luego
f ∈ CA ∧ g ∈ CB f ◦ ID = g ◦ ID ∧ B ⊆ D ` f ◦ IB = g) . (3.50)
f inyectiva ` f id (C \ D) ∩ f id (D) = ∅ .
pues g ◦ IRf ⊆ g, por lo tanto ξ = g [f](λ) con (λ, ξ) ∈ f ii (C) × D, luego
(λ, ξ) ∈ g ◦ f de ((3.25); 112), entonces ∃ a ∈ f ii (C) | (a, d) ∈ g ◦ f debido a
((1.58); 31), y de ((1.59); 32) se tiene ∀ d ∈ D | ∃ a ∈ f ii (C) | (a, d) ∈ g ◦ f, luego
con ((2.87); 81) se concluye g ◦ f suprayectiva.
(f invertible) ≡ ∃ g ∈ AB | (f ◦ g = IB ∧ g ◦ f = IA ) y se conviene
en hacer 16 f inv ≡ g a la cual se le llama función inversa de f .
f ◦ g = IB ∧ h ◦ f = IA ` g = h .
f invertible ` f id (f inv )id (C) = B ∩ C ∧ f ii (f inv )ii (D) = A ∩ D .
Demostración.– Del teorema (3.4.1; 115) (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.22); 102), luego
f id (f inv )id (C) = B ∩ C. Análogamente, (f ◦ f inv )ii (D) = f ii (f inv )ii (D)
también del teorema (3.4.1; 115), en donde f ◦ f inv = IB , por lo cual (f ◦
f inv )ii (D) = A ∩ D debido a ((3.22); 102), por lo cual f ii (f inv )ii (D) =
A ∩ D.
f biyectiva a ` f invertible .
(3.5.3; 122), en donde f = f ◦If ii (B) pues f ii (B) = A, por lo tanto f inyectiva
y se concluye f biyectiva.
Ahora de f biyectiva y con g ≡ (b, a) ∈ B × A k (a, b) ∈ f se tiene:
IA = IA inv .
∀ a ∈ A | f ◦ I{a} = [f](a) ◦ I{a} . (3.53)
c
dfe = dfe (3.54)
c
dfe ◦ g = dfe (3.55)
c
bfc ◦ g = bf ◦ gc (3.56)
c
f ◦ dge = [f](g) (3.57)
1 c
bfc ◦ g = bfc (3.58)
1 c
f ◦ bgc = bf 4 gc (3.59)
1 c
dfe ◦ dge = df ◦ ge (3.60)
1 c
dfe ◦ bgc = bf ◦ gc (3.61)
c
dfe 4 g = f ◦ g (3.62)
c
dfe 4 dge = [f](g) (3.63)
c
bfc 4 g = f ◦ IDg (3.64)
c
bfc 4 dge = f (3.65)
1 c 1
bfc 4 dge = f ◦ dge (3.66)
2 c 1
bfc ◦ bgc = bf ◦ gc (3.67)
2 c 1
bfc ◦ dge = f ◦ dge (3.68)
1 c 1
(f ◦ h) ◦ (g ◦ h) = df ◦ ge 4 h (3.69)
c 1
f ◦ (g 4 h) = dfe ◦ g 4 h (3.70)
c
(f 4 g) ◦ h = (f ◦ h) 4 (g ◦ h) (3.71)
1 c 1
(f 4g) ◦ h = (f ◦ h) (g ◦ h) 4 (3.72)
1 c
dfe 4 bgc 4 dhe = [f](h) ◦ g (3.73)
las cuales están aisladas de un contexto, por lo que para que se presente la
igualdad funcional se deben considerar dominios y contradominios iguales con
restricciónes izquierdas ô derechas apropiadas al contexto de la discusión. Por
C E
ejemplo, con f ∈ B A se sigue dfe ∈ (B A )D y dfe ∈ (B A )G en donde
en principio el contexto identifica a los conjuntos C, D, E, G , y cuando se tiene
C = E ∧ D = G de ((3.54); 132) con ((3.16); 95) se infiere dfe = dfe .
19
“Intenta reflexionar algo sobre todo y todo sobre algo.”
19 Thomas Henry Huxley (1825-1895) fue un biólogo autodidacta inglés, conocido como el
“bulldog” de Darwin por su defensa de la teorı́a de la evolución.
(f × g) ◦ h = (f ◦ h) × (g ◦ h) (3.74)
1 1 1
(f ⊗ g) ◦ h = (f ◦ h) ⊗ (g ◦ h) (3.75)
(f ⊗ g) 4 h = (f 4 h) × (g 4 h) . (3.76)
1
Ahora para f ∈ C A×B se hace φ ≡ dfe ◦ bIA c ⊗ dIB e y con φ ∈
(C B )A se establece el vı́nculo buscado entre C (A×B) 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 =
1
f ◦ IA ×dbe y φ 4 dbe ∈ C A , pues dfe ◦ bIA c⊗dIB e 4 dbe = dfe 4 bIA c⊗
dIB e 4 dbe debido a ((3.41); 114) y dfe 4 bIA c ⊗ dIB e 4 dbe = dfe 4
bIA c 4 dbe × dIB e 4 dbe de ((3.76); 134) en donde bIA c 4 dbe = IA y
dIB e 4 dbe = dbe de ((3.65); 132) y ((3.63); 132) respectivamente, por lo cual
dfe 4 bIA c 4 dbe × dIB e 4 dbe = f ◦ IA ×dbe debido a ((3.62); 132). Para
conciliar este desarrollo con la tradición se hace fa ≡ [φ](a) y f b ≡ φ 4 dbe ,
luego fa = f ◦ dae × IB y f b = f ◦ IA × dbe , pero ahı́ son enunciadas
como ”evaluaciones parciales” que asignan los subı́ndices o los superı́ndices,
declarándolos explı́citamente como fijos (constantes) pero con capacidad de
variar. . . y a los sı́mbolos con esta propiedad los llaman parámetros, un
planteamiento innecesariamente ambiguo que da lugar a las llamadas fun-
2
ciones paramétricas de f. Desde luego, con ω ≡ bIC A×B c ◦ bIA c ⊗ dIB e ∈
A (C A×B )
(C B se generaliza este proceder, pues para f ∈ C A×B se sigue
A×B
[ω](f) = φ, y con a ∈ A se tiene que ω 4 dae ∈ (C B )(C )
identifica la
que podrı́a ser llamada función generadora de funciones paramétricas para a,
mostrandose la versatilidad y capacidad descriptiva de las conjugaciones intro-
ducidas.
1
φ ∈ (C B )A se tiene dφe 4 bIB c ∈ (C A )B de ((3.30); 112) como lo puede
1 l
verificar el lector, y se dice que dφe 4 bIB c es la función dual de φ . Luego
1
para que θ con θ ∈ (C A)B sea función dual de φ debe tenerse θ = dφe 4 bIB c ,
1
en cuyo caso también se sigue φ = dθe 4bIA c , es decir φ es función dual de
θ como es fácil de verificar, y también se infiere ∀ a ∈ A | ∀ b ∈ B | [φ](a) (b) =
[θ](b) (a) lo cual no establece su igualdad funcional.
podrı́a pensarse que con Xj denotan a [X](j), pero de esta manera resultarı́a
que RX es la familia y no X, excluyéndose las repeticiones de términos en las
familias, dado que RX es conjunto, lo cual es definitivamente inaceptable.
20
˘ ¯ c
Al hacer G ≡ (1, A), (2, B) se sigue G = F pero es impropio concluir G ∈ P (A∪B)2
(véase observación en pág. 97).
menos aún la de ΠF y A × B.
21 Concepto básico de la geometrı́a cartesiana, que fue publicada por primera vez por
René Descartes (aún cuando él la llamó geometrı́a analı́tica), la cual es una formalización de
la geometrı́a de euclideana.
1
P ΠF = dIX J ◦ IΠF e 4 bIJ c (3.78)
1
ΠF se tiene dP ΠF e 4 bIΠF c (η) = P ΠF 4 dηe con P ΠF 4 dηe = dIX J ◦
IΠF e 4 dηe 4 bIJ c 4 dηe debido a ((3.78); 140) y ((3.42); 114), además dIX J
◦ IΠF e 4 dηe 4 bIJ c 4 dηe = [IX J ◦ IΠF ](η) 4 IJ de ((3.63); 132) y ((3.65);
1 1
132), luego ∀ q ∈ ΠF | dP ΠF e 4 bIΠF c (q) = bIX J ◦ IΠF c 4 dIJ e (q) debido
1 ΠF
a((1.59); 32) con bIX J ◦ IΠF c 4 dIJ e ∈ X J también de ((3.30); 112),
entonces con ((3.16); 95) se obtiene
1 1
dP ΠF e 4 bIΠF c = bIX J ◦ IΠF c 4 dIJ e . (3.80)
1
Ası́ mismo, de M ∈ P(J) \ {∅} se tiene P ΠF ◦ IM = dIX J ◦ IΠF e 4 bIJ ◦ IM c
debido a ((3.78); 140), ((3.37); 114), ((3.55); 132) y ((3.56); 132), entonces de
((1.59); 32) se sigue
1
∀ K ∈ P(J) \ {∅} | P ΠF ◦ IK = dIX J ◦ IΠF e 4 bIJ ◦ IK c . (3.81)
Números reales
George Berkeley 1
4.1. Introducción
1 George Berkeley (1685-1753), filósofo irlandés cuyo principal logro fue el desarrollo de la
filosofı́a conocida como idealismo subjetivo, resumido en la frase esse est percipi (ser es ser
percibido).
143
4.1 Introducción Números reales
plantea una sı́ntesis elegante del sistema lógico de los números reales R
al enunciar ciertas propiedades declaradas como enunciados o concatenaciones
(véase [13]), que involucran a un conjunto, dos funciones 2 llamadas suma +R ∈
RR×R y producto ·R ∈ RR×R , y un orden <R (una relación en R × R ). Se
trata de una estructura lógica en la teorı́a de conjuntos, en la que no se exige
una realización de los números reales, es decir de la identificación previa del
conjunto, y por ello tampoco del orden y de sus funciones suma y producto; lo
cual en principio ocurre en la presentación “constructiva”.
∅, {∅}, ∅, {∅} , ∅, {∅}, ∅, {∅} . . . posibilitando una inter-
pretacion de los números naturales en términos del conteo de los ele-
mentos de conjuntos. Este planteamiento permite la demostración
de los “axiomas” de Peano ([3] pág. 86 y [18] pág. 46) de los números
naturales 4 :
1∈N
∀ n∈N |n + 1∈N
Axiomas de Peano
∀ n ∈ N | 1 6= n + 1
(m ∈ N ∧ n ∈ N) ∧ m + 1 = n + 1 m=n
(4.1)
Con N se identifican a los números enteros 5 haciendo Z ≡ A ∈
P(N) k A conjunto unitario ∪ {∅} ∪ N en donde para n ∈ N
se conviene en −n ≡ {n} y 0 ≡ ∅, y es claro que N ⊂ Z. La
“extensión”de Z a los números racionales Q se plantea con la
relación R ≡ (a, b), (c, d) ∈ (Z × N) × (Z × N) k a ·Z b = c ·Z d
y haciendo Q ≡ [ ]R , por lo cual Q ⊆ P(Z × N) , y con Z0 ≡
(q, n) R ∈ Q k n = 1 se sigue r ∈ Q ∧ (q, n) ∈ r a ` r =
(q, n) R y Z0 ≈ Z , teniéndose Z0 ⊂ Q por lo que se dice Z ⊂ Q ,
aún cuando sea estrictamente inapropiado.
Para introducir a los números reales R , con q ∈ Q se hace <Q q ≡
p ∈ Q k p <Q q , y se identifican con 6 R ≡ α ∈ P(Q) \ {∅} k ∀ q ∈
α | <Q q ⊂ α ∧ q ∈ Q k α ⊂ <Q q ∩ α = ∅ . Dado que con
Q0 ≡ α ∈ R k ∃ q ∈ Q | α = <Q q se sigue Q0 ≈ Q y Q0 ⊂ R , se
[+] (a, b) = a + b g y [ · ] (a, b) = a · b g debido al acuerdo para los
valores de una función (véase pág. 90), obteniéndose 8 (a, b), a + b) ∈ + g y
(a, b), a · b ∈ · g. Para el orden se tiene < ∈ P(R × R) y es una relación con
D< = R , en donde (a, b) ∈ < g ↔ (b, a) ∈ < f, y se hace a < b ≡ (a, b)
∈ < lo cual se lee diciendo “ a menor que b”.
(O1) ∀ a & 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 . (Tricotomı́a) 11
(O2) (a ∈ R ∧ b ∈ R) ∧ c ∈ R ∧ (a < b ∧ b < c) a < c . (Transitividad)
1. Para A ∈ P(R) \ {∅} se hace As ≡ q ∈ R k ∀ a ∈ A | a ≤ q y
en los términos tradicionales de presentar una definición, cuando
As 6= ∅ se dice que A es un conjunto acotado superiormente
asignándole un atributo al conjunto A , y a los elementos de As se
les llama cotas superiores de A. Sin embargo para lograr afinidad
con la lógica lo conveniente es hacer 13 (A acotado superiormenete) ≡
(As 6= ∅) identificando a la proposición hA acotado superiormenetei ,
y de ello se sigue (As 6= ∅)g a ` (A acotado superiormenete)g.
η ∈ As ∩ A ` η ∈ S A . (4.5)
13 A pesar de esto, en este libro se emplean ambas presentaciones para una definición.
de A , luego
A ∈ P(R) \ {∅} ∧ S A 6= ∅ ` S A unitario ∧ S A = sup(A) (4.6)
S A unitario ` ∀ p ∈ As | sup(A) ≤ p ∧ ∀ a ∈ A | a ≤ sup(A) .
(4.7)
Este planteamiento (cualidad conjunto unitario asignación
de sı́mbolo al elemento) se presenta con mucha frecuencia en la
matemática, aunque usualmente no se trata como aquı́, general-
mente debido a equı́vocos conceptuales asociados al cuantificador
existencial con unicidad (véase ((3.2); 87) y la pertenencia impropia
inherente.
Del razonamiento anterior se puede decir que este axioma plantea las
condiciones suficientes para que un subconjunto de R tenga supremo y
sea único, ya que A ∈ P(R) \ {∅} ∧ As 6= ∅ ` A ∈ P(R) \ {∅} debido
a ((1.36); 22), y con (S) se obtiene A ∈ P(R) \ {∅} ∧ As 6= ∅ ` A ∈
P(R) \ {∅} ∧ S A 6= ∅ , entonces de ((4.6); 153) se concluye
A ∈ P(R) \ {∅} ∧ As 6= ∅ ` S A unitario ∧ S A = sup(A) . (4.8)
Ai 6= ∅ ` I A 6= ∅ .
l
Demostración.– Se deja al lector, para ello se sugiere utilizar (S) con {p ∈
R k ∃ a ∈ A | a = −p}.
As 6= ∅ ` ∀ η ∈ R+ | ∃ a ∈ A | sup(A) − a < η .
Demostración.– De ((4.8); 153) se sigue S A = sup(A) en donde S A ⊆ R
de ((2.10); 43) con ((2.6); 40), pues 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).
R ∧ ∀ a ∈ A | a ≤ sup(A) − ξ f, luego ∀ a ∈ A | a ≤ sup(A) − ξ f, por
lo tanto ∃ a ∈ A | ¬ a ≤ sup(A) − ξ del corolario (1.4.1; 35), es decir ∃ a ∈
A | sup(A) − ξ < a, concluyéndose ∀ η ∈ R+ | ∃ a ∈ A | sup(A) − a < η debido a
((1.59); 32), pues de sup(A) − ξ < a se sigue sup(A) − a < ξ.
Ai 6= ∅ ` ∀ η ∈ R+ | ∃ a ∈ A | a − inf(A) < η .
1. ∀ a & b & c ∈ A | (a ∗ b) ∗ c = a ∗ (b ∗ c) .
2. {ξ ∈ A k ∀ a ∈ A | a ∗ ξ = ξ ∗ a = a} unitario.
3. a ∈ A ` {b ∈ A k a ∗ b = b ∗ a = I} unitario, en donde
{I} ≡ {ξ ∈ A k ∀ a ∈ A | a ∗ ξ = ξ ∗ a = a} .
14
` ´
Para a ∈ A ∧ b ∈ A se hace a ∗ b ≡ [∗] (a, b) .
15 Si se excluye el tercer enunciado se dice A es monoide con respecto a ∗ (véase [27]
pág. 61).
16 Niels Henrik Abel (1802-1829) matemático noruego, célebre por haber demostrado que
no hay un algoritmo para determinar los “ceros” de todos los polinomios de grado mayor a
5 en términos de sus “coeficientes”.
en donde erroneamente se enseña y piensa que las igualdades se dan, por ser
válido “pasar” un “término” al otro “miembro” y “cancelar”, cuando en re-
alidad provienen de (S4) y (P4) y de la identificación de las funciones · y
+ con el reconocimiento pleno de las propiedades de una función. También se
tienen las “reglas de adición” para la suma y el producto
1) 1 6= 0 2) 1 = 1−1 3) 0 = −0 .
Demostración.–
Teorema 4.3.2.
∀ a∈R |a · 0 = 0 .
Corolario 4.3.1.
a∈R |0 · a = 1 .
∃
Teorema 4.3.3.
a = 0 ∨ b = 0 a` a ·b = 0.
a · b 6= 0 ` a 6= 0 ∧ b 6= 0 .
Corolario 4.3.3.
a ∈ R \ {0} ` a−1 ∈ R \ {0} .
Teorema 4.3.6.
∀ a ∈ R \ {0} | a = (a−1 )−1 .
Teorema 4.3.7.
a ∈ R ∧ b ∈ R \ {0} ∧ c ∈ R \ {0} ∧ d ∈ R \ {0} ` (a/b) (c/d) = (a·d) (b·c) .
Demostración.– Del corolario (4.3.3; 160) se tiene b−1 , c−1 , d−1 ∈ R \ {0},
por lo cual (c · d−1 )−1 = c−1 · (d−1 )−1 y (b · c)−1 = b−1 · c−1 debido al
teorema (4.3.3; 159), además (c · d−1 )−1 = c−1 · d del teorema (4.3.6; 161),
1) a = a−1 ` a = 1 . 2) a = −a ` a = 0 .
Demostración.–
Teorema 4.3.9.
∀ a ∈ R | − a = −1 · a .
Teorema 4.3.10.
Teorema 4.3.11.
∀ a ∈ R | − (−a) = a .
Corolario 4.3.4.
∀ a & b ∈ R | − a · −b = a · b .
17
Teorema 4.3.12.
(a ∈ R ∧ c ∈ R) ∧ b ∈ R \ {0} ∧ d ∈ R \ {0}
` (a /b) + (c /d) = (a · d) + (b · c) (b · d) .
17 Frecuentemente se asocia con números enteros, por lo que se le conoce como la “regla
de la suma de fracciones”.
a + b 6= 0 ` (a = 0 ∧ b = 0) f .
Demostración.– De ¬ ¬(a = 0 ∧ b = 0) se sigue a = 0 ∧ b = 0 debido a
((1.5; 13), 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.47); 27) con ¬(a = 0 ∧ b = 0) = (a = 0 ∧ b = 0)f de ((1.5; 13).
a · a = b · b a ` a = b ∨ a = −b .
(a·a)+(a·−b) + (b·a)+(b·−b) = (a·a)−(a·b) + (a·b)−(b·b) del teorema
(4.3.10; 162) y (a·a)+ −(a·b)+ (a·b)−(b·b) = (a·a)+ −(a·b)+(a·b) −(b·b)
con (a · a) + − (a · b) + (a · b) − (b · b) = (a · a) + 0 − (b · b) , por lo cual
(a + b) · (a − b) = 0 , y del teorema (4.3.4; 160) se sigue a + b = 0 ∨ a − b = 0 ,
entonces a = −b ∨ a = b .
b ∈ R− ` a + b < a .
∀ a ∈ R | ∀ b ∈ R+ | a < a + b (4.12)
∀ a∈ R | a < a + 1 (4.13)
también de ((1.59); 32), por tanto con c ∈ R ∧ d ∈ R y c = d + 1 se infiere
d < c de ((4.13); 166) y ((1.60); 32), luego (c = d)f obteniéndose c = d + 1 `
(c = d)f, entonces con ((1.47); 27) se concluye
(a ∈ R ∧ b ∈ R) (a = b ` a 6= b + 1) . (4.14)
a < b ` −b < −a .
Teorema 4.3.17.
1) ∀ c ∈ R+ | − c ∈ R− 2) ∀ c ∈ R− | − c ∈ R+.
Ahora, para ξ ∈ R− se tiene −0 < −ξ del teorema (4.3.16; 166), luego 0 < −ξ
del teorema (4.3.1; 158), por lo cual −ξ ∈ R+ , concluyéndose ∀ c ∈ R− | −c ∈ R+
de ((1.59); 32).
c ∈ R+ ∧ a = b + c ` b < a .
c ∈ R− ∧ a < b ` b · c < a · c .
Teorema 4.3.20.
∀ a ∈ R \ {0} | (a · a) ∈ R+.
del teorema (4.3.17; 166), luego 0 < −ξ debido a ((4.2); 150) y ((2.8); 43), y
de (O4) y ((1.59); 32) se obtiene 0 · −ξ < −ξ · −ξ , por lo cual 0 < −ξ · −ξ
del teorema (4.3.2; 158) y ((1.59); 32), en donde −ξ · −ξ = ξ · ξ del teorema
(4.3.4; 163), entonces (ξ · ξ) ∈ R+ nuevamente de ((4.2); 150) y ((2.8); 43). Por
lo tanto ∀ a ∈ R \ {0} | (a · a) ∈ R+ de ((1.59); 32).
1 ∈ R+ y 1 < 1+ 1. (4.15)
Teorema 4.3.21.
∀ a∈R |∃ b∈R |a < b .
∀ b ∈ R− | b < a ` 0 ≤ a .
18 Se hace 2 ≡ 1 + 1.
Teorema 4.3.23. Sean a ∈ R+ ∪ {0} ∧ c ∈ R+ ∪ {0} ∧ (b ∈ R ∧ d ∈ R) .
Teorema 4.3.24. 19
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ón.–
Teorema 4.3.25.
Teorema 4.3.26.
(a ∈ R+ ∧ b ∈ R+) ∨0 (a ∈ R− ∧ b ∈ R−) ∧ a < b ` b−1 < a−1 .
Demostración.– De (a ∈ R+ ∧ b ∈ R+ ) ∨0 (a ∈ R− ∧ b ∈ R− ) se sigue
(a ∈ R+ ∧ b ∈ R+) o (a ∈ R− ∧ b ∈ R−) de ((1.1); 10), luego para a ∈ R+ ∧ b ∈ R+
y a < b se tiene a−1 ∈ R+ ∧ b−1 ∈ R+ del teorema (4.3.25; 169), por lo cual
(a−1 · b−1 ) ∈ R+ debido al primer inciso del teorema (4.3.24; 169), entonces
(a−1 · b−1 ) · a < (a−1 · b−1 ) · b en donde (a−1 · b−1 ) · a = (b−1 · a−1 ) · a y
(b−1 ·a−1 )·a = b−1 ·(a−1 ·a) con b−1 ·(a−1 ·a) , además (a−1 ·b−1 )·b = a−1 ·(b−1 ·b)
y a−1 · (b−1 · b) = a−1 · 1 , por lo cual b−1 < a−1 , y con a ∈ R− ∧ b ∈ R− y a < b
se sigue a−1 ∈ R− ∧ b−1 ∈ R− del teorema (4.3.25; 169), luego (a−1 · b−1 ) ∈ R+
nuevamente del teorema (4.3.24; 169), entonces (a−1 · b−1 ) · a < (a−1 · b−1 ) · b
de (O4) con ((1.60); 32) y se obtiene b−1 < a−1 (véase desarrollo anterior).
2−1 ·(b−a) < b−a , entonces a+ 2−1 ·(b−a) < b , además del teorema (4.3.24;
169) se infiere 0 < 2−1 ·(b−a) , obteniéndose a < a+ 2−1 ·(b−a) , por lo tanto
a < a + 2−1 · (b − a) ∧ a + 2−1 · (b − a) < b , luego a + 2−1 · (b − a) ∈ (a; b)
de ((2.8); 43), y con ((2.63); 62) se concluye (a; b) 6= ∅ .
n ∈ N | 1 = n + 1 , ∀ n ∈ N | (n + 1) ∈ N ,
N ⊆ R , 1∈N , ∃
(4.16)
(m ∈ N ∧ n ∈ N) ∧ m < n (n − m) ∈ N
estableciendo que pueden concebirse como una “cadena” sin bifurcaciones por
ser +R función. Aparentemente no es posible identificar a N con el axioma de
especificación, aún cuando se plantee N ⊆ R, y esto presenta dificultades pues
se debe complementar el planteamiento con la siguiente concatenación:
Teorema 4.4.1.
Teorema 4.4.2.
∀ n∈N |1 ≤ n .
N ⊆ R+ (4.18)
∀ n ∈ N | 1 ∈ n ∧ n 6= ∅ (4.19)
a < b a` a + 1 ≤ b.
Lema 4.4.1.
n ∈ N \ {1} ` ∀ m ∈ n \ {1} | m − 1 ∈ n .
Pero η − 1 < η debido a ((4.15); 168) y ((4.2); 150) con ((2.8); 43), luego
η − 1 6∈ B de ((1.60); 32) y ((1.47; 27), por lo cual η − 1 ∈ A de ((2.8);
43) y ((1.47; 27), obteniendo η − 1 ∈ n − 1 ∩ A debido a ((2.31); 51), 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.47);
27) y el corolario (1.4.1; 35).
∀ m∈N | m ⊆ A ` A = N .
ξ ∈ R+ ∧ η ∈ R+ ` ∃ n ∈ N | η < n · ξ .
Demostración.– De ¬ ∃ n ∈ N | η < n · ξ se sigue ∀ m ∈ N | m · ξ ≤ η debido
al corolario (1.4.1; 35), y con A ≡ {q ∈ R k ∃ n ∈ N | q = n · ξ} se tiene A 6= ∅,
ya que ξ = 1 · ξ y 1 ∈ N de ((4.16); 171), por lo cual ξ ∈ R y ∃ n ∈ N | ξ = n · ξ
debido a ((1.58); 31), entonces ξ ∈ A de ((2.8); 43), luego A 6= ∅ de ((2.63);
62). Ahora, para θ ∈ A se sigue p ∈ N y θ = p · ξ, entonces θ ≤ η de ((1.60);
32), obteniéndose ∀ a ∈ A | a ≤ η debido a ((1.59); 32), y como η ∈ R de ((2.8);
43) se concluye η ∈ As , por lo tanto As 6= ∅ de ((2.63); 62) y del axioma (S)
se sigue S A 6= ∅, en donde S A ≡ {ω ∈ As k ∀ q ∈ As | ω ≤ q}.
a ∈ R+ ` ∃ n ∈ N | 1 < n · a .
a ∈ R+ ` ∃ n ∈ N | a < n .
Teorema 4.4.5.
∀ n ∈ Z− | − n ∈ Z+ .
Teorema 4.4.6.
∀ m & n∈N |m · n∈N .
l
Demostración.– El lector puede proceder con una demostración similar a la
del siguiente lema.
Lema 4.4.3.
∀ m & n∈N |m + n∈N .
Lema 4.4.4.
∀ 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 .
∀ r ∈ R+ | ∃ q ∈ Q | q ∈ (a − r; a + r) .
Teorema 4.4.8.
l
Demostración.– Aunque laborioso, se deja como ejercicio para el lector.
Teorema 4.4.9.
∀ n ∈ N \ {1} | n − 1 6= ∅ .
Conjuntos finitos
A.Whitehead 1
183
5.1 Antecedentes Conjuntos finitos
5.1. Antecedentes
ΠF ≈ A × B . (5.1)
m ≈ n ` m = n.
2
˘ ¯
Obsérvese que al considerar a un conjunto X y R ≡ (A, B) ∈ P (X)× P (X) k A ≈ B ,
se demuestra que R es una relación de equivalencia en P (X) × P (X) , además (A, B) ∈ R a
` (A, B) ∈ P (X) × P (X) ∧ A ≈ B debido a ((2.8); 43), lo cual ciertamente establece un
vı́nculo entre R y ≈ justificando el uso del adjetivo “equivalente” para un par de conjuntos,
pero debe quedar clara su diferencia conceptual.
De n ∈ m ∧ m 6∈ n y como Rg = n ∨0 Rg 6= n se tiene:
5.2. Finitud
(∃ n ∈ N | n ≈ A) ` A 6= ∅ . (5.2)
J ≈ K a ` #J = #K .
A 6= ∅ ` #A ∈ N .
A ∈ P(n) ` A finito .
Demostración.– Con A = ∅ se tiene A finito, y de A ∈ P(n) \ {∅} ∧
(A infinito) se sigue A ∈ P(n) \ {∅} debido a ((1.36); 22), pero también ∀ k ∈
N | k 6≈ A con A 6= ∅ del teorema (2.3.9; 71), luego ∀ k ∈ N | ∀ f ∈ B k | (f no bi-
yectiva) 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; 122), por lo cual (IA ◦ I j no suprayectiva) de
((1.60); 32), entonces A 6⊆ RIA ◦I j debido a ((2.12); 45) ya que RIA ◦I j ⊆ A,
luego ∃ a ∈ A | a 6∈ RIA ◦I j de ((2.5); 39), y con ξ ∈ A y ξ 6∈ RIA ◦I j se sigue
¬ ∃ p ∈ A ∩ j | (p, ξ) ∈ IA ◦ I j debido a ((2.8); 43) y ((1.47); 27), 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); 32)
y DIA ◦I j = A ∩ j, obteniéndose ξ 6∈ A ∩ j debido a ((1.46); 26), por lo tanto
ξ 6∈ j de ((2.31); 51) con ((1.47); 27) y el corolario (1.4.1; 35) pues ξ ∈ A ,
luego ∃ a ∈ A | a 6∈ j de ((1.58); 31), y con ((2.5); 39) se infiere A 6⊆ j, entonces
∀ k ∈ n | A 6⊆ k debido a ((1.59); 32), por consiguiente A 6⊆ n de ((1.60); 32),
luego A 6∈ P(n) de ((2.45); 54), entonces A 6∈ P(n) \ {∅} debido a ((2.26); 50) y
((2.4); 39), concluyéndose 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.46); 26).
A finito ` B finito .
J finito ` Rf finito .
A ∩ B = ∅ ` #(A ∪ B) = #A + #B .
A finito ` #(A \ B) = #A − #B .
A finito ` #B ≤ #A .
B ⊂ A ` ¬(h inyectiva) .
Demostración.– Del teorema (5.2.8; 194) se hace G ≡ (j, g) ∈ n×P(X) k g =
P
∪ RF ◦I j y S ≡ j ∈ n k #[G](j) = R j (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 (5.2.5; 191) pues [G](k) ∩ [F ](k + 1) = ∅
P
debido a ((2.33); 51) con ((2.36); 52), por lo cual #[G](k + 1) = R k (C ◦
P
I k ) + #[F ](k + 1) = R k+1 (C ◦ I k+1 ) ya que #[F ](k + 1) = [C](k + 1) ,
y F = F ◦ In ∧ C = C ◦ In .
A ≈ B ` P(A) ≈ P(B) .
#P(A) = 2#A .
A ⊆ R ∧ {b ∈ A k ∀ a ∈ A | a ≤ b} =
6 ∅ ` {b ∈ A k ∀ a ∈ A | a ≤ b} unitario (5.6)
l
y de manera análoga el lector puede demostrar
A ⊆ R ∧ {b ∈ A k ∀ a ∈ A | b ≤ a} =
6 ∅ ` {b ∈ A k ∀ a ∈ A | b ≤ a} unitario . (5.7)
A ⊆ R ∧ {b ∈ A k ∀ a ∈ A | a ≤ b} =
6 ∅ ` máx(A) ∈ A ∧ ∀ a ∈ A | a ≤ máx(A) .
(5.8)
Análogamente, cuando se tine A ⊆ R ∧ {b ∈ A k ∀ a ∈ A | b ≤ a} =
6 ∅ se
dice que A tiene mı́nimo, y al elemento de {b ∈ A k ∀ a ∈ A | b ≤ a} =
6 ∅
se le representa con mı́n(A) y se dice que es el mı́nimo de A, por lo cual
mı́n(A) = {b ∈ A k ∀ a ∈ A | b ≤ a} y se sigue
A ⊆ R ∧ {b ∈ A k ∀ a ∈ A | b ≤ a} =
6 ∅ ` mı́n(A) ∈ A ∧ ∀ a ∈ A | mı́n(A) ≤ a .
(5.9)
4 Obsérvese que {b ∈ A k ∀ a ∈ A | a ≤ b} ⊆ As de lo cual se sigue máx(A) = sup(A).
A finito ` {b ∈ A k ∀ a ∈ A | b ≤ a} =
6 ∅ ∧ {b ∈ A k ∀ a ∈ A | a ≤ b} =
6 ∅.
gid m \ gii (Aη ) de ((2.10); 43), se infiere gii (Aξ ) ⊆ gii gid m \ gii (Aη )
del teorema (3.3.9; 108), pero gii gid m \ gii (Aη ) = m ∩ m \ gii (Aη )
del teorema (3.3.8; 105) en donde m ∩ m \ gii (Aη ) = m \ gii (Aη ) de
((2.26); 50) y ((2.36); 52), entonces gii (Aξ ) ⊆ m \ gii (Aη ), por lo tanto
gii (Aξ ) ∈ P m \ gii (Aη ) \ {∅} ∧ m \ gii (Aη ) 6= ∅, y del teorema (2.3.10;
72) 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.30);
50) y el teorema (3.3.9; 108), 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 suce-
sivamente a subconjuntos propios a partir de m , obteniendo finalmenete {b ∈
A k ∀ a ∈ A | b ≤ a} =
6 ∅ . La demostración del otro enunciado es similar y se
l
deja al lector interesado.
2
Demostración.– Como ΠF ⊆ [F ](1) ∪ [F ](2) , se sigue ΠF finito debido
al lema (5.2.2; 190) con el corolario (5.2.5; 196) y el teorema (5.2.3; 189).
ii
Ahora de G ≡ (p, α) ∈ [F ](1) × P(ΠF ) k α = p1 ΠF {p} se tiene ∀ p ∈
l
[F ](1) | #[G](p) = #[F ](2) lo cual puede ser verificado por el lector, además con
H ≡ (p, λ) ∈ [F ](1) × R k λ = #[G](p) y f ∈ [F ](1) #[F ](1) biyectiva se tiene
P
#∪ RG◦f = R #[F ](1) (H ◦ f) del teorema (5.2.9; 194), en donde H ◦ f =
#[F ](2) ◦ I #[F ](1) y ∪ RG◦f = ΠF , por lo tanto #ΠF = #[F ](1) · #[F ](2)
debido al teorema (6.3.2; 232).
5 Planteado en los términos tradicionales (véase [32] pág. 34) se le conoce como principio
del análisis combinatorio.
de ((2.8); 43), pues Π(F ◦ I 1 ) = [F ](1)1 , luego #Π(F ◦ I 1 ) = #[F ](1) con
[PR 1 ](CF ◦ I 1 ) = PR 1 [CF ](1) 1 y PR 1 [CF ](1) 1 = [CF ](1) y [CF ](1) =
#[F ](1) , entonces #Π(F ◦ I 1 ) = [PR 1 ](CF ◦ I 1 ) .
Ahora de j ∈ S ∩ m − 1 se hace H ≡ 1, Π(F ◦ I j ) , 2, [F ](j + 1) , luego
2
H ∈ P Π(F ◦I j )∪[F ](j+1) y #ΠH = #Π(F ◦I j )·#[F ](j+1) debido al lema
(5.4.1; 200) con #Π(F ◦ I j )· #[F ](j +1) = [PR j ](CF ◦ I j )· [CF ](j +1) en donde
[PR j ](CF ◦ I j ) · [CF ](j + 1) = [PR j+1 ](CF ◦ I j+1 ) , además de G ≡ (α, β) ∈
ΠH
ΠH ×Π(F ◦I j+1 ) k β = [α](1) d [α](2) ◦I{j+1} se tiene G ∈ Π(F ◦I j+1 )
l
y G biyectiva como lo puede verificar el lector, entonces ΠH ≈ Π(F ◦ I j+1 ) y
se obtiene #Π(F ◦ I j+1 ) = [PR j+1 ](CF ◦ I j+1 ) debido al teorema (5.2.2; 187),
por lo cual j + 1 ∈ S de ((2.8); 43) y se infiere ∀ k ∈ S ∩ m − 1 | k + 1 ∈ S de
((1.59); 32), y con la proposición (4.4.1; 173) se obtiene m ⊆ S , luego #ΠF =
[PR m ](CF ) nuevamente de ((2.8); 43) ya que F ◦ I m = F ∧ CF ◦ I m = CF .
Corolario 5.4.1.
∀ m & n ∈ N | # n m = nm .
j
Demostración.– De j ∈ N ∧ k ∈ N se tiene ΠF = k con F ≡ IP(N) ◦ k ◦
j
I j , se sigue # k = [PR j ](CF ) al hacer CF ≡ (l, λ) ∈ j×R k λ = #[F ](l)
debido a la proposición (5.4.1; 200), en donde CF = IR ◦ dke ◦ I m pues
j
∀ l ∈ j | [CF ](l) = k ya que ∀ l ∈ j | [F ](l) = k , luego # k = k j del teorema
(6.3.2; 232), por lo tanto ∀ m & n ∈ N | # n m = nm debido a ((1.59); 32).
A 6= ∅ ∧ B 6= ∅ ` #(B A ) = (#B)#A .
6 Este comportamiento brinda el número de cadenas binarias viables para una longitud
de palabra dada, lo cual es fundamental en el almacenamiento de representaciones binarias
de números reales haciendo B ≡ {0, 1} y #A = 64 al utilizar doble precisión.
IB m
IB m+1 k ∃ p ∈ [G](h) | q = h d IB ◦ dpe◦Im+1 , luego F ∈ P(IB m+1
y además ∀ h ∈ IB m | #[F ](h) = #B − m ∧ ∀ h ∈ IB m | ∀ g ∈ IB m \ {h} | [F ]
l
(h)∩[F ](g) = ∅ como puede comprobarlo el lector, entonces con f ∈ IB m #IB m
∧ f biyectiva pues IB m finito de ((2.10); 43) con el teorema (5.2.3; 189) y el
corolario (5.2.5; 196), 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)
B R B
P
del teorema (5.2.9; 194), en donde #I m (C) = (#B − m) · #IB m de-
B R
bido al teorema (6.3.2; 232), entonces #IB m+1 = (#B − m) · #IB m ya que
l
∪ RF = IB m+1 como lo puede verificar el lector.
Teorema 5.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ón.– De S ≡ k ∈ m | #IB k = k! · #B k se sigue 1 ∈ S pues
1 1 #B
IB 1 = B con #B = #B y 1! · 1 = #B , ahora de j ∈ S ∩ m − 1 se tiene
#IB j+1 = (#B − j) · #IB j del lema (5.4.2; 202), en donde #IB j = j! · #Bj
#B
debido a ((2.8); 43), luego #IB j+1 = (j + 1)! · m+1 y se obtiene j + 1 ∈ S
nuevamente de ((2.8); 43), por lo cual ∀ k ∈ S ∩ m − 1 | k + 1 ∈ S de ((1.59);
32), entonces m ⊆ S de la proposición (4.4.1; 173), por consiguiente m ∈ S y
se concluye #IB m = m! · #B
m de ((2.8); 43).
con generalidad.
P
∀ η ∈ [ ]R | ∀ ω ∈ [ ]R \ {η} | η ∩ ω = ∅ , entonces #∪ Rf = R #[ ]R
(C)
P
del teorema (5.2.9; 194) 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 (5.4.2; 203), luego #CB k = #Bk , y de ((1.59);
#B
32) se concluye ∀ m ∈ #B | #CB m = m .
Henri Poincaré
6.1. Recurrencia
207
6.1 Recurrencia Funciones por inducción
52) y también ∀ η ∈ φ ∩ j − 1 × A | [H](η) ∈ φ de ((2.8); 43), obteniéndose
[H](ω) ∈ φ debido a ((1.60); 32), por lo tanto ∀ B ∈ C | [H](ω) ∈ B de ((1.59);
32), luego [H](ω) ∈ ∩ C de ((2.31); 51), entonces [H](ω) ∈ M de ((2.8); 43) ya
que [H](ω) ∈ j×A , y con ((1.59); 32) se concluye ∀ η ∈ M ∩( j − 1×A) | [H](η) ∈
M , por lo tanto M ∈ C de ((2.8); 43) dado que M ∈ P j ×A debido a ((2.10);
43) y ((2.43); 54).
También 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 de ((2.8); 43), 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, ξ), además [H](i, ξ) ∈ M debido a ((2.8); 43) y ((1.60); 32) pues M ∈ C ,
por lo cual [H](i, ξ) ∈ M \ (1, ω) , entonces ∀ α ∈ M \ (1, ω) ∩ j − 1 ×
A | [H](α) ∈ M \ (1, ω) de ((1.59); 32), obteniéndose M \ (1, ω) ∈ C de
((2.8); 43) dado que M \ (1, ω) ∈ P j × A . Y como de φ ∈ M se tiene
∀ B ∈ C | φ ∈ B debido a ((2.8); 43) y ((2.31); 51), entonces φ ∈ M \ (1, ω)
de ((1.60); 32), luego ∀ η ∈ M | η ∈ M \ (1, ω) debido a ((1.59); 32), por lo
cual M ⊆ M \ (1, ω) de ((2.3); 39), obteniéndose M = M \ (1, ω) , luego
(1, ω) 6∈ M , por lo tanto ∀ b ∈ A \ {a} | (1, b) 6∈ M de ((1.59); 32), entonces
∃ q ∈A | (1, q) ∈ M ∧ ∀ b ∈ A \ {q} | (1, b) 6∈ M debido a ((1.58); 31) ya que
(1, a) ∈ M , concluyéndose 1 ∈ S de ((2.8); 43).
Por lo tanto ∀ η ∈ M \ (m+1, β) ∩ j − 1 ×A | [H](η) ∈ M \ (m+1, β) de
((1.59); 32), 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.8);
43). Pero M ⊆ M \ (m + 1, β) debido a ((2.33); 51), luego M = M \ (m +
1, β) de ((2.12); 45) pues M \ (m + 1, β) ⊆ M , entonces (m + 1, β) 6∈ M
y de ((1.59); 32) 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.8); 43) ya
que m + 1, [L](m) (ξ) ∈ M y [[L](m) (ξ) ∈ A , obteniéndose m + 1 ∈ S de
((2.8); 43), por lo tanto ∀ n ∈ S ∩ j − 1 | n + 1 ∈ S debido a ((1.59); 32) y de la
proposición (4.4.1; 173) se concluye j ⊆ S .
Entonces para m ∈ j se sigue ∃ q ∈ A | (m, q) ∈ M ∧ ∀ b ∈ A \ {q} | (m, b) 6∈ M
de ((2.8); 43), luego ∃ q ∈ A | (m, q) ∈ M de la proposición (1.4.3; 33) y ((1.36);
22), entonces m ∈ DM y de ((2.8); 43) se tiene ∀ n ∈ j | n ∈ DM , por lo cual
j ⊆ DM obteniendo DM = j de ((2.12); 45) ya que DM ⊆ j. Ası́ mismo, de
(k, ξ) ∈ M se sigue ∃ q ∈ A | ∀ b ∈ A \ {q} | (k, b) 6∈ M de ((2.8); 43) y nuevamente
de la proposición (1.4.3; 33) pues k ∈ j , y con η ∈ A y ∀ b ∈ A \ {η} | (k, b) 6∈ M
Demostración.– Con C ≡ (p, Q) ∈ X×P(X) k Q = {p} y U ≡ (P, Q), S
∈ (P(X) × P(X) × P(X) k S = P ∪ Q se tiene C ∈ P(X)X y U ∈
P(X)×P(X) 1
P(X) y se hace F ≡ dU e ◦ bC ◦ ξc ⊗ dIP(X) e , luego F ∈
#A l
P(X)P(X) como puede verificarlo el lector, y de la proposición (6.1.1;
208) se sigue ∃! G ∈ A#A+1 | (1, B) ∈ G ∧ G ◦ I#A + d1e = (F 4 G) ◦ I#A
en donde ∀ k ∈ #A | [G](k + 1) = [G](k) ∪ [ξ](k) como también lo puede
l
comprobar el lector.
Corolario 6.1.4.
∀ a ∈ R | ∃! G ∈ RN | (1, a) ∈ G ∧ G ◦ IN + d1e = dae · G .
2
†
× [ΠR](3/2) ◦ I 7
1 Se identifica de manera algebráica, pero también puede hacerse con las funciones exp y
ln ([13] pág. 606).
Además, para a ∈ R se tiene ΠR 4 d1e (a) = [ΠR ](a) (1) y [ΠR ](a)
1
(1) = a con a = [IR ](a) , también Π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
1
∀ p ∈ R | ΠR 4 d1e (p) = [IR ](p) y ∀ p ∈ R | ΠR ◦ IN +d1e (p) = bIR c·ΠR (p)
de ((1.59); 32), y con ((3.16); 95) se obtiene
1
ΠR 4 d1e = IR y ΠR ◦ IN + d1e = bIR c ΠR (6.1)
luego de n ∈ N se sigue [ΠR ](a) (n + 1) = a ·R [ΠR](a) (n) , y de este com-
l
portamiento el lector puede demostrar
ΠR id (N) ⊆ N . (6.2)
1 N
Al hacer P ≡ dΠR e 4 bIN c se tiene P ∈ RR y resulta ser la función dual
(véase pág. 136) de ΠR , además
(1, IR ) ∈ P y P ◦ IN + d1e = dIR e P (6.3)
debido a ((6.1); 214) y nuevamente de ((1.59); 32) con ((3.16); 95), además
como ∀ n ∈ Z− | − n ∈ Z+ del teorema (4.4.5; 177), para n ∈ Z+ se hace
IR n ≡ [P ](n) y IR n ≡ IR im ◦ [P ](−n) con n ∈ Z− en donde 2 IR im ≡ (a
, η) ∈ R \ {0} ×R k η = aim , por lo cual IR im ∈ RR \ {0} y con el corolario
(4.3.3; 160) se sigue
RIR im = R \ {0} (6.4)
ii
Entonces del teorema (3.3.10; 109) se tiene ∀ n ∈ N | IR n R \ {0} = R \ {0}
y con ((6.3); 214) se infiere
IR 1 = IR y ∀ n ∈ Z+ | IR n+1 = IR · IR n
(6.5)
IR −1 = IR im y ∀ n ∈ Z− | IR n = IR im ◦ IR −n .
Teorema 6.2.1.
∀ n ∈ Z+ ∪ {0} | IR n+1 = IR · IR n .
2 †
IR2 ◦ I[−3,95; 3,95]
†
IR ◦ I[−12; 12]
†
IR0 ◦ I[−12; 12]
1
†
IR3 ◦ I[−2,5; 2,5]
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);
32), también b1 = [IR 1 ](b) y [IR 1 ](b) = [IR ](b) con [IR ](b) = b , luego ∀ a ∈
R | a1 = a de ((1.59); 32). Análogamente, de b ∈ R \ {0} se sigue 1/b1 = 1/b del
inciso anterior y ((1.60); 32) en donde 1/b = b−1 , entonces ∀ a ∈ R \ {0} | 1/ a =
a−1 debido a ((1.59); 32).
†
IR −3 ◦ I[0,01; 2,45]
† †
IR −2 ◦ I[−16; −0,26] IR −2 ◦ I[0,26; 16]
1
†
IR −1 ◦ I[−16; −0,07]
†
IR −3 ◦ I[−2,45; −0,01]
1 ≤ a ` a ≤ an .
2 ≤ a ` 1 ≤ an−1 .
1 < a ` a < an .
1 ≤ a ` an ≤ a .
luego 1 ≤ a−n y del teorema (4.3.26; 170) se sigue (a−n )im ≤ 1im , en donde
1 = 1im debido al teorema (4.3.1; 158), luego (a−n )im ≤ a. Pero de ((6.5);
215) se tiene an = [IRn ](a) = [IRinv ◦ IR −n ](a) y [IR inv ◦ IR −n ](a) = (a−n )im ,
por lo tanto an ≤ a .
2 ≤ a ` ∀ n ∈ N | n ≤ an .
Lema 6.2.1.
∀ n ∈ Z | 1n = 1 .
3 Se presenta una ambigüedad notacional con IR n , dado que da lugar a otro razonamiento
para IR n = IR ◦ IR n , sin embargo no tiene mayores consecuencias y no amerita introducir
una distinción.
Teorema 6.2.4.
n
∀ n ∈ Z | IR 0 = IR 0 .
Lema 6.2.2.
n ∈ Z ∧ m ∈ Z− ` IR n · IR m = IR n+m ◦ IR \ {0} .
n ∈ Z ∧ m ∈ Z− ` f n · f m = f n+m ◦ If ii (R \ {0}) .
f · f im = d1e ◦ If ii (R \ {0}) .
4 La condición de especificación es afı́n a la discusión, pues del lema (4.4.3; 178) se tiene
∀ n & m ∈ N | IR n+m ∈ RR .
∀ n ∈ Z | (f · g)n = f n · gn .
Demostración.– 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 f 1 ·g1 = (IR 1 ◦f)·(IR 1 ◦g) = (IR ◦f)·(IR ◦g) = f ·g
debido a ((6.5); 215), luego 1 ∈ S de ((2.8); 43). Ahora, para j ∈ S se sigue
(f · g)j+1 = IR j+1 ◦ (f · g) = (IR · IRj )◦ (f · g) = (f · g)· (f · g)j = (f · g)· (f j · gj ) =
(f · f j ) · (g · gj ) = f j+1 · gj+1 debido a ((6.5); 215) y el teorema (6.2.5; 220),
por lo cual j + 1 ∈ S nuevamente de ((2.8); 43), entonces ∀ n ∈ S | n + 1 ∈ S
de ((1.59); 32), y se obtiene S = N del corolario (4.4.1; 174), concluyéndose
∀ n ∈ N | (f · g)n = f n · gn de ((2.16); 46). También los casos faltantes se dejan
l
al lector.
Lema 6.2.3.
∀ n & m ∈ Z | (IR n )m = IR n·m .
∀ n & m ∈ Z | (f n )m = f n·m .
Teorema 6.2.8.
∀ a ∈ R+ \ [0; 1] | [ΠR](a) creciente .
Demostración.– De ξ ∈ R+ \ [0; 1] y (m, n) ∈ N \ {1} × N se tiene ξ m =
ξ m−1 ·ξ del teorema (6.2.1; 215) con ((1.60); 32), además ξ < ξ n+1 ∧ ξ ≤ ξ m−1
del corolario (6.2.2; 217) y el teorema (6.2.2; 216), luego 0 < ξ m−1 pues ξ ∈
R+ \ [0; 1] , entonces ξ m−1 · ξ 1 < ξ m−1 · ξ n+1 , y del lema (6.2.2; 219) se obtiene
ξ m < ξ m+n , por lo cual ∀ q ∈ N | ξ m < ξ m+q debido a ((1.59); 32). Ahora de
s ∈ N ∧ m < s se sigue m < m + (s − m) , luego ξ m < ξ s de ((1.60); 32) pues
s − m ∈ N , y del corolario (6.2.2; 217) con ((1.59); 32) se obtiene ∀ p & q ∈
N | p < q ` [ΠR ](ξ) (p) < [ΠR ](ξ) (q), por lo tanto [ΠR ](ξ) creciente , y de
((1.59); 32) se concluye ∀ a ∈ R+ \ [0; 1] | [ΠR ](a) creciente .
Corolario 6.2.5.
∀ a ∈ R+ \ [0; 1] | ∀ n ∈ N | n ≤ [ΠR ]](a) (n) .
Demostración.– De ξ ∈ R+ \ [0; 1] y al hacer S ≡ n ∈ N | n ≤ [ΠR ]](ξ) (n)
se tiene 1 ∈ S debido a ((2.8); 43) ya que [ΠR ]](ξ) (1) = ξ de ((6.1); 214), y
con k ∈ S se tiene k < [ΠR ]](ξ) (k +1) de ((2.8); 43) y el teorema (6.2.8; 222),
por lo cual k +1 ≤ [ΠR ]](ξ) (k +1) del teorema (4.4.3; 173), entonces k +1 ∈ S
debido a ((2.8); 43), y se obtiene ∀ n ∈ S | n ∈ S de ((1.59); 32), luego S = N del
corolario (4.4.1; 174), y de ((2.16); 46) se concluye ∀ n ∈ N | n ≤ [ΠR ]](ξ) (n) ,
por lo tanto ∀ a ∈ R+ \ [0; 1] | ∀ n ∈ N | n ≤ [ΠR]](a) (n) nuevamente de ((1.59);
32).
f creciente ` f inyectiva .
Demostración.– Con ξ ∈ f ii {η} y ω ∈ f ii {η} se tiene [f](ξ) = η ∧
[f](ω) = η debido al teorema (3.3.4; 103), luego [f](ξ) = [f](ω) por lo cual
xi = ω pues de ξ 6= ω se sigue ξ ∈ [R<](ω) ∨0 ω ∈ [R< ](ξ) , luego [f](ξ) <
[f](ω) ∨0 [f](ω) < [f](ξ) ya que f creciente, entonces ξ ∈ f ii {η} ∧ ∀ p ∈
f ii {η} | p = ξ de ((1.59); 32), por lo cual f ii {η} unitario debido al teorema
(2.3.11; 73) y ((1.47); 27), por lo tanto ∀ p ∈ f ii {η} | f ii {η} unitario nueva-
mente de ((1.59); 32), y del teorema (3.3.5; 103) se concluye f inyectiva .
inv
Demostración.– Para ξ ∈ B ∧ η ∈ B y ξ < η se tiene f [f ](ξ) <
inv
f [f ]
(η) , además 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; 126), entonces f inv
creciente.
Teorema 6.2.11.
id
∀ n ∈ Z+ | IR n R+ ∪ {0} ⊆ R+ ∪ {0} .
Corolario 6.2.6.
R+ ∪{0}
∀ n ∈ Z+ | IR+ ∪{0} ◦(IR n ◦IR+ ∪{0} ) ∈ R+ ∪{0} ∧ IR ◦(IR+ ∪{0} ◦IR n ) = IR n .
l
Demostración.– Se deja al lector como ejercicio.
Teorema 6.2.12.
IR+ ∪{0} ](b) = b de ((6.5); 215), luego [IR1 ◦ IR+ ∪{0} ](a) < [IR 1 ◦ IR+ ∪{0} ](b),
por lo cual IR 1 ◦ IR+ ∪{0} creciente, y de ((2.8); 43) se concluye 1 ∈ S. Ahora,
de m ∈ S se tiene [IRm+1 ◦ IR+ ∪{0} ](a) = a · am y [IR m+1 ◦ IR+ ∪{0} ](b) = b · bm
de ((6.5); 215), en donde a ∈ R+ ∪ {0} ∧ am ∈ R+ ∪ {0} debido al teorema
(6.2.11; 224) y am < bm , luego a · am < b · bm del teorema (4.3.23; 169), por
lo cual IR m+1 ◦ IR+ ∪{0} creciente, entonces m + 1 ∈ S, luego ∀ n ∈ S | n + 1 ∈ S
de ((1.59); 32), concluyéndose S = N del corolario (4.4.1; 174), y de ((2.16);
46) se obtiene ∀ n ∈ N | IR n ◦ IR+ ∪{0} creciente.
Corolario 6.2.7.
√
Para invocar a la función + n se requieren de varios teoremas del
cálculo en FR×R y sus antecedentes (véase [13] Cap. 8 § 6) que seguramente
conoce el lector 6 , en donde se hace FR×R C ≡ {f ∈ FR×R k f continua} , FR×RCp
≡ {f ∈ FR×R k f continua en p} y FR×R CA ≡ {f ∈ FR×R k f continua en A} :
Teorema 6.2.13.
1) IR ∈ FR×RC .
2) f ∈ FR×RCp ∧ g ∈ FR×RCp ` f · g ∈ FR×RCp .
3) f ∈ FR×RC ` ∀ A ∈ P(Df ) \ {∅} | f ◦ IA ∈ FR×RC .
4) Teorema de valor intermedio:
a) f ∈ FR×R C[ a; b] ∧ [f](a) < [f](b) ` [f](a); [f](b) ⊆ f id (a; b) .
b) f ∈ FR×RC[ a; b] ∧ [f](b) < [f](a) ` [f](b); [f](a) ⊆ f id (a; b) .
6 Este tema se trata en el tercer volumen del proyecto.
Teorema 6.2.14.
∀ n ∈ Z+ | IR n continua .
√
Rn , y para a ∈ R+ ∪ {0} se conviene en + n a ≡ [IR+ ∪{0} 1/n ](a) . Ası́ mis-
mo, para el caso n ≡ 2 usualmente se omite el superı́ndice, procediendo con
√ √
+ a ≡ +2 a .
†
(IR 1/2 )im ◦ I[0,005; 16]
†
IR 1/2 ◦ I[0; 16]
†
IR 1/3 ◦ I[0; 16]
Teorema 6.2.16.
IR+ ∪{0} 0/1 = IR+ ∪{0} ◦ d1e ◦ IR+ ∪{0} y IR+ ∪{0} 1/1 = IR+ ∪{0} .
Demostración.– Como IR+ ∪{0} 0/1 = R1 , de ξ ∈ R+ ∪{0} se sigue [IR+ ∪{0} 0/1 ]
(ξ) = [R0](ξ) = 1 pues 10 = 1 de ((6.6); 216) con ((1.60); 32), además
[IR+ ∪{0} ◦ d1e ◦ IR+ ∪{0} ](ξ) = 1 , entonces ∀ η ∈ R+ ∪ {0} | [IR+ ∪{0} 0/1 ](η) =
[IR+ ∪{0} ◦ d1e ◦ IR+ ∪{0} ](η) de ((1.59); 32), por lo tanto IR+ ∪{0} 0/1 = IR+ ∪{0} ◦
d1e ◦ IR+ ∪{0} debido a ((3.16); 95). Ahora, como IR+ ∪{0} 1/1 = R1 , para
ξ ∈ R+ ∪ {0} se sigue [IR+ ∪{0} 1/1 ](ξ) = [R1 ](ξ) = ξ ya que ξ 1 = ξ de ((6.6);
216) con ((1.60); 32), luego ∀ η ∈ R+ ∪ {0} | [IR+ ∪{0} 1/1 ](η) = [IR+ ∪{0} ](η)
debido a ((1.59); 32), concluyéndose IR+ ∪{0} 1/1 = IR+ ∪{0} de ((3.16); 95).
Corolario 6.2.8.
∀ n ∈ N | IR n ◦ IR+ ∪{0} 1/n = IR ◦ IR+ ∪{0} ∧ IR+ ∪{0} 1/n ◦ IR n = IR+ ∪{0} .
Teorema 6.2.18.
7 También presenta una ambigüedad notacional con IR+ ∪{0} 1/n , pues se tienen dos ra-
zonamientos para IR+ ∪{0} 1/n = IR+ ∪{0} 1/n ◦ IR+ ∪{0} 1/n , lo cual no tiene mayores conse-
cuencias.
Lema 6.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ón.– Se deja al lector como ejercicio.
Demostración.– Para i ∈ N se considera S ≡ k ∈ N k IR ◦ (f k )1/i = (f 1/i )k
1/i 1/i
y se tiene IR ◦ (f 1 )1/i = IR ◦ IR+ ∪{0} ◦ IR1 ◦ f = IR1 ◦ IR+ ∪{0} ◦ IR ◦ f =
1/i
IR1 ◦ IR+ ∪{0} ◦ f = (f 1/i )1 de ((6.5); 215), 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 (6.2.5; 220) y (6.2.20; 229) con el lema (6.2.4; 230), por lo cual
y se hace PRn ≡ (p, λ) ∈ Rn × R k λ = [P[1n ](p) ](n) de lo cual se tiene
n
PRn ∈ R(R )
que aquı́ se le llama 8 función producto en Rn .
m m
m
m+1
∀ k∈m = ∧ (m + 1) · = (k + 1) · . (6.8)
k m−k k k+1
l
Demostración.– Se deja la lector como ejercicio.
P
Entre los comportamientos de PRn y Rn conocidos por el lector,
se consideran a los siguientes teoremas que serán utilizados en el siguiente
capı́tulo.
[P[11 ](IR ◦(dξe◦I1 )) ](1) con [P[11 ](IR ◦(dξe◦I1 )) ](1) = 11 IR ◦ (dξe ◦ I1 ) (1) y
11 IR ◦ (dξe ◦ I1 ) (1) = ξ , luego [P[11 ](IR ◦(dξe◦I1 )) ](1) = ξ 1 debido a ((6.6);
216) y ((1.60); 32), por lo cual [PR1 ] IR ◦ (dξe ◦ I1 ) = ξ 1 . Ahora de k ∈
S ∩ n − 1 se tiene PRk+1 IR ◦ dξe ◦ Ik+1 = [P[1k+1 ](IR ◦(dξe◦Ik+1 )) ](k + 1)
con [P[1k+1 ](IR ◦(dξe◦Ik+1 )) ](k + 1) = [P[1k+1 ](IR ◦(dξe◦Ik+1 )) ](k) · [1k+1 ](IR ◦ (dξe ◦
Ik+1 )) (k+1) y [P[1k+1 ](IR ◦(dξe◦Ik+1 )) ](k) = [P[1k ]((IR ◦(dξe◦Ik+1 )◦Ik ) ](k) de ((6.7);
231) y [1k+1 ](IR ◦(dξe◦Ik+1 )) (k +1) = ξ , por consiguiente PRk+1 IR ◦ dξe◦
Ik+1 = PRk IR ◦ dξe ◦ Ik · ξ , luego PRk+1 IR ◦ dξe ◦ Ik+1 = ξ k+1
del lema (6.2.2; 219) y ((6.6); 216), luego k + 1 ∈ S debido a ((2.8); 43), y
de ((1.59); 32) se obtiene ∀ j ∈ S ∩ n − 1 | j ∈ S , por lo cual n ⊆ S de la
proposición (4.4.1; 173), entonces PRn IR ◦ dξe ◦ Im = ξ n de ((2.8); 43).
P l
Análogamente el lector puede demostrar Rn IR ◦ dξe ◦ In = n · ξ , y de
P
((1.59); 32) se infiere ∀ λ ∈ R PRn IR ◦ dλe ◦ In = λn ∧ Rn IR ◦ dλe ◦
In = n · λ .
l
Demostración.– Se deja al lector como ejercicio.
l
Demostración.– También se deja al lector como ejercicio.
Alfabeto griego
1 Desarrollado alrededor del siglo IX a. C. a partir del alfabeto consonántico fenicio, los
griegos adoptaron el primer alfabeto completo de la historia, entendiéndolo como la escritura
que expresa los sonidos individuales del idioma, es decir que prácticamente a cada vocal y
cada consonante corresponde un sı́mbolo distinto.
665
Alfabeto griego
Griego Español Griego Español
A, α alfa B, β beta
Γ, γ gamma ∆, δ delta
E, épsilon Z, ζ dseda
H, η eta Θ, θ zeta
I, ι iota K, κ kappa
Λ, λ lambda M, µ mi
N, ν ni Ξ, ξ xi
O, o ómicron Π, π pi
R, ρ rho Σ, σ sigma
T, τ tau Y, u ı́psilon
Φ, φ fi X, x ji
Ψ, ψ psi Ω, ω omega
Breviario de términos y
corrientes filosóficas
(Extraido de la “Gran enciclopedia Larousse”)
667
Breviario de términos y corrientes filosóficas
Ontologı́a.- Parte de la filosofı́a que estudia el ente en cuanto a tal. Wolff 6 fue
quien precisó su sentido y extendió su uso, definiéndola como el estudio de los
predicados más generales del ente, siguiendo un método racional y deductivo.
eración metafı́sica sobre el ser. En las corrientes predominantes del siglo XX,
el problema ontológico pasó a ser considerado desde el punto de vista de la
relación entre el sujeto y la objetividad con el que este se encuentra.
Empirismo.- Doctrina filosófica según la cual todas las ideas son propor-
cionadas por la experiencia.
9 Término introducido por T.H. Huxley en 1869, debido a un texto de san Pablo en el que
se refiere a un templo de Atenas dedicado a “un Dios desconocido”.
“La náusea”, “La edad de la razón”, “El aplazamiento”, “La muerte en el alma”, “San Genet”,
“Las palabras”, “El idiota de la familia”.
Graficación cartesiana de
FR×R
677
Graficación cartesiana de FR×R
3 Del latı́n erratio (extravı́o, desviación, fluctuación) que no debe intrerpretarse con equiv-
ocación, tal como generalmente se hace. . . para los fı́sicos este comportamiento es familiar,
pero definitivamente no es ası́ para los matemáticos, y está ı́ntimamente relacionado con la
interpretación estadı́stica de la fı́sica.
4 Lo cual fue incorporado en las gráficas de este libro.
Representación digital
Carl Stormer 1
681
D.1 Antecedentes algebraicos Representación digital
a 6= 0 ` ∃! (p, q) ∈ N ∪ {0} × Z | p < |a| ∧ b/a = q + p/a . 2, 3
Demostración.– Con S ≡ Rdbe+d−ae·IZ ∩ N ∪ {0} y como a ≤ −1 ∨0 1 ≤ a
se sigue:
De a ≤ −1 se tiene dbe + d−ae · IZ |b| = b − a · |b| del teorema
(4.3.10; 162) y |b| ≤ − a · |b| , luego b + |b| ≤ b − a · |b| con 0 ≤ b + |b|
y b − a · |b| ∈ Z del teorema (4.4.8; 180), por lo cual b − a · |b| ∈
N ∪ {0} ∧ ∃ c ∈ Ddbe+d−ae·IZ | c, b − a · |b| ∈ dbe + d−ae · IZ de ((1.58);
31), entonces b − a · |b| ∈ Rdbe+d−ae·IZ ∩ (N ∪ {0}) debido a ((2.8); 43),
por consiguiente ∃ d ∈ Rdbe+d−ae·IZ ∩ (N ∪ {0}) | d = d nuevamente de
((1.58); 31), y con teorema (2.3.6; 66) se concluye S =
6 ∅.
De 1 ≤ a se tiene dbe + d−ae · IZ
− |b| = b + a · |b| del corolario
(4.3.4; 163) y |b| ≤ a · |b|, luego b + |b| ≤ b + a · |b| con 0 ≤ b + |b|
y b + a · |b| ∈ Z del teorema (4.4.8; 180), por lo cual b + a · |b| ∈
N ∪ {0} ∧ ∃ c ∈ Ddbe+d−ae·IZ | c, b + a · |b| ∈ dbe + d−ae · IZ de ((1.58);
31), entonces b + a · |b| ∈ Rdbe+d−ae·IZ ∩ (N ∪ {0}) debido a ((2.8); 43),
por consiguiente ∃ d ∈ Rdbe+d−ae·IZ ∩ (N ∪ {0}) | d = d nuevamente de
((1.58); 31), y con teorema (2.3.6; 66) se concluye S =
6 ∅.
†
Con a ∈ N \ {1} se hace Na ≡ b ∈ N k ∃ (k, f ) ∈ N ∪ {0} × FR×R
N∪{0} P
| f ∈ k ∪ {0} ∧ b= Rk (f ◦ I k ) · [ΠR ](a) + [f ](0) y se ob-
tiene Na = N como se establece en el siguiente teorema.
Na = N
Demostración.– De S ≡ l ∈ N k l ⊆ Na se tiene 1 ∈ S , pues del corolario
(D.1.1; 684) con ((3.3); 87) y ((1.36); 22) se sigue ∃! (p, q) ∈ N ∪ {0} × N ∪
{0} | q < 1 ∧ 1 = (q · a) + p , y con (s, r) ∈ N ∪ {0} × N ∪ {0} ∧ s <
1 ∧ 1 = (s · a) + r se hace g ≡ I a−1∪{0} ◦ dse ◦ I{1} d I a−1∪{0} ◦ dre ◦ I{0}
1∪{0} P
por lo cual g ∈ a − 1 ∪ {0} 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})×( a−1∪{0}) | Df ⊆ k ∪ {0} ∧ 1 = R1 (f ◦ I 1 ·
[ΠR](a) + [f](0) de ((1.58); 31), y con ((2.8); 43) se obtiene 1 ∈ Na , luego
∀ i ∈ 1 | i ∈ Na de ((1.59); 32), por lo tanto 1 ⊆ Na y con ((2.8); 43) se concluye
1 ∈ S.
D.2. Digitalización
5 Para que las representaciones sean únicas se desechan los ceros “iniciales”de la cadena
de sı́mbolos empleando el principio de buen orden ((4.17); 171), con lo cual se cancelan los
ceros inútiles de la suma.
6 Luis Antonio Santaló (1911-2001), matemático español y emigrado republicano que im-
pulsó fuertemente la enseñanza de la matemática en Iberoamérica.
Teorema D.2.1.
de (c, d) ∈ N \ {0} × N ∧ ξ = c/d se tiene 9 ∃ k ∈ N | c = k · d , luego
d 6= 1 y del corolario (D.1.1; 684) se infiere ∃! (p, q) ∈ N × N ∪ {0} | q <
c ∧ (p/d < 1 ∧ c/d = q + p/d) , y con (r, s) ∈ N × N ∪ {0} ∧ s < c ∧ (r/d <
1 ∧ c/d = s + r/d) se obtiene ξ = s + r/d ∧ s ∈ N ∪ {0} ∧ (r ∈ N ∧ r < d) .
Además de a ∈ N \ {1} y el teorema (D.2.1; 689) se tiene ∃ l ∈ N | d/r <
[ΠR ](a) (l) con [ΠR ](a) (l) ∈ N y de Cξ ≡ k ∈ N k d/r < [ΠR](a) (k)
se infiere Cξ ∈ P(N) \ {∅} , por lo tanto {j ∈ Cξ k ∀ k ∈ Cξ | j ≤ k} =
6 ∅
debido a ((4.17); 171) y el teorema (2.3.1; 62), entonces mı́n(Cξ ) ∈ Cξ de
((5.9); 197) y ((1.36); 22), luego d ≤ [ΠR](a) mı́n(Cξ ) · r y del corolario
(D.1.2; 685) se obtiene ∃! (p, q) ∈ N ∪ {0} × N | q < [ΠR](a) mı́n(Cξ ) ·
r ∧ p/d ∈ [0; 1) ∧ [ΠR ](a) mı́n(Cξ ) · r /d = q + p/d , y como ξ =
s + 1/ [ΠR ](a) mı́n(Cξ ) · [ΠR](a) mı́n(Cξ ) · r /d , con (η, ω) ∈ N ∪
{0} × N | ω < [ΠR ](a) mı́n(Cξ ) · r ∧ η/d ∈ [0; 1) ∧ [ΠR](a) mı́n(Cξ ) ·
r /d = ω + η/d se sigue ξ = s + 1/ [ΠR ](a) mı́n(Cξ ) · (ω + η/d) . En-
tonces del teorema (D.1.2; 686) y ((2.8); 43) se obtiene ∃ (k, f) ∈ N ∪ {0} ×
P
F(N∪{0})×( a−1∪{0}) | Df = k ∪ {0} ∧ s = Rk (f ◦ I k ) · [ΠR ](a) + [f](0) y
P
∃ (k, f) ∈ N ∪ {0} × F(N∪{0})×( a−1∪{0}) | Df = k ∪ {0} ∧ ω = Rk (f ◦
I k ) · [ΠR ](a) + [f](0) , y con (j, h) ∈ N ∪ {0} × F(N∪{0})×( a−1∪{0}) | Dh =
P
j ∪ {0} ∧ s = Rj (h ◦ I j ) · [ΠR ](a) + [h](0) y (l, g) ∈ N ∪ {0} ×
P
F(N∪{0})×( a−1∪{0}) | Dg = l ∪ {0} ∧ ω = Rl (g ◦ I l ) · [ΠR ](a) + [g](0)
P
se obtiene ξ = Rj (h ◦ I j ) · [ΠR](a) + [h](0) + 1/ [ΠR ](a) mı́n(Cξ ) ·
P
Rl (g ◦I l )·[ΠR ](a) +[g](0) +η/d con sa = h mı́n b h −1 ...[h](0)
y ωa = g mı́n gb − 1 ...[g](0) , y para la representación digital de ξ con la
base a se hace ξa ≡ sa . 0 . . . 0 ωa incorporando al punto como separador segui-
do de mı́n(Cξ ) ceros previos a ωa
[2] T.M. Apostol, Calculus, Vol.I, One – Variable Calculus, with an Introduc-
tion to Linear Algebra; Xerox College Publishing (1967).
[4] F. Bombal, Nicolás Bourbaki: el matemático que nunca existió; Rev. Real
Acad. Ci. Exact. Fis. Nat. (Esp), Vol. 105, No 1 (2011), 77-98.
693
[9] R. Courant y F. John, Introduction to Calculus and Analysis, Vol.II ;
Wiley-Interscience (1974).
[13] N.B. Haaser, J.P. LaSalle y J.A. Sullivan, A course in Mathematical Anal-
ysis, Vol.I, Introduction to Analysis; Ginn and Co. (1959).
[14] N.B. Haaser, J.P. LaSalle y J.A. Sullivan, A course in Mathematical Anal-
ysis, Vol.II, Intermediate Analysis; Ginn and Co. (1965).
[16] P.R. Halmos, Introduction to Hilbert space and the Theory of Spectral mul-
tiplicity; Chelsea Publishing Company (1957).
[18] P.R. Halmos, Naive set theory; D. Van Nostrand Co. (1960).
694
[21] S.T. Hu, Introduction to general Topology; Holden-Day (1966).
[31] M.L. O’leary, The structure of proof: with logic and set theory; Prentice-
Hall (2002).
[32] E. Parzen, Modern Probability Theory and its applications; John Wiley &
Sons (1960).
695
[34] A.M. Aldama, M.F. Rosales y F.J. Uribe, La primera variación y la
ecuación de Euler en un espacio normado de dimensión arbitraria, Com.
Interna Dpto. Mat. UNAM, Mem. Sem. No.5, México (1979).
696
Indice y simbologı́a
697
ordenado, 155 coconcatenación. . . !,9
Cantor Georg, 38, 41, 58, 87 coimplicación tautológica
Cardinalidad. . . #A , 186 . . . ⇔ , 16
Cauchy Augustin, 427 coinferencia. . . a ` , 21
Ceros de ecuación, 110 concatenación. . . ,9
Clairaut Alexis, 658 idéntico. . . ≡ , 5
Clase implicación tautológica
c-cero. . . C 0 , 514 . . . ⇒ , 16
c-uno. . . C 1 , 574 inferencia. . . ` , 20
de equivalencia de a con R no contenido. . . 6⊆ , 39
. . . [a]R , 83 pertenencia. . . ∈ , 38
Clemens Samuel, 91 seudo-orden funcional
Clifford William, 413 . . . f ≤ g , 121
Cociente de división, 682 Conjugación de funciones, 110
m
Coeficiente binomial. . . k
, 231 bola. . . f ◦ g , 112
Coeficiente de Fourier, 435 bola cruz. . . h ⊗ g , 134
Coeficientes respecto a base, 326 bola mas. . . f ⊕ g , 245
Columna de matriz, 241 bola punto. . . f φ , 244
1
Combinación, 204 bola triángulo. . . g 4 f , 112
Combinación lineal, 330 cruz. . . h × g , 134
1
Combinatoria, 199 doble bola. . . g ◦ f , 112
1
Comte Augusto, 668, 672 doble bola punto. . . f φ , 308,
Condición de especificación, 43 581
2
Condición de Lipschitz doble bola triángulo. . . g 4 f,
conjuntal, 606 113
puntual, 552 producto. . . h · g , 244
Conector seudounión. . . f d g , 111
698
suma. . . f + g , 245 complemento. . . AX c , 56
2
tetra bola. . . g ◦ f , 112 de los conjuntos n . . . N , 172
triángulo . . . g 4 f , 112 de conjuntos acotados de W
2
triple bola. . . g ◦ f , 112 . . . W ac , 471
2
triple bola punto. . . f φ , 658 de conjuntos cerrados. . . τ W∗ , 479
Conjunción contenedor lineal. . . VN , 333
coimplicación. . . ↔ , 9 convexo, 610
copulativa. . . ∧ , 9 de cotas inferiores. . . Ai , 153
disyuntiva. . . ∨0 , 10 de cotas superiores. . . As , 152
dual. . . ∨ , 9 de cotas conjuntales de Lipschitz
presencial dual. . . ô , 3 de f para A . . . LfA , 606
presencial excluyente. . . o , 3 denso, 484
implicación. . . → , 9 derivado de A . . . A0 , 482
Conjunto, 37 diferencia. . . A \ B , 49
abierto, 464 finito, 186
acotado, 471 frontera de A . . . ∂(A) , 474
acotado inferiormente, 154 de funciones con dominio en P(X)
acotado superiormente, 152 y contradominio Y . . . FX×Y ,
de bolas abiertas en p . . . B(p) , 95
464 de funciones con dominio en P(X)
cero barra. . . 0 , 172 y contradominio en P(Y )
†
cerrado, 479 . . . FX×Y , 96
cerradura. . . A , 480 de funciones en A × B . . . B A , 88
de clases de equivalencia de R ac
de funciones acotadas. . . FA×W ,
. . . [ ]R , 83 487
coconjunto, 257 de funciones con limite en p
compacto, 536 . . . Lp FV ×W , 502
699
de funciones continuas de FV ×W de funciones parcialmente diferen-
en E . . . CE FV ×W , 515 ciables para j en p
de funciones continuas de FV ×W . . . dj|p FΠF ×W , 613
700
de subespacios afines a través existencial con unicidad
de p . . . AW, p , 259 . . . ∃! , 87
de subespacios vectoriales de W ligado. . . ξ & η , 74
. . . EW , 250 universal. . . ∀ , 32
de topologı́as de X . . . TX , 463 Cubierta abierta, 535
de transposiciones de A . . . PA ,
451 Dı́ada, 406
unión de colección. . . ∪ C , 47 De Morgan Augustus, 57
unitario. . . {ξ} , 72 Dedekind Richard, 41, 146
vacio. . . ∅ , 60 Delta de Kronecker de J . . . δ J , 305
de vecindades abiertas de x . . . Vx , Demostración
467 directa, 22
Conjuntos equivalentes. . . A ≈ B , 184 inversa, 27
Conjuntos ortogonales. . . A ⊥ B , 430 por contradicción, 28
Contención Derivabilidad direccional puntual, 631
de conjuntos. . . A ⊆ B , 39 Derivabilidad puntual, 591
propia de conjuntos. . . A ⊂ B , 39 Descartes René, 4, 668, 670
Continuidad puntual, 514 Desigualdad
Contradicción, 14 de Bessel, 436
Contradominio de relación, 80 de Cauchy-Schwarz, 427
Coordenadas respecto a base, 326 del triángulo, 424, 428
Cortaduras de Dedekind, 146 Dieudonné Jean, 41
Cota inferior, 153 Diferenciabilidad direccional puntual,
Cota superior, 152 612
Covector, 291 Diferenciabilidad puntual, 570
Cuantificador, 30 Dimensión, 379
existencial. . . ∃ , 31 Dimensión. . . dim(W ), 389
701
finita, 380 dual de V . . . V ∗ , 291
infinita, 380 euclideano m-dimensional, 426
Dirac Paul, 425 de Fréchet. . . T1 , 537
Dirichlet Johann, 235 de funciones lineales en W V
Discusión lógica, 3 . . . L(V, W ) , 286
Distancia, 458 de funciones lineales acotadas
Dominio de relación. . . DR , 80 . . . Hom(V, W ) , 486
Dualidad de funciones, 135 de funciones multilineales acotadas
. . . Lnac (W ) , 488
Ecuación, 110 de Hausdorff. . . T2 , 537
homogénea, 110 matricial real. . . (R n ) m , 240
Ecuación diferencial ordinaria, 248 métrico, 458
condición inicial, 249 normado, 456
solución general, 249 normado con f . . . Wf , 460
solución particular, 249 prehilbertiano, 425
Eigenvalor, 440 de tensores alternantes de orden
Eigenvector, 440 n en W . . . AW n , 452
Einstein Albert, 8, 47, 60 de tensores covariantes de orden
Elemento, 38 n en W . . . ∗W n , 442
Elementos equivalentes. . . a ≈ b , 82 topológico, 464
Enunciado lógico vectorial real, 236
abierto, 7 vectorial trivial, 239
simple, 3 Espacio cartesiano. . . Rn , 139
Escher Maurits Cornelis, 85 Esqueleto de f respecto a las bases
Espacio αyβ
◦
×
cociente de M . . . W/M , 261 . . . fα, β , 410
702
falso. . . f, 4 caracterı́stica de X . . . eX , 130
verdadero. . . g, 4 cerrada, 517
Euclides, 27 combinación lineal. . . Lβ , 316
Euler Leonhard, 92 complementaria de A . . . UA c , 346
componente en α . . . Compα , 462
Factorial, 231 componente j–ésima de f
Familia, 136 . . . [P ΠF ](j) ◦ f , 141
Independiente, 347 contextual, 128
Fermat Pierre, 141 continua, 514
Fibra, 150 coseno. . . cos , 463
Fibración, 150 creciente, 222
Forma cuadrática, 377 decreciente, 222
Forma lineal, 291 derivada. . . Df , 591
Fourier Jean-Baptise, 435 derivada de orden superior. . . Dn f ,
Fréchet Maurice, 537 592
Fraenkel Adolf, 41 derivada direcional. . . Dα f , 632
Frege Friedrich, 41 Derivada parcial j–ésima. . . ∂j f ,
Fregoso Arturo, 86 647
Función diferencial. . . df , 570
abierta, 517 diferencial parcial j–ésima. . . dj f ,
acotada, 487 613
∗
adjunta. . . T , 404 dual, 136
afı́n, 257 exponencial, 603
ángulo de W . . . ]W , 462 factorial de f . . . f ! , 463
autoadjunta, 439 formal, 86
bilineal, 371 Gradiente. . . ∇f , 647
bilineal simétrica, 377 homogenea, 653
703
idempotente, 363 moderna, 91
identidad de A . . . IA , 98 monótona, 222
identificadora de identidades multilineal acotada, 488
en A . . . IA , 346 paramétrica, 135
identificadora de intervalos cerra- potencia en R . . . ΠR , 213
dos en R . . . o , 543
2 potencia generalizada, 602
identificadora de rectángulos cer- potencia n-ésima de R . . . IR n , 214
rados n-dimensionales . . . n , 2 potencia n-ésima. . . f n , 218
543 producto en Rn . . . PRn , 231
inclusión tradicional. . . iB , 99 proyección de A × B . . . p1 A×B
inclusión. . . IB ◦ IA , 119 y p2 A×B , 135
incremento. . . ∆f , 570 proyección j–ésima de ΠF
infinitesimal, 551 . . . pj ΠF , 141
inversa. . . f inv , 125 proyección ortogonal en α
inversa aditiva. . . − g , 244 . . . Proyα , 462
inversa derecha, 125 proyección. . . ΠΠ(IP (W ) ◦E) (j), 360
inversa izquierda, 125 proyectiva de ΠF . . . P ΠF , 140
inversa multiplicativa. . . f im , 218 proyectiva j–ésima de ΠF
invertible, 125 . . . [P ΠF ](j) , 140
1/n
inyección. . . Θ ΠF
, 304 raı́z n-ésima de R . . . IR+ ∪{0} , 226
inyección en ΠF asociada a ξ raı́z n-ésima. . . f 1/n , 229
. . . ΘξΠF , 142 b FA×B , 260
rango. . . R
inyección j–ésima en ΠF asociada restricción derecha. . . f ◦ IC , 118
a ξ . . . [ΘξΠF ](j) , 142 restricción izquierda. . . IC ◦f , 118
lineal, 286 seno. . . sen , 463
logaritmo natural, 603 signo de Pn . . . sgnPn , 451
P
métrica, 458 suma en Rn . . . Rn , 232
704
truncamiento real. . . R< , 222 lineal, 291
unitaria de A . . . UA , 346 multilineal, 442
valor absoluto. . . | | , 418
Galilei Galileo, 60
Función contextual
Gauss Carl, 235
bajo de f . . . bfc , 131
Genera, 336
prebajo de g . . . g , 581
Generación lineal. . . LA , 330
prebajo de g . . . g , 313
Gödel Kurt, 47
preprebajo de g . . . g , 658
Gráfica, 93
sobre de f . . . dfe , 129
Graficación, 92
Función identificación
Gram Jorgen, 437
de combinaciones lineales. . . ΛW J , Grupo algebraico, 156
317
conmutativo, 156
de componentes de f
1 Halmos Paul, 7, 8, 92, 443
. . . P ΠF ◦ dfe , 141
Hardy Godfrey, 27
de derivadas parciales en FRn ×W
n Hausdorff Felix, 537
. . . δW , 658
Hegel Georg, 673
de funcionales de α . . . Fα , 399
Heine Heinrich, 536
de funciones adjuntas
Hermie Charles, 425
. . . AV, W , 404
Hesse Ludwing, 664
de generaciones lineales
Hilbert David, 37, 40
. . . LW , 344
Hipótesis, 20
de proyecciones
Homeomorfismo, 517
. . . ΠΠ(IP (W ) ◦E) , 359
Homomorfismo, 299
de subespacios afı́nes a M
Hume David, 669, 671–673
. . . FW/M , 260
Huxley Thomas Henry, 133
Funcional
bilineal, 377 Igualdad
705
c
conjuntal. . . = , 45 Lipschitz Rudolph, 552
funcional, 90
Máximo y mı́nimo relativo, 604
simbólica, 5
Mach Ernest, 672, 674
Infimo de A . . . inf(A) , 154
Mann Thomas, 2
Infinitesimal, 419
Mapeo, 514
Intervalo
Matemática formal, 1
abierto. . . (a; b) , 151
Matofı́sica, 7
cerrado. . . [a; b] , 151
Matologı́a, 7
semiabierto. . . [a; b) , 151
Matriz
Inverso aditivo de q . . . − q , 239
asociada, 411
Isomorfismo, 300
hessiana de f . . . Hfp , 664
Isomorfos, 300
jacobiana de f . . . J fp , 664
706
Números Hermitiano, 439
hipereales. . . R∗ , 419 lineal. . . L(V ) , 291
Negación. . . ¬R , 13 Operador diferencial
Neutro aditivo de W . . . b
0W , 238 Nabla. . . ∇ , 647
Newton Isaac, 60, 419 Orden total, 155
Nietzsche Friedrich, 675, 676 Ortogonalización de Gram-Schmidt, 437
Norma, 455
dos de ΠF . . . k k ΠF, 2 , 459 Par ordenado en A × B , 77
707
de tercero excluido, 3 de acumulación, 482
Proceso invocativo aislado, 485
de funciones por inducción, 207 frontera, 474
de funciones, 97 interior, 471
Producto
cartesiano. . . ΠF , 137 Rango de función lineal, 395
708
P
inyectiva, 82 Serie de α . . . α , 232
reflexiva, 82 Signo negativo, 150
simétrica, 82 Signo positivo, 150
suprayectiva, 81 Silogismo, 4
transitiva, 82 Sı́mbolo, 4
Renglón de matriz, 241 abierto, 7
Representación incompleto, 128
de b con la base a . . . ba , 688 semiabierto, 30
decimal de b . . . b10 , 688 Soluciones de ecuación, 110
Residuo de división, 682 Stormer Carl, 681
Riemann Georg, 248 Suarez Francisco, 667
Rolle Michel, 604 Subespacio
Russell Bertrand, 44, 183, 455, 674 afı́n, 257
invariante bajo f , 293
Santaló Luis, 688 vectorial, 249
Sartre Jean-Paul, 675 Subespacios complementarios, 353
Schmidt Erhard, 437 Suma
Schwartz Laurent, 658 de conjuntos. . . M + N , 254
Schwarz Hermann, 427 directa, 347
Segmento dirigido, 237 de familia. . . ⊕IP (W ) ◦E , 343
Segunda condición de separabilidad, 537 finita. . . ] β, 277
2
Segunda diferencial de f . . . d f , 654 vectorial, 236
Semiótica, 4 Sumatoria. . . σ Π(IP (W ) ◦E) , 343
Serie Supremo de A . . . sup(A) , 152
P
finita. . . α, 265
infinita, 265 Término de familia, 136
P
suma. . . α (n), 265 Tablas de verdad, 10
709
Tautologı́a, 14 Traslación, 257
Tensor, 442
Ultimo teorema de Fermat, 141
alternante, 452
covariante, 372, 442 Valor de a bajo f . . . [f](a), 90
elemental, 445 Valor de relación, 81
simétrico, 452 Valor extremo, 604
Teorema Variación, 202
de Bolzano, 529 Vecindad abierta, 467
de Clairaut, 658 Vector, 237
de recurrencia, 212 Vector unitario, 470
2o fundamental del cálculo, 248 Vectores ortogonales. . . α ⊥ β , 430
de Heine-Borel, 548 von Neumann Johann, 47, 145
matemático, 25 von Wolff Christian, 668
de Pitágoras, 431
Weierstrass Karl, 548
de Rolle, 604
Weil André, 61, 84
de vacuidad, 62
Whitehead Alfred, 183
de valor intermedio, 526
Wittgenstein Ludwing, 674
de valor medio avanzado, 606
de valor medio elemental, 606 Zermelo Ernst, 41, 58
de valor medio generalizado, 610
de Weierstrass, 548
Tesis, 20
Topologı́a
trivial, 464
usual de espacio normado, 466
Topologı́a de X . . . τ X , 464
Transposición, 271
710