Mates sin ojos

Aprender matemáticas sin vista.

Herramientas de usuario

Herramientas del sitio

Traza:
conceptos:funciones

Diferencias

Muestra las diferencias entre dos versiones de la página.

Enlace a la vista de comparación

Ambos lados, revisión anteriorRevisión previa
Próxima revisión		Revisión previa
conceptos:funciones [2026/09/21 19:35] – [Solución del ejercicio 5] modulusconceptos:funciones [2026/09/22 07:02] (actual) – [Funciones crecientes y decrecientes] modulus
Línea 408: Línea 408:
 g(f(x)) g(f(x))
  
-El motivo para utilizar el orden alfabético interno en la definición y los ejemplos, es que la función f se aplica primero, porque hay que aplicar f(x) antes de poder aplicar g(f(x)).+El motivo para utilizar el orden alfabético inverso en la definición y los ejemplos, es que la función f se aplica primero, porque hay que aplicar f(x) antes de poder aplicar g(f(x)).
  
 Por ejemplo, sean Por ejemplo, sean
Línea 599: Línea 599:
 f(a_1)=f(a_2) -> a_1=a_2. f(a_1)=f(a_2) -> a_1=a_2.
  
-Equivalentemente, por contraposición,+En particular, de esta definición se deduce constructivamente por contraposición,
  
 +pt a_2, a_2 en A:
 a_1 != a_2 -> f(a_1) != f(a_2). a_1 != a_2 -> f(a_1) != f(a_2).
 +
 +En matemática clásica ambos enunciados son equivalentes.
  
 Por ejemplo, Por ejemplo,
Línea 754: Línea 757:
 Así, la sobreyectividad de f garantiza la condición de existencia o totalidad de f^-1. Así, la sobreyectividad de f garantiza la condición de existencia o totalidad de f^-1.
  
-Si f no es sobreyectiva, existe algún elemento b del codominio que no es imagen de ningún elemento de A. En ese caso no existe ningún valor que podamos asignar a f^-1(b).+Si existe algún elemento b del codominio que no es imagen de ningún elemento de A, la relación inversa no está definida en b, por lo que no es total sobre B.
  
 Por tanto, Por tanto,
Línea 901: Línea 904:
 f:A -> R, f:A -> R,
  
-donde A es un subconjunto ordenado de R.+donde A es un subconjunto de R.
  
-Decimos que f es creciente si+Decimos que f es creciente((En algunos textos, en lugar de funciones crecientes con este significado, se habla de funciones no decrecientes.)) si
  
 pt x,y en A: pt x,y en A:
 x <= y -> f(x) <= f(y). x <= y -> f(x) <= f(y).
  
-Decimos que es estrictamente creciente si+Decimos que es estrictamente creciente((Al igual que en la nota anterior, en algunos textos estas funciones se denominan crecientes, en los casos en los que se utiliza la terminología de no decrecientes.)) si
  
 pt x,y en A: pt x,y en A:
Línea 964: Línea 967:
 A -> B A -> B
  
-Donde A y B son tipos. Desde esta perspectiva, una función no necesita definirse previamente como una relación ni como un conjunto de pares ordenados.+donde A y B son tipos. Desde esta perspectiva, una función no necesita definirse previamente como una relación ni como un conjunto de pares ordenados.
  
 Aunque la notación se parece a la utilizada en este artículo para funciones entre conjuntos, A y B desempeñan aquí el papel de tipos, no de conjuntos. Aunque la notación se parece a la utilizada en este artículo para funciones entre conjuntos, A y B desempeñan aquí el papel de tipos, no de conjuntos.
Línea 1068: Línea 1071:
 g(b)=1 g(b)=1
  
-g(c)=0.+%%g(c)=0.%%
  
 Calcula Calcula
conceptos/funciones.1790019315.txt.gz · Última modificación: por modulus