Mostrar Mensajes

Esta sección te permite ver todos los posts escritos por este usuario. Ten en cuenta que sólo puedes ver los posts escritos en zonas a las que tienes acceso en este momento.

Mensajes - Hauss

Páginas: 1 2 [3] 4 5 6 7
41
Hola que tal, quisiera que me ayudaran con lo siguiente:

Si \( X \) es un conjunto no vació y \( d:X \times X \rightarrow \mathbb{R} \) tiene las siguientes propiedades:

1.- \( d(x,y)=0 \) si y solo si \( x=y \)
2.- \( d(x,y) \leq d(x,z)+d(z,y) \)

Demostrar que \( d \) define una métrica sobre \( X \)

Yo conozco un resultado similar, pero que cambia la propiedad 2 por lo siguiente:

2.- \( d(x,y) \leq d(x,z)+d(y,z) \)

Con la propiedad 2 dada de esta forma, me es claro ver como demostrar las propiedades de \( d(x,y)\geq 0 \) y \( d(x,y)=d(y,x) \), pero con la del enunciado, no.
 
He tratado de demostrarla con las 2 propiedades que pone el enunciado, pero no he podido concluir nada para demostrar las dos propiedades restantes y he llegado a pensar que con esas 2 propiedades no basta para definir una métrica, pero tampoco he encontrado un contraejemplo.

Les agradeceria mucho su ayuda, de antemano gracias.

42
...su intersección es el vacío ...

Es que justamente de los conjuntos que me he tomado, lo que me cuesta demostrar es que su intersección es el vacio, como menciono, con el ejemplo de las rectas lo veo claro, pero no sé como fundamentar que sí es verdadero.

43
Hola amigos, que tal, espero estén bien.
Tengo una duda con lo siguiente:

"Proporcionar un ejemplo de una infinidad de subconjuntos densos de un espacio \( (X,d) \) tal que la intersección de todos ellos no sea un subconjunto denso".

Bueno, he pensado que lo siguiente podria funcionar:

Tomemos el espacio \( (\mathbb{R}, d_{usual}) \), tomemos los subconjuntos de la forma: \( \mathbb{Q} \)\{\( x \)} con \( x\in \mathbb{Q} \), he logrado probar que los conjuntos de esa forma son densos. Ahora mi problema se remonta a ver que la intersección de todos ellos no sea denso, la idea de tomar conjuntos de esa forma me ha salido de ver rectas puestas en paralelo y pensé que al hacer la intersección de ello me daria el vacio y por ende seria disconexo, pero esto es algo que no he podido probar y no sé si la afirmación de que la intersección de todos ellos es el vacio, les agradeceria mucho su ayuda o si pudieran proporcionarme un ejemplo.
De antemano, gracias.

44
La prueba es correcta y es una estrategia usual que verás en más de una ocasión. Como \( d(A,B)\leqslant d(\overline{A},\overline{B})+3\epsilon  \) para todo \( \epsilon >0 \) puedes tomar el límite cuando \( \epsilon \to 0^+ \) a ambos lados de la desigualdad \( d(\overline{A},\overline{B})\leqslant d(A,B) \).

Muchas gracias por la respuesta. Tendré en cuenta tu demostración.
Saludos.

45
Hola amigos, podría ayudarme con lo siguiente por favor:

He estado leyendo una demostración de lo siguiente:

Si \( A,B \) son subconjuntos no vacíos de un espacio métrico \( (X,d) \) pruebe que:

\( d(A,B)=d(\bar{A}, \bar{B}) \)
Con \( d(A,B) \)=\( \inf \){\( d(a,b) : a\in A, b\in B \)}

Donde \( \bar{A} \) denota la cerradura de un conjunto.

La prueba es la siguiente:
Dado que \( A\subset \bar{A} \) y \( B\subset \bar{B} \), tenemos qué \( d(A,B)\geq d(\bar{A}, \bar{B}) \) ya qué el infímo de un subconjunto más pequeño es más grande.

Ahora, para \( \epsilon>0 \), tomemos \( c\in \bar{A} \), \( e\in \bar{B} \) tal que \( d(c,e)\leq d(\bar{A}, \bar{B})+\epsilon \).

