1.+Funciones

=Función matemática= media type="youtube" key="iBFu6kLa9uY" width="425" height="350" Observa el video, luego relacionalo con el contenido y responde en "discución" de la actividad virtual No 1, ¿crees que las funciones tiene utilidad para las personas?, si tu respuesta es afirmativa, indica alguna.

Contenido
= =
 * 1 Notación y nomenclatura
 * 1.1 Valor o imagen
 * 1.2 Dominio
 * 1.3 Codominio
 * 1.4 Imagen
 * 1.5 Preimagen
 * 1.6 Ejemplos
 * 2 Igualdad de funciones
 * <span class="wiki_link_ext">3 <span class="wiki_link_ext">Representación de funciones
 * <span class="wiki_link_ext">4 <span class="wiki_link_ext">Clasificación de las funciones
 * <span class="wiki_link_ext">4.1 <span class="wiki_link_ext">Aplicación inyectiva y no sobreyectiva
 * <span class="wiki_link_ext">4.1.1 <span class="wiki_link_ext">Ejemplo
 * <span class="wiki_link_ext">4.1.2 <span class="wiki_link_ext">Segundo ejemplo
 * <span class="wiki_link_ext">4.2 <span class="wiki_link_ext">Aplicación no inyectiva y sobreyectiva
 * <span class="wiki_link_ext">4.2.1 <span class="wiki_link_ext">Ejemplo
 * <span class="wiki_link_ext">4.2.2 <span class="wiki_link_ext">Segundo ejemplo
 * <span class="wiki_link_ext">4.3 <span class="wiki_link_ext">Aplicación inyectiva y sobreyectiva (biyectiva)
 * <span class="wiki_link_ext">4.3.1 <span class="wiki_link_ext">Ejemplo
 * <span class="wiki_link_ext">4.3.2 <span class="wiki_link_ext">Segundo ejemplo
 * <span class="wiki_link_ext">4.4 <span class="wiki_link_ext">Aplicación no inyectiva y no sobreyectiva
 * <span class="wiki_link_ext">4.4.1 <span class="wiki_link_ext">Ejemplo
 * <span class="wiki_link_ext">4.4.2 <span class="wiki_link_ext">Segundo ejemplo
 * <span class="wiki_link_ext">4.5 <span class="wiki_link_ext">Resumen
 * <span class="wiki_link_ext">5 <span class="wiki_link_ext">Álgebra de las funciones
 * <span class="wiki_link_ext">5.1 <span class="wiki_link_ext">La Composición de funciones
 * <span class="wiki_link_ext">5.2 <span class="wiki_link_ext">La función identidad
 * <span class="wiki_link_ext">5.3 <span class="wiki_link_ext">La Restricción de una Función
 * <span class="wiki_link_ext">5.4 <span class="wiki_link_ext">Función inversa
 * 6.0 <span class="wiki_link_ext">Funciones (con valores) Reales
 * <span class="wiki_link_ext">6.1.1 <span class="wiki_link_ext">Álgebra de Funciones
 * 7.0 <span class="wiki_link_ext">Funciones numéricas
 * <span class="wiki_link_ext">8..1 <span class="wiki_link_ext">Funciones pares e impares
 * <span class="wiki_link_ext">8.2 <span class="wiki_link_ext">Funciones reales y funciones discretas
 * 9.0 anexo: funciones matematicas
 * = DEFINICION =

Función de //X// en //Y//: la condición de existencia asegura que de cada elemento sale alguna flecha y la de unicidad que sólo sale una. En [|Matemáticas], una función //f// de un conjunto //X// en un conjunto //Y// es una asignación o [|correspondencia matemática] denotada por:

tal que a cada elemento de //X// le corresponde un único elemento de //Y//. También se usa llamar //aplicaciones// a las funciones. Una función puede considerarse como un caso particular de una [|relación] o de [|correspondencia matemática]. Cada relación o correspondencia de un elemento con un (y sólo un)  se denota, en lugar de Formalmente, pedimos que se cumplan las siguientes dos condiciones: 
 * # **Condición de existencia:** Todos los elementos de //X// están relacionados con elementos de //Y//, es decir, [[image:http://upload.wikimedia.org/math/e/a/b/eab53bb93f11d1a81e7b92c0280e7d3e.png]]
 * 1) **Condición de unicidad:** Cada elemento de //X// esta relacionado con un único elemento de //Y//, es decir, si [[image:http://upload.wikimedia.org/math/b/5/b/b5b1f33c9f6e9c127e7ebaa27d91060b.png width="321" height="30"]] ||

