Cartilla Teorica
Cartilla Teorica
I.F.D. N° 9
Profesorado de Educación
Secundaria en Matemática.
Catilla Teórica
ÁLGEBRA I.
Año: 2020.
I.F.D. N° 9.
Proyecto De Catedra.
Álgebra I.
Fundamentación.
Uno de los aspectos sorprendentes de la matemática del siglo XX, ha sido el
crecimiento del método abstracto. Esto ha hecho nacer un gran cuerpo de nuevos
resultados y problemas.; y en realidad nos ha conducido a la apertura de las nuevas
áreas de las matemáticas, de chuya mera existencia no se había sospechados.
Con este nuevo desarrollo no solo llegó una nueva matemática si no una
nueva versión fresca y, junto con ella, nuevas pruebas de resultados clásicos. La
reducción de un problema a sus aspectos esenciales básicos, nos ha revelado con
frecuencia la fundamentación adecuada de resultados considerados especiales y
aislados, y nos ha demostrado interrelaciones entre áreas en las que nunca se había
pensado que existiera alguna conexión.
El álgebra que surgió como fruto natural de todo esto, no solamente es una
materia de vida y vigor independiente, sino que es una de las áreas importantes de
investigación matemática habitual, que sirve también como hilo unificado que
entrelaza a casi todas las materias, geometría, teoría de números, análisis, topología
e incluso matemática aplicada.
De esta manera la matemática ha dejado de ser una mera teoría para el
cálculo, estudiando las estructuras de las relaciones y funciones que se dan entre los
números, dando lugar al Álgebra para este estudio.
El álgebra ha sido y sigue siendo un requisito fundamental para el estudio del
análisis, independientemente del objeto con el que se esté trabajando. En la
enseñanza del algebra moderna, el énfasis se coloca en los conceptos y propiedades.
No se puede introducir al rigor de los razonamientos si se razona sobre objetos
definidos; de ahí que es necesario, en este espacio curricular establecer las
relaciones entre ciertos entes abstractos llamados objetos matemáticos. Para ello es
necesario disponer de una fuente como la lógica, ciencia de las deducciones de las
demostraciones. Haciendo uso del lenguaje conjuntista, por considerar que sus
estructuras están infinitamente correlacionadas con las del pensamiento; donde el
concepto de relaciones y funciones dan idea unificada de la gran importancia del
análisis entre las variables demostrando sus propiedades.
Objetivos.
Que el alumno sea capaz de:
Potenciar las capacidades analíticas y el pensamiento lógico riguroso a
través del estudio del álgebra.
Asimilar y manejar con fluidez los conceptos básicos del algebra: La
matemática y su lenguaje, lógica, elementos de la teoría de conjuntos,
relaciones, funciones y las propiedades de los conjuntos numéricos N,
Z y Q.
Reconocer los diferentes métodos de demostración y su utilización
apropiada.
Sea capaz de transferir los conocimientos teórico y prácticos en las
situaciones de resolución de nuevas situaciones, relacionadas al
ámbito de formación profesional.
Evaluación.
Regularización.
Criterios de evaluación.
Los criterios que se tendrán en cuenta para evaluar el proceso de
apropiación de saberes serán:
Contenidos conceptuales.
Comprensión y aplicación con rigor científico de propiedades.
Manejo del lenguaje lógico y del razonamiento.
Identificación de propiedades en distintas demostraciones y
aplicaciones.
Contenidos procedimental.
Análisis e interpretación de problemas.
Estrategia y proceso de razonamiento.
Habilidades para representar gráfica y simbológica de situaciones de
conjuntos, relacione y funciones.
Contenidos actitudinales.
Aporte personal de nueva información en el campo de investigación y
clase.
Singularidad manifiesta en los trabajos.
Participación grupal.
Respeto por sus pares y autoridades.
Programación Analítica.
EJE I:
El lenguaje de la matemática: el Algebra y su importancia.
Lógica matemática, proposiciones: notaciones y conectivos.
Operaciones proposicionales. Condición necesaria y suficiente. Implicaciones
asociadas y equivalentes. Leyes lógicas. Razonamiento. Reglas de inferencia.
Razonamiento deductivo valido. Métodos: asociado y asociado reducido.
Lógica de predicados. Funciones proposicionales, conjunto: universal y verdad.
Operaciones con formas proposicionales. Cuantificadores: universal y
existencia, negación de cuantificadores.
EJE II:
Conjuntos, elementos, pertenencia. Definición de conjuntos por
extensión y comprensión. Diagramas de Venn. Cardinal de un conjunto.
Conjuntos especiales: Vacío, Universal y Unitario. Igualdad de conjuntos.
Inclusión, concepto. Propiedades. Conjunto de partes. Operaciones con
conjuntos, definición y propiedades. Leyes de De Morgan. Producto cartesiano
definición y propiedades.
EJE III:
Relaciones binarias, definición y representación. Dominio e imagen.
Relación inversa, definición. Composición de relaciones. Relaciones definidas
en un conjunto. Propiedades de las relaciones. Relaciones de equivalencia.
Clases de equivalencias y conjunto cociente. Partición de un conjunto no vacío.
Relación de orden.
EJE IV:
Relaciones funcionales, definición. Representación de funciones.
Clasificación de funciones: inyectiva, sobreyectiva y biyectiva, definición.
Funciones especiales: inversa, opuesta, constante, identidad, reciproca, par,
impar. Composición de funciones, propiedades.
EJE V:
Conjuntos numéricos: N, Z y Q. Las propiedades elementales de los
conjuntos.
Bibliografía.
Dossier de catedra.
Apuntes de teoría.
Bibliografía especifica.
Algebra I (1996), Armando O. Rojo. Editorial: El Ateneo.
Algebra Modera, I.N. Herstein. Editorial: Trillas.
Lógica simbólica y elementos de metodología de las Ciencias, Gianella
De Salama. Editorial: El Ateneo.
Tapia 1, Carlos A. Tapia. Editorial: Ángel Estrada y Cia.
Unidad N° I.
La matemática y su lenguaje.
El álgebra y su importancia.
“El Álgebra es, en esencia, la doctrina de las operaciones matemáticas
analizadas desde un punto de vista abstracto y genérico, independiente de los
números u objetos concretos. A lo largo de la historia de la humanidad esta
ciencia ha ido evolucionando, y cada civilización y cada cultura con sus
características propias han dejado un legado testimonial escrito del que en la
actualidad somos herederos.”
El álgebra es una rama de la matemática que analiza las relaciones o
funciones que se dan entre los números, en sí misma, las consecuencias que
contienen y las leyes de sus transformaciones y combinaciones mutuas. Ella
expresa por medio de letras, símbolos, signos y números operaciones
aritméticas de manera generalizada.
A diferencia de la aritmética (que trata de las operaciones cuyos
elementos son números constantes cualquiera sea su naturaleza), el álgebra
establece formulas, expresando reglas o principios generales, utilizando letras
pare representar cantidades indefinidas (incógnitas o variables) y parámetros
(coeficientes, factores, etc.).
Lógica Matemática.
La lógica es la ciencia formal que estudia las estructuras del
pensamiento, y conviene aclarar que no estudia que es el pensamiento, sino
como es, que forma o estructura tiene. Por lo tanto la lógica que estudia las
estructuras del pensamiento es ciencia de relaciones o de inferencia.
Por lo tanto la lógica matemática se ocupa de los argumentos o
razonamientos entre premisas y nos permite dictaminar un juicio verídico
sobre la misma.
Lógica proposicional.
Ejemplo:
Si hoy no llueve entonces andaré en bicicleta o iré al camping. (l.C)
~p q V r (l.S)
Clasificación de proposiciones.
Las proposiciones en las cuales pueden encontrarse otras proposiciones,
se llaman compuestas o moleculares.
Es decir una proposición es compuesta cuando está formada por más de
una proposición simple unida con términos de enlaces o conectivos lógicos.
Las proposiciones simples o atómicas son aquellas que no contienen
otras proposiciones como parte de ella. Por lo tanto no contienen términos de
enlaces o conectivos lógicos.
Ejemplos:
Tres es un número par.
p
Si hoy es martes entonces tengo clase de algebra.
pq
Cuando se trabaja con barias propensiones simples se las puede separar
entre paréntesis o corchetes.
Ejemplo:
No es cierto que, a es un numero negativo si y solo si a toma valores mayores
que cero.
~ (p q)
Cuando no se trabaja con paréntesis o corchetes, se utilizan las jerarquías
de los conectivos lógicos, que permiten resolver las operaciones combinadas.
Nivel 1: ~
Nivel 2: ^, V
Nivel 3:
Nivel 4:
Operaciones lógicas.
Dada una o dos proposiciones, cuyo valores d verdad se conocen, se
trata de encontrar el valor de verdad de la proposición resultante. Para ello se
construye una tabla de verdad formada por filas y columnas. La cantidad de
columnas depende de la cantidad de proposiciones y conectivos. La cantidad
de filas se calcula aplicando las formula: 2𝑛
Simple. Compuesta.
n= cantidad de proposiciones.
p q
P n= 2 => 22 = 4: 2=2:2=1
V V
4= número de filas.
V V F
2= valores 2 verdaderos y 2
F V falsos a la primera proposición.
F
F F 1= valores 1 verdadero y 1 falso
a la segunda proposición.
Negación:
Es una operación unitaria o monádica, ya que a partir de una sola
proposición se obtiene otra que es una negación.
Dada una proposición p, se lama negación de p a la proposici0on “~ p”.
Y la negación de la misma se define por la siguiente tabla.
P ~p
V F
F V
Ejemplo:
P Q P^q
V V V
V F F
F V F
F F F
Ejemplo:
Sean p: 3 es un número impar.
q: 2 es un número primo.
Su conjunción p^q: 3 es un número impar y 2 es un número primo.
Disyunción incluyente.
Es una operación binaria, porque se obtiene a partir de dos
proposiciones moleculares llamada disyunción.
Dadas dos proposiciones p y q, se llama disyunción incluyente p V q” y
es falsa cuando ambas proposiciones son falsas, en todo otro caso es
verdadera.
P Q pVq
V V V
V F V
F V V
F F F
Ejemplo:
Sean p: las mariposas hablan.
q: 4 es un número par.
Su disyunción. p V q: las mariposas hablan o 4 es un número par.
Condicional o implicación.
Es una proposición diádica donde la primera premisa proposicional se la
considera como antecedente y a la segunda como consecuente.
Dadas dos proposiciones p y q, se llama implicación de antecedente p y
consecuente q a la proposición p q, que es falsa solo cuando el antecedente
es verdadero y el consecuente es falso, en todo otro caso es verdadero.
P Q p q
V V V
V F F
F V V
Ejemplo:
F F V
Reciproco
p => q q => p
Contrario
Contrario
Contrarreciproco.
Reciproco
~ p => ~ q ~ q => ~ p
P Q pq
V V V
V F F
F V F
F F V
Demostración.
P Q p q q p (p q) ^( q p)
V V V V V
V F F V F
F V V F F
F F V V V
Ejemplo:
Sean p: 8 es un número impar.
q: 4 es un número negativo.
Su doble implicación: p q: 8 es un número impar si y solo si 4 es un
número negativo.
Formulas lógicas.
Clasificación.
Según los resultados obtenidos en la tabla, se pueden clasificar en:
Una formula cuyo valor de vedad siempre es V, cualesquiera sean
los valores de verdad de las variables, se llama tautología.
Por ejemplo:
(p q) ^ p q
p q p q (p q)^p (p q)^p q
q
V V V V V
V F F F V
F V V F V
F F V F V
Por Ejemplo:
(p^q) ^ ~ p
P Q p ^q ~p (p ^ q)^~p
V V V F F
V F F F F
F V F V F
F F F V F
p p^p p^pp
V V V
F F V
p q ~𝑝 p q ~p V q p q ~p V q
V V F V V V
V F F F F V
F V V V V V
F F V V V V
Negación del condicional o implicación.
La negación del condicional es equivalente a la conjunción del
antecedente con la negación del consecuente.
~( 𝑝 𝑞) ≅ 𝑝 ^ ~ 𝑞
Demostración.
Partiendo de la equivalencia. 𝑝 𝑞 ≅ ~𝑝 𝑉 𝑞
Aplicamos negación en ambos miembros. ~( 𝑝 𝑞 ) ≅ ~( ~𝑝 𝑉 𝑞)
Aplicando la 2° L. de De Morgan. ~( 𝑝 𝑞 ) ≅ ~(~𝑝) ^ ~𝑞
Aplicando la Ley involutiva. ~( 𝑝 𝑞 ) ≅ 𝑝 ^ ~𝑞
Razonamiento.
Un razonamiento es un conjunto finito de proposiciones llamadas
premisas y una proposición llamada conclusión, la cual está fundada o deriva
de las premisas.
La inferencia es el nexo que relaciona a un conjunto de proposiciones.
Es un proceso por el cual a partir de varios conocimientos dados obtenemos
un nuevo conocimiento.
Los términos razonamiento e inferencia no son sinónimos.
Los razonamientos son estructuras lógicas integradas por proposiciones,
en cambio las inferencias son nexos lógicos que permiten obtener un
razonamiento.
∴p ∴q
8) CONJUNCION.
p
q
∴p^q
9) ADICION.
p q
∴pVq ∴qVp
10) IMPLICACION MATERIAL.
p q ~pVq
∴~pVq ∴p q
Ejemplo. p q 1 2 3 4
p q p r p s ~p
q r q r r s ~s pVt t ∴ R. Valido.
r s
~s 1) Por silogismo hipotético.
2) Por silogismo hipotético.
pVt
3) Por modus tolens.
∴t 4) Por silogismo disyuntivo.
Lógica de predicados.
P= { a ∈ U / P(a) es V}
Operaciones con F. proposicionales.
Cuantificadores.
A partir de funciones proposicionales es posible obtener proposiciones
generales, mediante un proceso llamado de cuantificación usando términos
que se refieren a los elementos de un dominio o universo, o bien una parte del
mismo, que pertenece ha dicho esquema.
Los cuantificadores son operadores lógicos que preceden a las funciones
proposicionales, que permiten especificar cuantitativamente el dominio de las
variables.
Hay dos maneras de cuantificar las variables de las funciones
proposicionales:
Cuantificador Universal o general.
Una función proposicional puede transformarse en una proposición
verdadera para todos los valores del universo que puede tomar la variable x.
De esta manera cuantificamos universalmente a una función proposicional
cuando asociamos la indeterminada x expresiones como: Para todo, todos o
todo, cualquiera, cada cual, todo y cada uno, etc.
Simbólicamente: ∀ x: P(x)
Coloquialmente: para todo x se verifica P(x)
Ejemplo:
Unidad N° II.
Para poder abordar la teoría conjuntista, debemos tener en cuenta tres
conceptos fundamentales: “conjunto”, “elemento” y “pertenencia”.
Conjunto como concepto primitivo.
No es posible definir conjunto sin caer en un círculo vicioso ya que, si se
dice “es una colección de objetos”, ¿y que es una colección de objetos?
“colección es una reunión de objetos”, ¿y que es una reunión de objetos?
“reunión es una agrupación de objetos”, ¿y que es una agrupación?
“agrupación es un conjunto de objetos”. De esta manera volvemos siempre al
punto de partida sin aclarar totalmente el significado de la palabra conjunto.
Se toma al concepto de conjunto como un término primitivo o concepto
fundamental de la teoría, es decir se lo acepta sin definir, asumiendo que
todos comprenden intuitivamente este concepto.
Se puede reconocer a los conceptos primitivos a través de sus
propiedades y de la forma en que se comportan en el desarrollo de la teoría.
Por ello para que exista un conjunto se exigen algunos requisitos y son:
La colección de objetos debe estar bien definida: la pertenencia al
conjunto de un elemento no debe ofrecer dudas.
Ningún elemento del conjunto se debe contar más de una vez, los
elementos deben ser distintos.
El orden en el que se reúnen los elementos carecen de
importancia.
Por lo tanto un conjunto está bien definido cuando es posible hacer
una lista de sus elementos y cuando no cabe duda que un objeto
determinado es o no un elemento del conjunto.
Elementos.
Es cada uno de los objetos que forman un conjunto.
Relación de pertenencia.
Se presenta cuando cada objeto forma parte de un conjunto dado.
Conjuntos especiales.
Conjunto vacío.
Es aquel conjunto que carece de elementos. El conjunto vacío debe ser
considerado como subconjunto de cualquier conjunto, es decir está incluido
en todo conjunto.
Simbólicamente: ∅ ó {}
∅={x ∈ U/ x≠x}
Conjunto unitario.
Es aquel conjunto que está formado por un solo elemento.
Simbólicamente: A={x/x=a} ó A={a}
Conjunto universal.
El conjunto universal o referencial es el conjunto formado por todos los
elementos que intervienen en el tema. Mayormente se lo representa
gráficamente por un rectángulo o un triángulo. Y cualquier conjunto que se
estudie dentro de un cierto universo, se encuentra contenido dentro del
diagrama del universo. De esta manera podemos decir que cualquier conjunto
está incluido dentro del universo correspondiente.
Simbolizaremos a este conjunto con la letra U o U.
Cardinal de un conjunto.
Se llama cardinal de un conjunto a la cantidad de elementos que tiene
el conjunto. El cardinal de un conjunto se denota con: ⋕
Ejemplo:
A={o, b, c, d, e, g, h ,y} ⇒ # A= 8
Inclusión o Subconjunto.
Sean dos conjuntos A y S, se dirá que el conjunto A es un subconjunto
de S si y solo si todo elemento de A es un elemento de S; de esta manera se
afirma que A está incluido es S. la inclusión se denota con el símbolo “⊂”. Un
A⊂B∧ B⊂C⟹
1
(x ∈ A ⟹ x ∈ B) ∧ (x ∈ B ⟹ x ∈ C) ⟹
2
⟹ (x ∈ A ⟹ x ∈ C) ⟹
3 A⊂C
1) Por definición de inclusión.
2) Por silogismo hipotético.
3) Por definición de inclusión.
A ⊂ B ∧ B ⊂ A ⟹ A=B
Igualdad de conjuntos.
Como vimos la inclusión de conjuntos es una relación antisimetrica, que
verifica.
A ⊂ B ∧ B ⊂ A ⟹ A=B
Esta propiedad permite considerar la igualdad de conjuntos de la
siguiente manera: Dos conjuntos son iguales si y solo si cada uno de ellos está
incluido en el otro, simultáneamente. Lo que significa que todo elemento que
está en uno está en el otro y viceversa.
A=B ⟺ A⊆ B ∧ B⊆ A
Propiedades.
1) Reflexiva: todo conjunto está incluido en si mismo.
H) Sea el conjunto A.
T) A=A
D) A⊂A ⟹ A⊂A ∧ A⊂A ⟹A=A
2) Simétrica:
H) Sea A=B
T) B=A
D) A=B ⟹ A ⊂ B ∧ B ⊂ A ⟹ B ⊂ A ∧ A ⊂ B⟹ B=A
3) Transitiva: si un conjunto es igual a otro, y este es igual a un
tercero, entonces el primero es igual al tercero.
H) Sean A=B ∧ B=C
T) A=C
D) A=B ∧ B=C⟹(A ⊂ B ∧ B ⊂ A) ∧(B ⊂ C ∧ C ⊂ B) ⟹
⟹ (A ⊂ B ∧ B ⊂ C) ∧ (C ⊂ B ∧ B ⊂ A) ⟹ A ⊂ C ∧ C ⊂ A ⟹
⟹ A=C
Características del conjunto vacío.
Propiedades:
1) El conjunto vacío está incluido en cualquier otro conjunto, es decir
forma parte de todo conjunto.
A es un conjunto ⟹ ∅ ⊂ A
H): A es un conjunto.
T) ∅ ⊂ A
D) ∅ ⊂ A ⟺ ∀ x: x ∈ ∅ ⟹ x ∈ A
V F V
V
V
2) El conjunto vacío es único.(UNICIDAD)
H) Sean los conjuntos vacíos ∅ ∧ ∅´
T) ∅ = ∅´
D) Como ∅ es un conjunto vacío ⟹ ∅ ⊂ ∅´
Como ∅´ es un conjunto vacío ⟹ ∅´ ⊂ ∅
Teniendo en cuenta la definición de igualdad de conjuntos se obtiene:
∅ = ∅´
Conjunto de partes.
Dado un conjunto “A”, podemos formar un nuevo conjunto constituido
por todos los subconjuntos que se pueden formar con los elementos de A. Este
conjunto recibe el nombre de conjunto de partes de A.
Simbólicamente: P(A)={X/X⊂A} ⟹ X∈P(A) ⟺ X⊂A
Los elementos de este conjunto son a su vez conjuntos, y en
consecuencia, P(A) es un conjunto de conjuntos.
El conjunto de partes del vacío es el conjunto cuyo único elemento es el
vacío.
P(∅)={∅}
Para calcular el número total de subconjuntos, del conjunto de partes,
se aplica la formula 2n, donde n es el cardinal del conjunto dado.
Se debe tener en cuenta que el conjunto vacío está en todo conjunto y
además todo conjunto está incluido en sí mismo.
Ejemplo:
Sea A={1,2,3} #A=3 ⟹ n=3 ⟹ 23= 8
P(A)={ ∅, A, {1}, {2}, {3}, {1,2}, {1,3}, {2,3} }
Operaciones con conjuntos y sus propiedades.
Definiremos las operaciones conjuntistas elementales, estableciendo
sus propiedades básicas. Salvo la primera, que involucra un solo conjunto, las
restantes son operaciones binarias, que a cada par de conjuntos le asocian otro
(el resultado de la operación o conclusión), formalmente similares a las
En particular:
El complemento del conjunto vacío es el universal.
∅c= U
El complemento del universal es el conjunto vacío.
UC= ∅
Propiedades de la complementación.
Ley involutiva: el complemento del complemento de todo
conjunto es igual a dicho conjunto.
(AC)C = A
Demostración.
x ∈ (AC)C ⟺
1
x ∉ Ac ⟺ c
2 ~ (x ∈ A ) ⟺
3 ~[x ∉ A] ⟺
4
~[~(x ∈ A)] ⟺
5 x∈A
Intersección de conjuntos.
Sean A y B subconjuntos del universal, la intersección de ellos es otro
conjunto formado por los elementos que pertenecen a A y B.
A ∩ B ={x ∈ U/ x ∈ A ∧ x ∈ B} Ó
A ∩ B ={x ∈/ x ∈ A ∧ x ∈ B}
La propiedad que caracteriza a los
elementos de la intersección es la de
pertenecer simultáneamente a los dos
conjuntos, y se establece en términos de una
conjunción. Por lo tanto:
x∈A∩B⟺x∈A∧x∈B
Ejemplo.
Sean A={1,2,3,4,5} y B={2,4,6}
A ∩ B={2,4}
Si la intersección de dos conjuntos es el vacío, e3ntonces dichos
conjuntos son disyuntos.
A y B son disyuntos ⟺ A ∩ B= ∅
Propiedades de la intersección.
Idempotencia: la intersección de todo conjunto con sí mismo es
igual al mismo conjunto.
A ∩ A= A
Demostración.
x ∈ A ∩ A ⟺ x1 ∈ A ∧ x ∈ A ⟺ x2∈ A
1) Por definición de intersección.
2) Por idempotencia.
Asociativa.
(A ∩ B) ∩ C = A ∩ (B ∩ C)
Demostración.
x ∈ (A ∩ B) ∩ C ⟺ x ∈ (A ∩ B) ∧ x ∈ C ⟺ (x ∈ A ∧ x ∈ B) ∧ x ∈ C ⟺
⟺x ∈ A ∧ (x ∈ B ∧ x ∈ C) ⟺ x ∈ A ∧ x ∈ (B ∩ C) ⟺ x ∈ A ∩ (B ∩ C)
Por definición de intersección.
Por definición de intersección.
Propiedad asociativa de la conjunción.
Por definición de intersección.
Por definición de intersección.
Conmutativa.
A∩B=B∩A
Demostración.
x∈A∩B⟺x∈A∧x∈B⟺x∈B∧x∈A⟺x∈B∩A
Por definición de intersección.
Propiedad conmutativa de la conjunción.
Por definición de intersección.
Elemento absorbente.
Elemento absorbente para la intersección es el conjunto vacío.
Cualquiera que sea el conjunto A incluido en el universal, se verifica que, la
intersección entre A y ∅ dará como resultado ∅.
∅ ⊂ A : A ∩ ∅= ∅ ∩ A= ∅
Unión entre conjuntos.
Sean os conjuntos A y B subconjuntos del universal, la unión entre ellos es otro
conjunto formado por los elementos que pertenecen al conjunto A o al conjunto B o ambos.
A ∪ B ={ x ∈ U/ x ∈ A ∨ x ∈ B}
A ∪ B ={ x / x ∈ A ∨ x ∈ B}
El “o” utilizado es incluyente por lo tanto, a la unión pertenecerán aquellos
elementos del U para los cuales es verdadera la disyunción; un elemento pertenece a la
unión si y solo si pertenecen a alguno de los dos conjuntos.
x ∈ A ∪ B ⟹ x ∈ A ∨ x ∈B
Ejemplo:
Sean A={1,2,3} y B={2,4,6}
A ∪ B ={1,2,3,4,6}
Propiedades de la unión.
Idempotencia: cualquiera sea el conjunto A, se verifica que la unión entre dicho
conjunto y sí mismo es iguala ese conjunto.
A∪A=A
Demostración.
x∈A∪A⟺x∈A∨x∈A⟺x∈A
Por definición de unión.
Por idempotencia.
Asociativa.
(A ∪ B) ∪ C = A ∪ (B ∪ C)
Demostración.
x ∈ (A ∪ B) ∪ C ⟺ x ∈ (A ∪ B) ∨ x ∈ C⟺( x ∈A V x ∈B) V x ∈ C ⟺
⟺ x ∈A V( x ∈B V x ∈ C) ⟺ x ∈A V x ∈(B∪C) ⟺ x ∈ A ∪( B ∪ C)
Por definición de unión.
Por definición de unión.
Propiedad asociativa dela disyunción.
Por definición de unión.
Por definición de unión.
Conmutativa.
A∪B=B∪A
Demostración.
x ∈ A ∪ B ⟺ x ∈A V x ∈B ⟺ x ∈B V x ∈ A ⟺ x ∈B∪A