Tomemos \( a\in A \), \( b\in B \) tal qué \( d(a,c)\leq  \epsilon \), \( d(b,e)\leq  \epsilon \)

Entonces \( d(A,B)\leq d(a,b)\leq d(a,c)+d(c,e)+d(e,b)\leq d(\bar{A}, \bar{B})+3\epsilon \)                  \( (*) \)

Dado que \( \epsilon>0 \) es arbitraria, podemos concluir que \( d(A,B)\leq d(\bar{A},\bar{B}) \)

Quisiera saber si la prueba es correcta o si conocen otra y saber, ¿por qué el hecho de que \( \epsilon>0 \) sea arbitraria hace que se pueda omitir de \( (*) \)? Les agradezco mucho su ayuda.

Saludos.

46
Hola amigos, podrian ayudarme con lo siguiente por favor:

Sean \( A,B \) conjuntos en un espacio métrico \( (X,d) \) tales que \( d(A,B)>0 \). Pruebe que \( \bar{A}\cap B=\emptyset = B \cap \bar{A} \).

Donde \( d(A,B)=inf \){\( d(x,B):x\in A \)} y \( d(x_{0},A)=inf \){\( d(x_{0},x):x\in A \)}

Lo he intentado hacer mediante el siguiente ejemplo https://math.stackexchange.com/questions/1862654/show-a-cap-b-neq-varnothing-rightarrow-operatornamedista-b-0-and, pero no puedo ver como relacionarlo con el enunciado que yo estoy tratando de demostrar, les agradeceria mucho su ayuda.


47
Hola amigos, soy nuevo viendo temas de conexidad, podrían ayudarme con los siguientes problemas por favor:

1.-Sea \( (X,d) \) un espacio métrico, \( Y\subset X \) un subespacio con la métrica restringida de \( X \). Pruebe que \( A\subset Y \) es cerrado en \( Y \) si y solo si existe \( B\subset X \) cerrado en \( X \) tal que \( A=B \cap Y \)

2.-Sea \( (X,d) \) un espacio métrico, \( Y\subset X \) un subespacio con la métrica restringida de \( X \). Pruebe que si \( Y \) es cerrado en \( X \) entonces \( A\subset Y \) es cerrado en \( Y \) si y solo si es cerrado en \( X \)

La verdad que no sé como atacar el problema, les agradecería mucho que me ayudaran a resolverlo, viene en una parte de conexidad y lo he pensado bastante, pero no logro saber que hacer.

Muchas gracias de antemano.


Avance del enunciado marcado:
Supongamos que \( A \) es cerrado en el espacio \( (X,d_{y}) \) donde \( d_{y} \) denota la métrica restringida.

Esto significa que dado \( y\in Y \), si para cada \( \epsilon>0 \) la bola abierta definida como \( B_{Y_{\epsilon}}(y)= \){\( z\in Y| d_{y}(z,y)<\epsilon \)} intersecta \( A \), entonces \( y\in A. \) Supongamos que \( x\in \bar{A} \cap Y. \). Entonces, para cada \( \epsilon>0 \) la bola \( B_{\epsilon} \) intersecta a A. Aquí no sé como argumentar si \( x\in A \), pero me parece que si. Agradecería que me ayudaran con eso.


49

Toma un \( x\in \overline{A\cap \overline B} \). Hay que mostrar que \( U\cap (A\cap B)\neq \emptyset \) para cualquier abierto U que contenga a x. Tomemos un abierto U así.


Disculpa, como es que con mostrar que \( U\cap (A\cap B)\neq \emptyset \) podemos deducir o argumentar que \( \overline{ A \cap \bar{B}} \subset \overline{ A \cap B} \)


Por favor no modifiques tus mensajes sin dejar claro los cambios que has hecho.


Muy bien, muchas gracias, no sabía eso.

50
¿Está bien copiado el enunciado?

Ya lo he editado, una disculpa, muchas gracias de antemano.

51
Hola que tal amigos, me podrían ayudar con lo siguiente por favor:

