SlideShare una empresa de Scribd logo
1 de 5
Descargar para leer sin conexión
1
Conjuntos
1 Preliminares
1.1 Conceptos primitivos
Consideramos tres conceptos primitivos: conjunto, elemento y pertenencia.
Para la notación, utilizaremos (por lo general, pero no siempre) letras
mayúsculas para los conjuntos, letras minúsculas para los elementos, y el símbolo " "∈
para decir “pertenece” (o bien " "∉ para decir “no pertenece). De este modo, “a B∈ ”
se lee “el elemento a pertenece al conjunto B ”, y “x R∉ ” se lee “el elemento x no
pertenece al conjunto R ”.
1.2 Formas de determinación y representación de un conjunto
Consideraremos que un conjunto está determinado, cuando es posible
identificar inequívocamente cuáles son los elementos que pertenecen a ese conjunto.
Es decir, dado un elemento cualquiera de un conjunto universal (que habitualmente se
nota con la letra U ), el conjunto estará bien determinado si es posible decidir si ese
elemento le pertenece o no.
Es común definir los conjuntos de dos maneras: por extensión y por
comprensión.
Definir un conjunto por extensión implica nombrar todos y cada uno de los
elementos que le pertenecen. Como notación, escribimos los elementos entre llaves y
separados por comas. Por ejemplo, { }, , , ,A a e i o u= .
Definir un conjunto por comprensión implica dar una característica que sea
exclusiva de todos sus elementos. Esta condición será verdadera para cada elemento
del conjunto, y será falsa para cualquier elemento que no pertenezca al conjunto. Por
ejemplo, { }| es una vocalA x x= .
Para representar un conjunto, también es usual aprovechar los diagramas de
Venn-Euler. En este caso:
2
1.3 Conjunto vacío
Llamaremos conjunto vacío a aquél que no tiene elementos, es decir, que no
existe ningún elemento que le pertenezca. Los simbolizamos { }∅ = .
1.4 Inclusión
Dados dos conjuntos A y B , decimos que A está incluido en B (lo notamos
A B⊂
1
) cuando todos los elementos de A pertenecen a B .
En símbolos: ( ),A B x x A x B⊂ ⇔ ∀ ∈ → ∈ .
En este caso, es equivalente decir que A está incluido en B , y decir que A es
un subconjunto de B .
Cabe aclarar que la inclusión es una relación entre dos conjuntos, no así la
partencia que vincula un elemento con un conjunto. Muchas veces un conjunto puede
adoptar el rol de elemento, de acuerdo a cómo se utilice. Por ejemplo, si tomamos
{ }{ }1,2 ,3,4A = es correcto decir que 3 A∈ , o que { }3,4 A⊂ , o que { }1,2 A∈ ; pero no
es correcto decir que 3 A⊂ , tampoco que { }1,2 A⊂ .
Si un conjunto A no está incluido en B , lo anotamos A B⊄ . En este caso, la
negación de la relación de inclusión será: ( ),A B x x A x B⊄ ⇔ ∃ ∈ ∧ ∉ .
1.5 Igualdad
Decimos que dos conjuntos son iguales, cuando les pertenecen los mismos
elementos.
Una definición válida puede ser la siguiente: A B A B B A= ⇔ ⊂ ∧ ⊂ . En
especial, entender la igualdad como una “doble inclusión” puede dar pistas concretas
para ser utilizada como herramienta a la hora de demostrar simbólicamente la
igualdad de dos conjuntos.
1
Otros autores utilizan la expresión A B⊆ para decir “ A está incluido en B ”
3
2 Operaciones y propiedades
2.1 Unión
Dados dos conjuntos A y B , llamamos “unión de A y B ” al conjunto que
anotamos A B∪ formado por todos elementos de A y de B .
{ }|A B x x A x B= ∈ ∨ ∈∪
Por ejemplo, si { }, , ,A a b c d= y { }, ,B c d e= , entonces { }, , , ,A B a b c d e∪ =
2.2 Intersección
Dados dos conjuntos A y B , llamamos “intersección de A y B ” al conjunto
que anotamos A B∩ formado por los elementos de A que también son elementos de
B .
{ }|A B x x A x B= ∈ ∧ ∈∩
Por ejemplo, si { }, , ,A a b c d= y { }, ,B c d e= , entonces { },A B c d∩ =
Decimos que dos conjuntos son disjuntos cuando no tienen elementos en
común, es decir, y son disjuntos A B=A B ⇔ ∩ ∅ .
2.3 Diferencia
Dados dos conjuntos A y B , llamamos “diferencia de A menos B ” al conjunto
que anotamos A B− formado por los elementos de A que no pertenecen a B .
{ }|A B x x A x B− = ∈ ∧ ∉
A B
A B−
A B∩
A B
A B
A B∪
4
Por ejemplo, si { }, , ,A a b c d= y { }, ,B c d e= , entonces { },A B a b− = . Notemos
que la diferencia no es una operación conmutativa, es decir, no necesariamente los
conjuntos A B− y B A− son iguales. En este ejemplo, { }B A e− = .
2.4 Diferencia simétrica
Dados dos conjuntos A y B , llamamos “diferencia simétrica de A menos B ” al
conjunto que anotamos A B∆ formado por los elementos que pertenecen a uno de los
dos conjuntos, y no pertenecen al otro.
{ }|( ) ( )A B x x A x B x B x A∆ = ∈ ∧ ∉ ∨ ∈ ∧ ∉
Por ejemplo, si { }, , ,A a b c d= y { }, ,B c d e= , entonces { }, ,A B a b e∆ = .
2.5 Complemento
Dado un conjunto A , llamamos “complemento de A ” al conjunto que
anotamos C
A formado por los elementos que no pertenecen a A .
{ }|C
A x x A= ∉
A
U
A
C
Vale aclarar que el complemente de un conjunto siempre depende del conjunto
universal que se tome como referencia. Si llamamos U a este conjunto universal,
podemos decir que -C
A A= U .
Por ejemplo, en el universo de los números naturales ℕ , si consideramos
{ }| 2A x x= = ɺ tendremos { }| es imparC
A x x= .
2.6 Propiedades
A continuación enunciamos algunas propiedades sobre conjuntos, que pueden
ser deducidas de las definiciones ya conocidas.
A B
A B∆
A B
B A−
5
Conmutativas: A B B A∪ = ∪ ; A B B A∩ = ∩
Asociativas: ( ) ( )A B C A B C∪ ∪ = ∪ ∪ ; ( ) ( )A B C A B C∩ ∩ = ∩ ∩
Distributivas: ( ) ( ) ( )A B C A B A C∪ ∩ = ∪ ∩ ∪ ; ( ) ( ) ( )A B C A B A C∩ ∪ = ∩ ∪ ∩
Idempotentes: A A A∪ = ; A A A∩ =
Complementos: ( )
CC
A A=
Leyes de De Morgan: ( )C C C
A B A A∪ = ∩ ; ( )C C C
A B A B∩ = ∪
Neutros: A A∪ ∅ = ; A A∩ =U
Inversos: C
A A∪ = U ; C
A A∩ = ∅
Dominación: A∪ =U U ; A∅ ∩ = ∅
Absorción: ( )A A B A∪ ∩ = ; ( )A A B A∩ ∪ =

