SEMINARIO DE INVESTIGACIÓN IV

1 ESPACIOS VECTORIALES KLENIANOS

Usaremos como categoría inicial aquella cuyos objetos son los R- espacios vectoriales
Rn , m ∈ N y cuyos morsmos son las aplicaciones lineales entre dichos espacios.

1.1 Notación y Terminología

* Dado un conjunto C 6= ∅, B(C) denotará la familia de biyecciones de C sobre si

mismo, provista de la estructura de grupo usual.

* B(m) denotará el caso anterior cuando C = Rm .

* GL(m) ⊂ B(m) denotará el grupo lineal de Rm
* B(C, m) denotará la familia de biyecciones de C sobre Rm

* GL(V, m) vg B(V, m) denotará la familia de biyecciones linelaes de V sobre Rm ,

cuando V 6= ∅ sea un R-espacio vectorial de dimensión m.
U vg V indica que U es un subgrupo del grupo V .

* En particular GL(m) vg B(m)

1.2 Espacios Vectoriales Kleinianos

Denición: Un conjunto V 6= ∅ es un R-esapcio vectorial kleiniano de dimensión m ∈ N,

si existe dos familias no vacías de funciones:

* A(V ) ⊂ B(V, m), llamado atlas de V

* G(V ) vg GL(m) llamado grupo estructural de V .

De tal modo que se cumpla

Φ, Ψ ∈ A =⇒ ΨΦ−1 ∈ G(V )

1
Seminario de Investigación IV Semestre Académico 2017II

también diremos que V es un R-espacio vectorial de dimensión m ∈ N, con grupo

estructural G(V )

2 UNA ALTERNATIVA AL CONCEPTO DE VARIEDAD

Usaremos como categoria topológica referencial aquella cuyos objetos son los abiertos y
conexos de los espacios euclidianos Rm y cuyos morsmos son las aplicaciones C ∞ entre
dichos abiertos.

2.1 Notación y terminología

Sea un conjunto C 6= ∅

* Bloc (C, m) denotará la familia de biyecciones locales de subconjuntos de C sobre

abiertos y conexos del Rm

* Bloc (m, C) denotará la familia de biyecciones locales de abiertos y conexos del Rm

sobre subconjuntos de C .

* Bloc (m, n) denotará la familia de biyecciones locales de abiertos y conexos del Rm

sobre abiertos y conexos del Rn

* Bloc (m) denotará el caso anterior con m = n

* Cloc
∞
(m, n) denotará la sufamilia de Bloc (m, n) formada por las aplicaciones de clase
C∞

* Dloc
∞
denotará la subfamilia de Bloc (m) formada por los difeomorsmos de clase
C ∞.

Denición. Una Variedad Topológica m-dimensional M , es un espacio topológico de

Hausdor, segundo contable y localmente euclideano.

Denición. Si ϕ : U −→ ϕ(U ) ⊂ Rm es uno de los homeomorsmos de la denición

anterior, siendo U = D(ϕ) un abierto y conexo, ϕ recibe el nombre de carta.

Denición. Un conjunto de cartas A = {ϕ/ϕ es una carta} se denomina un atlas si

verica
S
D(ϕ) = M
ϕ∈A

2
Seminario de Investigación IV Semestre Académico 2017II

Denición. Una Estructura Diferenciable de clase C ∞ sobre una variedad topológica M

de dimensión m es una colección.

A = {ϕ/ϕ es una carta}

de sistemas coordenados, tal que se verica.

1.
S
D(ϕ) = M
ϕ∈A

2. ∀ϕ, ψ ∈ A, con D(ϕ) ∩ D(ψ) 6= ∅, la aplicación:

ψϕ−1 : ϕ(D(ϕ) ∩ D(ψ)) −→ ψ(D(ϕ) ∩ D(ψ))

es diferenciable de clase C ∞

Denición. Una Variedad Diferenciable de clase C ∞ y dimensión m es una variedad

