Está en la página 1de 34

Matemáticas discretas

De Wikipedia, la enciclopedia libre
Saltar a navegación, búsqueda
La matemáticas discretas es la parte de la matemáticas encargada del estudio de los
conjuntos discretos: finitos o infinitos numerables. En oposición a las matemáticas
continuas, que se encarga del estudio de conceptos como la continuidad y el cambio
continuo, la matemáticas discretas estudian estructuras cuyos elementos pueden
contarse uno por uno separadamente. Es decir, los procesos en matemáticas discretas
son contables, como por ejemplo, los números enteros, grafos y sentencias de lógica.1
Mientras que el cálculo infinitesimal es primordial en el estudio de procesos analógicos,
la matemática discreta es la base de todo lo relacionado con los procesos digitales, y por
tanto, se constituye en parte fundamental de la ciencia de la computación, una de las
ramas de estudio impartidas en los estudios de Ingeniería Informática.
La clave en matemáticas discretas es que no es posible manejar las ideas de proximidad
o límite y suavidad en las curvas, como se puede en el cálculo. Por ejemplo, en
matemáticas discretas una incógnita puede ser 2 o 3, pero nunca se aproximará a 3 por
la izquierda con 2.9, 2.99, 2.999, etc. Las gráficas en matemáticas discretas vienen
dadas por un conjunto finito de puntos que puedes contar por separado, es decir sus
variables son discretas o digitales, mientras que las gráficas en cálculo son trazos
continuos de rectas o curvas, es decir sus variables son continuas o analógicas.

Contenido
[ocultar]

1 Historia

2 Temas en la Matemática Discreta
o 2.1 Informática Teórica
o 2.2 Teoría de la Información
o 2.3 Lógica
o 2.4 Teoría de conjuntos
o 2.5 Combinatoria
o 2.6 Teoría de Grafos

o 2.7 Teoría de Distribuciones de Probabilidad Discretas
o 2.8 Teoría de números
o 2.9 Álgebra
o 2.10 Cálculo de diferencias finitas
o 2.11 Geometría
o 2.12 Topología
o 2.13 Investigación de operaciones
o 2.14 Teoría de juegos, Teoría de la decisión, Teoría de utilidad
o 2.15 Discretizacion

3 Véase también

4 Referencias

[editar] Historia
La historia de las matemáticas discretas ha visto un gran número de problemas difíciles
de resolver. En teoría de grafos, mucha de la investigación realizada en sus inicios fue
motivada por intentos para probar el teorema de los cuatro colores, el cual fue probado
más de cien años después de su inicial descripción.
En lógica, el segundo problema de la lista de problemas abiertos de David Hilbert, era
probar que los axiomas de la aritmética son consistentes. El segundo teorema de Gödel
de la incompletitud probó en 1931 que esto no es posible, por lo menos dentro de la
aritmética en sí. El décimo problema de Hilbert era determinar si un polinomio
diofántico con coeficientes enteros dado tiene una solución entera. En 1970, Yuri
Matiyasevich probó que esto es imposible de hacer.
La necesidad de burlar códigos Alemanes en la Segunda Guerra Mundial dio paso a
avances en la criptografía y la ciencia computacional teórica, con el primer computador
electrónico, digital y programable desarrollado en Inglaterra. Al mismo tiempo,
requerimientos militares motivaron avances en la investigación de operaciones. La
Guerra Fría tuvo significancia en la criptografía, manteniéndola vigente, realizándose
avances en la criptografía asimétrica.
Actualmente, uno de los problemas abiertos más famosos en la teoría de la informática
es el problema de las clases de complejidad "P = NP". El Clay Mathematics Institute ha

ofrecido un premio de un millón de dólares para la primera demostración correcta, junto
con premios para 6 problemas más.

[editar] Temas en la Matemática Discreta
[editar] Informática Teórica
Artículo principal: Ciencia computacional teórica

La complejidad estudia el tiempo en el cual un algoritmo se ejecuta..
La teoría de la informática incluye áreas de la matemática discreta relevante a la
computación. Está altamente relacionada con teoría de grafos y lógica. Dentro de la
teoría de la informática se encuentra la teoría de algoritmos para problemas
matemáticos. La computabilidad estudia lo que puede ser computado y tiene lazos
fuertes con la lógica, mientras que la complejidad estudia el tiempo que se demora en
hacer computaciones. La teoría de autómatas y los lenguajes formales se relacionan de
manera cercana con la computabilidad. Las redes de Petri y álgebra de procesos se usan
para modelar sistemas computacionales, y métodos de la matemática discreta se usan
para analizar circuitos VLSI. La geometría computacional aplica algoritmos a
problemas geométricos, mientras que el análisis digital de imágenes los aplica a
representaciones de imágenes. La teoría informática también incluye el estudio de
tópicos de informática continua.

[editar] Teoría de la Información
Artículo principal: Teoría de la Información

Los códigos mostrados aquí son una manera de representar una palabra en teoría de la
información, como también para algoritmos de proceso de información.

(((P→Q)→P)→P) es un teorema. [editar] Combinatoria Artículo principal: Combinatoria . En lógica clásica. Los conceptos como árboles de demostraciones o derivaciones infinitas también han sido estudiados. El estudio de las demostraciones matemáticas es particularmente importante en lógica y tiene aplicaciones en la demostración automática de teoremas y verificación formal de software. Cercanamente relacionado a esto es la teoría de codificación. el trabajo contemporáneo en teoría descriptiva de conjuntos hace uso extenso del uso de la matemática continua tradicional. pero la lógica puede tener valores continuos. por ejemplo en la lógica proposicional infinitaria. por ejemplo en la lógica difusa. los cuales son colecciones de objetos. blanco. como lo son las demostraciones. o más generalmente. motivado por el estudio de las series trigonométricas. generalmente restringido a dos valores: verdadero y falso. [editar] Lógica Artículo principal: Lógica matematica La lógica es el estudio de los principios del razonamiento valido y la inferencia. haciendo distinción entre diferentes tipos de conjuntos infinitos. solidez y completitud. Por ejemplo. los conjuntos numerables (incluyendo conjuntos finitos) son el principal objeto de estudio. Las formulas lógicas son estructuras discretas.La Teoría de la Información se ve involucrada en la cuantificación de la información. como también de la consistencia. [editar] Teoría de conjuntos Artículo principal: Teoría de conjuntos La teoría de conjuntos es la rama de la matemática que estudia conjuntos matemáticos. tales como {azul. las cuales forman árboles finitos. El desarrollo más profundo en la teoría de conjuntos infinitos está fuera del alcance de la matemática discreta. De hecho. El inicio de la teoría de conjuntos generalmente se relaciona con el trabajo de Georg Cantor. codificación análoga y cifrado análogo. En la matemática discreta. La teoría de la información también incluye tópicos continuos tales como señales análogas. rojo} o el conjunto infinito de todos los números primos. en la mayoría de los sistemas en la lógica. la ley de Peirce. que es usada para diseñar métodos de transmisión y almacenamiento de datos eficientes y confiables. Las tablas de verdad de formulas lógicas usualmente forman un conjunto finito. puede ser fácilmente verificado con una tabla de verdad. Conjuntos parcialmente ordenados y conjuntos con otras relaciones tienen aplicación en muchas áreas. estructuras de grafos acíclicos (en cada paso de inferencia combinando una o más ramas de premisas para dar una sola conclusión).

