Universitario

UniversitarioTeoría de conjuntos y lógica


Relaciones y funciones


En matemáticas de pregrado, la teoría de conjuntos y la lógica forman la base para comprender varios conceptos matemáticos, incluidas las relaciones y funciones, que son cruciales para entender estructuras complejas y operaciones. Este documento proporciona una guía completa sobre estos conceptos con muchos ejemplos.

Introducción a los conjuntos

Un conjunto es una colección bien definida de objetos distintos. Estos objetos se llaman elementos o miembros del conjunto. Un conjunto puede contener números, letras, símbolos o incluso otros conjuntos. Por ejemplo:

A = {1, 2, 3, 4}

Aquí, A es un conjunto que contiene los elementos 1, 2, 3 y 4. El orden de los elementos no importa, y los conjuntos no contienen elementos duplicados.

Los conjuntos se escriben con llaves. Si el conjunto está vacío, se llama el conjunto vacío y se representa por {} o .

Relación

Una relación es una asociación entre los elementos de dos conjuntos. Se representa generalmente como un subconjunto del producto cartesiano de estos conjuntos. Si hay dos conjuntos, A y B, entonces el producto cartesiano A × B es el conjunto de todos los pares ordenados posibles (a, b), donde a ∈ A y b ∈ B.

Por ejemplo, consideremos los siguientes conjuntos:

A = {1, 2, 3} B = {4, 5}

El producto cartesiano A × B es:

A × B = {(1, 4), (1, 5), (2, 4), (2, 5), (3, 4), (3, 5)}

Una relación R de un conjunto A a un conjunto B es un subconjunto de A × B. Por ejemplo, definamos una relación R tal que un elemento de A esté relacionado con un elemento de B si la suma de los dos elementos es mayor que 5:

R = {(1, 5), (2, 4), (2, 5), (3, 4), (3, 5)}

Visualmente, podemos representar relaciones usando un tipo de gráfico llamado un gráfico dirigido o diagrama de flechas.

1 2 3 4 5

Propiedades de las relaciones

Las relaciones pueden tener ciertas propiedades especiales como reflexividad, simetría, transitividad, etc., especialmente cuando la relación se define en un conjunto junto consigo mismo (una relación de A a A).

  • Reflexiva: Una relación R en un conjunto A es reflexiva si cada elemento pertenece a sí mismo. Formalmente, (a, a) ∈ R para todos a ∈ A
  • Simbólica: Una relación R en un conjunto A es simétrica si (a, b) ∈ R implica que (b, a) ∈ R para todos a, b ∈ A
  • Transitiva: Una relación R en un conjunto A es transitiva si siempre que (a, b) ∈ R y (b, c) ∈ R, entonces (a, c) ∈ R.

Función

Una función es un tipo específico de relación entre dos conjuntos A y B, donde cada elemento del conjunto A está relacionado con exactamente un elemento del conjunto B. Las funciones pueden representarse mediante expresiones, gráficos y pares ordenados.

Simbólicamente, una función f de un conjunto A a un conjunto B se representa como f: A → B. Decimos que f(x) es la imagen de x bajo f.

f: A → B f(x) = x^2 A = {1, 2, 3} B = {1, 4, 9}

En el ejemplo anterior, vemos que cada elemento de A se asigna a un elemento de B, específicamente su cuadrado.

1 2 1 4 9

Tipos de funciones

  • Función inyectiva (uno a uno): Una función es inyectiva si elementos distintos en el dominio corresponden a elementos distintos en el codominio. Formalmente, f(a) = f(b) implica a = b.
  • Función suprayectiva (sobreyectiva): Una función es sobreyectiva si cada elemento del codominio es la imagen de al menos un elemento del dominio.
  • Biyectiva: Una función es biyectiva si es tanto inyectiva como sobreyectiva, lo que significa que establece un "emparejamiento" perfecto entre el dominio y el codominio.

Definiciones formales y ejemplos

Una definición formal proporciona el rigor y la base sobre los cuales se pueden evaluar aplicaciones del mundo real.

Ejemplo de función inyectiva (uno a uno)

Considere la función f: R → R definida por f(x) = 2x + 3. Vamos a demostrar que esta función es inyectiva.

Supongamos que f(x1) = f(x2). Entonces, 2x1 + 3 = 2x2 + 3. Restemos 3 de ambos lados, 2x1 = 2x2. Divida entre 2, x1 = x2.

Dado que hemos demostrado x1 = x2, la función es inyectiva.

Ejemplo de función suprayectiva (sobreyectiva)

Considere la función f: R → R definida por f(x) = x^3. Necesitamos demostrar que la función es sobreyectiva.

Sea y un número real tal que y = x^3. Entonces, x = y^(1/3) satisface esto.

Por lo tanto, para cualquier y en el codominio, existe un x en el dominio tal que f(x) = y. Esto hace que la función sea sobreyectiva.

Ejemplo de función biyectiva

Considere la función f: R → R definida por f(x) = x^2. Vamos a determinar si es biyectiva.

f(x1) = f(x2), implica x1^2 = x2^2, así que x1 = x2 o x1 = -x2. No es inyectiva (falsa). El rango de f(x) = x^2 son solo números reales no negativos. Por lo tanto, no es sobreyectiva (falsa).

Por lo tanto, f(x) = x^2 no es biyectiva.

Conceptos importantes en funciones

  • Dominio: El conjunto de todos los valores de entrada (elementos del conjunto A) para los cuales la función está definida.
  • Codominio: El conjunto de todos los posibles valores de salida (no todos pueden ser mapeados desde el dominio por la función).
  • Rango: El conjunto de todos los valores de salida reales generados por la función de los valores de entrada en el dominio.

Composición de funciones e inversos

Composición de funciones: La combinación de dos funciones donde la salida de una función se convierte en la entrada de la otra función. Si dos funciones f: A → B y g: B → C, entonces la composición (g ∘ f): A → C se define por (g ∘ f)(x) = g(f(x)).

Función inversa: Si f: A → B es una biyectiva, entonces su inversa f -1 : B → A revierte el mapeo y sostiene f(f -1 (x)) = x para todo x ∈ B, y f -1 (f(y)) = y para todo y ∈ A

Considere el ejemplo de función:

Sea f(x) = 2x - 3 y g(x) = x + 3/2. Resultado de (g ∘ f)(x) = g(f(x)). f(f -1 (x)) debería mapear el valor original.

Con las explicaciones y ejemplos anteriores, hemos tratado de abarcar la esencia de las relaciones y funciones en el contexto de la teoría de conjuntos y la lógica matemática. Comprender estos conceptos forma la base para temas matemáticos más avanzados, modelos y aplicaciones del mundo real.


Universitario → 13.2


U
username
0%
completado en Universitario


Comentarios