Abrir SIMAR

Para abrir el programa se da doble clic sobre el icono:

Después de dar doble clic sobre el icono, se abrirá la siguiente ventana (véase, Figura 1) la cual tiene varias
secciones y elementos que se irán explicando paso a paso.

Nombre de la relación actual

Transformaciones

Matriz de
Grafo adyacencia

Conjunto de
pares ordenados
Propiedades
Operaciones
entre
conjuntos

Figura 1. Ventana de inicio

Introducir una relación matemática

La ventana principal tiene varios elementos los cuales se irán explicando. Pero lo primero que se debe hacer
para poder utilizar los botones y demás opciones, es introducir la relación matemática. Para ello existen tres
formas de introducirla:

1.- Por medio de una matriz

2.- Por medio de un grafo
3.- Por medio de pares ordenados

1
Así que primero deberá seleccionar cuál de las 3 formas elegirá para introducir la relación matemática en la
lista desplegable (véase, Figura 2):

Opciones para
introducir la
relación
matemática

Figura 2. Lista de opciones para introducir la relación matemática

Después de seleccionar una opción se inhabilitará con un fondo color gris las otras dos opciones no
seleccionada. A continuación en la Figura 3 se pueden ver cada uno de los posibles casos:

Figura 3a. Opción de matriz Figura 3b. Opción de grafo

2
 Figura 3c. Opción de parejas

CASO 1: introducir una relación matemática por

medio de una matriz

Al elegir la opción de matriz, lo primero que se debe hacer es seleccionar las dimensiones de la matriz (se
tiene como longitud máxima 9), para ello haga uso de los botones que aparecen en la parte izquierda de la
matriz. Palomee e inmediatamente se deshabilitaran los campos de la matriz que no se van a utilizar (véase
Figura 4)

Cambiar por
letras o
números

Seleccionar las
dimensiones de
la matriz

Figura 4. Configuración de la matriz de adyacencia

3
Si usted ya había definido un tamaño de la matriz y desea modificarla, vuelva a dar clic sobre la palomita, así
la matriz volverá a tener todos sus campos habilitados.

Después de seleccionar el tamaño de la matriz, usted puede cambiar el nombre de los elementos de la
relación de números a letras o viceversa. Sólo es necesario dar clic en la parte superior izquierda de la matriz
en donde se encuentran horizontalmente las letras (a, b, c, etc.) por default y escribir por medio el teclado
algún numero o viceversa, y automáticamente se cambiarán y se ordenaran. (véase, Figura 4)

La matriz se encuentra llena por default con ceros, pero se pueden cambiar dando clic sobre el campo que se
quiera convertir a uno o a cero.

Suponiendo el caso de que se quiera meter una matriz identidad de 3x3 se vería así la matriz (véase, Figura
5):

Figura 5. Matriz identidad

Y por último se da clic sobre el botón “generar” para que el sistema pueda mostrar cuál será la representación
equivalente de la relación matemática introducida por medio de la matriz, en un grafo y como un conjunto de
pares ordenados.

Además que al dar clic sobre el botón generar automáticamente se guardará la relación con un nombre
asignado por default y se mostrarán también las propiedades que tiene dicha relación matemática. (véase,
Figura 6)

4
 Nombre de la relación
guardada

Botón
“generar” Relación
inicial

Grafo
equivalente

Conjunto de
pares
ordenados
equivalente

Propiedades de la
relación matemática

Figura 6. Paso final para introducir una relación matemática por medio de una matriz

CASO 2: introducir una relación matemática por

medio de un grafo

Al elegir la opción de grafo, lo primero que se debe hacer es dejar el número de nodos que va a tener su
relación matemática. Usted puede borrar los que no desea por medio de dos opciones:

1.- Seleccionando el nodo que desea borrar y dando después clic en el botón derecho del mouse, y se
desplegará un menú emergente como se ve el la Figura 7, al que se seleccionará la opción de borrar.

2.- Seleccionado el nodo que se desea borrar y dando clic sobre el botón de borrar como se puede ver
en la Figura 8.

3.- Seleccionando el nodo que se desea borrar oprima en el teclado “supr”

5
Al borrar un nodo, se ordenaran alfabéticamente o descendentemente los nodos restantes, dependiendo si los
nombres de los nodos son numéricos o alfabéticos.

Opción para borrar Botón para borrar

Figura 7. Primera opción para borrar un nodo Figura 8. Segunda opción para borrar un nodo

Después puede seleccionar si los nodos que va a utilizar van a ser números o letras. Para lo cual sólo
necesita dar clic sobre el botón derecho del mouse y pulsar en la opción de “Cambira Números/Letras” como
se muestra en la Figura 9.