Más contenido relacionado

La actualidad más candente

La actualidad más candente (19)

Conjuntos y relacion entre conjuntos
Conjuntos y relacion entre conjuntosConjuntos y relacion entre conjuntos
Conjuntos y relacion entre conjuntos
 
EstrucConjuntos
EstrucConjuntosEstrucConjuntos
EstrucConjuntos
 
Conjuntos 2
Conjuntos 2Conjuntos 2
Conjuntos 2
 
Relacion Entre Conjuntos
Relacion Entre ConjuntosRelacion Entre Conjuntos
Relacion Entre Conjuntos
 
Algebra 3
Algebra 3Algebra 3
Algebra 3
 
UNIDAD III ESTRUCTURAS DISCRETAS
UNIDAD III ESTRUCTURAS DISCRETASUNIDAD III ESTRUCTURAS DISCRETAS
UNIDAD III ESTRUCTURAS DISCRETAS
 
Conociendo algebra
Conociendo algebraConociendo algebra
Conociendo algebra
 
Exposición de Álgebra (final)
Exposición de Álgebra (final)Exposición de Álgebra (final)
Exposición de Álgebra (final)
 
Operaciones con Conjuntos
Operaciones con ConjuntosOperaciones con Conjuntos
Operaciones con Conjuntos
 