Valor o imagen
Sea (o sea, //f// es una función de (el conjunto) X en (el conjunto) Y. Cuando //x// es un elemento de //X//, se denota por //f(x)// al elemento de //Y// asignado por la función //f// a //x//. Decimos que //f(x)// es el **valor** o **imagen** de la función //f// en el //argumento// //x//.

Dominio
El //dominio// de es el conjunto //X//. Dicho conjunto también se llama //conjunto de entrada// o //conjunto inicial//. Se denota por o. 

Codominio
El [|codominio], //conjunto de llegada//, //conjunto final// // es el conjunto// Y//.// 

Imagen
La //imagen//, //alcance// o //recorrido// de la función es el subconjunto de //Y// formado por todos los valores o imágenes de elementos de //X// por //f//. Se denota por o  o. 

 media type="youtube" key="rIpnGj3Vge0" width="425" height="350"Observa el video, ¿consideras que como futuro(a) profesional, haras uso de funciones?Explica. Escribe en discusión de la atividad virtual No 1

Ejemplos
Función con Dominio //X// Note que a cada elemento de //X// le corresponde un único elemento de //Y//. Además, el elemento //a// de //Y// no tiene origen, y el elemento //b// tiene dos (el 1 y el 4 ). Finalmente,Esta función representada como [|relación], queda: 
 * La función definida por [[image:http://upload.wikimedia.org/math/4/4/9/449f69d2e32762d4e9cac9386ef11ff7.png]], tiene como dominio, rango e imagen a todos los [|números reales] [[image:http://upload.wikimedia.org/math/3/e/0/3e00a585f8e371656dcdff733588ecee.png]]
 * Para la función [[image:http://upload.wikimedia.org/math/e/4/5/e45899689ac2ba5033568614624ed531.png]] tal que [[image:http://upload.wikimedia.org/math/9/d/1/9d119ac3c153eff6af69d962fc2fe194.png]], en cambio, si bien su dominio es igual a [[image:http://upload.wikimedia.org/math/6/9/a/69a45f1e602cd2b2c2e67e41811fd226.png]], sólo tendrá como imagen los valores comprendidos entre 0 y mas infinito que sean el cuadrado de un número real.
 * En la figura se puede apreciar una función [[image:http://upload.wikimedia.org/math/3/4/d/34df88d39d1c93bc40eb5d0024c4ea91.png]], con

Ejemplo de como determinar el dominio y el rango de una función
media type="youtube" key="694clGRG-a4" width="425" height="350"

Representación de funciones
Las funciones se pueden presentar de distintas maneras: Ejemplo: y=x+2. Dominio natural es todos los reales.Ejemplo: "Para todo //x//, número entero, //y// vale //x// más dos unidades". Ejemplo: code X| -2 -1 0  1  2  3 Y| 0  1  2  3  4  5
 * usando una relación matemática descrita mediante una **expresión matemática**: [|ecuaciones] de la forma //y// = //f//(//x//) . Cuando la relación es funcional, es decir satisface la segunda condición de la definición de función, se puede definir una función que se dice definida por la relación, A menos que se indique lo contrario, se supone en tales casos que el dominio es el mayor posible (respecto a inclusión) y que el codominio son todos los Reales.
 * Como **tabulación**: tabla que permite representar algunos valores discretos de la función.

code Ejemplo: A={(-2, 0),(-1, 1),(0, 2),(1, 3), ... (x, x+2)} Ejemplo: 
 * Como **pares ordenados**: [|pares ordenados], muy usados en [|teoría de grafos].
 * Como **gráfica**: [|gráfica] que permite visualizar las tendencias en la función. Muy utilizada para las [|funciones continuas] típicas del [|cálculo], aunque también las hay para [|funciones discretas].
 * 5 ||  ||   ||   ||   ||   || X ||
 * 4 ||  ||   ||   ||   || X ||   ||
 * 3 ||  ||   ||   || X ||   ||   ||
 * 2 ||  ||   || X ||   ||   ||   ||
 * 1 ||  || X ||   ||   ||   ||   ||
 * 0 || X ||  ||   ||   ||   ||   ||
 * y / x || -2 || -1 || 0 || 1 || 2 || 3 ||

Clasificación de las funciones
Dados dos conjuntos //X//, //Y//, consideremos a todas las posibles aplicaciones (funciones) que pueden formarse entre estos dos conjuntos. Podemos diferenciar los siguientes casos: Puede haber funciones que sean biyectivas, inyectivas pero no suprayectivas, suprayectivas pero no inyectiva o que no se cumple ninguna de esas condiciones, en cuyo caso no tiene un nombre especifico. '//Definiciones alternas//: sea dada y sea //b// un elemento cualquiera del codominio //Y//. Consideremos la ecuación .
 * Si a cada imagen le corresponde una única preimagen, **inyectiva**.
 * Si la imagen de la función es igual al codominio, **[|sobreyectiva]** o **[|suprayectiva]**.
 * Una función que sea inyectiva y sobreyectiva simultáneamente, se denomina **[|biyectiva]**.
 * la función es suprayectiva o sobreyectiva si, y sólo si, la ecuación siempre tiene al menos una solución.
 * la función es inyectiva si, y 'solo si, la ecuación (*) tiene a lo más una solución.
 * la función es biyectiva cuando, y sólo cuando, es inyectiva y suprayectiva a la vez.

Vamos a ilustrar esos diferentes tipos de funciones (aplicaciones) en un [|Diagrama de Venn], el conjunto universal **U**, representado por un rectángulo, es el conjunto de todas las posibles aplicaciones, el conjunto **A** es aquel de las aplicaciones inyectivas, y el conjunto **B** aquel de las sobreyectivas, esto nos permite ver los distintos tipos de aplicaciones de un modo gráfico. 

Aplicación inyectiva y no sobreyectiva
En una función inyectiva, cada elemento imagen tiene única preimágen. Un función que no sea inyectiva, tendrá al menos dos elementos diferentes del dominio que tienen la misma imagen. En una función suprayectiva (sobreyectiva) cada elemento del codominio es imagen de algún elemento del dominio. Una función no será suprayectiva, cuando al menos un elemento del codominio (conjunto final) no tenga una preimagen. En el diagrama de Venn corresponden a las aplicaciones que pertenecen a **A** y no pertenecen a **B**, esto es las que pertenecen a la diferencia de **A** y **B**: **A-B**. En estas aplicaciones la cardinalidad de **X** es siempre menor que la de **Y**, esto es el conjunto **Y** tendrá mayor número de elementos que **X** cuando tratamos de compararlos. 

Ejemplo
en el diagrama de la figura: todos los elementos de **Y**, que tienen origen, tienen un único origen, esto hace que la aplicación sea inyectivael elemento **d** de **Y**, no tiene ningún origen por lo que esta aplicación no es sobreyectiva.

Segundo ejemplo
Partiendo del conjunto de pinceles con pintura de colores: Sobre el conjunto de caras pintadas: Asociando cada pincel con la cara correspondiente: Dado que cada pincel tiene una cara y solo una cara de su color esta correspondencia es una aplicación, como las caras que tiene pincel de su color, tienen un solo pincel de su color, la aplicación es inyectiva, y como la cara pintada de amarillo, no tiene ningún pincel de este color, la aplicación no es sobreyectiva. 
 * [[image:http://upload.wikimedia.org/math/8/e/b/8eb98ad279e977939ea1eda8d4f85284.png]] || [[image:http://upload.wikimedia.org/wikipedia/commons/thumb/b/bd/Correspon_P0.svg/30px-Correspon_P0.svg.png width="30" height="27" link="http://es.wikipedia.org/wiki/Archivo:Correspon_P0.svg"]], || [[image:http://upload.wikimedia.org/wikipedia/commons/thumb/0/08/Correspon_P2.svg/30px-Correspon_P2.svg.png width="30" height="27" link="http://es.wikipedia.org/wiki/Archivo:Correspon_P2.svg"]], || [[image:http://upload.wikimedia.org/wikipedia/commons/thumb/f/ff/Correspon_P4.svg/30px-Correspon_P4.svg.png width="30" height="27" link="http://es.wikipedia.org/wiki/Archivo:Correspon_P4.svg"]] || [[image:http://upload.wikimedia.org/math/b/7/5/b752132764734448b12a5a3dd2cda51c.png]] ||
 * [[image:http://upload.wikimedia.org/math/b/2/f/b2f2230b8d8d2b49c53253479038ecd8.png]] || [[image:http://upload.wikimedia.org/wikipedia/commons/thumb/3/3c/Correspon_C0.svg/30px-Correspon_C0.svg.png width="30" height="27" link="http://es.wikipedia.org/wiki/Archivo:Correspon_C0.svg"]], || [[image:http://upload.wikimedia.org/wikipedia/commons/thumb/e/ed/Correspon_C2.svg/30px-Correspon_C2.svg.png width="30" height="27" link="http://es.wikipedia.org/wiki/Archivo:Correspon_C2.svg"]], || [[image:http://upload.wikimedia.org/wikipedia/commons/thumb/1/1b/Correspon_C4.svg/30px-Correspon_C4.svg.png width="30" height="27" link="http://es.wikipedia.org/wiki/Archivo:Correspon_C4.svg"]], || [[image:http://upload.wikimedia.org/wikipedia/commons/thumb/d/d9/Correspon_C1.svg/30px-Correspon_C1.svg.png width="30" height="27" link="http://es.wikipedia.org/wiki/Archivo:Correspon_C1.svg"]] || [[image:http://upload.wikimedia.org/math/b/7/5/b752132764734448b12a5a3dd2cda51c.png]] ||

Aplicación no inyectiva y sobreyectiva
Una aplicación no inyectiva tiene al menos un elemento imagen que tiene dos o más orígenes y una sobreyectiva todos los elementos del conjunto final tienen al menos un elemento origen. En el diagrama de Venn corresponden a las aplicaciones que no pertenecen a **A** y si pertenecen a **B**, esto es las que pertenecen a la diferencia de **B** y **A**: **B-A**. Para esta aplicación el conjunto **X** ha de tener mayor número de elementos que **Y**, la cardinalidad de **X** ha de ser mayor que la de **Y**. 

Ejemplo
en el diagrama de la figura: el elemento **c** de **Y**, tiene dos orígenes: el **3** y el **4**, por lo que esta aplicación no es inyectiva.todos los elementos de **Y**, tienen origen, esto hace que la aplicación sea sobreyectiva.

Segundo ejemplo
Igual que en el ejemplo anterior partiremos del conjunto de pinceles con pintura de colores: En este caso hay dos pinceles con pintura azul, pero a pasar de tener el mismo color de pintura son dos pinceles distintos. Como conjunto final tenemos el conjunto de caras pintadas: Asociando cada pincel con la cara del mismo color, vemos que cada pincel tiene una cara pintada de su color y solo una, esto hace que la correspondencia sea una aplicación, la cara azul tiene dos pinceles de su mismo color, por lo que no es inyectiva, todas las caras tiene un pincel con su color, luego la aplicación es sobreyectiva. 
 * [[image:http://upload.wikimedia.org/math/8/e/b/8eb98ad279e977939ea1eda8d4f85284.png]] || [[image:http://upload.wikimedia.org/wikipedia/commons/thumb/b/bd/Correspon_P0.svg/30px-Correspon_P0.svg.png width="30" height="27" link="http://es.wikipedia.org/wiki/Archivo:Correspon_P0.svg"]], || [[image:http://upload.wikimedia.org/wikipedia/commons/thumb/0/08/Correspon_P2.svg/30px-Correspon_P2.svg.png width="30" height="27" link="http://es.wikipedia.org/wiki/Archivo:Correspon_P2.svg"]], || [[image:http://upload.wikimedia.org/wikipedia/commons/thumb/f/ff/Correspon_P4.svg/30px-Correspon_P4.svg.png width="30" height="27" link="http://es.wikipedia.org/wiki/Archivo:Correspon_P4.svg"]], || [[image:http://upload.wikimedia.org/wikipedia/commons/thumb/f/ff/Correspon_P4.svg/30px-Correspon_P4.svg.png width="30" height="27" link="http://es.wikipedia.org/wiki/Archivo:Correspon_P4.svg"]] || [[image:http://upload.wikimedia.org/math/b/7/5/b752132764734448b12a5a3dd2cda51c.png]] ||
 * [[image:http://upload.wikimedia.org/math/b/2/f/b2f2230b8d8d2b49c53253479038ecd8.png]] || [[image:http://upload.wikimedia.org/wikipedia/commons/thumb/3/3c/Correspon_C0.svg/30px-Correspon_C0.svg.png width="30" height="27" link="http://es.wikipedia.org/wiki/Archivo:Correspon_C0.svg"]], || [[image:http://upload.wikimedia.org/wikipedia/commons/thumb/e/ed/Correspon_C2.svg/30px-Correspon_C2.svg.png width="30" height="27" link="http://es.wikipedia.org/wiki/Archivo:Correspon_C2.svg"]], || [[image:http://upload.wikimedia.org/wikipedia/commons/thumb/1/1b/Correspon_C4.svg/30px-Correspon_C4.svg.png width="30" height="27" link="http://es.wikipedia.org/wiki/Archivo:Correspon_C4.svg"]] || [[image:http://upload.wikimedia.org/math/b/7/5/b752132764734448b12a5a3dd2cda51c.png]] ||

Aplicación inyectiva y sobreyectiva (biyectiva)
Si una aplicación es inyectiva y sobreyectiva simultáneamente, se denomina biyectiva. Por ser inyectiva los elementos que tienen origen tienen un único origen y por ser sobreyectiva todos los elementos del conjunto final tienen origen. En el diagrama de Venn el conjunto **A** es el de las aplicaciones inyectiva y el conjunto **B** el de las aplicaciones sobreyectiva, las aplicaciones biyectiva, que son inyectiva y sobreyectiva, será la intersección de **A** y **B**. Estas dos circunstancias dan lugar a que el conjunto **X** e **Y** tengan el mismo número de elementos, la cardinalidad de **X** es la misma que la de **Y**, esto tiene una gran importancia cuando se pretende comparar dos conjuntos: 
 * Si dados dos conjuntos podemos encontrar una aplicación biyectiva entre ellos, podemos afirmar, que los dos conjuntos tienen el mismo número de elementos. La cardinalidad de **X** es igual a la de **Y**.

Ejemplo
en el diagrama de la figura: todos los elementos de **Y**, que tienen origen, tienen un único origen, esto hace que la aplicación sea inyectivatodos los elementos de **Y**, tienen origen, esto hace que la aplicación sea sobreyectiva. Si tomaremos por conjunto inicial el conjunto de los números naturales: y por conjunto final el de los números naturales pares: Podemos ver que la relación Por el que a cada número natural **x** de **X**, le asociamos un número par **2x** de **Y**, se cumple: Esto nos permite afirmar que hay el mismo número de números naturales que de números naturales pares, se da la paradoja de que los números naturales pares en un subconjunto propio de los números naturales, esta circunstancia solo se da con los conjuntos infinitos. 
 * 1) **f**: es una aplicación, dado que a cada uno de los valores **x** de **X** le corresponde un único valor **2x** de **Y**.
 * 2) esta aplicación es inyectiva dado que a cada número par **2x** de **Y** le corresponde un único valor **x** de **X**.
 * 3) y es sobreyectiva porque todos los números pares tienen un origen

Segundo ejemplo
Tomando el conjunto de pinceles como conjunto inicial: y el de caras como conjunto final: La correspondencia que asocia cada pincel con la cara de su mismo color es una aplicación porque todos los pinceles tienen una cara con su color y solo una cara de ese color, la aplicación es inyectiva porque un pincel corresponde con una sola cara, y es sobreyectiva porque todas las caras tiene un pincel de su color, al ser inyectiva y sobreyectiva simultáneamente esta aplicación es biyectiva. Una aplicación biyectiva hace corresponder los elementos del conjunto inicial con los del conjunto final uno a uno, pudiéndose decir que hay el mismo número de elementos en el conjunto inicial que en el final. 
 * [[image:http://upload.wikimedia.org/math/8/e/b/8eb98ad279e977939ea1eda8d4f85284.png]] || [[image:http://upload.wikimedia.org/wikipedia/commons/thumb/b/bd/Correspon_P0.svg/30px-Correspon_P0.svg.png width="30" height="27" link="http://es.wikipedia.org/wiki/Archivo:Correspon_P0.svg"]], || [[image:http://upload.wikimedia.org/wikipedia/commons/thumb/0/08/Correspon_P2.svg/30px-Correspon_P2.svg.png width="30" height="27" link="http://es.wikipedia.org/wiki/Archivo:Correspon_P2.svg"]], || [[image:http://upload.wikimedia.org/wikipedia/commons/thumb/f/ff/Correspon_P4.svg/30px-Correspon_P4.svg.png width="30" height="27" link="http://es.wikipedia.org/wiki/Archivo:Correspon_P4.svg"]], || [[image:http://upload.wikimedia.org/wikipedia/commons/thumb/b/b2/Correspon_P1.svg/30px-Correspon_P1.svg.png width="30" height="27" link="http://es.wikipedia.org/wiki/Archivo:Correspon_P1.svg"]] || [[image:http://upload.wikimedia.org/math/b/7/5/b752132764734448b12a5a3dd2cda51c.png]] ||
 * [[image:http://upload.wikimedia.org/math/b/2/f/b2f2230b8d8d2b49c53253479038ecd8.png]] || [[image:http://upload.wikimedia.org/wikipedia/commons/thumb/3/3c/Correspon_C0.svg/30px-Correspon_C0.svg.png width="30" height="27" link="http://es.wikipedia.org/wiki/Archivo:Correspon_C0.svg"]], || [[image:http://upload.wikimedia.org/wikipedia/commons/thumb/e/ed/Correspon_C2.svg/30px-Correspon_C2.svg.png width="30" height="27" link="http://es.wikipedia.org/wiki/Archivo:Correspon_C2.svg"]], || [[image:http://upload.wikimedia.org/wikipedia/commons/thumb/1/1b/Correspon_C4.svg/30px-Correspon_C4.svg.png width="30" height="27" link="http://es.wikipedia.org/wiki/Archivo:Correspon_C4.svg"]], || [[image:http://upload.wikimedia.org/wikipedia/commons/thumb/d/d9/Correspon_C1.svg/30px-Correspon_C1.svg.png width="30" height="27" link="http://es.wikipedia.org/wiki/Archivo:Correspon_C1.svg"]] || [[image:http://upload.wikimedia.org/math/b/7/5/b752132764734448b12a5a3dd2cda51c.png]] ||

Aplicación no inyectiva y no sobreyectiva
Una aplicación no inyectiva tendrá al menos un elemento imagen que tenga dos o más orígenes y una no sobreyectiva tendrá al menos un elemento del conjunto final que no tenga elemento origen. Este tipo de aplicaciones no tiene un nombre especifico y quizá sean las que presenten, desde el punto de vista matemático, un menor interés. Para esta aplicación los conjuntos **X** e **Y** no son comparables, y no podemos plantear ningún supuesto sobre su cardinalidad, partiendo de su comparación, ni sobre su número de elementos. En el diagrama de Venn corresponden a las aplicaciones que no pertenecen a **A** y no pertenecen a **B**, esto es las que no pertenecen a la unión de **A** y **B**. 

Ejemplo
en el diagrama de la figura: el elemento **b** de **Y**, tiene dos orígenes: **1** y **2**, esto hace que esta aplicación no sea inyectivael elemento **a** de **Y**, no tiene ningún origen por lo que esta aplicación no es sobreyectiva.

Segundo ejemplo
Si tomamos como conjunto inicial el de pinceles de colores: y como conjunto final el de caras coloreadas: Vemos que todos los pinceles tiene una cara y solo una cara de su mismo color, luego esta correspondencia es una aplicación matemática. Como la cara azul tiene dos pinceles de su color la aplicación no es inyectiva, y como la cara amarilla no tiene ningún pincel de ese color no es sobreyectiva, luego esta aplicación es no inyectiva y no sobreyectiva.
 * [[image:http://upload.wikimedia.org/math/8/e/b/8eb98ad279e977939ea1eda8d4f85284.png]] || [[image:http://upload.wikimedia.org/wikipedia/commons/thumb/b/bd/Correspon_P0.svg/30px-Correspon_P0.svg.png width="30" height="27" link="http://es.wikipedia.org/wiki/Archivo:Correspon_P0.svg"]], || [[image:http://upload.wikimedia.org/wikipedia/commons/thumb/0/08/Correspon_P2.svg/30px-Correspon_P2.svg.png width="30" height="27" link="http://es.wikipedia.org/wiki/Archivo:Correspon_P2.svg"]], || [[image:http://upload.wikimedia.org/wikipedia/commons/thumb/f/ff/Correspon_P4.svg/30px-Correspon_P4.svg.png width="30" height="27" link="http://es.wikipedia.org/wiki/Archivo:Correspon_P4.svg"]], || [[image:http://upload.wikimedia.org/wikipedia/commons/thumb/f/ff/Correspon_P4.svg/30px-Correspon_P4.svg.png width="30" height="27" link="http://es.wikipedia.org/wiki/Archivo:Correspon_P4.svg"]] || [[image:http://upload.wikimedia.org/math/b/7/5/b752132764734448b12a5a3dd2cda51c.png]] ||
 * [[image:http://upload.wikimedia.org/math/b/2/f/b2f2230b8d8d2b49c53253479038ecd8.png]] || [[image:http://upload.wikimedia.org/wikipedia/commons/thumb/3/3c/Correspon_C0.svg/30px-Correspon_C0.svg.png width="30" height="27" link="http://es.wikipedia.org/wiki/Archivo:Correspon_C0.svg"]], || [[image:http://upload.wikimedia.org/wikipedia/commons/thumb/e/ed/Correspon_C2.svg/30px-Correspon_C2.svg.png width="30" height="27" link="http://es.wikipedia.org/wiki/Archivo:Correspon_C2.svg"]], || [[image:http://upload.wikimedia.org/wikipedia/commons/thumb/1/1b/Correspon_C4.svg/30px-Correspon_C4.svg.png width="30" height="27" link="http://es.wikipedia.org/wiki/Archivo:Correspon_C4.svg"]], || [[image:http://upload.wikimedia.org/wikipedia/commons/thumb/d/d9/Correspon_C1.svg/30px-Correspon_C1.svg.png width="30" height="27" link="http://es.wikipedia.org/wiki/Archivo:Correspon_C1.svg"]] || [[image:http://upload.wikimedia.org/math/b/7/5/b752132764734448b12a5a3dd2cda51c.png]] ||



Resumen
Sobreyectiva, no inyectiva || Inyectiva, no sobreyectiva || Biyectiva || No sobreyectiva, no inyectiva || 
 * [[image:http://upload.wikimedia.org/wikipedia/commons/thumb/6/6c/Surjection.svg/200px-Surjection.svg.png width="200" height="200" link="http://es.wikipedia.org/wiki/Archivo:Surjection.svg"]]

La Composición de funciones
// Artículo principal: [|Función compuesta]// Dadas funciones //f: A → B// y //g: B → C//, (o sea, donde la [|imagen] de //f// está contenida en el [|dominio] de //g//), se define una función composición **(//g// ο //f// ): //A// → //C//** tal que **(//g// ο //f//)(//x//) = //g// (//f//(//x//))**, para todos los elementos //x// de //A//. 

La función identidad
// Artículo principal: [|Función identidad]// Dado un conjunto, la función que asigna a cada //x// de  el mismo //x// de //A// , se denomina //función identidad//. También se simboliza por 1//A// o //i////d////A//.

Función inversa
// Artículo principal: [|Función recíproca]// Dada una función, se llama una (función) inversa de , a una función tal que se cumple las siguientes condiciones: . Decimos también que la función //f// es //invertible// Cuando existe una función inversa de //f//, se demuestra que esa función es única, por lo que se habla de **la** inversa y se la denota por.

Se verifica también las siguientes propiedades. .
 * Una función tiene inversa si, y sólo si, es biyectiva.
 * La función inversa de una función es invertible, y su inversa es la función original. O sea que (//f// − 1) − 1 = //f//.
 * La composición de dos funciones invertibles es invertible, y su imversa es la composición de las inversas de los factores pero con el orden invertido.



Funciones (con valores) Reales
Los anteriores apartados se han referido a funciones entre conjuntos cualesquiera. Las funciones entre conjuntos de números son particularmente relevantes por la diversidad de sus aplicaciones prácticas y por sus particulares propiedades matemáticas. En algunos textos se reserva para las funciones entre conjuntos de números el término **función** mientras que a las funciones entre conjuntos cualesquiera se las denomina **aplicaciones**. Llamamos //función real// o función con valores reales //a cualquier función cuyo codominio sea un subconjunto de los Reales.// 

Álgebra de Funciones
Sea //X// un conjunto culaquiera no vacío y sea el conjunto formado por todas las funciones de //X// en. Muchas de las operaciones y propiedades algebraicas de los Reales se pueden extender a, como veremos a continuación. Sean elementos de. Definimos operaciones entre funciones, punto a punto por La manera en que hacemos la extensión garantiza que muchas de las propiedades de los Reales se extienden a. Indicamos a continuación aquellas más importantes. Note que todas las anteriores propiedades son propiedades de los números reales.
 * [[image:http://upload.wikimedia.org/math/9/9/a/99a5683658122baf4d4bd1a00531d54f.png]] Suma de Funciones.
 * [[image:http://upload.wikimedia.org/math/a/6/d/a6d3028c9b0255047e58b50a250c6d9d.png]] Resta de Funciones.
 * [[image:http://upload.wikimedia.org/math/f/2/e/f2e2b7c717f2e4ecb966c0a2d6d32e79.png]] Producto de Funciones.
 * La suma de funciones es asociativa, conmutativa, con neutro la función constante [[image:http://upload.wikimedia.org/math/9/7/1/971ba2c0979a6098bd5f64b2f7419490.png]], con opuesto aditivo − //f// para cada función //f//.
 * La resta es tal que //f// − //g// = //f// + ( − //g//).
 * La multiplicación es asociativa, conmutativa, con neutro la función constante [[image:http://upload.wikimedia.org/math/a/1/4/a14667d23bbc0a21a6e7907de38af470.png width="59" height="23"]], pero solamente las funciones que nunca tiene valor nulo, tienen recíprocos.
 * La multiplicación es distributiva respecto a la suma.

Funciones numéricas
Llamamos funciones numéricas a funciones cuyo dominio y codominio son subconjuntos de los Reales. Estas funciones son aquellas que aparecen más frecuentemente en las aplicaciones elementales.  

Funciones pares e impares
// Artículo principal: [|Función par]//// Artículo principal: [|Función impar]// Se dice que una función es **par** cuando presenta simetría sobre el eje de ordenadas, esto es, si Una función es **impar** si presenta simetría con respecto al origen de coordenadas, esto es si Una función que no presenta simetría par no tiene necesariamente simetría impar. Algunas funciones no presentan ninguno de los dos tipos de simetría o bien la presentan frente a focos o ejes distintos del origen de coordenadas o el eje de ordenadas (o eje Y). Dichas funciones se dice que no poseen paridad. 

Funciones reales y funciones discretas
// Artículo principal: [|Función real]//// Artículo principal: [|Función discreta]// 
 * Si el [|dominio] de una función es un [|intervalo] de la [|recta real] la función se denominará //real//. En cambio, si la función está definida para los [|números enteros] se denominará //función discreta//. Un ejemplo de una //función discreta// son las [|sucesiones].

Véase también

 * [|Anexo:Funciones matemáticas]

media type="youtube" key="bSgmlSW-RVY" width="425" height="350" Saca conclusiones del video. Escribelas en discusión de la actividad virtual No. 1