MRamírezM Análisis Matemático I I.

- Preliminares I
1. Preliminares

1.1. Completitud de los números reales.

1.2. Familias de conjuntos
1.3. Imagen y preimagen de una función sobre una unión o intersección de una colección de
conjuntos. Axioma del supremo
1.4. Conjuntos equipotentes
1.5 Conjuntos finitos, numerables y no numerables

Dentro del estudio de la matemática existen diferentes conjuntos básicos de elementos, como los
llamados: grupo, anillo, cuerpo, campo, etc. Estos conjuntos tienen como principal protagonista el concepto
abstracto: numero. Iniciaremos definiendo el concepto de grupo. 1

Una relación binaria en un conjunto A es cualquier subconjunto del producto A × A .

(ver [2], p.41) Operación binaria interna en el conjunto A se llama al mapeo
f : A× A → A
Operación binaria externa en el conjunto A se llama al mapeo
g:A ×B→ A
Simbolicemos con ⊖ una operación binaria interna en el conjunto A . Esta operación puede ser, en
particular, la suma o multiplicación conocidos por todos nosotros, pero puede ser cualquier otro tipo de
operación.
El conjunto A con una operación binaria interna ⊖ se llama grupo si ∀ a , b , c ∈ A
1. La operación es asociativa
( a ⊖ b ) ⊖ c=a ⊖ ( b ⊖c )
2. Existe un elemento neutro e en A tal que
a ⊖e=e ⊖ a=a
3. Cada elemento tiene un elemento inverso: ∀ a ∃ a tal que
a ⊖ a=a ⊖ a=e
Si la operación ⊖ es la adición, el grupo se llama grupo aditivo; si es la multiplicación, entonces se llama
grupo multiplicativo. Si además se cumple que
4. a ⊖b=b ⊖ a, es decir, la operación es conmutativa, entonces el grupo se llama grupo abeliano o
grupo conmutativo.
El siguiente conjunto de axiomas se llama Axiomas de Campo de los Números Reales.
El conjunto R se llama campo de los números reales si para sus elementos se establecen relaciones binarias
y operaciones binarias que cumplen con los siguientes axiomas.
Axiomas de la suma:
S.0. En R se define la operación binaria suma
+: R × R → R
 MRamírezM Análisis Matemático I I.- Preliminares I
( a , b ) → a+b
bajo la cual, a cada par de elementos a , b ∈ R le corresponde unívocamente un elemento de R , que se llama
suma y se simboliza como a+ b; para esta operación se cumple que:
S.1. Ley asociativa: ( a+ b ) +c=a+ ( b+ c )
S.2. Existe el elemento neutro 0 (que en el caso de la suma se llama cero), tal que ∀ a ∈ R
a+ 0=0+ a=a
S.3. ∀ a ∈ R existe el numero −a ∈ R (llamado inverso aditivo), tal que
a+ (−a ) =(−a ) + a=0
2
S.4. La operación suma es conmutativa, es decir. ∀ a , b ∈ R
a+ b=b+a
De esta manera, el conjunto R , es un grupo aditivo abeliano.
Axiomas de la multiplicación:
M.0. En R se define la operación binaria multiplicación
¿: R×R→R
( a , b ) → a ×b
bajo la cual, a cada par de elementos a , b ∈ R le corresponde unívocamente un elemento de R , que se llama
multiplicación y se simboliza como a × b; para esta operación se cumple que:
M.1: Ley asociativa ( a × b ) ×c=a × ( b × c )
M.2. Existe el elemento neutro 1 (en el caso de la multiplicación se llama unidad - uno), tal que ∀ a ∈ R
a × 1=1× a=a
M.3. ∀ a ∈ R−{ 0 } existe el numero a−1 ∈ R (llamado inverso multiplicativo), tal que
−1 −1
a × a =a ×a=1
M.4. La operación multiplicación es conmutativa, es decir. ∀ a , b ∈ R
a × b=b ×a
Por tanto, el conjunto de los elementos no cero del conjunto R forma un conjunto abeliano multiplicativo.
La operación que une la suma con la multiplicación es la distribución: distribución de la multiplicación
con respecto a la suma:
D.1. a ( b +c )=ab +ac . En algunas ocasiones suele omitirse el signo de la multiplicación.
El conjunto que cumple con lo axiomas S, M y D se llama campo.
Además de los axiomas arriba mencionados, el campo de los números reales también cumple los axiomas
de orden. En el conjunto R se da la relación de orden ≤ (o, en su caso ≥), la cual ordena totalmente al
conjunto R , e.d ∀ a , b ∈ R se especifica: se cumple o no el orden x ≤ y . Además, ∀ a , b , c ∈ R, se cumplen las
condiciones:
≤.1. a ≤ a . (reflexión)
 MRamírezM Análisis Matemático I I.- Preliminares I
