Dominio, codominio y rango

http://www.disfrutalasmatematicas.com/conjuntos/dominio-rango-codominio.html

En su forma más simple el dominio

son todos los valores a los que
aplicar una función, y el rango son
los valores que resultan.

Pero de hecho son conceptos

importantes cuando se define una
función. ¡Sigue leyendo!

Por favor, primero lee "¿Qué es una función?"...

Funciones
Una función relaciona una entrada con una salida.

Ejemplo: este árbol crece 20 cm cada año, así que

la altura del árbol está relacionada con la edad por
la función a:

a(edad) = edad × 20

Así que si la edad es 10 años, la altura es a(10) =

200 cm

Decir que "a(10) = 200" es como relacionar 10 con 200. O bien 10 → 200

Entrada y salida
Pero muchas veces es importante decir qué valores pueden entrar y pueden salir de
una función.

Aquí tienes algunas razones:

 La función no funciona si das valores equivocados (como una edad negativa)

 Limitar los valores de entrada te puede permitir hacer después cosas especiales
con la función
 Saber el tipo de valores de salida (por ejemplo siempre positivos) también ayuda
Entonces, ¿cómo se dice lo que entra o sale en una función? respuesta: se usan
conjuntos...

Un conjunto es una colección de cosas, por

ejemplo números.

Aquí tienes unos ejemplos:

Conjunto de números pares: {..., -4, -2, 0, 2, 4, ...}

Conjunto de números impares: {..., -3, -1, 1, 3, ...}
Conjunto de números primos: {2, 3, 5, 7, 11, 13, 17, ...}
Múltiplos positivos de 3 que son menores que 10: {3, 6,
9}

De hecho, las funciones se definen sobre conjuntos:

Definición formal de una

función
Una función relaciona cada elemento de
un conjunto
con exactamente un elemento de otro
conjunto
(puede ser el mismo conjunto).

Dominio y rango
Hay nombres especiales para lo que puede entrar, y también lo que puede salir de una
función:

Lo que puede entrar en una función se llama el dominio

Lo que es posible que salga de una función se llama el

codominio

Lo que en realidad sale de una función se llama rango o

imagen

Entonces, en el diagrama de arriba el conjunto "X" es el dominio, el conjunto "Y" es el

codominio, y los elementos de Y a los que llegan flechas (los valores producidos
realmente por la función) son el rango.

Parte de la función
Lo que sale (el rango) depende de lo que pones (el dominio), pero TÚ defines el
dominio.

De hecho el dominio es una parte esencial de la función. Un dominio diferente da una

función diferente.

Ejemplo: una simple función como f(x) = x2 puede tener dominio (lo que entra) los
números de contar {1,2,3,...}, y el rango será entonces el conjunto {1,4,9,...}

Y otra función g(x) = x2 puede tener como dominio los enteros {...,-3,-2,-1,0,1,2,3,...},
entonces el rango será el conjunto {0,1,4,9,...}

Aunque las dos funciones toman la entrada y la elevan al cuadrado,

operan en conjuntos diferentes de entradas, y por eso dan salidas
diferentes.
También tienen diferentes propiedades.

Por ejemplo f(x) siempre da resultados distintos, pero g(x) puede dar
la misma respuesta para dos entradas (como g(-2)=4 y g(2)=4)

Así que el dominio es una parte muy importante de la función.

Entonces, ¿todas las funciones tienen su dominio?

Sí, pero en matemáticas sencillas no lo notas, porque el dominio se supone:

 Normalmente se supone que es algo así como "todos los números que hacen que
funcione".
 O si estás estudiando números enteros, el dominio será los enteros.
 etc.

¡Pero en matemáticas más avanzadas tienes que tener cuidado!

Codominio y rango
El codominio y el rango tienen que ver con la salida, pero no son exactamente lo
mismo.

El codominio es el conjunto de valores que podrían salir.

El rango es el conjunto de valores que realmente salen.

Ejemplo: puedes definir una función f(x)=2x con dominio y codominio los enteros
(porque tú lo eliges así).