1.6 conjuntos
1.6 conjuntos1.6 conjuntos
1.6 conjuntos
 
Un conjunto es una agrupación de objetos
Un conjunto es una agrupación de objetosUn conjunto es una agrupación de objetos
Un conjunto es una agrupación de objetos
 
Relaciones entre conjuntos
Relaciones entre conjuntosRelaciones entre conjuntos
Relaciones entre conjuntos
 
Leyes de Conjuntos
Leyes de ConjuntosLeyes de Conjuntos
Leyes de Conjuntos
 
1.7 operaciones conjuntos
1.7 operaciones conjuntos1.7 operaciones conjuntos
1.7 operaciones conjuntos
 
Operaciones con Conjuntos.
Operaciones con Conjuntos.Operaciones con Conjuntos.
Operaciones con Conjuntos.
 
Relacion y grafos
Relacion y grafosRelacion y grafos
Relacion y grafos
 
Matemática general.argerio
Matemática general.argerioMatemática general.argerio
Matemática general.argerio
 
Operaciones entre conjuntos 11 (2019)
Operaciones entre conjuntos 11 (2019)Operaciones entre conjuntos 11 (2019)
Operaciones entre conjuntos 11 (2019)
 
Estructura
EstructuraEstructura
Estructura
 

Similar a Conjuntos teorico

Similar a Conjuntos teorico (20)

Teoria de-conjuntos romeo gobbo
Teoria de-conjuntos romeo gobboTeoria de-conjuntos romeo gobbo
Teoria de-conjuntos romeo gobbo
 
Teoria de conjuntos.
Teoria de conjuntos.Teoria de conjuntos.
Teoria de conjuntos.
 
Estructura discreta unidad III
Estructura discreta unidad IIIEstructura discreta unidad III
Estructura discreta unidad III
 
Slidehare estructura discreta iii
Slidehare estructura discreta iiiSlidehare estructura discreta iii
Slidehare estructura discreta iii
 
FMMA010_apunte_s8.pdf
FMMA010_apunte_s8.pdfFMMA010_apunte_s8.pdf
FMMA010_apunte_s8.pdf
 
Actividad 1 - Conjuntos
Actividad 1 - ConjuntosActividad 1 - Conjuntos
Actividad 1 - Conjuntos
 
Conjuntos Unidad III Estructuras Discretas I
Conjuntos Unidad III Estructuras Discretas IConjuntos Unidad III Estructuras Discretas I
Conjuntos Unidad III Estructuras Discretas I
 
Conjuntos
ConjuntosConjuntos
Conjuntos
 
3º conjuntos
3º conjuntos3º conjuntos
3º conjuntos
 
Teoria de conjuntos
Teoria de conjuntosTeoria de conjuntos
Teoria de conjuntos
 
operacion con conjuntos
operacion con conjuntosoperacion con conjuntos
operacion con conjuntos
 
Unidad3.teoriadeconjuntos
Unidad3.teoriadeconjuntosUnidad3.teoriadeconjuntos
Unidad3.teoriadeconjuntos
 
Introduccion FUNDAMENTOS.pdf
Introduccion FUNDAMENTOS.pdfIntroduccion FUNDAMENTOS.pdf
Introduccion FUNDAMENTOS.pdf
 
1 TeoríA De Conjuntos
1 TeoríA De Conjuntos1 TeoríA De Conjuntos
1 TeoríA De Conjuntos
 
Teoriadeconjuntos
TeoriadeconjuntosTeoriadeconjuntos
Teoriadeconjuntos
 
Teoriadeconjuntos
TeoriadeconjuntosTeoriadeconjuntos
Teoriadeconjuntos
 
Unidad3.teoriadeconjuntos
Unidad3.teoriadeconjuntosUnidad3.teoriadeconjuntos
Unidad3.teoriadeconjuntos
 
Teoria de-conjuntos
Teoria de-conjuntosTeoria de-conjuntos
Teoria de-conjuntos
 