topológica M de dimensión m y una estructura diferenciable A de clase C ∞ sobre
M

Proposición 1. Un conjunto M 6= ∅ es llamado una m-variedad C ∞ (o una variedad C ∞

de dimensión m) si y solamente si existen dos familias no vacias de funciones:
[
∞
A(M ) ⊂ Bloc (M, m), con D(ϕ) = M, y Dloc (m)
ϕ∈A

tal que:
∀ϕ, ψ ∈ A y D(ϕ) ∩ D(ψ) 6= ∅ ⇒ ψϕ−1 ∈ Dloc
∞

Demostración:

(⇒) Tenemos por hipótesis que M es una m-variedad C ∞ , entonces posee una estructura
diferenciable, es decir: existe una familia de A = {ϕ/ϕ es una carta} de sistemas
coordenados, tal que se verica.

1.
S
D(ϕ) = M
ϕ∈A

2. ∀ϕ, ψ ∈ A, con D(ϕ) ∩ D(ψ) 6= ∅, la aplicación:

ψϕ−1 : ϕ(D(ϕ) ∩ D(ψ)) −→ ψ(D(ϕ) ∩ D(ψ))

3
Seminario de Investigación IV Semestre Académico 2017II

Así obtenemos una familia A(M ) formada por cartas que son homeomorsmos, en
particular son biyecciones locales de M sobre abiertos y conexos de Rm . Además los
cambios de cartas son difeomorsmos locales, esto es:

ψϕ−1 ∈ Dloc
∞

y esto garantiza la existencia de la familia Dloc

∞

(⇐) Ahora tenemos por hipótesis que:

existen dos familias no vacias de funciones:

[
∞
A(M ) ⊂ Bloc (M, m), con D(ϕ) = M, y Dloc (m)
ϕ∈A

tal que:
∀ϕ, ψ ∈ A y D(ϕ) ∩ D(ψ) 6= ∅ ⇒ ψϕ−1 ∈ Dloc
∞

Debemos demostrar que estas familias convierten a M en un espacio topológico y

ademas las cartas son homeomorsmos locales.

* Para vericar que M tiene estructura de espacio topológico es suciente encontrar

una base τ que genere a la topología en M , para ello consideremos la familia:

τ = {D(ϕ)/ϕ ∈ A(M )}

y veriquemos que cumpla:

.
S
D(ϕ) = M
ϕ∈A

. Dados ϕ, ψ ∈ A, se cumpla que D(ϕ) ∩ D(ψ) ∈ τ y además sean compatibles.

En efecto:

. Por hipótesis se tiene que:

[
D(ϕ) = M
ϕ∈A

. Dados ϕ, ψ ∈ A y consideremos D(ϕ) ∩ D(ψ) = Ω, de aqui tenemos:

ϕ(Ω) = D(ψϕ−1 )

luego como ψϕ−1 ∈ Dloc

∞
(m), entonces D(ψϕ−1 ) es abierto, luego ϕ|Ω es una
carta, entonces D(ϕ|Ω ) ∈ τ

4
Seminario de Investigación IV Semestre Académico 2017II

∴ τ es una base para una topología en M .

* Veriquemos que las cartas son homeomorsmos locales.

En efecto:

Puesto que D(ϕ) es un abierto para ver que ϕ es una función abierta es suciente
ver que las imágenes de los abiertos básicos son abiertos euclídeos.

Sea W ⊂ D(ϕ) un abierto básico que será el dominio de una carta ψ .

Teniendo en cuenta que el dominio de ψϕ−1 es abierto y que D(ψϕ−1 ) = ϕ(W ) se

deduce que ϕ(W ) es abierto.

Para ver ahora que es continua, sea U abierto de Rm , si W = ϕ−1 (U ) se tiene que
ϕ(W ) = I(ϕ) ∩ U es un abierto.

Luego obtenemos que ϕ|W es también una carta y su dominio W es un abierto básico
y por lo tanto abierto, de aquí concluímos que ϕ es continua.

∴ La función ϕ es un homeomorsmo.

Proposición 2. Poniendo G = Dloc

∞
(m), se cumple:

1. Si σ ∈ G , entonces σ −1 ∈ G

2. Si σ, τ ∈ G y ∃τ ◦ σ , entonces τ ◦ σ ∈ G

3. Si σ ∈ G y A ⊂ Dom(σ) es abierto, entonces σ|A ∈ G .

4. Dado σ ∈ Bloc (n) si ∀x ∈ Dom(σ), ∃A abierto y conexo tal que x ∈ A ⊆

Dom(σ) y σ|A ∈ G , entonces σ ∈ G .

Demostración: Demostremos cada enunciado:

1. Tenemos por hipótesis que σ ∈ G , entonces σ es un difeomorsmo local, en

consecuencia se tiene que σ −1 ∈ G .

2. Siendo σ, τ ∈ G , si consideramos que σ(D(σ)) ∩ D(τ ) 6= ∅, entonces se tiene

que la composición τ ◦ σ esta bien denida en un abierto con valores en un
abierto. De esto se concluye que τ ◦ σ ∈ G .

5
Seminario de Investigación IV Semestre Académico 2017II

3. Dados ϕ ∈ G y A ⊂ D(σ) con A abierto.Luego usando el resultado de que

la restricción de un difeomorsmo a un subconjunto abierto de su dominio es
tambien un difeomorsmo, se tiene que σ|A ∈ G

4. Tenemos que σ ∈ G es función biyectiva localmente, además tenemos que σ|A

es un difeomorsmo local, entonces σ ∈ G

Denición. Diremos que G ⊆ Dloc

∞
(m) es un pseudogrupo de difeomorsmos locales de
Rm , y pondremos G vpsg Dloc
∞
(m), si cumple las siguientes condiciones:

1. Si σ ∈ G , entonces σ −1 ∈ G

2. Si σ, τ ∈ G y ∃τ ◦ σ , entonces τ ◦ σ ∈ G

3. Si σ ∈ G y A ⊂ Dom(σ) es abierto, entonces σ|A ∈ G .

4. Dado σ ∈ Bloc (n) si ∀x ∈ Dom(σ), ∃A abierto y conexo tal que x ∈ A ⊆

Dom(σ) y σ|A ∈ G , entonces σ ∈ G .

Denición. Un conjunto M 6= ∅ es llamado una m-variedad C ∞ , si existen dos familias

de funciones,

vacias de funciones:

1. A(M ) ⊂ Bloc (M, m), con D(ϕ) = M llamada atlas de M .

S
ϕ∈A

2. S(M ) vpsg Dloc

∞
(m), llamada pseudogrupo estructural de M .
de modo que

∀ϕ, ψ ∈ A y D(ϕ) ∩ D(ψ) 6= ∅ ⇒ ψϕ−1 ∈ S(M )

Observación: 1. Los elementos de A(M ) son llamados cartas locales o sistemas de

coordenadas de M .

2. Los elementos de S(M ) son llamados cambios de coordenadas de M .

3. S(M ) determina la estructura de Rm que se desea transferir a M .

4. A determina el modo de efectuar la transferencia indicada.

2.2 EL Conjunto Tangente de una m-Variedad

6
Seminario de Investigación IV Semestre Académico 2017II

Proposición: Si M es una m-variedad, entonces la relación ∼ denida mediante

(p, ϕ, v) ∼ (q, ψ, w) ⇐⇒ p = q ∈ D(ϕ) ∩ D(ψ) y w = (ψϕ−1 )0(ϕ(p))[v]

Es una relación de equivalencia sobre el conjunto M × A(M ) × Rm .

Demostración: Para que la relación ∼ sea de equivalencia, esta debe de ser Reexiva,
Simétrica y Transitiva.

1. (Reexividad) Debemos demostra que (p, ϕ, v) ∼ (p, ϕ, v).

En efecto:

∀p ∈ M, p = p ∈ D(ϕ) ∩ D(ϕ) y además tenemos que:

ϕϕ−1 = 1|D(ϕ)

de donde se concluye que:

(ϕϕ−1 )0 (ϕ(p)) = 1|Rm

∴ (p, ϕ, v) ∼ (p, ϕ, v)

2. (Simétria) Debemos demostrar (p, ϕ, v) ∼ (q, ψ, w) =⇒ (q, ψ, w) ∼ (p, ϕ, v)

En efecto:

(p, ϕ, v) ∼ (q, ψ, w) =⇒ p = q ∈ D(ϕ) ∩ D(ψ) y w = (ψϕ−1 )0(ϕ(p))[v]

=⇒ q = p ∈ D(ϕ)∩D(ψ) y (ϕψ −1 )0 (ψ(p))[w] = (ϕψ −1 )0 (ψ(p))(ψϕ−1 )0(ϕ(p))[v]

=⇒ q = p ∈ D(ϕ) ∩ D(ψ) y v = (ϕψ −1 )0 (ψ(p))[w]

∴ (q, ψ, w) ∼ (p, ϕ, v)

3. (Transitiva) Debemos demostrar que:

(p, ϕ, v) ∼ (q, ψ, w) y (q, ψ, w) ∼ (r, θ, u) =⇒ (p, ϕ, v) ∼ (r, θ, u)

En efecto:

7
Seminario de Investigación IV Semestre Académico 2017II

(p, ϕ, v) ∼ (q, ψ, w) y (q, ψ, w) ∼ (r, θ, u) =⇒

=⇒ p = q ∈ D(ϕ) ∩ D(ψ) y w = (ψϕ−1 )0(ϕ(p))[v] ∧

q = r ∈ D(ψ) ∩ D(θ) y u = (θψ −1 )0(ψ(p))[w]

=⇒ p = r ∈ D(ψ) ∩ D(θ) y u = (θψ −1 )0(ψ(p))(ψϕ−1 )(ϕ(p))[v]

Usando la regla de la cadena tenemos:

=⇒ p = r ∈ D(ψ) ∩ D(θ) y u = (θψ −1 ψϕ−1 )0(ϕ(p))[v]

=⇒ p = r ∈ D(ψ) ∩ D(θ) y u = (θϕ−1 )0(ϕ(p))[v]

∴ (p, ϕ, v) ∼ (r, θ, u)

Denición. En las condiciones anteriores

1. T M = M × A(M ) × Rm / ∼ es llamado conjunto tangente de M .

2. hp, ϕ, vi ∈ T M denotará la clase de equivalencia de (p, ϕ, v)

3. La aplicación:
ρ : hp, ϕ, vi ∈ T M 7−→ p ∈ M

es llamada proyección canónica de T M sobre M .

4. Tp M ≡ ρ−1 ({p}) es llamado conjunto tangente de M en p.

2.3 La Variedad Tangente de una m-Variedad

Denición. Sea M una m-variedad.

1. Dada ϕ ∈ A(M ), la aplicación:

T ϕ : hp, ϕ, vi ∈ ρ−1 (D(ϕ)) 7−→ (ϕ(p), v) ∈ I(ϕ) × Rm

Es llamada carta tangente determinada por ϕ.

8
Seminario de Investigación IV Semestre Académico 2017II

2. Para cada p ∈ D(ϕ), la aplicación:

Tp ϕ : hp, ϕ, vi ∈ Tp M 7−→ v ∈ Rm

(Restricción de T ϕ a Tp M compuesta con la proyección a Rm ) es llamada carta

tangente de ϕ en p
3. Para unicar criterios, dada ξ ∈ Cloc
∞
(m, n), introduciremos:

T ξ : (a, v) ∈ D(T ξ) = D(ξ) × Rm 7−→ (ξ(a), (ξ)0(a)[v]) ∈ I(ξ) × Rm

llamada aplicación tangente de ξ , y para cada a ∈ D(ξ).

Ta ξ : (a, v) ∈ {a} × Rm 7−→ (ξ)0(a)[v] ∈ Rm

llamada aplicación tangente de ξ en a.

Proposición. Si M es una m-variedad, entonces

1. Para cada ϕ ∈ A(M ), la carta tangente T ϕ es una biyección.

2. T M =
S
D(T ϕ)
ϕ∈A(M )

3. D(T ϕ) = ρ−1 (D(ϕ)) = Tq M .

S
q∈D(ϕ)

Demostración. Consideremos M una m-variedad

1. Por denición tenemos que:

ρ : T M −→ M

es una función aobreyectiva Consideremos un atlas A(M ) para M

Armación: La aplicación:

T ϕ : ρ−1 (D(ϕ)) −→ I(ϕ) × Rm

Es inyectiva.

En efecto:

Dados hp, ϕ, vi y hq, ϕ, wi ∈ ρ−1 (D(ϕ))

9
Seminario de Investigación IV Semestre Académico 2017II

Suponiendo que:
T ϕ(hp, ϕ, vi) = T ϕ(hq, ϕ, wi)

(ϕ(p), v) = (ϕ(q), w)

ϕ(p) = ϕ(q) ∧ v = w

Como ϕ es inyectiva, tenemos que:

p=q v=w

. En consecuencia T ϕ es inyectivo, además sera tambien suryectivo sobre su

imagen.

∴ T ϕ es biyectivo.

2. Debemos demostrar que T M =

S
D(T ϕ)
ϕ∈A(M )
En efecto:

Tenemos que:
D(T ϕ) = ρ−1 (D(ϕ))

[ [
D(T ϕ) = ρ−1 (D(ϕ))
ϕ∈A(M ) ϕ∈A(M )

 
[ [
D(T ϕ) = ρ−1  (D(ϕ))
ϕ∈A(M ) ϕ∈A(M )

[
D(T ϕ) = ρ−1 (M )
ϕ∈A(M )

[
D(T ϕ) = T M
ϕ∈A(M )

3. Debemos demostrar ahora que : D(T ϕ) = ρ−1 (D(ϕ)) =

S
Tq M
q∈D(ϕ)
En efecto:

D(T ϕ) = ρ−1 (D(ϕ))

10
Seminario de Investigación IV Semestre Académico 2017II

 
[
D(T ϕ) = ρ−1  {p}
q∈D(ϕ)

[ 
ρ−1 ({p})

D(T ϕ) =
q∈D(ϕ)
[
D(T ϕ) = ρ−1 ({q})
q∈D(ϕ)

[
D(T ϕ) = Tq M
q∈D(ϕ)

Proposición. Si M es una m-variedad C ∞ entonces existen dos familias de funciones.

A(T M ) = {ϕ/ϕ ∈ A(M )} y

∞
S(T M ) = {T ξ/ξ ∈ S(M )} ≤psg Dloc (2m)

tales que se cumple, de un lado:

∀ ∈ T M ∃T ϕ ∈ A(T M ) tal que

y de otro

ϕ, ψ ∈ A(M ) y D(ϕ) ∩ D(ψ) 6= ∅ =⇒ T ψT ϕ−1 ∈ S(T M )

Demostración. 1. Dado:
[
v ∈ T M =⇒ v ∈ D(T ϕ)
ϕ∈A(M )

=⇒ ∃ϕ ∈ A(M )/v ∈ D(T ϕ) ⊂ T M

=⇒ ∃T ϕ/v ∈ D(T ϕ) ⊂ T M

∴ Existe la familia A(T ϕ) de biyecciones.

11
Seminario de Investigación IV Semestre Académico 2017II

2. Dados ϕ, ψ ∈ A(M ), D(ϕ) ∩ D(ψ) 6= ∅ y D(ϕ) ∩ D(ψ) = Ω

Dado un (a, v) ∈ ϕ(Ω) × Rm , considerando ϕ−1 (a) = p ∈ Ω

(T ϕ)−1 (a, v) = hϕ−1 (a), ϕ, vi = hp, ϕ, vi

Por otro lado:

Como D(ϕ) ∩ D(ψ) 6= ∅ =⇒ D(T ϕ) ∩ D(T ψ) 6= ∅

Además si Consideramos

(q, ψ, w) ∈ hp, ϕ, vi ⇐⇒ (p, ϕ, v) ∼ (q, ψ, w)

p = q ∧ w = (ψϕ−1 )0(ϕ(p))[v]

hp, ψ, wi = hp, ϕ, vi

Luego sustituyendo, tenemos:

T ϕ−1 (a, v) = hp, ϕ, vi

(T ϕ)−1 (a, v) = hp, ψ, wi

T ψ(T ϕ)−1 (a, v) = T ψ(hp, ψ, wi)

T ψ(T ϕ)−1 (a, v) = (ψϕ−1 (a), w)

T ψ(T ϕ)−1 (a, v) = (ψϕ−1 (a), (ψϕ−1 ))0(ϕ(p)[v]) = T (ψϕ−1 )(a, v)

Como cada función componente es un difeomorsmo, entonces (T ψ)(T ϕ)−1 es

un difeomorsmo local, y en consecuencia probamos que existe la familia de
funciones S(T M )

12
Seminario de Investigación IV Semestre Académico 2017II

Corolario. T M admite una estructura de 2m-variedad C ∞ con atlas A(T M ) y pseudo-

grupo estructural S(T M )

Demostración. Considerando las proposiciones anteriores tenemos que existen dos fa-
milias de funciones,

vacias de funciones:

1. A(T M ) {T ϕ/ϕ ∈ A(M )} , con D(T ϕ) = T M .

S
ϕ∈A

2. S(T M ) ≤psg Dloc

∞
(2m).
de modo que

ϕ, ψ ∈ A(M ) y D(ϕ) ∩ D(ψ) 6= ∅ =⇒ T ψT ϕ−1 ∈ S(T M )

∴ T M admite estructura de 2m-variedad C∞

Proposición. Si M es una m-variedad C ∞ , entonces.

1. Para cada ϕ ∈ A(M ) las cartas tangentes Tp ϕ, una para cada p ∈ D(ϕ), son
biyecciones.

2. Cada Tp M admite una estructura de m-espacio vectorial y en adelante será

llamado espacio tangente de M en p

3. Tp ϕ ∈ GL(Tp M ), m para cada carta ϕ de p

4. p 6= q =⇒ Tp M ∩ Tq M

Demostración 1 Dado un ϕ ∈ A(M ) y p ∈ M

. Debemos demostrar que Tp ϕ es inyectivo.

En efecto:

Sean hp, ϕ, vi, hp, ϕ, wi ∈ Tp M .

Y supongamos:
Tp ϕ(hp, ϕ, vi) = Tp ϕ(hp, ϕ, wi)

=⇒ v = w

=⇒ hp, ϕ, vi = hp, ϕ, wi

∴ Tp ϕ es inyectivo.

13
Seminario de Investigación IV Semestre Académico 2017II

. Demostremos ahora que Tp ϕ es sobreyectivo. Tenemos que:

T ϕ : ρ−1 (D(ϕ) −→ I($) × Rm y

ρRm : I(ϕ) × Rm −→ Rm

Son funciones sobreyectivas, de aquí tenemos que la composición

Tp ϕ = T ϕ |Tp M ρRm

es tambiés sobreyectiva.

∴ Tp ϕ es una biyección.

2 Dadas las cartas ϕ, ψ ∈ A(M ) y de la parte (1) tenemos que Tp ϕ y Tp ϕ son

biyecciones, en tal sentido existe A(Tp M )

Por otro lado:

Dado v ∈ Rm , luego:
(Tp ϕ)−1 (v) = hp, ϕ, vi...(I)

Pero tenemos que:

hp, ϕ, vi ∼ hp, ψ, wi ⇐⇒ w = (ψϕ−1 )0(ϕ(p))[v]

. Luego en (I), reemplazando tenemos:

(Tp ϕ)−1 (v) = hp, ψ, wi

(Tp ψ)(Tp ϕ)−1 (v) = (Tp ψ)(hp, ψ, wi)

(Tp ψ)(Tp ϕ)−1 (v) = w

(Tp ψ)(Tp ϕ)−1 (v) = w

(Tp ψ)(Tp ϕ)−1 (v) = (ψϕ−1 )0(ϕ(p))[v]

(Tp ψ)(Tp ϕ)−1 (v) = Tp (ψϕ−1 )[v]

de donde se tiene que:

(Tp ψ)(Tp ϕ)−1 = Tp (ψϕ−1 ) ∈ GL(m)

De aquí concluimos que existen dos familias A(Tp M ) y GL(m), lo que demues-
tra que Tp M es un m-espacio vectorial.

14
Seminario de Investigación IV Semestre Académico 2017II

3 Ahora debemos demostrar que Tp ϕ es lineal.

* Tomemos dos elementos de hp, ϕ, vi, hp, ϕ, wi ∈ Tp M

Luego se tiene que:

Tp ϕ(hp, ϕ, vi) = v ∧ Tp ϕ(hp, ϕ, wi) = w

luego
Tp ϕ(hp, ϕ, vi) + Tp ϕ(hp, ϕ, wi) = v + w

(Tp ϕ)−1 (Tp ϕ(hp, ϕ, vi) + Tp ϕ(hp, ϕ, wi)) = (Tp ϕ)−1 (v + w)

(Tp ϕ)−1 (Tp ϕ(hp, ϕ, vi) + Tp ϕ(hp, ϕ, wi)) = hp.ϕ, v + wi

Tp ϕ(Tp ϕ)−1 (Tp ϕ(hp, ϕ, vi) + Tp ϕ(hp, ϕ, wi)) = Tp ϕ(hp.ϕ, v + wi)

Tp ϕ(hp, ϕ, vi) + Tp ϕ(hp, ϕ, wi) = Tp ϕ(hp.ϕ, v + wi)

* Consideremos ahora hp, ϕ vi ∈ Tp M y α ∈ R

Luego tenemos que:

Tp ϕ(hp, ϕ, vi) = v

αTp ϕ(hp, ϕ, vi) = αv

Tp ϕ−1 (αTp ϕ(hp, ϕ, vi)) = Tp ϕ−1 (αv)

Tp ϕ−1 (αTp ϕ(hp, ϕ, vi)) = hp, ϕ, αvi

Tp ϕTp ϕ−1 (αTp ϕ(hp, ϕ, vi)) = Tp ϕ(hp, ϕ, αvi)

αTp ϕ(hp, ϕ, vi) = Tp ϕ(hp, ϕ, αvi)

15
Seminario de Investigación IV Semestre Académico 2017II

* Consideremos ahora hp, ϕ 0i ∈ Tp M , luego se tiene:

∴ la aplicación Tp ϕ es lineal

Tp ϕ(hp, ϕ 0i) = 0

4 Consideremos que Tp M ∩ Tq M 6= ∅

=⇒ ∃hp, ϕ, vi ∈ Tp M ∩ Tq M 6

=⇒ hp, ϕ, vi ∈ Tp M ∧ hp, ϕ, vi ∈ Tq M

=⇒ hp, ϕ, vi ∈ Tq M

=⇒ p = q

Luego se tiene:
Tp M ∩ Tq M 6= ∅ =⇒ p = q

tomando el contrapositivo tenemos.

p 6= q =⇒ Tp M ∩ Tq M = ∅

16