Pero si lo piensas, verás que el rango (los valores que salen de verdad) son sólo los
enteros pares.

Así que el codominio son los enteros (lo has elegido tú) pero el rango son los enteros
pares.

Así que rango es un subconjunto del codominio.

¿Por qué los dos? Bueno, a veces no conoces exactamente el rango (porque la función
es complicada o no es conocida del todo), pero sabes el conjunto en el que está (como
los enteros o los reales). Así que defines el codominio y sigues trabajando.

La importancia del codominio

Déjame que te haga una pregunta: ¿la raíz cuadrada es una función?

Si tú dices que el codominio (las salidas posibles) es el conjunto de los números

reales, ¡entonces la raíz cuadrada no es una función! ... ¿te sorprende?

La razón es que podría haber dos respuestas para una entrada, por ejemplo f(9) = 3 o -3

Una función debe ser univaluada. No puede dar 2 resultados para el mismo valor de
entrada. ¡Por ejemplo "f(2) = 7 o 9" no está bien!

Pero se puede arreglar simplemente limitando el codominio a los números reales no

negativos.

√De hecho, el símbolo radical (como en √x) siempre significa la raíz cuadrada positiva
(la principal), así que √x es una función porque su codominio es correcto.

Así que el codominio que elijas puede afectar el que algo sea o no una función.

Notación
A los matemáticos no les gusta escribir muchas palabras cuando unos pocos símbolos
hacen el mismo trabajo. Así que hay maneras de decir que "el dominio es", "el
codominio es", etc.
Esta es la mejor manera que conozco:

Esto dice que la función "f" tiene dominio "N" (los

números naturales), y también codominio "N".
y esto dice que la función "f" toma "x" y devuelve "x2"

Qué es una función Inyectivo, sobreyectivo y biyectivo Introducción a los conjuntos Set
Theory Menu
 ¿Qué es una función?
Una función es como una máquina: tiene una entrada y
una salida.

Y lo que sale está relacionado de alguna manera con lo

que entra.

Ejemplos
 "Multiplicar por 2" es una función muy simple
 La raíz cuadrada (√) es una función
 Seno, coseno y tangente son funciones que se usan en trigonometría

Pero no vamos a ver funciones concretas...

... ahora vamos a ver la idea general de una función.

Nombres
Primero, es útil darle un nombre a una función. El nombre más común es "f", pero
puedes ponerle otros como "g" ... o hasta "mermelada" si quieres.

Y también está bien darle nombre a lo que se va adentro de la función, se pone entre
paréntesis () después del nombre de la función:

Así que f(x) te dice que la función se llama "f", y "x" se pone dentro

Y normalmente verás lo que la función hace a la entrada:

f(x) = x2 nos dice que la función "f" toma "x" y lo eleva al cuadrado.

Así que con la función "f(x) = x2", una entrada de 4 da una salida de 16. De hecho
podemos escribir f(4) = 16.

Nota: a veces las funciones no tienen nombre, y puede que veas algo como y = x2

Relacionar
Arriba dije que una función es como una máquina. Pero una función no tiene engranajes
ni correas ni partes que se muevan. ¡Y no destruye lo que pones dentro!

En realidad, una función relaciona la entrada con la salida.

Decir que "f(4) = 16" es como decir que 4 está relacionado de alguna manera con 16. O
también 4 → 16

Ejemplo: este árbol crece 20 cm cada año, así que

la altura del árbol está relacionada con la edad por
la función a:

a(edad) = edad × 20

Así que si la edad es 10 años, la altura es a(10) =

200 cm

Volveremos a esta idea después de responder la pregunta...

¿Con qué tipo de cosas trabaja una función?

Los "números" parecen una respuesta clara, pero...

... ¿qué números? Por ejemplo, la función de la altura del árbol

a(edad) = edad×20 no tiene sentido si la edad es menor que cero.
... también podrían ser letras ("A"→"B"), o códigos de identificación
("A6309"→"Acceso") o cosas más raras.

