Documentos de Académico
Documentos de Profesional
Documentos de Cultura
DE
EPART
TAMEN
NTO DE
E MATE
EMÁTIC
CA
INSTIT
TUTO DE
D ESTTUDIOSS SUPEERIOR
RES DE
E
ANDALGALLÁ – CA
ATAMAARCA
PÚBLIC
REP CA – AR
RGENTTINA
Sitio Web
W ww oderna.webatu
ww.algebramo u.com
E – Ma ail: corrreo@alggebram
moderna
a.weba
atu.com
m
ÁLGEBRA MODERNA – Prof. Luis E. Valdez
INDICE
Prólogo – Algo de Historia – Bibliografía ……………………………………………… 1
Capítulo I – Lógica Proposicional ……………………………………………………… 2
La lógica, Conectivos lógicos………………………………………………………………… 3
Las operaciones proposicionales …………………………………………………………… 3
Tautología, contradicción y contingencia …………………………………………………… 6
Leyes lógicas ………………………………………………………………………………… 7
Circuitos lógicos ……………………………………………………………………………… 11
Razonamientos Deductivos ………………………………………………………………… 14
Leyes de inferencia …………………………………………………………………………… 15
Teorema ……………………………………………………………………………………… 16
Razonamiento Inductivo ……………………………………………………………………… 17
Reducción al absurdo ……………………………………………………………………….. 17
La función proposicional. Los cuantificadores …………………………………………… 18
Negación de un cuantificador ……………………………………………………………… 18
Trabajo Práctico Nº 1 ……………………………………………………………………… 20
Capítulo II – La Teoría Conjuntista ……………………………………………………… 22
Simbolismo de la Teoría conjuntista ………………………………………………………… 23
Conjunto, elemento y pertenencia ………………………………………………………… 23
Formas de definir un conjunto ……………………………………………………………… 23
Conjuntos especiales ……………………………………………………………………… 24
Cardinal de un conjunto ……………………………………………………………………. 24
Los conjuntos numéricos …………………………………………………………………… 24
Los diagramas de Venn ……………………………………………………………………… 25
Relaciones entre conjuntos – La inclusión ………………………………………………… 26
Propiedades de inclusión ……………………………………………………………………. 26
Igualdad de conjuntos ……………………………………………………………………… 26
Propiedades de la igualdad ………………………………………………………………… 26
Caracterización del conjunto vacío ………………………………………………………… 27
Operaciones con conjunto – Propiedades ……………………………………………… 27
Otras propiedades de las operaciones con conjuntos …………………………………… 33
La Diferencia Simétrica ……………………………………………………………………… 35
Propiedades de la diferencia simétrica …………………………………………………… 35
Conjunto de Partes ………………………………………………………………………….. 36
Uniones disjuntas ……………………………………………………………………………. 37
Par ordenado – Producto Cartesiano……………………………………………………….. 37
Trabajo Práctico Nº 2 ………………………………………………………………………… 38
Capítulo III – Relaciones Binarias ……………………………………………………….. 40
Definición de relación binaria ………………………………………………………… 41
Dominio, Imagen, Representaciones gráficas …………………………………………… 41
Relación inversa …………………………………………………………………………….. 42
Composición de relaciones ………………………………………………………………… 42
Relaciones definidas en un conjunto ……………………………………………………… 44
Posibles propiedades de las relaciones definidas en un conjunto ……………………… 44
Relación de equivalencia ……………………………………………………………………. 48
Clases de equivalencia – Conjunto cociente ……………………………………………… 49
Partición de un Conjunto no vacío ………………………………………………………….. 49
Teorema Fundamental de las relaciones de equivalencias ……………………………… 49
Partición y relación de equivalencia ……………………………………………………….. 51
Relación de orden …………………………………………………………………………… 52
Relación de orden amplio …………………………………………………………………… 52
Relación de orden estricto …………………………………………………………………… 53
Relación de orden parcial …………………………………………………………………… 53
Relación de orden total ……………………………………………………………………….. 53
Elementos distinguidos en una relación de orden ………………………………………… 53
Diagramas de Hasse ………………………………………………………………………… 55
Conjunto bien ordenado ……………………………………………………………………… 55
Trabajo Práctico Nº 3 ………………………………………………………………………… 55
Capítulo IV – Funciones …………………………………………………………………… 58
Función: Definiciones- Dominio y Codominio, Imagen …………………………………… 59
Representaciones gráficas de una función ………………………………………………… 60
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez -1-
PRÓLOGO
A
tendiendo las necesidades de los alumnos del 1º año del Profesorado en Matemática
del Instituto de Estudios Superiores de Andalgalá de poder contar con un material
didáctico que le sirva como apoyo en el aprendizaje del Álgebra I (Álgebra Moderna),
es que se presenta este apunte como parte integrante de un compendio de utilidades
ofrecidas en el sitio Web de la cátedra en la dirección www.algebramoderna.webatu.com,
en el que desarrolla la mayoría de los contenidos de este espacio curricular.
Indudablemente este apunte, es acorde a los lineamientos curriculares oficiales e inicia
con la Lógica Proposicional, para seguir con la Teoría Conjuntista y continuar con
Relaciones Binarias, Funciones, Inducción Completa y Divisibilidad, Análisis Combinatorio y
Estructuras Algebraicas.
Espero que este elemento didáctico pueda llegar al alumno de la mejor forma posible y
le sea útil para el aprendizaje del Álgebra I, base de otros espacios curriculares como
Álgebra II, Análisis Matemático, Estadística, Probabilidad, Geometría, Elemento de
Programación Científica, etc.
UN POCO DE HISTORIA
El matemático británico George Boole (1815 – 1864) publicó en 1845 un libro titulado
“Investigaciones sobre las leyes del pensamiento” quien contribuyó como base para el
desarrollo de la teoría conjuntista. Más tarde George Cantor (1843 – 1918) fundó la Teoría
Conjuntista propiamente dicha.
Ahora, la teoría de números es una de las ramas más viejas de la matemática. Los
libros “Elementos” de Euclides. Este matemático vivió alrededor del año 300 años antes de
Cristo. A este autor se le debe el algoritmo de las divisiones sucesivas para obtener el
máximo común divisor de dos números.
Alrededor de 300 años después de Cristo, Diofanto de Alejandría escribió una obra de
13 libros titulada “Aritmética” de las que sólo se conservan seis. En esta obra aparece por
primera vez la notación simbólica para describir incógnitas y las expresiones polinómicas.
Años más tarde Pierre Fermat (1601 – 1665), contribuyó al desarrollo de la teoría de
números y tuvo influencia en el análisis, como lo reconociera Newton 50 años más tarde,
manejando la geometría analítica o de coordenadas que también fue estudiada por
Descartes y Pascal.
Fueron numerosos los matemáticos que siguieron el desarrollo de los números entre
los que se puede nombrar Leonhard Euler (1707 – 1783), Adrien – Marie Legendre (1752 –
1833), Kart Friedrich Gauss (1777 – 1855).
Por otro lado el estudio de las estructuras algebraicas se la debe en un inicio a Joseph
Louis Lagrange (1736 – 1813), a Paolo Ruffini (1765 – 1822), Niels Henrik Abel (1802 –
1829) entre otros.
Por último, Pascal, Fermat, Tartaglia (1500 – 1557), trabajó en las teoría de las
probabilidades donde se aplica la combinatoria. Pero fue Isaac Newton, nacido en la
navidad de 1642, quien tuvo su primer trabajo matemático en el desarrollo del binomio que
lleva su nombre.
BIBLOGRAFÍA DE CONSULTA
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez -2-
CAPÍTULO I
LÓGICA PROPOSICIONAL
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez -3-
LA LÓGICA
La Lógica es la ciencia que estudia los modos y formas de raciocinio. La lógica es una ciencia
auxiliar de la Matemática, pues ayuda a comprenderla, razonarla, etc.
Para iniciar los estudios de la lógica, es necesario analizar oraciones particulares de las
cuales se pueden decir que son VERDADERAS O FALSAS y reciben el nombre de proposiciones.-
Por ejemplo:
El número 5 es un número natural
Toda proposición es representada por las últimas letras minúsculas del abecedario:
p, q, r, s, t, w
CONECTIVOS LOGICOS
Se denominan conectivos lógicos, a símbolos que permiten formar proposiciones con otras
proposiciones. Estos son:
Conectivo Nombre
∼ó- NO
∨ O INCLUYENTE
∧ Y
⇒ ENTONCES O IMPLICA
⇔ SÍ Y SOLO SÍ
∨ O EXCLUYENTE
Estos conectivos lógicos tienen una jerarquía en las operaciones, esta es: el NO en primer
lugar, luego el O INCLUYENTE y el Y, luego el IMPLICA, le sigue el SÍ Y SOLO SÍ y por último el O
EXCLUYENTE.-
Una proposición se dice que es simple si no está afectada por conectivos lógicos; caso
contrario, se dice que es compuesta.
Proposición simple: p
Proposición compuesta: p⇔q
OPERACIONES PROPOSICIONALES
LA NEGACIÓN
p ∼p
V F
F V
Esta tabla proviene de hacer un análisis simple de una proposición cualquiera, por ejemplo:
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez -4-
Antes de armar esta tabla de valores de verdad, debemos saber cómo se obtiene la cantidad
de valores de verdad de la proposición dada: para ello se recurre al análisis combinatorio, y
concluimos que los valores de verdad se repiten y no interesa el orden, por lo tanto estamos en
presencia de un arreglo con repetición de n elementos tomados de 2 en 2, o sea:
p q p∨q
V V V
V F V
F V V
F F F
Como este “o” es incluyente, lo que significa que LA VERDAD se dará cuando realice al
menos una de las acciones. Se tiene que la primera línea es VERDADERA porque estoy
ESTUDIANDO Y VIENDO TV; la segunda línea es VERDADERA ya que si bien no veo TV pero estoy
ESTUDIANDO; la tercera línea es similar a la anterior y en la cuarta línea se tiene QUE NO ESTOY
REALIZANDO NINGUNA DE LAS DOS ACCIONES, por lo tanto es FALSA.-
Como conclusión se puede decir que la disyunción es verdadera si al menos unos de
los disyuntivos también lo es.-
p q p∧q
V V V
V F F
F V F
F F F
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez -5-
El “y” nos está indicando que la proposición será VERDADERA si ambas acciones se
cumplen. Se tiene que la primera línea es VERDADERA porque estoy ESTUDIANDO Y VIENDO TV;
la segunda línea es FALSA ya que no veo TV aunque esté ESTUDIANDO; la tercera línea es similar
a la anterior y en la cuarta línea se tiene QUE NO ESTOY REALIZANDO NINGUNA DE LAS DOS
ACCIONES, por lo tanto es FALSA.-
Como conclusión se puede decir que la conjunción es verdadera si ambos conjuntivos
también lo son.-
LA IMPLICACIÓN O CONDICIONAL
p q p ⇒q
V V V
V F F
F V V
F F V
p: apruebo
q: te presto el libro
p q p⇔q
V V V
V F F
F V F
F F V
p: te presto el libro
q: apruebo
Nuestra proposición será: te presto el libro SI Y SOLO SI apruebo
La VERDAD de esta proposición se basa en el compromiso doble que existe, o sea que el
préstamo del libro se basa en la aprobación solamente, lo que queda excluido el hecho de no
aprobar, por lo tanto en la primera línea aprobé y le presté el libro, lo que es VERDADERA; en la
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez -6-
segunda línea aprobé y no le presté el libro, lo indica que rompí el compromiso, por lo tanto es
FALSA, en la tercera fila no aprobé y le presté el libro, lo que es FALSA ya que el hecho de no
aprobar también está en el compromiso; y la cuarta línea es VERDADERA, ya que no aprobé y no le
presté el libro.-
Como conclusión se puede decir que la bicondicional es VERDADERO cuando ambas
proposiciones que lo componen son de igual valor de verdad.
LA DIFERENCIA SIMÉTRICA
p q p∨q
V V F
V F V
F V V
F F F
La explicación de esta tabla de valores de verdad se basa en que este “o” es en sentido
excluyente, lo que significa que se puede dar “una o bien la otra” acción.-
Como conclusión se puede decir que la diferencia simétrica es VERDADERA, si ambas
proposiciones que la componen tienen distinto valor de verdad.-
p q - (p ∧ q) ⇔ -p v -q
V V F V V F F F
V F V F V F V V
F V V F V V V F
F F V F V V V V
p q p∧q ⇔ -p v -q
V V V F F F F
V F F F F V V
F V F F V V F
F F F F V V V
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez -7-
LEYES LOGICAS
Se llaman leyes lógicas a todas aquellas proposiciones que son verdaderas.
1. INVOLUCIÓN
La negación de la negación de una proposición es equivalente a la misma proposición.
-(-p) ⇔ p
Demostramos esta ley usando la tabla de valores de verdad:
p - (-p) ⇔ p
V V F V V
F F V V F
2. LA IDEMPOTENCIA
De la disyunción: La disyunción de una misma proposición, es equivalente a la misma
proposición, o sea:
pvp⇔p
P (p v p) ⇔ p
V V V V
F F V F
p (p ∧ p) ⇔ p
V V V V
F F V F
3. ASOCIATIVIDAD
La disyunción y la conjunción son asociativas. O sea que:
(p v q) v r ⇔ p v (q v r)
Para armar esta tabla se debe tener en cuenta que las proposiciones simples son tres, por lo
tanto tendrán 8 valores por cada proposición dispuestas de la siguiente forma:
p q r (p v q) vr ⇔ p v (q v r)
V V V V V V V V
V V F V V V V V
V F V V V V V V
V F F V V V V F
F V V V V V V V
F V F V V V V V
F F V F V V V V
F F F F F V F F
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez -8-
(p ∧ q) ∧ r ⇔ p ∧ (q ∧ r)
Para armar esta tabla se debe tener en cuenta que las proposiciones simples son tres, por lo
tanto tendrán 8 valores por cada proposición dispuestas de la siguiente forma:
p q r (p ∧ q) ∧r ⇔ p∧ (q ∧ r)
V V V V V V V V
V V F V F V F F
V F V F F V F F
V F F F F V F F
F V V F F V F V
F V F F F V F F
F F V F F V F F
F F F F F V F F
4. CONMUTATIVIDAD
pvq⇔qvp
p q pvq ⇔ qvp
V V V V V
V F V V V
F V V V V
F F F V F
p∧q⇔q∧p
p q p∧q ⇔ q∧p
V V V V V
V F F V F
F V F V F
F F F V F
5. DISTRIBUTIVIDAD
p q r (p ∨ q) ∧ r ⇔ (p ∧ r) v (q ∧ r)
V V V V V V V V V
V V F V F V F F F
V F V V V V V V F
V F F V F V F F F
F V V V V V F V V
F V F V F V F F F
F F V F F V F F F
F F F F F V F F F
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez -9-
p q r (p ∧ q) v r ⇔ (p v r) ∧ (q v r)
V V V V V V V V V
V V F V V V V V V
V F V F V V V V V
V F F F F V V F F
F V V F V V V V V
F V F F F V F F V
F F V F V V V V V
F F F F F V F F F
6. IMPLICACIONES ASOCIADAS
p ⇒ q Implicación Directa
q ⇒ p Implicación Recíproca
-p ⇒ -q Implicación Contraria
-q ⇒ -p Implicación Contra – recíproca
C C
O O
N N
T T
R R
A CONTRA - RECÍPROCAS A
R R
I I
A A
S S
-p ⇒ -q RECÍPROCAS -q ⇒ -p
p ⇒ q ⇔ -q ⇒ -p
Demostramos esta ley lógica usando una tabla de valores de verdad:
p q p ⇒ q ⇔ -q ⇒ -p
V V V V F V F
V F F V V F F
F V V V F V V
F F V V V V V
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 10 -
p ⇔ q ⇔ (p ⇒ q) ∧ (q ⇒ p)
p q (p⇔q) ⇔ (p ⇒ q) ∧ (q ⇒ p)
V V V V V V V
V F F V F F V
F V F V V F F
F F V V V V V
p ∨ q ⇔ -(p ⇔ q)
p q p∨q ⇔ - (p ⇔ q)
V V F V F V
V F V V V F
F V V V V F
F F F V F V
-(p ∧ q) ⇔ -p ∨ -q
p q - (p ∧ q) ⇔ -p ∨ -q
V V F V V F F F
V F V F V F V V
F V V F V V V F
F F V F V V V V
-(p ∨ q) ⇔ -p ∧ -q
p q - (p ∨ q) ⇔ -p ∧ -q
V V F V V F F F
V F F V V F F V
F V F V V V F F
F F V F V V V V
10. NEGACION DE UNA IMPLICACIÓN
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 11 -
p q - (p ⇒ q) ⇔ - ( - p ∨q)
V V F V V F F V
V F V F V V F F
F V F V V F V V
F F F V V F V V
-(p ⇒ q) ⇔ p ∧ -q
O sea que se puede decir que la negación de una implicación también es equivalente a la
conjunción del antecedente y la negación de consecuente.
Ahora negando la negación de la implicación queda:
p ⇒ q ⇔ -p ∨ q
p ⇒ q ⇔ -(p ∧ -q)
CIRCUITOS LÓGICOS
Haciendo un análisis con las tablas de valores de verdad de la conjunción y de la disyunción,
podemos compararlo con circuitos eléctricos, relacionando la VERDAD con la llegada de la corriente
al final de circuito. Cada proposición es un interruptor, y así tenemos:
CIRCUITO EN SERIE
Este circuito tiene la particularidad de que sobre una misma línea se encuentran los
interruptores, o sea que:
p q
p q p∧q
V V V
V F F
F V F
F F F
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 12 -
En la primera línea p y q son VERDADEROS, lo que significa los interruptores están cerrados o sea
que pasa la corriente por los dos. O sea que:
p q
V
En la segunda línea p es VERDADERO y q FALSO, lo que significa que la corriente pasa hasta antes
de q. O sea que:
p q
En la tercera línea p es FALSO y q VERDADERO, lo que significa que la corriente pasa hasta antes
de p. O sea que:
p q
F
En la cuarta línea p es FALSO y q FALSO, lo que significa que la corriente pasa hasta antes de p. O
sea que:
p q
CIRCUITO EN PARALELO
Este está formado por dos líneas que tienen el mismo principio y el mismo fin y con un
interruptor en cada línea.
p
Este circuito se relaciona con la disyunción teniendo en cuenta que la VERDAD de esta proposición
está basada en la llegada de la corriente al final del mismo. O sea:
p q p∨q
V V V
V F V
F V V
F F F
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 13 -
En la primera línea p y q son VERDADEROS, o sea que las llaves están cerradas y pasa la corriente
por las dos líneas del circuito:
En la segunda línea, p es VERDADERO y q FALSO, o sea que solamente la llave p está cerrada, lo
que deja pasar la corriente, o sea que:
En la tercera línea, p es FALSO y q es VERDADERO, lo que significa que la corriente pasa por q,
entonces la disyunción es VERDADERA, o sea:
q
En la cuarta línea, p y q son FALSOS, por lo que tanto las llaves p y q están abiertas, entonces la
disyunción es FALSA ya que no llega la corriente hasta el final del circuito. O sea:
Ahora, el problema está cuando debemos armar un circuito lógico de proposiciones que no
son disyunciones ni conjunciones ni negaciones. En estos casos, se deben aplicar propiedades hasta
la reducción a las mismas.-
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 14 -
Esta última proposición está formada por negaciones en las proposiciones simples,
conjunciones y disyunciones. Observamos que la operación principal es la disyunción, por lo tanto el
circuito será uno en paralelo, donde en cada una de las líneas de este último son conjunciones o
circuitos en serie. O sea que:
p -q
q -p
RAZONAMIENTOS DEDUCTIVOS
Se llama razonamiento al par ordenado ({pi},c), cuya primera componente es un conjunto
finito de proposiciones denominadas premisas, y la segunda componente es otra proposición
llamada conclusión.
Un razonamiento se dice que es deductivo, si la conclusión es evidencia de los valores de
verdad de las premisas.
Un razonamiento también se lo expresa como una implicación, cuyo antecedente es la
conjunción de las premisas, y la conclusión es el consecuente. O sea:
p1 ∧ p2 ∧ p3 ∧ ... ∧ p4 ⇒ c
Teniendo en cuenta que la conjunción es verdadera cuando los conjuntivos también lo son, y
además, que la implicación es falsa cuando el antecedente es verdadero y el consecuente es falso,
se tiene sólo tres posibilidades donde la conclusión es evidencia de la verdad de las premisas:
p1 ∧ p2 ∧ p3 ∧ ... ∧ p4 ⇒ c
V V V
V F F
F V V
F V F
p1
p2
p3
...........
pn
________
c
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 15 -
LEYES DE INFERENCIAS:
p⇒q
p
______
q
Se demuestra fácilmente usando una tabla de valores de verdad:
p q (p ⇒ q) ∧p ⇒ q
V V V V V
V F F F V
F V V F V
F F V F V
p⇒q
-q
______
-p
p q (p ⇒ q) ∧ -q ⇒ -p
V V V F F V F
V F F F V V F
F V V F F V V
F F V V V V V
Ley del silogismo disyuntivo: si en un razonamiento se tiene una disyunción y la negación de uno
de los disyuntivos, se obtiene como conclusión el otro disyuntivo. O sea que:
p∨q p∨q
-p -q
______ ______
q p
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 16 -
p q r (p ⇒ q) ∧ (q ⇒r) ⇒ (p⇒r)
V V V V V V V V
V V F V F F V F
V F V F F V V V
V F F F F V V F
F V V V V V V V
F V F V F F V V
F F V V V V V V
F F F V V V V V
Para determinar la validez de una razonamiento, se deben enumerar las premisas, aplicar
leyes a fin de reducir el razonamiento colocando a la derecha de la nueva estructura, la procedencia y
la justificación. Cuando ya no se pueda reducir más, se debe tener en cuenta que un razonamiento
deductivo es válido NO ES POSIBLES QUE DE PREMISAS VERDADERAS SE OBTENGA UNA
CONCLUSIÓN FALSA.-
Esto significa que se toman todas las premisas VERDADERAS, y se debe concluir en la
conclusión VERDADERA. Por ejemplo:
1) t 1 y 3 LSD
2) t⇒s
s
Este último da como conclusión “s” por la Ley de Modus Ponens. Pero de todas maneras,
analizamos este razonamiento teniendo en cuenta que las premisas son verdaderas, y en particular t,
y t⇒s. Entonces lo único que queda es que s también lo sea, por lo tanto de premisas verdaderas,
obtuvimos conclusión verdadera, lo que significa que el Razonamiento Deductivo es VALIDO.-
Nota: Se aclara que LSH es Ley del Silogismo Hipotético. LMT es Ley de Modus Tolens. Y LSD es
Ley del Silogismo Disyuntivo.
TEOREMA
Un teorema es un esquema válido de razonamiento. Todo teorema tiene tres partes:
HIPÓTESIS, que está compuesta por proposiciones verdaderas o premisas, la TESIS o conclusión,
que es lo que se quiere demostrar, y la DEMOSTRACIÓN que son pasos lógicos que se siguen para
poder demostrar la TESIS. En conclusión, un teorema es una verdad no evidente pero si
demostrable.-
El siguiente teorema lo vamos a demostrar utilizando el método deductivo, o sea que
utilizaremos proposiciones verdaderas, y trataremos de llegar a una conclusión verdadera.
HIPÓTESIS
Δ
Sea el triángulo a bc
TESIS
∧ ∧ ∧
a + b + c = 180 º
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 17 -
DEMOSTRACIÓN
b
A a’ c’
a c∧ ∧ ∧ ∧ ∧ ∧ ∧
Analizando el dibujo, nos damos cuenta que a '+ b + c ' = 180 º , pero como a' = a y b' = b por ser
∧ ∧ ∧
alternos internos entre las paralelas ab y A , entonces a + b + c = 180 º
RAZONAMIENTO INDUCTIVO
Un razonamiento se dice que es inductivo, cuando partiendo de casos particulares, se puede
llegar a la conclusión en forma general.-
HIPÓTESIS
TESIS
a+b=b+a
DEMOSTRACIÓN
REDUCCIÓN AL ABSURDO
Este método de demostración, se basa en que las implicaciones contra - recíprocas son
equivalentes; o sea que p⇒q ⇔ -q⇒-p, que sería lo mismo que H⇒T ⇔ -T⇒-H, lo que significa que
partiendo de la negación de la tesis y llegando a la negación de la hipótesis (absurdo, ya que la
hipótesis siempre es verdadera) demuestra la verdad de hipótesis implica tesis. Podemos demostrar
la propiedad de los ángulos interiores de un triángulo por este método:
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 18 -
HIPÓTESIS
Δ
Sea el triángulo a bc
TESIS
∧ ∧ ∧
a + b + c = 180 º
DEMOSTRACIÓN
b
A a’ c’
a c ∧ ∧ ∧ ∧
Negamos la tesis, o sea que aˆ + bˆ + cˆ ≠ 180º , y como a' = a y b' = b por ser alternos internos
∧ ∧ ∧
entre las paralelas ab y A , entonces a '+ b + c ' ≠ 180 º , lo que nos indica que A no es una recta,
Δ
entonces tampoco abc es un triángulo (lo contrario a la hipótesis) lo que es un absurdo.
Y teniendo en cuenta las implicaciones contra - recíprocas, H⇒T es verdadera.
LA FUNCIÓN PROPOSICIONAL
Se llama función proposicional, a todo predicado u objeto directo que está ligado a una
variable, y que para un valor de dicha variable, la oración se transforma en una proposición
Por ejemplo:
LOS CUANTIFICADORES
Para poder trabajar con las funciones proposicionales se utilizan los cuantificadores, o sea
que se cuantifica la función proposicional. Los cuantificadores son dos: el cuantificador universal y el
cuantificador existencial:
Cuantificador Universal: ∀x: “para todo equis se verifica”
Cuantificador Existencial: ∃x/ “Existe equis tal que”
Una función proposicional que está afectada por un cuantificador se puede decir que es Verdadera o
Falsa; por ejemplo
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 19 -
NEGACIÓN DE UN CUANTIFICADOR
Dentro del trabajo de la lógica cuantificacional, lo importante es poder negar un cuantificador:
Para poder llegar a entender la negación del cuantificador universal, se debe recurrir a un
ejemplo:
.
∀x : x ≠ 2 ∀x:P(x)
.
− ∀x : x ≠ 2 -∀x:P(x)
.
∃x / x = 2 ∃x/-P(x)
-∀x:P(x) ⇔ ∃x/-P(x)
Al igual que el anterior, para poder llegar a entender la negación del cuantificador existencial,
se debe recurrir a un ejemplo:
.
∃x / x ≠ 2 ∃x/P(x)
.
− ∃x / x ≠ 2 -∃x/P(x)
.
∀x : x = 2 ∀x:-P(x)
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 20 -
-∃x/P(x) ⇔ ∀x:-P(x)
Por ejemplo:
P(x,y)= x+y=0
∀x,∃y/x+y=0
Negando el cuantificador queda:
TRABAJO PRÁCTICO Nº 1
1) Construir la tabla de verdad de cada uno de las siguientes proposiciones:
a) (p ∧ q) ∨ r ⇒ s b) (p∨ q)⇔ (r ∨ q)
c) [(p ⇒ q) ∧ (s ⇔ q) ]∨ r d) p ∧ (q ∨ r)
e) p ⇒ [q ∧ (s ∨ r)] f) [p ∧ (r ∨ s)] ⇒ (p ∧ q)
a) p∧q b) -p
p r∧s
p⇒s p⇔q
-p ∨ q -q ∨ s
-(p ∧ r) q ⇒ -p
s ⇒ -r ______
______ p
-r
d) -(p ∨ q) ∧ s e) (r ∧ s) ∨ p
p∨s -p ∨ q
p⇒q p⇒q
r∧s (q ∧ s) ⇒ r
p _________
___________ r
p
f) r∨s g) - q ⇒ -r
p⇒r p∧s
s∧q r
- q ⇒ -r t⇒q
r ________
q⇒t q
____________
t
h) -p⇒-q i) p∨q
r∧s r∧s
p⇒r r∧q
q∨r q⇒p
___________ q
r __________
q⇔s
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 21 -
4) Escribir en forma simbólica las siguientes proposiciones, negarlas y luego retraducirlas al lenguaje
coloquial:
a) Teorema de Pitágoras:
“En todo triángulo rectángulo, el cuadrado de la hipotenusa es igual a la suma del cuadrado de los
catetos”
8) Reescriba los siguientes enunciados en lenguaje natural como fórmulas del cálculo proposicional
clásico:
a) Si M es negativo entonces Q es negativo. Si P es positivo, entonces Q es negativo. Por lo
tanto, si M es negativo o P es positivo, luego Q es negativo.
b) Si M es negativo entonces Q es negativo. Si P es positivo, entonces Q es negativo. Por lo
tanto, si M es negativo y P es positivo, luego Q es negativo.
c) Si miro al cielo y estoy alerta entonces o veré un plato volador o si no estoy alerta, no veré un
plato volador.
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 22 -
CAPÍTULO II
LA TEORÍA CONJUNTISTA
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 23 -
Símbolo Significado
∈ Pertenece
-(∈) ó ∉ No pertenece
⊂ Incluido en
⊃ Incluye a
∪ Unión
∩ Intersección
X Por (Producto cartesiano)
- Menos
∅ Conjunto vacío
∴ Luego
(a,b) Par ordenado “a” “b”
> Mayor que
≥ Mayor o igual que
< Menor que
≤ Menor o igual que
a⏐b “a” divide a “b”
∀x: Para todo x se verifica
∃x/ Existe x tal que
U Conjunto universal
Ν Conjunto de los números naturales
Ζ Conjunto de los números enteros
Q Conjunto de los números racionales
R Conjunto de los números reales
C Conjunto de los números complejos
Para poder abordar la teoría conjuntista, debemos tener presente tres conceptos
fundamentales: conjuntos elemento y pertenencia, los cuales son conceptos primitivos.
Todo conjunto se lo designa con una letra mayúscula, por ejemplo A, B, C, etc. Y los
elementos con una letra minúscula, por ejemplo a, b, c, etc. Ahora, la relación que existe entre
elemento y conjunto es el de pertenencia, y se usa el símbolo “∈”.
De un elemento a un conjunto se puede decir que pertenece, y se denota:
Los conjuntos se pueden definir de dos formas: enumerando sus elementos (definido por
extensión), o enunciando una propiedad que caracteriza solamente a esos elementos (definido por
comprensión). Por ejemplo:
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 24 -
CONJUNTOS ESPECIALES
CONJUNTO VACÍO
φ={}
Definido por comprensión:
φ = {x/x≠x} se elige esta forma ya que no existe ningún elemento que sea distinto consigo
mismo
CONJUNTO UNITARIO
CONJUNTO UNIVERSAL
El conjunto universal es el conjunto formado por todos los elementos de los cuales se está
hablando. Se lo simboliza con “U”.-
CARDINAL DE UN CONJUNTO
Definición
Por ejemplo:
A={-1,0,1, 2, 3, 4,7,9} ⇒ #A = 8
Los conjuntos numéricos se fueron creando por la necesidad de solucionar problemas con las
operaciones algebraicas.
Con el uso de los números naturales se llegó a la conclusión de que no se podían resolver
diferencias donde el minuendo sea menor que el sustraendo, entonces ante el planteamiento de a – b
donde a < b se crearon los números negativos que unidos con los naturales dieron origen a los
números enteros.-
Por otro lado también con los enteros se podía multiplicar y dividir si el dividendo era múltiplo
del divisor.
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 25 -
7
7:2 =
2
Los números reales R
Pero no todos los números se los puede expresar como fracción, y así lo determinó Pitágoras
cuando al aplicar su teorema en un triángulo rectángulo de catetos igual a 1 se descubrió:
H = 12 + 12 = 2.
Todo aquel número que no se los puede expresar como fracción se denominan irracionales
que unidos con los racionales dieron origen a los números reales.-
Pero no todas las operaciones se pueden resolver en los números reales, ya que no tiene
solución las raíces de índice par y radicando negativo, entonces se crearon los números imaginarios,
que unidos a los reales dieron origen a los números complejos.-
Para resolver estas raíces se llegó a una convención donde −1 = i , o sea que por ejemplo:
− 4 = 4. − 1 = 2.i
Ahora, el valor de 4
− 16 = 4 16 .4 − 1 = 2. − 1 = 2. i
Pero, usando estos números y los reales podemos construir un nuevo conjunto numérico en
donde cada uno de ellos se forma con una parte real más una imaginaria, o sea:
a+b.i
Estos números se llaman números complejos, y el conjunto formado por ellos se denomina
conjunto de los complejos.-
DIAGRAMAS DE VENN
Los diagramas de Venn es una forma de representar gráficamente los conjuntos usando
figuras cerradas como circunferencias, triángulos, elipses, rectángulos, etc.
Por conveniencias se utiliza el rectángulo para graficar el conjunto universal, y las otras
figuras para cualquier otro conjunto:
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 26 -
Comparando los conjuntos podremos obtener una conclusión; esto es lo que se denomina
relaciones entre conjuntos.
INCLUSIÓN DE CONJUNTOS
Un conjunto está incluido en otro, sí y solo sí los elementos del primero también son del
segundo. Analíticamente:
A ⊂ B ⇔ x∈A ⇒ x∈ B
Propiedades de la Inclusión
Propiedad Reflexiva
Propiedad transitiva
Si un conjunto está incluido en otro, y este en un tercero, entonces el primero está incluido en
el tercero.-
A ⊂ B ∧ B ⊂ C ⇒ A⊂ C
Aplicando la definición de inclusión y la Ley del Silogismo Hipotético, se tiene:
IGUALDAD DE CONJUNTOS
Definición
Dos conjuntos son iguales cuando tienen exactamente los mismos elementos.
Ahora, para que dos conjuntos sean iguales es necesario que uno esté incluido en el otro y
viceversa, por lo tanto se tienen:
A=B⇔A⊂B ∧ B⊂A
La igualdad de conjuntos cumple con las tres propiedades de una relación, o sea que es
REFLEXIVA, SIMÉTRICA Y TRANSITIVA.
Propiedad Reflexiva
H) Sea el conjunto A
T) A = A
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 27 -
D) Como A ⊂ A ⇒ A ⊂ A ∧ A ⊂ A ⇒ A = A
Propiedad Simétrica
H) Sea A = B
T) B = A
D) Como A = B ⇒ A ⊂ B ∧ B ⊂ A ⇒ B ⊂ A ∧ A ⊂ B ⇒ B = A
H) Sea A = B ∧ B = C
T) A = C
D) Como
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
H) Sea el conjunto A
T) ∅ ⊂ A
D) Teniendo en cuenta la definición de inclusión y la definición de implicación, se tiene:
∅ ⊂ A ⇔ x∈∅ ⇒ x∈A
V V F V V
Esto es dado que x∈∅ es falso y x∈A, por lo consiguiente la implicación es verdadera, por lo tanto la
inclusión es verdadera.
Toda operación se caracteriza por tener un resultado. Las operaciones entre conjuntos dan
como resultado otros conjuntos.-
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 28 -
1. COMPLEMENTACIÓN
Sea el conjunto A. Se llama complemento del conjunto A, al conjunto formado por todos los
elementos del universal que no son de A.-
Simbólicamente:
AC = {x ∈ U/x ∉ A}
Decir que:
x ∈ AC ⇔ x ∉ A
A U
Todo lo rayado son los elementos del conjunto universal que no son de A
Propiedades de la Complementación
Involución
H) Sea el conjunto A
T) (AC)C = A
D) Partiendo de la definición de inclusión, otras formas de negar, e involución en la lógica, se
tiene
Gráficamente se demuestra:
A U A U
(AC)C A
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 29 -
Para el primer caso, lo que está rayado oblicuamente es el AC, y lo que está sombreado es
(AC)C
2. LA INTERSECCIÓN
Sean los conjuntos A y B, se llama intersección entre los conjuntos A y B al conjunto A∩B
formado por los elementos comunes. Lógicamente, hablar de elementos comunes, es hablar
de elementos que pertenecen a uno y al otro conjunto.-
O sea que:
A ∩ B = {x∈U/x∈A ∧ x∈B}
Ahora, decir que:
x∈ A∩B ⇔ x∈A ∧ x∈B
Gráficamente se tiene:
Idempotencia
H) Sea el conjunto A
T) A ∩ A = A
D) Aplicando la definición de intersección, la idempotencia de la conjunción y la definición de
igualdad, se tiene:
Asociatividad
La intersección es asociativa
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 30 -
Gráficamente es:
La conmutatividad
La intersección es conmutativa
Elemento neutro
H) Sea el conjunto A
T) A ∩ U = U ∩ A = A
D) Dado que el conjunto A⊂U ⇒ A ∩ U = U ∩ A = A
Elemento absorbente
H) Sea el conjunto A
T) A ∩ ∅ = A ∩ ∅= ∅
D) Dado que, por la caracterización del ∅, ∅⊂A ⇒ A ∩ ∅ = ∅ ∩ A = ∅
3. UNIÓN DE CONJUNTOS
Definición:
La unión de los conjuntos A y B es el conjunto A∪B formado por los elementos de A o
de B o de ambos. O sea que:
A ∪ B = {x∈U/x∈A ∨ x∈B}
Decir que:
x∈ A ∪ B ⇔ x∈A ∨ x∈B
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 31 -
Gráficamente:
Idempotencia
H) Sea el conjunto A
T) A ∪ A = A
D) Aplicando la definición de unión, la idempotencia de la disyunción y la definición de
igualdad, se tiene:
Asociatividad
La unión es asociativa
Gráficamente:
La conmutatividad
La unión es conmutativa
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 32 -
Elemento neutro
H) Sea el conjunto A
T) A ∪ ∅ = A ∪ ∅= A
D) Dado que, por la caracterización del ∅, ∅⊂A ⇒ A ∪ ∅ = ∅ ∪ A = A
Elemento absorbente
El elemento neutro de la unión es el conjunto universal
H) Sea el conjunto A
T) A ∪ U = U ∪ A = U
D) Dado que el conjunto A⊂U ⇒ A ∪ U = U ∪ A = U
Definición
A – B = {x∈U/x∈A ∧ x∉B}
Ahora, si:
x∈ A – B ⇔ x∈A ∧ x∉B
Corolario
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 33 -
OTRAS PROPIEDADES
Leyes Distributivas
Gráficamente:
Lo que está con gris en el primer caso es la unión, luego la intersección es lo que está con
negro.-
Para el segundo caso, la unión de las dos intersecciones es lo que está con negro.-
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 34 -
Leyes de De Morgan
De la intersección
De la unión
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 35 -
Gráficamente:
DIFERENCIA SIMÉTRICA
Definición
Simbólicamente:
A Δ B = (A – B) ∪ (B – A)
Ahora, teniendo en cuenta que A – B = A ∩ BC se tiene:
A Δ B = (A ∩ BC) ∪ (B ∩ AC)
Gráficamente:
Conmutatividad
A Δ B = (A – B) ∪ (B – A) = (B – A) ∪ (A – B) = B Δ A
Asociatividad
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 36 -
T) A Δ (B Δ C) = (A Δ B) Δ C
D) Para demostrar esta propiedad se lo debe hacer desarrollando ambos miembros de la
igualdad y comparar sus resultados.-
Es importante poder formar conjuntos cuyos elementos son otros conjuntos, es por eso, y
valiéndose de un conjunto y posibilidad que no dan sus elementos, podemos definir conjunto de
partes.
Definición
Sea el conjunto A, se llama conjunto de partes de A al conjunto P(A) formado por todos los
conjuntos que se pueden armar con los elementos de A.-
Simbólicamente:
P(A) ={X/X ⊂ A}
Dicho de otra forma:
X ∈ P(A) ⇔ X ⊂ A
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 37 -
Por ejemplo:
UNIONES DISJUNTAS
Cuando tenemos conjuntos disjuntos, o sea que no tienen elementos comunes, y se trata de
realizar una unión, estaremos en presencia de una unión disjunta.
A ∪ B = A + B siempre que A ∩ B = ∅
Ahora el problema está en expresar como una unión disjunta a una unión de cualquier
conjunto. Para ello recurriremos a un gráfico teniendo en cuenta los conjuntos A y B
Observando el gráfico, se obtuvo el conjunto A y lo grisáceo que son disjuntos. Ahora ¿cómo
será simbólicamente?
A ∪ B = A ∪ (B – A) = A ∪ (B ∩ AC) = A ∪ (AC ∩ B)
Por lo tanto podemos expresarlo como una unión disjunta, o sea que:
A ∪ (AC ∩ B) = A + (AC ∩ B)
A ∪ B = A + (AC ∩ B)
Que es lo que justamente se quería llegar, expresar cualquier unión como una unión disjunta.-
PAR ORDENADO
Sean los conjuntos {a} y {a, b}. Se llama par ordenado (a, b) al conjunto {{a}, {a,b}}
O sea que
PRODUCTO CARTESIANO
Definición
Sean los conjuntos A y B, se llama producto artesiano A X B al conjunto formado por todos
los pares ordenados cuyas primeras componentes son los elementos de A, y las segundas
componentes, los elementos de B.-
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 38 -
Simbólicamente es:
A X B = {(a,b)/a∈A ∧ b∈B}
Decir que:
Por ejemplo:
Como se puede observar, el número de elementos del producto cartesiano está dado por el producto
de la cantidad de elementos de A y de B.-
Ahora, también se puede trabajar con un solo conjunto, o sea hacer el producto
cartesiano (siendo “A” el conjunto) AXA=A2, por ejemplo:
A={1,2,3}
A2 = {(1,1)(1,2)(1,3)(2,1)(2,2)(2,3)(3,1)(3,2)(3,3)}
TRABAJO PRÁCTICO Nº 2
1) Dado los siguientes conjuntos, y teniendo en cuenta el Universal que figura a la par, definir los
mismos por comprensión:
a) A={0,1,2,3} U=Z b) B={-5,-4,-3,-2,-1,0, 1,2} U=Z
c) C={0,1,6,7,8} U=N d) D={9,10,16,17,22,23,24} U=N
2) Teniendo en cuenta el conjunto de los números Reales, se llama intervalo a un subconjunto del
mismo (Reales).-
El intervalo es abierto cuando no se encuentran en el subconjunto los extremos que figuran
en él. O sea:
(a, b) intervalo abierto, a y b ∉ (a, b)
El intervalo es cerrado si los extremos pertenecen a él. O sea:
[a, b] donde los extremos a y b ∈ [a, b]
Y por supuesto, los intervalos pueden ser semiabiertos.-
Ahora, sea el conjunto de los números reales, Definir los siguientes conjuntos por comprensión y
graficarlos en la recta numérica:
a) A=(-8, 1) b) B=[-4, 4) c) C=[100, 200] d) D= (0, 100]
4) Dadas las siguientes propiedades, demostrarlas en forma simbólica y gráfica, justificando los
razonamientos realizados:
a) A ∪ B = A ∪ (B - A) b) A - B = A - (A ∩ B)
c) (A ∪ B) - C = (A - C) ∪ (B - C) d) (A - B) - C = A - (B ∪ C)
e) A ∪ (B - C) = (A ∪ B) - (C -A) f) [A ∪ (B ∩ C)] – B = (A ∪ B) ∩ (A ∪ C) ∩ BC
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 39 -
b) Teniendo en cuenta que #(A ∪ B) = #(A) + #(B) - #(A ∩ B), demostrar que:
7) Dado un conjunto cualquiera A. Se llama conjunto de partes de A, al conjunto formado por todos
conjuntos que se pueden formar con los elementos del conjunto A. En símbolo:
P(A)={X/X⊂A}
En base a la definición anterior, determinar el conjunto de Partes de los siguientes conjuntos:
a) A = {1, 2, 3} b) B = {4,5,6,7,8}
c) C = { 0,5 ; 1; 1,5; 2} d) D = {a, b, c}
e) f)
g) h)
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 40 -
CAPÍTULO III
RELACIONES BINARIAS
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 41 -
RELACIONES BINARIAS
Al trabajar con conjuntos es imprescindible poder relacionarlos teniendo en cuanta la
veracidad de una proposición. Estas relaciones son las que estudiaremos en este apunte.
Definición
Por ejemplo:
En diagramas de Venn: se dibujan los dos conjuntos y se unen con flechas los elementos del
conjunto de partida que se relacionan con el de llegada. En nuestro ejemplo será:
A B
1. 5.
2.
3. 6.
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 42 -
Por último, también se puede graficar en el sistema matricial (de matrices), colocando al
conjunto de partida en forma vertical y al de llegada en forma horizontal. Luego en las intersecciones
cuyos pares pertenezcan a la relación se coloca el 1 y donde no, el 0. En nuestro caso será:
B
5 6
A
1 1 1
2 0 1
3 0 1
Relación inversa
Sea una relación R⊂ AXB. Se dice que la relación R-1 es la relación inversa de R, solamente
sí R ⊂ BXA.-
-1
COMPOSICIÓN DE RELACIONES
Dada dos relaciones: R⊂AXB y S⊂BXC. Se llama relación compuesta a la relación SoR⊂AXC
(R compuesto con S incluida en AXC) a la formada por los pares que tienen como primera
componente a las primeras componentes de los pares de R y como segunda componente a la
segundas de los pares de S, siempre que las segundas componentes de los pares de R sean primera
de los pares de S.
O sea que:
SoR = {(x,z) / (x,y) ∈R ∧(y,z) ∈S}
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 43 -
Gráficamente es:
Por ejemplo:
⎧1 1 ⎫
A = {1, 2, 3} B = {1,2,4} y C = ⎨ , , 2⎬
⎩2 4 ⎭
La relación R de AXB está formada por todos aquellos pares cuya segunda componente sean
el cuadrado de la primera.
La relación S de BXC está formada por todos aquellos pares cuya segunda componente sean
la mitad de la primera.
y
(x,y) ∈R⊂AXB ⇔ y=x2 ( y, z ) ∈ S ⊂ BXC ⇔ z =
2
AXB = {(1,1)(1,2)(1,4)(2,1)(2,2)(2,4)(3,1)(3,2)(3,4)}
R={(1,1)(2,4)}
⎧⎛ 1 ⎞⎛ 1 ⎞ ⎛ 1 ⎞⎛ 1 ⎞ ⎛ 1 ⎞⎛ 1 ⎞ ⎫
BXC = ⎨⎜1, ⎟⎜1, ⎟(1,2 )⎜ 2, ⎟⎜ 2, ⎟(2,2 )⎜ 4, ⎟⎜ 4, ⎟(4,2 )⎬
⎩⎝ 2 ⎠⎝ 4 ⎠ ⎝ 2 ⎠⎝ 4 ⎠ ⎝ 2 ⎠⎝ 4 ⎠ ⎭
⎧⎛ 1 ⎞ ⎫
S = ⎨⎜1, ⎟(4,2)⎬
⎩⎝ 2 ⎠ ⎭
⎧⎛ 1 ⎞ ⎫
SoR = ⎨⎜1, ⎟( 2,2)⎬
⎩⎝ 2 ⎠ ⎭
Partiendo de las definiciones, se tiene que la relación SoR de AXC, está formada por todos
aquellos pares cuya segunda componente sea la mitad del cuadrado de la primera.
x2
( x, z ) ∈ SoR ⊂ AXC ⇔ z =
2
⎧⎛ 1 ⎞⎛ 1 ⎞ ⎛ 1 ⎞⎛ 1 ⎞ ⎛ 1 ⎞⎛ 1 ⎞ ⎫
AXC = ⎨⎜1, ⎟⎜1, ⎟(1,2)⎜ 2, ⎟⎜ 2, ⎟(2,2 )⎜ 3, ⎟⎜ 3, ⎟(3,2 )⎬
⎩⎝ 2 ⎠⎝ 4 ⎠ ⎝ 2 ⎠⎝ 4 ⎠ ⎝ 2 ⎠⎝ 4 ⎠ ⎭
⎧⎛ 1 ⎞ ⎫
SoR = ⎨⎜1, ⎟( 2,2)⎬
⎩⎝ 2 ⎠ ⎭
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 44 -
Gráficamente queda:
Por ejemplo:
Sea A={1,2,3}
(x,y)∈R⊂A2 ⇔ x ≤ y
Analizando una relación y sus pares ordenados, puede o no cumplir con las siguientes
propiedades de las relaciones:
1. PROPIEDAD REFLEXIVA
Por ejemplo:
Si A = {1,2,3} y (x,y) ∈R⊂A2 ⇔ x ≤ y
R = {(1,1)(1,2)(1,3)(2,2)(2,3)(3,3)}
Los elementos de A son 1, 2 y 3, y en la relación están (1,1) (2,2) y (3,3), o sea que todos los
elementos de A determinan pares de componentes iguales en la relación, o sea que es
REFLEXIVA.-
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 45 -
2. PROPIEDAD NO REFLEXIVA
A2 = {(1,1)(1,2)(1,3)(2,1)(2,2)(2,3)(3,1)(3,2)(3,3)}
R = {(1,1)(1,3)(2,3)(3,3)}
En esta relación tenemos los pares de componentes iguales (1,1) y (3,3); pero los elementos
de A son el 1,2,3, lo que significa que algunos elementos de A determinan pares de
elementos iguales en la relación. O sea que R de A2 es No Reflexiva.-
3. PROPIEDAD ARREFLEXIVA
Por ejemplo:
Si A = {1,2,3} y (x,y) ∈R⊂A2 ⇔ x < y
A2 = {(1,1)(1,2)(1,3)(2,1)(2,2)(2,3)(3,1)(3,2)(3,3)}
R = {(1,2)(1,3)(2,3)}
4. PROPIEDAD SIMÉTRICA
Una relación definida en un conjunto es simétrica, si y sólo si todos los pares de la relación
determinan pares de componentes conmutadas en la relación. O sea:
Por ejemplo:
R = {(1,1)(1,3)(2,2)(3,1)(3,3)}
Observando esta relación que todos los pares tienen pares de componentes conmutadas en
la relación, por lo tanto es Simétrica.-
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 46 -
5. PROPIEDAD NO SIMÉTRICA
Por ejemplo:
R = {(1,3)(2,2)(3,3)}
Es no simétrica, pues está el (1,3) y no está el (3,1), lo que significa que es No simétrica.-
6. PROPIEDAD ASIMÉTRICA
Una relación es asimétrica si todos los pares de la relación no tienen pares de componentes
conmutadas en la relación. O sea que:
Por ejemplo:
R = {(1,2)(1,3)(2,3)}
En esta relación, todos los pares ordenados no tienen pares de componentes conmutadas en
la misma relación, por lo tanto es Asimétrica.-
7. PROPIEDAD TRANSITIVA
Una relación es transitiva solamente sí todos los pares cumplen que: eligiendo dos de ellos, la
segunda componente del primero, es primera componente del segundo, estos generan un tercer par
en la relación, cuya primera componente es la primera del primero, y la segunda es la segunda del
segundo. O sea:
Por ejemplo:
A2 = {(1,1)(1,2)(1,3)(2,1)(2,2)(2,3)(3,1)(3,2)(3,3)}
R = {(1,1)(1,3)(2,2)(3,1)(3,3)}
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 47 -
8. PROPIEDAD NO TRANSITIVA
Por ejemplo:
Si A = {1,2,3} y (x,y) ∈R⊂A2 ⇔ 3⏐x+y
A2 = {(1,1)(1,2)(1,3)(2,1)(2,2)(2,3)(3,1)(3,2)(3,3)}
R = {(1,2)(2,1)(3,3)}
Observamos que con el par (3,3) cumple la condición de transitividad, pero con los pares (1,2)
y (2,1) no, ya que el par (1,1) ∉R. Por lo tanto es No transitiva.-
9. PROPIEDAD ATRANSITIVA
Una relación es atransitiva, si ninguno de los pares de la relación cumplen con las
condiciones de la transitividad. O sea que:
Por ejemplo:
R = {(1,2)(2,1)}
Observamos esta relación que tiene sólo dos pares, y no existe el tercer par, por lo tanto
ninguno de los pares cumple con la condición de transitividad, o sea que es Atransitiva.-
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 48 -
Por ejemplo:
Si A = {1,2,3} y (x,y) ∈R⊂A2 ⇔ x≤y
R = {(1,1)(1,2)(1,3)(2,2)(2,3)(3,3)}
En esta relación, los únicos pares de componente conmutadas son aquellos que tienen las
mismas iguales, por lo tanto es Antisimétrica.-
RELACIÓN DE EQUIVALENCIA
Reflexiva:
Simétrica:
Transitiva:
Por ejemplo:
Probar que la siguiente relación es de equivalencia:
∼ = {(1,1)(1,3)(2,2)(3,1)(3,3)}
Transitiva ya que:
1∼1 ∧ 1∼1 ⇒ 1∼1 1∼1 ∧ 1∼3 ⇒ 1∼3 2∼2 ∧ 2∼2 ⇒ 2∼2 1∼3 ∧ 3∼1 ⇒ 1∼1
1∼3 ∧ 3∼3 ⇒ 1∼3 3∼1 ∧ 1∼1 ⇒ 3∼1 3∼1 ∧ 1∼3 ⇒ 3∼3 3∼3 ∧ 3∼3 ⇒ 3∼3
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 49 -
CLASES DE EQUIVALENCIA
∼⊂A2, ⇒ Km ={x∈A/x∼m}
Dicho de otra forma, x∈Km ⇔ x∼m
CONJUNTO COCIENTE
Se llama conjunto cociente al conjunto formado por todas las clases de equivalencias,
A
y se denota . O sea:
∼
= {K 1 , K 2 } = {{1,3}{2}}
A
∼
y el conjunto de índices es: I = {1,2}
Sea el conjunto A ≠ ∅, se dice que {Ki/i∈I} es una partición de A, si y sólo si se cumplen los
siguientes axiomas:
A1) Todo elemento del conjunto de índice determina un subconjunto de partición no vacío. O sea:
∀u: u∈I ⇒ Ku ≠ ∅
A2) Elementos distintos del conjunto de índice, determinan subconjuntos de partición disjuntos. O sea:
u≠v ⇒ Ku ∩ Kv = ∅
A3) Todos los elementos del conjunto A, pertenecen a algún subconjuntos de partición, lo que
significa que la partición cubre todo el conjunto. O sea:
∀a∈A,∃u∈I/ a ∈ Ku
Por ejemplo:
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 50 -
Sea una ∼ definida en un conjunto A≠∅, entonces existe un conjunto de índices I⊂ A, tal que todo u∈I
existe un Ku⊂A, siendo el conjunto de índices formado por un representante de cada clase, de tal
manera que cumpla con las siguientes proposiciones:
1º) Todo elemento del conjunto de índice, determina una clase no vacía.
2º) Dos elementos de A son equivalentes si y sólo si pertenece a una misma clase.
3º) Clases no disjuntas son iguales.
4º) Elementos distintos del conjunto de índice, determinan clases disjuntas.
5º) Todo elemento del conjunto A pertenece a alguna clase de equivalencia. O sea que, todas las
clases de equivalencias cubren a todo el conjunto A como una partición.
Hipótesis
Sea A≠∅,
Sea ∼⊂A2 ⇒ ∃I⊂ A/ ∀u∈I,∃ Ku⊂A,
Siendo I formado por un representante de cada clase,
Tesis
1º) ∀u:u∈I ⇒ Ku ≠∅
2º) a∼b ⇔ a∈Ku ∧ b∈Ku
3º) Ku ∩ Kv ≠ ∅ ⇒ Ku = Kv
4º) u≠v ⇒ Ku ∩ Kv = ∅
5º) ∀a∈A,∃u∈I/a∈Ku
Demostración
1º) Como A≠∅ ⇒ ∃a∈A. Pero por hipótesis, en A se define una relación de equivalencia, y en
particular es reflexiva ⇒ a∼a, y por definición de clase de equivalencia se tiene que a∈Ka.
Ahora, como I⊂A ⇒ u∈Ka ⇒ u∼a ⇒ a∼u ⇒ a∈Ku ⇒ Ku≠∅.
2º) Para poder demostrar esta proposición, debemos desdoblar la doble implicación. O sea:
a) a∼b ⇒ a∈Ku ∧ b∈Ku
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 51 -
3º) Esta proposición se demuestra teniendo en cuenta la definición de igualdad de conjuntos, o sea
Ku = Kv ⇔ Ku ⊂ Kv ∧ Kv ⊂ Ku
Propiedad
Sea {Ku / u∈I} una partición del conjunto A. Entonces queda inducida una relación de equivalencia en
A.-
Hipótesis
Sea A≠∅
Sea {Ku / u∈I} una partición de A
Tesis
Demostración
Para poder demostrar esta propiedad, primero debemos definir una relación diciendo que “un par
ordenado pertenece a la relación, si ambas componentes pertenece a uno mismo conjunto de
partición. O sea:
(x,y) ∈ R ⇔ x∈ Ku ∧ y ∈ Ku (A)
Reflexividad
Simetría
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 52 -
Transitividad
Por ejemplo:
Determinar la relación de equivalencia definida en A={1,2,3,4} teniendo en cuenta la partición de A
{{1}{2,3}{4}}.-
1∼1 ∧ 2∼2 ∧ 2∼3 ∧ 3∼2 ∧ 3∼3 ∧ 4∼4, lo que nos da la relación de equivalencia como:
∼ = {(1,1)(2,2)(2,3)(3,2)(3,3)(4,4)}
y el conjunto de índices es:
I={1,2,4}
RELACIÓN DE ORDEN
Al tener un conjunto numérico, es importante analizar si está ordenado o no. Para eso se
trabaja con una relación denominada de orden. Antes de poder definir esta relación, definiremos
preceder teniendo en cuenta que:
Un número precede a otro si y sólo si, el par formado por esos elementos pertenecen a la relación. O
sea:
x 〈 y ⇔ (x,y) ∈ R ⊂ A2
〈 : signo preceder
Ahora, las relaciones pueden ser de orden amplio o estricto, y en cada una de estas se dividen en
orden amplio parcial o total, y de orden estricto parcial o total. O sea:
⎧ ⎧Parcial
⎪ Amplio⎨
⎪ ⎩ Total
Relación de Orden ⎨
⎪Estricto ⎧⎨Parcial
⎪⎩ ⎩ Total
Relación de orden amplio
Una relación es de orden amplio si es reflexiva, antisimétrica y transitiva. O sea que sea R⊂A2 es de
orden amplio si es:
Reflexiva:
∀x:x∈A ⇒ x 〈 x
Antisimétrica:
∀x, ∀y: x 〈 y ∧ y 〈 x ⇒ x = y
Transitiva:
∀x,∀y,∀z: x 〈 y ∧ y 〈 z ⇒ x 〈 z
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 53 -
Arreflexiva:
∀x:x∈A ⇒ ∼(y 〈 x)
Asimétrica
∀x,∀y: x 〈 y ⇒ ∼(y 〈 x)
Transitiva:
∀x,∀y,∀z: x 〈 y ∧ y 〈 z ⇒ x 〈 z
Una relación de orden es parcial, si algunos elementos del conjunto no preceden a otro del mismo
conjunto. O sea:
Una relación es de orden total si todos los elementos del conjunto se ordenan por la relación definida
en él. O sea:
Último elemento
Elementos maximales
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 54 -
Cotas inferiores
El objeto a ∈ A es una cota inferior del subconjunto X⊂A, si y sólo si precede a todo elemento
de X
El objeto b ∈ A es una cota superior del subconjunto X⊂A, si y sólo si sigue a todo elemento
de X
Las tres primeras nos están indicando que esta relación es de orden amplio y la última nos
indica que es de orden total.-
Como el intervalo es abierto, entonces no tiene primer ni último elemento. Por otro lado no
existen elementos minimales ni maximales, pero hay infinitas cotas inferiores ya que son todos
aquellos reales menores o iguales a –1. de igual forma, existen infinitas cotas superiores, y son
aquellos reales mayores o iguales a 1. No tiene ni ínfimo ni supremo, ya que tendrían que ser el –1 y
el 1 respectivamente, pero no pertenecen al intervalo.-
Ejemplo:
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 55 -
Ahora, como no existe en A un elemento que sea divisor de todos los demás entonces carece
de primer elemento, pero tiene último elemento y es el 36 ya que es divisible por todos los anteriores.
Este también es el elemento maximal, y como el 2 y el 3 dividen a los que los siguen, son los
elementos minimales. Con respecto a las cotas inferiores, no existen, pero la superior es el 36 y
también es el supremo.-
DIAGRAMAS DE HASSE
Un conjunto está bien ordenado por una relación de orden, si y solo si está totalmente
ordenado, y además todo subconjunto no vacío tiene primer elemento.-
TRABAJO PRÁCTICO Nº 3
1.) Dada los conjuntos siguientes, realizar la relación correspondiente, determinar el dominio e
imagen de dicha relación, relación inversa y graficarlas en sus tres tipos:
a) A={1, 2, 3} B={x∈N/2≤x≤5}
(x,y) ∈ R ⊂ A X B ⇔ x|y
(x,y) ∈ R ⊂ A X B ⇔ 2|x + y
c) A= {a, b, c, d, e} B={1, 2, 3}
(x,y) ∈ R ⊂ A X B ⇔ x es vocal
(x,y) ∈ R ⊂ A X B ⇔ y = x2
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 56 -
y
(x,y) ∈ R ⊂ A X B ⇔ y= x2 (y,z) ∈ S ⊂ B X C ⇔ z = 2
Se pide:
3. Sea los siguientes conjuntos, determinar la relación, clasificarla, determinar el dominio e imagen y
graficarla en las tres formas:
(x,y) ∼ (x’,y’) ⇔ y = y’
Probar que es de equivalencia, determinar las clases de equivalencia, un conjunto de índices y
el conjunto cociente.-
5. Dado los siguientes conjuntos, probar la relación de equivalencia, determinar las clases de
equivalencias y el conjunto cociente:
a) A= {1, 2, 3} x∼y ⇔ x≤ y
b) A= {4, 5, 6, 7} a∼b ⇔2|a - b
c) C= {x ∈ Z/ 2|x ∧ -4≤ x ≤7} x∼y ⇔ 2|x + y
7. En R se define:
x∼y ⇔ |x - 1| = |y - 1|
probar que es de equivalencia
8. En R se define:
x∼y ⇔ x2 - x = y2 - y
probar que es de equivalencia
9. En [-1, 1] ⊂ R se define:
x∼y ⇔ x2 = y2
probar que es de equivalencia.-
10. Sea el conjunto A = {1, 2, 3, 4, 5} y se considera la relación menor o igual. Obtener los elementos
maximales y minimales, como así también las cotas superiores e inferiores del subconjunto {2, 3}.-
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 57 -
1
A = {x ∈ R/ x = ∧ n ∈ N}
n
investigar si A tiene primero y último elemento, si está bien ordenado y si admite cotas, ínfimo
y/o supremo.-
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 58 -
CAPÍTULO IV
FUNCIONES
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 59 -
FUNCIONES
Definición
Sean los conjuntos A y B, se llama función a toda relación de A X B donde a cada elemento del
conjunto A se lo relaciona con uno y sólo un elemento del conjunto B.-
Toda función se la denota con las siguientes letras: f, g, h, F, G, H, etc.
Teniendo en cuenta la definición, podemos asegurar que si f es una función, entonces f⊂ AXB, y
se denota:
A: conjunto de partida
B: conjunto de llegada o codominio.-
D(f)=A “dominio de la función f”
I(f)⊂B “Imagen de la función f”
Utilizando los diagramas de Venn se puede representar una función de la siguiente forma:
Definición
La relación f⊂AXB es una función si cumple con las siguientes condiciones de existencia y
unicidad:
Existencia
Todo elemento de A se relaciona con algún elemento de B
∀x∈A,∃y∈B/(x,y)∈f
Unicidad
Los elementos de A tienen una sola imagen en B
(x,y)∈f ∧ (x,z)∈f ⇒ y = z
Definición
Se llama función a toda relación entre dos variables, en la que a todo valor de la primera, lo
relaciona con uno y solo un valor de la segunda. A la primera variable se la denomina "variable
independiente" y a la segunda "variable dependiente"
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 60 -
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 61 -
Ahora si la pendiente fuera negativa, la tangente también lo sería, por lo tanto el cateto
opuesto se lo trazaría hacia abajo.-
−b
xv =
2.a
Como ya se dijo, basta reemplazar este valor en la función para obtener la otra coordenada.-
Teniendo en cuenta que es simétrica, y sabiendo que la parábola corta a las ordenadas en
“c”, entonces otro de los puntos es P1(0,c), el otro punto será P2(2.xv, c).-
Si la función tiene la ordenada al origen nula, se deben tomar dos valores cualesquiera de las
abscisas para calcular las ordenadas correspondientes.-
Por ejemplo:
f ( x) = 3.x 2 − 2.x + 1
Determinamos primero el vértice, o sea:
− b − (−2) 1
xv = = =
2.a 2.3 3
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 62 -
FUNCIÓN INYECTIVA
f:A→B es inyectiva si y sólo si elementos distintos del dominio tienen imágenes distintas. O sea:
f : A → B es inyectiva⇔ ∀x1 , ∀x2 : x1 ≠ x2 ⇒ f ( x1 ) ≠ f ( x2 )
Ahora, por implicaciones contrarrecíprocas se tiene:
f : A → B es inyectiva ⇔ ∀x1 , ∀x2 : f ( x1 ) = f ( x2 ) ⇒ x1 = x2
Esto significa que para poder probar que una función es inyectiva, basta igualar la ecuación de la
misma para x1 y x2 y a través de procedimientos, el que sea necesario, llegar a la igualdad de ellos.-
Ejemplo:
Sea la función:
1 3 1
f : ℜ → ℜ / f ( x) = x +
3 2
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 63 -
Hacemos:
f ( x1 ) = f ( x2 )
1 3 1 1 3 1
x1 + = x 2 +
3 2 3 2
y cancelando, queda:
1 3 1 3
x1 = x 2
3 3
y simplificando queda:
x13 = x 23
x1 = 3 x 23
x1 = x 2
Esta función es inyectiva.
f:A→B es sobreyectiva si y sólo si todos los elementos del Codominio tienen preimagen. O sea:
f : A → B es sobreyecti va ⇔ ∀ y ∈ B , ∃ x ∈ A / f ( x ) = y
Esto significa que para determinar si una función es sobreyectiva se deben estudiar los elementos
del dominio en lo que respecta al conjunto, despejando de la función dada x y valuando luego en la
función para determinar si realmente f(x)=y.-
Por ejemplo sea:
1 3 1
f : ℜ → ℜ / f ( x) = x +
3 2
Esta función es lo mismo que:
1 3 1 1 1 ⎛ 1⎞
y= x + ⇒ x 3 = y − ⇒ x = 3 3.⎜ y − ⎟
3 2 3 2 ⎝ 2⎠
Ahora: ¿este valor es un número real? Sí ya que y es un real y los otros números también lo son,
por lo tanto x∈ℜ, entonces:
3
⎛ 1⎞ ⎛ ⎛ 1⎞⎞ 1⎛ ⎛ 1⎞⎞ 1
∀y ∈ R, ∃x = 3 3.⎜ y − ⎟ ∈ R / f ⎜ 3 3.⎜ y − ⎟ ⎟ = ⎜ 3 3.⎜ y − ⎟ ⎟ + ⇒
⎝ 2⎠ ⎜ ⎝ 2 ⎠ ⎟⎠ 3 ⎜⎝ ⎝ 2 ⎠ ⎟⎠ 2
⎝
⎛ ⎛ 1⎞⎞ 1 ⎛ 1⎞ 1
⇒ f ⎜ 3 3.⎜ y − ⎟ ⎟ = .3/ .⎜ y − ⎟ + ⇒
⎜ ⎝ ⎟
2 ⎠ ⎠ 3/ ⎝ 2⎠ 2
⎝
⎛ ⎛ 1⎞⎞ 1 1
⇒ f ⎜ 3 3.⎜ y − ⎟ ⎟ = y − + ⇒
⎜ ⎝ 2 ⎠ ⎟⎠ 2 2
⎝
⎛ ⎛ 1⎞⎞
⇒ f ⎜ 3 3.⎜ y − ⎟ ⎟ = y ⇒
⎜ ⎝ 2 ⎠ ⎟⎠
⎝
⇒ f ( x) = y
Todo esto es aplicando la propiedad cancelativa y reemplazando “x”. Esta función es
Sobreyectiva.-
FUNCIÓN BIYECTIVA
www.algebramoderna.webatu.com
Á
ÁLGEBRA MO
ODERNA – Prof.
P Luis E.
E Valdez - 64 -
CONCLUSIÓN:
Hacie
endo un análisis sobre la
a clasificaciónn de las func
ciones, podem mos concluirr que:
1. Una función puede se er inyectiva, solamente
2 Una función puede se
2. er sobreyectiiva, solamen nte
3 Una función puede se
3. er inyectiva y sobreyectiv va (biyectiva))
4 Una función puede no
4. o ser inyectivva ni sobreye
ectiva
y = f (x) es decrecieente en (a, b) ⇔ ∀x1 ∈ (a, b), ∀x2 ∈ (a, b) : x 2 > x1 ⇒ f ( x2 ) < f ( x1 )
www.alggebramodern
na.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 65 -
FUNCIÓN CÓNCAVA
Una función y=f(x) es cóncava en el intervalo (a,b) si los puntos de la misma están por arriba de
los puntos de la tangente a curva en un punto interior de dicho intervalo.
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 66 -
FUNCIÓN CONVEXA
Una función y=f(x) es convexa en el intervalo (a,b) si los puntos de la misma están por debajo
de los puntos de la tangente a la curva en un punto cualquiera de dicho intervalo.
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 67 -
Esta regla es fundamental, dado que, pensando en el dominio perteneciente en los números
reales, la división por cero no tiene cociente real, es imaginario, por lo tanto, si un valor que pueda
tomar la variable diese un resultado dividido en cero, la función no tendría imagen en ese punto, lo
que nos obligaría a exceptuarlo. Por ejemplo
x2 + 2
Sea f ( x ) =
x −1
Observamos que para esta función que para x=1 quedaría el denominador anulado, ese
resultado no es un número real, por lo que para que esta expresión sea función, el dominio no debe
tener el 1 dado que este valor no tiene imagen. O sea que:
∞, 1 1, ∞
REGLA 2: El logaritmo de un número menor o igual a cero no es un número real
Esta regla nace tiendo en cuenta el cálculo del logaritmo, es así que, si en una función el
argumento del logaritmo tiene variable independiente, este argumento debe ser mayor que cero para
la función tenga imagen en ese valor. Por ejemplo:
g ( x) = log(3x − 2)
Teniendo en cuenta lo expresado anteriormente, queda que 3x – 2>0, por lo que , con lo que
todos los valores inferiores a este, quedan fuera del dominio de esta función. O sea que:
⎛2 ⎞
D (g ) = ⎜ ;+∞ ⎟
⎝3 ⎠
REGLA 3: Toda raíz de índice par y radicando negativo, no es un número real
Como se sabe, esta regla es clara, por lo que cuando se tenga una función donde figure una
raíz y en el radicando se encuentre la variable independiente, se debe tener en cuenta que el
radicando no debe ser negativo, dado que este valor no tendría una imagen real, con lo que se lo
debe exceptuar del dominio. Por ejemplo:
h( x ) = 2 x − 3 x − 1
Con esta función, tenemos que tener en cuenta que el radicando 3x - 1≥0, con lo que , lo que
los valores menores a este quedarían exceptuados del dominio ya que los mismos no tendrían
imagen real. O sea que:
⎡1 ⎞
D (h) = ⎢ ;+∞ ⎟
⎣3 ⎠
FUNCIONES ESPECIALES
FUNCIÓN CONSTANTE
La función f:A→B se llama constante si para todo elemento del dominio, le hace corresponder
como imagen un único elemento “K” del codominio.
O sea que:
f : A → B es constante ⇔ f ( x) = k
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 68 -
Su gráfica será una recta que corta a las ordenadas en k y siempre paralela al eje de las abscisas.
O sea:
Trabajando con los números reales observamos que elementos distintos del conjunto de partida o
dominio tienen siempre la misma imagen k, por lo tanto no es inyectiva. Por otro lado, de todos los
elementos del codominio, solamente k tiene preimagen, por lo tanto no es sobreyectiva.-
Ahora, esta función puede tener otra forma, por ejemplo x=k, su gráfica cortará al eje de las abscisa
en k y será paralela a las ordenadas.-
LA FUNCIÓN IDENTIDAD
La función identidad es aquella a la que a todo elemento del dominio le hace corresponder como
imagen ese mismo elemento, o sea:
i : A → A / i ( x) = x
Esta se lee “identidad de x”
O sea que si a∈A⇒ i(a)=a, y así para todos los valores de A. En diagrama de Venn será:
A
LA FUNCIÓN PROYECCIÓN
Sea el conjunto R, sean los conjuntos A⊂R y B⊂R. Sea el producto cartesiano AxB, en donde un
punto cualquiera P(a,b) pueden determinarse dos funciones llamadas proyecciones de la siguiente
manera:
P1 : AxB → A / P1 (a, b) = a
P2 : AxB → B / P2 (a, b) = b
Gráficamente:
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 69 -
LA FUNCIÓN CANÓNICA
Sea una relación de equivalencia “∼” definida en un conjunto A, por supuesto a partir de ella se
generan las clases de equivalencias y el conjunto cociente.
Se llama función canónica a aquella definida desde el conjunto A hasta el conjunto cociente, de tal
manera que a cada elemento del conjunto A le hace corresponder la clase a la que pertenece. O sea:
A
ϕ:A→ / ∀x ∈ A : ϕ ( x) = Ku ∧ x ∈ Ku
∼
Esta función es sobreyectiva, ya que todos los elementos del conjunto cociente (clases de
equivalencias), tienen algún antecedente en el conjunto A, pero no es inyectiva ya que varios
elementos de A tienen la misma imagen en el conjunto cociente.-
COMPOSICIÓN DE FUNCIONES
Sean dos funciones, f:A→B ∧ g:B→C, se llama composición de las funciones f y g a la función
gof:A→C/gof(x)=g[f(x)], siempre que exista un elemento y∈B tal que y=f(x), y z=g(y), con z∈C y x∈A,
o sea:
PROPIEDADES
D) Como la composición de funciones está definida sólo para tres conjuntos, o dos funciones,
debemos trabajar estas para poder aplicar dicha definición para las tres funciones. Para ello
desarrollamos ambos miembros de la igualdad de la tesis:
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 70 -
gof : A → C ⎫
⎬ ⇒ ho( gof )( x) = ho{g [ f ( x)]} = h{g [ f ( x)]} (a )
h:C → D ⎭
Esto es aplicado la definición de composición de funciones a gof, y luego a ho{g[f(x)]}
Ahora:
f :A→B ⎫
⎬ ⇒ (hog )of ( x) = (hog )[ f ( x)] = h{g [ f ( x)]} (b)
hog : B → D ⎭
ho(gof)=(hog)of
Ahora, teniendo en cuenta la composición de funciones y por hipótesis y por las aseveraciones
hechas anteriormente, tenemos:
∀z ∈ C, ∃x ∈ A / g[ f ( x)] = g ( y) = z
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 71 -
Pero, g[ f ( x)] = gof ( x) por definición de composición de funciones, lo que se tiene que
gof ( x) = z
Luego
gof:A→C es sobreyectiva
FUNCIÓN INVERSA
Definición:
Una función f: A→B, admite inversa si y sólo si existe una función g:B→A de modo que gof=iA ∧
fog=iB, y la función g es la inversa de la función f.-
Por ejemplo:
Sea f : ℜ → ℜ / f ( x) = 3.x − 1
Como y=f(x) entonces despejamos x, y se tiene:
3.x = y + 1
y +1
x= = g ( y) (1)
3
Esta es la función inversa, que cambiando la variable x por f-1(x) e y por x queda:
x +1
f −1 ( x) =
3
Ahora, si ésta es la función inversa tiene que cumplir con las condiciones establecidas por la
definición. Para ello partamos de la expresión (1), o sea:
gof ( x) = g[ f ( x)]
f ( x) + 1
g [ f ( x)] =
3
Reemplazando a f(x) se tiene:
3.x − 1/ + 1/
g [ f ( x)] =
3
3/ .x
g [ f ( x)] =
3/
g [ f ( x ) ] = x = iℜ ( x )
gof ( x) =i ℜ ( x)
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 72 -
Con este teorema se pretende simplificar la determinación si una función admite inversa, utilizando
la clasificación de funciones.-
TEOREMA
D) Para poder demostrar esta parte del teorema, debemos hacerlo teniendo en cuenta que si la
función es biyectiva, entonces es inyectiva y sobreyectiva
Por otro lado, como la función admite inversa (hipótesis), entonces:
gof(x)=iA(x)=x además fog(y)=iB(y)=y
Hacemos:
gof ( x1 ) = gof ( x2 )
Pero como admite inversa, entonces:
i A ( x1 ) = i A ( x2 )
Y por definición de identidad, se tiene:
x1 = x2
Lo que significa que es INYECTIVA (2)
Ahora:
∀y = iB ( y) = fog( y) ∈ B, ∃x = i A ( x) = gof ( x) ∈ A / f ( x) = f [gof ( x)] ⇒
⇒ f ( x) = [ fo(gof )]( x)
Pero por la propiedad asociativa de la composición de funciones, queda:
f ( x) = [( fog)of ]( x)
Y aplicando la definición de composición, se tiene:
f ( x) = ( fog)[ f ( x)]
Pero f(x)=y, entonces:
f ( x) = ( fog )( y)
Y por hipótesis esta última composición es la iB, lo que significa:
f ( x) = y
Esto demuestra que la función f es SOBREYECTIVA (3)
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 73 -
H) f:A→B es biyectiva
T) f admite inversa
D) Para poder demostrar esta parte del teorema, debemos encontrar una función g:B→A, siempre
que exista f:A→B de tal forma que x=g(y), si y=f(x).-
Ahora, para que g sea función debe cumplir con las condiciones de existencia y unicidad.-
Ahora como f y g son funciones, podemos hacer la composición de ellas y obtener una conclusión:
gof ( x) = g[ f ( x)]
Pero por lo dicho anteriormente y=f(x), entonces:
gof ( x) = g ( y )
Por la misma razón que la anterior x=g(y), entonces
gof ( x) = x = i A ( x)
Con este teorema, dada una función, con tan sólo estudiar si es que es biyectiva, sabremos
que admite inversa, por ejemplo:
1 3
f : ℜ → ℜ / f ( x) = x +2
2
Probemos que esta función es inyectiva, o sea:
f ( x1 ) = f ( x2 )
1 3 1
x 1 + 2/ = x 23 + 2/
2 2
1 3 1 3
x = x2
2 1 2
x 13 = x 23
x 1 = 3 x 23
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 74 -
x1 = x2
Hemos probado que esta función es biyectiva, por lo tanto admite inversa (atento al teorema
fundamental de las funciones inversas). Pero ahora debemos determinar esta función inversa, o sea:
Definición:
Una función es ALGEBRAICA, si las operaciones de la expresión son algebraicas, caso contrario
se llaman TRASCENDENTES (trascienden el campo del álgebra)
FUNCIONES ALGEBRAICAS
La función f:A→B es lineal o de primer grado, si su expresión algebraica de una sola variable es
de primer grado, y tiene la forma:
fA → B / f ( x) = y = m.x + b
Donde:
y se llama variable dependiente
x se denomina variable independiente
m se denomina pendiente
mx se denomina término lineal
b se denomina término independiente
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 75 -
La gráfica de esta función es una recta que donde el punto P(0,b) pertenece a ella, por ello b se
denomina también ordenada al origen. O sea:
y −b
tg α = ⇒ y − b = tg α .x ⇒ y = tg α .x + b
x
Lo que significa que la pendiente m es la tangente trigonométrica del ángulo que forma la recta
con la horizontal o el eje de las abscisas, o sea:
m=tg α
Ahora, haciendo un estudio de la tangente, observamos que ésta es positiva si el ángulo está
comprendido en el primer cuadrante, o sea cuando la recta va desde el 3º al 1º cuadrante, o sea
cuando los valores de la función crecen al crecer los valor de la variable. La tangente es negativa
cuando el ángulo es mayor que π2 y menor que 2π, que es en el caso en el que la gráfica de la
función va desde el 2º al 4º cuadrante, o sea cuando los valores de que la función decrecen si crecen
los de la variable. Las siguientes gráficas corresponden a las funciones lineales.
1
y= x −1
3
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 76 -
5
y=− x+2
4
Si se está trabajando con los números Reales, El dominio de esta función son los reales y la
imagen también los reales, o sea que la función lineal está definida de los reales a los reales:
D(f)=R I(f)=R
Esta función es inyectiva, ya que para valores distinto del conjunto de los reales, la función toma
valores distintos, y es sobreyectiva ya que todos los números reales tienen preimágen por esta
función, lo que significa que esta función es Biyectiva.
Ahora, teniendo en cuenta el teorema fundamental de las funciones inversas, la función lineal
admite inversa, y se la determina despejando la variable x, o sea:
y −b
y = m.x + b ⇒ y − b = m.x ⇒ x =
m
y cambiando las variables tenemos la forma de la función inversa de la lineal:
x−b
f −1 ( x) =
m
LA FUNCIÓN CUADRÁTICA O DE SEGUNDO GRADO
Se llama función cuadrática a aquella cuya expresión algebraica en una sola variable es de gado
dos.
La función cuadrática tiene la forma:
f : A → B / f ( x) = y = a.x 2 + b.x + c
Con a≠0
Donde:
y es la variable dependiente
x la variable independiente
a.x2 es el término cuadrático
a es el coeficiente cuadrático
b.x es el término lineal
b es el coeficiente lineal
c es el término independiente
Dado que el cuadrado de números opuestos es siempre positivo, la gráfica de esta función es una
parábola, cuyas ramas estarán para el lado positivo del eje de las ordenadas si a es positivo, caso
contrario si a es negativo.-
O sea:
Función positiva ⇒ las ramas de la parábola hacia arriba
Función negativa ⇒ las ramas de la parábola hacia abajo
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 77 -
xv
x1 x2
yv
Ahora, los ceros de esta función, son los valores de “x” donde la función toma el valor cero, que
son ni más ni menos, que los puntos de corte entre la gráfica de la función y el eje de las abscisas,
que en la gráfica las muestra con x1 y x2. En definitiva, y en realidad, estos valores son las raíces de
−b
la ecuación cuadrática, las que cumplen con lo siguiente: x1 + x 2 =
a
Para pode graficar la función cuadrática, es imprescindible determinar el vértice de la misma, que
es el punto donde cambiará el crecimiento la función y justamente esta vértice es punto del eje de
simetría y los ceros de la función son puntos simétricos axialmente con respecto al eje de simetría, lo
que significa que:
x1 + x 2 − b
=
2 2a
Pero la semisuma del primer miembro es el valor de “x” que corresponde al vértice, entonces
−b
xV =
2a
La siguiente gráfica es de la función:
f ( x) = 2.x 2 + 4.x − 1
Ahora, el:
−b −4
xV = ⇒ xV = ⇒ xV = −1
2.a 2 .2
La recta roja es el “eje de simetría” que pasa por el xV, esto significa que los puntos de la parábola
que se encuentran a la misma altura y opuestos con respecto a este eje son simétricos axialmente.-
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 78 -
Ahora, como el xv es punto del eje de simetría, observamos que el corrimiento de la parábola en
forma horizontal depende de los signos de loa valores de los coeficientes cuadrático y lineal,
sabiendo que si xv>0, la parábola se corre hacia la derecha con respecto a las ordenadas, si xv=0, el
eje de simetría son las ordenadas, y si xv<0, la parábola se corre hacia la izquierda respecto al eje de
las ordenadas. O sea:
O sea que:
⎧a > 0 ∧ b < 0
Hacia la derecha si xv > 0⎨
⎩a < 0 ∧ b > 0
Eje y es el eje de simetría si x=0, solamente se da si b=0
⎧a > 0 ∧ b > 0
Hacia la izquierda si xv < 0⎨
⎩a < 0 ∧ b < 0
Además la parábola corta a las ordenada en c, ya que P(0,c) pertenece a la parábola
La gráfica de la función dada es la siguiente:
Los puntos de corte de la función con el eje de las abscisas son los denominados ceros de la función,
o sea que es el valor que toma “x” para que y=0
f ( x) = 3.x 2 − 6.x − 2
De antemano podemos asegurar que la parábola está corrida hacia la derecha, corta al eje de las
ordenadas en –2 y
− b − ( −6 )
xv = = =1
2.a 2 .3
y v = 3 .1 2 − 6 .1 − 2 = − 5
Esto significa que V(1, -5)
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 79 -
Ahora, el dominio de esta función son todos los reales, y la imagen son los reales partiendo del yv
inclusive.-
Ya que esta función no es biyectiva, entonces no admite inversa, solamente en algunos casos y
bajo algunas condiciones.-
LA FUNCIÓN EXPONENCIAL
f : ℜ → ℜ + / f ( x) = a X a>0 ∧ a≠1
Dada las condiciones anteriormente mencionadas, tenemos dos casos posibles:
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 80 -
La característica de esta función es que es creciente, corta a las ordenadas en 1 y el eje de las
abscisas es asíntota a la curva. El dominio son los reales, y la imagen los reales positivos.-
X
⎛1⎞
f ( x) = ⎜ ⎟
⎝2⎠
Cuya gráfica es:
La función es decreciente, corta al eje de las ordenadas en 1, el eje de las abscisas es asíntota a
la curva, el Dominio son los reales y la Imagen lo reales positivos.-
Si clasificamos la función exponencial observamos que bajo las condiciones planteadas ésta es
biyectiva ya que es inyectiva porque para valores distintos de los reales, la función tiene imágenes
distintas; y es sobreyectiva por que todos los elementos del conjunto de llegada, o sea los reales
positivos, tienen preimágenes distintas.-
LA FUNCIÓN LOGARÍTMICA
f : ℜ → ℜ + / f ( x) = a x ⇔ f −1
: ℜ + → ℜ / x = log a f ( x )
f : ℜ + → ℜ / f ( x ) = log a x
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 81 -
Observamos que la gráfica es creciente, corta a las abscisas en 1 y el eje de las ordenadas es
asíntota de la curva. Por otro lado el dominio son los reales positivos y la imagen todos los reales.-
La función es decreciente, corta al eje de las abscisas en 1, y el eje de las ordenadas es asíntota
de la curva. Por otro lado, el dominio son los reales positivos y la imagen todos los reales.-
Para el caso de que a=1 (base 1), no queda definida la función logarítmica.-
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 82 -
f ( x) = 3 X f ( x ) = log 3 x
En estos casos, la gráfica azul es para la primera, y la verde para la segunda, lo que a simple vista
observamos que son gráficas simétricas respecto a la diagonal que pasa por el origen de
coordenadas, lo que nos indica que estas son funciones inversas.-
X
⎛1⎞
f ( x) = ⎜ ⎟ f ( x ) = log 1 x
⎝2⎠ 2
www.algebramoderna.webatu.com
Á
ÁLGEBRA MO
ODERNA – Prof.
P Luis E.
E Valdez - 83 -
TRAB
BAJO PRÁ
ÁCTICO Nºº 4
1. Da
ada las siguie
entes funcion
nes, graficarllas:
a
a. f : R → R / f ( x) = 4 x 2 − 5 x − 2
b
b. f : R → R / f ( x) = 3x 2 − 3x + 6
c
c. f : R → R / f ( x) = x 2 − 2
d
d. f : R → R / f ( x) = 3 5 x + 3
e
e. f : R → R + / f ( x ) = log 2.x
f
f. f : Z → Z 0+ / f ( x ) = x + 1
g
g. f : N → R / f ( x) = x 2 + x − 2
h
h. f : Z → {− 1,0,1}/ f ( x) = sig( x)
i. f : R → R / f ( x) = sig (x)
j. f : R → R / f ( x) = x + ln x
x+3
k
k. f : R − {2} → R / f ( x) = 3
x−2
2. S
Sean loss conjuntos A={1
1,2,3} y B={2,3}, represe
entar y clasificarr
f : A × B → Z / f (a, b) = 3a − b
3. Dado A={1,2,3} y B={2,3}}, definir por tabla y clasifficar f:P(A)→P(B)/f(X)=B
D B – X.
4. E los siguie
En entes casos, determinar gof:
g
f : R → R + / f ( x) = x 2 + 3 x − 5
a
a.
g : R + → R / g ( x) = x + 1
www.alggebramodern
na.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 84 -
x2 + 2
b.
f : Z → Z / f ( x) =
5
g : Z → Z / g ( x) = x 2
f : N → N / f ( x) = x+6
c.
g : N → R / g ( x) = x + 9
8
d.
f : R → R / f ( x) = x+
5
g : R → R / g ( x) = sen x
5. Las funciones f:A→B y g:B→C son tales que gof es sobreyectiva. Demostrar que g es
sobreyectiva.
6. Clasificar las siguientes funciones:
3
a. f : R → R / f ( x) = 5 x +
2
b. f : R → R / f ( x) = x + 3x − 1
2
1
c. f : R → R + / f ( x) = x 3 − 2 x 2 + x − 1
2
+
d. f : R → R / f ( x) = 4 2 x
e. f : R + → R − / f ( x) = −2 x 2
f. f : Z → Z / f ( x) = 2 x + 3
g. f : R → R / f ( x) = x +1
h. f : R → R / f ( x) = 3 x − 2
i. [ ]
f : R → − 1,1 / f ( x) = cos x
7. Sean las funciones f:Z→Q y g:Q→Z, tales que:
x2
f ( x) = y g ( x) = ent ( x)
2
Encontrar fog y gof y calcular gof(-2) y fog(-0,5)
a. f : R → R / f ( x) = log2 x
x
⎛3⎞
b. g : R → R / g ( x) = ⎜ ⎟
⎝2⎠
c. h : R → R / h( x ) = log 1 3.x
3
d. j : R → R / j ( x) = 3 x
a. f ( x) = 3 x − 2
b. g ( x) = x −1
x2 −1
c. h( x ) =
x+2
2
d. j ( x) = 3
x+5
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 85 -
x3
e. k ( x) =
1
x2 −
4
f. l ( x ) = cos x + 3
g. m ( x ) = tg x−2
h. p( x) = sen (2 x − 1)
10. Dada las gráficas de las siguientes funciones, determinar con que dominio son inyectivas:
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 86 -
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 87 -
CAPÍTULO V
INDUCCIÓN COMPLETA
NÚMEROS Y CONGRUENCIAS
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 88 -
LA INDUCCIÓN COMPLETA
Hipótesis
Sea S⊂N, 1∈S
Si h∈S ⇒ h+1∈S
Tesis
S=N
Demostración
Como por hipótesis S⊂N, tendremos que demostrar que N⊂S para que sean iguales.-
Ahora, supongamos ∅≠S’⊂N y distinto de S, de acuerdo con el principio de conjunto bien ordenado,
S’ tiene que tener un mínimo “m”, pero por hipótesis 1∈S, entonces m≠1. Pero por otra parte, como m
es natural, tiene que ser:
m>1 ⇒ m – 1>0
Sea la función proposicional P(n), donde n ∈ N. Si ocurre que P(1) es verdadera, y además P(h) es
verdadera, y de aquí se deduce que P(h+1) es verdadera, entonces P(n) es verdadera
Hipótesis
P(1) es verdadera
∀h:P(h) ⇒ P(h+1)
Tesis
∀n:P(n) es Verdadera
Demostración
Teniendo en cuenta el teorema anterior, si P(h) es verdadera para un número finito de naturales de
S⊂N. Y como por hipótesis P(1) es verdadera, entonces 1∈S, y h∈S ⇒ h+1∈S, entonces N⊂S, lo que
significa P(n) es verdadera para todos los n de N
Por ejemplo:
n ( n + 1)
Demostrar que los n primeros números naturales es
2
Para ello hacemos:
Para n=1
1.(1 + 1) 2
1= ⇒1= ⇒1=1
2 2
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 89 -
h.( h + 1)
1 + 2 + 3 + 4 + 5 + ... + h =
2
Ahora la tesis para n=h+1
( h + 1).(h + 1 + 1)
1 + 2 + 3 + 4 + ... + h + ( h + 1) =
2
Demostración
EL SÍMBOLO DE SUMATORIA
En más de una oportunidad debemos resumir una suma de términos ya sea infinita o finita, para ello
recurrimos a un símbolo llamado de sumatoria (∑). Por ejemplo sea:
5
a1 + a 2 + a3 + a 4 + a5 la que la escribimos resumida de la siguiente forma: ∑a
i =1
i
Donde {1,2,3,4,5}∈I (conjunto de índices), i=1 se denomina extremo inferior, 5 extremo superior.-
∑a
i =1
i = a1 + a 2 + a3 + ... + a n , o sea la suma de los términos desde a1 hasta an variando de 1 en 1.
6
1 1 1 1 1 1 1 1
∑ 2 .i = 2 ⋅ 0 + 2 ⋅1 + 2 .2 + 2 .3 + 2 .4 + 2 .5 + 2 .6
i =0
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 90 -
∑ (ai + bi ) = ∑ ai + ∑ bi
i =1 i =1 i =1
Demostración:
∑ (a
i =1
i + bi ) = (a1 + b1 ) + (a 2 + b2 ) + ... + (a n + bn )
∑ (a
i =1
i + bi ) = (a1 + a 2 + ... + a n ) + (b1 + b2 + ... + bn )
Y transformando cada uno de los paréntesis en sumatoria queda:
n n n
∑ (ai + bi ) = ∑ ai + ∑ bi
i =1 i =1 i =1
2) La sumatoria de una constante por término genérico, es igual a la constante por la sumatoria
n n
∑ k.a
i =1
i = k ∑ ai
i =1
Demostración:
Sea:
n
∑ k.a
i =1
i = k .a1 + k .a 2 + k .a3 + ... + k .a n
Sacando factor común K, queda:
n
∑ k.a
i =1
i = k.(a1 + a 2 + a3 + ... + a n )
∑ k.a
i =1
i = k ∑ ai
i =1
DIVISORES Y MÚLTIPLOS
Sean los números enteros “a” y “b”, se dice que “a” divide a “b” sí y solo si existe otro entero
“c” tal que b=axc. En símbolos:
Sean a ∈ Z ∧ b ∈ Z ⇒ a b ⇔ ∃c ∈ Z / b = a × c
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 91 -
•
Ahora, si “a” divide a “b”, entonces se dice “b” es múltiplo de “a”, y se denota b = a
PROPIEDADES
Propiedad 1
Si un número divide a otro, entonces divide al producto de este por otro número, o sea:
a|b ⇒ a|b.n
Demostración
Si a|b ⇒ ∃c/b=a.c Ahora, multiplicamos ambos miembros por el número “n”, entonces se tiene:
b.n=a.(c.n) pero c.n es un número entero, lo que significa que b.n=a.c1 ⇒ a|b.n
Propiedad 2
Si un número divide a otro, entonces divide a su opuesto, o sea:
a|b ⇒ a|-b
Demostración
Propiedad 3
Si un número divide a otros dos, entonces divide a su suma o a su diferencia, o sea:
Demostración
Como a|b ∧ a|c ⇒ ∃d,∃e/b=a.d ∧ c=a.e, y sumando y restando miembro a miembro, se tiene:
b ± c = a.d ± a.e = a.(d ± e) pero d±e es un número entero, lo que significa que a|(b ± c)
ALGORITMO DE EUCLIDES
Propiedad 1
Demostración:
Partimos de la suposición de que el MCD(a,b)=p ⇒ p a ∧ p b , y teniendo en cuenta la definición de
divisores, se tiene que ∃t ∈ Z , ∃s ∈ Z / a = p.t ∧ b = p.s
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 92 -
MCD(a,b)=MCD(b,r)
Propiedad 2
Si a y b son dos números enteros no nulos tales que b|a, entonces MCD(a,b)=b
Ahora, sean a∈Z ∧ b∈Z, a≠0 ∧ b≠0, el algoritmo de la división implica la existencia de dos números
naturales c0 y r1, tales que podamos hacer el cociente entre a y b:
a = c0 .b + r1 , 0 ≤ r1 < b
Si r1=0, entonces el MCD(a,b)=b, esto justificándolo con la Propiedad 2, caso contrario hacemos
nuevamente la división entre b y r1, obteniendo c1 y r2, y teniendo en cuenta que la Propiedad 1 nos
dice que MCD(a,b)=MCD(b,r1), entonces:
b = c1.r1 + r2 , 0 ≤ r2 < r1
ri − 2 = ci −1.ri −1 + ri , 0 ≤ ri < ri −1
Ahora, como b > r1 > r2 > ... ≥ 0 , es evidente que en un número finito “n” de pasos con n ≤ b ,
llegaremos a un resto rn=0, es decir que rn − 2 = c n −1 .rn −1 , esto implica que rn −1 rn − 2 , y por la
Propiedad 2 MCD ( rn − 2 , rn −1 ) = rn −1 , y teniendo en cuenta la Propiedad 1, queda:
Ahora, para determinar el máximo común divisor por este algoritmo hacemos el siguiente cuadro:
c1 c2 c3 …………………. cn-1 cn
a b r1 r2 …………………. rn-2 rn-1
r1 r2 r3 r4 …………………. 0
MCD(a,b)=|rn-1|
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 93 -
441 = 24 × 18 + 9, 0 ≤ 9 < 18
Hacemos el cociente entre 24 y 9
24 9
06 2
24 = 9 × 2 + 6, 0≤6< 9
Hacemos el cociente entre 9 y 6:
9 6
3 1
9 = 6 × 1 + 3, 0≤3< 6
Hacemos el cociente entre 6 y 3
6 3
0 2
6 = 3 × 2 + 0, 0≤0< 3
18 2 1 2
441 24 9 6 3
9 6 3 0
MCD(441, 24) = 3
3=9-6=9-(24 - 2.9)=-24+3.(441-18.24)=3.441-55.24
De esto deducimos que u=3, y que v=-55
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 94 -
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 95 -
Se llama ecuación diofántica a aquella de varias variables que tienen soluciones enteras.
Una ecuación es lineal diofántica si tiene la forma ax + by = c .-
Propiedades
Propiedad 1
Sean a, b y c tres números enteros con MCD(a,b)=d, la ecuación ax + by = c tiene solución entera sí
y sólo si d|c.
Demostración
Si la ecuación ax + by = c tiene soluciones enteras, existen u∈Z y v∈Z tales que a.u + b.v = c .
Como MCD(a,b)=d, entonces a=p.d y b=q.d con p, q números enteros, entonces:
Propiedad 2
Sean a, b y c números enteros; si x0∈Z, y0∈Z es una solución particular de la ecuación diofántica
. . , todas las soluciones enteras de esta ecuación son de la forma:
b a
x = x 0 + ·n , y = y 0 − ·n , con n∈Z, y donde MCD(a,b)=d
d d
Demostración
Ahora hacemos:
⎛ b ⎞ ⎛ a ⎞
a.x + b. y = a.⎜ x0 + ·n ⎟ + b.⎜ y 0 − ·n ⎟
⎝ d ⎠ ⎝ d ⎠
b.a b.a
a.x + b. y = a.x 0 + ·n + b. y 0 − ·n
d d
Y cancelando queda:
a.x + b. y = a.x 0 + b. y 0
b a
Lo que significa que x 0 + ·n e y 0 − ·n es solución de ax + by = c .
d d
Pero como (x0, y0) es solución de la ecuación, entonces x – x0 = 0 e y – y0 = 0, por lo tanto:
a.( x − x 0 ) + b.( y − y 0 ) = 0
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 96 -
a.( x − x 0 ) = −b.( y − y 0 )
a b
( x − x0 ) = ( y 0 − y) (2)
d d
⎛a b⎞ a b
Como el MCD(a, b)=d ⇒ MDC⎜ , ⎟ = 1 ya que y son primos entre sí
⎝d d ⎠ d d
a a
Por otro lado, y de acuerdo a la igualdad 2, ( y 0 − y ) ⇒ ∃n ∈ Z / y 0 − y = ·n , lo que significa
d d
que:
a
y = y 0 − ·n (I)
d
Sustituyendo el valor de “y” en la igualdad 1 se tiene:
⎛ a ⎞
a.( x − x0 ) = b.⎜ y 0 − y 0 + ·n ⎟
⎝ d ⎠
Cancelando queda:
b.a
a.( x − x 0 ) = ·n
d
Despejando, se tiene:
b.a/
x − x0 = ·n
a/ .d
Despejando “x” se tiene:
b
x = x 0 + ·n (II)
d
De I y II, queda demostrado el teorema.-
Ejemplo:
Determinar las soluciones positivas de la siguiente ecuación diofántica:
Observamos que el MCD(20, 50)=10 y como 10|430, entonces se asegura que la ecuación tiene
soluciones enteras.-
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 97 -
Ahora busquemos una solución particular, y lo haremos teniendo en cuenta el algoritmo de Euclides,
donde 50 = 2.20 + 10 ⇒ 10 = 50 – 20.2, por lo tanto:
b
x = x0 + ·n con n ∈ Z
d
a
y = y 0 − ·n con n ∈ Z
d
Reemplazando queda:
50
x = −86 + ·n
10
20
y = 43 − ·n
10
Pero las soluciones deben ser positivas, entonces “n” puede tomar los valores 18, 19, 20 y 21
solamente, lo que significa que las soluciones son:
⎛ 20 ⎞
⎜ − 86 + ·18,43 − ·18 ⎟ ⇒ (4,7 )
50
⎝ 10 10 ⎠
⎛ 20 ⎞
⎜ − 86 + ·19,43 − ·19 ⎟ ⇒ (9,5)
50
⎝ 10 10 ⎠
⎛ 20 ⎞
⎜ − 86 + ·20,43 − ·20 ⎟ ⇒ (14,3)
50
⎝ 10 10 ⎠
⎛ 20 ⎞
⎜ − 86 + ·21,43 − ·21⎟ ⇒ (19,1)
50
⎝ 10 10 ⎠
CONGRUENCIA EN MÓDULO “n”
Los números “a” y “b” son congruentes en módulo “n” si “n” divide a su diferencia, o sea:
Para denotar que los números “a” y “b” son congruentes en módulo “n”, usamos a ≡ b(n)
Propiedad
La congruencia en módulo “n” es una relación de equivalencia
Demostración
Antes de todo, definimos la relación:
( a, b) ∈ R ⊂ Z 2 ⇔ n a − b
Para demostrar que la congruencia en módulo “n” es una relación de equivalencia, se debe demostrar
que es reflexiva, simétrica y transitiva:
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 98 -
Reflexiva
n 0 ⇒ n a − a ⇒ (a, a ) ∈ R
Simétrica
Transitiva
Supongamos que:
Lo que queda demostrada que la congruencia en módulo “n” es una relación de equivalencia.
TRABAJO PRÁCTICO Nº 5
Escribir como sumatoria:
1) 1 + 3 + 5 + 7 + 9 + 11 + 15 =
x1 + x2 + x3 + ... + xn
2) =
n
1 1 1 1 1 1 1 1
3) + + + + + + + =
4 9 16 25 36 49 64 81
4) 0 + 2 + 8 + 26 + ... + 2186 =
5) 2 + 5 + 8 + 11 + 14 + ... + 29 =
6) 1 + 7 + 26 + 79 + 241 + 727 =
1 1 1 1 1
7) − + − + =
4 16 36 64 100
f) 2 n2 + n
n
g) ∑ i.i!= (n + 1)!−1
i =1
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 99 -
2
n
⎛ n ⎞
h) ∑
i =1
i 3
= ⎜∑i⎟
⎝ i =1 ⎠
i) 3 8 − 5n
n
n −1
1− xn
j) ∑ xi =
i =1 1− x
si x≠1
n
i n+2
k) ∑ i = 2 −
i =1 2 2n
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 100 -
CAPÍTULO VI
ANÁLISIS COMBINATORIO
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 101 -
INTRODUCCIÓN
FACTORIAL
El factorial de un número cualquiera n, se lo simboliza n!., o sea que la definición de factorial queda:
⎧0! = 1
⎪
⎨1! = 1
⎪n! = n.( n − 1)!
⎩
SIMPLIFICACIÓN DE FACTORIALES
Para simplificar un factorial con otro factorial, se deben descomponer según su desarrollo, o
sea por ejemplo:
8! 8.7.6.5.4.3.2.1
= = 8.7.6.5.4
3! 3.2.1
Pero 3.2.1 = 3!, entonces:
8! 8.7.6.5.4.3!
= = 8 .7 .6 .5 .4
3! 3!
VARIACIONES O ARREGLOS SIN REPETICIÓN
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 102 -
AB AC AD
BA BC BD
CA CB CD
DA DB DC
O sea que el arreglo de 4 elementos tomados de 2 en 2, es 12
Todo arreglo se lo denota como Anm y se lee “arreglo sin repetición o simple de m elementos tomados
de n en n”, o bien V nm y se lee “variación sin repetición o simple de m elementos tomados de n en n”
24 4! 4!
A24 = 12 = = = que generalizando queda:
2 2! ( 4 − 2)!
m!
Anm =
(m − n)!
En el caso de que de un conjunto se pueda escoger un elemento más de una vez para formar
una variación o un arreglo, estamos en presencia de un “arreglo con repetición”. Por ejemplo:
Sea el conjunto formado por A, B, C, D y se quieren formar conjuntos de dos letras, pudiendo
ser ellos formados por las mismas, y dos conjuntos son distintos si difieren en su orden o en sus
elementos. Esto será:
AA AB AC AD
BA BB BC BD
CA CB CC CD
DA DB DC DD
Esto es un arreglo con repetición (se pueden repetir los elementos en un mismo conjunto) de
4 elementos tomados de 2 en 2, y su resultado es 16.
A, B, C, D, E
AAA AAB AAC AAD AAE BEA BEB BEC BED BEE DDA DDC DDE EAD
ABA ABB ABC ABD ABE CAA CAB CAC CAD CAE DEA DEC DEE EBD
ACA ACB ACC ACD ACE CBA CBB CBC CBD CBE EAA EAC EAE ECD
ADA ADB ADC ADD ADE CCA CCB CCC CCD CCE EBA EBC EBE EDD
AEA AEB AEC AED AEE CDA CDB CDC CDD CDE ECA ECC ECE EED
BAA BAB BAC BAD BAE CEA CEB CEC CED CEE EDA EDC EDE ECB
BBA BBB BBC BBD BBE DAA DAB DAC DAD DAE EEA EEC EEE EDB
BCA BCB BCC BCD BCE DBA DBB DBC DBD DBE DDB DDD EAB EEB
BDA BDB BDC BDD BDE DCA DCB DCC DCD DCE DEB DED EBB
O sea que el total de conjuntos posibles de formar con los 5 elementos tomados de 3 en 3 y
que se pueden repetir sus elementos, es 125
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 103 -
m! m! m!
Pm = Amm = = = = m!
(m − m)! 0! 1
Por ejemplo: ¿De cuántas formas se pueden ordenar 5 libros distintos en un estante?
P5 = 5! = 120
Supongamos que se tienen 10 bolas de las cuales 3 son blancas, 2 son azueles y 5 rojas con
las cuales se las quiere determinar la cantidad de formas que se las puede ordenar. No se podría
aplicar la P10 ya que se repiten las blancas (3), las azueles (2) y las rojas (5). O sea que por estos
casos se tendría:
P3 =3! = 6 (para las blancas), P2=2 (para las azules) y P5 = 5! = 120 (para las rojas), y el orden en
cada uno de estos conjuntos no se pueden diferenciar ya que sus elementos son iguales por el color.
Estamos en presencia de una permutación con repetición de 10 elementos en grupos de 3, 2 y 5, y
esto será:
P10 10! 3628800
3, 2 ,5
P'10 = = = = 2520
P3 .P2 .P5 3!.2!.5! 6.2.120
La fórmula general será:
Pm m!
P'αm, β ,δ ,...,ε = =
Pα .Pβ .Pδ ...Pε α!.β !.δ !...ε !
24 4!
C 34 = 4 = =
6 3!.(4 − 3)!
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 104 -
1º) C 0m = 1
Demostración:
m! m!
C 0m = = =1
0!.(m − 0)! 1.m!
Esto es teniendo en cuenta que 0! = 1 y simplificando.-
2º) C mm = 1
Demostración:
m! m!
C mm = = =1
m!.(m − m)! m!.0!
Esto es teniendo en cuenta que 0! = 1 y simplificando.-
3º) C nm = C mm− n
Demostración:
m! m!
C mm− n = = = C nm
(m − n)!.(m − m + n)! (m − n)!.n!
Esto es aplicando la definición y cancelando m.-
4º) C nm = C nm−−11 + C nm −1
Demostración:
Partiendo del segundo miembro, y aplicando la definición, sacando común denominador y
sacando factor común, se tiene:
(m − 1)! (m − 1)!
C nm−−11 + C nm−1 = +
(n − 1)!.(m − 1 − n + 1)! n!.(m − 1 − n)!
(m − 1)! (m − 1)!
C nm−−11 + C nm −1 = +
(n − 1)!.(m − n).(m − n − 1)! n.( n − 1)!.(m − n − 1)!
n.(m − 1)!+ (m − n).(m − 1)!
C nm−−11 + C nm−1 =
n.(m − n).(n − 1)!.(m − n − 1)!
(m − 1)!.(n + m − n)
C nm−−11 + C nm−1 =
n.(m − n).(n − 1)!.(m − n − 1)!
(m − 1)!.m
C nm−−11 + C nm−1 =
n.(m − n).(n − 1)!.(m − n − 1)!
(m − 1)!.m
C nm−−11 + C nm−1 =
n.(n − 1)!.(m − n)(m − n − 1)!
.m!
C nm−−11 + C nm−1 =
n!.(m − n)!
m−1 m−1
Cn−1 + Cn = Cnm
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 105 -
Demostración:
Partiendo de la demostración anterior, y haciendo k=m+1⇒ m=k-1 y
s=n+1⇒n=s-1, se tiene:
C ' mn = C nm + n −1
BINOMIO DE NEWTON
n
(a + b ) n
= ∑ C in .a n −i .b i
i =0
Esta igualdad se demuestra con el método de inducción completa. O sea que:
Para n = 0
(a + b) 0 = C 00 .a 0−0 .b 0
1=1
Hipótesis
Para n=k
k
(a + b )k = ∑ Cik .a k −i .b i
i =0
Tesis
Para n=k+1
k +1
(a + b )k +1 = ∑ Cik +1 .a k +1−i .b i
i =0
Demostración
Partiendo del primer miembro, aplicando producto de potencias de igual base, y lo estipulado por la
hipótesis y luego distribuyendo, se tiene:
(a + b )k +1 = (a + b )k .(a + b )
k
(a + b )k +1 = (a + b).∑ Cik .a k −i .b i
i =0
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 106 -
k k
(a + b)k +1 = a.∑ Cik .a k −i .b i + b.∑ Cik .a k −i .b i
i =0 i =0
Ahora, introduciendo a en la primera sumatoria, y b en la segunda, queda:
k k
(a + b)k +1 = ∑ Cik .a.a k −i .b i + ∑ Cik .a k −i .b.b i
i =0 i =0
Aplicando producto de potencia de igual base, se tiene:
k k
(a + b)k +1 = ∑ Cik .a k −i +1 .b i + ∑ Cik .a k −i .b i +1
i =0 i =0
Ahora extraemos el primer término de la primera sumatoria, y el último de la segunda sumatoria. O
sea:
k k −1
(a + b )k +1 = C0k .a k −i +1 .b 0 + ∑ Cik .a k −i +1 .b i + ∑ Cik .a k −i .b i +1 + C kk .a k −k .b k +1
i =1 i =0
Pero, haciendo j=i+1, entonces i=j-1, y si i=0 ⇒ j-1=0 ⇒ j=1, llegando hasta k y reemplazando en la
segunda sumatoria, queda:
k k
(a + b)k +1 = C0k .a k +1.b 0 + ∑ Cik .a k −i +1.b i + ∑ C kj−1.a k − j +1 .b j + Ckk .a 0 .b k +1
i =1 j =1
Pero cambiando j por i, se tiene:
k k
(a + b)k +1 = C0k .a k +1 .b 0 + ∑ Cik .a k −i +1 .b i + ∑ Cik−1 .a k −i +1 .b i + C kk .a 0 .b k +1
i =1 i =1
Tomamos una sola sumatoria hasta k, y se tiene:
k
(a + b)k +1 = C0k .a k +1 .b 0 + ∑ (Cik + Cik−1 ).a k −i +1 .b i + Ckk .a 0 .b k +1
i =1
Y por la propiedad 5 aplicada a las suma de las combinatorias, que:
k
(a + b)k +1 = C0k .a k +1 .b 0 + ∑ Cik +1 .a k −i +1 .b i + C kk .a 0 .b k +1
i =1
Por ejemplo:
Desarrollar el siguiente binomio:
5
(a + b )5 = ∑ Ci5 .a 5−i .b i
i =0
(a + b ) 5
= C 05 .a 5−0 .b 0 + C15 .a 5−1 .b 1 + C 25 .a 5− 2 .b 2 + C 35 .a 5−3 .b 3 + C 45 .a 5− 4 .b 4 + C 55 .a 5−5 .b 5
(a + b )5 = a 5 + 5 .a 4 .b + 10 .a 3 .b 2 + 10 .a 2 .b 3 + 5.a .b 4 + b 5
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 107 -
TRABAJO PRÁCTICO Nº 6
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 108 -
16) ¿De cuántas maneras pueden arreglar la letras del conjunto {P, D, Q, W, T, Z} para formar
códigos ordenados de 3 letras sin repetición?
17) ¿De cuántas maneras pueden arreglar la letras del conjunto {P, D, Q, W, T, Z} para formar
códigos ordenados de 3 letras pudiéndose repetir las letras?
18) ¿De cuántas maneras pueden asignarse 3 personas a 5 oficinas individuales?
19) Un aula especial tiene 10 pares de audífonos para estudiantes con dificultades auditivas
¿Cuántas combinaciones posibles de estudiantes y audífonos se pueden dar si 7 estudiantes de
la clase necesitan utilizar los audífonos?
20) ¿Cuántas patentes de vehículos se pueden formar utilizando los dígitos 0, 1, 2, 3, 4, 5 si se
permiten repeticiones?
21) ¿Cuántos códigos ordenados se pueden formar utilizando 4 letras del conjunto {A, B, C, D, E} si
las letras:
a) no se pueden repetir?
b) Sí se pueden repetir?
c) No se pueden repetir y el código debe empezar con la letra D?
d) No se pueden repetir y los códigos deben terminar con la combinación DE?
22) En un examen un estudiante debe seleccionar 6 preguntas de 10 sin importar el orden ¿De
cuántas maneras puede realizarse la selección?
23) ¿Cuántas líneas rectas están determinados por 8 puntos si no hay tres de ellos alineados?
24) En un Senado existen 58 miembros del partido político A y 42 del partido B, se deben armar las
Comisiones de trabajo donde habrá 6 miembros del partido A y 4 del partido B. ¿Cuántas
Comisiones se pueden formar?
25) Hay 8 puntos en un círculo ¿Cuántos triángulos se pueden inscribir con estos puntos como
vértices?
26) Desarrollar los siguientes binomios:
5
⎛1 1 ⎞
a) ⎜ a + b.c ⎟ =
⎝3 5 ⎠
9
⎛4 3⎞
⎜ x. y + z ⎟ =
2
b)
⎝3 ⎠
10
⎛5 2 3 2 3⎞
c) ⎜ x y z − 0,5.a b ⎟ =
⎝4 ⎠
d) (1,2.ab 2
− 8,1.c.d 3 )
5
=
7
⎛ 9 2 2 ⎞
e) ⎜ − .a − b ⎟ =
⎝ 8 3 ⎠
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 109 -
CAPÍTULO VII
ESTRUCTURAS ALGEBRAICAS
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 110 -
* : G 2 → G /* (a, b) = a * b
Esto significa que si operamos mediante * entre dos elementos de G, se obtiene otro
elemento de G
ESTRUCTURAS ALGEBRAICAS
ESTRUCTURA DE GRUPO
El par (G,*) es una estructura de grupo si y sólo si cumple con los siguientes axiomas:
∀a ∈ G, ∀b ∈ G, ∀c ∈ G : (a * b) * c = a * (b * c)
∃e ∈ G / ∀a ∈ G : e * a = a * e = a
Ahora, si además de estas propiedades cumple con la propiedad conmutativa el grupo se denomina
conmutativo o abeliano, o sea:
∀a ∈ G, ∀b ∈ G : a * b = b * a
Por ejemplo:
Ejemplo:
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 111 -
Como los segundos miembros son iguales, entonces los primeros también lo son, luego:
(a * b) * c = a * (b * c)
Ahora, hacemos:
e * a = 0 + a + 0 .a = a
Por lo tanto el elemento neutro es e=0
A4) Existencia del elemento inverso para cualquier elemento de Q-{1}, o sea:
−a
∀a ∈ Q − {1}, ∃a '∈ Q − {1} / a * a ' = e ⇒ a + a '+ a.a ' = 0 ⇒ a '+ a.a ' = − a ⇒ a ' (1 + a ) = − a ⇒ a ' =
1+ a
−a −a − a + a.(1 + a) − a 2 − a + a + a 2 − a 2
a '*a = + a + a '· = = =0=e
1+ a 1+ a 1+ a 1+ a
−a
Por lo tanto el elemento inverso es a ' =
1+ a
Con estas cuatro demostraciones aseguramos que (Q-{1},*) es un grupo
Ahora hacemos:
Demostración
Teniendo en cuenta la existencia del inverso en el grupo, aplicamos la composición al inverso de “c”,
o sea c’ y además la propiedad asociativa, y se tiene:
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 112 -
Propiedad 2
El elemento neutro en una estructura de grupo es único, o sea:
Sean e y e’ neutros en (G,*) ⇒ e = e’
Demostración
Como e’ es neutro ⇒ e * e’ = e’
Como e es neutro ⇒ e * e’ = e
Y por transitividad, se tiene que e = e’
Propiedad 3
El elemento inverso de un elemento de (G, *) es único
Sean a’ y a” inversos de a ⇒ a’ = a”
Demostración:
Como a’ es inverso de a ⇒ a * a’ = e
Como a” es inverso de a ⇒ a * a”= e
Luego a * a’ = a * a” y aplicando la propiedad cancelativa queda a’ = a”
Propiedad 4
El inverso del inverso de un elemento de (G, *) es el mismo elemento
(a’)’=a
Demostración:
Sea a∈G ⇒ a * a’ = e
Por otro lado (a’)’ * a’=e
O sea que a * a’ = (a’)’ * a’ y aplicando la propiedad cancelativa, queda a = (a’)’
Propiedad 5
El inverso de una composición es igual a la composición de los inversos.
(a * b)’ =a’ * b’
Demostración:
Se sabe que a’ * b’ * a * b =e
Y por otro lado que (a * b)’ * (a * b) = e
Luego se tiene: a’ * b’ * (a * b) = (a * b)’ * (a * b) y cancelado se llega a: a’ * b’ = (a * b)’
Propiedad 6
Sea (G, *) un grupo. Las siguientes propiedades son equivalentes:
a) (G, *) es un grupo abeliano
b) (a * b)’ = a’ * b’ ∀a, b ∈ G
O sea que:
SUBGRUPOS
Sea el grupo (G, *) y sea un subconjunto H de G, se dice que H es un subgrupo de (G, *) si y sólo si
(H, *) es grupo.
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 113 -
Por ejemplo:
Hipótesis
Sea (G, *) un grupo
Sea ∅≠H⊂G
Sea x∈H ∧ y∈H ⇒ x * y’ ∈H
Tesis
(H, *) es subgrupo de (G, *)
Demostración:
Para demostrar que (H, *) es subgrupo, debemos demostrar que es grupo, entonces:
x ∈ H ∧ x ∈ H ⇒ x * x '∈ H ⇒ e ∈ H
e ∈ H ∧ x ∈ H ⇒ e * x '∈ H ⇒ x '∈ H
Esto es teniendo en cuenta la hipótesis y la demostración anterior
A2) La asociatividad
Este axioma se demuestra teniendo en cuenta todas las demostraciones anteriores.
Esto significa que si se tiene un grupo (G, *) y H⊂G, basta demostrar que x∈H ∧ y∈H ⇒ x * y’ ∈H
para que (H, *) sea subgrupo de (G, *)
HOMOMORFISMO DE GRUPOS
Definición
Sean (G1, *) y (G2, º) dos grupos, y f:G1→G2, la función f se llama homomorfismo de grupos, si para
todo x, y ∈ G1, se verifica que:
f ( x * y) = f ( x)º f ( y)
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 114 -
x f(x)
y f(y)
x*y f(x)°f(y)
HOMOMORFISMOS ESPECIALES
1. f es un monomorfismo si f es inyectiva
2. f es un epimorfismo si f es sobreyectiva
3. f es un isomorfismo si f es biyectiva
4. f es un automorfismo si f es un isomorfismo entre un mismo grupo
Ejemplos
1. f(x)=ex es un monomorfismo de (R, +) en (R, ·) donde f(x + y) =ex+y =ex.ey=f(x).f(y)
2. La función f:(Z, +) →({-1, 1}, ·) dada por f(n)=(-1)n es un epimorfismo ya que
f (n + m) = ( −1) n + m = f (n). f ( m)
ESTRUCTURA DE ANILLO
Definición
Un conjunto A con dos operaciones binarias cerradas que denotaremos con + (suma) y · (producto),
se llama anillo si se cumplen las siguientes propiedades:
Ejemplos:
(Z, +, ·) es un anillo conmutativo con unidad
ESTRUCTURA DE CUERPO
Definición
Un anillo conmutativo con unidad (A, +, ·) es un cuerpo si (A – {0}, ·) es un grupo.
Por ejemplo:
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 115 -
(Q,+,·) es un cuerpo
TRABAJO PRÁCTICO Nº 7
1. Determinar si los siguientes pares son Grupos:
a. (G, *) tal que G ={x/x=2.k+1 ∧ k ∈Z} y * es el producto ordinario
b. (G, *) tal que G={x/x=3.k ∧ k∈Z} y * es la adición ordinaria
c. { }
(G, *) tal que G = a + b. 2 / a ∈ Q ∧ b ∈ Q y * es el producto ordinario
{ }
d. (G, *) tal que G = x / x = 2 ∧ k ∈ Z y * es el producto ordinario
k
www.algebramoderna.webatu.com
ÁLGEBRA MODERNA – Prof. Luis E. Valdez - 116 -
Este apunte contiene un DVD con los tutoriales sobre las teorías de cada una de las
unidades didácticas de la cátedra. -
www.algebramoderna.webatu.com