5 votos

GATE (examen competitivo en la India para la admisión al doctorado) 2010 Pregunta:- $(\mathbb{R},d)$ sea un espacio métrico. ¿Cuál de las siguientes opciones es correcta?

$(\mathbb{R},d)$ sea un espacio métrico. Donde $d(x,y)=\frac{|x-y|}{1+|x-y|}$ . ¿Cuál de las siguientes opciones es correcta? Espacio métrico $(\mathbb{R},d)$ es

(a)acotado, no compacto

(b)acotado, no completo

(c)compacto, no completo

(d)completa, no acotada

Podría probar $(X,d)$ está acotado. Comprobar la compacidad y la completitud utilizando su respectiva definición lleva mucho tiempo. ¿Cómo eliminar las respuestas erróneas de las opciones aplicando algún teorema de completitud y compacidad con menos tiempo? Por favor, ayúdenme.

3voto

Joel Puntos 304

Claramente $(\mathbb{R}, d)$ está acotado, ya que $d(x,y) < 1$ por cada $x,y\in\mathbb{R}$ .

Demostremos que $(\mathbb{R}, d)$ es completa. En concreto, dejemos que $(x_n)\subset\mathbb{R}$ sea una sucesión de Cauchy. Dado $\epsilon\in (0,1)$ , dejemos que $\eta := \epsilon / (1-\epsilon)$ para que $\eta/(1+\eta) = \epsilon$ . Desde $(x_n)$ es una secuencia de Cauchy, existe $N\in\mathbb{N}$ tal que $$ d(x_j, x_k) < \eta, \qquad \forall j,k\geq N, $$ es decir $$ \frac{|x_j - x_k|}{1+|x_j-x_k|} < \frac{\epsilon}{1+\epsilon} \qquad \forall j,k\geq N. $$ Dado que la función $t\mapsto t/(1+t)$ es estrictamente creciente en $[0,+\infty)$ , la última condición equivale a $$ |x_j - x_k| < \epsilon \qquad \forall j,k\geq N. $$ En otras palabras, hemos demostrado que $(x_n)$ es una secuencia de Cauchy en $(\mathbb{R}, |\cdot|)$ . Desde $(\mathbb{R}, |\cdot|)$ es completa, la secuencia $(x_n)$ es convergente en $(\mathbb{R}, |\cdot|)$ es decir, existe $x\in\mathbb{R}$ tal que $$ \lim_{n\to +\infty} |x_n - x| = 0. $$ Pero esto implica que $$ \lim_{n\to +\infty} \frac{|x_n - x|}{1+|x_n-x|} = 0, $$ por lo que $(x_n)$ es convergente también en $(\mathbb{R}, d)$ .

Finalmente, las dos métricas generan la misma topología, por lo que $(\mathbb{R}, d)$ no es compacto.

0voto

GOBINDA GARAI Puntos 16

En realidad, la métrica dada en tu pregunta es equivalente a la métrica habitual en los números reales. Los números reales bajo la métrica habitual son completos pero no compactos por lo que la misma propiedad (propiedad significa propiedad topológica) se lleva a cabo por la métrica dada.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X