5 votos

Conexión de trayectorias y puntos fijos

Nos han dado lo siguiente,

Dejemos que $, \colon [0, 1] \to [0, 1]$ sean funciones (no necesariamente continuas) tales que

  • $(x) (x)$ para todos $x [0, 1]$ .
  • El conjunto $K = \{\,(x, y); (x) y (x)\,\}$ está cerrado en $\mathbb R^2$ .

Demuestre que existe $t [0, 1]$ tal que $(t, t) K$ .

Creemos que si $K$ está cerrada, entonces debe estar conectada por un camino. En cuyo caso, tenemos una función continua de $[0,1]$ a $[0,1]$ que está contenida en $K$ . Por lo tanto podemos utilizar el teorema del valor intermedio para demostrar que esta función debe tener un punto fijo, lo que concluiría nuestro argumento.

Nuestra dificultad es que no podemos demostrar que $K$ está realmente conectada por un camino, aunque cada ejemplo de $$ and $$ que podemos pensar que satisfacen las propiedades requeridas hacen $K$ camino conectado.

3voto

Hagen von Eitzen Puntos 171160

Dejemos que $A=\{\,x\in[0,1]:\alpha(x)>x\,\}$ . Entonces $A$ es un subconjunto abierto de $[0,1]$ : Si $\alpha(x_0)>x_0$ entonces $K$ es disjunta de una vecindad abierta del conjunto compacto $\{x_0\}\times[0,x_0]$ Por lo tanto $\alpha(x)>x$ en un barrio de $x_0$ . De la misma manera, $B=\{\,x\in[0,1]:\beta(x)<x\,\}$ está abierto. Desde $A\cap B=\emptyset$ y $[0,1]$ está conectado, concluimos que $A\cup B\ne [0,1]$ . Dejemos que $t\in[0,1]\setminus (A\cup B)$ . Entonces $\alpha(t)\le t\le\beta(t)$ es decir $(t,t)\in K$ .

0 votos

¿Por qué exactamente $K$ tienen que ser disjuntos de una vecindad abierta del conjunto compacto $\{x_0\}\times[0,x_0]$ ?

1 votos

@Marchi $(x,y)\in C:=\{x_0\}\times [0,x_0]$ implica $y<\alpha(x)$ es decir $(x,y)\notin K$ . Desde $K$ está cerrada, la distancia $d((x,y),K)$ es positivo. Como función continua asume su mínimo $r>0$ en $C$ . Por lo tanto, un $(x_0-r,x_0+r)\times [0,x_0]\cup B((x_0,x_0),r)$ es disjunta de $K$ . Entonces, al menos para $x_0-r<x<x_0+\frac1{\sqrt 2}r$ encontramos $\alpha(x)>x$ .

2voto

camickr Puntos 137095

Sólo necesita que $K$ está conectada, así que supongamos que $K$ puede dividirse en $2$ conjuntos cerrados no vacíos $A,B$ .

$K$ se compone de segmentos verticales y, como están conectados, cada uno de esos segmentos está completamente en $A$ o en $B$ . Por lo tanto, la proyección de $A$ y $B$ en el $x$ divide el intervalo $[0,1]$ en $2$ conjuntos cerrados no vacíos, lo que no es posible.

0 votos

Hay que argumentar un poco (vía compacidad) por qué las proyecciones son cerradas. Por ejemplo, la proyección del conjunto cerrado $\{\,(x,y)\in\mathbb R^2:0<x< 1, xy\ge 1,(1-x)y\ge1\,\}$ es el intervalo abierto $(0,1)$ .

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