Autor Tema: Duda demostrando que algo es base de entornos para alguna topología.

0 Usuarios y 1 Visitante están viendo este tema.

15 Enero, 2022, 04:45 pm
Leído 186 veces

MatematicaMente

  • $$\Large \color{#5372a0}\pi\,\pi$$
  • Mensajes: 81
  • Karma: +0/-0
  • Sexo: Femenino
Buenas tardes, me he enfrentado a varios problemas sobre bases de entornos y me cuestan bastante.
El siguiente dice así:
\( \forall (x,y)\in\mathbf{R^2} \), se considera la familia de subconjuntos de \( \mathbf{R^2} \), B(x,y)\( ={B_r((x,0))\cup(x,y)} \), con r>0 y \( B_r((x,0)) \) es la bola euclídea de centro \( (x,0) \) y radio r. Probar que \( \forall (x,y)\in \mathbf{R^2} \), B((x,y)) es base de entornos de \( (x,y) \) para algún T sobre \( \mathbf{R^2} \)

He pensado en ver que se cumplen las propiedades que debe verificar toda base de entornos:
1)\( \forall B \in \) B(x) \( x \in B \)
2)\( \forall B_1, B_2 \in \) B(x) \( \exists B \in \) B(x) / \( B \subset B_1\cap B_2 \)
3)\( \forall B_1 \in \) B(x) \( \exists B_2 \in \) B(x) / \( \forall y \in B_2 \exists B \in  \) B(y) \( B \subset B_1 \)

17 Enero, 2022, 09:16 am
Respuesta #1

Luis Fuentes

  • el_manco
  • Administrador
  • Mensajes: 51,085
  • País: es
  • Karma: +0/-0
Hola

Buenas tardes, me he enfrentado a varios problemas sobre bases de entornos y me cuestan bastante.
El siguiente dice así:
\( \forall (x,y)\in\mathbf{R^2} \), se considera la familia de subconjuntos de \( \mathbf{R^2} \), B(x,y)\( ={B_r((x,0))\cup(x,y)} \), con r>0 y \( B_r((x,0)) \) es la bola euclídea de centro \( (x,0) \) y radio r. Probar que \( \forall (x,y)\in \mathbf{R^2} \), B((x,y)) es base de entornos de \( (x,y) \) para algún T sobre \( \mathbf{R^2} \)

He pensado en ver que se cumplen las propiedades que debe verificar toda base de entornos:

¿Y qué has conseguido?¿Qué dificultades encuentras?.

Citar
1)\( \forall B \in \) B(x) \( x \in B \)

Inmediato.

Citar
2)\( \forall B_1, B_2 \in \) B(x) \( \exists B \in \) B(x) / \( B \subset B_1\cap B_2 \)

Spoiler
Si \( B_i=B_{r_i}((x,0))\cup \{(x,y)\} \) basta tomar \( B_{r}((x,0))\cup \{(x,y)\} \) con \( r=min\{r_1,r_2\} \).
[cerrar]

Citar
3)\( \forall B_1 \in \) B(x) \( \exists B_2 \in \) B(x) / \( \forall y \in B_2 \exists B \in  \) B(y) \( B \subset B_1 \)

No es así (creo). Es:

3)\( \forall B_1 \in \) B(x) \( \forall y\in B_1 \), \( \exists B_2 \in \) B(y) / \( B_2 \subset B_1 \)

Spoiler
Dado \( (x',y')\in B_1=B_r(x,0)\cup \{(x,y)\} \):

- Si \( (x',y')=(x,y) \) basta tomar \( B_2=B_1 \).
- Si \( (x',y')=(x,y) \) entonces \( (x',y'),(x',0)\in B_r(x,0)  \). Basta tomar \( B_2=B_s((x',0))\cup (x',y')) \) con \( s \) suficientemente pequeño
[cerrar]
.

Saludos.

18 Enero, 2022, 11:10 am
Respuesta #2

MatematicaMente

  • $$\Large \color{#5372a0}\pi\,\pi$$
  • Mensajes: 81
  • Karma: +0/-0
  • Sexo: Femenino
Muchas gracias, había razonado como usted pero no estaba segura de que estuviese bien.