Cambiar
números
por letras o
viceversa

Figura 9. Cambiar nombre del nodo

En seguida acomode los nodos seleccionando uno por uno y arrastrándolos con el mouse hasta donde lo
desee dentro del área gráfica, para poder seleccionar elementos del grafo presione el botón . En el caso
de que el nodo ya tenga líneas estas se desplazaran junto con el nodo. (véase, Figura 10)

6
 Líneas Seleccionar
Nuevo nodo Borrar

Figura 10. Botones para hacer grafos

Ahora si, puede empezar a hacer las líneas que relacionen los nodos del grafo seleccionando el botón de
seleccionar .

Pero si desea que aparezca un lazo hacia el mismo nodo posicione el mouse en el nodo que desea
que aparezca el lazo y de un clic.

Las puntas de flecha se representan por medio de un punto rojo.

Si desea borrar una línea selecciónela y de un clic en el botón de borrar y si desea borrar todas
la líneas que conectan a un nodo, seleccione el nodo y de clic en el botón derecho del mouse y
seleccione la opción del menú emergente de “borrar asociaciones”. (véase, Figura 10)

Puede oprimir el botón para agregar un nuevo nodo, y dar clic sobre el área gráfica en la
región donde desea que aparezca; y su nombre ya sea número o letra tendrá el orden consecutivo
que le corresponde. Recuerde que sólo puede tener un máximo de 9 nodos. (véase, Figura 10)

Después de hacer el grafo, de clic sobre el botón de “generar” para poder ver la equivalencia de la
relación matemática en una matriz de adyacencia y en un conjunto de pares ordenados.

Además que al dar clic sobre el botón generar automáticamente se guardará la relación con un nombre
asignado por default y se mostrarán también las propiedades que tiene dicha relación matemática. (véase,
Figura 11)

7
 Nombre de la relación
guardada

Matriz
Botón
equivalente
“generar
”

Relación
inicial

Conjunto de
pares
ordenados
equivalente

Propiedades de la
relación matemática
Figura 11. Paso final para introducir una relación matemática por medio de un grafo

CASO 3: introducir una relación matemática por

medio de un conjunto de pares ordenados

Al elegir la opción de parejas, lo primero que se debe hacer es dejar o midificar los elementos que desea que
tenga la relación por default aparece como se muestra en la Figura 12.

Figura 12. Elementos por default en el conjunto de pares ordenados

Para modificar los elementos o borrarlos utilice las opciones de su teclado como normalmente lo haría al
escribir un texto. Recuerde que como máximo puede utilizar 9 elementos y no se admiten números y letras al
mismo tiempo, son unos u otras.

Puede ver un ejemplo en la Figura 13.

8
 Figura 13. Selección de los elementos de un conjunto de pares ordenados.

Después de escribir los elementos que tendrá su relación matemática entre las llaves (una que abre y una
que cierra) escriba los pares ordenados. (véase, Figura 14)

Figura 14. Conjunto de pares ordenados

Y por último se da clic sobre el botón “generar” para que el sistema pueda mostrar cuál será la representación
equivalente de la relación matemática introducida por medio de pares ordenados, en un grafo y como una
matriz de adyacencia.

Además que al dar clic sobre el botón generar automáticamente se guardará la relación con un nombre
asignado por default y se mostrarán también las propiedades que tiene dicha relación matemática. (véase,
Figura 15)
Nombre de la relación
guardada

Matriz
Botón
equivalente
“generar”

Grafo
equivalente

Relación
inicial

Propiedades de la
relación matemática
Figura 15. Paso final para introducir una relación matemática por medio de pares ordenados

9
 Transformaciones

En el SIMAR se pueden realizar operaciones sobre una relación matemática, o mejor dicho, transformaciones.
Por lo que se puede calcular la cerradura transitiva, la cerradura reflexiva, la cerradura simétrica y el diagrama
de Hasse.

Para poder aplicar alguna transformación se debe tener una relación matemática generada en el sistema.

Para calcular alguna cerradura o el diagrama de Hasse sólo es necesario seleccionar de la lista desplegable
la operación deseada y después dar clic en el botón “Aplicar Transformación” (véase, Figura 16)

Opciones de Aplicar transformación

transformaciones seleccionada

Figura 16. Opciones de transformaciones

Cerradura transitiva

Si se desea calcular la cerradura transitiva de una relación matemática sólo necesita haber introducido una
relación matemática y después haber presionado el botón “generar”. Después de seleccionar la opción de
“Cerradura Transitiva”, hay que pulsar el botón “Aplicar Transformación”. (véase, Figura 17)