Tengo que demostrar lo siguiente:
Pruebe que si \( A \) es abierto en un espacio métrico \( (X,d) \) y \( B \) cualquier subconjunto de \( X \) entonces:

\( \overline{ A \cap \bar{B}}=\overline{ A \cap B}  \).

He demostrado que \( \overline{ A \cap B} \subset \overline{ A \cap \bar{B}} \) y se que \( \overline{ A \cap \bar{B}} \subset \bar{B} \), pero la contención que me cuesta es \( \overline{ A \cap \bar{B}} \subset \overline{ A \cap B} \)

Donde \( \overline{U} \) denota la clausura de \( U \)

Podría ayudarme a concluir el ejercicio por favor.
Gracias.

52
Muy bien, muchísimas gracias.

53
La isometría será \( f:X \to f(X) \) (es decir, la misma función pero restringiendo el recorrido).

Ese paso no me queda claro disculpa, ¿por qué podemos restingir la función?

54
Hola, podrían ayudarme con lo siguiente por favor:

Probar que si A es un subconjunto de un espacio metrico \( (X, d) \),
entonces la familia

{\( A°, Fr(A), (X-A)° \)}

forma una partición del espacio X.

Donde \( A°, Fr(A) \) representan el interior de A y la frontera de A respectivamente.

Mi problema se presenta al tratar de probar que la unión me da el conjunto, les agradecería si me pueden ayudar con eso por favor.

55
 
Hola, que tal, espero que estén bien, podrían ayudarme con lo siguiente por favor:

Sean \( (X, d_{x}) \) y \( (Y, d_{y}) \) espacios métricos. Si existe una función \( f : X → Y  \) tal que \(  d_{x}(x,x′) = d_{y} (f(x),f(x′)) \) para cada \( x,x′ ∈ X \), pruebe que entonces X es isométrico a un subespacio de Y.

Mi problema es, conozco la definición de isometría, y me parece que es prácticamente la misma, pero no se como argumentar, o que hacer para poder concluir el ejercicio que se me presenta.

Muchas gracias por su ayuda de antemano.

56
Análisis Matemático / Re: Conexidad de conjuntos.
« en: 04 Junio, 2020, 10:32 am »
Vaya, muchísimas gracias de verdad, no había interpretado bien el resultado que me han dado.

Saludos.

57
Análisis Matemático / Re: Conexidad de conjuntos.
« en: 04 Junio, 2020, 10:06 am »
Sobre unión , probamos que dada una familia de subconjuntos conexos con intersección diferente del vacio implica que la unión de la familia es conexa.

Otro fue que todo abierto en \( \mathbb{R} \) es unión numerable de intervalos abiertos.



Con las ideas que me ha planteado usted y Fernando si me queda claro como realizar la demostración, solo que no sé si me la cuente como válida.
¡Muchas gracias.!

58
Análisis Matemático / Re: Conexidad de conjuntos.
« en: 04 Junio, 2020, 09:16 am »
He revisado mis notas y en realidad ninguno de ellos. Solo hemos dado definición, verificado de \( \mathbb{R}^{2} \) es conexo y sobre la unión de conexos y es lo único que puedo usar.

Muchas gracias por la ayuda

59
Análisis Matemático / Re: Conexidad de conjuntos.
« en: 04 Junio, 2020, 08:54 am »
Habría manera de demostrarlo usando solo definicion de conexidad (la que me han dado es que es conexo si no es disconexo), lo que sucede es que no he visto conexidad por caminos.

60
Análisis Matemático / Conexidad de conjuntos.
« en: 03 Junio, 2020, 11:22 pm »
Hola amigos, que tal, espero estén bien.

Tengo un problema que no he podido resolver sobre conexidad, me piden demostrar que A={\( (x,y): x \in \mathbb{I} \vee y \in \mathbb{I} \)} es conexo

El problema original dice: “ Mostrar que el conjunto de puntos en el plano con al menos una coordenada irracional es un conjunto conexo en la métrica usual.”

Muchas gracias de antemano por su ayuda.

Páginas: 1 2 [3] 4 5 6 7