Hola
Hola y gracias.
Entonces es:
punto interior a la circunferencia:
Para el punto \( A=(0.2, 0.2) \), Int(C), y el radio \( r=1-d[(0.2,0.2)-(0,0)]=1-0.2\sqrt[ ]{2}=0.717157 \), la bola abierta de centro \( A \) y radio \( 0.717157 \), \( B(A,r) \), debe estar dentro de la circunferencia, de radio \( 1 \):
\( r=1-d[(0.2,0.2)-(0,0)]=1-\sqrt[ ]{(0.2)^2+(0.2)^2}=1-\sqrt[ ]{2.(0.2)^2}=1-(0.2)\sqrt[ ]{2}=0.717157 \)
La bola abierta \( B( (0.2,0.2), 0.717157) \) está dentro de la circunferencia.
Punto exterior a la circunferencia:
Para el punto \( D=(0.8, 0.8) \), que es un punto exterior a la circunferencia, y el radio \( r=1-d[(0.8,0.8)-(0,0)]=1-0.8\sqrt[ ]{2}=-0.131371 \), (tomamos el valor positivo porque es una distancia), la bola abierta de centro \( D \) y radio \( 0.131371 \), \( B(D,r) \), debe estar dentro de la circunferencia, de radio \( 1 \):
\( r=1-d[(0.2,0.2)-(0,0)]=1-\sqrt[ ]{(0.8)^2+(0.8)^2}=1-\sqrt[ ]{2.(0.8)^2}=1-(0.8)\sqrt[ ]{2}=-0.131371 \)
La bola abierta \( B( (0.8,0.8), 0.131371) \) está fuera de la circunferencia.
¿Es correcto? Gracias
Todo lo que afirmas es correcto; pero no entiendo del todo para que haces esto. Si es para familiarizarte con las ideas del asunto, me parece bien.
Pero para probar que el conjunto propuesto es el indicado tienes que hacer este tipo de comprobaciones en general y no para puntos concretos.
Por ejemplo, dado \( (x_0,y_0)\in D=\{(x,y)\in \Bbb R^2|x^2+y^2<1,\,x\neq 0\} \) tomamos \( r=min\{|x_0|,1-d((x_0,y_0),(0,0)\} \).
Veamos que \( B((x_0,y_0),r)\subset C. \)
Dado \( (x,y)\in B((x_0,y_0),r) \) se tiene:
1) \( |x_0|\leq |x-x_0|+|x|\quad \Rightarrow{}\quad |x|\geq |x_0|-|x-x_0|\geq |x_0|-d((x_0,y_0),(x,y))>|x_0|-r\geq |x_0|-|x_0|=0 \). Por tanto \( x_0\neq 0 \).
2) \( d((x,y),(0,0))\leq d((x,y),(x_0,y_0))+d((x_0,y_0),(0,0))< r+d((x_0,y_0),(0,0))\leq 1-d((x_0,y_0),(0,0))+d((x_0,y_0),(0,0))=1 \)
De ambas cosas se deduce que \( (x.y)\in C \).
Para completar la prueba de que \( int(C)=D=\{(x,y)\in \Bbb R^2|x^2+y^2<1,\,x\neq 0\} \) hay que ver que si \( (x,y)\in C \) con \( x^2+y^2=1 \) entonces \( (x,y)\not\in int(C) \). Para ello comprueba que en cualquier bola centrada en uno de esos puntos hay otros fuera de \( C \).
Saludos.