10
 Aplicar Transformación

Cerradura
transitiva Equivalencia
en una matriz
de adyacencia
de la cerradura
transitiva
Equivalencia en
un grafo de la
cerradura
transitiva

Equivalencia
en pares
ordenados de
la cerradura
transitiva

Figura 17. Cerradura transitiva

Cerradura reflexiva

Si se desea calcular la cerradura reflexiva de una relación matemática sólo necesita haber introducido una
relación matemática y después haber presionado el botón “generar”. Después de seleccionar la opción de
“Cerradura Reflexiva”, hay que pulsar el botón “Aplicar Transformación”. (véase, Figura 18)

Aplicar Transformación

Cerradura
reflexiva Equivalencia
en una matriz
de adyacencia
de la cerradura
reflexiva
Equivalencia en
un grafo de la
cerradura
reflexiva

Equivalencia
en pares
ordenados de
la cerradura
reflexiva

Figura 18. Cerradura reflexiva

11
 Cerradura simétrica

Si se desea calcular la cerradura simétrica de una relación matemática sólo necesita haber introducido una
relación matemática y después haber presionado el botón “generar”. Después de seleccionar la opción de
“Cerradura Simétrica”, hay que pulsar el botón “Aplicar Transformación”. (véase, Figura 19)

Aplicar Transformación

Cerradura
simétrica Equivalencia
en una matriz
de adyacencia
de la cerradura
simétrica
Equivalencia en
un grafo de la
cerradura
simétrica

Equivalencia
en pares
ordenados de
la cerradura
simétrica

Figura 19. Cerradura simétrica

Diagrama de Hasse

Si se desea calcular el diagrama de Hasse de una relación matemática sólo necesita haber introducido una
relación matemática y después haber presionado el botón “generar”. Después de seleccionar la opción de
“Diagrama de Hasse”, hay que pulsar el botón “Aplicar Transformación”.

Suponga que se tiene una relación matemática como se muestra en la Figura 20

Figura 20. Ejemplo de relación Figura 21. Diagrama de Hasse

12
 Se puede apreciar que si usted quería saber cuál era el Diagrama de Hasse, al dar en el botón “Aplicar
Transformación” la relación matemática de la Figura 20 cambia a como se muestra en la Figura 21. En la
Figura 21 se puede ver que a pesar de que en el Diagrama de Hasse no debe llevar flechas, el método que
grafica el grafo le pone un puntito en donde iba la flecha, pero esto no se debe considerar.

Clases de equivalencia

Si se desea calcular las clases de equivalencia de una relación matemática sólo necesita haber introducido
una relación matemática y después haber presionado el botón “generar”. Después de seleccionar la opción de
“Clases de equivalencia”, hay que pulsar el botón “Aplicar Transformación”. (véase, Figura 22)

Aplicar Transformación

Clases de
equivalencia Equivalencia
en una matriz
de adyacencia
de la clase de
equivalencia
Equivalencia en
un grafo de la
clase de
equivalencia

Equivalencia
en pares
ordenados de
la clase de
equivalencia

Figura 22. Clases de equivalencia

Partición

Si se desea calcular la partición de una relación matemática sólo necesita haber introducido una relación
matemática y después haber presionado el botón “generar”. Después de seleccionar la opción de “Partición”,
y hay que pulsar el botón “Aplicar Transformación”. (véase, Figura 23)

13
 Aplicar Transformación

Partición Equivalencia
en una matriz
de adyacencia
de partición
Equivalencia
en un grafo de
la partición
Equivalencia
en pares
ordenados de
la partición

Figura 23. Particiones

Ver dominio
En el SIMAR se puede ver el dominio de una relación matemática.

Para poder conocer el dominio de una relación se debe tener una relación matemática generada en el
sistema.

Para ver el dominio sólo es necesario dar clic en el botón “Ver Dominio” (véase, Figura 24)

Ver Dominio

Figura 24. Ver Dominio de una relación matemática

14
En dominio de la relación matemática se mostrará en una ventana como la de la Figura 25.

Figura 25. Ventana del dominio de una relación matemática

Ver codominio

En el SIMAR se puede ver el codominio de una relación matemática.

Para poder conocer el codominio de una relación se debe tener una relación matemática generada en el
sistema.

Para ver el codominio sólo es necesario dar clic en el botón “Ver Codominio” (véase, Figura 26)

Ver Dominio

Figura 26. Ver Codominio de una relación matemática

15
En codominio de la relación matemática se mostrará en una ventana como la de la Figura 27.

