Discusión:Función inyectiva

El cambio que hice lo he puesto de lo que he sabido de los libros que he leído, en el que usan tal notación para el "implica". El otro símbolo puede significar otras cosas.. si acá en Wikipedia no es habitual esa notación, o se usa la anterior por el no conocimiento de la que acabo de colocar, rogaría discutir acá antes, para clarar

Yo uso la misma, por mí está muy bien ;) Saludos! (recuerda firmar tus comentarios) Farisori (discusión) 20:29 17 mar 2008 (UTC)

Conjunto imagen y codominio

Una pregunta, en la explicacion se define a Y como el conjunto imagen, y en el grafico se puede apreciar que un valor de dicho conjunto no posee antiimagen, es decir no posee un punto en el dominio con el cual se pueda alcanzar ese valor de la imagen, pero entonces surge un problema, por el modo en que esta definido, ese conjunto no seria entonces la imagen, sino el codominio, ya que la imagen debe tener siempre valor que le corresponda (o mas de uno) en el dominio, pues si no dejaria de ser imagen. --190.172.254.73 (discusión) 10:58 31 ago 2014 (UTC)

Opinión sobre conceptos: Aunque el concepto de inyectiva, sobreyectiva y biyectiva no me ha hecho falta para resolver o entender problemas matemáticos en general, veo que hay algún nivel de desacuerdo entre los libros y los usuarios. Parto de que: en una función cualquiera cada uno de los elementos del domino tiene relación con alguno de los del rango y viceversa; de no ser así no serian dominio y rango de la función; es decir no hay elementos sin relación ni en el dominio ni en el rango. Siendo así, solo falta ver el tipo de relación. Me parece lógico pensar que una función es inyectiva si cada elemento del domino tiene relación con uno solo del rango, mientras los rango la pueden tener con varios con el dominio. Sobreyectiva sera lo inverso: cada elemento del rango tiene relación con uno solo del dominio, mientras los del dominio pueden tener relación con varios del rango. Si se dan las dos condiciones a la vez (inyectiva y sobreyectiva) entonces solo queda la posibilidad de que la relación sea de uno a uno en ambos sentidos, lo que llamamos "biyectiva". Según lo expuesto la parábola y=x^2 es una función inyectiva, así como todas las funciones del tiempo.