Loading [MathJax]/jax/element/mml/optable/MathOperators.js

5 votos

Densidad: Espacio cerrado

Necesito esto como lema.

Espacio topológico

Dado un espacio topológico Ω .

Consideremos un espacio cerrado: SΩ:S=¯S

Entonces, para los dominios densos: DΩ:¯D=Ω¯DS=S

¿Esto se sostiene realmente?

Espacio de Hilbert

Dado un espacio de Hilbert H .

Consideremos un espacio cerrado: SH:S=¯S

Entonces, para los dominios densos: DH:¯D=H¯DS=S

¿Esto es válido aquí?

Reducir el espacio

Dado un espacio de Hilbert H .

Consideremos un espacio cerrado: SH:S=¯S

Denota su proyección: RP=S:P2=P=P

Considera un dominio reductor: PDDH

Entonces el dominio denso: ¯D=H¯DS=S

¿Se mantiene esto ahora?

8voto

David C. Ullrich Puntos 13276

No. Considera Ω=R (con la topología habitual), S={π} , D=Q .

EDIT: A continuación vino la pregunta "Vale, ¿qué pasa con los subconjuntos cerrados de un espacio de Hilbert?

No hay cambios. Diga H=L2([0,1]) , D=C([0,1]) y que S sea el tramo de f , donde f es cualquier discontinuo L2 función. (O más bien, donde f es tal que no existe un continuo g con f=g casi en todas partes).

4voto

Stavros Puntos 602

¯DS es el subconjunto cerrado más pequeño que contiene DS . Si SD entonces DS=S y como ¯S=S tenemos ¯DS=¯S=S .

Sin embargo, si S la respuesta es menos clara. Ciertamente, \overline{D\cap S} \subset S en ese caso. La respuesta de igualdad depende de la topología particular.

Por ejemplo \Omega = [0,1] con la topología dada por la ordenación de los números reales. Si D=[0,1) y S = \{1\} vemos que \overline D = [0,1] pero D \cap S = \emptyset .

Sin embargo, si tenemos el conjunto \Omega=\{1,2,3,4\} con la topología \tau =\{ \emptyset, \{1,2\}, \{3,4\}, \Omega\} podemos tener una respuesta diferente. Supongamos que S = \{1,2\} . Este es un conjunto abierto, y su complemento es \{3,4\} que también está abierto. Así, S está cerrado. Si dejamos que D=\{1,3\} entonces \overline{D}=\Omega desde \Omega es el conjunto cerrado más pequeño que contiene D . Ahora también tenemos D \cap S = \{1\} y \overline{ D\cap S} = \{1,2\} = S desde S es el subconjunto cerrado más pequeño que contiene \{1\} .


(Añadido después de la edición de la pregunta)

En cuanto a la cuestión del espacio de Hilbert. La afirmación tampoco es válida en este caso.

Dejemos que e^x sea un elemento de L^2[0,1] y supongamos S=span\{e^x\} . Se trata de un subespacio de dimensión finita y, por tanto, cerrado. Si dejamos que D consiste en todos los polinomios, entonces \overline{D}=L^2[0,1] . Sin embargo, D\cap S=\{0\} y \overline{D \cap S}=\{0\} .

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