Sé que esto es un círculo (¿verdad?)
Sí, eso es correcto. Si usted se muda $x^2$ a del otro lado (en otras palabras, agregar $x^2$ a ambos lados), entonces obtendrá $x^2+y^2=4$, que es el estándar de la ecuación de un círculo centrado en el origen con radio .... Desde un círculo de falla de la Línea Vertical de la Prueba, no es la gráfica de una función.
y así, por cada $x$, $2$ valores de $y$ (por lo $y$ no es una función de $x$)
No, eso no tiene que ser cierto. Lo cierto es que para ALGUNOS valores de $x$ (al menos para un valor, aunque para el círculo tenemos muchos) hay múltiples (dos o más) de los valores de $y$.
Decir, en este caso, algunos de los valores de $x$ tienen varios valores de $y$ que corresponden a ellos. Por ejemplo, si $x=0$, $y^2=4-x^2=4$ y, por tanto,$y=\pm2$, dos valores. Lo mismo es cierto para muchos otros valores de $x$, pero no para todos. A $x=2$ corresponde un único valor de $y$, y para $x=3$ no existen los correspondientes valores de $y$ a todos.
Si yo raíz cuadrada de ambos lados, me sale: $y=\sqrt{4−x^2}$
No, no es cierto. Aprender a ser extra cuidadoso cada vez que intenta tomar las raíces cuadradas! Desde dos números diferentes pueden tener la misma plaza, la correcta consecuencia de $y^2=4−x^2$$y=\pm\sqrt{4−x^2}$. Esto ya indica que para un solo valor de $x$ a menudo se corresponden múltiples (dos) valores de $y$.
Pero todavía me siento como que no he algebraicamente demostrado que esto NO sea una función.
Incluso una sola violación de la función de la propiedad "para cada una de las $x$ (en el dominio) corresponde sólo a una $y$" es suficiente para concluir que una ecuación no define a una función. Así, el ejemplo que mostré anteriormente con $x=0$ es suficiente como prueba algebraica.