≤.2. ( a ≤ b ) ∧ ( b ≤ a ) → a=b ( )
≤.3. ( a ≤ b ) ∧ ( b ≤ c ) → a≤ c (transitividad)
≤.4. ∀ a , b ∈ R : ( a ≤ b ) ∨ ( b ≤ a )
La relación a ≤ b cuando a ≠ b se escribe de la forma a< b, y se lee como: a menor estrictamente que b .
Considerando la definición anterior, así como los axiomas ≤.2 y ≤.4, se tiene la propiedad de tricotomía
en los números reales: ∀ a , b ∈ R se cumple solo una de las siguientes relaciones:
a< b ; a=b ; a> b
Los dos siguientes axiomas enlazan las relaciones de orden y las relaciones binarias suma y
3
multiplicación (OB- orden y operaciones binarias)
OB.1. ∀ a , b , c ∈ R, si a ≤ b → a+c ≤ b+c
OB.2. Si ( a ≥ 0 ∧b ≥ 0 ) → ab ≥ 0
(Pozniak p. 318 y 319/332 en Lap.) Los axiomas de grupo aditivo, multiplicativo y comparación, junto
con la operación de distribución y el ultimo axioma abajo escrito, forman las propiedades fundamentales de
los números reales y lo hacen un conjunto completo, llamado completitud de los números reales.
C.1. Sí X , Y son dos subconjuntos de R y tienen la propiedad de que ∀ x ∈ X , ∀ y ∈Y se cumple que x ≤ y
, entonces existe ∀ c ∈ R tal que x ≤ c ≤ y.
Ejercicios (recordar algunos ejercicios de 1er semestre). Ejercicios. p. 14, 15= 28/691 ej. 5)
Spivak(2012)

Familias de Conjuntos
(Antidemidovich v. 1.1 p.9)

Aunque intuitivamente sabemos lo que significa el conjunto vacío, una forma más objetiva de definirlo es
a través de una característica que deban poseer los elementos de un conjunto dado. A saber. Si M es un
conjunto dado, entonces cualquier propiedad P separa en M un subconjunto:
{ x : xϵM∨P ( x ) }
Ahora, si P es una propiedad que no tiene ningún elemento de M , entonces el conjunto seleccionado es el
conjunto vacío.
Recordemos las operaciones de unión e intersección de dos conjuntos. Si A j , j=1 , n son subconjuntos del
conjunto J, entonces su unión es el conjunto:
¿ j =1¿ n A j= { x : xϵ A 1 ∨ xϵ A 2 ∨… ∨ xϵ A n }
Y su intersección es:
¿ j=1¿ n A j= { x : xϵ A 1 ∧ xϵ A 2 ∧… ∧ xϵ A n }

Si a cada jϵM se le asocia el conjunto A j, entonces se dice que esta dada la familia de conjuntos
{ A j , jϵM }. El conjunto M puede ser finito o contable infinito.
Por ejemplo, el conjunto
 MRamírezM Análisis Matemático I I.- Preliminares I