En contraste con la combinatoria enumerativa. que son clases de subconjuntos con ciertas propiedades numéricas de intersección. Por ejemplo. Este grafo de un tetraedro truncado está relacionado con el grupo alternado A4.}. como por .La combinatoria es la rama de la matemática que estudia colecciones finitas de objetos que pueden ser combinados u ordenados. grafos continuos. que usa fórmulas combinatorias explicitas y funciones generadoras para describir los resultados. Por otra parte. observaciones continuas como los pesos de estas aves se pueden representar mediante números reales. La combinatoria analítica se concentra en la enumeración de estructuras combinatorias utilizando herramientas de análisis complejo y teoría de probabilidad. [editar] Teoría de Grafos Artículo principal: Teoría de Grafos La teoría de grafos se relaciona estrechamente con la Teoría de grupos. Originalmente una parte de teoría numérica y análisis. incluso. o un área independiente.. y típicamente serian modelados por una distribución de probabilidad continua. la teoría de particiones es considerada una parte de combinatoria. Existen.. Generalmente es considerada parte de la Combinatoria. conteos como el número de aves en una bandada solo pueden tener valores naturales {0. pero ha evolucionado por su parte lo suficiente como para ser considerada una materia por si misma. del "recuento" de los objetos de dichas colecciones. La teoría de particiones estudia varios problemas asintóticos y de enumeración relacionados con particiones enteras. La teoría de diseño es el estudio de diseños combinatorios.. y está relacionada con series q. finitos e infinitos. en particular. 2. 1.2 La teoría de grafos tiene extensas aplicaciones en todas las áreas de la matemática y la ciencia. la combinatoria analítica se enfoca en obtener fórmulas asintóticas. La teoría del orden es el estudio de conjuntos parcialmente ordenados. La teoría de grafos es el estudio de grafos y la teoría de redes. La combinatoria enumerativa se ocupa. funciones especiales y polinomios ortogonales. [editar] Teoría de Distribuciones de Probabilidad Discretas Artículo principal: Distribuciones de variable discreta La teoría de distribuciones discretas trata con eventos que ocurren en espacios de muestra numerables.

Distribuciones continuas pueden ser utilizadas para aproximar discretas y viceversa. criptoanálisis y criptología. [editar] Álgebra Artículo principal: Álgebra abstracta Las estructuras algebraicas ocurren discreta y continuamente. Tiene aplicaciones en la criptografía. álgebra relacional. utilizada en bases de datos. de los enteros. la distribución normal. utilizada en circuitos digitales y programación. en cada pixel negro. particularmente en lo que refiere a números primos. Una secuencia puede ser una finita o infinita. [editar] Teoría de números La espiral de Ulam muestra aquí. un numero primo. técnicas de matemática continua también son utilizadas. Muchas interrogantes y . así como anillos y campos son importantes en la teoría de códigos. como por ejemplo en dados o cartas. Para situaciones en las cuales los valores posibles son altamente restringidos en su variabilidad. particularmente. Otros aspectos de la teoría de números incluye la teoría geométrica de números. Como ejemplos de álgebras discretas están: el álgebra booleana. Artículo principal: Teoría de números La teoría de números principalmente tiene que ver con las propiedades de los números en general y. grupos. Tal función discreta puede ser definida explícitamente por una lista (si su dominio es finito). [editar] Cálculo de diferencias finitas Artículo principal: Diferencia finita Una función definida en un intervalo de enteros se llama secuencia. Las ecuaciones de diferencia son similares a las ecuaciones diferenciales pero se reemplazan las derivadas tomando la diferencia entre términos adyacentes y pueden ser utilizadas para aproximar ecuaciones diferenciales. o también puede ser dada implícitamente por una relación de recurrencia o ecuación de diferencia. En la teoría analítica de números. finitos y discretos. calcular las probabilidades simplemente necesita de combinatoria enumerativa.ejemplo. Este diagrama muestra una posible pista sobre la distribucion de los números primos. o por una fórmula para su término n-esimo.

topología computacional. da a paso a muchos tópicos discretos. proveen técnicas de administración de negocios basados en teoría de grafos. Ramas de esta hay. La investigación de operaciones es una rama de las Matemáticas consistente en el uso de modelos matemáticos. [editar] Geometría La Geometría computacional aplica algoritmos a representaciones de objetos geométricos. Artículo principal: Geometría discreta La geometría discreta y combinatoria tratan las propiedades combinatorias de colecciones discretas de objetos geométricos. Un antiguo tópico en la geometría discreta es el recubrimiento del plano. la repartición de recursos para maximizar ingresos. por lo general. o agendar actividades . [editar] Topología Artículo principal: Topología Si bien la topología es el campo de las matemáticas que formaliza y generaliza la noción intuitiva de "deformación continua" de los objetos. que toman. La geometría computacional aplica algoritmos a problemas geométricos. esto puede ser atribuido en parte a la atención que se le da a los invariantes topológicos. por ejemplo.métodos de las ecuaciones diferenciales tienen sus contrapartes para ecuaciones de diferencias. Estos problemas pueden ser. [editar] Investigación de operaciones Artículo principal: Investigación de operaciones Diagramas PERT como este. valores discretos. topología de grafos. estadística y algoritmos con objeto de realizar un proceso de toma de decisiones prácticas para negocios y otras áreas. por ejemplo: topología combinatoria.

algoritmos de planificación. optimización de procesos. Sucesiones por recurrencia . La teoría de utilidades es sobre medidas de la relativa satisfacción económica proveniente del consumo de algún bien o servicio. etc. Tópicos incluyen la Teoría de subasta y la División Justa La teoría de decisión social estudia las elecciones. Inducción matemática 6. El análisis numérico es un importante ejemplo. [editar] Discretizacion La discretización busca transformar modelos y ecuaciones continuos en sus contrapartes discretas. Un jugador elige una fila y el otro una columna. incertidumbres y otros factores relevantes en una decisión. La teoría de la decisión trata fundamentalmente con identificar los valores. Preposición. Tautología y Contradicción 2.3 usualmente para hacer cálculos mas fácilmente utilizando aproximaciones. 1. el par resultante dicta sus ganancias. Tablas de verdad. martingalas de tiempo continuo. Teoría de utilidad Matriz de ganancias del dilema del prisionero. Conjunto de partes 4. La teoría de juegos trata con las situaciones donde el éxito depende de las decisiones de otros.para minimizar riesgos. Técnicas propias de la investigación de operaciones incluyen programación lineal y otras áreas de optimización. un ejemplo común de juego. teoría de colas. Teoría de la decisión. [editar] Teoría de juegos. su racionalidad y la decisión óptima resultante. análisis de redes. lo cual hace elegir el mejor curso de acción más complejo. La investigación de operaciones también incluye tópicos continuos como procesos de Markov de tiempo continuo. 5. Relación de pertenencia 3.

Reglas de divisibilidad 8. Relaciones definidas de un conjunto en si mismo 13. Clausura de una relación 14. En general se compone de la siguiente manera: (SUJETO + VERBO + PREDICADO) Tablas de verdad: P Q V V V F F V . Producto cartesiano 10. Lenguajes 23.7. subredes. Conjuntos ordenados 19. Subgrupos 21. átomos 22. Relaciones 11. Cambio de base 9. Grupos 20. Autómatas finitos LÓGICA Y CÁLCULO PROPORCIONAL: Preposición: Cualquier frase susceptible de adquirir un valor de verdad. Conjunto cociente 17. Funciones 12. Redes. Relación de equivalencia 16. Operaciones binarias 18. Composición de funciones 15.

ahora si es una proposición y es falsa. puesto que si x=1 resulta verdadero. Hay proposiciones como por ejemplo: "5 > 2". Negación de los cuantificadores: ~ (" x: P(x) ) Û $ x: ~ P(x) ~ ($ x: P(x) ) Û " x: ~ P(x) (p1. Contradicción: ~Tautología. La expresión: "$ x / x²+2x-3 = 0" es también una proposición y en este caso es verdadera. ----------------------------------------------Tautología: ~Contradicción. a las que podemos adjudicarle un valor de verdad (Verdadero o Falso). "X toma el mismo valor que Y". dándole a x el valor "0". Contradicción: El valor de verdad de toda la columna es Falso. Si el antecedente de una implicación es Falso. "5²=20". Si decimos "" x: x²+2x-3= 0".F F Tautología: El valor de verdad de toda la columna es Verdadero. pero su x=0 entonces resulta falso. el valor de verdad es Verdadero Leyes de De Morgan: 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 Cuantificadores: Hay dos tipos: El cuantificador Universal " ("Para todo") y el cuantificador existencial $ ("Existe"). puesto que podemos mostrar el contraejemplo. y hay expresiones que incluyen variables como x²+2x-3 = 0 que no podemos decir que sean proposiciones. ^ p2 ^ p3 ^ p4) Þ C .

… Pn} Decimos que P es una partición de A si se cumple que la intersección de dos elementos cualquiera de P es siempre el conjunto vacío. y el mismo conjunto A es subconjunto impropio de si mismo. Para ver el gráfico seleccione la opción "Descargar" del menú superior Inclusión: Igualdad: A Ì B Û x Î A Þ x Î B A = B Û (A Ì B ^ B Ì A ) CONJUNTO DE PARTES Dado un conjunto A. ningún elemento de P es el conjunto vacío.A} # = 2¹ = 2 Partición: Dado un conjunto "A " y otro conjunto "P". P = {P1. # (cardinal) es la cantidad de elementos que posee un conjunto. A=Æ#=0 P(A) {0. P3. P2.A} # = 2º = 1 A = {a} # = 1 P(A) {0. Condiciones: 1º) Pi ^ Pj = Æ si i ¹ j n 2º) U Pi = A i=1 3º) Pi ¹ 0 " i . la unión de todos los elementos de P es el conjunto A. El conjunto vacío es subconjunto trivial de cualquier conjunto. El Æ (conjunto vacío) es el que no contiene ningún elemento. cuyos elementos son a su vez conjuntos a los cuales llamamos Pi. Por último. llamamos P(A) (partes de A). En nuestro caso: # A = 3 # P(A) = 8 #A En general: # P(A) = 2 Por este motivo el conjunto de partes se llama también Conjunto Potencia. A la izquierda del signo Î (pertenece) debe haber un elemento y a la derecha del signo un conjunto. Todos los otros subconjuntos se llaman propios. a un conjunto cuyos elementos son todos los subconjuntos posibles del conjunto A. Para que la expresión sea verdadera el elemento de la izquierda debe ser alguno de los elementos del conjunto de la derecha.Relación de pertenencia: Se define de elemento a conjunto.

