Por qué usar notación formal

 La notación matemática elimina ambigüedades y permite hacer demostraciones. Compara:

• Versión informal: “cadenas con número par de a’s”

• Versión formal: $L=\{w\in \{a,b{\}}^{\ast }\mid \mathrm{\mid }w{\mathrm{\mid }}_a\equiv 0(\text{mod }2)\}$

La formalización aclara:

1. Alfabeto: $\{a,b\}$

2. Se incluye la cadena vacía (porque ${\mathrm{\Sigma }}^{\ast }$ la incluye).

3. “Par” se define como congruente con 0 módulo 2.

4. Solo importa el conteo de ‘a’, no importa el orden ni la cantidad de ‘b’.

---

6. En términos de autómatas

Este lenguaje es reconocido por un autómata finito determinista con dos estados:

• Estado $q_0$ (par de a’s, estado inicial y final)

• Estado $q_1$ (impar de a’s, no final)

Transiciones:

• Con ‘a’ cambias de estado.

• Con ‘b’ te quedas en el mismo estado.

---

Resumen final

$$\mathrm{<span\; style="font-size:\; large;">L</span>}<span\; style="font-size:\; large;">=</span><span\; style="font-size:\; large;">\{</span>\mathrm{<span\; style="font-size:\; large;">w</span>}<span\; style="font-size:\; large;">\in </span>{\mathrm{<span\; style="font-size:\; large;">\Sigma </span>}}^{<span\; style="font-size:\; large;">\ast </span>}<span\; style="font-size:\; large;">\mid </span>\mathrm{<span\; style="font-size:\; large;">\mid </span>}\mathrm{<span\; style="font-size:\; large;">w</span>}{\mathrm{<span\; style="font-size:\; large;">\mid </span>}}_{\mathrm{<span\; style="font-size:\; large;">a</span>}}<span\; style="font-size:\; large;">\equiv </span>\mathrm{<span\; style="font-size:\; large;">0</span>}<span\; style="font-size:\; large;">(</span>\mathrm{<span\; style="font-size:\; large;">m</span>}\mathrm{<span\; style="font-size:\; large;">o</span>}\mathrm{<span\; style="font-size:\; large;">d</span>}\mathrm{<span\; style="font-size:\; large;">2</span>}<span\; style="font-size:\; large;">)</span><span\; style="font-size:\; large;">\}</span>$$

“L es el conjunto de todas las cadenas sobre {a,b} cuyo número de letras a es par.”

¿Te gustaría ver cómo se probaría que este lenguaje es cerrado bajo ciertas operaciones (como concatenación o unión)

Los "Símbolos que son como Emojis Matemáticos"

Los más importantes que SÍ usarás:

1. Para conjuntos (grupos de cosas):

text

∈  significa "está en" o "pertenece a"
∉  significa "NO está en"
{ } se usa para hacer una lista
⊂  significa "está dentro de" (como un subconjunto)

Ejemplo práctico:
Si digo: *"Sea A = {1, 2, 3, 4, 5}"*

• Esto significa: "A es el conjunto que tiene los números 1, 2, 3, 4 y 5"

• Si escribo: "3 ∈ A" → Significa "3 pertenece al conjunto A" ✓ (es VERDADERO)

• Si escribo: "7 ∈ A" → Es FALSO, porque 7 no está en la lista

• "7 ∉ A" → Esto SÍ es verdadero (7 NO pertenece a A)

2. Para decir "para todos" o "existe":

text

∀  significa "para todo" o "para cada"
∃  significa "existe" o "hay al menos uno"

Ejemplo de la vida real:
Imagina tu salón de clases:

• "∀ estudiante en el salón, el estudiante tiene mochila"
  → Esto significa: "Para TODO estudiante en el salón, ese estudiante tiene mochila"
  (O sea, TODOS tienen mochila)

• "∃ estudiante en el salón que usa lentes"
  → Esto significa: "EXISTE al menos un estudiante en el salón que usa lentes"
  (O sea, hay uno o más que usan lentes)

