Documentos de Académico
Documentos de Profesional
Documentos de Cultura
0300Tc1003 Conjuntos PDF
0300Tc1003 Conjuntos PDF
Tc1003
Conjuntos
Conjuntos
OBJETIVOS
Unidad
Tema
Subtema
Objetivos
III Conjuntos
3.1 Definiciones
3.2 Numerabilidad
3.3 Tipos de conjuntos numricos
3.4 Operaciones con conjuntos
3.5 Propiedades con los conjuntos
3.1
Reconocer, entender y aplicar los conceptos de conjunto,
elemento, universo, cardinalidad, subconjunto, conjunto vaco y
conjunto potencia.
3.2
Expresar por enumeracin y comprensin un conjunto
Entender y definir conjunto finito y conjunto infinito
Entender y aplicar conjuntos homogneos vs. Conjuntos
heterogneos
Aplicar conjuntos ordenables y no ordenables.
3.3
Definir y manejar los conjuntos numricos de enteros, naturales,
racionales, irracionales, reales y complejos.
3.4
Entender, aprender y aplicar las operaciones con conjuntos:
complemento, unin, interseccin, resta, diferencia y producto
cartesiano.
3.5
Aprender y aplicar las leyes de los conjuntos para las operaciones
y simplificaciones de estos: Ley del doble complement0, leyes de
Morgan, propiedades conmutativa, asociativa, distributiva, del
neutro y del inverso y las propiedades IDEM potentes,
dominacin y absorcin.
Ngj/v2008
3. Conjuntos
Matemticas Discretas
Tc1003
Conjuntos
3.1 Definiciones
Conjunto vaco:
A =
{}
A=
A = 0 . Si A =
{ 0}
A = 1
Ngj/v2008
3. Conjuntos
Matemticas Discretas
Tc1003
Conjuntos
Baldor, Aritmtica
Ngj/v2008
3. Conjuntos
Matemticas Discretas
Tc1003
Conjuntos
Racionales
Descripcin
Z = {... 3,2,2,0,1,2,3,...}
Z + = {1,2,3,...} = {x Z x > 0}
Q = {a b a b Z b 0}
Reales
Representacin
N = {0,1,2,3,4,...}
a
b
Z n = = {n Z + Z n = 0,1,2,3, ..., n 1}
Q + = {r r Q r > 0}
Q * = {r r Q r 0}
R + = {x x R x > 0}
R * = {x x R x 0}
Complejos
C = {x + yi x, y R i 2 = 1}
C * = {x + yi x, y R x, y 0}
Intervalos
[a,b] =
[a,b) =
(a,b] =
(a,b) =
Cerrado
Semicerrado
Semiabierto
Abierto
Ngj/v2008
{ x R / a x b } intervalo cerrado
{ x R / a x < b } intervalo semiabierto
{ x R / a < x b } intervalo semiabierto
{ x R / a < x < b } intervalo abierto
I = { , e, }
(nmero ureo):
3. Conjuntos
Matemticas Discretas
Tc1003
Conjuntos
Ngj/v2008
3. Conjuntos
Matemticas Discretas
Tc1003
Conjuntos
A B = {x / x A x B}
Interseccin:
A B = {x / x A x B}
{ x / (x A x B ) x A B}
= { x A B x A B}
= (A B) (A B)
= (A B) (A B)
A B =
Diferencia sinttica:
Complemento: A = {x / x A}
Ngj/v2008
3. Conjuntos
A B = {x / x A x B}
= A B
Matemticas Discretas
Tc1003
Conjuntos
Producto cartesiano
Para el producto cartesiano de dos conjuntos A y B: A B (en este orden),
es el conjunto de todos los posibles pares ordenados, tales que la primer
componente del par ordenado es un elemento de A y el segundo componente es un
elemento de B.
La expresin A B se le A cruz B y se expresa por descripcin:
A B = {( x, y ) x A y B} que se lee: el producto A cruz B es el conjunto de
parejas ordenadas ( x, y ) tal que x pertenece a A y pertenece a B .
De
tal
forma
que
para
y
A = {1,2,3}
B = {a, b, c, d }
A B = {(1, a ), (1, b), (1, c), (1, d ), (2, a), (2, b), (2, c), (2, d ), (3, a), (3, b), (3, c), (3, d )} en donde
en la pareja (1, a) 1, es la primer componente y a es la segunda componente.
Si los elementos de los conjuntos A y B son nmeros reales, se acostumbra
llamar a las componentes ( x, y ) como (abscisa y ordenada).
Ngj/v2008
3. Conjuntos
Matemticas Discretas
Tc1003
Conjuntos
3.
A = A
A B = A B
Leyes de Morgan
A B = A B
A B = B A
Propiedades conmutativas
A B = B A
A (B C ) = ( A B ) C
Propiedades asociativas
A (B C ) = ( A B ) ( A C )
Propiedades distributivas
6.
A A = A
A A = A
Propiedades idempotentes
7.
A = A
A U = A
A A =U
4.
5.
8.
A (B C ) = ( A B ) C
A (B C ) = ( A B ) ( A C )
A A =
9.
A U = U
A =
Propiedades de dominacin
10.
A (A B) = A
A (A B) = A
Propiedades de absorcin
11. A B = A B
12. AB = ( A B ) ( A B )
Ngj/v2008
Definicin de resta
Definicin de diferencia
3. Conjuntos
Matemticas Discretas
Tc1003
Conjuntos
3.6 Historia8
El lgebra de la teora de conjuntos se desarroll durante los siglos
diecinueve y veinte. En Inglaterra, George Peacock (1806 1858) fue un pionero
en reformas matemticas y uno de los primeros en revolucionar el concepto del
lgebra y la aritmtica. Sus ideas fueron desarrolladas ms tarde por Duncan
Gregory ( 1813 1844 ) , William Rowan Hamilton ( 1805 1865 ) y Augustus de
Morgan ( 1806 1871 ), quien intent eliminar la ambigedad del lgebra
elemental para ponerla en forma de postulados estrictos. Sin embargo fue en 1845,
ao en que Boole logr formalizar el lgebra de conjuntos y la lgica y se extendi
el trabajo de Peacock y sus contemporneos.
El enfoque intuitivo de la teora de conjuntos se realiz en tiempos del
matemtico ruso Geroge Cantor ( 1845 1918 ), quien defini un conjunto, en
1895, en forma intuitiva. En la dcada de 1870, cuando Cantor estaba estudiando
las series trigonomtricas y las series de nmeros reales, necesitaba una forma para
comparar el tamao de los conjuntos infinitos de nmeros. Su estudio de lo
infinito como una realidad, que est en el mismo nivel de lo infinito, fue en su
momento revolucionario. Parte de su trabajo fue rechazado ya que result ser ms
abstracto de lo acostumbrado por muchos matemticos de su tiempo. Pero con el
tiempo, gan aceptacin para que en 1890 la teora de conjuntos, tanto finita como
infinita, fuera considerada una rama de las matemticas como derecho propio.
Al terminar el siglo XIX la teora era aceptada. Sin embargo, en 1901 Russell
mostr que esta teora de conjuntos, propuesta originalmente, tena una
inconsistencia interna: la falta de restriccin para definir los conjuntos (paradoja
de Russell). Los matemticos britnicos Lord Bertrand Arthur William Russell (
1872 1970) y Alfred North Whitehead ( 1861 1947 ) desarrollaron una jerarqua
en la teora de conjuntos conocida como la teora de tipos. Con esta teora, se
definan los conjuntos.
El descubrimiento de la paradoja de Russell aun cuando se pudo remediar,
tuvo un profundo impacto en la comunidad matemtica, ya que muchos
comenzaron a preguntarse si haba otras contradicciones ocultas. En 1931, el
matemtico austriaco Kart Gel ( 1906 1978 ) formul la idea de que en una
condicin de consistencia dada, cualquier sistema axiomtico formal
suficientemente fuerte debe de contener una proposicin tal que ni sta ni su
negacin sea demostrable y tal que cualquier demostracin de consistencia del
sistema debe usar ideas de mtodos que estn ms all de los propios del sistema
en s. Esto quiere decir que no podemos establecer que no existen contradicciones
en matemticas.
La importancia del papel de la teora de conjuntos en el desarrollo de las
matemticas del siglo XX la define el matemtico alemn David Hilbert ( 1862
1943 ) al decir: Nadie podr expulsarnos del paraso que Cantor ha creado para
nosotros.
[Grimaldi, 176]
Ngj/v2008
3. Conjuntos
Matemticas Discretas
Tc1003
Conjuntos
George Cantor
1845 1918
Augustus De Morgan
(1806 1871)
Ngj/v2008
3. Conjuntos
10