Poner objetos en una lista no equivale a modelar un sistema: el modelo empieza cuando decides qué pertenece, qué se relaciona y qué función cumple cada elemento.
Los conjuntos permiten delimitar colecciones; las operaciones muestran cómo se combinan; las funciones describen correspondencias; y la cardinalidad ayuda a razonar sobre tamaño. Trabajaremos estas ideas desde ejemplos computacionales sencillos para construir notación sin aumentar innecesariamente la complejidad.
📷 Antes de comenzar
En un sistema escolar, cada estudiante activo tiene asignado exactamente un identificador institucional. Si modelas la asignación como función, ¿qué condición es indispensable?
Objetivo didáctico
Al terminar esta lección podrás aplicar conjuntos, operaciones de conjuntos, funciones y cardinalidad para modelar entidades y correspondencias de un problema computacional sencillo, justificando el dominio, el codominio y las operaciones elegidas.
Introducción
Después de formalizar una afirmación y un proceso, necesitas representar qué objetos participan. Los conjuntos proporcionan un lenguaje para agrupar entidades de acuerdo con una condición clara de pertenencia. En un sistema sencillo podrías tener el conjunto de usuarios, el conjunto de roles y el conjunto de recursos.
La utilidad aparece cuando dejas de ver los conjuntos como listas y empiezas a operarlos. La intersección puede representar usuarios que cumplen dos condiciones; la diferencia puede identificar elementos de un grupo que no aparecen en otro; el complemento puede expresar quién queda fuera de una condición dentro de un universo establecido.
Las funciones añaden correspondencias controladas entre conjuntos. Por ejemplo, puedes relacionar cada proceso con su prioridad, cada archivo con su propietario o cada nodo con un valor. Para que el modelo sea correcto debes declarar el dominio y el codominio, no solo dibujar flechas.
Desarrollo del tema
Conjuntos: pertenencia, subconjuntos y universo
Un conjunto es una colección de objetos considerados como una unidad. Para utilizarlo en un modelo debes especificar un criterio de pertenencia. Si U representa todos los usuarios registrados y A los usuarios activos, entonces A es subconjunto de U cuando cada elemento de A pertenece también a U.
El conjunto universal depende del problema. Si estudias permisos dentro de una aplicación, el universo podría ser el conjunto de cuentas registradas, no todas las personas posibles. Cambiar el universo altera el significado de complemento y puede cambiar las conclusiones de una operación.
Dos conjuntos son iguales cuando tienen exactamente los mismos elementos, sin importar el orden en que se escriban. Esta idea es importante al comparar resultados generados por procedimientos diferentes: una lista ordenada puede cambiar de presentación sin que cambie el conjunto representado.
💡 Conjunto universal
Colección de referencia dentro de la cual se interpreta el problema. Toda operación de complemento necesita un universo explícito.
Prueba tú: identifica tres clases de objetos de tu proyecto y escribe para cada una una regla de pertenencia que otra persona pueda aplicar sin preguntarte qué quisiste decir.
Álgebra de conjuntos para combinar condiciones
La unión de A y B reúne los elementos que pertenecen a A, a B o a ambos. La intersección conserva solo los elementos presentes en ambos conjuntos. La diferencia A−B contiene los elementos que pertenecen a A pero no a B. Estas operaciones traducen condiciones del problema a estructuras que pueden manipularse.
Supón que A es el conjunto de usuarios con permiso de lectura y B el conjunto con permiso de escritura. A∩B representa quienes tienen ambos permisos. A−B representa quienes pueden leer pero no escribir. La operación elegida expresa una pregunta distinta; por eso no conviene memorizar símbolos sin verbalizar la condición que representan.
Las leyes del álgebra de conjuntos permiten transformar expresiones sin cambiar su significado. En un nivel inicial, la mejor forma de usarlas es comprobar cada transformación con la definición de pertenencia antes de confiar solo en la apariencia simbólica.
✍ Completa el modelo
Banco de palabras: dominio · codominio · unión · intersección · cardinalidad.
Aplica: escribe una pregunta sobre tu caso que pueda responderse con una unión y otra que necesite una intersección. Si ambas preguntas dicen lo mismo, revisa las condiciones de pertenencia.
Funciones: dominio, codominio e imagen
Una función f de A en B asigna a cada elemento de A exactamente un elemento de B. A es el dominio y B el codominio. La imagen es el conjunto de valores de B que realmente aparecen como resultado.
“Exactamente uno” no significa que diferentes entradas deban producir salidas distintas. Dos estudiantes pueden tener la misma calificación y la asignación estudiante→calificación sigue siendo una función. En cambio, si una misma entrada recibe dos salidas diferentes bajo la misma regla y en las mismas condiciones, la correspondencia no es una función ordinaria.
Una función es inyectiva cuando entradas diferentes no comparten salida; es sobreyectiva cuando cada elemento del codominio recibe al menos una preimagen; y es biyectiva cuando cumple ambas condiciones. Para esta primera asignatura importa más reconocer las condiciones en un caso que memorizar terminología aislada.
⏭ Revelador secuencial
Construye una función paso a paso.
Figura 1. Función representada como mapeo: cada elemento del dominio tiene exactamente una salida.
Decide: en tu proyecto, elige una correspondencia entre dos tipos de entidades. Declara dominio, codominio y regla; después decide si necesitas que sea inyectiva, sobreyectiva o solo que cumpla la condición básica de función.
Cardinalidad: razonar sobre el tamaño
La cardinalidad de un conjunto finito es el número de elementos que contiene. Se usa para expresar tamaños y comparar colecciones. Si A tiene cinco elementos, su cardinalidad es cinco, independientemente del orden en que se enumeren.
Cuando los conjuntos se relacionan mediante funciones, la cardinalidad ayuda a detectar posibilidades e imposibilidades. Por ejemplo, si intentas asignar identificadores únicos a más elementos de los que existen en el conjunto de identificadores disponibles, una función inyectiva no puede construirse con esas condiciones.
No necesitas todavía desarrollar resultados avanzados de conteo. La aplicación relevante en esta etapa es usar la cardinalidad como una restricción del modelo: cuántas entradas existen, cuántas salidas están disponibles y qué relación entre ambos tamaños exige la correspondencia elegida.
📷 Control de comprensión
Tienes un conjunto A con 6 procesos y un conjunto B con 4 identificadores. Quieres una función de A en B donde procesos distintos tengan identificadores distintos. ¿Qué observación es correcta?
Aplica: calcula la cardinalidad de dos conjuntos de tu caso y explica qué restricción real representa cada tamaño. Después verifica si la función que propusiste es compatible con esas cantidades.
Conclusión
Los conjuntos permiten fijar con precisión qué objetos pertenecen a un modelo; las operaciones combinan condiciones; las funciones describen correspondencias y la cardinalidad introduce restricciones de tamaño. El valor práctico está en traducir una situación concreta a estas estructuras y comprobar que la notación conserva el significado original.
En la siguiente etapa usarás esta disciplina de modelación para entrar a la teoría de números y la aritmética modular. Allí las propiedades de los enteros permitirán resolver problemas de divisibilidad, congruencias y aplicaciones criptográficas sencillas.
🔭 Para seguir aprendiendo
- ¿Qué parte de tu caso se comporta de manera cíclica —turnos, identificadores, horarios, residuos o estados— y podría representarse mejor si dos valores se consideran equivalentes bajo un módulo?
Actividad de aprendizaje autónoma
Etapa 3 · Modela el dominio con conjuntos y funciones. Retoma el mismo caso de E1 y el proceso formalizado en E2. Tu objetivo es convertir sus objetos y correspondencias en una representación que pueda reutilizarse en las siguientes etapas.
- De dónde vienes. Identifica los objetos, variables y proceso que conservas de E1–E2. Señala una decisión previa que mantienes y una que ajustes al construir el modelo.
- Define conjuntos. Establece al menos dos conjuntos relevantes y una regla explícita de pertenencia para cada uno; declara el universo cuando utilices complemento.
- Aplica operaciones. Usa unión, intersección o diferencia para responder al menos una pregunta concreta del caso.
- Define una función. Declara dominio, codominio, regla de correspondencia e imagen esperada; comprueba que cada entrada tenga exactamente una salida.
- Usa cardinalidad. Registra el tamaño de los conjuntos y explica una restricción o decisión que se derive de esos tamaños.
- Qué documentas. Conserva fuentes y el registro de cualquier consulta a inteligencia artificial, con el criterio usado para verificar o descartar sugerencias.
🗂 Planifica tu etapa
✔ Evidencia de logro
- Vínculo explícito con el caso de E1 y el proceso de E2, incluyendo una revisión argumentada.
- Al menos dos conjuntos con criterios de pertenencia verificables.
- Una operación de conjuntos aplicada a una pregunta del caso.
- Una función con dominio, codominio y regla claramente declarados.
- Cardinalidades relevantes y una restricción derivada de ellas.
- Registro de fuentes y contraste de cualquier consulta a sistemas de inteligencia artificial.
Si cambias el dominio o el codominio de una función sin cambiar su fórmula, ¿seguirías modelando exactamente el mismo problema? Explica qué información del caso podría alterarse.
Referencias bibliográficas
- Grimaldi, R. P. (2025). Discrete and combinatorial mathematics: An applied introduction (5th ed., Global ed.). Pearson.
- Lehman, E., Leighton, F. T., & Meyer, A. R. (s. f.). Mathematics for computer science. Massachusetts Institute of Technology OpenCourseWare.
- Rosen, K. H. (2019). Discrete mathematics and its applications (8th ed.). McGraw Hill.