23/03/2019, 09:58:24 pm *
Bienvenido(a), Visitante. Por favor, ingresa o regístrate.
¿Perdiste tu email de activación?

Ingresar con nombre de usuario, contraseña y duración de la sesión
Noticias: ¡Atención! Hay que poner la matemática con LaTeX, y se hace así (clic aquí):
 
 
Páginas: [1]   Ir Abajo
  Imprimir  
Autor Tema: Composición de funciones  (Leído 47 veces)
0 Usuarios y 1 Visitante están viendo este tema.
mariia
Pleno
****

Karma: +0/-0
Desconectado Desconectado

Sexo: Femenino
Colombia Colombia

Mensajes: 117


Ver Perfil
« : 13/03/2019, 11:31:43 pm »

Buenas noches, quisiera saber si este ejercicio me quedo bien. Gracias

Sean [texx]g:B\rightarrow{C}[/texx]   [texx]\wedge[/texx]    [texx]h:B\rightarrow{C}[/texx]  funciones. Suponga que [texx]g\circ{f}=h\circ{f}[/texx] para toda función [texx]f:A\rightarrow{B}[/texx]  Demuestre que [texx]g=h[/texx]

Vamos a demostrar que [texx]g=h[/texx]

Sea [texx](y,z)\in{h}\Rightarrow{h(y)=z}[/texx]
[texx]\Rightarrow{h(f(x))=z}[/texx]
[texx]\Rightarrow{(h\circ{f)(x)=z}}[/texx]
[texx]\Rightarrow{(g\circ{f)(x)=z}}[/texx]
[texx]\Rightarrow{g(f(x))=z}[/texx]
[texx]\Rightarrow{g(y)=z}[/texx]
[texx]\Rightarrow{(y,z)\in{g}}[/texx]

lo mismo haría para la otra contenencia.
En línea
Luis Fuentes
el_manco
Administrador
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 43.935


Ver Perfil
« Respuesta #1 : 14/03/2019, 06:24:56 am »

Hola

Buenas noches, quisiera saber si este ejercicio me quedo bien. Gracias

Sean [texx]g:B\rightarrow{C}[/texx]   [texx]\wedge[/texx]    [texx]h:B\rightarrow{C}[/texx]  funciones. Suponga que [texx]g\circ{f}=h\circ{f}[/texx] para toda función [texx]f:A\rightarrow{B}[/texx]  Demuestre que [texx]g=h[/texx]

En primer lugar no queda claro en el enunciado quien es [texx]A[/texx]. Tal como está escrito, [texx]A[/texx] podría ser cualquier conjunto. En ese caso el resultado es muy trivial. Basta tomar [texx]A=B[/texx] y [texx]f=id[/texx]. Entonces por hipótesis:

[texx]g=g\circ id=h\circ id=h[/texx]

Otra opción más interesante es que [texx]A[/texx] sea un conjunto prefijado no vacío. Antes de ver este caso comento tu intento de demostración.

Cita
Vamos a demostrar que [texx]g=h[/texx]

Sea [texx](y,z)\in{h}\Rightarrow{h(y)=z}[/texx]
[texx]\Rightarrow{h(f(x))=z}[/texx]

¿Pero quien es [texx]f[/texx]? El resultado es cierto para cualquier función [texx]f:A\to B[/texx]. Pero tu no dices para que [texx]f[/texx] concreta lo aplicas. No está bien por tanto lo que haces.

Yo lo haría así. Sea [texx]b\in B[/texx]. Vamos a probar que [texx]g(b)=h(b)[/texx].

Definimos la función constante [texx]f:A\to B[/texx], [texx]f(a)=b[/texx] para todo [texx]a\in A.[/texx] En particular como [texx]A[/texx] es no vacío existe [texx]a_0\in A[/texx] tal que [texx]f(a_0)=b[/texx].

Entonces por hipótesis como [texx]g\circ{f}=h\circ{f}[/texx]:

[texx](g\circ f)(a_0)=(h\circ f)(a_0)\quad \Rightarrow{}\quad g(f(a_0))=h(f(a_0))\quad \Rightarrow{}\quad g(b)=h(b)[/texx]

Saludos.

P.D. En general en tus intentos de demostración tiendes a abusar de uso de notación simbólica escatimando las palabras; el lenguaje natural ayuda a hacer más claros los argumentos. Yo no lo despreciaría.
En línea
Páginas: [1]   Ir Arriba
  Imprimir  
 
Ir a:  

Impulsado por MySQL Impulsado por PHP Powered by SMF 1.1.4 | SMF © 2006, Simple Machines LLC XHTML 1.0 válido! CSS válido!