4.5.2.6ý } Es partición P2 = {í 2.2.4ý .7ý .3ý } No es partición puesto que no cumple con la tercera condición: el elemento "Æ " no puede formar parte de una partición.5ý } Es partición P3 = {í 1. í 5.1) . í 3.6ý .5.4ý .1) k=2 1) n = 1 n+1 1 1 å 3 = 3/2 (3 .5ý .2) = -1+0+2+6+14+30 = 51 i=0 6 å (2i . decimos que es una Partición Regular. P4 = {Æ . í 1.4. INDUCCIÓN MATEMÁTICA: Quinto postulado de Peano: Si [P1 es Verdadero y {Ph Þ P(h+1)} es verdadero] Þ Pn n Î N Sumatoria: 4 å (3i + 1) = 4+7+10+13 = 24 i=1 5 å (2i . í 1. í 2. í 1.5.2.6ý } No es partición puesto que no cumple con la segunda condición: el elemento "7"Ï al conjunto A.3.4.6ý } No es partición puesto que no cumple con la primera condición: el elemento "1" se repite.2) = -1+0+2+6+14+30+62 = 113 i=1 Ejemplificación: n+1 k n å 3 = 3/2 (3 .6ý . P5 = {í 1.4. Si todos los conjuntos Py que son elementos de P tienen en el mismo cardinal.Ejemplificación: Sea A = {1.í 2.6} P1 = {í 1.3.3.3.

1) Esto se considera válido siempre k=2 3) Tesis: n = h+1 h +1 k h+1 å 3 = 3/2 (3 . por hipótesis A (h) l B (h) A (h+1) l B (h+1) Para demostrarlo. la igualdad es válida. partimos de A (h) l B (h) y hacemos lo necesario para transformar A(h) en A (h+1). 2) Hipótesis: n=h hkh å 3 = 3/2 (3 .k=2 3 = (3/2) × 2 Dándole a "n" el valor de 1. aún haciendo todas las . este término resulta idéntico a la Tesis y la igualdad queda demostrada. Primero debemos probarlo para n=1 y si se cumple.1) Este es el término al que se desea llegar k=2 4) Demostración: h k h h+1 å 3 = 3/2 (3 . Una vez que en el primer término tenemos A (h+1). Inducción completa en propiedades expresadas con una desigualdad: Sea A l B una propiedad donde A es una función de n y B también.1] h+1 = 3/2 [3 + 1] Finalmente.1) + 3 Se copia la hipótesis y se agrega el término h+1 k=2 reemplazando "k" por "h+1" Se comienza a igualar para llegar a la Tesis h h+1 = 3/2 [(3 -1) + 2/3 * 3 ] hh = 3/2 [3 -1 + 2 * 3 ] h = 3/2 [3 * 3 .

segundo orden: a. Generalmente lo que queda es la expresión A (h+1) l C(h). Se reemplaza an por r².2 an = a²n-1 an = 1-a³n-1 an = 4an-1 – 2a²n-2 an = a³n-2 + 1 an = an-1 + an-2+ an-3 an = 4an-5 + 2an-3 + an-1 Resolución de ecuaciones homogéneas de primer grado. Por último. SUCESIONES POR RECURRENCIA O RECURSIÓN: an = 3an-1 + 2an-2 +5 El orden de una sucesión tiene que ver con la cantidad de términos anteriores que se utilizan. Entonces lo que debemos hacer es probar C(h) l B (h+1). an-1. c. quedando una ecuación de segundo grado con raíces reales y distintas de r1 y r2. De ambas expresiones concluimos que por ser de orden transitivas A (h+1) l B (h+1). an-1 por r y an-2 por 1. la sucesión es homogénea si no hay ningún término independiente.i. los cuales también podrían figurar como an+2. Se pasan al primer miembro los términos an. En el ejemplo tenemos una sucesión de 2º orden. En el caso anterior es no homogénea. an-2.operaciones matemáticas posibles. Debemos tener como dato los valores de los dos primeros términos de la sucesión: . Se plantea a = u · r1 + v · r2 d. an nn b. difícilmente nos quede en el segundo término B (h+1). El grado se relaciona con el exponente al que están elevados an . Ejemplificación: Expresión an = 3an-1 . an+1.

Por lo tanto podemos elaborar el siguiente sistema de ecuaciones: u + v =2 u . puesto que N : 1 = N . Si A·B = C. Es decir. 0 no es divisor de ningún número. que en nuestro ejemplo es así: Para ver el gráfico seleccione la opción "Descargar" del menú superior REGLAS DE DIVISIBILIDAD: 1. B y C Î Z. para que C sea múltiplo de A debe existir un B tal que A·B=C. también de B. y especializado en 1 da 5 (Ver llave al inicio del problema donde se aclara cuales son los datos). que son números reales conocidos. porque $ 0 / 0 · A = 0 3. para que A sea divisor de C debe existir un B tal que A·B = C 2. 0 es múltiplo de cualquier número. decimos que C es múltiplo de A. Utilizando estos datos ordenamos el sistema de 2x2: u + v = k y u·r1 + u·r2 = k’.A0 = k y A1 = k’. siendo A. escribimos la ecuación general.2/3 r . obtenemos que: v = -9/4 u = 17/4 Por último.1/3 = 0 -1/3 Aplicamos la fórmula para resolver ecuaciones cuadráticas. puesto que A : 0 = ? Þ 0 · ? = A 4.1/3 = 5 Resolviéndolo. Luego reemplazamos los valores de las raíces en la fórmula general: nn a = u · 1 + v · (-1/3) Ahora debemos usar los datos que nos dieron par resolver el problema: El polinomio especializado en 0 da como resultado 2. e) la solución general es: Para ver el gráfico seleccione la opción "Descargar" del menú superior Ejemplificación: an= 2/3an-1 +1/3an-2 a0 = 2 Esto es dato a1= 5 Primero efectuamos el cambio de variable de la manera indicada 1 r² . La resolución de este sistema no da como resultado los valores u0 y v0. y A y B son divisores de C. 1 es divisor de cualquier entero.