Trat agua cap1
Trat agua cap1Trat agua cap1
Trat agua cap1
 
Teoría de conjuntos
Teoría de conjuntosTeoría de conjuntos
Teoría de conjuntos
 

Último

2024 - Expo Visibles - Visibilidad Lesbica.pdf
2024 - Expo Visibles - Visibilidad Lesbica.pdf2024 - Expo Visibles - Visibilidad Lesbica.pdf
2024 - Expo Visibles - Visibilidad Lesbica.pdfBaker Publishing Company
 
texto argumentativo, ejemplos y ejercicios prácticos
texto argumentativo, ejemplos y ejercicios prácticostexto argumentativo, ejemplos y ejercicios prácticos
texto argumentativo, ejemplos y ejercicios prácticosisabeltrejoros
 
Heinsohn Privacidad y Ciberseguridad para el sector educativo
Heinsohn Privacidad y Ciberseguridad para el sector educativoHeinsohn Privacidad y Ciberseguridad para el sector educativo
Heinsohn Privacidad y Ciberseguridad para el sector educativoFundación YOD YOD
 
GLOSAS Y PALABRAS ACTO 2 DE ABRIL 2024.docx
GLOSAS  Y PALABRAS ACTO 2 DE ABRIL 2024.docxGLOSAS  Y PALABRAS ACTO 2 DE ABRIL 2024.docx
GLOSAS Y PALABRAS ACTO 2 DE ABRIL 2024.docxAleParedes11
 
Identificación de componentes Hardware del PC
Identificación de componentes Hardware del PCIdentificación de componentes Hardware del PC
Identificación de componentes Hardware del PCCesarFernandez937857
 
codigos HTML para blogs y paginas web Karina
codigos HTML para blogs y paginas web Karinacodigos HTML para blogs y paginas web Karina
codigos HTML para blogs y paginas web Karinavergarakarina022
 
la unidad de s sesion edussssssssssssssscacio fisca
la unidad de s sesion edussssssssssssssscacio fiscala unidad de s sesion edussssssssssssssscacio fisca
la unidad de s sesion edussssssssssssssscacio fiscaeliseo91
 
PPT GESTIÓN ESCOLAR 2024 Comités y Compromisos.pptx
PPT GESTIÓN ESCOLAR 2024 Comités y Compromisos.pptxPPT GESTIÓN ESCOLAR 2024 Comités y Compromisos.pptx
PPT GESTIÓN ESCOLAR 2024 Comités y Compromisos.pptxOscarEduardoSanchezC
 
MAYO 1 PROYECTO día de la madre el amor más grande
MAYO 1 PROYECTO día de la madre el amor más grandeMAYO 1 PROYECTO día de la madre el amor más grande
MAYO 1 PROYECTO día de la madre el amor más grandeMarjorie Burga
 
RAIZ CUADRADA Y CUBICA PARA NIÑOS DE PRIMARIA
RAIZ CUADRADA Y CUBICA PARA NIÑOS DE PRIMARIARAIZ CUADRADA Y CUBICA PARA NIÑOS DE PRIMARIA
RAIZ CUADRADA Y CUBICA PARA NIÑOS DE PRIMARIACarlos Campaña Montenegro
 
Herramientas de Inteligencia Artificial.pdf
Herramientas de Inteligencia Artificial.pdfHerramientas de Inteligencia Artificial.pdf
Herramientas de Inteligencia Artificial.pdfMARIAPAULAMAHECHAMOR
 
cortes de luz abril 2024 en la provincia de tungurahua
cortes de luz abril 2024 en la provincia de tungurahuacortes de luz abril 2024 en la provincia de tungurahua
cortes de luz abril 2024 en la provincia de tungurahuaDANNYISAACCARVAJALGA
 
programa dia de las madres 10 de mayo para evento
programa dia de las madres 10 de mayo  para eventoprograma dia de las madres 10 de mayo  para evento
programa dia de las madres 10 de mayo para eventoDiegoMtsS
 
EXPECTATIVAS vs PERSPECTIVA en la vida.
EXPECTATIVAS vs PERSPECTIVA  en la vida.EXPECTATIVAS vs PERSPECTIVA  en la vida.
EXPECTATIVAS vs PERSPECTIVA en la vida.DaluiMonasterio
 