Parte 2: Cómo Escribir Conjuntos (Grupos)

Manera 1: Listando (por extensión)

text

A = {lápiz, borrador, regla}  ← Conjunto de útiles
B = {2, 4, 6, 8, 10}          ← Algunos números pares

Manera 2: Con una regla (por comprensión) - ¡MUY ÚTIL!

text

{ x | x tiene cierta propiedad }

La barra vertical | se lee "tal que"

Ejemplo:

text

P = { x | x es un número par menor que 10 }

Esto significa: "P es el conjunto de todos los x TALES QUE x es un número par menor que 10"

¿Qué números son? ¡Hagamos la lista!
Números pares: 2, 4, 6, 8, 10, 12...
¿Cuáles son menores que 10? 2, 4, 6, 8
Entonces: P = {2, 4, 6, 8}

Otro ejemplo con símbolos matemáticos:

text

{ x ∈ ℕ | x < 5 }

Donde ℕ = números naturales (1, 2, 3, 4, 5, ...)
Significa: "Todos los x que son números naturales, TALES QUE x es menor que 5"
Resultado: {1, 2, 3, 4}

Parte 3: Cómo Escribir Definiciones Formales (Paso a Paso)

Ejemplo 1: Definamos qué es un número par

En palabras: "Un número entero es par si se puede escribir como 2 veces otro número entero"

En notación formal:

text

Un número n es par si: ∃ k ∈ ℤ tal que n = 2k

Donde ℤ = números enteros (..., -2, -1, 0, 1, 2, ...)

Traducción palabra por palabra:

• "∃" = existe

• "k ∈ ℤ" = un número k que es entero

• "tal que" (a veces se pone : o | )

• "n = 2k" = n es igual a 2 veces k

Comprobemos:
¿Es 6 par? Busquemos un k entero tal que 6 = 2k
Si k = 3 → 2×3 = 6 ✓ ¡Sí existe! Entonces 6 es par.

¿Es 7 par? ¿Existe k entero tal que 7 = 2k?
2×3 = 6 (muy pequeño)
2×4 = 8 (muy grande)
No hay número entero k que funcione → 7 NO es par.

Ejemplo 2: Definamos qué es un número primo

En palabras: "Un número primo es mayor que 1 y solo es divisible por 1 y por sí mismo"

En notación formal:

text

Un número p > 1 es primo si:
∀ a, b ∈ ℕ, si p = a × b, entonces a = 1 o b = 1

Traducción:

• "∀ a, b ∈ ℕ" = para todos los números naturales a y b

• "si p = a × b" = si p se puede escribir como a por b

• "entonces a = 1 o b = 1" = entonces uno de los dos debe ser 1

Comprobemos con el 7:
¿Es 7 primo? Formas de escribir 7 como multiplicación:
7 = 1 × 7 → aquí a=1, b=7 (a=1 ✓)
7 = 7 × 1 → aquí a=7, b=1 (b=1 ✓)
¡No hay otras formas! Entonces 7 SÍ es primo.

Comprobemos con el 6:
6 = 1 × 6 (a=1 ✓)
6 = 2 × 3 ← ¡PROBLEMA! Aquí a=2 y b=3, NINGUNO es 1
6 = 3 × 2 ← igual problema
6 = 6 × 1 (b=1 ✓)
Como existe al menos un caso donde ni a=1 ni b=1, entonces 6 NO es primo.

Parte 4: Cómo Leer y Escribir Demostraciones

Estructura básica de una demostración:

Teorema: Lo que queremos probar

Demostración: Los pasos lógicos

QED o ∎ = "Fin de la demostración" (viene del latín "Quod Erat Demonstrandum")

Ejemplo COMPLETO y DETALLADO:

Teorema: La suma de dos números pares es par.

Demostración paso a paso:

1. Primero, recordemos la definición formal de par:
   Un número n es par si ∃ k ∈ ℤ tal que n = 2k

2. Sean dos números pares:
   Sean a y b dos números pares cualesquiera.

   Por ser pares, por la definición:

   • Como a es par: ∃ k₁ ∈ ℤ tal que a = 2k₁

   • Como b es par: ∃ k₂ ∈ ℤ tal que b = 2k₂

   (Usamos k₁ y k₂ porque pueden ser números diferentes)

3. Consideremos su suma:
   a + b = 2k₁ + 2k₂

4. Factorizamos el 2:
   a + b = 2(k₁ + k₂)

5. Llamemos m = k₁ + k₂:
   Como k₁ y k₂ son enteros, su suma m también es entera.

6. Entonces:
   a + b = 2m, donde m ∈ ℤ

7. ¡Esto es justo la definición de par!
   Hemos mostrado que a+b se puede escribir como 2 veces un número entero.

8. Conclusión:
   Por lo tanto, a + b es par. ∎

Parte 5: Trucos y Consejos Prácticos

Consejo 1: Usa paréntesis para evitar confusiones

text

NO escribas: a/b + c   (¿Es (a/b) + c o a/(b+c)?)
MEJOR escribe: (a/b) + c  o  a/(b + c)

Consejo 2: Define siempre tus variables

text

MAL: Sea x tal que... (¿x es qué? ¿número? ¿conjunto?)
BIEN: Sea x ∈ ℝ tal que... (x es un número real)

Consejo 3: Usa espacios para mayor claridad

text

MAL: ∀x∈ℝ,x>0
BIEN: ∀ x ∈ ℝ, x > 0

Consejo 4: Las letras usualmente significan:

• n, m, k: números enteros

• x, y, z: números en general (reales)

• a, b, c: constantes o coeficientes

• f, g, h: funciones

• A, B, C: conjuntos

Parte 6: Ejercicios para Practicar

Ejercicio 1: Escribe formalmente: "Todo número entero tiene un sucesor"

Posible respuesta: ∀ n ∈ ℤ, ∃ m ∈ ℤ tal que m = n + 1

Ejercicio 2: Escribe formalmente: "Existe un número natural que es par y primo"

Posible respuesta: ∃ n ∈ ℕ tal que (n es par ∧ n es primo)
(Donde ∧ significa "y")

Ejercicio 3: ¿Qué significa esto? ∀ x ∈ ℝ, x² ≥ 0

Respuesta: "Para todo número real x, x al cuadrado es mayor o igual que cero"

Parte 7: Errores Típicos (y cómo evitarlos)

Error 1: Confundir ∈ con ⊂

• 3 ∈ {1, 2, 3} ✓ (3 es un elemento del conjunto)

• 3 ⊂ {1, 2, 3} ✗ (3 no es un conjunto, es un número)

• {3} ⊂ {1, 2, 3} ✓ (el conjunto que solo tiene 3 SÍ es subconjunto)

Error 2: Orden incorrecto de cuantificadores

• "∀ persona, ∃ un padre" ✓ (Cada persona tiene un padre)

• "∃ un padre, ∀ persona" ✗ (Esto diría que hay un padre que es padre de TODAS las personas)

Error 3: Olvidar el dominio

• "∀ x, x > 0" ✗ (¿x qué es? ¿un número? ¿un perro?)

• "∀ x ∈ ℝ, x > 0" ✗ (¡FALSO! No todos los reales son positivos)

• "∀ x ∈ ℝ⁺, x > 0" ✓ (ℝ⁺ son los reales positivos)

Recuerda:

La notación formal es como aprender un nuevo idioma. Al principio cuesta, pero con práctica se vuelve natural. No te preocupes si no entiendes todo inmediatamente. ¡Todos empezamos así!

Tip final: Cuando leas algo como "∀ ε > 0, ∃ δ > 0", léelo en voz alta:
"Para todo épsilon mayor que cero, existe delta mayor que cero..."