b) Max (Da Ç Db) 14) El Mínimo Común Múltiplo (MCM) es el mínimo elemento perteneciente a la intersección de múltiplos de A y B.5.b) = [a.14.b) = (a. 13) El Máximo Común Divisor (MCD) entre dos números es el mayor número que figura en el conjunto divisores de A Ç divisores de B.7.6. Por ejemplo: D6 = {1. pero no infinitos. Por ejemplo: 6 = 2·3 42 = 2·3·4 13 = 13 36 = 2·2·3·3 = 2²·3² Para abreviar la escritura usamos notación exponencial. MCD(a.3. 12) El teorema fundamental de la aritmética dice que cada número puede descomponerse en un producto único de factores primos.6} D42 = {1.2.3. 1 es múltiplo de 1 y -1 7) Para ver el gráfico seleccione la opción "Descargar" del menú superior 8) El conjunto de divisores de n está formado por todos los Z que lo dividen exactamente.13} + D0 = Z . 10) Decimos que un número es compuesto cuando tiene más de dos divisores.42} D13 = {1. MCM(a.b) Método para hallar el MCM y el MCD: Número 1 Número 2 Número 3 Divisor 4000 2500 3600 2* 2000 1250 1800 2* .2.{0} D1 = {1} 9) Decimos que un número es primo cuando tiene dos divisores: "1" y él mismo.b] Min (Ma Ç Mb) 15) El MCM entre A y B = A·B MCD (a. 11) El 0 y el 1 no son primos ni compuestos.