Introducción:Los objetivos de Desarrollo Sostenible
Introducción:Los objetivos de Desarrollo SostenibleIntroducción:Los objetivos de Desarrollo Sostenible
Introducción:Los objetivos de Desarrollo SostenibleJonathanCovena1
 
OLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptx
OLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptxOLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptx
OLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptxjosetrinidadchavez
 

Último (20)

2024 - Expo Visibles - Visibilidad Lesbica.pdf
2024 - Expo Visibles - Visibilidad Lesbica.pdf2024 - Expo Visibles - Visibilidad Lesbica.pdf
2024 - Expo Visibles - Visibilidad Lesbica.pdf
 
texto argumentativo, ejemplos y ejercicios prácticos
texto argumentativo, ejemplos y ejercicios prácticostexto argumentativo, ejemplos y ejercicios prácticos
texto argumentativo, ejemplos y ejercicios prácticos
 
Power Point: "Defendamos la verdad".pptx
Power Point: "Defendamos la verdad".pptxPower Point: "Defendamos la verdad".pptx
Power Point: "Defendamos la verdad".pptx
 
Heinsohn Privacidad y Ciberseguridad para el sector educativo
Heinsohn Privacidad y Ciberseguridad para el sector educativoHeinsohn Privacidad y Ciberseguridad para el sector educativo
Heinsohn Privacidad y Ciberseguridad para el sector educativo
 
GLOSAS Y PALABRAS ACTO 2 DE ABRIL 2024.docx
GLOSAS  Y PALABRAS ACTO 2 DE ABRIL 2024.docxGLOSAS  Y PALABRAS ACTO 2 DE ABRIL 2024.docx
GLOSAS Y PALABRAS ACTO 2 DE ABRIL 2024.docx
 
Identificación de componentes Hardware del PC
Identificación de componentes Hardware del PCIdentificación de componentes Hardware del PC
Identificación de componentes Hardware del PC
 
codigos HTML para blogs y paginas web Karina
codigos HTML para blogs y paginas web Karinacodigos HTML para blogs y paginas web Karina
codigos HTML para blogs y paginas web Karina
 
la unidad de s sesion edussssssssssssssscacio fisca
la unidad de s sesion edussssssssssssssscacio fiscala unidad de s sesion edussssssssssssssscacio fisca
la unidad de s sesion edussssssssssssssscacio fisca
 
Razonamiento Matemático 1. Deta del año 2020
Razonamiento Matemático 1. Deta del año 2020Razonamiento Matemático 1. Deta del año 2020
Razonamiento Matemático 1. Deta del año 2020
 
Repaso Pruebas CRECE PR 2024. Ciencia General
Repaso Pruebas CRECE PR 2024. Ciencia GeneralRepaso Pruebas CRECE PR 2024. Ciencia General
Repaso Pruebas CRECE PR 2024. Ciencia General
 
PPT GESTIÓN ESCOLAR 2024 Comités y Compromisos.pptx
PPT GESTIÓN ESCOLAR 2024 Comités y Compromisos.pptxPPT GESTIÓN ESCOLAR 2024 Comités y Compromisos.pptx
PPT GESTIÓN ESCOLAR 2024 Comités y Compromisos.pptx
 
MAYO 1 PROYECTO día de la madre el amor más grande
MAYO 1 PROYECTO día de la madre el amor más grandeMAYO 1 PROYECTO día de la madre el amor más grande
MAYO 1 PROYECTO día de la madre el amor más grande
 
RAIZ CUADRADA Y CUBICA PARA NIÑOS DE PRIMARIA
RAIZ CUADRADA Y CUBICA PARA NIÑOS DE PRIMARIARAIZ CUADRADA Y CUBICA PARA NIÑOS DE PRIMARIA
RAIZ CUADRADA Y CUBICA PARA NIÑOS DE PRIMARIA
 
Herramientas de Inteligencia Artificial.pdf
Herramientas de Inteligencia Artificial.pdfHerramientas de Inteligencia Artificial.pdf
Herramientas de Inteligencia Artificial.pdf
 