Figura 27. Ventana del codominio de una relación matemática

Ver propiedades de una relación matemática

SIMAR permite ver qué propiedades tiene una relación matemática, sólo es necesario tener una relación
matemática generada en el sistema y automáticamente se verificará si la relación es:

Reflexiva

Irreflexiva

Simétrica

Asimétrica

Antisimétrica

Transitiva

De equivalencia

Partición

Función

Función Suprayectiva

Función Inyectiva

Función Biyectiva

Función Invertible

Si la función tiene alguna de las propiedades mencionadas, aparecerá palomeada. Las propiedades se
encuentran en una ventanita que tiene una barra de desplazamiento. (véase, Figura 28)

16
 Verificar
propiedades

Barra de desplazamiento

Figura 28. Propiedades de una relación matemática

Usted puede ver las definiciones de cada una de las propiedades, sólo de clic sobre el nombre de la
propiedad que desea ver y aparecerá una ventana con la definición (véase, Figura 29)

Figura 29. Definición de la propiedad reflexiva

17
 Nueva Relación

Para generar una nueva relación matemática sólo pulse el botón “Nueva Relación” y automáticamente
aparecerá el nombre de una relación. Sólo puede haber un máximo de 4 relaciones matemáticas. (véase,
Figura 30)

Nueva Relación Nombre de la nueva relación

Figura 30. Nueva Relación

Abrir una relación

Para abrir una relación matemática sólo seleccione de la lista desplegable la relación que desea abrir y de
inmediato se abrirá la relación, mostrando su matriz de adyacencia, su grafo, su conjunto de pares ordenados
y sus propiedades. Sobre la relación que abrió puede modificar lo que desee (véase, Figura 31)

Lista de relaciones
existentes

Figura 31. Abrir una relación matemática

18
 Borrar una relación
Para borrar una relación matemática sólo seleccione de la lista desplegable la relación que desea borrar.
Después de clic sobre el botón “Borrar”, y desaparecerá de la lista de relaciones existentes (véase, Figura 32)

Lista de relaciones
existentes Borrar

Figura 32. Borrar una relación matemática

Operaciones entre conjuntos

Considerando que una relación es un conjunto, en el SIMAR se pueden hacer las siguientes operaciones
(véase, Figura 33)

Botón Operación

Unión

Intersección

Inversa

Complemento

Composición

Figura 33. Operaciones entre conjuntos

19
Las operaciones se deben guardar en una matriz existente. Además de que sólo podrá hacer operaciones
entre máximo 4 relaciones matemáticas. Puede utilizar también los botones de y para realizar
asociaciones en las operaciones que desee realizar.

Además se proporcionan las 4 relaciones matemáticas que pueden existir en botones, es decir R, S, P y Q.
Cuando existan el botón estará habilitado como se muestra en la Figura 34.

Figura 34. Relación existente

Y se deshabilitado, porque no existe la relación matemática, como en la Figura 35

Figura 35. Relación inexistente

Así que sólo necesita ir oprimiendo los botones, en el orden que desee que aparezca la expresión que define
la operación o las operaciones, para que vayan apareciendo en el cuadro de texto. Y después simplemente
oprimir el botón “Calcular” y automáticamente se generará la relación matemática resultante, con su matriz de
adyacencia, grafo, conjunto de pares ordenados y propiedades correspondientes. (véase, Figura 36)

Calculadora de
operaciones entre
conjuntos
Operaciones
Botón
“Calcular”

Figura 36. Calculadora de operaciones entre conjuntos

20
 Accesos directos en el teclado
SIMAR tiene algunos accesos rápidos, sólo se necesitan oprimir algunas teclas para realizar ciertas
funciones como se muestra en la Figura 37

Teclas Función

Ctrl+N Nueva relación

Ctrl+D Borrar relación

Ctrl+E Generar relación

Ctrl+G Habilitar la zona de grafo

Ctrl+M Habilitar la zona de la matriz de adyacencia

Ctrl+C Habilitar la zona del conjunto de pares ordenados

Figura 37. Tabla de accesos rápidos

Opciones del menú Archivo

El menú Archivo tiene 3 opciones como se puede ver en la Figura 38

Menú Archivo

opciones

Figura 38. Menú Archivo

21
 La primera opción la de Nuevo, esta es para crear una nueva relación matemática, y se puede utilizar en lugar
del botón “Nueva Relación”.

La segunda opción es la de Borrar, esta es para borrar la relación matemática que está activa. Y se utiliza en
lugar de botón “Borrar”.