000 22 M C D = 2 · 5 = 100 Consideraciones: a Î Z. b ) = (b. b Î Z Þ (a . a) 1. 2) (a . ï b ï ) = (b. Trabajar con a o con ï a ï produce el mismo resultado. (a . b ) = (ï a ï . cuando formamos el conjunto de divisores de un número. ï b ï ) 2. a) 1) Por convención. por lo tanto Dn = D-n. a) CAMBIO DE BASE: Ejemplificación: Base 5 a base 10 (b5® b10) 430123 = 543210 4·5 + 3·5 + 0·5 + 1·5 + 2·5 + 3·5 = 4 · 3125 + 3 · 625 + 0 · 125 + 1 · 25 + 2 · 5 + 3= . (a . b ) = (ï a ï . b ) = Max (Da Ç Db) = Max (Db Ç Da) = (b.1000 625 900 2 500 625 450 2 250 625 225 2 125 625 225 3 125 625 75 3 125 625 25 5* 25 125 5 5* 5 25 1 5 1 5 5 1 * Dividen a toda la fila 524 M CM = 2 · 3 · 5 = 180. sea el número positivo o negativo. consideramos solo los divisores positivos.

b10 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 La conversión de base hexadecimal a base decimal se efectúa de la forma convencional antes vista Pasaje de una base a otra que es potencia de ella: .12500+1875+0+25+10+3= 14413 Como se observa. el número (430123) b5 resulta equivalente a (14413) b10 Base 16 a base 10 (b16® b10) Como la base 16 o hexadecimal tiene seis símbolos más que la base 10 o decimal. la equivalencia entre dichas unidades es la que se expone en la tabla.

llamamos Producto Cartesiano A·B al conjunto de todos los pares ordenados que se pueden armar con el primer componente perteneciente al primer conjunto y el segundo componente perteneciente al segundo conjunto. B= {1.3} R = {(a. b2. (b. a2. a3).3)} Gráficos: Para ver el gráfico seleccione la opción "Descargar" del menú superior MR1= 1 0 1 011 Matriz booleana Tabla Simple Doble entrada Diagrama de Venn Diagrama Cartesiano .1). En cada uno escribimos la cifra de arriba en base m. Ejemplificación: Caso 1: Pasaje de la base 2 a la base 16 0 1 0 0 4 Caso 2: Pasaje de la base 8 a la base 2 7 1 1 1 PRODUCTO CARTESIANO: Sean dos conjuntos A y B.3). (b1. se escribe el número en base m y se lo divide de derecha a izquierda en grupos de n números.3} A·B= (a1.2.b}. (b. escribimos el número separando bien las cifras y debajo de cada cifra hacemos un rectángulo dividido en n casilleros.b}.2). B= {1.2. b3) RELACIONES: Llamamos Relación de A en B a cualquier subconjunto del Producto Cartesiano de A·B A = {a.Caso 1: Para pasar un número de base m a base m^n. (a. completando con cero los casilleros vacíos. Ejemplificación: Sea A = {a. Cada uno de estos números pasados a base 10 será una de las cifras de este mismo número expresado en base m^n. Caso 2: Para pasar un número de base m^n a base m.

) t t-1 i 3. Si ningún par (x. RELACIONES DEFINIDAS DE UN CONJUNTO EN SI MISMO (A® A) Reflexividad: Una relación es Reflexiva cuando para cada x Î A. es su propia Clausura Transitiva.x) Î a la relación. Se encuentran las potencias de R (R². se cambian los 1 por 0 necesarios para que sea simétrica respecto de la diagonal principal. Si cada elemento del segundo conjunto es imagen de alguien. Clausura Transitiva: Es la menor relación transitiva que contiene a la dada. la relación es Antisimétrica. Clausura Simétrica: Es la menor relación simétrica que contiene a la dada. (y. Si está dado matricialmente. deben figurar tantos pares (x. a lo sumo.y). Si la relación es transitiva.x) Î R FUNCIÓN: Decimos que una relación es una función si para cada elemento del primer conjunto existe una única imagen. imagen de un elemento del primer conjunto. la diagonal principal debe ser toda de "1". Si ningún par tiene simétrico. es su propia Clausura Transitiva. entonces aparece también el par (x. t 2. Si no lo es se halla usando el siguiente método: 1. entonces la función es Inyectiva. Llamamos Imagen ( I) al conjunto de elementos del segundo conjunto que son segunda componente de algún par. la relación es Areflexiva.z). Si cada elemento del segundo conjunto es.Llamamos Dominio (D) de una relación al conjunto de elementos del primer conjunto que son primer componente de algún par de la relación. Si algunos pares tienen simétrico y otros no.y). no se buscan más potencias y esa es la Clausura Transitiva. etc. Si una relación es simétrica. entonces es Biyectiva. Si la relación es reflexiva. Si la relación está dada como matriz booleana.x) como elementos tenga el conjunto. Si la relación está dada por una matriz booleana.x) figura. Simetría: Una relación es Simétrica si todo par tiene su inverso en la relación. la relación es No Simétrica. Transitividad: Una relación es Transitiva si existiendo en la relación dos pares del tipo (x. R³. el par (x. es su propia Clausura Simétrica. . Si R es la relación total o producto cartesiano. CLAUSURA DE UNA RELACIÓN: Clausura Reflexiva: Es la menor relación reflexiva que contiene a la dada. la relación es No Reflexiva. la Clausura Reflexiva se obtiene completando con 1 la diagonal principal.x) figuran y otros no.y) / (y. Si algunos pares (x. La Relación Complementaria (R) de otra dada es la diferencia entre el producto cartesiano de A·B y la relación R definida de A® B La Relación Inversa (R¯¹) es la relación que contiene a los pares (x. Si una función es sobreyectiva e inyectiva. Si está escrita en forma de pares. entonces la función es Sobreyectiva.

1).1).2). entonces la C.4. (3. entonces no se buscan más potencias y la C.1)} T° R= {(1. (Diagonal principal sombreada)  Como los elementos que bordean a la Diagonal principal son idénticos. simétrica y transitiva.3). Clasificación de las relaciones por sus propiedades: Una relación es de Orden Estricto si es asimétrica y transitiva. Si R es la matriz nula. (3.3)} Para ver el gráfico seleccione la opción "Descargar" del menú superior R° T= {(1. (3.2)} T= {(1. (3.1). lo podemos anotar con notación exponencial: R° R = R² . (2. P. (3. la matriz es simétrica. (2.2). P. (3. antisimétrica y transitiva. (2. la matriz es reflexiva.T es la unión generalizada R¥ = U R t i=1 4) Si R es igual a alguna potencia anterior.2).1). Ej: ³ Una relación es de Equivalencia si es reflexiva.1).1).1)} Cuando componemos un conjunto con él mismo. COMPOSICIÓN DE FUNCIONES: R: A ® T T: A ® A R= {(1.T es idéntica que en el punto anterior. (3.3). Ejemplificación: 1 0 1 0 1 0  Al tener en su Diagonal Principal únicamente "1".2). (2. (2.: > Una relación es de Orden Amplio si es reflexiva. (Elementos en cursiva)  Al multiplicar la matriz por si misma se obtiene otra matriz idéntica y por lo tanto se halla la clausura transitiva. Ej.

y sino abrimos la clase del B que lo contiene. y así sucesivamente. Tomamos el primer elemento y formamos la clase que lo contiene. Estas relaciones tienen una característica muy particular: producen en el conjunto en el cual las definimos una partición. RELACIONES DE EQUIVALENCIA: Una relación es de Relación de Equivalencia (º ) cuando es reflexiva. Cuando A=B y tenemos una función A× A en C. B y C pueden ser distintos o iguales. de tal forma que se repetirán cíclicamente. OPERACIONES BINARIAS Llamamos Operación Binaria a cualquier función de A× B en C. Los conjuntos A. si es de equivalencia queda en la clase del A. y sino abrimos la clase del C que lo contiene. de ahí en mas. Podemos obtener la matriz total (toda de "1"). a partir de ella todas las potencias restantes serán la matriz nula. sino lo comparamos con B. vemos que sale fuera de los números naturales. Tomamos el elemento C y lo componemos con A. y segundo componente perteneciente a B. B quedará en la clase del A. todas las potencias serán iguales a ella. b) Como comparamos todos los elementos de A. Es decir. CONJUNTO COCIENTE: Decimos que el Conjunto Cociente es una partición porque: a. con algún criterio podremos interpretar el armado de las clases de equivalencia. Si los elementos son infinitos.Cuando componemos una matriz con ella misma puede ocurrir que obtengamos la matriz nula. donde 5 y 12 Î N y -7 Î Z. como puede ser la resta definida en nxn que va a parar a Z. entonces. Sea el conjunto A y en el definido una relación de equivalencia. El conjunto de todas las clases de equivalencia es el Conjunto Cociente. ninguna puede ser Æ . Esta partición se caracteriza porque en cada conjunto de los que integran la partición encontramos elementos equivalentes entre si. entonces aÛ c es equivalente a bÛ d. la unión de todas las clases será A. y c es equivalente a d. Puede ocurrir que encontrando las potencias de una relación obtengamos una que ya había aparecido. le hacemos corresponder un elemento de C. Sea X1 Î Ca ^ X1 Î Cb X1 Î Ca Þ X1 º a Þ a º X1 Œ X1 Î Cb Þ X1 º b Œ y a º b Þ b Î Ca Þ Ca = Cb Ca y Cb = Æ Relación de equivalencia compatible con una operaciónÛ Decimos que Û y º son compatibles cuando: si a es equivalente a b. Comparamos el segundo elemento: si son equivalentes. en cuyo caso. . simétrica y transitiva. Ejemplo: 5-12= -7. a un par ordenado con primer elemento perteneciente a A. como cada clase se abre para cada elemento.

3 (A + B .3AB)Û C = A + B . Ejemplo: Producto de un escalar por un vector.3AB definida en Z 1) La operación es cerrada. o bien una Operación Cerrada.3AA 2A .3AB = B+A – 3BA.3BC) = A + B + C – 3BC – 3A (B + C-3BC) = A + B + C . o que cumple con la Ley de Cierre.3BC . y tenemos Ley de Composición Externa.3AB .3AC + 9ABC Œ (A + B . en este caso la función no va de A× A en A y decimos que es una Ley de Composición Interna. que va de rxb en b.3A² ¹ A No es idempotente.3AA = A 2A . por lo tanto la operación es asociativa. Esto es válido puesto que la suma y la multiplicación son operaciones conmutativas. en ambos casos (Œ y ) se llegó al mismo resultado. Propiedades:  Propiedad Conmutativa: AÛ B = BÛ A  Propiedad Asociativa: (AÛ B)Û C = AÛ (BÛ C) Elementos Notables:  Idempotencia: A Û A = A  Elemento Neutro: A Û e = A  Elemento Inverso: A Û A’ = e  Elemento Absorbente: µ Û A = µ  Involución: A Û A = e Ejemplificación: Sea AÛ B= A+B . y porque lo es la multiplicación de números enteros.3AB) C = A + B + C . Puede ocurrir que A=B=C. Elemento Neutro: AÛ C = A + C – 3AC A + e – 3 Ae = A . porque lo son la suma y la multiplicación en Z. Propiedad Asociativa: AÛ (B + C .3AB . Propiedad Conmutativa: A+B .3AB + C .3AC -3BC + 9ABC Nótese que aplicando la asociatividad.Puede ocurrir que B y C sean iguales. Idempotencia: AÛ A = A + A .

. debe tener neutroizquierda. que exista derecha. CONJUNTOS ORDENADOS Decimos que dos elementos son comparables cuando una relación l . Hay relaciones de orden amplio que son totales como ³ y relaciones de orden amplio que no lo son. Ejemplificación: En Z. o bien. pero no son comparables respecto de la relación "/" ("Divide a"). puesto que ni 2/3. como < y relaciones de orden estricto que no lo son. Si la operación no es conmutativa debemos probar el neutro a derecha y a izquierda. si existe al menos un elemento de B que no pertenece a A). Una relación es de Orden Total cuando todos los elementos del conjunto en el cual está definida son comparables entre si. pero no tiene neutroizquierda.e – 3 AC = 0 e (1–3A) = 0 e=0 En este caso el Elemento Neutro es el Cero Elemento Inverso: AÛ A’ = A + A’ – 3AA’ A + A’ – 3AA’ = 0 A’ – 3AA’ = – A A’ (1–3A)= – A A = – A : (1–3A) Obsérvese que Ï Z y que además A ¹ 1/3. Ejemplificación: la relación de menor definida en N es buen orden. Una relación de orden definida en un conjunto A es un Buen Orden si para cualquier elemento de A $ siempre un elemento que l a todos los otros. pero no izquierda o viceversa. neutroderecha y ambos deben ser iguales. ni 3/2. podemos afirmar que Al B o Bl A. cualquier subconjunto infinito de los N no tiene primer elemento. tiene como primer elemento el mayor elemento del conjunto. La relación de mayor definida en N. Hay relaciones de orden estricto que son totales. pues cualquier subconjunto de N tiene siempre un elemento menor que todos los demás. Puede ocurrir que no exista neutro porque queda en función de A. como /. Por ejemplo: La potencia tiene neutro a derecha. pues 2 < 3. por lo tanto no existe un Elemento Inverso. Elemento Absorbente: AÛ µ = A + µ – 3Aµ A+µ – 3 Aµ = 0 µ = –A : (-3A) µ = 1/3 Al existir dos soluciones posibles no existe Elemento Absorbente. 2 y 3 son comparables respecto de la relación de menor. como la inclusión propia (Decimos que un conjunto AÌ B propiamente. Para poder decir que una operación no conmutativa tiene neutro. por lo tanto.

11. 360360 es supremo.13} Minimales: { 2. Llamamos Maximales a los elementos de A que no son seguidos por ningún otro elemento de A. llamamos Minimales a los elementos del conjunto A que no son precedidos por ningún otro. La función inversa es la que conocemos habitualmente y decimos que la composición de F con G es otra función de pares (x. La mayor de las Cotas Inferiores. Diagrama de Hasse: Para ver el gráfico seleccione la opción "Descargar" del menú superior GRUPOS Condiciones: (G. si pertenece al conjunto A es Mínimo y si no pertenece es Ínfimo.k) Î g Ù (x. Nótese que un mismo elemento puede ser minimal y maximal a la vez. si pertenece al conjunto A es Máximo.Elementos notables: Dado un conjunto A incluido en otro R.Û ) 1) Û es cerrada en G 2) Û es asociativa en G 3) $ e neutro en G para Û 4) $ a’ para cada a de G / a’Û a = aÛ a’ = e Cuando además de ser grupo la operación es conmutativa. Composición de funciones: Es asociativa.13} Cotas inferiores: { -1. Dado un conjunto A incluido en otro R.5. Ejemplificación: A 1 2 . Cotas superiores: { 360360} . llamamos Cotas Superiores a todos los elementos de R que siguen a cualquier elemento del conjunto A. Si una relación de orden no es total.3.11.7.y) / $ k: (x. generalmente no es conmutativa.12. 1} . y si no pertenece es Supremo. La menor de las cotas superiores. El elemento neutro es la Identidad.9. se dice que es Grupo Abeliano. 1 es ínfimo. Ejemplificación: Sea el conjunto de los x A={ x / 2 £ x £ 13} . y llamamos Cotas Inferiores a todos los elementos de R que preceden a cualquier elemento de A.y) Î F. genera un gráfico llamado Diagrama de Hasse. en la relación "/" en Z Maximales: { 8.10.

Inversos: F1’ = F1 F2’ = F3 F3’ = F2 F4’ = F4 F5’ = F5 F6’ = F6 SUBGRUPOS Si un conjunto S ¹ Æ . constituye a su vez un grupo. F5} < F6> = { F1. F3} < F4> = { F1. sin embargo un grupo no abeliano puede tener grupos abelianos o no abelianos. F2.3  La operación es cerrada. que es G. En el ejemplo anterior S = { F1. como se puede observar en la tabla. Cualquier subgrupo que no sea el trivial ni el impropio se denomina Subgrupo Propio.  F1 es la identidad y funciona como neutro. decimos que S es un subgrupo de G.  La composición de funciones es asociativa. F1.  No es conmutativa. El Conjunto generado por un elemento es el conjunto que se obtiene operando un elemento consigo mismo como sea necesario hasta que empieza a repetirse. por lo tanto (F. F6} Todo conjunto tiene como mínimo dos subgrupos: el Subgrupo Trivial { e} y el Subgrupo Impropio. ° ) es grupo no abeliano. además abeliano. < F1> = { F1} < F2> = { F3. Nótese que todo grupo abeliano tiene todos sus subgrupos abelianos. puesto que F4° F3 = F5 y F3° F4 = F6. tiene a su vez estructura de grupo. F3} . F1.  Cada elemento tiene inverso. . F2} < F3> = { F2. incluido en G. F4} < F5> = { F1.

entonces d divide a n.Teorema de Lagrange Si un conjunto es finito. d) Grupos de cuatro elementos: Û e a b c Si el subgrupo de cuatro elementos tiene un inverso de si mismo y una pareja. debemos comprobar que b Û b = c Û c = a Grupos Cíclicos . Grupos de pocos elementos a) Grupos de un elemento: El único grupo de un elemento es el grupo trivial (neutro). c) Grupos de tres elementos: Û e a b Si queremos encontrar grupos de tres elementos debemos buscar dos elementos que sean uno inverso del otro y que además el primero operado con si mismo de el segundo y viceversa. En consecuencia si el cardinal de un grupo es primo. de cardinal n y tiene un subgrupo de cardinal d. no tiene subgrupos propios. b) Grupos de dos elementos: Û e a Cualquier conjunto que contenga al neutro y a otro elemento inverso de si mismo es subgrupo del dado.