Así que tenemos que usar algo más general, y ahí es donde entran en juego los
conjuntos:

Un conjunto es una colección de cosas, por

ejemplo números.

Aquí tienes algunos ejemplos:

El conjunto de los números pares: {..., -4, -2, 0, 2, 4, ...}

Un conjunto de ropa: {"sombrero","camisa",...}
El conjunto de los números primos: {2, 3, 5, 7, 11, 13,
17, ...}
Los múltiplos de 3 que son más pequeños que 10: {3, 6,
9}

Cada cosa individual en un conjunto (como "4" o

"sombrero") es un miembro, o elemento.

Así que una función toma elementos de un conjunto, y devuelve (normalmente con
algún cambiados) elementos de un conjunto. Con esto llegamos a la definición formal:
 Definición formal de función
Una función relaciona cada elemento de
un conjunto
con un elemento exactamente de otro
conjunto
(puede ser el mismo conjunto).
"exactamente uno" significa que la función es univaluada. No
devolverá 2 o más resultados para la misma entrada. ¡Así que "f(2) = 7
o 9" no vale!
Cada elemento de "X" se relaciona con un elemento de "Y". Decimos
que la función cubre "X" (relaciona cada elemento de)

También fíjate que en el dibujo de arriba hay dos elementos en "X" que se relacionan
con el mismo elemento de "Y". No pasa nada. No hay ninguna regla contra esto.

Y finalmente, fíjate en que algunos elementos de "Y" no se relacionan con nada. Eso
también vale.

Esto son cosas normales entre funciones, pero algunos tipos de funciones cumplen
reglas más estrictas, para saber más lee sobre inyectivo, sobreyectivo y biyectivo

La prueba de la línea vertical

En un gráfico, la idea de univaluada significa
que ninguna línea vertical cruza más de una vez.

Si alguna cruzara más de una vez no sería una

función.

Dominio, codominio y rango

En el dibujo de arriba

 el conjunto "X" es el dominio,

 el conjunto "Y" es el codominio, y
 el conjunto de elementos de Y a los que llega alguna flecha (los valores
verdaderos de la función) se llama rango o imagen.
Tenemos una página especial sobre dominio, codominio y rango por si quieres saber
más.

Pares ordenados
Puedes escribir las entradas y salidas de una función como "pares ordenados", como
(4,16).

Se llaman pares ordenados porque la entrada siempre va primero y la salida después.

Así que (4,16) significa que la función toma "4" y devuelve "16"

Y una función se puede definir como un conjunto de pares ordenados:

Ejemplo: {(2,4), (4,5), (7,3)} es una función que dice que "2 se relaciona con 4", "4 se
relaciona con 5" y "7 se relaciona con 3".

Fíjate también en que el dominio es {2,4,7} y el rango es {4,5,3}

Pero la función debe ser univaluada, esto se puede decir

"si contiene (a, b) y (a, c), entonces b tiene que ser igual a c"

Es otra manera de decir que una entrada "a" no puede dar dos resultados diferentes.

Ejemplo: {(2,4), (2,5), (7,3)} no es una función porque {2,4} y {2,5} quieren decir que
2 estaría relacionado con 4 y 5, o sea no es univaluada

Conclusión
 una función relaciona entradas con salidas
 una función toma elementos de un conjunto (el dominio) y los relaciona con
elementos de un conjunto (el codominio).
 las salidas (los verdaderos valores de la función) se llaman la imagen o rango
 una entrada sólo produce una salida (no una u otra)
 una entrada y la salida que corresponde se llaman juntos un par ordenado
 así que una función también se puede ver como un conjunto de pares
ordenados

Eso es todo por ahora

¡Que funciones bien!

Inyectivo, sobreyectivo y biyectivo Dominio, codominio y rango Introducción a los

conjuntos Set Theory Menu
 Introducción a los conjuntos
Olvida todo lo que sabes sobre números. Olvídate de que sabes lo que es un número.
Aquí es donde empiezan las matemáticas. En vez de matemáticas con números, vamos a
hacer matemáticas con "cosas".

