Corolario 5.8.

La κ-esfera Sk (κ ≥ℵ 0) es una variedad Fréchet-diferenciable basada en el espacio

Hilbert.
Prueba.

Tomamos dos atlas intersectados de S, ( U , PU ) y ( V , PV )con U ∩V ≠ ∅ .

Para obtener el mapa de transición PU ∘ P−1

V , tomamos
PU y P−1
V (pero restringido en
U ∩V ) y su Derivado del Fréchet.

 PU :U ∩ V → Dk
x → x−¿ x ,e 1 >e 1
k
 P−1
V : D → U ∩V

2
√
y → y + 1−|| y|| e 2

Ahora calculamos su derivado de Fréchet (que implica que son Fréchet-derivables).

Dado que el PU es lineal, su derivada de Fréchet en cualquier punto de su dominio es
PU pero cuyo dominio es H.

V . Fíjanos la identidad ||x||= √ ¿ x , x> ¿ , ∀ x ∈ H .¿

Ahora para P−1
¿∨¿ R ¿∨¿R
lim ¿∨¿ x +h , x+ h>−¿ x , x >−2< x ,h> =lim ¿∨¿ h , h> =0 ¿¿
h→ 0 ||h||H h → 0 ||h||H
Por lo tanto, por definición tenemos

D∨¿. ¿∨¿2 (x) :h → 2< x , h>¿ ¿

De nuevo con la regla de la cadena de los derivados de Fréchet, se tiene:

d √ 1−¿∨ y∨¿ 2
D P−1
V ( y ) :h → h+ ¿
d∨¿ y ∨¿2
−1
¿ h+( ). 2< y , h>. e2
2 √ 1−¿∨ y∨¿ 2

¿ h−¿ y ,h> ¿ . e2 ¿
√ 1−¿∨ y∨¿ 2
Donde el denominador en la expresión no se perderá cuando se restrinja en U ∩V .
Por la regla de la cadena del derivado de Fréchet, ahora podemos dar el derivado de
Fréchet de PU ∘ P−1
V como

D( PU ∘ P−1 −1 −1
V )( x)=D PU ( PV ( x))∘ D PV ( x ).

D ( PU ∘ P−1
V ) ( y ) :h → PU ¿
Como conclusión deseamos, PU ∘ P−1 V es Fréchet-derivable. Debido a la arbitrariedad de
la elección de la los atlas, los mapas de transición de S son todos derivables de Fréchet,
es decir, S es una variedad Hilbert diferencial.

Teorema 5.9.
Dado un número cardinal κ ≥ ω y un espacio real Hilbert H s . t . dimH =κ con una base
orthonormal { e i }i ∈k ' . Que O(κ ) actúe sobre Sk por multiplicación a la izquierda. Que
O 1 (κ) actúe sobre O(κ ) en el lado derecho. Tenemos.:

O(κ )/O1 (κ )≈ S k
Prueba.
Sea O(κ ) actúa sobre Sk a la izquierda de forma transitoria:
λ¿
( A , x)→ Ax

Así que λ (−, e 0) da una suposición. Note que ambos espacios están equipados con la
topología inducida por la métrica (de las normas). Dado cualquier operador A ∈O( κ) ,
comprobar su vecindario ( ε> 0) que dado cualquier B∈ O ( κ ) s .t .|| A−B||< ε :

¿|( A−B ) e0|∨≤|| A−B||¿∨e 0∨¿=¿| A−B|∨¿

Eso es,
d ( λ ( A , e 0), λ(B , e0 ))≤ d ( A , B)<ε

En otras palabras, λ (−, e 0) es continuo.

Donde A (y similar para B):
A:H→ H
x → ∑ ¿ x , e i>( A e i)
i ∈k '

Por lo tanto, sólo cuando d ( A , B)=d (λ (A , e0 ) , λ (B ,e 0 )) (es decir, en los casos

extremos), A e i=B ei , ∀ i ≥1. Para ser precisos, λ (−, e 0) mapea el barrio abierto de A
hacia el barrio abierto de Bde A e 0 . Como resultado, λ (−, e 0) es una cartografía abierta
continua surjectiva, es decir λ (−, e 0):O(κ) → S kes un mapeo de cociente. El espacio de
cociente resultante O(κ )/ λ(−, e 0) es por lo tanto homeomórfico a Sk .

Ahora, consideremos el espacio orbitalO(κ )/O1 (κ ). La acción correcta se da como:

ρ¿

( X , A)→ X A−1
Dos operadores A , B ∈ O(κ) se encuentran en la misma órbita si y sólo si
A−1 B∈ O1 (κ), es decir,
1 1 1
¿ b p ( A ) =A O ( κ )=BO ( κ )=¿ b p ( B ) si y sólo si A B ∈O ( κ )=xStab λ (e 0).
−1

Por lo tanto, haciendo cálculos:

A e 0= A( A−1 B e 0)=A A−1 B e 0=B e 0

Lo que implica O(κ )/ λ(−, e 0)=O(κ)/O 1 (κ) . Como hemos demostrado que el primero
es homeomórfo a S, sigue queO(κ )/O(1)(κ )≈ Sk .