Si el cardinal del grupo es finito. En Zn con el producto cuando n no es primo. Los divisores de n generan al conjunto de sus múltiplos que constituyen subgrupos. El conjunto de estos elementos es con el producto un grupo abeliano. que es absorbente para el producto. que existe neutro y que cada elemento tiene inverso.3.13} • 1 1 1 . Si un grupo tiene cardinal infinito para probar que es un subconjunto es subgrupo de él. por lo tanto es cerrada. porque no existe elemento que genere a todos.9. c) La clase del cero funciona como elemento neutro en base a la definición dada. Los grupos cíclicos son siempre conmutativos. Ejemplificación: { Z14 -{ 0} . El elemento neutro es la clase del 1 y los inversos los encontramos en la tabla correspondiente.Decimos que un grupo es Cíclico cuando hay por lo menos un elemento que genera todo el grupo. para probar que un subconjunto es subgrupo basta mostrar que la operación es cerrada en él.11. º 12 0’ = 0 1’ = 11 2’ = 10 3’ = 9 4’ = 8 5’ = 7 6’ = 6 Los números coprimos con n generan todo el conjunto. por lo tanto son grupos cíclicos. d) Cada clase x tiene su inverso en la clase n-x e) Para cualquier n. Ä } INV = { 1. En las clases Zn con el producto de clases. En todos los casos el elemento 1 genera a todos los demás. Å ) es un grupo abeliano.5. veremos que algunos elementos tienen inversos. Ä ) tiene estructura de grupo. Ejemplificación: (Zn. si n es un número primo entonces (Zn -{ 0} . debemos probar que la operación es cerrada. El ejemplo de las funciones no es cíclico. debemos retirar la clase del 0. (Zn. Å ) a) Por definición la suma de clases es otra clase. b) La suma de clases es asociativa y conmutativa porque lo es la suma en Z.

