Esto se puede probar con una condición adecuada en los valores de [matemática] a, b, c, d [/ matemática].
Si tenemos una función [matemática] f: A \ a B [/ matemática], entonces una función [matemática] g [/ matemática] es la función inversa de [matemática] f [/ matemática] si y solo si:
- [matemática] f (x) [/ matemática] es uno a uno y en [matemática] B [/ matemática] ( es decir , una biyección entre [matemática] [/ matemática] y [matemática] B [/ matemática] );
- [matemáticas] g: B \ a A [/ matemáticas]
- [matemáticas] \ forall x \ en A \ g (f (x)) = x [/ matemáticas]
- [matemáticas] \ para todos x \ en B \ f (g (x)) = x [/ matemáticas]
Considere [math] f: \ mathbb {R} \ to f (\ mathbb {R}) [/ math] tal que [math] x \ mapsto \ frac {a-bx} {cx + d} [/ math], donde [math] f (\ mathbb {R}) = \ {f (x): x \ in \ mathbb {R} \} [/ math]. Tenga en cuenta que [math] f (\ mathbb {R}) \ subseteq \ mathbb {R} [/ math].
Considere [math] g: f (\ mathbb {R}) \ to \ mathbb {R} [/ math] tal que [math] x \ mapsto \ frac {a-dx} {cx + b} [/ math].
- ¿En qué intervalos la función [matemáticas] f (x) = – 5 (x + 2) (x-2) (x + 4) [/ matemáticas] aumenta, disminuye y permanece constante?
- ¿Cómo encontrar la ubicación de 3, 4, 5, etc., posiciones de espacio utilizando la función Buscar en Excel? Como funciona
- Cómo resolver esto: [matemáticas] \ int \ sqrt {\ tan x} + \ sqrt {\ cot x} \ dx [/ matemáticas]
- ¿Qué preguntas busca responder el álgebra homológica?
- ¿Qué sucederá si intentamos combinar 4 g de A con 1 g de B, si los elementos A y B se combinan para formar AB en una proporción fija de 3: 1 en peso?
Tenga en cuenta que [math] f (x) [/ math] está en [math] f (\ mathbb {R}) [/ math] por definición, por lo que debemos mostrar que [math] f (x) [/ math] es uno a uno, es decir , que [matemáticas] f (x_1) = f (x_2) \ implica x_1 = x_2 [/ matemáticas].
[matemáticas] f (x_1) = f (x_2) \ implica \ frac {a – bx_1} {cx_1 + d} = \ frac {a – bx_2} {cx_2 + d} [/ matemáticas]
[matemática] \ por lo tanto acx_2 + anuncio – bcx_1x_2 – bdx_1 = acx_1 – bcx_1x_2 + anuncio – bdx_2 [/ matemática]
[matemáticas] \ por lo tanto acx_1 + bdx_1 = acx_2 + bdx_2 [/ matemáticas]
[matemática] \ por lo tanto x_1 (ac + bd) = x_2 (ac + bd) [/ math]
[math] \ por lo tanto x_1 = x_2 [/ math] proporcionado [math] ac + bd \ ne 0 [/ math]
Para mostrar: [math] g (f (x)) = x \ \ forall x \ in f (\ mathbb {R}) \ subseteq \ mathbb {R} [/ math]
[matemáticas] \ begin {align} g (f (x)) & = \ frac {a-df (x)} {cf (x) + b} \\ & = \ frac {ad \ left (\ frac {a -bx} {cx + d} \ right)} {c \ left (\ frac {a-bx} {cx + d} \ right) + b} \\ & = \ frac {a (cx + d) – d (a-bx)} {c (a-bx) + b (cx + d)} \\ & = \ frac {acx + ad – ad + bdx} {ac – bcx + bcx + bd} \\ & = \ frac {x (ac + bd)} {ac + bd} = x && \ porque ac + bd \ ne 0 \ end {align} [/ math]
Para mostrar: [math] f (g (x)) = x \ \ forall x \ in \ mathbb {R} [/ math]
[matemáticas] \ begin {align} f (g (x)) & = \ frac {a-bg (x)} {cg (x) + d} \\ & = \ frac {ab \ left (\ frac {a -dx} {cx + b} \ right)} {c \ left (\ frac {a-dx} {cx + b} \ right) + d} \\ & = \ frac {a (cx + b) – b (a-dx)} {c (a-dx) + d (cx + b)} \\ & = \ frac {acx + ab – ab + bdx} {ac – cdx + cdx + bd} \\ & = \ frac {x (ac + bd)} {ac + bd} = x && \ porque ac + bd \ ne 0 \ end {align} [/ math]
Por lo tanto, [matemática] g (x) [/ matemática] es la función inversa de [matemática] f (x) [/ matemática] proporcionada [matemática] ac + bd \ ne 0 \ [/ matemática] QED .