cortes de luz abril 2024 en la provincia de tungurahua
cortes de luz abril 2024 en la provincia de tungurahuacortes de luz abril 2024 en la provincia de tungurahua
cortes de luz abril 2024 en la provincia de tungurahua
 
programa dia de las madres 10 de mayo para evento
programa dia de las madres 10 de mayo  para eventoprograma dia de las madres 10 de mayo  para evento
programa dia de las madres 10 de mayo para evento
 
EXPECTATIVAS vs PERSPECTIVA en la vida.
EXPECTATIVAS vs PERSPECTIVA  en la vida.EXPECTATIVAS vs PERSPECTIVA  en la vida.
EXPECTATIVAS vs PERSPECTIVA en la vida.
 
Unidad 3 | Teorías de la Comunicación | MCDI
Unidad 3 | Teorías de la Comunicación | MCDIUnidad 3 | Teorías de la Comunicación | MCDI
Unidad 3 | Teorías de la Comunicación | MCDI
 
Introducción:Los objetivos de Desarrollo Sostenible
Introducción:Los objetivos de Desarrollo SostenibleIntroducción:Los objetivos de Desarrollo Sostenible
Introducción:Los objetivos de Desarrollo Sostenible
 
OLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptx
OLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptxOLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptx
OLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptx
 