¿
El conjunto
¿ jϵM A j={ x : xϵ A j ,aunque sea para un jϵM }
se llama unión de la familia de conjuntos { A j , jϵM }.
La intersección de la familia de conjuntos se denota como:
¿ jϵM A j={ x : xϵ A j , ∀ jϵM }
+¿¿
El conjunto M puede ser finito o numerable. Por ejemplo M =[ 1 ,10 ] , M =Z .
De la lógica matemática para conjuntos sabemos que:
4
A ⋂ B=A ⋃ B ; A ∪ B=A ∩B
llamadas Leyes D´Morgan. La barra significa la operación complemento. Una formula análoga se obtiene
para una familia de conjuntos.
Para el caso de una familia de conjuntos, tenemos:
∩ j A j =∪ j A j ; ∪ j A j =∩ j A j
D!. Por inducción. Las anteriores igualdades también se puedes escribir de la siguiente forma:
El complemento de la unión es igual a la intersección de los complementos: (Kolmogorov na ispanskom 14/532
E ¿ n An=¿ n ( E { A ¿ ¿ n )
1) El complemento de la intersección es igual a la unión de los complementos:
E ¿ n An=¿ n ( E { A ¿ ¿ n )
D!: om
Sea M algún conjunto, y P ( M ) el sistema de todos los subconjuntos del conjunto M .
Definición.- La familia no vacía K ⊂ P ( M ) , cerrada respecto a las operaciones de unión, intersección y
diferencia de conjuntos se llama anillo de conjuntos.
Definición.- El conjunto E se llama unidad de la familia de conjuntos A={ A j }, si
EϵA y ∀ A j ϵA : A j ⋂ E=A j . (ov´snits pochemu napisali “prinadlejit” a ne “vkliuchaetsa")
Definición.- Un anillo con unidad se llama algebra de conjuntos.
Para la demostración de proposiciones en el área de conjuntos es útil aplicar las leyes del cálculo
proposicional para conjuntos: leyes De´Morgan, conmutativas, de dominación, etc. Las leyes del cálculo
proposicional fueron demostradas inicialmente aplicando las respectivas tablas de verdad.
Ejercicios. Los que tengo del prope.
Ejercicios.- Antidemidvich V.1.1 p. 15 i dalee.

Imagen yPreimagen de una Función

(Zorich v.1. p.23)

Conceptos ya conocidos por ustedes, pero recordemos con la intención de llegar al concepto de función
inversa.
 MRamírezM Análisis Matemático I I.- Preliminares I
Sean X , Y dos conjuntos de cualquier naturaleza. Se dice que se tiene una función definida sobre X (lo
cual quiere decir, que para cualquier elemento xϵX la función tiene sentido) y con valores en Y si existe una
ley f bajo la cual a cualquier elemento xϵX le corresponde un único elemento de yϵY .
El conjunto
f ( X )={ yϵY ∨∃ x ( ( xϵX ) ∧ ( y=f ( x ) ) ) }

de todos los valores de la función, se llama conjunto de valores (imágenes) de la función.

Si A ⊂ X , y f : X → Y , entonces con el símbolo f ¿ A se simboliza la función φ : X → Y que coincide con f
en el conjunto A . A esta función le llama acotación de la función f en el conjunto A .
5
A la función inicial f : X → Y , respecto a f ¿ A le llaman extensión o continuación de φ a todo el conjunto
X.
Imagen del conjunto A ⊂ X , bajo el mapeo f : X → Y es el conjunto,
f ( A )={ yϵY ∨∃ x ( ( xϵA ) ∧ ( y=f ( x ) ) ) }
de aquellos elemento de Y , los cuales son imagen de los elementos del conjunto A .
Al conjunto
f
−1
( B ) ≔ { xϵX ∨f ( x ) ϵB }
de los elementos de X , cuyas imágenes están en B se llama preimagen del conjunto B⊂Y .
Sobre el mapeo f : X → Y se dice que es suprayectivo o sobreyectivo si f ( X )=Y (es decir todo el conjunto
Y es imagen).
Se dice que el mapeo es inyectivo, si diferentes elementos tienen diferentes imágenes:
( f ( x 1 )=f ( x 2 ) ) → ( x 1=x 2 )
O de otra manera:
( x1 ≠ x2 ) →( f ( x1 )≠ f ( x2 ))
La función se llama biyectiva si es suprainyectiva e inyectiva.
Si la función f : X → Y es biyectiva, entonces el mapeo es una relación uno a uno (biyectiva) entre los
elementos de los conjuntos X , Y . Y por tanto, es natural hablar de la función con región de definición Y y
con valores en X , denotada como f −1:
−1
f :Y → X
t.e, a cada elemento de Y le asociamos un elemento de X . Debido a la propiedad suprayectiva de f , ese
elemento x existe; y debido a la propiedad inyectiva este elemento es único.
Este mapeo se llama función inversa respecto a la función f , y se designa como f −1.
Notemos que la preimagen de un subconjunto B⊂Y existe aun cuando la función no sea biyectiva.
Grafica de la función f : X → Y se llama al conjunto
G= {( x , f ( x ) ) : xϵX , f ( x ) ϵY }
 MRamírezM Análisis Matemático I I.- Preliminares I

REFERENCIAS
1.- V. A. Zorich. Análisis Matemático. Ed. Ciencia. Moscú. 1981.
2.- I. I. Liashko, A. K. Boiarchuk, Ia. G. Gai, G. P. Golovach. Prontuario de Matemáticas Avanzadas.
V.1.1. Ed. Literatura Científica y de Enseñanza. Moscú. 2009.
3.- N. S. Piskunov. Calculo Diferencial e Integral. Ed. Mir. Moscú. 1977
4.- Salas, Hille, Etgen. Calculus V. I. Ed. Reverte. España. 2005
5.- I.I. Liashko, A.K. Boiarchuk; Antidemidovich. V1.1; Ed. Knijnii Dom. Moscu, 2009.
6.- T.M. Apóstol. Análisis Matemático. Ed. Reverte. España 1976. 6