Aquí es un problema en el que estoy trabajando y unas piezas están haciendo campaña en mí.
Problema
Suponga $A=[-\frac{1}{2},\infty), B=[-\frac{1}{4},\infty)$, donde, por $a \in \mathbb{R}, [a,\infty)=\{x\in\mathbb{R}|x\geq a\}.$ Considera $f:A \rightarrow B$ definido por $f(x)=x^2+x, x\in A.$
Mostrar que $f$ es, de hecho, en $B$, es decir, mostrar que si $x \in A$$f(x) \in B$.
Mostrar que $f$ es de uno a uno.
Mostrar que $f$ mapas en $B$, es decir, muestran que para $y\in B$ hay $x \in A$ tal que $f(x)=y$. Para su elección de $x$, verificar directamente que $f(x)=y$.
Mi intento
Originalmente se pensaba que iba a tener que hacer algo complicado de hacer esto, pero en este momento estoy pensando que es bastante simple. No es verdad que $f:A \rightarrow B$, por definición, implica que cualquier elemento de a $A$ es asignado a un elemento de $B$? Si es así me imagino que no hay ninguna necesidad de una explicación distinta citando la definición, pero al mismo tiempo estoy un poco indeciso como parece que tal vez hay una manera de comprobarlo más.
Empiezo dejando $x_1,x_2 \in [-\frac{1}{2},\infty)$ tal que $f(x_1)=f(x_2)$. Entonces, podemos decir que $x_1^2+x_1=x_2^2+x_2$. El objetivo es mostrar que la $x_1=x_2$, pero estoy atascado en el álgebra sobre cómo mostrar que. Traté de factoring en varias formas, tales como $$x_1(x_1+1)=x_2(x_2+1)$$ y $$(x_1-x_2)(x_1+x_2)+x_1-x_2=0$$ pero nada es saltar en mí para simplificar a $x_1=x_2$.
La solución de $y=x^2+x$ $x$ obtenemos $x=\pm \sqrt{y+\frac{1}{4}}-\frac{1}{2}.$ Si luego nos vamos a $y\in B$, podemos ver que $y\geq-\frac{1}{4}$. Si aplicamos nuestra función anterior de $y$ a nuestro desigualdad obtenemos que $\sqrt{y+\frac{1}{4}}-\frac{1}{2}\geq-\frac{1}{2}$, nos dice que $x=\sqrt{y+\frac{1}{4}}-\frac{1}{2}\in A$. Me verificar esto muestra si $x=-\frac{1}{2}$ $y=-\frac{1}{4}$ y que si $y=-\frac{1}{4}$$x=-\frac{1}{2}$. Es esto suficiente?