Conjuntos teorico

  • 1. 1 Conjuntos 1 Preliminares 1.1 Conceptos primitivos Consideramos tres conceptos primitivos: conjunto, elemento y pertenencia. Para la notación, utilizaremos (por lo general, pero no siempre) letras mayúsculas para los conjuntos, letras minúsculas para los elementos, y el símbolo " "∈ para decir “pertenece” (o bien " "∉ para decir “no pertenece). De este modo, “a B∈ ” se lee “el elemento a pertenece al conjunto B ”, y “x R∉ ” se lee “el elemento x no pertenece al conjunto R ”. 1.2 Formas de determinación y representación de un conjunto Consideraremos que un conjunto está determinado, cuando es posible identificar inequívocamente cuáles son los elementos que pertenecen a ese conjunto. Es decir, dado un elemento cualquiera de un conjunto universal (que habitualmente se nota con la letra U ), el conjunto estará bien determinado si es posible decidir si ese elemento le pertenece o no. Es común definir los conjuntos de dos maneras: por extensión y por comprensión. Definir un conjunto por extensión implica nombrar todos y cada uno de los elementos que le pertenecen. Como notación, escribimos los elementos entre llaves y separados por comas. Por ejemplo, { }, , , ,A a e i o u= . Definir un conjunto por comprensión implica dar una característica que sea exclusiva de todos sus elementos. Esta condición será verdadera para cada elemento del conjunto, y será falsa para cualquier elemento que no pertenezca al conjunto. Por ejemplo, { }| es una vocalA x x= . Para representar un conjunto, también es usual aprovechar los diagramas de Venn-Euler. En este caso:
  • 2. 2 1.3 Conjunto vacío Llamaremos conjunto vacío a aquél que no tiene elementos, es decir, que no existe ningún elemento que le pertenezca. Los simbolizamos { }∅ = . 1.4 Inclusión Dados dos conjuntos A y B , decimos que A está incluido en B (lo notamos A B⊂ 1 ) cuando todos los elementos de A pertenecen a B . En símbolos: ( ),A B x x A x B⊂ ⇔ ∀ ∈ → ∈ . En este caso, es equivalente decir que A está incluido en B , y decir que A es un subconjunto de B . Cabe aclarar que la inclusión es una relación entre dos conjuntos, no así la partencia que vincula un elemento con un conjunto. Muchas veces un conjunto puede adoptar el rol de elemento, de acuerdo a cómo se utilice. Por ejemplo, si tomamos { }{ }1,2 ,3,4A = es correcto decir que 3 A∈ , o que { }3,4 A⊂ , o que { }1,2 A∈ ; pero no es correcto decir que 3 A⊂ , tampoco que { }1,2 A⊂ . Si un conjunto A no está incluido en B , lo anotamos A B⊄ . En este caso, la negación de la relación de inclusión será: ( ),A B x x A x B⊄ ⇔ ∃ ∈ ∧ ∉ . 1.5 Igualdad Decimos que dos conjuntos son iguales, cuando les pertenecen los mismos elementos. Una definición válida puede ser la siguiente: A B A B B A= ⇔ ⊂ ∧ ⊂ . En especial, entender la igualdad como una “doble inclusión” puede dar pistas concretas para ser utilizada como herramienta a la hora de demostrar simbólicamente la igualdad de dos conjuntos. 1 Otros autores utilizan la expresión A B⊆ para decir “ A está incluido en B ”
  • 3. 3 2 Operaciones y propiedades 2.1 Unión Dados dos conjuntos A y B , llamamos “unión de A y B ” al conjunto que anotamos A B∪ formado por todos elementos de A y de B . { }|A B x x A x B= ∈ ∨ ∈∪ Por ejemplo, si { }, , ,A a b c d= y { }, ,B c d e= , entonces { }, , , ,A B a b c d e∪ = 2.2 Intersección Dados dos conjuntos A y B , llamamos “intersección de A y B ” al conjunto que anotamos A B∩ formado por los elementos de A que también son elementos de B . { }|A B x x A x B= ∈ ∧ ∈∩ Por ejemplo, si { }, , ,A a b c d= y { }, ,B c d e= , entonces { },A B c d∩ = Decimos que dos conjuntos son disjuntos cuando no tienen elementos en común, es decir, y son disjuntos A B=A B ⇔ ∩ ∅ . 2.3 Diferencia Dados dos conjuntos A y B , llamamos “diferencia de A menos B ” al conjunto que anotamos A B− formado por los elementos de A que no pertenecen a B . { }|A B x x A x B− = ∈ ∧ ∉ A B A B− A B∩ A B A B A B∪
  • 4. 4 Por ejemplo, si { }, , ,A a b c d= y { }, ,B c d e= , entonces { },A B a b− = . Notemos que la diferencia no es una operación conmutativa, es decir, no necesariamente los conjuntos A B− y B A− son iguales. En este ejemplo, { }B A e− = . 2.4 Diferencia simétrica Dados dos conjuntos A y B , llamamos “diferencia simétrica de A menos B ” al conjunto que anotamos A B∆ formado por los elementos que pertenecen a uno de los dos conjuntos, y no pertenecen al otro. { }|( ) ( )A B x x A x B x B x A∆ = ∈ ∧ ∉ ∨ ∈ ∧ ∉ Por ejemplo, si { }, , ,A a b c d= y { }, ,B c d e= , entonces { }, ,A B a b e∆ = . 2.5 Complemento Dado un conjunto A , llamamos “complemento de A ” al conjunto que anotamos C A formado por los elementos que no pertenecen a A . { }|C A x x A= ∉ A U A C Vale aclarar que el complemente de un conjunto siempre depende del conjunto universal que se tome como referencia. Si llamamos U a este conjunto universal, podemos decir que -C A A= U . Por ejemplo, en el universo de los números naturales ℕ , si consideramos { }| 2A x x= = ɺ tendremos { }| es imparC A x x= . 2.6 Propiedades A continuación enunciamos algunas propiedades sobre conjuntos, que pueden ser deducidas de las definiciones ya conocidas. A B A B∆ A B B A−
  • 5. 5 Conmutativas: A B B A∪ = ∪ ; A B B A∩ = ∩ Asociativas: ( ) ( )A B C A B C∪ ∪ = ∪ ∪ ; ( ) ( )A B C A B C∩ ∩ = ∩ ∩ Distributivas: ( ) ( ) ( )A B C A B A C∪ ∩ = ∪ ∩ ∪ ; ( ) ( ) ( )A B C A B A C∩ ∪ = ∩ ∪ ∩ Idempotentes: A A A∪ = ; A A A∩ = Complementos: ( ) CC A A= Leyes de De Morgan: ( )C C C A B A A∪ = ∩ ; ( )C C C A B A B∩ = ∪ Neutros: A A∪ ∅ = ; A A∩ =U Inversos: C A A∪ = U ; C A A∩ = ∅ Dominación: A∪ =U U ; A∅ ∩ = ∅ Absorción: ( )A A B A∪ ∩ = ; ( )A A B A∩ ∪ =