Y la última opción en la de Generar, y es para que se genere en el sistema la relación matemática que se
introdujo por alguno de los tres casos (véase la sección de “Introducir una relación matemática”) Y se utiliza
en lugar del botón “Generar”.

Opciones del menú Ver

El menú Ver tiene 3 opciones como se puede ver en la Figura 39

Menú Ver

opciones

Figura 39. Menú Ver

22
 La primera opción que ofrece el menú Ver es la de Grafo, la cual habilita el área de grafo, para modificar o
introducir una relación matemática por medio de un grafo.

La segunda opción es la de Matriz, la cual permite ingresar o modificar la matriz de adyacencia de una
relación matemática.

Y la última opción es la de Conjunto la cual permite modificar o introducir el conjunto de pares ordenados que
define a una relación matemática.

Opciones del menú Ayuda

El menú Ayuda tiene 2 opciones como se puede ver en la Figura 40

Menú Ayuda

opciones

Figura 40. Menú Ayuda

23
La primer opción es la de Acerca de, la cual muestra información general del sistema y de los desarrolladores
de SIMAR. Las ventanas que se abren al dar clic en esta opción se pueden ver en la Figura 41.

Figura 41. Ventanas de Acerca de

Y la opción de Ayuda, muestra información de ayuda para poder manejar el sistema. Que es este manual de
usuario.

Mensajes de excepciones y errores

SIMAR muestra unas ventanas con mensajes de alerta y con la explicación de los errores que se comente al
no utilizar correctamente el programa. Los mensajes y sus posibles causas son los siguientes:

MENSAJES EN LA CALCULADORA DE OPERACIONES ENTRE CONJUNTOS

No se especifico ninguna operación.

Si se da en el botón calcular y no se escribió nada

Caracteres inválidos en la línea 1.

Si se escriben caracteres que no estén en la calculadora o diferentes del signo igual o un nombre de
relación que no exista

El resultado de las operaciones debe ser asignado a alguna relación existente.

Si no se hace una asignación (R = R)

Relación (la relación escrita) No definida.

Si se escribe un nombre de relación valido R, S, P o Q pero la relación no ha sido creada es decir, no
existe

Se esperaba una expresión.

Si se escribe una relación como R = R U o cualquier otro operador que indique una operación

Se esperaba un operando.
Si se escribe una relación como R = R U o cualquier otro operador que indique una operación

24
 Operación invalida.
Si se escribe una relación como R = RR o cualquier otro par de relaciones (RS, RP, etc.).

Fin inesperado de sentencia.

Si se escribe una relación como R = R( ó expresiones similares

Error, se esperaba una expresión.

Si se escribe una relación como R = () o expresiones similares

MENSAJES EN EL AREA DE CONJUNTO DE PARES ORDENADOS

Inicio invalido de expresión. Debe iniciar con el carácter '{'

Si se da clic en ejecutar y la ventana de pares esta en blanco.

Expresión invalida. Debe definir un conjunto.

Si se da clic en ejecutar y la ventana de pares solo tiene un '{'. Debe definir un conjunto. Saldrá ese
mensaje hasta que se cierre la llave que abre y se ponga un conjunto dentro.

Verifique la entrada
Si se escribe algún valor que no sea un digito o una letra en minúsculas

Imposible utilizar letras mayúsculas

Si se escriben letras en mayúscula

Los nombres de los nodos deben ser escritos en orden alfabético partiendo de la letra 'a'.
Si escribe los nombres de los nodos en minúscula pero empieza con una letra distinta a la letra a

Imposible mezclar números y letras

Si se escriben los números y letras mezclados.

Posición errónea de terminador de cadena.

Si se escriben elementos fuera de la última llave que cierra. No se esperaban más elementos.

Fin invalido de expresión debe terminar con el carácter '}'

Si se escriben los pares sin paréntesis

Se esperaba un separador ','

No hay problema si se escribe una ',' al final de un par, ejemplo: (a,b), cuando adelante de ese par no
halla otro pero si el par se escribe sin una ',' ejemplo (ab).

El par (x,y) esta duplicado

Si se duplica alguno de los pares

Ha ocurrido un error mientras se generaba la relación. Verifique la expresión

Cualquier otro error raro (del que se sepa que es error pero el programa no pueda decidir de qué tipo
es)

25
MENSAJES EN EL AREA DEL GRAFO

Imposible dibujar en esa región

Si se recorrió algún elemento grafico a otra área de la pantalla.

Evitar traslapes entre nodos

Si puso un nodo encima de otro

La relación ya existe
Si dio clic sobre un nodo que ya tenía una relación que apunta a sí mismo, o mejor dicho, un lazo.

26