Definición
¿Qué es un conjunto? Bueno, por decirlo de una manera simple es una colección.
Primero eliges una propiedad común a unas "cosas" (esto lo definiremos luego) y
después reúnes las "cosas" que tienen esa propiedad.

Por ejemplo, la ropa que llevas: podrían ser

zapatos, calcetines, sombrero, camisa,
pantalones y otras cosas.

Seguro que a ti se te ocurrirían cien por lo

menos.

Esto es un conjunto.

Otro ejemplo sería tipos de dedos.

Este conjunto tendría pulgar, índice, medio, corazón y

meñique.

Así que son sólo cosas juntas que tienen una misma propiedad.

Notación
Hay una notación para conjuntos bastante simple. Los dos ejemplos de arriba son:

{calcetines, zapatos, relojes, faldas, ...}

{pulgar, índice, medio, corazón, meñique}

Fíjate que uno tiene "...". Esto sólo quiere decir que el conjunto sigue indefinidamente.
A lo mejor no hay infinitas cosas distintas que ponerse, pero no estoy seguro de eso.
Después de pensarlo durante una hora, todavía no estoy seguro. El primer conjunto es
un conjunto infinito, el segundo es un conjunto finito.

Conjuntos de números
¿Qué tiene esto que ver con matemáticas? Cuando definimos un conjunto, todo lo que
hace falta es una propiedad común. ¿Quién dice que no se puede hacer lo mismo con
números?
Conjunto de números pares: {..., -4, -2, 0, 2, 4, ...}
Conjunto de números impares: {..., -3, -1, 1, 3, ...}
Conjunto de números primos: {2, 3, 5, 7, 11, 13, 17, ...}
Múltiplos positivos de 3 que son menores que 10: {3, 6, 9}

Y la lista sigue. Podemos inventar muchos conjuntos distintos.

También hay conjuntos de números que no cumplen una propiedad común, simplemente
se definen así. Por ejemplo:

{2, 3, 6, 828, 3839, 8827}

{4, 5, 6, 10, 21}
{2, 949, 48282, 42882959, 119484203}

Todos estos conjuntos los he escrito aporreando mi teclado sin mirar.

¿Por qué son importantes los conjuntos?

Los conjuntos son los ladrillos fundamentales de las matemáticas. Es verdad que los
conjuntos, por sí solos, no parecen nada del otro mundo. Pero cuando los aplicas en
distintas situaciones es cuando se convierten en los bloques con los que las matemáticas
se construyen.

Las matemáticas se pueden complicar mucho rápidamente. Teoría de grafos, álgebra

astracta, análises real, análisis complejo, álgebra lineal, teoría de números, y la lista
sigue y sigue. Pero hay una cosa que todas estas partes de las matemáticas tienen en
común: los conjuntos.

Las matemáticas se pueden complicar mucho rápidamente. Teoría de grafos, álgebra

astracta, análises real, análisis complejo, álgebra lineal, teoría de números, y la lista
sigue y sigue. Pero hay una cosa que todas estas partes de las matemáticas tienen en
común: los conjuntos.

Conjunto universal
Al principio usamos la palabra "cosas" entre comillas. Esto se
llama el conjunto universal. Es un conjunto que contiene
todo. Bueno, No todo de verdad. Todo lo que tiene que ver
con el problema que tienes entre manos.
Hasta ahora, los conjuntos que te he dado contenían números
enteros. Así que el conjunto universal aquí serían los enteros.
De hecho, cuando uno hace Teoría de Números, casi siempre
ese es el conjunto universal, porque la Teoría de Números es la
parte de las matemáticas que estudia los enteros.

Sin embargo en Análisis Real, el conjunto universal es casi

siempre los números reales. Y en Análisis Complejo, el
conjunto universal es los números complejos.
Más notación
Cuando hablamos de conjuntos, es normal usar letras mayúsculas para
llamar al conjunto, y letras minúsculas para los elementos de ese
conjunto.

Así que por ejemplo A es un conjunto, y a es un elemento de A. Lo

