BARTLE
BARTLE
BARTLE
UNA VARIABLE
Segunda edición
ROBERT G.BARTLE
DONALD R.SHERBERT
1. PRELIMINARES 5
1.1. El álgebra de conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
3
4 ÍNDICE GENERAL
Capítulo 1
PRELIMINARES
En este capítulo inicial se presentarán los fundamentos necesarios para el estudio del
análisis matemático real. Las secciones 1.1 y 1.2 se dedican a un breve repaso del álgebra
de conjuntos y de las funciones, dos herramientas vitales para la matemática en general.
El término “conjunto” se considerará sinónimo de “clase”, “colección” y “familia”, pero estos
términos no se definirán así como tampoco se dará una lista de axiomas para la teoría de
conjuntos. Suele hacerse a este enfoque pragmático como teoría de conjuntos “naive” y resulta
bastante adecuada para trabajar con los conjuntos definidos en el contexto del análisis real.
La sección 1.3 se ocupa de un método especial de demostración llamado inducción ma-
temática. Se relaciona con las propiedades básicas del sistema de los números naturales y
aunque se encuentre restringido a la demostración de proposiciones de tipos particulares,
es importante y su aplicación es frecuente. En el apéndice se puede encontrar un estudio
informal relativo a los diferentes tipos de demostraciones que se usan en el análisis y en la
matemática en general.
Además de introducir conceptos básicos y de establecer la notación y la terminología, este
capítulo también proporciona al lector cierta experiencia inicial para trabajar con definiciones
precisas y en la escritura de demostraciones. El estudio atento del análisis real implica de
manera inevitable la lectura y la escritura de demostraciones, habilidades que, como cualquier
otra, es necesario practicar.
El presente capítulo es un punto de partida.
x∈A
x∈
/A
5
6 CAPÍTULO 1. PRELIMINARES
si A y B son conjuntos tales que x ∈ A implica que x ∈ A (es decir, que todo elemento de A
también es elemento de B), entonces se dirá que A está contenido en B, que B contiene
a A o que A es un subconjunto de B, y se escribirá
A⊆B oB⊇A