2) Por pertenecer ambos a la intersección. pero H pertenece también a k. eso significa que ambos pertenecen a H. que por ser subgrupo contiene a H’. por lo tanto pertenece a la intersección.13} { 1. y como k es un subgrupo contiene a H1 Û H2. Por pertenecer H1 Û H2 a ambos conjuntos pertenece a la intersección. entonces k’ por pertenecer a h y k pertenece a la intersección.11} { 1} Red de subgrupos Intersección de subgrupos: 1) Sean H1 y H2 elementos pertenecientes a la intersección de h y k. 3) La asociatividad se hereda de un grupo grande a cualquier conjunto. que por ser subgrupo contiene a H1 con H2.9. y un subgrupo H de él. y por lo tanto a la intersección. 4) Si H pertenece a la intersección es porque pertenece a H grande. Congruencia Módulo H Dado un grupo G. El neutro pertenece a ambos subgrupos. pertenecen a k. definimos la relación Congruencia Módulo H en G de la siguiente manera: .3 3 5 5 9 9 11 11 13 13 1’ ® 1 2’ ® No 3’ ® 5 4’ ® No 7’ ® No 9’ ® 11 13’® 13 Subgrupos: { 1.3. que por ser subgrupo contiene a k’.5} ® No válido { 1.

G’. entonces es un Monomorfismo. y " H Ì al subgrupo g’ Û h Û g Î H. por lo tanto produce en G una partición en clase de equivalencia. y el índice del subgrupo se obtiene efectuando # G / # H. F3. F5. Si f es biyectiva es un Isomorfismo. de # n y H tiene # q Þ la cantidad de clases de equivalencias es n/q. b Î G Congruencia modulo H a derecha. . Si está definido un grupo en ese mismo grupo es un Endomorfismo. F4. La clase del neutro es el subgrupo H. decimos que dicha relación le da estructura de Red (también llamada Retículo o Lápiz) al conjunto. F4} Para ver el gráfico seleccione la opción "Descargar" del menú superior Si un subgrupo genera coclases iguales. a) a º h a a’ Û a = e Î H Es reflexiva b) a º h b Þ a’ Û b Î H Þ (a’ Û b’) Î H Þ b’ Û (a’)’ Î H Þ b’Û a Î H Þ b º h a Es Simétrica c) a º h b Þ a’ Û b Î H b º h c Þ b’ Û c Î H Queda demostrado que º h es de equivalencia.a º h b Û a’ Û b Î H " a. Una operación binaria definida en A x A. y en cambio si componemos los elementos del subgrupo con las de G obtenemos las coclases a derecha. y una relación definida en A son compatibles (~) Û a ~ b Ù c ~ d Þ a Û c ~ b Û d. b Î G Congruencia modulo H a izquierda. Å ) H = { 0. decimos que es normal y entonces se cumple " G Ì al grupo grande. Homomorfismos Sean dos grupos G. Ejemplificación: F = { F1. Si el grupo no es infinito. y si además es biyectiva. porque " elemento de H ° e es un elemento de H. REDES Dado un conjunto A y una relación de orden definida en él. siendo el orden parcial. La partición que produce es regular. cada clase tiene tantos elementos como el subgrupo H. F2. Ejemplificación: G = (Z12. F6} S = { F1. es un Automorfismo. a º h b Û a Û b’ Î H " a. si para cada par de elementos existe un único máximo y un único mínimo. decimos que f. Si f es sobreyectiva es un Epimorfismo.4. definida en G ® G’ es un Homomorfismo Û f (a Û b) = f (a) Û f(b). Si f es inyectiva. si G ¹ ¥ .8} Para ver el gráfico seleccione la opción "Descargar" del menú superior Cuando el grupo es abeliano las coclases a izquierda y a derecha son iguales. entonces componiendo los elementos de G con los del subgrupo se obtienen las coclases a izquierda. por lo tanto.

Átomos de una red Llamamos Átomos a los elementos del conjunto. precedidos únicamente por el mínimo absoluto. Redes del tipo P(A) con la inclusión Sea: A = { 1.Toda red tiene un primer elemento que antecede a todos los demás y uno último que sigue a todos los demás.  El máximo absoluto es A.b] . Subred Si el conjunto S Ì A tiene a su vez estructura de red.5.3. Ejemplificación: S = { Æ .2.  En estos retículos el máximo es la unión y el mínimo la intersección.30} Máx = [a. llamados Máximo Absoluto y Mínimo Absoluto. la red es Distributiva.15.5} Inversos: (Elementos que no se tocan entre si) 1 = 30 2 = 15 3 = 10 5=6 S = { 3.6. Si para todos los elementos del conjunto existe complemento.2. /) D30 = { 1.6.10. En nuestro ejemplo los átomos son los conjuntos de 1 elemento.15. con la relación "divide a" (D30.2} Redes de divisores de n. Ì } Para ver el gráfico seleccione la opción "Descargar" del menú superior  El mínimo absoluto es Æ . Las operaciones mayor y menor pueden o no ser mutuamente distributivas. 1.3} { P(A). Decimos que dos elementos son Complementarios cuando el mayor y el menor entre ellos son el mayor y el menor absoluto.3. 2. Si lo son. 1. decimos que es una Subred. decimos que la red es Complementada.30} Para ver el gráfico seleccione la opción "Descargar" del menú superior Mínimo absoluto: 1 Máximo absoluto: 30 Átomos: { 2.  Cada elemento tiene complemento respecto de A.

11} L2 = { w Î N* / long (w) ³ 1} = { 0. 1. Ejemplificación: 30 = 2•3•5 Es complementada / de 12. 01. cada elemento de V es llamado Letra. 01. pero no todos son complementados. En las redes divisores de n con la relación "divide a". R La reflexión de una palabra W es la que tiene sus letras invertidas. 0010. …} L3 = { w Î N* / w termina en 1} = { 1. 11. si contiene a la última letra es un Sufijo.Mín = (a. L1 ° L2 = { w/w = w1· w2 w1 Î L1 Ù w2 Î L2 } . 001. Para que una red de este tipo sea complementada n debe ser el producto de factores primos distintos. Siendo V un vocabulario cualquiera. 0100. 10.1} L1 = { w Î N* / long (w) £ 2} = { 0. Cualquier secuencia continua de letras de una palabra que contenga a la primera letra es un Prefijo. La reflexión es involutiva. 0001} Concatenar dos lenguajes es obtener otro lenguaje donde cada palabra es concatenación de una palabra del primer lenguaje con otra del segundo lenguaje. y el complemento de cada elemento es el complemento respecto del conjunto. 001.b) Redes complementadas: Las redes del tipo P(A) con la inclusión son siempre complementadas. …} L4 = { w Î N* / ç ç wç ç =2} = { 00. Ejemplificación: Lidia = Aidil Juan = Nauj Pedro = Ordep V* es el conjunto de palabras que pueden formarse con las letras del alfabeto V. Concatenar dos o más letras es escribir una junto a la otra. su producto es n. 10. 01. si dos números son complementados. 1. es un conjunto infinito siempre y cuando V ¹ Æ . 00. La concatenación de varias letras se llama Palabra (también denominada Cadena o String). siendo 12 = 2•2•3 No es complementada LENGUAJES Llamamos Vocabulario a cualquier conjunto finito. 11} L5 = { w Î N* / ç ç wç ç = 4 y tiene un 1 solamente} = { 1000. Llamamos Lenguaje sobre un vocabulario V a cualquier subconjunto de V* Ejemplificación: Sea N= { 0. La palabra vacía o sin letras se simboliza con la letra griega Lambda (l ).

.Ejemplificación: Sea: L1 = { l .b} Vn = { S. 101. Vn ¹ Æ . 001.B} S®a/A/B A ® l / Ab B ® b / bbB Para ver el gráfico seleccione la opción "Descargar" del menú superior Clasificación de Chomsky Las gramáticas de Tipo 0 o Irrestrictas permiten cualquier tipo de producción. 01} L1 L2 = { 0.A. 01. 100} L2 = { 0. 1. 10. 1. Vt ¹ Æ . 1000. P = Conjunto de producciones X® Y con X ¹ l Sea: Vt = { a. 1001. Vn. 10001} ï ï L1 L2ç ç £ ç ç L1ç ç ° ç ç L2ç ç Para la concatenación de lenguajes usamos la notación exponencial L³ = L¹ L¹ L¹ Lº = { l } = L L¹ = L Lª = Lª¯¹ L ¥ Clausura de Kleene U Lª n=0 ¥ Clausura Positiva U Lª n=1 Producción: Para ver el gráfico seleccione la opción "Descargar" del menú superior Gramática: Componentes: (Vt. 00. Vt Ç Vn = Æ S = Símbolo no terminal. 1. 0. inicial o cabecera del lenguaje. P) Vt es un conjunto finito de símbolos no terminales. S. 11.

un único símbolo. solicitando dicho material. E. Dos gramáticas son equivalentes cuando generan el mismo lenguaje. Las gramáticas de Tipo 2 o Independientes del Contexto son las que admiten en las producciones X como un único símbolo no terminal. f: Función que hace corresponder a cada estado con la letra de entrada el estado siguiente. constituido. e0. f. ni garantiza su funcionalidad en el estudio. Ejemplo de autómata: Autor: Banfield Crítico Editado en febrero/marzo de 2005 por Banfield Crítico. e0: Estados iniciales. Todos los textos presentes en esta edición fueron extraídos durante la cursada de la materia homónima en la Universidad Tecnológica Nacional durante los meses de agosto de 2004 y febrero de 2005. F: Conjunto de estados finales que se marcan con doble círculo. por los elementos del vocabulario. E: Conjunto de estados necesarios para hacer el reconocimiento. Si desea obtener una copia digital en formato PDF escriba a la dirección de correo electrónico citada arriba. .Las gramáticas del Tipo 1 o Sensibles al Contexto son tales que en cada producción del tipo X ® Y la longitud de Y es mayor que la longitud de X. F) AE: Es el lenguaje de entrada. en el caso de lenguajes. El autor de esta obra no se responsabiliza por el contenido de la misma. Queda autorizada la duplicación por cualquier medio óptico o digital en tanto no se utilice para fines de lucro. e y puede ser la palabra vacía. o bien dos: uno terminal y otro no terminal. En las de Tipo 3 o Regulares X solo puede ser un símbolo no terminal. AUTÓMATAS FINITOS Componentes: (AE.