mismo con B y b, y con C y c.

No pasa nada si no sigues esa regla, puedes usar algo como m para representar un
conjunto sin romper reglas matemáticas (ojo, pasarás π años en la cárcel por dividir
entre 0), pero esta notación es fácil de seguir, así que ¿por qué no usarla?

También, cuando decimos que un elemento a está en un conjunto A, usamos el símbolo

para mostrarlo.
Y si algo no está en un conjnto usamos .

Ejemplo: el conjunto A es {1,2,3}. Como puedes ver 1 A, pero 5 A

Igualdad
Dos conjuntos son iguales si tienen exactamente los mismos miembros. Quizás no
parezcan iguales a primera vista, ¡tienes que mirarlos bien!

Ejemplos: Son A y B iguales si:

 A es el conjunto de los cuatro primeros enteros positivos

 B = {4, 2, 1, 3}

Vamos a verlo. Los dos contienen 1. Y 2. Y 3, y 4. Y ya hemos comprobado los

elementos de los dos conjuntos, así que: ¡Sí, son iguales!

Y el signo igual (=) se usa precisamente para indicar igualdades, así que escribimos:

A=B

Subconjuntos
Cuando definimos un conjunto, si tomamos partes de él tenemos algo que se llama un
subconjunto.

Así que por ejemplo tenemos el conjunto {1, 2, 3, 4, 5}. Un subconjunto suyo es {1, 2,
3}. Otro subconjunto es {3, 4} y otro es {1}. Sin embargo, {1, 6} no es un subconjunto,
porque contiene un elemento (el 6) que no está en el conjunto grande. En general:

A es subconjunto de B si y sólo si cada elemento de A está en B.

Así que vamos a usar esta definición en algunos ejemplos.

¿Es A subconjunto de B, si A = {1, 3, 4} y B = {1, 4, 3, 2}?

1 está A, pero 1 también está en B. Por ahora bien. 2 está en B, pero no en A. Pero
recuerda que eso no importa, sólo hay que mirar los elementos de A. 3 está en A y
también en B. Falta uno más. 4 está A, y en B. Esos son todos los elementos de A, y
están todos en B, así que ya está.

Vamos a intentar un ejemplo más difícil.

Sean A todos los múltiplos de 4 y B todos los múltiplos de 2. ¿Es A un

subconjunto de B? ¿Es B un subconjunto de A?

Bueno, no se pueden comprobar todos los elementos de estos conjuntos, porque hay
infinitos elementos. Así que tenemos que hacernos una idea de cómo son los elementos
en cada uno, y comparar.

Para representar un múltiplo de 2, usamos 2n, donde n es un entero. Y hacemos lo

mismo con los múltiplos de 4: son 4m, donde m es entero. Así que si tenemos un
número 4m, ¿lo podemos escribir como un múltiplo de 2, con la forma 2n? ¡Claro que
podemos!

Sabemos que 4 = 2*2, así que 4m = 2*2m, o mejor 2(2m). También sabemos que 2m es
un entero. Así que vamos a llamar a = 2m, donde a es un entero. Entonces podemos
decir que 4m = 2*2m = 2(2m) = 2(a). Como a es un entero, 2a es prácticamente lo
mismo que 2n. Quiero decir, lo único que pasa es que usamos otra letra, pero no importa
qué letra usemos. Así que A es un subconjunto de B.

¿Pero es B un subconjunto de A? Bueno, podemos probar a hacer lo mismo. Tenemos

2n y queremos que sea como 4m. Una manera de hacer eso sería multiplicarlo por 2
para que tengamos 2*2n o lo que es lo mismo 4n. Pero recuerda lo de arriba, sólo
podemos usar el signo igual. Si multiplicas un número por 2, ya no es igual a lo que era.
Así que nos hemos topado con un muro. No parece que 2n se pueda hacer parecido a
4m. ¿A lo mejor lo que queremos es falso? Vamos a probar lo contrario, a ver si es
verdad que B no es subconjunto de A. ¿Cómo lo haríamos? Bueno, nos basta encontrar
un elemento de B que no esté en A. Todo lo que hay que hacer es buscar un elemento
así. Queremos un múltiplo de 2 que no sea múltiplo de 4. Pero de hecho, 2 es múltiplo
de 2, pero no es múltiplo de 4. Así que 2 está en B pero no en A, y entonces B no es
subconjunto de A.

Subconjuntos propios
Si nos fijamos en la definición de subconjunto y dejamos que nuestra mente trabaje un
poco, llegamos a una conclusión rara. Digamos que A es un conjunto. ¿Es verdad que
todo elemento a de A también es un elemento de A? Bueno, está claro que sí, ¿no? ¿Y
eso no significa que A es un subconjunto de A? Esto no parece muy correcto, ¿no?
Queremos que nuestros subconjuntos sean propios. Así que introducimos la definición
de subconjuntos propios.
A es un subconjunto propio de B si y sólo si cada elemento de A está en B, y existe por
lo menos un elemento de B que no está en A.

Esta pequeña parte del final es la que hace que A no sea un subconjunto propio de sí
mismo. Por lo demás, un subconjunto propio es lo mismo que un subconjunto normal.

Así que por ejemplo, {1, 2, 3} es un subconjunto de {1, 2, 3}, pero no es un

subconjunto propio de {1, 2, 3}.

Por otra parte, {1, 2, 3} es un subconjunto propio de {1, 2, 3, 4} porque el elemento 4

no está en el primer conjunto.

Fíjate en que si A es un subconjunto propio de B, entonces también es un subconjunto

de B.

Más notación
Cuando decimos que A es un subconjunto de B, escribimos A B.

O podemos decir que A no es subconjunto de B: A B ("A no es subconjunto de B")

Cuando hablamos de subconjuntos propios, quitamos la línea de debajo y queda A B

o para decir lo contrario, A B.

Conjunto vacío
Probablemente esto es lo más raro que tienen los conjuntos.

Por ejemplo, piensa en el conjunto de teclas de piano que tiene una

guitarra.

"¡Pero espera!" seguro que dices, "¡Una guitarra no tiene teclas!"

Y tienes toda la razón. Este conjunto no tiene elementos.

A este conjunto se le llama conjunto vacío. No tiene elementos. Ni

uno.

Se representa como

Otro ejemplo de conjunto vacío es el conjunto de países al sur del polo sur.

¿Y qué es tan extraño sobre el conjunto vacío? Bueno, esa parte viene ahora.

El conjunto vacío y subconjuntos

Volvamos a la definición de subconjunto. Tenemos un conjunto A. No decimos más de
él, podría ser cualquier conjunto. ¿El conjunto vacío es subconjunto de A?
Volviendo a la definición de subconjunto, si todo elemento del conjunto vacío
también está en A, entonces el conjunto vacío es subconjunto de A. ¿Pero y si no
hay elementos?

Hay falta aprender algo de lógica para entender esto, pero esa frase es verdadera de
manera "vacía" o "trivial". Piénsalo de esta manera: no podemos encontrar elementos en
el conjunto vacío que no estén en A, así que todos los elementos del conjunto vacío
están en A.

Así que la respuesta a la pregunta que hicimos es un sonoro sí.

El conjunto vacío es subconjunto de todos los conjuntos, incluído él mismo.

Cardinal
Todo conjunto tiene una propiedad asociada llamada cardinal. Es simplemente el
tamaño del conjunto.

De la misma manera que hay conjuntos finitos e infinitos, estos tienen cardinal finito e
infinito. Para conjuntos finitos, lo representamos con un número, el número de
elementos. Por ejemplo, {1, 2, 3, 4} tiene cardinal 4. Sobre conjuntos infinitos, sólo
podemos decir que tienen cardinal infinito. Aunque parezca raro, hay infinitos más
grandes que otros, pero este es un tema avanzado en teoría de conjuntos.

¡No! ¡No más notaciones!

Nah, era broma. No hay más notaciones.

Ejercicios
Pronto ...

Por
Ricky Shadrach